Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• ff7031a4ae RETRACTION: wrong word used. Bokuan Li 2026-09-24 21:31:39 -04:00
• 864586a997 Oopsies Bokuan Li 2026-09-24 11:56:58 -04:00
• a471de2b23 Oopsies daisies. Bokuan Li 2026-09-24 10:54:26 -04:00
• 03e0118d53 Typo fixes. Bokuan Li 2026-09-23 16:00:47 -04:00
• 0a17a5a4a1 Forgot to assume ultrafilter. Bokuan Li 2026-09-23 15:48:33 -04:00
• 331401306c Fixed up compactification. Bokuan Li 2026-09-23 15:48:24 -04:00
• 44dea2be44 Oopsies forgot a theorem. Bokuan Li 2026-09-23 15:43:03 -04:00
• e40e845ed8 Moved harmonic to its own folder. Bokuan Li 2026-09-22 10:42:26 -04:00
• 8c090f3c93 Slight adjustments. Bokuan Li 2026-09-22 10:38:12 -04:00
• 8ca99d86ff Consolidating. Bokuan Li 2026-09-21 20:37:28 -04:00
• 9add6129c0 Stone-Cech. Bokuan Li 2026-09-21 13:28:13 -04:00
• d866e3e448 The $L^1$ Group Algebra is past revisions! Bokuan Li 2026-09-21 11:27:48 -04:00
• c7ab20155f Revision 1. Bokuan Li 2026-09-20 14:17:23 -04:00
• 6414c49ab3 First draft of L^1. Bokuan Li 2026-09-19 20:57:32 -04:00
• c05faf4a77 Added minkowski's inequality for integrals. Bokuan Li 2026-09-19 11:28:31 -04:00
• 8b93c445fa Defined the real interpolation method. Bokuan Li 2026-09-17 11:21:22 -04:00
• bef0b76eab Cleaned up notations for logic. Bokuan Li 2026-09-16 13:48:54 -04:00
• 8f4df44d55 Fixed typo. Bokuan Li 2026-09-16 13:27:08 -04:00
• 1e76f55d68 Housekeeping after class. Bokuan Li 2026-09-16 13:25:08 -04:00
• 3a81f8833a Housekeeping with the maximal theorem. Bokuan Li 2026-09-16 11:23:13 -04:00
• f020a2037d Dilation situation. Bokuan Li 2026-09-15 09:55:31 -04:00
• 1a3c88aa49 Housekeeping. Bokuan Li 2026-09-14 11:26:20 -04:00
• 16a35e6e2d Added semester notes. Bokuan Li 2026-09-10 14:13:29 -04:00
• 0f23d46450 Typo fixes. Bokuan Li 2026-09-01 15:41:00 -04:00
• 926305e65c Fixed typo. Bokuan Li 2026-08-29 15:43:23 -04:00
• fab7bb7af4 Fixed citation entry for a stackexchange post. Bokuan Li 2026-08-28 15:06:30 -04:00
• f165b4fd2d Added citation for the type 1 proof. Bokuan Li 2026-08-27 20:30:50 -04:00
• f340ab9a29 Second draft of B(H). Bokuan Li 2026-08-27 18:20:28 -04:00
• dc9c66fe22 First draft of B(H). Bokuan Li 2026-08-27 17:36:32 -04:00
• 51d4752f4a Final review pass. Bokuan Li 2026-08-26 20:44:58 -04:00
• 67ccd97ac5 Another revision. Bokuan Li 2026-08-26 19:55:34 -04:00
• 4d7291bc9e Typo fixes in the type decomposition section. Bokuan Li 2026-08-26 19:32:11 -04:00
• fbf94061cb Typo fixes in projection section. Bokuan Li 2026-08-26 19:26:51 -04:00
• 1490514227 First draft of type decomposition. Bokuan Li 2026-08-26 19:25:58 -04:00
• 8f0998d52f Added projections. Bokuan Li 2026-08-24 17:41:04 -04:00
• fa4c1db319 Fixed a typo. Bokuan Li 2026-08-21 18:54:21 -04:00
• 881f4a4746 Editing. Bokuan Li 2026-08-20 16:25:48 -04:00
• b3d3620ec9 Added representation of commutative von Neumann algebras. Bokuan Li 2026-08-20 15:08:07 -04:00
• f65e49fccf Added some linfty. Bokuan Li 2026-08-18 21:47:50 -04:00
• e1fd4219a5 Added some applications of the $L^\infty$ functional calculus. Bokuan Li 2026-08-18 14:28:00 -04:00
• 5503003c92 Updated the spectral theorem. Bokuan Li 2026-08-17 00:24:34 -04:00
• 6cf96d9803 Fixed up spectral. Bokuan Li 2026-08-16 17:34:03 -04:00
• 0aa8e956f5 Fixed up the L^\infty functional calculus section. Bokuan Li 2026-08-16 16:22:23 -04:00
• 1b8d380eeb First typo fix of spectral II. Bokuan Li 2026-08-16 16:18:08 -04:00
• fa66eb73c9 First draft of spectral theorem II. Bokuan Li 2026-08-16 16:11:38 -04:00
• a98ff324ac Added another draft of the Borel functional calculus. Bokuan Li 2026-08-15 16:10:55 -04:00
• 51a74243a0 Added the spectral integral isomorphism. Bokuan Li 2026-08-15 15:34:26 -04:00
• 0cecf7a27a Fixed small typos. Bokuan Li 2026-08-14 20:54:09 -04:00
• 9530f806b1 Fixed some typos. Bokuan Li 2026-08-14 20:42:33 -04:00
• 421233bf4d Added first draft of the Borel functional calculus. Bokuan Li 2026-08-14 20:28:23 -04:00
• b51f12a338 Added the extended inverse Gelfand transform. Bokuan Li 2026-08-14 20:10:47 -04:00
• f8b61cca1a Updated $L^p$ notations. Bokuan Li 2026-08-14 14:29:06 -04:00
• e2eeae3f36 Fixed a few typos. Bokuan Li 2026-08-13 19:26:36 -04:00
• 1c33dabcd8 Trying to push again? Bokuan Li 2026-08-13 14:57:14 -04:00
• 4fb16feb5a Added the Arens extension. Bokuan Li 2026-08-13 14:27:43 -04:00
• 22a8d18845 Added trolling. Bokuan Li 2026-08-12 22:40:04 -04:00
• 594d139e4c Slight adjustments. Bokuan Li 2026-08-11 18:30:55 -04:00
• 05bc2c6820 Changed label format. Bokuan Li 2026-08-11 18:20:09 -04:00
• 2177baf09d Added the Kaplansky Density Theorem. Bokuan Li 2026-08-11 16:18:48 -04:00
• 7e78ce4ae1 Simplified the separable dual result. Bokuan Li 2026-08-11 13:50:38 -04:00
• 6a53d4d107 Added a continuity result in strong operator topology. Bokuan Li 2026-08-11 13:40:24 -04:00
• 5d8a956d0c Added the bicommutant theorem. Bokuan Li 2026-08-10 16:03:07 -04:00
• f327c5ab93 Fixed typo. Bokuan Li 2026-08-09 21:23:49 -04:00
• c02d873ddd Added bilinear forms. Bokuan Li 2026-08-09 21:18:50 -04:00
• 56d081628f Updated citation on the existence of projections. Bokuan Li 2026-08-09 16:08:57 -04:00
• 575cd66ad8 Added the existence of projections. Bokuan Li 2026-08-09 15:40:56 -04:00
• 1bc1b17fee Added elementary properties of adjoint maps. Bokuan Li 2026-08-08 19:39:18 -04:00
• ae2fc8147f Added basic topology facts about B(H). Bokuan Li 2026-08-08 16:01:28 -04:00
• 8a9ecc85f3 Added a bit of von Neumann. Bokuan Li 2026-08-08 15:49:56 -04:00
• 8efc71c1a1 Fixed some typos. Bokuan Li 2026-08-08 15:06:50 -04:00
• bc1aea01b3 Added quotients. Bokuan Li 2026-08-08 14:56:27 -04:00
• 83854cdc04 Added a section on non-unital C^*-algebras. Bokuan Li 2026-08-08 12:49:01 -04:00
• b75d97e94a Linked existence of the weak integral. Bokuan Li 2026-08-07 20:14:59 -04:00
• a57b88618f Added existence of the weak integral. Bokuan Li 2026-08-07 20:14:39 -04:00
• 39a16de049 I didn't have closed graph theorem? Bokuan Li 2026-08-07 19:31:19 -04:00
• 4d4789bd38 Random nonsense. Bokuan Li 2026-08-07 17:49:06 -04:00
• 8faaa8dab4 Added the injective tensor product. Bokuan Li 2026-08-07 15:50:54 -04:00
• 39086537c3 Fixed diagram. Bokuan Li 2026-08-06 16:20:33 -04:00
• 07bfef705e Added Banach-Mazur. Bokuan Li 2026-08-06 16:19:07 -04:00
• 3ba29569ef Added universality of the zero-dimensional spaces. Bokuan Li 2026-08-06 15:59:15 -04:00
• a493db41c9 Typo fix. Bokuan Li 2026-07-24 18:43:35 -04:00
• 22ce40afa2 Fixed minor typo. Bokuan Li 2026-07-21 20:56:11 -04:00
• 12bc7db736 Added Schauder bases. Bokuan Li 2026-07-20 23:47:02 -04:00
• 1ef1cde0b2 Added another corollary. Bokuan Li 2026-07-20 22:55:07 -04:00
• 6019461a9b Added corollaries. Bokuan Li 2026-07-20 22:40:36 -04:00
• 60f8fb94eb Added characterisation of the approximation property. Bokuan Li 2026-07-20 19:48:59 -04:00
• aa47453f25 Added Gantmacher's theorem. Bokuan Li 2026-07-20 17:00:46 -04:00
• 22f9bc219b Added tensor gymnastics. Bokuan Li 2026-07-20 12:58:27 -04:00
• 4b1a17c259 Added the c_0 sequence space and its duality result. Bokuan Li 2026-07-20 12:57:20 -04:00
• 25d3f4e8d2 Added Goldstine's Theorem. Bokuan Li 2026-07-17 18:49:11 -04:00
• 843631b024 Added the compact null sequence lemma. Bokuan Li 2026-07-17 14:29:04 -04:00
• fe557de4a6 Various additions. Bokuan Li 2026-07-16 13:49:27 -04:00
• 42eeae1679 Every product of nuclear spaces is nuclear. Bokuan Li 2026-07-15 17:16:40 -04:00
• 1038594584 Sums of nuclear spaces are nuclear. Bokuan Li 2026-07-15 17:03:51 -04:00
• db79f11991 Quotients of nuclear spaces are nuclear. Bokuan Li 2026-07-15 16:28:53 -04:00
• 11c969be61 Subspaces of nuclear spaces are nuclear. Bokuan Li 2026-07-15 15:14:02 -04:00
• d967ed933e Updated nuclear spaces. Bokuan Li 2026-07-14 20:48:33 -04:00
• f80c788ca2 Added nuclear spaces. Bokuan Li 2026-07-14 20:31:59 -04:00
• 6b640447fb Added the polar decomposition. Bokuan Li 2026-07-14 16:20:16 -04:00
• d1ddf9f64b Added nuclear operators. Bokuan Li 2026-07-13 15:36:06 -04:00