jerrylicious

jerrylicious pushed to main at jerrylicious/garden

2026-08-10 03:23:54 +02:00

f327c5ab93 Fixed typo.

jerrylicious pushed to main at jerrylicious/garden

2026-08-10 03:18:59 +02:00

c02d873ddd Added bilinear forms.

56d081628f Updated citation on the existence of projections.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-08-09 21:41:13 +02:00

575cd66ad8 Added the existence of projections.

jerrylicious pushed to main at jerrylicious/garden

2026-08-09 01:39:28 +02:00

1bc1b17fee Added elementary properties of adjoint maps.

jerrylicious pushed to main at jerrylicious/garden

2026-08-08 22:01:33 +02:00

ae2fc8147f Added basic topology facts about B(H).

8a9ecc85f3 Added a bit of von Neumann.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-08-08 21:06:56 +02:00

8efc71c1a1 Fixed some typos.

bc1aea01b3 Added quotients.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-08-08 18:49:12 +02:00

83854cdc04 Added a section on non-unital C^*-algebras.

jerrylicious pushed to main at jerrylicious/garden

2026-08-08 02:15:08 +02:00

b75d97e94a Linked existence of the weak integral.

a57b88618f Added existence of the weak integral.

39a16de049 I didn't have closed graph theorem?

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-08-07 23:49:16 +02:00

4d4789bd38 Random nonsense.

jerrylicious pushed to main at jerrylicious/garden

2026-08-07 21:51:06 +02:00

8faaa8dab4 Added the injective tensor product.

jerrylicious pushed to main at jerrylicious/garden

2026-08-06 22:20:47 +02:00

39086537c3 Fixed diagram.

07bfef705e Added Banach-Mazur.

3ba29569ef Added universality of the zero-dimensional spaces.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-07-25 00:43:46 +02:00

a493db41c9 Typo fix.

jerrylicious pushed to main at jerrylicious/garden

2026-07-22 02:56:19 +02:00

22ce40afa2 Fixed minor typo.

jerrylicious pushed to main at jerrylicious/garden

2026-07-21 05:47:11 +02:00

12bc7db736 Added Schauder bases.

jerrylicious pushed to main at jerrylicious/garden

2026-07-21 04:55:11 +02:00

1ef1cde0b2 Added another corollary.

jerrylicious pushed to main at jerrylicious/garden

2026-07-21 04:40:41 +02:00

6019461a9b Added corollaries.

jerrylicious pushed to main at jerrylicious/garden

2026-07-21 01:50:45 +02:00

60f8fb94eb Added characterisation of the approximation property.

jerrylicious pushed to main at jerrylicious/garden

2026-07-20 23:01:20 +02:00

aa47453f25 Added Gantmacher's theorem.

22f9bc219b Added tensor gymnastics.

4b1a17c259 Added the c_0 sequence space and its duality result.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-07-18 00:49:23 +02:00

25d3f4e8d2 Added Goldstine's Theorem.

843631b024 Added the compact null sequence lemma.

fe557de4a6 Various additions.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-07-15 23:16:50 +02:00

42eeae1679 Every product of nuclear spaces is nuclear.

1038594584 Sums of nuclear spaces are nuclear.

db79f11991 Quotients of nuclear spaces are nuclear.

11c969be61 Subspaces of nuclear spaces are nuclear.

Compare 4 commits »