#拓扑学
同调论的拓扑基础与持续同调
由于高阶同伦群不好算，我们引入了同调群。其一个应用是数据分析的持续同调。…
几何学Ⅱ期末复习笔记
下半学期的内容是基本群和复叠空间。参考尤承业《基础拓扑学讲义》及 Allen Hatcher 的 Algebraic Topology 第一章。…
关于滤子：极限及“最终”模态词诱导
起因是听说 Lean 现在的 mathlib 中实数是依靠滤子定义的（但实际搜索了一下发现当前版本还是改为用 Cauchy 序列定义）。…