 Bokuan Li
|
0a288cda5d
|
Updated main page.
Compile Project / Compile (push) Successful in 38s
|
2026-07-07 22:08:29 -04:00 |
|
|
Bokuan Li
|
bf0107f15d
|
Oopsies daisies.
Compile Project / Compile (push) Successful in 42s
|
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.
Compile Project / Compile (push) Successful in 45s
|
2026-07-07 17:40:49 -04:00 |
|
|
Bokuan Li
|
de9b6fb813
|
Added characterisation of positive linear functionals.
Compile Project / Compile (push) Successful in 46s
|
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 |
|
|
Bokuan Li
|
f3c2c97f3b
|
Added order decomposition for C*-algebras.
|
2026-07-07 12:33:11 -04:00 |
|
|
Bokuan Li
|
2ce66064fe
|
Added continuity of homomorphisms.
Compile Project / Compile (push) Successful in 47s
|
2026-07-07 12:09:59 -04:00 |
|
|
Bokuan Li
|
f613e65d10
|
Removed parts from Zhu citations.
|
2026-07-07 11:39:54 -04:00 |
|
|
Bokuan Li
|
86aba8ee4b
|
Minor adjustments.
|
2026-07-06 12:36:34 -04:00 |
|
|
Bokuan Li
|
2cf172fa34
|
Fixed typo.
Compile Project / Compile (push) Successful in 36s
|
2026-07-04 12:53:34 -04:00 |
|
|
Bokuan Li
|
9963459363
|
Finished lecture 11.
Compile Project / Compile (push) Successful in 42s
|
2026-07-03 16:55:00 -04:00 |
|
|
Bokuan Li
|
26fdb527ce
|
Added more facts about the positive square root.
Compile Project / Compile (push) Successful in 39s
|
2026-07-03 16:20:41 -04:00 |
|
|
Bokuan Li
|
35e9550ff2
|
Added the continuous functional calculus.
|
2026-07-03 15:21:33 -04:00 |
|
|
Bokuan Li
|
683b822e7e
|
Added Gelfand Naimark.
Compile Project / Compile (push) Successful in 37s
|
2026-07-02 14:02:26 -04:00 |
|
|
Bokuan Li
|
dd62fbc0f4
|
Label typo?
|
2026-07-02 13:12:05 -04:00 |
|
|
Bokuan Li
|
1caa2785ef
|
Small adjustments.
Compile Project / Compile (push) Successful in 35s
|
2026-07-01 00:04:11 -04:00 |
|
|
Bokuan Li
|
89ec2234be
|
Fixed typo.
Compile Project / Compile (push) Successful in 39s
|
2026-06-30 19:34:11 -04:00 |
|
|
Bokuan Li
|
1f9e0bea78
|
Added extremely disconnected spaces.
Compile Project / Compile (push) Successful in 40s
|
2026-06-30 19:32:42 -04:00 |
|
|
Bokuan Li
|
36f5b22042
|
Added localisable order completeness.
Compile Project / Compile (push) Successful in 39s
|
2026-06-30 16:47:50 -04:00 |
|
|
Bokuan Li
|
60544ea6a0
|
Added some spectrum gruntwork.
|
2026-06-30 16:12:33 -04:00 |
|
|
Bokuan Li
|
e19a5e3ad0
|
Swapped in vocabulary.
Compile Project / Compile (push) Successful in 41s
|
2026-06-30 14:14:44 -04:00 |
|
|
Bokuan Li
|
8090f060d3
|
Added local L^p spaces.
|
2026-06-30 14:13:58 -04:00 |
|
|
Bokuan Li
|
98127388ec
|
Retracted localisable version of Radon-Nikodym.
|
2026-06-30 13:42:43 -04:00 |
|
|
Bokuan Li
|
baa048507b
|
Added the localisable version of the radon-nikodym theorem.
Compile Project / Compile (push) Successful in 45s
|
2026-06-29 21:29:57 -04:00 |
|
|
Bokuan Li
|
1ab81b49bc
|
RETRACTION ON LCH EMBARRASSING TYPO
Compile Project / Compile (push) Successful in 39s
|
2026-06-29 21:07:59 -04:00 |
|
|
Bokuan Li
|
38099f1b19
|
Added elements of localisable measures.
|
2026-06-29 20:55:01 -04:00 |
|
|
Bokuan Li
|
831acc66cc
|
Added gluing for measures in terms of scaffoldings.
|
2026-06-29 19:29:18 -04:00 |
|
|
Bokuan Li
|
26c4bbbb51
|
LCH typo fix?
|
2026-06-29 19:09:55 -04:00 |
|
|
Bokuan Li
|
ff22fad2f8
|
Updated the existing system to accomodate scaffolds.
Compile Project / Compile (push) Successful in 38s
|
2026-06-29 17:43:02 -04:00 |
|
|
Bokuan Li
|
3ba0eee08d
|
Introduced scaffold to localisable measure spaces.
|
2026-06-29 16:57:59 -04:00 |
|
|
Bokuan Li
|
671e8984c7
|
Added the scaffold.
|
2026-06-29 16:49:35 -04:00 |
|
|
Bokuan Li
|
a11cfe4e04
|
Book keeping.
|
2026-06-29 16:34:06 -04:00 |
|
|
Bokuan Li
|
65a2b4cef4
|
FIxed up lattices.
Compile Project / Compile (push) Successful in 42s
|
2026-06-29 12:37:13 -04:00 |
|
|
Bokuan Li
|
d4578960f3
|
Adjustments added to LCH spaces.
Compile Project / Compile (push) Successful in 40s
|
2026-06-29 12:28:30 -04:00 |
|
|
Bokuan Li
|
17154547df
|
More minor adjustments.
Compile Project / Compile (push) Successful in 37s
|
2026-06-28 23:11:52 -04:00 |
|
|
Bokuan Li
|
35be74f8af
|
Refined the approximation argument.
Compile Project / Compile (push) Successful in 41s
|
2026-06-28 23:07:23 -04:00 |
|
|
Bokuan Li
|
a7904bd32c
|
More typo fix.
Compile Project / Compile (push) Successful in 39s
|
2026-06-28 22:48:14 -04:00 |
|
|
Bokuan Li
|
06d3f994f6
|
Style adjustments in gluing lemma.
Compile Project / Compile (push) Successful in 40s
|
2026-06-28 21:45:48 -04:00 |
|
|
Bokuan Li
|
c484cd172b
|
Typo fix.
Compile Project / Compile (push) Successful in 40s
|
2026-06-28 21:33:06 -04:00 |
|
|
Bokuan Li
|
5abdf6ab3d
|
Fixed wrong reference.
Compile Project / Compile (push) Successful in 43s
|
2026-06-28 21:30:09 -04:00 |
|
|
Bokuan Li
|
8f06eca274
|
One more remark.
Compile Project / Compile (push) Successful in 43s
|
2026-06-28 20:48:46 -04:00 |
|
|
Bokuan Li
|
145f3193be
|
Minor sharpening of statements.
Compile Project / Compile (push) Successful in 37s
|
2026-06-28 20:22:35 -04:00 |
|
|
Bokuan Li
|
2423cff867
|
Minor adjustment.
Compile Project / Compile (push) Successful in 41s
|
2026-06-28 20:11:36 -04:00 |
|
|
Bokuan Li
|
3d1e095e82
|
Fixed typos in the gluing lemma.
Compile Project / Compile (push) Successful in 45s
|
2026-06-28 20:10:25 -04:00 |
|
|
Bokuan Li
|
4226adf856
|
Added first darft of gluing lemma for measurable functions.
|
2026-06-28 19:50:05 -04:00 |
|
|
Bokuan Li
|
3a4f4b46e8
|
Added the theory of admissible approximant functions.
|
2026-06-28 19:29:22 -04:00 |
|
|
Bokuan Li
|
121033cfb6
|
Fixed label typo.
|
2026-06-28 14:35:23 -04:00 |
|
|
Bokuan Li
|
1d740724b4
|
Strengthened the simple function approximations.
|
2026-06-28 14:33:32 -04:00 |
|
|
Bokuan Li
|
4acc8fdf31
|
Un-retracted some things.
|
2026-06-28 12:05:22 -04:00 |
|
|
Bokuan Li
|
bbff684bd1
|
Polish correction.
|
2026-06-28 12:04:51 -04:00 |
|
|
Bokuan Li
|
55bd2e4859
|
Fixed typo.
Compile Project / Compile (push) Successful in 36s
|
2026-06-27 22:41:48 -04:00 |
|
|
Bokuan Li
|
d8f56ef537
|
RETRACTION: SEPARABILITY REQUIRED TO DEFINE CONVERGENCE IN MEASURE
|
2026-06-27 22:38:39 -04:00 |
|
|
Bokuan Li
|
ce52ac4b63
|
Edited the open preimage functions.
|
2026-06-27 22:35:32 -04:00 |
|
|
Bokuan Li
|
4616ac2861
|
First draft for open preimage functions.
|
2026-06-27 22:06:50 -04:00 |
|
|
Bokuan Li
|
80f79fb30d
|
Added preimage functions.
|
2026-06-27 18:41:06 -04:00 |
|
|
Bokuan Li
|
48a0e63f61
|
Added elementary facts about localisable measure spaces.
|
2026-06-27 17:11:57 -04:00 |
|
|
Bokuan Li
|
3d9c47bda1
|
Minor housekeeping.
|
2026-06-27 14:12:40 -04:00 |
|
|
Bokuan Li
|
968fbe6eba
|
Added the support function.
Compile Project / Compile (push) Successful in 37s
|
2026-06-27 13:17:45 -04:00 |
|
|
Bokuan Li
|
eed3a342e4
|
Typo fixes.
Compile Project / Compile (push) Successful in 39s
|
2026-06-26 12:59:13 -04:00 |
|
|
Bokuan Li
|
369a1e72db
|
Adjustment in Fenchl-Moreau.
|
2026-06-26 12:57:30 -04:00 |
|
|
Bokuan Li
|
03e7899904
|
Added the Mackey-Arens theorem (for real).
Compile Project / Compile (push) Successful in 40s
|
2026-06-26 00:45:59 -04:00 |
|
|
Bokuan Li
|
fbdf280f11
|
Fixed gap in maximum modulus strip.
|
2026-06-26 00:44:31 -04:00 |
|
|
Bokuan Li
|
91752ee561
|
Added compact definition.
Compile Project / Compile (push) Successful in 36s
|
2026-06-26 00:17:28 -04:00 |
|
|
Bokuan Li
|
9c08e0a525
|
Added the Mackey-Arens theorem.
|
2026-06-26 00:16:36 -04:00 |
|
|
Bokuan Li
|
061a4f3034
|
More prose corrections.
Compile Project / Compile (push) Successful in 32s
|
2026-06-25 19:22:37 -04:00 |
|
|
Bokuan Li
|
98f96b2af1
|
Performed more housekeeping for the Legendre transform.
Compile Project / Compile (push) Successful in 36s
|
2026-06-25 19:16:16 -04:00 |
|
|
Bokuan Li
|
4b404d40a6
|
Updated the A-A theorem to include convergence on a dense subset.
Compile Project / Compile (push) Successful in 38s
|
2026-06-25 13:58:38 -04:00 |
|
|
Bokuan Li
|
b7f93c1110
|
Updated the legendre corollary.
Compile Project / Compile (push) Successful in 39s
|
2026-06-25 13:32:44 -04:00 |
|
|
Bokuan Li
|
2c4a8c9d22
|
Typo fixes for the separable dual lemma.
Compile Project / Compile (push) Successful in 33s
|
2026-06-25 13:17:05 -04:00 |
|
|
Bokuan Li
|
83072f4ba4
|
Adjusted the Legendre sectoin.
Compile Project / Compile (push) Successful in 40s
|
2026-06-25 13:03:51 -04:00 |
|
|
Bokuan Li
|
c19aaf7fe3
|
Fixed infinity problem.
|
2026-06-25 12:23:40 -04:00 |
|
|
Bokuan Li
|
d857ff2bb7
|
Adjusted Fenchel's inequality.
|
2026-06-25 12:04:16 -04:00 |
|
|
Bokuan Li
|
a1abb656f9
|
Updated convex characterisation.
|
2026-06-25 11:44:47 -04:00 |
|
|
Bokuan Li
|
bc44e55e1d
|
Renamed section.
|
2026-06-25 11:44:36 -04:00 |
|
|
Bokuan Li
|
7777095461
|
Added citations for elements taken from Cohn's Measure Theory.
Compile Project / Compile (push) Successful in 43s
|
2026-06-24 23:28:30 -04:00 |
|
|
Bokuan Li
|
373bc8a223
|
Adjusted wording in Fenchel-Moreau.
Compile Project / Compile (push) Successful in 43s
|
2026-06-24 23:21:52 -04:00 |
|
|
Bokuan Li
|
e50cc6fb46
|
Updated gitignore.
|
2026-06-24 23:14:50 -04:00 |
|
|
Bokuan Li
|
460c84a483
|
Fixed up notation mistake.
Compile Project / Compile (push) Successful in 40s
|
2026-06-24 22:36:08 -04:00 |
|
|
Bokuan Li
|
177ed32433
|
More typo fixes.
Compile Project / Compile (push) Successful in 42s
|
2026-06-24 22:09:17 -04:00 |
|
|
Bokuan Li
|
c81b77a721
|
Added the separable corollary to the Legendre transform.
Compile Project / Compile (push) Successful in 45s
|
2026-06-24 22:06:22 -04:00 |
|
|
Bokuan Li
|
c897b3022e
|
Fixed sign typo in Fenchel-Moreau.
Compile Project / Compile (push) Successful in 45s
|
2026-06-24 21:55:34 -04:00 |
|
|
Bokuan Li
|
81e4ef6ffe
|
Updated notation and formulation in the Fenchel Moreau theorem.
Compile Project / Compile (push) Successful in 36s
|
2026-06-24 21:44:58 -04:00 |
|
|
Bokuan Li
|
9b6385cc16
|
Fixed typo in Fenchel-Moreau.
Compile Project / Compile (push) Successful in 34s
|
2026-06-24 19:48:55 -04:00 |
|
|
Bokuan Li
|
32ba2483ad
|
Added the Legendre transform.
Compile Project / Compile (push) Successful in 50s
|
2026-06-24 18:29:26 -04:00 |
|
|
Bokuan Li
|
a9890cbcab
|
Added the subdifferential.
|
2026-06-24 14:18:59 -04:00 |
|
|
Bokuan Li
|
b20ae09a0c
|
Fixed up convention in convex functions.
|
2026-06-24 14:18:45 -04:00 |
|
|
Bokuan Li
|
cddd7a4d55
|
Cleaned up citation stlye changes.
|
2026-06-24 14:18:27 -04:00 |
|
|
Bokuan Li
|
4764ed2fc4
|
Added Clarke to the list of references.
|
2026-06-24 14:05:32 -04:00 |
|
|
Bokuan Li
|
c1b7a1a78e
|
Sharpened the Hahn-Banach theorem.
|
2026-06-24 14:05:23 -04:00 |
|
|
Bokuan Li
|
bbd017f76c
|
Upgraded the separable dual lemma.
|
2026-06-24 12:28:41 -04:00 |
|
|
Bokuan Li
|
eec22ac433
|
Minor typo in UI.
Compile Project / Compile (push) Successful in 40s
|
2026-06-23 23:37:05 -04:00 |
|
|
Bokuan Li
|
8b5da0b349
|
Added elementary facts about conve functions.
Compile Project / Compile (push) Successful in 41s
|
2026-06-23 22:38:23 -04:00 |
|
|
Bokuan Li
|
c3751d034f
|
Added the modular function.
Compile Project / Compile (push) Successful in 41s
|
2026-06-23 20:18:44 -04:00 |
|
|
Bokuan Li
|
aa928717d0
|
Minor style adjustment in Urysohn.
|
2026-06-23 19:40:45 -04:00 |
|
|
Bokuan Li
|
15dec0e93f
|
Fixed typo in LCH.
Compile Project / Compile (push) Successful in 37s
|
2026-06-23 15:11:01 -04:00 |
|
|
Bokuan Li
|
ea097e46e8
|
Minor adjustments.
|
2026-06-22 20:07:17 -04:00 |
|
|
Bokuan Li
|
adc5d1828a
|
Fixed missing macro.
Compile Project / Compile (push) Successful in 33s
|
2026-06-22 13:27:12 -04:00 |
|
|
Bokuan Li
|
707b5310da
|
Cleaned up convergence in measure.
Compile Project / Compile (push) Successful in 38s
|
2026-06-22 13:18:17 -04:00 |
|