jerrylicious
0 Followers · 0 Following
  • Joined on 2026-03-11
Repositories
3
 Projects Packages Public Activity Starred Repositories
jerrylicious pushed to main at jerrylicious/garden 2026-06-24 02:18:54 +02:00
c3751d034f Added the modular function.
aa928717d0 Minor style adjustment in Urysohn.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-23 21:14:00 +02:00
15dec0e93f Fixed typo in LCH.
ea097e46e8 Minor adjustments.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-22 19:27:16 +02:00
adc5d1828a Fixed missing macro.
jerrylicious pushed to main at jerrylicious/garden 2026-06-22 19:20:09 +02:00
707b5310da Cleaned up convergence in measure.
jerrylicious pushed to main at jerrylicious/garden 2026-06-22 19:06:25 +02:00
05e9571794 Updated formulation of convergence in measure.
3bf3f2a85c Adjusted notation for spaces of measurable functions.
b52626f3a1 Added a few points about Cauchy completeness of metric spaces.
47b8f198e1 Clamped the Ky Fan metric.
Compare 4 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-22 05:28:35 +02:00
8cbd165df3 Updated main description.
jerrylicious pushed to main at jerrylicious/garden 2026-06-22 05:26:44 +02:00
a6cd3c7a1b Fixed definition of LCH spaces.
jerrylicious pushed to main at jerrylicious/garden 2026-06-22 03:58:23 +02:00
3a8db01be5 Added uniform description for convergence in measure.
f107df48bf MAJOR RETRACTION IN UNIFORMITY DEFINING PROPOSITION.
a57686be8f Added notation for space of measurable functions.
66dd4b0068 Fixed typo in Lebesgue lemma.
Compare 4 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-21 06:29:10 +02:00
84fb052c78 Fixed more typos for Scheffe.
19e2d2df51 Typo fixes in Scheffe.
8c5400bf88 Adjusted the in measure version of DCT.
5ce01bd9f3 Added draft of Scheffe's lemma.
Compare 4 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-21 03:29:59 +02:00
15fc3f430b Slight adjustments.
10c6215427 Added a local to global characterisation of convergence in measure.
1026ff782e Adjusted some things in Radon meaasures.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-20 16:29:00 +02:00
9227565f21 Added translation properties for Haar.
ea091f006a Adjusted wording in Haar.
094320ef29 Cleaned up MCT in measure.
242c7ebea1 Updated the Lebesgue non-negative integral formula.
Compare 4 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-20 02:55:02 +02:00
9dae6324ef Updated remark for dominated convergence.
2d75e7c029 Added MCT for convergence in measure.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-20 02:34:26 +02:00
8742c4f7cd Added MCT for convergence in measure.
jerrylicious pushed to main at jerrylicious/garden 2026-06-19 23:42:33 +02:00
dc789884bc Typo.
jerrylicious pushed to main at jerrylicious/garden 2026-06-19 23:38:40 +02:00
1722ddb933 Added the Vitali convergence theorem.
a97be99b8a Fixed typos in the haar proof.
64788a5322 Added a variation bound for scalar measures.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-19 03:00:21 +02:00
9504125410 Added uniqueness of Haar.
6487655eb3 Fixed typo.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-18 05:50:59 +02:00
b68c050225 Mised 3 factor.
346b0bdfd2 Made more room.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-18 05:46:17 +02:00
a8eed2a9ba ACTUALLY added the Haar measure.
jerrylicious pushed to main at jerrylicious/garden 2026-06-18 05:44:34 +02:00
7a678b9efe Added existence of the Haar measure.
4028f13e04 Added more facts about topological groups.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-06-17 23:53:08 +02:00
50d4a326db Slight adjustment to topological groups.