Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 73951c9d4c Fixed typo with 1/2pi i. Bokuan Li 2026-05-31 20:00:40 -04:00
• 85e73baf76 Added citation. Bokuan Li 2026-05-31 19:30:12 -04:00
• 3a07b5331e Added basics of Banach algebras. Bokuan Li 2026-05-31 19:26:20 -04:00
• fb8178b7ee Slight wording adjustments. Bokuan Li 2026-05-31 15:53:32 -04:00
• 47145cdf58 Adjusted labeling of conditions for Banach-Steinhaus. Bokuan Li 2026-05-30 20:40:38 -04:00
• edde66facc Various typo fixes. Bokuan Li 2026-05-30 20:35:32 -04:00
• 0cea712b96 Added Runge's theorem. Bokuan Li 2026-05-30 20:29:17 -04:00
• eef9ef89b0 Added some notations. Bokuan Li 2026-05-28 13:03:41 -04:00
• 1d65f25d03 Added the one-point compactification. Bokuan Li 2026-05-28 12:55:23 -04:00
• 5a4c9f5d0e Updated Alaoglu's theorem. Bokuan Li 2026-05-27 23:53:22 -04:00
• 02bd8479bc Added path lemma. Bokuan Li 2026-05-27 22:59:06 -04:00
• 5923b45f9d Added Urysohn Metrisation theorem and compactness theorems. Bokuan Li 2026-05-26 19:32:02 -04:00
• f6c5976873 Fixed some typos. Bokuan Li 2026-05-25 21:05:21 -04:00
• 047ffe4472 Added the complex conjugation. Bokuan Li 2026-05-25 20:59:22 -04:00
• 65fdc1cc8d Added the Stone-Weierstrass Theorem. Bokuan Li 2026-05-25 20:38:20 -04:00
• 964cb2450a Typo fix. Bokuan Li 2026-05-25 17:16:54 -04:00
• 719e9a1f7a Added complexification. Bokuan Li 2026-05-23 21:19:04 -04:00
• a058df3163 Added more complex analysis. Bokuan Li 2026-05-18 18:06:02 -04:00
• 85d1d78bda Added appropriate form of Taylor's formula. Bokuan Li 2026-05-18 16:24:43 -04:00
• 3a0e5cc351 Fixed typo. Bokuan Li 2026-05-16 21:49:56 -04:00
• 44d122e052 Added definition of holomorphic functions. Bokuan Li 2026-05-16 21:42:56 -04:00
• 88d71d6654 Fixed small typos. Bokuan Li 2026-05-16 13:06:48 -04:00
• 365c89e773 Added Fubini for RS integrals. Bokuan Li 2026-05-15 20:30:20 -04:00
• 3a8de41020 Added the homotopic version of Cauchy's theorem. Bokuan Li 2026-05-15 19:31:39 -04:00
• 6fdf6a64fd Added uniform structures for completely regular spaces. Added calculus lemma. Bokuan Li 2026-05-15 00:39:41 -04:00
• c1a9e11dbb Fixed mistakes in FTC for path integrals. Bokuan Li 2026-05-13 16:29:09 -04:00
• 9f3c8a2e81 Added remark reflecting on past mistakes. Bokuan Li 2026-05-13 15:21:46 -04:00
• 06b50c9b06 Adjusted statement of FTC for path integrals. Bokuan Li 2026-05-11 21:22:27 -04:00
• a4642a0128 Added FTC for path integrals. Bokuan Li 2026-05-11 21:21:26 -04:00
• 4ba2e76b44 Added the principal logarithm. Bokuan Li 2026-05-11 16:11:33 -04:00
• 538a02ba37 Added the inverse function theorem. Bokuan Li 2026-05-10 19:42:25 -04:00
• 7fdf1a8d6e Added power series. Bokuan Li 2026-05-09 19:57:18 -04:00
• 8d881dfa97 Added the bipolar theorem. Bokuan Li 2026-05-09 18:15:10 -04:00
• 2e00ac6f10 Adjusted the interchange of limits and derivaties. Bokuan Li 2026-05-08 18:51:09 -04:00
• 5f50dc1157 Updated the power rule to the non-symmetric generality. Bokuan Li 2026-05-08 18:36:44 -04:00
• 248c89240b Updated notation for higher derivatives. Bokuan Li 2026-05-08 14:17:28 -04:00
• 277c2e2625 Added the theorem for interchanging limits and derivatives. Bokuan Li 2026-05-08 01:25:39 -04:00
• e8474bba3e Fixed equicontinuous formulation. Bokuan Li 2026-05-06 23:31:25 -04:00
• 57c32a3c5e Updated spelling of barreled to barrelled for consistency. Bokuan Li 2026-05-06 16:50:37 -04:00
• 7e6e37d3e8 Housekeeping. Bokuan Li 2026-05-06 16:41:51 -04:00
• fdc5e43d82 Added the separate and joint continuity theorem. Bokuan Li 2026-05-06 16:31:41 -04:00
• 5afdc1fcb9 Adjusted wording of Banach-Steinhaus. Bokuan Li 2026-05-06 00:32:24 -04:00
• ca3465b3d4 Fixed indexing mistake in Arzela-Ascoli. Bokuan Li 2026-05-06 00:30:02 -04:00
• 07fe8b35c0 Added the Banach-Steinhaus theorem. Bokuan Li 2026-05-06 00:27:05 -04:00
• ce56f5d167 Adjusted organisation in the TVS chapter. Bokuan Li 2026-05-05 21:58:54 -04:00
• 97372173e1 Fixed regex incident. Bokuan Li 2026-05-05 02:00:05 -04:00
• 0f2e69d1f9 Polished A-A and added new lines for broken enumerates. Bokuan Li 2026-05-05 01:50:35 -04:00
• 47a7e1de68 Added notes on equicontinuity. Bokuan Li 2026-05-05 01:10:56 -04:00
• 227436a9c2 Added saturated ideals. Bokuan Li 2026-05-04 17:54:03 -04:00
• e3c16a98b4 Updated the notation for convex and circled hulls. Bokuan Li 2026-05-04 17:15:54 -04:00
• 60115baa41 Replaced references to upward-directed families with ideals. Bokuan Li 2026-05-04 17:08:01 -04:00
• e4da295fd9 Added introduction to polars. Bokuan Li 2026-05-04 16:04:09 -04:00
• b2af2d8afb Fixed typo in dual systems. Bokuan Li 2026-05-03 22:57:48 -04:00
• ca5e81fdbc Started duality. Bokuan Li 2026-05-03 22:49:27 -04:00
• ba5830d5b6 Added associated space notation. Bokuan Li 2026-05-02 16:00:33 -04:00
• 1e53581113 Added bornological spaces. Bokuan Li 2026-05-02 15:59:03 -04:00
• dcf11fb978 Added more bits on bornologic spaces. Bokuan Li 2026-05-01 19:27:38 -04:00
• 0ef220bba5 Added proof for the BV claim. Bokuan Li 2026-05-01 18:33:10 -04:00
• 4e0efaf7f5 Adjusted formulation of a total variation statement. Bokuan Li 2026-05-01 18:31:08 -04:00
• 10e520dff3 Updated formulation in BV. Bokuan Li 2026-05-01 16:40:01 -04:00
• 2219ce0b15 Added barreled spaces. Bokuan Li 2026-05-01 16:27:14 -04:00
• 3077563278 Used "separated" instead of Hausdorff in the context of topological vector spaces. Bokuan Li 2026-05-01 13:32:08 -04:00
• caf7790b15 Fixed typo in Cauchy in measure. Bokuan Li 2026-05-01 13:29:36 -04:00
• 95829261c7 Fixed typo in FTC for Riemann integrals. Bokuan Li 2026-04-28 18:09:27 -04:00
• 225794ff81 Fixed typo in the definition of regulated maps. Bokuan Li 2026-04-28 18:07:27 -04:00
• 6a960a6231 Fixed typo in variation function. Bokuan Li 2026-04-28 18:05:37 -04:00
• d187feb618 Fixed partition index typo. Bokuan Li 2026-04-28 18:04:05 -04:00
• 34736f99a8 More typo fixes. Bokuan Li 2026-04-28 14:34:44 -04:00
• d80fae112d Fixed more convex typos. Bokuan Li 2026-04-28 14:27:23 -04:00
• e68b991240 Fixed typo in convex hull. Bokuan Li 2026-04-28 14:20:27 -04:00
• 78cbee8b32 Lowered the table of contents depth. Bokuan Li 2026-04-23 15:50:14 -04:00
• 9259cd1d86 Added notation pages for major sections. Bokuan Li 2026-04-23 02:56:47 -04:00
• 945bfe9946 Fixed typos and migrated to new version. Bokuan Li 2026-04-13 20:21:01 -04:00
• 4be9c683f6 Updated config version to v0.2.0. Bokuan Li 2026-03-26 14:58:01 -04:00
• af1fa61668 Added the fundamental theorem of calculus. Bokuan Li 2026-03-22 17:12:22 -04:00
• 156c9e8728 Added missing steps and fixed typos. Bokuan Li 2026-03-22 00:45:15 -04:00
• 73ceab0a6d Fixed more mistakes in the dyadic rational numbers. Bokuan Li 2026-03-21 19:35:12 -04:00
• 50c231f543 Updated the dyadic rational numbers and RS integrals. Bokuan Li 2026-03-21 19:15:40 -04:00
• d7d5db5f90 Typo fix. Bokuan Li 2026-03-20 15:18:08 -04:00
• 780d5d362e Fixed typo in the Singer representation remark. Bokuan Li 2026-03-20 00:13:08 -04:00
• 1d9f537b86 Added missing citation for the C0 Riesz representation theorem. Bokuan Li 2026-03-20 00:05:57 -04:00
• aa4756e941 Adjusted citation formats. Moved citation off of named theorems if possible. Bokuan Li 2026-03-19 23:58:16 -04:00
• f9275656f4 Added a remark on the Singer representation theorem. Bokuan Li 2026-03-19 23:44:32 -04:00
• c21b16d336 Added the Singer representation theorem. Bokuan Li 2026-03-19 23:38:04 -04:00
• 051bae6096 Fixed typo in Hahn-Banach. Bokuan Li 2026-03-19 19:26:43 -04:00
• 9ce4986002 Added Fubini's theorem. Bokuan Li 2026-03-19 12:05:58 -04:00
• af28d174f2 Added remarks regarding the projective tensor product. Bokuan Li 2026-03-18 20:04:21 -04:00
• 813cff3c81 Fixed typo. Bokuan Li 2026-03-18 17:31:07 -04:00
• 1cb04f668b Added a characterisation of L^p. Bokuan Li 2026-03-18 17:26:17 -04:00
• fdd4d752e9 Added the algebraic tensor product. Bokuan Li 2026-03-18 14:16:55 -04:00
• f25600cbd3 More typo fixes. Bokuan Li 2026-03-17 15:34:02 -04:00
• c26e3fdfcb Minor typo fix. Bokuan Li 2026-03-17 15:32:44 -04:00
• dd49a42b4a Typo fixes. Bokuan Li 2026-03-17 15:30:41 -04:00
• 16e6beb117 Replaced mentions of normed spaces to normed vector spaces. Bokuan Li 2026-03-17 15:18:31 -04:00
• 37a5ce14bf Added the Bochner integral. Bokuan Li 2026-03-17 15:16:13 -04:00
• ae69a73fba Fixed typo in isometry proof. Bokuan Li 2026-03-16 21:10:21 -04:00
• b591904469 Added the dual of c0. Bokuan Li 2026-03-16 21:05:12 -04:00
• 69c4e5e030 Added vector lattices. Bokuan Li 2026-03-16 16:01:07 -04:00
• ef91d9f91b Various typo fixes. Bokuan Li 2026-03-15 23:04:46 -04:00
• 8e7e55e8b3 Added monotone convergence for LSC functions. Bokuan Li 2026-03-15 22:13:55 -04:00