jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
426 Commits 1 Branch 0 Tags
ae2fc8147fbe099b80215487c14a1b5f292a8337
Commit Graph

426 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Bokuan Li
ae2fc8147f Added basic topology facts about B(H).
All checks were successful
Compile Project / Compile (push) Successful in 56s
Details
2026-08-08 16:01:28 -04:00
Bokuan Li
8a9ecc85f3 Added a bit of von Neumann. 2026-08-08 15:49:56 -04:00
Bokuan Li
8efc71c1a1 Fixed some typos.
All checks were successful
Compile Project / Compile (push) Successful in 53s
Details
2026-08-08 15:06:50 -04:00
Bokuan Li
bc1aea01b3 Added quotients. 2026-08-08 14:56:27 -04:00
Bokuan Li
83854cdc04 Added a section on non-unital C^*-algebras.
All checks were successful
Compile Project / Compile (push) Successful in 51s
Details
2026-08-08 12:49:01 -04:00
Bokuan Li
b75d97e94a Linked existence of the weak integral.
All checks were successful
Compile Project / Compile (push) Successful in 51s
Details
2026-08-07 20:14:59 -04:00
Bokuan Li
a57b88618f Added existence of the weak integral. 2026-08-07 20:14:39 -04:00
Bokuan Li
39a16de049 I didn't have closed graph theorem? 2026-08-07 19:31:19 -04:00
Bokuan Li
4d4789bd38 Random nonsense.
All checks were successful
Compile Project / Compile (push) Successful in 51s
Details
2026-08-07 17:49:06 -04:00
Bokuan Li
8faaa8dab4 Added the injective tensor product.
All checks were successful
Compile Project / Compile (push) Successful in 43s
Details
2026-08-07 15:50:54 -04:00
Bokuan Li
39086537c3 Fixed diagram.
All checks were successful
Compile Project / Compile (push) Successful in 52s
Details
2026-08-06 16:20:33 -04:00
Bokuan Li
07bfef705e Added Banach-Mazur. 2026-08-06 16:19:07 -04:00
Bokuan Li
3ba29569ef Added universality of the zero-dimensional spaces. 2026-08-06 15:59:15 -04:00
Bokuan Li
a493db41c9 Typo fix.
All checks were successful
Compile Project / Compile (push) Successful in 45s
Details
2026-07-24 18:43:35 -04:00
Bokuan Li
22ce40afa2 Fixed minor typo.
All checks were successful
Compile Project / Compile (push) Successful in 46s
Details
2026-07-21 20:56:11 -04:00
Bokuan Li
12bc7db736 Added Schauder bases.
All checks were successful
Compile Project / Compile (push) Successful in 46s
Details
2026-07-20 23:47:02 -04:00
Bokuan Li
1ef1cde0b2 Added another corollary.
All checks were successful
Compile Project / Compile (push) Successful in 43s
Details
2026-07-20 22:55:07 -04:00
Bokuan Li
6019461a9b Added corollaries.
All checks were successful
Compile Project / Compile (push) Successful in 56s
Details
2026-07-20 22:40:36 -04:00
Bokuan Li
60f8fb94eb Added characterisation of the approximation property.
All checks were successful
Compile Project / Compile (push) Successful in 54s
Details
2026-07-20 19:48:59 -04:00
Bokuan Li
aa47453f25 Added Gantmacher's theorem.
All checks were successful
Compile Project / Compile (push) Successful in 53s
Details
2026-07-20 17:00:46 -04:00
Bokuan Li
22f9bc219b Added tensor gymnastics. 2026-07-20 12:58:27 -04:00
Bokuan Li
4b1a17c259 Added the c_0 sequence space and its duality result. 2026-07-20 12:57:20 -04:00
Bokuan Li
25d3f4e8d2 Added Goldstine's Theorem.
All checks were successful
Compile Project / Compile (push) Successful in 52s
Details
2026-07-17 18:49:11 -04:00
Bokuan Li
843631b024 Added the compact null sequence lemma. 2026-07-17 14:29:04 -04:00
Bokuan Li
fe557de4a6 Various additions. 2026-07-16 13:49:27 -04:00
Bokuan Li
42eeae1679 Every product of nuclear spaces is nuclear.
All checks were successful
Compile Project / Compile (push) Successful in 48s
Details
2026-07-15 17:16:40 -04:00
Bokuan Li
1038594584 Sums of nuclear spaces are nuclear. 2026-07-15 17:03:51 -04:00
Bokuan Li
db79f11991 Quotients of nuclear spaces are nuclear. 2026-07-15 16:28:53 -04:00
Bokuan Li
11c969be61 Subspaces of nuclear spaces are nuclear. 2026-07-15 15:14:02 -04:00
Bokuan Li
d967ed933e Updated nuclear spaces.
All checks were successful
Compile Project / Compile (push) Successful in 45s
Details
2026-07-14 20:48:33 -04:00
Bokuan Li
f80c788ca2 Added nuclear spaces.
All checks were successful
Compile Project / Compile (push) Successful in 46s
Details
2026-07-14 20:31:59 -04:00
Bokuan Li
6b640447fb Added the polar decomposition. 2026-07-14 16:20:16 -04:00
Bokuan Li
d1ddf9f64b Added nuclear operators.
All checks were successful
Compile Project / Compile (push) Successful in 40s
Details
2026-07-13 15:36:06 -04:00
Bokuan Li
84316a2059 Fiest draft of nuclear operators. 2026-07-13 15:26:05 -04:00
Bokuan Li
3113e1da04 Fixed typo.
All checks were successful
Compile Project / Compile (push) Successful in 47s
Details
2026-07-10 18:38:50 -04:00
Bokuan Li
97150879d7 Oopsies daisies.
All checks were successful
Compile Project / Compile (push) Successful in 43s
Details
2026-07-10 13:19:12 -04:00
Bokuan Li
d0f646fbe1 Added GNS.
All checks were successful
Compile Project / Compile (push) Successful in 44s
Details
2026-07-09 15:31:43 -04:00
Bokuan Li
965a89d63a Fix typo in hahn-banach.
All checks were successful
Compile Project / Compile (push) Successful in 41s
Details
2026-07-09 13:47:24 -04:00
Bokuan Li
67b00db276 Fix typo.
All checks were successful
Compile Project / Compile (push) Successful in 47s
Details
2026-07-09 12:47:54 -04:00
Bokuan Li
013b095fa2 Added setup for GNS. 2026-07-09 12:36:43 -04:00
Bokuan Li
897edcf512 Added explicit descriptions of states in matrix algebras.
All checks were successful
Compile Project / Compile (push) Successful in 39s
Details
2026-07-08 17:16:27 -04:00
Bokuan Li
709ce33a8d Minor cleanup.
All checks were successful
Compile Project / Compile (push) Successful in 42s
Details
2026-07-08 15:16:14 -04:00
Bokuan Li
e5ef0d51df Added states.
All checks were successful
Compile Project / Compile (push) Successful in 41s
Details
2026-07-08 15:02:23 -04:00
Bokuan Li
0a288cda5d Updated main page.
All checks were successful
Compile Project / Compile (push) Successful in 38s
Details
2026-07-07 22:08:29 -04:00
Bokuan Li
bf0107f15d Oopsies daisies.
All checks were successful
Compile Project / Compile (push) Successful in 42s
Details
2026-07-07 20:50:19 -04:00
Bokuan Li
c7cca8820c Added Krein-Milman for measures. 2026-07-07 20:49:57 -04:00
Bokuan Li
22ed76cb00 Word massaging.
All checks were successful
Compile Project / Compile (push) Successful in 45s
Details
2026-07-07 17:40:49 -04:00
Bokuan Li
de9b6fb813 Added characterisation of positive linear functionals.
All checks were successful
Compile Project / Compile (push) Successful in 46s
Details
2026-07-07 17:26:52 -04:00
Bokuan Li
f5ebcd7979 Reworked the order chapter. 2026-07-07 14:40:27 -04:00
Bokuan Li
f4e5004e8c Added remark. 2026-07-07 12:34:05 -04:00