jerrylicious

jerrylicious pushed to main at jerrylicious/garden

2026-06-17 23:21:40 +02:00

f29c3cdeb7 More typo fixes.

jerrylicious pushed to main at jerrylicious/garden

2026-06-17 23:19:45 +02:00

66d4a9ef3e Funny typo.

jerrylicious pushed to main at jerrylicious/garden

2026-06-17 23:17:48 +02:00

6d84f0ea47 Performed housekeeping for topological groups.

jerrylicious pushed to main at jerrylicious/garden

2026-06-17 03:09:57 +02:00

597a92b006 Adjusted wording for the sequential statement.

ff2218c79b Fixed stack exchange citation.

d5d03954df Slight typographic adjustment.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-16 19:43:48 +02:00

c31994b247 Fixed awkward phrasing.

76107709a8 Added a description of weak-* convergence in the case of bounded Borel functions.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-16 19:25:55 +02:00

f456f79891 Fleshed out the dual of measure spaces.

07d8419fe0 Added duality result for spaces of measures.

845e616453 Fixed typos in the sequence space duality result.

49e4e15649 Added duality for the sequence spaces.

Compare 4 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-16 04:52:28 +02:00

b9d67bfb82 Added mental gymnastics for lp direct sums.

jerrylicious pushed to main at jerrylicious/garden

2026-06-16 03:57:46 +02:00

6c6522a1de Added l^p sequence spaces.

dadddc4663 Added section regarding the duality of L^p spaces.

35efec2d90 Updated the separable dual proposition.

9f05b9dabd Fixed a handful of typos.

Compare 4 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-15 05:09:38 +02:00

5b1e0f86e6 Added missing justification.

jerrylicious pushed to main at jerrylicious/garden

2026-06-15 04:59:29 +02:00

33c6a6775d Fixed typos.

jerrylicious pushed to main at jerrylicious/garden

2026-06-15 04:56:03 +02:00

b2ef9f2736 Added the Vitali-Hahn-Saks theorem.

1ec807a9ca Removed pretentiousness.

16baef24e7 Oxford? comma.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-15 03:24:30 +02:00

b8df875d0f Actually added the Radon-Nikodym theorem.

jerrylicious pushed to main at jerrylicious/garden

2026-06-15 03:20:53 +02:00

754cba965b Added the Radon-Nikodym theorem for finite measures.

jerrylicious pushed to main at jerrylicious/garden

2026-06-14 23:02:00 +02:00

df1d959331 Added the basics of Hilbert spaces.

jerrylicious pushed to main at jerrylicious/garden

2026-06-11 05:40:05 +02:00

9ec4eea839 Added the method of complex interpolation.

1c211eac9a Housekeeping.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-10 04:11:16 +02:00

60c2144e9e Added a bit of interpolation spaces.

4f613e6d40 Added Hadamard's Three Lines Lemma.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-06 03:57:10 +02:00

99d772d1c8 Added the Riesz decomposition.

jerrylicious pushed to main at jerrylicious/garden

2026-06-04 23:54:18 +02:00

09a94756ea Added basics of C*-algebras.

7ce835cef2 Added sneaky interpolation functor jokes.

2444406ec1 Added facts about C_0.

13a0e07b72 Fixed some numbering problems.

ebead6c022 Added the unitisation.

Compare 5 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-03 23:24:34 +02:00

6441352421 Fixed wrong proof marker.

jerrylicious pushed to main at jerrylicious/garden

2026-06-03 23:13:10 +02:00

677a396e24 Fixed missing citation.