引言
当你翻开一本微分几何的教材，首先映入眼帘的往往是一连串令人望而生畏的定义：拓扑空间、流形、图册、微分结构……为什么学习曲线和曲面之前，必须先掌握这些看似抽象的概念？为什么数学家们如此执着于"连续性"、“紧致性"这样的拓扑性质？
问题的答案隐藏在数学发展的历史长河中。18世纪的欧拉在研究多面体时发现了一个惊人的规律：无论多面体的形状如何变化，其顶点数 $V$、边数 $E$、面数 $F$ 始终满足关系 $V - E + F = 2$。这个公式后来被称为欧拉示性数，它揭示了一个深刻的事实——某些几何性质在连续变形下保持不变。
19世纪，高斯在研究曲面时引入了高斯曲率的概念，却发现了一个令人震惊的结果：高斯绝妙定理（Theorema Egregium）表明，高斯曲率实际上是一个内蕴量，只依赖于曲面上的度量，而不依赖于曲面在三维空间中的嵌入方式。这意味着曲面的某些性质是"与生俱来的”，与外界环境无关。
这些发现逐渐汇聚成一个新的数学分支——拓扑学。拓扑学研究的是空间在连续变形下保持不变的性质。它不关心距离、角度这些度量信息，而是关注更本质的结构：哪些点是"邻近"的？哪些空间"本质上相同"？一个空间是否"连通"？是否"紧致"？
当我们进入20世纪，随着爱因斯坦广义相对论的诞生，微分几何迎来了它的黄金时代。然而，要真正理解弯曲时空、黎曼流形、张量分析这些概念，拓扑学的基础是不可或缺的。本文将系统梳理学习大学微分几何所需的拓扑学前置知识，从历史背景到严格定义，从直观理解到形式推导，帮助你建立一座从拓扑通往微分几何的桥梁。
第一章：拓扑学的黎明——从七桥问题到欧拉示性数
1.1 柯尼斯堡七桥问题与图论的萌芽
1736年，普鲁士的柯尼斯堡城（今俄罗斯加里宁格勒）有一个著名的休闲问题：城市被普雷格尔河分割成四个区域，由七座桥连接。市民们热衷于一个问题：是否可以从某处出发，经过每座桥恰好一次，最后回到起点？
年轻的数学家欧拉将这个问题抽象化。他把四个区域看作四个顶点（vertex），七座桥看作七条边（edge），于是整个问题转化为在一个由顶点和边构成的图（graph）中寻找一条特殊路径——现在称为欧拉回路（Eulerian circuit）。
欧拉证明了：一个连通图存在欧拉回路，当且仅当每个顶点的度数都是偶数。在柯尼斯堡七桥问题中，四个区域的桥数分别是3、3、3、5，都是奇数，因此不存在这样的路径。
这个看似简单的结论开创了图论这一全新领域，更重要的是，它展示了拓扑思维的核心——忽略具体的形状和距离，只关注连接关系。
1.2 欧拉示性数与多面体公式
1750年，欧拉发现了另一个惊人的规律。对于任意凸多面体，其顶点数 $V$、边数 $E$、面数 $F$ 满足：
$$ \chi = V - E + F = 2 $$
这个数 $2$ 就是该多面体的欧拉示性数（Euler characteristic）。
让我们验证几个经典例子：
- 正四面体：$V = 4, E = 6, F = 4$，所以 $\chi = 4 - 6 + 4 = 2$
- 正方体：$V = 8, E = 12, F = 6$，所以 $\chi = 8 - 12 + 6 = 2$
- 正八面体：$V = 6, E = 12, F = 8$，所以 $\chi = 6 - 12 + 8 = 2$
然而，当欧拉尝试将公式应用于环面（torus）时，情况发生了变化。在一个环面上，我们可以构造一个多面体结构，使得 $V = 4, E = 8, F = 4$，于是 $\chi = 0$。
这个发现揭示了一个深刻的洞见：欧拉示性数是拓扑不变量。无论多面体如何连续变形（只要不撕裂或粘合），其欧拉示性数保持不变。球面的欧拉示性数是 $2$，环面的是 $0$，双环面（genus 2）的是 $-2$。
一般地，对于可定向闭曲面，有公式：
$$ \chi = 2 - 2g $$
其中 $g$ 是曲面的亏格（genus），直观上就是曲面"洞"的个数。
1.3 从几何到拓扑的思想转变
欧拉的工作标志着一个重要的思想转变。传统几何学关注长度、角度、面积这些度量性质，而欧拉发现了一些在连续变形下保持不变的性质。
想象一个橡皮泥做成的球。你可以拉伸它、压缩它、扭曲它，只要不撕裂或粘合，球始终保持为一个球。这种连续的变形称为同胚（homeomorphism），而保持不变的性质就是拓扑性质。
这种思想在19世纪得到了进一步发展。黎曼在研究复变函数时，将函数的定义域想象成一层层叠加的曲面——黎曼面（Riemann surface）。他发现，复变函数的许多性质（如分支点、奇点）实际上取决于定义域的拓扑结构。
高斯在研究曲面时提出了高斯曲率的概念。令他惊讶的是，高斯曲率可以完全由曲面的第一基本形式（即度量张量）确定，而不需要知道曲面在三维空间中的具体形状。这就是著名的高斯绝妙定理：
高斯曲率是曲面的内蕴几何量，只依赖于曲面的度量结构。
这一发现具有划时代的意义：它表明曲面的某些性质完全由曲面"自身"决定，与外界无关。这正是内蕴几何（intrinsic geometry）的核心思想，也是后来黎曼几何的基石。
第二章：拓扑空间——从直观到公理
2.1 为什么需要拓扑空间？
在学习数学分析时，我们接触过开集、闭集、邻域等概念。在实数集 $\mathbb{R}$ 上，开区间 $(a, b)$ 是"开"的；在平面 $\mathbb{R}^2$ 上，开圆盘 ${(x, y) : x^2 + y^2 < r^2}$ 是"开"的。
但这些定义依赖于距离的概念。在 $\mathbb{R}$ 上我们用 $|x - y|$，在 $\mathbb{R}^2$ 上我们用 $\sqrt{(x_1-x_2)^2 + (y_1-y_2)^2}$。问题在于：如果没有距离，我们还能谈论"开"与"闭"吗？
答案是肯定的。20世纪初，法国数学家亨利·勒贝格（Henri Lebesgue）、德国数学家费利克斯·豪斯多夫（Felix Hausdorff）等人逐渐意识到，“开集"的概念比"距离"更基本。我们可以从"哪些集合是开的"出发，重新定义连续性、收敛、紧致等概念。
这正是点集拓扑学（point-set topology）的诞生。1914年，豪斯多夫在其著作《集论基础》中首次给出了拓扑空间的公理化定义。
2.2 拓扑空间的公理化定义
定义（拓扑空间）：设 $X$ 是一个集合，$\mathcal{T}$ 是 $X$ 的子集族（即 $X$ 的幂集 $2^X$ 的子集）。如果 $\mathcal{T}$ 满足以下三条公理：
- 空集和全集：$\emptyset \in \mathcal{T}$ 且 $X \in \mathcal{T}$
- 任意并封闭：若 ${U_\alpha}{\alpha \in I} \subseteq \mathcal{T}$，则 $\bigcup{\alpha \in I} U_\alpha \in \mathcal{T}$
- 有限交封闭：若 $U_1, U_2, \ldots, U_n \in \mathcal{T}$，则 $\bigcap_{i=1}^n U_i \in \mathcal{T}$
则称 $\mathcal{T}$ 为 $X$ 上的一个拓扑（topology），$(X, \mathcal{T})$ 称为一个拓扑空间。$\mathcal{T}$ 中的元素称为开集（open set）。
例子1（离散拓扑）：对于任意集合 $X$，令 $\mathcal{T}_{\text{discrete}} = 2^X$（即 $X$ 的所有子集）。这显然满足三条公理，称为离散拓扑。
例子2（平凡拓扑）：令 $\mathcal{T}_{\text{trivial}} = {\emptyset, X}$。这也满足三条公理，称为平凡拓扑（或密着拓扑）。
例子3（度量拓扑）：设 $(X, d)$ 是度量空间。定义开球 $B(x, r) = {y \in X : d(x, y) < r}$。令 $\mathcal{T}_d$ 为所有可以表示为开球之并的集合构成的族，则 $\mathcal{T}_d$ 是 $X$ 上的一个拓扑，称为度量拓扑。
2.3 邻域与收敛的拓扑描述
定义（邻域）：设 $(X, \mathcal{T})$ 是拓扑空间，$x \in X$。子集 $N \subseteq X$ 称为 $x$ 的邻域（neighborhood），如果存在开集 $U \in \mathcal{T}$，使得 $x \in U \subseteq N$。
邻域的概念比开集更灵活：邻域不一定是开的，但开集是其内部每一点的邻域。
在拓扑空间中，我们可以用邻域来重新定义序列的收敛：
定义（序列收敛）：拓扑空间 $(X, \mathcal{T})$ 中的序列 ${x_n}$ 收敛于 $x$，记作 $x_n \to x$，如果对 $x$ 的任意邻域 $N$，存在正整数 $N_0$，使得当 $n > N_0$ 时，$x_n \in N$。
例子：在离散拓扑空间中，序列 ${x_n}$ 收敛于 $x$ 当且仅当存在 $N_0$，使得对所有 $n > N_0$，$x_n = x$。换句话说，序列最终恒等于极限点。这是因为单点集 ${x}$ 是开集（也是 $x$ 的邻域），而序列必须最终进入这个邻域。
2.4 闭集与闭包
定义（闭集）：子集 $F \subseteq X$ 称为闭集（closed set），如果其补集 $X \setminus F$ 是开集。
由德摩根定律，闭集满足：
- $\emptyset$ 和 $X$ 都是闭集
- 任意多个闭集的交仍是闭集
- 有限多个闭集的并仍是闭集
定义（闭包）：子集 $A \subseteq X$ 的闭包（closure）$\overline{A}$ 定义为包含 $A$ 的所有闭集的交：
$$ \overline{A} = \bigcap {F \subseteq X : F \text{ 是闭集且 } A \subseteq F} $$
闭包 $\overline{A}$ 是包含 $A$ 的最小闭集。点 $x \in \overline{A}$ 当且仅当 $x$ 的每个邻域都与 $A$ 相交。
定义（内部与边界）：
- 内部（interior）$A^\circ$：包含在 $A$ 中的最大开集，即 $A^\circ = \bigcup {U \in \mathcal{T} : U \subseteq A}$
- 边界（boundary）$\partial A$：$\partial A = \overline{A} \setminus A^\circ$
这三者满足关系：$A^\circ \subseteq A \subseteq \overline{A}$，且 $\partial A = \overline{A} \cap \overline{X \setminus A}$。
第三章：连续性——拓扑学的核心概念
3.1 从 $\epsilon$-$\delta$ 到开集原像
在数学分析中，函数 $f: \mathbb{R} \to \mathbb{R}$ 在点 $x_0$ 连续的定义是：
对任意 $\epsilon > 0$，存在 $\delta > 0$，使得当 $|x - x_0| < \delta$ 时，$|f(x) - f(x_0)| < \epsilon$。
用邻域的语言，这等价于：对 $f(x_0)$ 的任意 $\epsilon$-邻域 $(f(x_0) - \epsilon, f(x_0) + \epsilon)$，存在 $x_0$ 的 $\delta$-邻域 $(x_0 - \delta, x_0 + \delta)$，使得 $f$ 将后者映射到前者之内。
这启发我们用开集来重新定义连续性：
定义（连续映射）：设 $(X, \mathcal{T}_X)$ 和 $(Y, \mathcal{T}_Y)$ 是拓扑空间。映射 $f: X \to Y$ 称为连续的（continuous），如果对 $Y$ 中任意开集 $V \in \mathcal{T}_Y$，其原像 $f^{-1}(V) = {x \in X : f(x) \in V}$ 是 $X$ 中的开集。
这一定义的威力在于它完全不依赖于距离，完全用拓扑结构（开集）来刻画。
定理：对于度量空间之间的映射，上述拓扑连续性的定义与 $\epsilon$-$\delta$ 定义等价。
证明：
$(\Rightarrow)$ 设 $f$ 在拓扑意义下连续。对任意 $x_0 \in X$ 和 $\epsilon > 0$，考虑开集 $V = B(f(x_0), \epsilon)$。由连续性，$f^{-1}(V)$ 是开集且包含 $x_0$，因此存在 $\delta > 0$ 使得 $B(x_0, \delta) \subseteq f^{-1}(V)$。这意味着当 $d_X(x, x_0) < \delta$ 时，$d_Y(f(x), f(x_0)) < \epsilon$。
$(\Leftarrow)$ 设 $f$ 在每一点都满足 $\epsilon$-$\delta$ 条件。对任意开集 $V \subseteq Y$，设 $x_0 \in f^{-1}(V)$。由于 $f(x_0) \in V$ 且 $V$ 开，存在 $\epsilon > 0$ 使得 $B(f(x_0), \epsilon) \subseteq V$。由条件，存在 $\delta > 0$ 使得 $f(B(x_0, \delta)) \subseteq B(f(x_0), \epsilon) \subseteq V$。因此 $B(x_0, \delta) \subseteq f^{-1}(V)$，说明 $f^{-1}(V)$ 是开集。
3.2 同胚——拓扑学的"相等”
定义（同胚）：拓扑空间 $X$ 和 $Y$ 称为同胚的（homeomorphic），如果存在双射 $f: X \to Y$，使得 $f$ 和 $f^{-1}$ 都连续。这样的 $f$ 称为同胚映射（homeomorphism）。
同胚是拓扑学中的"相等"概念：两个空间同胚，意味着它们具有完全相同的拓扑结构，可以互相连续地变换得到。
例子：
- 开区间 $(0, 1)$ 与实数集 $\mathbb{R}$ 同胚。同胚映射为 $f(x) = \tan(\pi x - \pi/2)$。
- 球面挖去一点后与平面 $\mathbb{R}^2$ 同胚（球极投影）。
- 咖啡杯与甜甜圈（环面）同胚。
非同胚的例子：
- 圆 $S^1$ 与线段 $[0, 1]$ 不同胚（去掉一点后连通性不同）
- 球面 $S^2$ 与环面 $T^2$ 不同胚（欧拉示性数不同：$\chi(S^2) = 2$，$\chi(T^2) = 0$）
拓扑不变量：在同胚下保持不变的量称为拓扑不变量。例如：
- 连通性
- 紧致性
- 欧拉示性数
- 基本群的同构类
这些不变量提供了判断空间是否同胚的有力工具。
3.3 诱导拓扑与子空间
定义（子空间拓扑）：设 $(X, \mathcal{T})$ 是拓扑空间，$A \subseteq X$。定义 $A$ 上的子空间拓扑（subspace topology）为：
$$ \mathcal{T}_A = {U \cap A : U \in \mathcal{T}} $$
即 $A$ 的开集是 $X$ 的开集与 $A$ 的交。
验证：
- $\emptyset = \emptyset \cap A$，$A = X \cap A$，都在 $\mathcal{T}_A$ 中。
- 任意并：$\bigcup_\alpha (U_\alpha \cap A) = (\bigcup_\alpha U_\alpha) \cap A$
- 有限交：$\bigcap_{i=1}^n (U_i \cap A) = (\bigcap_{i=1}^n U_i) \cap A$
例子：考虑实数线 $\mathbb{R}$ 上的标准拓扑。子空间 $[0, 1]$ 上的开集形如：
- $(a, b) \cap [0, 1]$，其中 $0 < a < b < 1$ 时为 $(a, b)$
- $(-1, 0.5) \cap [0, 1] = [0, 0.5)$ —— 注意 $[0, 0.5)$ 在 $[0, 1]$ 中是开集，但在 $\mathbb{R}$ 中不是！
这说明"开"与"闭"是相对概念，依赖于所考虑的拓扑空间。
3.4 乘积拓扑
定义（乘积拓扑）：设 $(X, \mathcal{T}_X)$ 和 $(Y, \mathcal{T}_Y)$ 是拓扑空间。$X \times Y$ 上的乘积拓扑由基
$$ \mathcal{B} = {U \times V : U \in \mathcal{T}_X, V \in \mathcal{T}_Y} $$
生成。即乘积空间的开集是形如 $U \times V$ 的集合的任意并。
例子：$\mathbb{R}^2 = \mathbb{R} \times \mathbb{R}$ 上的标准拓扑就是乘积拓扑。开集可以写成开矩形的并，这与用开球定义是等价的。
性质：投影映射 $\pi_X: X \times Y \to X$，$\pi_Y: X \times Y \to Y$ 都是连续的。实际上，乘积拓扑是使两个投影都连续的最粗拓扑。
第四章：紧致性与连通性——空间的整体性质
4.1 紧致性的动机与定义
在数学分析中，闭区间 $[a, b]$ 具有许多重要性质：
- 有界序列必有收敛子列（波尔查诺-魏尔斯特拉斯定理）
- 连续函数必达到最大最小值（极值定理）
- 连续函数必一致连续（康托尔定理）
这些性质在开区间 $(a, b)$ 上都不成立。那么，$[a, b]$ 的本质特征是什么？
19世纪末，法国数学家埃米尔·博雷尔（Émile Borel）提出了一个关键性质：如果闭区间 $[a, b]$ 被一族开区间覆盖，那么总能从中选出有限个开区间仍然覆盖 $[a, b]$。这就是著名的有限覆盖定理。
基于这一观察，我们给出紧致性的拓扑定义：
定义（紧致性）：拓扑空间 $X$ 称为紧致的（compact），如果 $X$ 的任意开覆盖都有有限子覆盖。即：若 $X = \bigcup_{\alpha \in I} U_\alpha$，其中每个 $U_\alpha$ 都是开集，则存在有限子集 $J \subseteq I$，使得 $X = \bigcup_{\alpha \in J} U_\alpha$。
例子：
- 海涅-博雷尔定理：$\mathbb{R}^n$ 的子集是紧致的当且仅当它是闭集且有界。
- 离散拓扑空间中，有限集是紧致的，无限集不是紧致的。
4.2 紧致性的重要性质
定理：紧致空间的闭子集是紧致的。
证明：设 $X$ 紧致，$F \subseteq X$ 是闭集。设 ${U_\alpha \cap F}$ 是 $F$ 的开覆盖（其中 $U_\alpha$ 是 $X$ 的开集）。则 ${U_\alpha} \cup {X \setminus F}$ 是 $X$ 的开覆盖。由 $X$ 的紧致性，存在有限子覆盖。去掉 $X \setminus F$（如果包含在内），得到 $F$ 的有限子覆盖。
定理：紧致集的连续像仍是紧致的。即，若 $f: X \to Y$ 连续，$X$ 紧致，则 $f(X)$ 紧致。
证明：设 ${V_\alpha}$ 是 $f(X)$ 的开覆盖。则 ${f^{-1}(V_\alpha)}$ 是 $X$ 的开覆盖。由 $X$ 紧致，存在有限子覆盖 ${f^{-1}(V_{\alpha_i})}{i=1}^n$。于是 ${V{\alpha_i}}_{i=1}^n$ 覆盖 $f(X)$。
推论：紧致空间上的连续实值函数必达到最大最小值。
这是因为 $f(X) \subseteq \mathbb{R}$ 是紧致的，从而是闭集且有界的，必包含其上确界和下确界。
4.3 连通性
定义（连通性）：拓扑空间 $X$ 称为连通的（connected），如果不能表示为两个非空不相交开集的并。等价地，$X$ 中既开又闭的子集只有 $\emptyset$ 和 $X$ 本身。
例子：
- $[0, 1]$ 是连通的
- $(0, 1) \cup (2, 3)$ 不是连通的
- 有理数集 $\mathbb{Q}$ 作为 $\mathbb{R}$ 的子空间是不连通的（例如，${x \in \mathbb{Q} : x < \sqrt{2}}$ 和 ${x \in \mathbb{Q} : x > \sqrt{2}}$ 将其分离）
定理：连通集的连续像仍是连通的。
证明：设 $f: X \to Y$ 连续，$X$ 连通。若 $f(X) = U \cup V$ 是两个非空不相交开集的并，则 $X = f^{-1}(U) \cup f^{-1}(V)$ 也是两个非空不相交开集的并，矛盾。
推论（介值定理）：设 $f: [a, b] \to \mathbb{R}$ 连续，$f(a) < c < f(b)$，则存在 $\xi \in (a, b)$ 使得 $f(\xi) = c$。
这是因为 $f([a, b])$ 是 $\mathbb{R}$ 中的连通集，从而是区间，必包含 $f(a)$ 和 $f(b)$ 之间的所有值。
4.4 道路连通性
定义（道路连通）：拓扑空间 $X$ 称为道路连通的（path-connected），如果对任意两点 $x, y \in X$，存在连续映射 $\gamma: [0, 1] \to X$ 使得 $\gamma(0) = x$，$\gamma(1) = y$。这样的 $\gamma$ 称为从 $x$ 到 $y$ 的道路（path）。
关系：道路连通 $\Rightarrow$ 连通。但反之不成立。
反例：考虑拓扑学家的正弦曲线
$$ S = {(x, \sin(1/x)) : x \in (0, 1]} \cup {(0, y) : y \in [-1, 1]} $$
$S$ 是连通的，但不是道路连通的——不存在从 $(0, 0)$ 到 $(1, \sin 1)$ 的连续道路。
在微分几何中，我们通常研究的道路连通的开集称为区域（domain）。
4.5 局部紧致与局部连通
定义（局部紧致）：空间 $X$ 在点 $x$ 处局部紧致（locally compact），如果 $x$ 有一个紧邻域。$X$ 称为局部紧致的，如果在每一点都局部紧致。
例子：$\mathbb{R}^n$ 是局部紧致的（每个点有紧闭球作为邻域），但不是紧致的。
定义（局部连通）：空间 $X$ 在点 $x$ 处局部连通（locally connected），如果对 $x$ 的任意邻域 $U$，存在连通的邻域 $V$ 使得 $x \in V \subseteq U$。
这些"局部"性质在微分几何中尤为重要，因为流形本质上是"局部像欧氏空间"的空间。
第五章：流形的拓扑基础
5.1 从曲面到流形的历史演进
19世纪中叶，黎曼为了研究多值复变函数，引入了黎曼面的概念。想象函数 $w = \sqrt{z}$，它在 $z = 0$ 处有一个分支点。为了使其单值化，黎曼将复平面想象成两层叠加的曲面，在分支点处连接起来。
黎曼面的概念启发了数学家们思考更一般的"弯曲空间"。高斯在研究曲面时引入了参数表示：曲面可以局部表示为 $(u, v) \mapsto (x(u, v), y(u, v), z(u, v))$。这意味着曲面在局部看起来像平面——它可以通过坐标映射"摊平"到欧氏空间的开集上。
这个思想在20世纪初被赫尔曼·外尔（Hermann Weyl）推广为流形（manifold）的抽象定义。1913年，外尔在其著作《黎曼面的概念》中首次给出了流形的严格定义。
5.2 拓扑流形的定义
定义（$n$ 维拓扑流形）：一个**$n$ 维拓扑流形**（topological manifold）$M$ 是一个满足以下条件的拓扑空间：
- $M$ 是豪斯多夫空间（Hausdorff）：任意两点有不相交的邻域
- $M$ 是第二可数空间：有可数拓扑基
- $M$ 是局部欧氏的（locally Euclidean）：每一点 $p \in M$ 有邻域 $U$ 同胚于 $\mathbb{R}^n$ 的开子集
条件1保证了极限的唯一性；条件2保证了流形的"大小"可控（不可太大，如离散拓扑那样）；条件3是流形的本质特征——局部看起来像欧氏空间。
5.3 坐标卡与图册
设 $M$ 是 $n$ 维拓扑流形，$p \in M$。根据定义，存在 $p$ 的邻域 $U$ 和同胚映射 $\phi: U \to \phi(U) \subseteq \mathbb{R}^n$。
定义（坐标卡）：二元组 $(U, \phi)$ 称为流形 $M$ 在点 $p$ 处的一个坐标卡（chart 或 coordinate chart）。$U$ 称为坐标邻域，$\phi$ 称为坐标映射。对于 $q \in U$，$\phi(q) = (x^1(q), \ldots, x^n(q)) \in \mathbb{R}^n$ 称为 $q$ 的局部坐标。
例子：单位球面 $S^2 = {(x, y, z) \in \mathbb{R}^3 : x^2 + y^2 + z^2 = 1}$ 是2维流形。
考虑球极投影：从北极 $N = (0, 0, 1)$ 投影到平面 $z = 0$。对于点 $p = (x, y, z) \in S^2 \setminus {N}$，其像为
$$ \phi_N(p) = \left(\frac{x}{1-z}, \frac{y}{1-z}\right) $$
这是从 $S^2 \setminus {N}$ 到 $\mathbb{R}^2$ 的同胚。类似地，从南极的投影给出另一个坐标卡。这两个坐标卡覆盖了整个 $S^2$。
定义（图册）：流形 $M$ 上的图册（atlas）是一族坐标卡 $\mathcal{A} = {(U_\alpha, \phi_\alpha)}{\alpha \in I}$，使得 $\bigcup{\alpha \in I} U_\alpha = M$。
5.4 坐标变换
设 $(U, \phi)$ 和 $(V, \psi)$ 是两个坐标卡，且 $U \cap V \neq \emptyset$。考虑坐标变换（transition map）：
$$ \psi \circ \phi^{-1}: \phi(U \cap V) \to \psi(U \cap V) $$
这是欧氏空间开集之间的映射。
定义：图册 $\mathcal{A}$ 称为**$C^k$ 图册**，如果所有坐标变换都是 $C^k$ 光滑的（$k \geq 0$）。$C^\infty$ 图册称为光滑图册。
例子（莫比乌斯带）：
莫比乌斯带是一个不可定向的2维流形。它可以通过将矩形的一条边扭转 $180^\circ$ 后与对边粘合得到。
在局部，莫比乌斯带与圆柱面（可定向）看起来完全相同——它们都局部同胚于平面。然而，整体拓扑不同：沿莫比乌斯带的中心线走一圈，会回到起始点的"对面"。这导致莫比乌斯带无法一致地定义"方向"，即它是不可定向的。
5.5 微分结构
定义（微分流形）：一个**$C^k$ 流形**（或光滑流形，当 $k = \infty$ 时）是一个拓扑流形 $M$ 连同其上一个极大的 $C^k$ 图册 $\mathcal{A}$。这里的"极大"意味着：若坐标卡 $(U, \phi)$ 与 $\mathcal{A}$ 中所有坐标卡的坐标变换都是 $C^k$ 的，则 $(U, \phi) \in \mathcal{A}$。
微分流形的定义允许我们在流形上进行微积分：因为坐标变换是光滑的，所以在不同坐标卡下定义的光滑性是一致的。
重要例子：
欧氏空间 $\mathbb{R}^n$：由单个坐标卡 $(\mathbb{R}^n, \text{id})$ 构成。
球面 $S^n = {x \in \mathbb{R}^{n+1} : |x| = 1}$：用两个球极投影作为坐标卡，坐标变换是光滑的。
环面 $T^2 = S^1 \times S^1$：可以看作正方形的对边粘合，也可以看作 $\mathbb{R}^2 / \mathbb{Z}^2$（商空间）。
实射影空间 $\mathbb{R}P^n$：$\mathbb{R}^{n+1}$ 中过原点的所有直线的集合。可以覆盖由 $n+1$ 个坐标卡，每个坐标卡对应 $x_i \neq 0$ 的直线。
5.6 切空间与切丛的拓扑构造
在欧氏空间中，向量是"附着"在点上的有向线段。在流形上，我们需要类似的构造——切空间（tangent space）。
定义（切向量）：设 $M$ 是光滑流形，$p \in M$。切向量 $v$ 是一个满足莱布尼茨法则的线性映射 $v: C^\infty(M) \to \mathbb{R}$：
- 线性性：$v(af + bg) = a v(f) + b v(g)$
- 莱布尼茨法则：$v(fg) = f(p) v(g) + g(p) v(f)$
所有切向量构成的线性空间称为 $p$ 点的切空间，记作 $T_p M$。
在局部坐标 $(x^1, \ldots, x^n)$ 下，切空间的基为 ${\frac{\partial}{\partial x^1}, \ldots, \frac{\partial}{\partial x^n}}$，任意切向量可以表示为
$$ v = \sum_{i=1}^n v^i \frac{\partial}{\partial x^i} $$
切丛（tangent bundle）：$TM = \bigsqcup_{p \in M} T_p M = {(p, v) : p \in M, v \in T_p M}$
切丛本身可以赋予拓扑和微分结构，成为一个 $2n$ 维流形。投影映射 $\pi: TM \to M$，$\pi(p, v) = p$ 是光滑的。
第六章：从拓扑到微分几何的桥梁
6.1 为什么微分几何需要拓扑基础
现在我们可以回答引言中提出的问题：为什么学习微分几何必须先掌握拓扑学？
微分几何研究的核心对象是光滑流形——在每一点附近都"像"欧氏空间，但整体可能有复杂拓扑结构的空间。要理解流形，必须首先理解：
局部与整体的关系：拓扑学研究的是空间的整体性质如何由局部性质决定。
坐标无关性：微分几何中的量（如曲率、测地线）应该与坐标选择无关。拓扑学提供了"在坐标变换下不变"这一思想的严格框架。
存在性与唯一性：微分方程在流形上的解的存在性和唯一性常常依赖于流形的拓扑性质（紧致性、连通性等）。
整体定理：许多深刻的微分几何定理（如高斯-博内定理）将局部微分几何量与整体拓扑不变量联系起来。
6.2 高斯-博内定理：拓扑与几何的交融
让我们以一个深刻的定理来结束本文，它完美展示了微分几何与拓扑学的深刻联系。
高斯-博内定理：设 $M$ 是紧致的定向二维黎曼流形，则
$$ \int_M K , dA = 2\pi \chi(M) $$
其中 $K$ 是高斯曲率，$dA$ 是面积元，$\chi(M)$ 是欧拉示性数。
这个等式左边完全是微分几何的：高斯曲率描述了曲面在某一点的弯曲程度，是局部的度量。右边完全是拓扑的：欧拉示性数是空间的拓扑不变量，在连续变形下保持不变。
定理告诉我们：无论曲面如何弯曲变形（只要保持光滑），高斯曲率在曲面上的积分总是 $2\pi$ 的整数倍，这个整数就是欧拉示性数。
特例：
- 球面 $S^2$：$\chi = 2$，所以 $\int K , dA = 4\pi$。这与球面面积 $4\pi R^2$ 和曲率 $1/R^2$ 的乘积一致。
- 环面 $T^2$：$\chi = 0$，所以 $\int K , dA = 0$。这反映了环面可以平坦嵌入 $\mathbb{R}^3$（如甜甜圈的表面），平均曲率为零。
6.3 现代应用：从广义相对论到数据科学
微分几何与拓扑学的结合在现代科学中有着广泛应用：
广义相对论：爱因斯坦将引力解释为时空的弯曲。时空是一个4维洛伦兹流形，其拓扑结构决定了宇宙的全局性质（有限还是无限？有无边界？）。
规范场论：物理学中的杨-米尔斯理论将基本相互作用描述为主丛上的联络。纤维丛的拓扑性质（示性类）与物理可观测量（拓扑荷、瞬子数）直接相关。
拓扑数据分析：在数据科学中，持续同调（persistent homology）利用代数拓扑的工具分析数据的"形状"，揭示隐藏在高维数据中的拓扑特征。
机器学习中的流形假设：许多实际数据集（如图像、文本）虽然嵌入在高维空间中，但实际上位于某个低维流形上。理解这些流形的拓扑结构对于降维和表示学习至关重要。
结语
从欧拉的多面体公式到黎曼的弯曲空间，从豪斯多夫的拓扑公理到外尔的流形概念，数学家在两个多世纪的时间里逐渐建立起一座宏伟的大厦。拓扑学提供了研究空间"本质"的工具，而微分几何则在这些空间上开展微积分和几何分析。
本文系统梳理了学习大学微分几何所需的拓扑学前置知识：
- 拓扑空间：用开集公理统一了各种"邻近"的概念
- 连续性与同胚：定义了拓扑学中的"变换"与"相等"
- 紧致性与连通性：刻画了空间的整体性质
- 流形：局部欧氏、整体可能有复杂拓扑的空间
这些概念不仅是微分几何的基础，也是现代数学和理论物理的共同语言。正如陈省身先生所言：“微分几何与拓扑学是数学中最活跃的两个分支，它们的结合产生了最深刻的定理。”
希望本文能帮助你建立起从拓扑到微分几何的知识桥梁，为你进一步探索黎曼几何、纤维丛、示性类等更深层次的内容打下坚实基础。
推荐阅读：
- Munkres, J. Topology (2nd ed.). Prentice Hall, 2000. （点集拓扑经典教材）
- Lee, J. M. Introduction to Smooth Manifolds (2nd ed.). Springer, 2012. （微分流形标准教材）
- Spivak, M. A Comprehensive Introduction to Differential Geometry (5 volumes). Publish or Perish, 1999. （微分几何百科全书）
- Nash, J. & Sen, S. Topology and Geometry for Physicists. Academic Press, 1983. （物理视角的拓扑几何入门）
学习路径建议：
- 入门阶段：理解拓扑空间的定义，熟悉常见例子（离散拓扑、度量拓扑、子空间拓扑）
- 进阶阶段：掌握连续性、同胚、紧致性、连通性的核心定理
- 过渡阶段：学习商空间、粘贴引理，理解常见流形的构造
- 深入阶段：阅读流形的严格定义，理解坐标变换和微分结构
愿你在拓扑与几何的数学世界中找到属于自己的精彩发现。