jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
307 Commits 1 Branch 0 Tags
77770954611509f4bf464d7f75b3a08157dfeb34
Commit Graph

307 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Bokuan Li
7777095461 Added citations for elements taken from Cohn's Measure Theory.
All checks were successful
Compile Project / Compile (push) Successful in 43s
Details
2026-06-24 23:28:30 -04:00
Bokuan Li
373bc8a223 Adjusted wording in Fenchel-Moreau.
All checks were successful
Compile Project / Compile (push) Successful in 43s
Details
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.
All checks were successful
Compile Project / Compile (push) Successful in 40s
Details
2026-06-24 22:36:08 -04:00
Bokuan Li
177ed32433 More typo fixes.
All checks were successful
Compile Project / Compile (push) Successful in 42s
Details
2026-06-24 22:09:17 -04:00
Bokuan Li
c81b77a721 Added the separable corollary to the Legendre transform.
All checks were successful
Compile Project / Compile (push) Successful in 45s
Details
2026-06-24 22:06:22 -04:00
Bokuan Li
c897b3022e Fixed sign typo in Fenchel-Moreau.
All checks were successful
Compile Project / Compile (push) Successful in 45s
Details
2026-06-24 21:55:34 -04:00
Bokuan Li
81e4ef6ffe Updated notation and formulation in the Fenchel Moreau theorem.
All checks were successful
Compile Project / Compile (push) Successful in 36s
Details
2026-06-24 21:44:58 -04:00
Bokuan Li
9b6385cc16 Fixed typo in Fenchel-Moreau.
All checks were successful
Compile Project / Compile (push) Successful in 34s
Details
2026-06-24 19:48:55 -04:00
Bokuan Li
32ba2483ad Added the Legendre transform.
All checks were successful
Compile Project / Compile (push) Successful in 50s
Details
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.
All checks were successful
Compile Project / Compile (push) Successful in 40s
Details
2026-06-23 23:37:05 -04:00
Bokuan Li
8b5da0b349 Added elementary facts about conve functions.
All checks were successful
Compile Project / Compile (push) Successful in 41s
Details
2026-06-23 22:38:23 -04:00
Bokuan Li
c3751d034f Added the modular function.
All checks were successful
Compile Project / Compile (push) Successful in 41s
Details
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.
All checks were successful
Compile Project / Compile (push) Successful in 37s
Details
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.
All checks were successful
Compile Project / Compile (push) Successful in 33s
Details
2026-06-22 13:27:12 -04:00
Bokuan Li
707b5310da Cleaned up convergence in measure.
All checks were successful
Compile Project / Compile (push) Successful in 38s
Details
2026-06-22 13:18:17 -04:00
Bokuan Li
05e9571794 Updated formulation of convergence in measure.
All checks were successful
Compile Project / Compile (push) Successful in 39s
Details
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
b52626f3a1 Added a few points about Cauchy completeness of metric spaces. 2026-06-22 12:47:25 -04:00
Bokuan Li
47b8f198e1 Clamped the Ky Fan metric. 2026-06-22 12:33:43 -04:00
Bokuan Li
8cbd165df3 Updated main description.
All checks were successful
Compile Project / Compile (push) Successful in 39s
Details
2026-06-21 23:28:31 -04:00
Bokuan Li
a6cd3c7a1b Fixed definition of LCH spaces.
All checks were successful
Compile Project / Compile (push) Successful in 40s
Details
2026-06-21 23:26:35 -04:00
Bokuan Li
3a8db01be5 Added uniform description for convergence in measure.
All checks were successful
Compile Project / Compile (push) Successful in 37s
Details
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
84fb052c78 Fixed more typos for Scheffe.
All checks were successful
Compile Project / Compile (push) Successful in 40s
Details
2026-06-21 00:29:02 -04:00
Bokuan Li
19e2d2df51 Typo fixes in Scheffe. 2026-06-21 00:24:59 -04:00
Bokuan Li
8c5400bf88 Adjusted the in measure version of DCT. 2026-06-21 00:22:48 -04:00
Bokuan Li
5ce01bd9f3 Added draft of Scheffe's lemma. 2026-06-21 00:21:11 -04:00
Bokuan Li
15fc3f430b Slight adjustments.
All checks were successful
Compile Project / Compile (push) Successful in 37s
Details
2026-06-20 21:29:53 -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.
All checks were successful
Compile Project / Compile (push) Successful in 35s
Details
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.
All checks were successful
Compile Project / Compile (push) Successful in 37s
Details
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.
All checks were successful
Compile Project / Compile (push) Successful in 38s
Details
2026-06-19 20:34:15 -04:00
Bokuan Li
dc789884bc Typo.
All checks were successful
Compile Project / Compile (push) Successful in 38s
Details
2026-06-19 17:42:31 -04:00
Bokuan Li
1722ddb933 Added the Vitali convergence theorem.
All checks were successful
Compile Project / Compile (push) Successful in 33s
Details
2026-06-19 17:36:53 -04:00