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
|
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
|
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
|
10c6215427
|
Added a local to global characterisation of convergence in measure.
|
2026-06-20 20:45:36 -04:00 |
|
Bokuan Li
|
094320ef29
|
Cleaned up MCT in measure.
|
2026-06-20 10:11:25 -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
|
97372173e1
|
Fixed regex incident.
Compile Project / Compile (push) Successful in 27s
|
2026-05-05 02:00:05 -04:00 |
|
Bokuan Li
|
0f2e69d1f9
|
Polished A-A and added new lines for broken enumerates.
Compile Project / Compile (push) Failing after 12s
|
2026-05-05 01:50:35 -04:00 |
|
Bokuan Li
|
caf7790b15
|
Fixed typo in Cauchy in measure.
|
2026-05-01 13:29:36 -04:00 |
|
Bokuan Li
|
dd49a42b4a
|
Typo fixes.
Compile Project / Compile (push) Successful in 18s
|
2026-03-17 15:30:41 -04:00 |
|
Bokuan Li
|
16e6beb117
|
Replaced mentions of normed spaces to normed vector spaces.
Compile Project / Compile (push) Successful in 17s
|
2026-03-17 15:18:31 -04:00 |
|
Bokuan Li
|
37a5ce14bf
|
Added the Bochner integral.
|
2026-03-17 15:16:13 -04:00 |
|
Bokuan Li
|
4687e9e4fc
|
Added Lusin's theorem.
|
2026-03-14 19:55:29 -04:00 |
|
Bokuan Li
|
3778616075
|
Added Egoroff's theorem.
|
2026-03-14 18:08:06 -04:00 |
|
Bokuan Li
|
d3d5dc62e1
|
Added convergence in measure.
|
2026-03-14 17:54:58 -04:00 |
|
Bokuan Li
|
5034bc4220
|
Cleanup
|
2026-03-06 14:06:15 -05:00 |
|
Bokuan Li
|
2e81d6f87a
|
Added integration of simple functions.
|
2026-01-22 11:36:14 -05:00 |
|
Bokuan Li
|
b455200a2c
|
Me when I fail to fix a typo.
|
2026-01-21 16:32:46 -05:00 |
|
Bokuan Li
|
88239a5893
|
Added simple function approximation.
|
2026-01-21 16:32:05 -05:00 |
|
Bokuan Li
|
0b24ab616f
|
Added measurability in separable metric spaces.
|
2026-01-21 16:03:50 -05:00 |
|
Bokuan Li
|
307f23ad57
|
Me when I forget to commit.
|
2026-01-17 23:11:19 -05:00 |
|