 Bokuan Li
|
e40e845ed8
|
Moved harmonic to its own folder.
|
2026-09-22 10:42:26 -04:00 |
|
|
Bokuan Li
|
d866e3e448
|
The $L^1$ Group Algebra is past revisions!
|
2026-09-21 11:27:48 -04:00 |
|
|
Bokuan Li
|
c7ab20155f
|
Revision 1.
|
2026-09-20 14:17:23 -04:00 |
|
|
Bokuan Li
|
6414c49ab3
|
First draft of L^1.
|
2026-09-19 20:57:32 -04:00 |
|
|
Bokuan Li
|
3a81f8833a
|
Housekeeping with the maximal theorem.
|
2026-09-16 11:23:13 -04:00 |
|
|
Bokuan Li
|
926305e65c
|
Fixed typo.
Compile Project / Compile (push) Successful in 43s
|
2026-08-29 15:43:23 -04:00 |
|
|
Bokuan Li
|
f65e49fccf
|
Added some linfty.
Compile Project / Compile (push) Successful in 52s
|
2026-08-18 21:47:50 -04:00 |
|
|
Bokuan Li
|
51a74243a0
|
Added the spectral integral isomorphism.
|
2026-08-15 15:34:26 -04:00 |
|
|
Bokuan Li
|
22a8d18845
|
Added trolling.
|
2026-08-12 22:40:04 -04:00 |
|
|
Bokuan Li
|
f327c5ab93
|
Fixed typo.
Compile Project / Compile (push) Successful in 49s
|
2026-08-09 21:23:49 -04:00 |
|
|
Bokuan Li
|
b75d97e94a
|
Linked existence of the weak integral.
Compile Project / Compile (push) Successful in 51s
|
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.
Compile Project / Compile (push) Successful in 51s
|
2026-08-07 17:49:06 -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
|
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
|
86aba8ee4b
|
Minor adjustments.
|
2026-07-06 12:36:34 -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
|
e19a5e3ad0
|
Swapped in vocabulary.
Compile Project / Compile (push) Successful in 41s
|
2026-06-30 14:14:44 -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
|
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
|
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
|
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
|
bbff684bd1
|
Polish correction.
|
2026-06-28 12:04:51 -04:00 |
|
|
Bokuan Li
|
d8f56ef537
|
RETRACTION: SEPARABILITY REQUIRED TO DEFINE CONVERGENCE IN MEASURE
|
2026-06-27 22:38:39 -04:00 |
|
|
Bokuan Li
|
48a0e63f61
|
Added elementary facts about localisable measure spaces.
|
2026-06-27 17:11:57 -04:00 |
|
|
Bokuan Li
|
9c08e0a525
|
Added the Mackey-Arens theorem.
|
2026-06-26 00:16: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
|
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 |
|