jerrylicious
0 Followers · 0 Following
  • Joined on 2026-03-11
Repositories
3
 Projects Packages Public Activity Starred Repositories
jerrylicious pushed to main at jerrylicious/garden 2026-08-29 21:43:31 +02:00
926305e65c Fixed typo.
jerrylicious pushed to main at jerrylicious/garden 2026-08-28 21:06:39 +02:00
fab7bb7af4 Fixed citation entry for a stackexchange post.
jerrylicious pushed to main at jerrylicious/garden 2026-08-28 02:30:59 +02:00
f165b4fd2d Added citation for the type 1 proof.
jerrylicious pushed to main at jerrylicious/garden 2026-08-28 00:20:39 +02:00
f340ab9a29 Second draft of B(H).
dc9c66fe22 First draft of B(H).
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-27 02:45:07 +02:00
51d4752f4a Final review pass.
67ccd97ac5 Another revision.
4d7291bc9e Typo fixes in the type decomposition section.
fbf94061cb Typo fixes in projection section.
1490514227 First draft of type decomposition.
Compare 5 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-24 23:41:12 +02:00
8f0998d52f Added projections.
fa4c1db319 Fixed a typo.
881f4a4746 Editing.
b3d3620ec9 Added representation of commutative von Neumann algebras.
Compare 4 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-19 03:48:00 +02:00
f65e49fccf Added some linfty.
e1fd4219a5 Added some applications of the $L^\infty$ functional calculus.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-17 06:24:42 +02:00
5503003c92 Updated the spectral theorem.
jerrylicious pushed to main at jerrylicious/garden 2026-08-16 23:34:13 +02:00
6cf96d9803 Fixed up spectral.
jerrylicious pushed to main at jerrylicious/garden 2026-08-16 22:22:32 +02:00
0aa8e956f5 Fixed up the L^\infty functional calculus section.
1b8d380eeb First typo fix of spectral II.
fa66eb73c9 First draft of spectral theorem II.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-15 22:16:21 +02:00
a98ff324ac Added another draft of the Borel functional calculus.
51a74243a0 Added the spectral integral isomorphism.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-15 02:54:11 +02:00
0cecf7a27a Fixed small typos.
jerrylicious pushed to main at jerrylicious/garden 2026-08-15 02:42:36 +02:00
9530f806b1 Fixed some typos.
jerrylicious pushed to main at jerrylicious/garden 2026-08-15 02:28:30 +02:00
421233bf4d Added first draft of the Borel functional calculus.
b51f12a338 Added the extended inverse Gelfand transform.
f8b61cca1a Updated $L^p$ notations.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-14 01:26:45 +02:00
e2eeae3f36 Fixed a few typos.
jerrylicious pushed to main at jerrylicious/garden 2026-08-13 20:57:16 +02:00
1c33dabcd8 Trying to push again?
jerrylicious pushed to main at jerrylicious/garden 2026-08-13 20:27:48 +02:00
4fb16feb5a Added the Arens extension.
22a8d18845 Added trolling.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-12 00:31:03 +02:00
594d139e4c Slight adjustments.
05bc2c6820 Changed label format.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-11 22:18:55 +02:00
2177baf09d Added the Kaplansky Density Theorem.
7e78ce4ae1 Simplified the separable dual result.
6a53d4d107 Added a continuity result in strong operator topology.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-10 22:03:15 +02:00
5d8a956d0c Added the bicommutant theorem.