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

Commit Graph

  • bfa5aee60e Added the holomorphic functional calculus. Bokuan Li 2026-05-31 23:12:15 -04:00
  • 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