jerrylicious

jerrylicious pushed to main at jerrylicious/garden

2026-06-03 23:09:05 +02:00

6c9c479198 Adjusted prose in example facts.

668679063b Added some example facts.

f72f815c72 Added basic facts about the Gelfand transform.

56f3ae37f7 Slight adjustments in known results.

Compare 4 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-03 03:40:13 +02:00

2c1169e55a Added a handful of examples.

jerrylicious pushed to main at jerrylicious/garden

2026-06-03 02:26:09 +02:00

42433c40ca Upgraded prose.

jerrylicious pushed to main at jerrylicious/garden

2026-06-03 02:22:43 +02:00

f4bcc76bd0 Added the GKZ Theorem.

54a518e9e2 Added setup for the GKZ theorem.

44d8bbd4da Added basic facts on maximal ideals.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-02 05:56:00 +02:00

c189b7da1a Fixed typo.

jerrylicious pushed to main at jerrylicious/garden

2026-06-01 23:30:41 +02:00

787f89e3a6 Fixed wrong theorem name.

f071a4ff31 Added lemmas on the identity component of the general linear group.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-01 22:38:09 +02:00

313f071f20 Added the spectral mapping theorem.

fb9febc01b Fixed typo in notations.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-06-01 05:20:10 +02:00

639aa253cf Slightly adjusted notation.

jerrylicious pushed to main at jerrylicious/garden

2026-06-01 05:14:59 +02:00

5cf2bd9f10 Added missing assumption.

jerrylicious pushed to main at jerrylicious/garden

2026-06-01 05:12:22 +02:00

bfa5aee60e Added the holomorphic functional calculus.

73951c9d4c Fixed typo with 1/2pi i.

85e73baf76 Added citation.

3a07b5331e Added basics of Banach algebras.

fb8178b7ee Slight wording adjustments.

Compare 5 commits »

jerrylicious pushed to main at jerrylicious/diffusion

2026-05-31 20:36:18 +02:00

b6d139cf81 Housekeeping.

89c1804ceb Added the abstract wiener space section.

5f68dff976 Merged old notes, part 1.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-31 02:40:42 +02:00

47145cdf58 Adjusted labeling of conditions for Banach-Steinhaus.

jerrylicious pushed to main at jerrylicious/garden

2026-05-31 02:35:35 +02:00

edde66facc Various typo fixes.

jerrylicious pushed to main at jerrylicious/garden

2026-05-31 02:29:28 +02:00

0cea712b96 Added Runge's theorem.

eef9ef89b0 Added some notations.

1d65f25d03 Added the one-point compactification.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-28 05:53:26 +02:00

5a4c9f5d0e Updated Alaoglu's theorem.

jerrylicious pushed to main at jerrylicious/garden

2026-05-28 04:59:16 +02:00

02bd8479bc Added path lemma.

jerrylicious pushed to main at jerrylicious/garden

2026-05-27 01:32:12 +02:00

5923b45f9d Added Urysohn Metrisation theorem and compactness theorems.

jerrylicious pushed to main at jerrylicious/garden

2026-05-26 03:05:24 +02:00

f6c5976873 Fixed some typos.

jerrylicious pushed to main at jerrylicious/garden

2026-05-26 02:59:34 +02:00

047ffe4472 Added the complex conjugation.

65fdc1cc8d Added the Stone-Weierstrass Theorem.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-25 23:17:04 +02:00

964cb2450a Typo fix.