jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 3a0e5cc351 Fixed typo. main 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
  • 06f7874de3 Moved Radon measures to their own section. Bokuan Li 2026-03-15 20:12:14 -04:00
  • b5126e965b Added facts about vector measures. Bokuan Li 2026-03-15 19:30:28 -04:00
  • 2e160500cc Added Riemann's rearrangement theorem. Bokuan Li 2026-03-15 14:44:36 -04:00
  • 62a8e78dfe Typo fixes. Bokuan Li 2026-03-15 12:32:31 -04:00
  • f951ccccdf Updated proof for C0 space. Bokuan Li 2026-03-14 21:16:45 -04:00
  • 1200e0bce0 Added the c0 space. Bokuan Li 2026-03-14 21:06:58 -04:00
  • 4687e9e4fc Added Lusin's theorem. Bokuan Li 2026-03-14 19:55:29 -04:00
  • 3778616075 Added Egoroff's theorem. Bokuan Li 2026-03-14 18:08:06 -04:00
  • d3d5dc62e1 Added convergence in measure. Bokuan Li 2026-03-14 17:54:58 -04:00
  • 6bb13c3c53 Typo fix. Bokuan Li 2026-03-12 22:36:53 -04:00
  • 532bced3b7 Fixed some typos. Bokuan Li 2026-03-12 22:29:40 -04:00
  • 68ec8c38a7 Updated spec config. Bokuan Li 2026-03-12 22:02:52 -04:00
  • 61f66523e0 Prepare for migration into spec. Bokuan Li 2026-03-12 21:26:34 -04:00
  • 9139ee3296 Housekeeping for VS code. Bokuan Li 2026-03-06 15:45:31 -05:00
  • 139f5b8a99 Housekeeping. Bokuan Li 2026-03-06 14:56:15 -05:00
  • 99f57be39e Housekeeping. Bokuan Li 2026-03-06 14:55:54 -05:00
  • 5034bc4220 Cleanup Bokuan Li 2026-03-06 14:06:15 -05:00
  • 173727665b Symmetry of the derivative (normed/frechet). Bokuan Li 2026-02-03 17:57:07 -05:00
  • 7bbbf75213 Adjusted mean value theorem. Bokuan Li 2026-02-03 11:07:32 -05:00