 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.
Compile Project / Compile (push) Successful in 40s
|
2026-06-23 23:37:05 -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
|
ea097e46e8
|
Minor adjustments.
|
2026-06-22 20:07:17 -04:00 |
|
|
Bokuan Li
|
f107df48bf
|
MAJOR RETRACTION IN UNIFORMITY DEFINING PROPOSITION.
|
2026-06-21 21:56:28 -04:00 |
|
|
Bokuan Li
|
84fb052c78
|
Fixed more typos for Scheffe.
Compile Project / Compile (push) Successful in 40s
|
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.
Compile Project / Compile (push) Successful in 37s
|
2026-06-20 21:29:53 -04:00 |
|
|
Bokuan Li
|
2d75e7c029
|
Added MCT for convergence in measure.
|
2026-06-19 20:50:42 -04:00 |
|
|
Bokuan Li
|
dc789884bc
|
Typo.
Compile Project / Compile (push) Successful in 38s
|
2026-06-19 17:42:31 -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
|
6d84f0ea47
|
Performed housekeeping for topological groups.
Compile Project / Compile (push) Successful in 39s
|
2026-06-17 17:17:37 -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
|
845e616453
|
Fixed typos in the sequence space duality result.
|
2026-06-16 12:35:36 -04:00 |
|
|
Bokuan Li
|
49e4e15649
|
Added duality for the sequence spaces.
|
2026-06-16 12:23:51 -04:00 |
|
|
Bokuan Li
|
b9d67bfb82
|
Added mental gymnastics for lp direct sums.
Compile Project / Compile (push) Successful in 32s
|
2026-06-15 22:52:25 -04:00 |
|
|
Bokuan Li
|
6c6522a1de
|
Added l^p sequence spaces.
Compile Project / Compile (push) Successful in 37s
|
2026-06-15 21:57:37 -04:00 |
|
|
Bokuan Li
|
dadddc4663
|
Added section regarding the duality of L^p spaces.
|
2026-06-15 21:47:49 -04:00 |
|
|
Bokuan Li
|
35efec2d90
|
Updated the separable dual proposition.
|
2026-06-15 14:16:32 -04:00 |
|
|
Bokuan Li
|
9f05b9dabd
|
Fixed a handful of typos.
|
2026-06-15 00:17:03 -04:00 |
|
|
Bokuan Li
|
df1d959331
|
Added the basics of Hilbert spaces.
Compile Project / Compile (push) Successful in 33s
|
2026-06-14 17:01:52 -04:00 |
|
|
Bokuan Li
|
9ec4eea839
|
Added the method of complex interpolation.
Compile Project / Compile (push) Successful in 37s
|
2026-06-10 23:39:46 -04:00 |
|
|
Bokuan Li
|
1c211eac9a
|
Housekeeping.
|
2026-06-10 15:16:43 -04:00 |
|
|
Bokuan Li
|
60c2144e9e
|
Added a bit of interpolation spaces.
Compile Project / Compile (push) Successful in 35s
|
2026-06-09 22:10:48 -04:00 |
|
|
Bokuan Li
|
09a94756ea
|
Added basics of C*-algebras.
Compile Project / Compile (push) Successful in 34s
|
2026-06-04 17:54:06 -04:00 |
|
|
Bokuan Li
|
7ce835cef2
|
Added sneaky interpolation functor jokes.
|
2026-06-04 16:45:03 -04:00 |
|
|
Bokuan Li
|
47145cdf58
|
Adjusted labeling of conditions for Banach-Steinhaus.
Compile Project / Compile (push) Successful in 26s
|
2026-05-30 20:40:38 -04:00 |
|
|
Bokuan Li
|
edde66facc
|
Various typo fixes.
Compile Project / Compile (push) Successful in 27s
|
2026-05-30 20:35:32 -04:00 |
|
|
Bokuan Li
|
5a4c9f5d0e
|
Updated Alaoglu's theorem.
Compile Project / Compile (push) Successful in 38s
|
2026-05-27 23:53:22 -04:00 |
|
|
Bokuan Li
|
02bd8479bc
|
Added path lemma.
Compile Project / Compile (push) Successful in 35s
|
2026-05-27 22:59:06 -04:00 |
|
|
Bokuan Li
|
5923b45f9d
|
Added Urysohn Metrisation theorem and compactness theorems.
Compile Project / Compile (push) Successful in 29s
|
2026-05-26 19:32:02 -04:00 |
|
|
Bokuan Li
|
f6c5976873
|
Fixed some typos.
Compile Project / Compile (push) Successful in 33s
|
2026-05-25 21:05:21 -04:00 |
|
|
Bokuan Li
|
047ffe4472
|
Added the complex conjugation.
Compile Project / Compile (push) Successful in 36s
|
2026-05-25 20:59:22 -04:00 |
|
|
Bokuan Li
|
719e9a1f7a
|
Added complexification.
Compile Project / Compile (push) Successful in 31s
|
2026-05-23 21:19:04 -04:00 |
|
|
Bokuan Li
|
44d122e052
|
Added definition of holomorphic functions.
Compile Project / Compile (push) Successful in 34s
|
2026-05-16 21:42:56 -04:00 |
|
|
Bokuan Li
|
88d71d6654
|
Fixed small typos.
|
2026-05-16 13:06:48 -04:00 |
|
|
Bokuan Li
|
365c89e773
|
Added Fubini for RS integrals.
Compile Project / Compile (push) Successful in 35s
|
2026-05-15 20:30:20 -04:00 |
|
|
Bokuan Li
|
3a8de41020
|
Added the homotopic version of Cauchy's theorem.
|
2026-05-15 19:31:39 -04:00 |
|
|
Bokuan Li
|
6fdf6a64fd
|
Added uniform structures for completely regular spaces. Added calculus lemma.
Compile Project / Compile (push) Successful in 35s
|
2026-05-15 00:39:41 -04:00 |
|
|
Bokuan Li
|
c1a9e11dbb
|
Fixed mistakes in FTC for path integrals.
Compile Project / Compile (push) Successful in 27s
|
2026-05-13 16:29:09 -04:00 |
|
|
Bokuan Li
|
9f3c8a2e81
|
Added remark reflecting on past mistakes.
|
2026-05-13 15:21:46 -04:00 |
|
|
Bokuan Li
|
06b50c9b06
|
Adjusted statement of FTC for path integrals.
Compile Project / Compile (push) Successful in 32s
|
2026-05-11 21:22:27 -04:00 |
|
|
Bokuan Li
|
a4642a0128
|
Added FTC for path integrals.
Compile Project / Compile (push) Successful in 34s
|
2026-05-11 21:21:26 -04:00 |
|
|
Bokuan Li
|
7fdf1a8d6e
|
Added power series.
Compile Project / Compile (push) Successful in 31s
|
2026-05-09 19:57:18 -04:00 |
|
|
Bokuan Li
|
8d881dfa97
|
Added the bipolar theorem.
|
2026-05-09 18:15:10 -04:00 |
|
|
Bokuan Li
|
57c32a3c5e
|
Updated spelling of barreled to barrelled for consistency.
|
2026-05-06 16:50:37 -04:00 |
|
|
Bokuan Li
|
7e6e37d3e8
|
Housekeeping.
|
2026-05-06 16:41:51 -04:00 |
|