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 |
|
Bokuan Li
|
707b5310da
|
Cleaned up convergence in measure.
Compile Project / Compile (push) Successful in 38s
|
2026-06-22 13:18:17 -04:00 |
|
Bokuan Li
|
05e9571794
|
Updated formulation of convergence in measure.
Compile Project / Compile (push) Successful in 39s
|
2026-06-22 13:06:15 -04:00 |
|
Bokuan Li
|
3bf3f2a85c
|
Adjusted notation for spaces of measurable functions.
|
2026-06-22 12:55:37 -04:00 |
|
Bokuan Li
|
47b8f198e1
|
Clamped the Ky Fan metric.
|
2026-06-22 12:33:43 -04:00 |
|
Bokuan Li
|
3a8db01be5
|
Added uniform description for convergence in measure.
Compile Project / Compile (push) Successful in 37s
|
2026-06-21 21:58:14 -04:00 |
|
Bokuan Li
|
f107df48bf
|
MAJOR RETRACTION IN UNIFORMITY DEFINING PROPOSITION.
|
2026-06-21 21:56:28 -04:00 |
|
Bokuan Li
|
a57686be8f
|
Added notation for space of measurable functions.
|
2026-06-21 21:08:13 -04:00 |
|
Bokuan Li
|
66dd4b0068
|
Fixed typo in Lebesgue lemma.
|
2026-06-21 20:53:43 -04:00 |
|
Bokuan Li
|
10c6215427
|
Added a local to global characterisation of convergence in measure.
|
2026-06-20 20:45:36 -04:00 |
|
Bokuan Li
|
1026ff782e
|
Adjusted some things in Radon meaasures.
|
2026-06-20 20:45:20 -04:00 |
|
Bokuan Li
|
9227565f21
|
Added translation properties for Haar.
Compile Project / Compile (push) Successful in 35s
|
2026-06-20 10:28:50 -04:00 |
|
Bokuan Li
|
ea091f006a
|
Adjusted wording in Haar.
|
2026-06-20 10:13:19 -04:00 |
|
Bokuan Li
|
094320ef29
|
Cleaned up MCT in measure.
|
2026-06-20 10:11:25 -04:00 |
|
Bokuan Li
|
242c7ebea1
|
Updated the Lebesgue non-negative integral formula.
|
2026-06-20 09:48:01 -04:00 |
|
Bokuan Li
|
9dae6324ef
|
Updated remark for dominated convergence.
Compile Project / Compile (push) Successful in 37s
|
2026-06-19 20:54:43 -04:00 |
|
Bokuan Li
|
2d75e7c029
|
Added MCT for convergence in measure.
|
2026-06-19 20:50:42 -04:00 |
|
Bokuan Li
|
8742c4f7cd
|
Added MCT for convergence in measure.
Compile Project / Compile (push) Successful in 38s
|
2026-06-19 20:34:15 -04:00 |
|
Bokuan Li
|
1722ddb933
|
Added the Vitali convergence theorem.
Compile Project / Compile (push) Successful in 33s
|
2026-06-19 17:36:53 -04:00 |
|
Bokuan Li
|
a97be99b8a
|
Fixed typos in the haar proof.
|
2026-06-19 13:01:06 -04:00 |
|
Bokuan Li
|
64788a5322
|
Added a variation bound for scalar measures.
|
2026-06-19 12:59:33 -04:00 |
|
Bokuan Li
|
9504125410
|
Added uniqueness of Haar.
Compile Project / Compile (push) Successful in 38s
|
2026-06-18 21:00:12 -04:00 |
|
Bokuan Li
|
6487655eb3
|
Fixed typo.
|
2026-06-18 20:21:58 -04:00 |
|
Bokuan Li
|
b68c050225
|
Mised 3 factor.
Compile Project / Compile (push) Successful in 41s
|
2026-06-17 23:50:56 -04:00 |
|
Bokuan Li
|
346b0bdfd2
|
Made more room.
|
2026-06-17 23:49:24 -04:00 |
|
Bokuan Li
|
a8eed2a9ba
|
ACTUALLY added the Haar measure.
Compile Project / Compile (push) Successful in 36s
|
2026-06-17 23:46:13 -04:00 |
|
Bokuan Li
|
7a678b9efe
|
Added existence of the Haar measure.
Compile Project / Compile (push) Successful in 37s
|
2026-06-17 23:44:23 -04:00 |
|
Bokuan Li
|
4028f13e04
|
Added more facts about topological groups.
|
2026-06-17 20:27:35 -04:00 |
|
Bokuan Li
|
597a92b006
|
Adjusted wording for the sequential statement.
Compile Project / Compile (push) Successful in 41s
|
2026-06-16 21:09:48 -04:00 |
|
Bokuan Li
|
ff2218c79b
|
Fixed stack exchange citation.
|
2026-06-16 15:17:37 -04:00 |
|
Bokuan Li
|
d5d03954df
|
Slight typographic adjustment.
|
2026-06-16 13:45:06 -04:00 |
|
Bokuan Li
|
c31994b247
|
Fixed awkward phrasing.
Compile Project / Compile (push) Successful in 33s
|
2026-06-16 13:43:42 -04:00 |
|
Bokuan Li
|
76107709a8
|
Added a description of weak-* convergence in the case of bounded Borel functions.
|
2026-06-16 13:42:54 -04:00 |
|
Bokuan Li
|
f456f79891
|
Fleshed out the dual of measure spaces.
Compile Project / Compile (push) Successful in 37s
|
2026-06-16 13:25:40 -04:00 |
|