拓扑学（Topology）是数学中研究几何对象在连续变形下保持不变的性质的分支。与传统的欧几里得几何不同，拓扑学不关心距离、角度等度量性质，而是关注"连通性"、"紧致性"、"边界"等更为基本的定性性质。拓扑学常被形象地称为"橡皮膜上的几何"——因为拓扑学研究的对象可以像橡皮一样被拉伸、压缩、扭曲，但不能被撕裂或粘合。
拓扑学的思想萌芽可以追溯到 18 世纪。1736 年，欧拉（Leonhard Euler）解决了著名的"柯尼斯堡七桥问题"——在普鲁士的柯尼斯堡城，市民们想知道是否有一条路线可以恰好经过七座桥各一次并返回起点。欧拉将这一问题抽象为图论模型，证明了这样的路线不存在。这一工作被认为是拓扑学的第一个定理，也是图论和拓扑学共同起源的标志。
欧拉还发现了多面体公式 V−E+F=2（欧拉示性数），这一公式后来成为拓扑学中最重要的不变量之一。
19 世纪，高斯（Gauss）、黎曼（Riemann）等人在复分析和微分几何中的工作为拓扑学打下了基础。黎曼在研究中发现了"黎曼面"的概念，意识到必须考虑曲面的连通性分类。1858 年，莫比乌斯（Möbius）和利斯廷（Listing）独立发现了莫比乌斯带——一个只有一条边界、一个面的不可定向曲面。
利斯廷在 1847 年出版了《拓扑学初步》（Vorstudien zur Topologie），首次使用了"Topologie"（拓扑学）这一术语。
拓扑学在 20 世纪经历了飞速发展，形成了三大分支：
- 点集拓扑学（General/Pont-Set Topology）：由弗雷歇（Fréchet）和豪斯多夫（Hausdorff）在 1900 年代初建立，研究拓扑空间的基本公理和性质。
- 代数拓扑学（Algebraic Topology）：由庞加莱（Poincaré）开创，通过代数工具（群、同调、同伦）研究拓扑性质。
- 微分拓扑学（Differential Topology）：研究光滑流形上的拓扑性质，与微分几何密切相关。
点集拓扑学是拓扑学的入门基础和理论根基，它定义了拓扑空间这一最基本的概念。
定义：设 X 是一个集合，τ 是 X 的子集族，满足以下公理：
- 空集 ∅ 和全集 X 属于 τ。
- τ 中任意多个集合的并集仍属于 τ（对任意并封闭）。
- τ 中有限多个集合的交集仍属于 τ（对有限交封闭）。
则称 τ 是 X 上的一个拓扑，(X,τ) 是一个拓扑空间，τ 中的元素称为开集。
拓扑基是生成拓扑的"基本构件"。设 B 是 X 的子集族，如果：
- 对每个 x∈X，存在 B∈B 使得 x∈B。
- 如果 x∈B1∩B2（B1,B2∈B），则存在 B3∈B 使得 x∈B3⊆B1∩B2。
则 B 生成一个拓扑，其中开集是 B 中元素的任意并集。
邻域：x 的一个邻域是包含 x 且包含某个开集的集合。邻域概念允许我们定义"局部性质"。
- 闭集：开集的补集。
- 闭包 A：包含 A 的最小闭集。
- 内部 int(A)：包含在 A 中的最大开集。
- 边界 ∂A：A∖int(A)。
这些公理刻画拓扑空间的"分离能力"：
| 公理 |
名称 |
条件 |
| T0 |
柯尔莫哥洛夫空间 |
任意两个不同点中至少有一个存在不包含另一点的邻域 |
| T1 |
弗雷歇空间 |
任意两个不同点各有不含另一点的邻域 |
| T2 |
豪斯多夫空间 |
任意两个不同点有不相交的邻域 |
| T3 |
正则空间 |
T1 + 闭集和不在其中的点可被开集分离 |
| T4 |
正规空间 |
T1 + 任意两个不相交闭集可被开集分离 |
| T5 |
完全正规空间 |
T1 + 任意两个隔离子集可被开集分离 |
| T6 |
完美正规空间 |
T1 + 每个闭集是可数多个开集的交 |
豪斯多夫空间（T2）是实际研究中最重要的条件，大多数拓扑空间都是豪斯多夫的。
紧致性是对"有限性"的一种推广，是拓扑学中最核心的概念之一。
定义：拓扑空间 X 是紧致的，如果 X 的任意开覆盖都有有限子覆盖。
海涅-博雷尔定理（Heine-Borel）：在 Rn 中，子集是紧致的当且仅当它是有界闭集。
紧致性的重要性在于：
- 紧致空间上的连续函数能达到最大值和最小值。
- 紧致 Hausdorff 空间是正规的。
- 紧致性是拓扑不变量（连续像保持紧致性）。
定义：拓扑空间是连通的，如果它不能被表示为两个非空不相交开集的并集。
道路连通：如果空间中任意两点之间都存在一条连续路径，则称该空间是道路连通的。道路连通 ⇒ 连通，但反之不一定成立（例如拓扑学家的正弦曲线）。
局部连通：空间中每个点都存在连通邻域基。
| 公理 |
名称 |
条件 |
| C1 |
第一可数 |
每个点有可数邻域基 |
| C2 |
第二可数 |
拓扑有可数基 |
度量空间一定是 C1 的，但不一定是 C2 的。
度量空间是拓扑学最自然的例子。定义在集合 X 上的度量 d:X×X→R≥0 满足：
- d(x,y)=0⟺x=y（正定性）
- d(x,y)=d(y,x)（对称性）
- d(x,z)≤d(x,y)+d(y,z)（三角不等式）
度量自然地诱导出一个拓扑——由所有开球构成的基生成的拓扑。不是所有拓扑空间都可以被度量化的（可度量化的充分必要条件是 T3 + 第二可数，即乌雷松度量化定理）。
连续映射：f:X→Y 是连续的，如果任意开集的原像仍是开集。这是拓扑学中"良好映射"的定义。
同胚：如果 f 是连续的双射且逆映射也连续，则 f 是一个同胚。同胚的两个空间在拓扑学意义上被视为"相同"的。
拓扑不变量：在同胚下保持不变的性质——紧致性、连通性、可数性公理、可分公理等，都是拓扑不变量。
- 商拓扑：通过等价关系在空间上"粘合"一些点得到的拓扑。莫比乌斯带、克莱因瓶等有趣的空间都可以通过商拓扑构造。
- 积拓扑：一族拓扑空间的笛卡尔积上的标准拓扑。
- 子空间拓扑：子集上的自然诱导拓扑。
代数拓扑学通过代数工具（群、环、模等）来研究拓扑空间。它将几何对象映射为代数对象，利用代数计算的精确性和系统性来区分拓扑空间。
基本群（Fundamental Group）是代数拓扑的核心概念之一，由庞加莱在其 1895 年的论文《位置分析》中提出。
定义：选取拓扑空间 X 中的一个基点 x0。考虑所有从 [0,1] 到 X 的、以 x0 为起点和终点的环路（loop），在同伦等价关系下构成一个群，记为 π1(X,x0)。
计算示例：
- 圆周 S1 的基本群是整数加群 Z——环绕数不同的环路不同伦。
- n 维球面 Sn（n≥2）的基本群是平凡群（单连通）。
- 环面 T2 的基本群是 Z×Z。
- 克莱因瓶的基本群是 ⟨a,b∣aba−1=b−1⟩。
范·坎彭定理（Seifert–van Kampen）：将空间分解为两个开子集的并时，基本群可以用"自由积带黏合"的方式计算。这是计算基本群最有力的工具之一。
覆盖空间：覆盖空间理论是研究基本群的强大工具。基本群的子群一一对应于空间的覆盖空间（Galois 对应）。
同调论（Homology Theory）用 Abel 群（比基本群更简单的代数结构）来刻画空间的"洞"。
将空间三角剖分（单纯复形），然后定义：
- n 维链群 Cn：n 维单形的形式和。
- 边界算子 ∂n:Cn→Cn−1。
- n 维闭链群 Zn=ker∂n。
- n 维边链群 Bn=im∂n+1。
- n 维同调群 Hn=Zn/Bn。
直观理解：H0 刻画连通分支数。H1 刻画一维"洞"（环圈）。H2 刻画二维"空腔"（如球面内部的空洞）。
贝蒂数（Betti Numbers）：βn=rank(Hn)。第 0 个贝蒂数是连通分支数，第 1 个贝蒂数是一维环的个数。
| 空间 |
β0 |
β1 |
β2 |
欧拉示性数 |
| 圆周 S1 |
1 |
1 |
0 |
0 |
| 球面 S2 |
1 |
0 |
1 |
2 |
| 环面 T2 |
1 |
2 |
1 |
0 |
| 克莱因瓶 |
1 |
1 |
0 |
0 |
| 射影平面 RP2 |
1 |
0 |
0 |
1 |
奇异同调是最一般化的同调论，适用于所有拓扑空间。它的链是用标准单形到空间的连续映射生成的。奇异同调满足Eilenberg-Steenrod 公理，这些公理刻画出同调论的本质。
- 上同调（Cohomology）：同调的对偶理论，加上杯积（cup product）结构后，得到比同调更精细的不变量。
- 胞腔同调（Cellular Homology）：适用于 CW 复形的有效计算方法。
- 德·拉姆上同调（de Rham Cohomology）：通过微分形式定义的可微流形上的上同调理论，是微分几何与拓扑之间的桥梁。
同伦论（Homotopy Theory）是基本群的推广，考虑高维球面到空间的映射。
高阶同伦群：πn(X,x0) 是从 Sn 到 X（固定基点）的映射的同伦类构成的群。π1 可能非 Abel，但 πn（n≥2）总是 Abel 群。
球面的同伦群：计算球面的高阶同伦群是拓扑学中最困难的问题之一：
- πn(Sn)≅Z。
- π3(S2)≅Z（霍普夫纤维化）。
- πn+k(Sn) 当 k≥1 时是有限群（稳定同伦群）。
- 即使到今天，很多稳定同伦群也未被完全计算。
纤维化（Fibration）和纤维丛（Fiber Bundle）是同伦论的核心工具，提供了研究空间的"局部乘积"结构的方法。纤维化诱导出长正合同伦序列，是同伦论中最有力的计算工具。
CW 复形（CW Complex）由怀特海（J. H. C. Whitehead）引入，是代数拓扑中最常用的空间类别：
- 0-维骨架：一组离散点（0-胞腔）。
- n-维骨架：在 n−1 维骨架上黏合 n-胞腔（同胚于开 n 维球的圆盘内部）。
CW 复形具有很好的组合性质，同时足够一般化（任何拓扑空间都同伦等价于一个 CW 复形）。
- 布劳威尔不动点定理（Brouwer Fixed Point Theorem）：从闭单位球到自身的连续映射必有不动点。
- 勒菲谢茨不动点定理（Lefschetz Fixed Point Theorem）：通过同调计算给出存在不动点的充分条件。
- 尼耳森不动点理论：给出不动点数量的下限估计。
微分拓扑学是拓扑学与微分几何的交叉领域，研究光滑流形上的拓扑性质。
n 维光滑流形是局部同胚于 Rn 的 Hausdorff 空间，且转移函数光滑。
标准例子：
- 欧氏空间 Rn
- 球面 Sn
- 环面 Tn
- 实射影空间 RPn
- 复射影空间 CPn
- 浸入（Immersion）：切映射是单射（允许自交）。
- 嵌入（Embedding）：既是浸入又是同胚到像（不允许自交）。
惠特尼嵌入定理（Whitney Embedding Theorem）：任意 n 维光滑流形可以嵌入 R2n，且可以浸入 R2n−1。
横截性（Transversality）：两个子流形在交点处"一般位置"相交。横截性是微分拓扑的核心思想——"一般"的映射都是横截的。
萨德定理（Sard's Theorem）：一个光滑映射的临界值集合是零测集。这是横截性理论的基础。
莫尔斯理论（Morse Theory）通过在流形上定义一个"好"的函数（莫尔斯函数）来研究流形的拓扑。
基本思路：莫尔斯函数的临界点（梯度为零的点）反映流形的拓扑结构。每经过一个临界点，流形的同伦类型就会发生一次改变——黏合一个胞腔。
应用：莫尔斯理论证明了"重新配球定理"（Reeb's Theorem），给出了球面的特征刻画。
配边（Cobordism）是微分拓扑中最深刻的概念之一。两个 n 维闭流形是配边的，如果存在一个 n+1 维流形以它们作为边界。
配边关系定义了流形的等价类，在配边类上可以定义群结构。配边理论在 20 世纪 50-60 年代由托姆（René Thom）等人建立，并获得了深刻的分类结果。
庞加莱猜想（Poincaré Conjecture，2003 年由佩雷尔曼证明）：任意单连通的三维闭流形同胚于三维球面 S3。
瑟斯顿几何化猜想（Thurston's Geometrization Conjecture，同样由佩雷尔曼证明）：任意三维流形可以唯一分解为八种标准几何结构中的若干种。这一猜想大大推进了三维流形的分类。
| 定理 |
提出者 |
年份 |
意义 |
| 欧拉示性数公式 |
欧拉 |
1752 |
首个拓扑不变量 |
| 高斯-博内定理 |
高斯、博内 |
1848/1926 |
联系微分几何与拓扑 |
| 乌雷松度量化定理 |
乌雷松 |
1925 |
点集拓扑奠基 |
| 蒂策扩张定理 |
蒂策 |
1914 |
连续函数延拓 |
| 布劳威尔不动点定理 |
布劳威尔 |
1911 |
拓扑学在分析中的应用 |
| 范·坎彭定理 |
塞弗特、范·坎彭 |
1933 |
计算基本群 |
| 奇异同调的 Eilenberg-Steenrod 公理 |
艾伦伯格、斯廷罗德 |
1945 |
同调论公理化 |
| 阿蒂亚-辛格指标定理 |
阿蒂亚、辛格 |
1963 |
分析/几何/拓扑的深刻联系 |
| 庞加莱猜想 |
佩雷尔曼 |
2003 |
三维拓扑的里程碑 |
- 复分析：黎曼面的拓扑分类直接影响复分析中的函数论。
- 微分方程：拓扑度理论用于判断解的存在性。
- 代数几何：代数簇的拓扑提供了重要的不变量（如霍奇结构）。
- 动力系统：拓扑熵、拓扑传递性等概念是动力系统理论的核心工具。
- 泛函分析：弱拓扑、弱*拓扑是泛函分析的理论基石。
- 规范场论：纤维丛理论是杨-米尔斯理论的数学基础。
- 拓扑量子场论：威滕（Witten）将拓扑学引入量子场论，极大地推动了两者的发展。
- 凝聚态物理：拓扑绝缘体、拓扑超导体、量子霍尔效应等都与拓扑不变量（如陈数）有关。
- 宇宙学：宇宙的大尺度拓扑结构（如宇宙弦、宇宙的拓扑）是研究热点。
- 弦理论：Calabi-Yau 流形的拓扑性质直接影响弦理论中的粒子物理预测。
- 计算拓扑：持续同调（Persistent Homology）是数据分析中处理高维数据拓扑结构的有力工具。通过计算数据点集在不同尺度下的同调群变化，可以提取数据中稳定的拓扑特征。
- 计算机网络拓扑：网络拓扑结构（环形、星形、网状等）的设计直接影响网络的可靠性和性能。
- 机器人运动规划：机器人的构型空间（Configuration Space）的拓扑性质决定了路径规划的可行性。
- 计算机图形学：曲面重建、网格简化、变形操纵等都需要拓扑知识。
- 传感器网络：拓扑数据分析用于传感器网络的覆盖问题。
拓扑数据分析（Topological Data Analysis, TDA）是近年来新兴的数据分析范式：
- Mapper 算法：将高维数据投影到低维空间，利用聚类和拓扑方法构建数据的"形状摘要"。
- 持续同调：分析数据点云在不同尺度下的同调（洞）结构，稳定地提取多尺度拓扑特征。
- 流行学习：t-SNE、UMAP 等方法依赖于数据位于低维流形上的假设，本质上是拓扑学思想在降维中的应用。
建议的教材：
- Munkres, Topology（经典教材，第一部是点集拓扑的标准参考书）
- Armstrong, Basic Topology（内容全面，适合自学）
- 尤承业，《基础拓扑学》（中文经典教材）
- Hatcher, Algebraic Topology（免费在线，图文并茂的经典）
- Munkres, Elements of Algebraic Topology（偏单纯同调）
- 姜伯驹，《同调论》（中文经典）
- Milnor, Topology from the Differentiable Viewpoint（微分拓扑的经典小册子）
- Guillemin & Pollack, Differential Topology（教材经典）
- Bott & Tu, Differential Forms in Algebraic Topology（德·拉姆上同调的经典）
- 几何拓扑：三维/四维流形、扭结理论
- 层论：从局部到整体的统一框架
- 拓扑量子场论：拓扑学与量子物理的交叉
- K 理论：向量丛的分类理论
拓扑学是数学中既有深度又有广度的分支。它从具体几何问题（七桥问题、多面体分类）出发，经过一百多年的发展，形成了以点集拓扑为根基、代数拓扑和微分拓扑为双翼的宏伟理论体系。拓扑学的方法和思想已经渗透到现代数学的几乎所有领域，并在物理学、计算机科学、数据科学中发挥着越来越重要的作用。
对于初学者而言，拓扑学不仅仅是一门数学分支——它代表了一种全新的几何思维方式：不关心精确的测量，只关注"永不变"的定性结构。这种思维方式对于培养数学直觉和抽象思维能力极具价值。