#拓扑学
几何学Ⅱ期末复习笔记
下半学期的内容是基本群和复叠空间。参考尤承业《基础拓扑学讲义》及 Allen Hatcher 的 Algebraic Topology 第一章。…
关于滤子：极限及“最终”模态词诱导
起因是听说 Lean 现在的 mathlib 中实数是依靠滤子定义的（虽然实际搜索了一下发现当前版本还是改为用 Cauchy 序列定义）。…
#点集拓扑
点集拓扑以开集为基本工具，研究空间的连续性与整体形状，刻画连通性、紧性与分离性等基本拓扑性质。