微分几何（六）：光滑流形 —— 超越嵌入曲面的几何

广义相对论说，宇宙是一个四维时空，物质的存在让时空弯曲，物体的运动其实是沿着弯曲时空的"直线"——测地线。这个图像很美，但我第一次听说时有一个简单的问题没人回答：

这个四维时空，是嵌在哪个更大的空间里弯曲的？

直觉上，“弯曲"总得有个参照——一张纸在三维空间里弯成圆筒，圆筒之所以"弯"是因为它和周围的三维空间比起来不平。同样，二维曲面是因为坐在 $\mathbb{R}^3$ 里才能讨论"弯”。那四维时空坐在哪里？五维空间吗？十维？

答案让我意外：哪都不坐。四维时空不嵌入任何更大的空间。它就是个四维的对象，“弯曲"完全由它内部的度量描述，外面什么都没有。物理学就建立在这个数学结构上。

这听起来像在玩文字游戏——“弯曲但没有外面的空间作为参照”——但前面五章其实已经为这件事做足了准备。Theorema Egregium（第四章）告诉我们：高斯曲率是内蕴的，根本不需要外面的空间也能算出来。那一章里我们让一只蚂蚁走在曲面上，蚂蚁不知道曲面是怎么嵌在 $\mathbb{R}^3$ 里的，但它可以测量距离、算 Christoffel 符号、做平行移动、最后报告 Gauss 曲率。整个故事自洽，环境空间从未出现。

这一章我们做的就是把这件事推到底：彻底放弃环境空间，定义"光滑流形”——一种只在局部上像 $\mathbb{R}^n$ 、但全局可以是任意拓扑形状、不必嵌入任何东西的几何对象。代价是要先付一些抽象的入场费（图、图册、过渡映射、光滑兼容性、Hausdorff 性质、第二可数公理），看起来很学究——但回报是巨大的：

• 二维曲面是 2-流形，三维空间是 3-流形，时空是 4-流形——同一个框架；
• 矩阵群（如旋转群 $SO(3)$ 、洛伦兹群 $SO(3,1)$ ）是流形——李群理论的入口；
• 偏微分方程的解集、参数空间、相空间，几乎所有几何上自然的对象都是流形；
• 内蕴几何（Christoffel、测地线、曲率）从二维曲面无缝推到任意维。

这就是"前期投资换长期回报"。这一章的语气会比前几章更代数、更小心——很多语句会带 epsilon-delta 风味的精确性。但请耐心：一旦把流形的定义吃透，后面六章的所有抽象（向量场、微分形式、Stokes 定理、Riemann 度量、纤维丛）都是在这个框架里做的，而且它们之间会衔接得非常自然。

一个具体的小指引：每当看到"流形"这个词觉得抽象时，把它替换成"曲面在更高维的版本"，往往就够用。前五章建立的二维直觉，绝大部分都能往上爬。

图表、地图集和平滑流形的定义#

流形背后的直觉是：在任何一点附近，空间看起来与 $\mathbb{R}^n$ 的一块区域没有区别。从地面上看，地球表面似乎是平的——这就是局部欧几里得性质。但整体上它会弯曲，没有边界，并且是紧致的。流形就是捕捉这种特性的数学框架：局部欧几里得，整体可能复杂。

拓扑 $n$ 维流形 是一个满足三个条件的拓扑空间 $M$ ：(1) 豪斯多夫 —— 任意两个不同的点有不相交的邻域；(2) 第二可数 —— 拓扑有一个可数基；(3) 局部欧几里得维度为 $n$ —— 每个点 $p \in M$ 都有一个开邻域 $U$ 同胚于 $\mathbb{R}^n$ 的一个开子集。一对 $(U, \varphi)$ ，其中 $\varphi: U \to V \subseteq \mathbb{R}^n$ 是同胚映射，称为坐标图表。映射 $\varphi$ 为 $U$ 中的每个点分配 $n$ 个实坐标。

单个图表很少能覆盖整个流形。球面 $S^2$ 是经典例子：它是紧致的，但任何图表都映射到 $\mathbb{R}^2$ 的一个开子集（这不可能是紧致的），所以单个图表不够用。需要多个图表，它们的定义域覆盖 $M$ 。当两个图表 $(U_\alpha, \varphi_\alpha)$ 和 $(U_\beta, \varphi_\beta)$ 重叠时，过渡映射 $\varphi_\beta \circ \varphi_\alpha^{-1}: \varphi_\alpha(U_\alpha \cap U_\beta) \to \varphi_\beta(U_\alpha \cap U_\beta)$ 在重叠部分的两种坐标描述之间转换。这是一个从 $\mathbb{R}^n$ 的一个开子集到另一个开子集的映射——这是多元微积分中的常见对象——可以讨论它的可微性。

光滑地图集 是一组图表 $\{(U_\alpha, \varphi_\alpha)\}$ 覆盖 $M$ ，使得所有过渡映射都是 $C^\infty$ （无限次可微）。光滑结构 是最大光滑地图集——包含所有与给定图表光滑兼容的图表。光滑流形 是配备了光滑结构的拓扑流形。

两个技术条件（豪斯多夫和第二可数）排除了病态空间，同时保留了所有几何上自然的例子。如果没有豪斯多夫条件：“两条原点线”（两个 $\mathbb{R}$ 的副本除了 $0$ 以外的所有点都相同）是局部欧几里得的，但不是流形——它有两个“版本”的零点，不能通过邻域分开。如果没有第二可数条件：“长线”（一个不可数的良序单位区间序列）是豪斯多夫和局部欧几里得的，但太大而无用——它不能嵌入任何 $\mathbb{R}^N$ 。这两个条件对于存在单位分解（我们很快需要的技术工具）是必要的。

这个定义准确地捕捉了在 $M$ 上进行微积分所需的内容。函数 $f: M \to \mathbb{R}$ 是光滑的，如果对每个图表 $\varphi$ ，$f \circ \varphi^{-1}: V \to \mathbb{R}$ 是光滑的（作为 $\mathbb{R}^n$ 的一个开子集上的普通函数）。过渡映射的光滑兼容性保证了这一点是良好定义的：如果 $f \circ \varphi_\alpha^{-1}$ 是光滑的，且过渡映射 $\varphi_\beta \circ \varphi_\alpha^{-1}$ 是光滑的，那么 $f \circ \varphi_\beta^{-1} = (f \circ \varphi_\alpha^{-1}) \circ (\varphi_\alpha \circ \varphi_\beta^{-1})$ 也是光滑的。没有哪个图表是特权的；光滑性是一个独立于图表的概念。

具体例子：取 $S^2$ 从北极点的立体投影 $\varphi_N(p_1, p_2, p_3) = (p_1/(1-p_3), p_2/(1-p_3))$ 和从南极点的立体投影 $\varphi_S(p_1, p_2, p_3) = (p_1/(1+p_3), p_2/(1+p_3))$ 。重叠部分 $S^2 \setminus \{N, S\}$ 上的过渡映射是反演 $(u, v) \mapsto (u, v)/(u^2 + v^2)$ ，在 $\mathbb{R}^2 \setminus \{0\}$ 上是光滑的。两个图表，一个过渡映射。球面是一个光滑的二维流形。

具体例子让抽象概念落地#

$\mathbb{R}^n$ 及其开子集：恒等映射给出一个全局坐标图。开子集继承了光滑结构。例如，$\mathrm{GL}(n, \mathbb{R}) = \{A \in M_n(\mathbb{R}) : \det A \neq 0\}$ 是 $\mathbb{R}^{n^2}$ 的一个开子集（因为 $\det$ 是连续的，$\mathrm{GL}(n)$ 是 $\mathbb{R} \setminus \{0\}$ 的原像），因此是一个 $n^2$ 维的光滑流形。可逆矩阵的空间是一个流形——这是李群理论的起点。

球面 $S^n$ ：如上所述，两个立体投影坐标图就足够了。更一般地，$n$ 维球面定义为 $\{x \in \mathbb{R}^{n+1} : |x|^2 = 1\}$ ，它可以通过立体投影坐标图或正则值定理获得光滑结构（见下文）。它是紧致的、可定向的，并且在 $n \geq 2$ 时是单连通的。

环面 $T^n = \mathbb{R}^n / \mathbb{Z}^n$ ：将相差整数向量的点视为同一。坐标图是 $\mathbb{R}^n$ 中的小开立方体（小于周期），投影到商空间。过渡映射是平移（显然光滑）。二维环面是一个紧致可定向曲面，亏格为 1，欧拉示性数为 0。

实射影空间 $\mathbb{RP}^n$ ：$\mathbb{R}^{n+1}$ 中通过原点的直线集合，等价于将 $S^n$ 上的对径点识别。坐标图：当 $x_i \neq 0$ 时，使用 $x_j/x_i$ ($j \neq i$ ) 作为坐标。过渡映射是有理函数（在其定义域内光滑）。$\mathbb{RP}^n$ 是紧致的；当 $n$ 为偶数时不可定向，当 $n$ 为奇数时可定向。

李群：李群是一个既是群又是光滑流形的 $G$ ，具有光滑的乘法 $G \times G \to G$ 和光滑的逆元 $G \to G$ 。典型例子包括：$\mathrm{GL}(n, \mathbb{R})$ （维度 $n^2$ ），$\mathrm{O}(n)$ （维度 $n(n-1)/2$ ，正交矩阵），$\mathrm{SO}(n)$ （$\mathrm{O}(n)$ 中包含单位元的连通分支），$\mathrm{U}(n)$ （维度 $n^2$ ，酉矩阵），$\mathrm{SU}(n)$ （维度 $n^2 - 1$ ）。旋转群 $\mathrm{SO}(3)$ 是一个三维流形，与 $\mathbb{RP}^3$ 微分同胚。标准模型中的规范群是 $\mathrm{U}(1) \times \mathrm{SU}(2) \times \mathrm{SU}(3)$ ，一个十二维流形。

构型和相空间：三维刚体的构型空间是 $\mathbb{R}^3 \times \mathrm{SO}(3)$ （质心位置和方向），一个六维流形。$n$ 个粒子系统的相空间是 $T^*(\mathbb{R}^{3n}) \cong \mathbb{R}^{6n}$ ，一个 $6n$ 维流形。经典力学在这个空间上进行，哈密顿力学需要这些空间的流形结构（特别是相空间上的辛结构）。

Grassmann 流形和模空间：Grassmann 流形 $\mathrm{Gr}(k, n)$ —— $\mathbb{R}^n$ 中所有 $k$ 维子空间的集合 —— 是一个 $k(n-k)$ 维的光滑流形。当 $k = 1$ 时，它是射影空间 $\mathbb{RP}^{n-1}$ 。Grassmann 流形在优化（低秩矩阵逼近）、控制理论（作为状态空间）和代数几何（作为线性子空间的参数空间）中出现。它是一个具有丰富几何结构的紧致流形。

模空间——几何对象的参数空间——是现代数学中最重要的流形之一。曲面上的平坦联络模空间、亏格为 $g$ 的 Riemann 曲面的模空间、四维流形上的瞬子模空间：这些都是光滑流形（或如果对称性导致奇点，则是轨道流形），它们的几何结构编码了所参数化对象的深刻信息。Donaldson 在 1983 年关于四维流形的革命性工作从瞬子模空间的几何结构中提取了拓扑不变量。Witten 的拓扑量子场论用物理语言重新解释了这些不变量。

曲面作为二维流形：前几章中的每个正则曲面 $S \subset \mathbb{R}^3$ 都是一个光滑二维流形（参数化补丁是坐标图，重叠映射是光滑的）。但现在也可以考虑不嵌入 $\mathbb{R}^3$ 的抽象二维流形：带有平坦度量的平面环面 $\mathbb{R}^2/\mathbb{Z}^2$ （它没有光滑等距嵌入 $\mathbb{R}^3$ ，只有 Nash-Kuiper 定理下的 $C^1$ 嵌入），或者通过非常规识别多边形构造的奇异曲面。

再举一个启发性的例子：Klein 瓶。取一个正方形 $[0,1]^2$ ，将顶边与底边（同方向）以及左边与右边（反方向）识别。结果得到一个紧致的二维流形，不可定向——它没有一致的“内”或“外”。它不能在 $\mathbb{R}^3$ 中无自交地嵌入，但仍然是一个定义良好的光滑二维流形（坐标图是基本正方形的小块，边界处的过渡映射包括反射）。它的欧拉示性数是 $\chi = 0$ ，根据 Gauss-Bonnet 定理，它允许平坦度量。Klein 瓶作为一个抽象流形存在，即使我们无法在三维空间中无交叉地看到它。这说明了抽象框架的力量：难以嵌入的几何对象可以用与球面和环面相同的方法研究，只要接受坐标图和坐标图册作为基本语言。

切向量作为导数#

切空间在嵌入曲面上有非常具体的图像——就是 $\mathbb{R}^3$ 里通过 $p$ 的那个切平面。但在抽象流形上没有’外面的空间’，切空间的定义就棘手起来。三种主流定义：(1) 用过 $p$ 的曲线的等价类——两条曲线相切如果它们在某个坐标图下导数相等；(2) 用 $p$ 处的导子（满足 Leibniz 法则的线性算子 $D: C^\infty \to \mathbb{R}$ ）；(3) 用坐标分量的等价类——两组分量相同如果它们之间差一个雅可比矩阵。三个定义等价但侧重不同：曲线版本最直观，导子版本最便于代数操作，分量版本最便于实际计算。哪个用得上就用哪个。

在 $\mathbb{R}^3$ 中的曲面上，点 $p$ 处的切向量是通过 $p$ 的某条曲线的速度向量 $\gamma'(0)$ 。它存在于外部空间 $\mathbb{R}^3$ 中，并且恰好与曲面相切。对于没有外部空间的抽象流形，我们需要一个纯粹内在的定义。

关键在于：点 $p$ 夅的切向量完全由其作为方向导数的作用来刻画。给定任意光滑函数 $f: M \to \mathbb{R}$ ，切向量 $v$ 在 $p$ 点产生一个实数 $v(f) \in \mathbb{R}$ —— 这是 $f$ 在方向 $v$ 上的变化率。这个数对 $f$ 是线性的，并且满足莱布尼茨（乘积）法则：$v(fg) = f(p)v(g) + g(p)v(f)$ 。

我定义点 $p$ 处的切向量为一个线性映射 $v: C^\infty(M) \to \mathbb{R}$ ，满足莱布尼茨法则。这样的映射称为 $p$ 点处的导数。所有在 $p$ 点处的导数组成一个实向量空间，即 切空间 $T_pM$ 。

在一个坐标系 $(U, \varphi)$ 中，坐标为 $(x^1, \ldots, x^n)$ 时，偏导数算子 $\partial/\partial x^i|_p$ 由 $(\partial/\partial x^i|_p)(f) = \partial(f \circ \varphi^{-1})/\partial x^i|_{\varphi(p)}$ 定义，它们是 $p$ 点处的导数。它们构成了 $T_pM$ 的一组基（可以严格证明这一点），因此 $\dim T_pM = n$ 。每个切向量 $v$ 都有唯一的展开形式 $v = \sum_i v^i \,\partial/\partial x^i|_p$ ，其中系数 $v^i$ 是实数。

在坐标变换 $x \mapsto \tilde{x}$ 下，分量按雅可比矩阵变换：$\tilde{v}^j = \sum_i (\partial\tilde{x}^j/\partial x^i) v^i$ 。这是经典的“逆变向量”变换律。导数定义将其内在化：你不需要显式写出雅可比矩阵；它会从链式法则中自然出现，当你在不同坐标系中计算 $v(f)$ 时。

与“曲线速度”图景的等价性：给定一条光滑曲线 $\gamma: (-\varepsilon, \varepsilon) \to M$ 使得 $\gamma(0) = p$ ，定义 $v_\gamma(f) = (f \circ \gamma)'(0)$ 。这是一个在 $p$ 点处的导数（线性显然成立；莱布尼茨法则从实函数的乘积法则得出）。两条曲线给出相同的导数当且仅当它们在任何坐标系中有相同的坐标速度。因此，切向量是曲线的等价类，或导数，或按雅可比矩阵变换的 $n$ 维向量——三种等价的观点，根据上下文互换使用。

为什么导数方法在抽象流形中更胜一筹：它只需要光滑结构。不需要外部空间，不需要在 $\mathbb{R}^3$ 中的曲线，也不需要嵌入。只需要光滑函数及其方向导数。整个切空间仅从代数 $C^\infty(M)$ 构建。

一个具体的例子来说明这一点。在 $S^2$ 上用立体投影坐标 $(u, v)$ ，考虑点 $p = \varphi_N^{-1}(1, 0)$ （球面上的一个特定点）处的导数 $v = 3\,\partial/\partial u|_p + 2\,\partial/\partial v|_p$ 。对于函数 $f(p_1, p_2, p_3) = p_1^2 + p_2^2$ （到 $z$ 轴的平方距离），我们有 $f \circ \varphi_N^{-1}(u,v) = 4(u^2 + v^2)/(1 + u^2 + v^2)^2$ 。计算 $v(f) = 3\,\partial_u(f \circ \varphi_N^{-1})|_{(1,0)} + 2\,\partial_v(f \circ \varphi_N^{-1})|_{(1,0)}$ 得到一个具体的实数——$f$ 在方向 $v$ 上的方向导数。这个答案是内蕴于球面的：它不依赖于球面如何嵌入 $\mathbb{R}^3$ ，只依赖于光滑结构。

这种形式化的美妙之处在于，它同样适用于 100 维流形，那里无法进行几何可视化。你选择一个坐标系，写下坐标偏导数，将你的切向量表示为线性组合，然后计算。抽象定义保证了结果是有意义的（独立于坐标系），而不需要任何外部空间来“存在”。

光滑映射、微分和子流形#

如果 $F: M \to N$ 是两个流形之间的光滑映射，那么 $F$ 在点 $p$ 处的微分（或前推）是线性映射 $dF_p: T_pM \to T_{F(p)}N$ 。定义为 $(dF_p(v))(g) = v(g \circ F)$ ，对所有 $g \in C^\infty(N)$ 成立。在坐标系中：$dF_p$ 由雅可比矩阵 $(\partial F^j/\partial x^i)$ 表示，这与多元微积分中的情况完全一致。

微分捕捉了 $F$ 的“无穷小”行为：$p$ 点处的切向量（无穷小位移）线性地映射到 $F(p)$ 点处的切向量。它是流形上的全导数的类比。链式法则成立：$d(G \circ F)_p = dG_{F(p)} \circ dF_p$ 。恒等映射的微分是切空间上的恒等映射。

根据 $dF_p$ 的秩，有三类重要的光滑映射：

• 浸入：$dF_p$ 在每个 $p$ 点都是单射。映射不压缩任何切方向。例如，平面上的八字曲线是一个 $S^1$ 的浸入（但不是嵌入，因为它自交）。当 $\mathbf{x}_u \times \mathbf{x}_v \neq 0$ 时，曲面片 $\mathbf{x}: U \subset \mathbb{R}^2 \to \mathbb{R}^3$ 是一个浸入。
• 淹没：$dF_p$ 在每个 $p$ 点都是满射。映射“覆盖目标空间的所有方向”。例如，$\mathbb{R}^3$ 上的高度函数 $f(x,y,z) = z$ 是一个淹没（它的导数 $(0,0,1)$ 总是满射到 $\mathbb{R}$ ）。
• 微分同胚：$F$ 是双射且 $F$ 和 $F^{-1}$ 都是光滑的。那么 $dF_p$ 在每一点上都是同构。微分同胚的流形是“相同的”光滑流形。

正则值定理（隐函数定理的一个推论，也是微分拓扑中的重要工具之一）：如果 $c \in N$ 是 $F: M \to N$ 的正则值（即对于每个 $p \in F^{-1}(c)$ ，$dF_p$ 是满射），那么 $F^{-1}(c)$ 是 $M$ 中的一个光滑子流形，维数为 $\dim M - \dim N$ 。

大多数流形在实际中就是这样产生的。球面：$S^n = f^{-1}(1)$ ，其中 $f: \mathbb{R}^{n+1} \to \mathbb{R}$ ，$f(x) = |x|^2$ 。因为当 $x \neq 0$ 时 $df_x = 2x^T \neq 0$ ，并且 $S^n$ 上的所有点都有 $|x| = 1 \neq 0$ ，所以值 1 是正则值，因此 $S^n$ 是一个 $n$ 维光滑流形。正交群：$\mathrm{O}(n) = F^{-1}(I)$ ，其中 $F(A) = A^TA: M_n(\mathbb{R}) \to \mathrm{Sym}_n(\mathbb{R})$ 。可以验证 $I$ 是正则值，从而 $\dim \mathrm{O}(n) = n^2 - n(n+1)/2 = n(n-1)/2$ 。特殊线性群：$\mathrm{SL}(n, \mathbb{R}) = \det^{-1}(1)$ ，其维数为 $n^2 - 1$ （行列式在每个可逆矩阵处都是淹没）。所有这些都通过正则值定理自然产生——不需要显式的图。

Sard 定理补充说：临界值集（$dF$ 不是满射的地方）在 $N$ 中的 Lebesgue 测度为零。因此，“几乎所有”值都是正则值，水平集“通常”是光滑子流形。这是微分拓扑背后的隐藏引擎：横截行为是普遍的；病态情况需要特别安排，在测度上是可以忽略的。

切丛、向量场和流#

把所有切空间组合成一个对象：切丛 $TM = \bigsqcup_{p \in M} T_pM$ 。$TM$ 中的一个点是一对 $(p, v)$ ，其中 $p \in M$ 且 $v \in T_pM$ 。切丛本身是一个 $2n$ 维的光滑流形：在 $M$ 上的一个坐标卡 $(U, \varphi = (x^1, \ldots, x^n))$ 中，$TU$ 的坐标是 $(x^1, \ldots, x^n, v^1, \ldots, v^n)$ ，其中 $v = \sum v^i\partial/\partial x^i$ 。

投影 $\pi: TM \to M$ ，$\pi(p, v) = p$ ，使得 $TM$ 成为一个 秩为 $n$ 的向量丛 —— 纤维 $\pi^{-1}(p) = T_pM$ 是随 $p$ 平滑变化的向量空间。

$M$ 上的 向量场 是 $\pi$ 的一个光滑截面：一个光滑映射 $X: M \to TM$ 满足 $\pi \circ X = \mathrm{id}_M$ 。它给每个点 $p$ 分配一个切向量 $X(p) \in T_pM$ ，并且平滑变化。在坐标中：$X = \sum_i X^i(x)\,\partial/\partial x^i$ ，其中 $X^i$ 是光滑函数。

向量场生成 流。$X$ 通过 $p$ 的积分曲线是 ODE $\gamma'(t) = X(\gamma(t))$ 的解 $\gamma(t)$ ，满足 $\gamma(0) = p$ 。根据 ODE 的存在性和唯一性，这样的曲线至少局部存在。流 $\phi_t: M \to M$ 将每个点沿积分曲线移动到时间 $t$ 的位置。对于小的 $t$ ，$\phi_t$ 是一个微分同胚，并且 $\phi_{t+s} = \phi_t \circ \phi_s$ （这是一个单参数微分同胚群）。向量场是流形对称性的无穷小生成元。

两个向量场的 李括号 $[X, Y]$ 衡量它们的流不交换的程度：$[X, Y](f) = X(Y(f)) - Y(X(f))$ 。在坐标中：$[X, Y]^k = \sum_i(X^i\partial_i Y^k - Y^i\partial_i X^k)$ 。所有光滑向量场 $\mathfrak{X}(M)$ 与李括号构成一个无限维李代数 —— 这个代数结构编码了流形的“无穷小变换”。

对于李群，左不变向量场（在左乘下不变）形成一个有限维李子代数 $\mathfrak{g}$ ，即 $G$ 的李代数。这线性化了群结构：$G$ 的非线性乘法法则在一阶上被 $\mathfrak{g}$ 上的线性李括号捕捉。$\mathrm{SO}(3)$ 的李代数是 $3 \times 3$ 反对称矩阵的空间，带有换位子括号 —— 这是经典力学中的角速度代数。

一个具体的例子来具体化抽象概念：考虑 $\mathbb{R}^2$ 上的向量场 $X = -y\,\partial/\partial x + x\,\partial/\partial y$ 。它的积分曲线解 $\dot x = -y$ ，$\dot y = x$ ，给出圆：$\gamma(t) = (r\cos(t + \theta_0), r\sin(t + \theta_0))$ 。流是 $\phi_t(x,y) = (x\cos t - y\sin t, x\sin t + y\cos t)$ —— 旋转角度 $t$ 。因此，向量场 $X$ 生成平面的一参数旋转群。这是“向量场作为无穷小对称”的典型例子。

在 $S^2$ 上，考虑生成关于三个坐标轴旋转的向量场：$X_1$ ，$X_2$ ，$X_3$ 。它们的李括号满足 $[X_1, X_2] = X_3$ ，$[X_2, X_3] = X_1$ ，$[X_3, X_1] = X_2$ —— 这是 $\mathfrak{so}(3)$ 的换位关系。这些向量场的流是球体关于相应轴的旋转。李括号的非交换性（$[X_1, X_2] \neq 0$ ）反映了旋转的非交换性：先绕 $x$ 轴旋转再绕 $y$ 轴旋转的结果与先绕 $y$ 轴旋转再绕 $x$ 轴旋转不同。李括号在无穷小层面上捕捉这种非交换性。

单位分解与全局构造#

单位分解是一种抽象技术，让流形框架变得实用。

给定 $M$ 的一个开覆盖 $\{U_\alpha\}$ ，从属于这个覆盖的单位分解 是一组光滑函数 $\rho_\alpha: M \to [0, 1]$ ，满足以下条件：$\rho_\alpha$ 的支集位于 $U_\alpha$ 内；这组函数局部有限（每个点都有一个邻域，只与有限多个支集相交）；并且对所有 $p \in M$ ，有 $\sum_\alpha \rho_\alpha(p) = 1$ 。

可以证明，在任何光滑流形（Hausdorff 和第二可数）上，对于任何开覆盖都存在单位分解。

为什么这很重要：单位分解是将局部构造转化为全局构造的粘合剂。最重要的应用是：

每个光滑流形都允许一个黎曼度量。证明如下：在每个坐标卡 $U_\alpha$ 中，定义平坦度量 $g_\alpha = \delta_{ij}\,dx^i\,dx^j$ （这些坐标下的切向量的标准欧几里得内积）。使用单位分解来组合：$g = \sum_\alpha \rho_\alpha \,g_\alpha$ 。这是一个在每个切空间上的光滑、对称、正定双线性形式（正定性在非负权重和为 1 的凸组合下保持）。因此，$g$ 是整个 $M$ 上的一个黎曼度量。

这意味着第 2-5 章中的所有工具——距离、测地线、Christoffel 符号、曲率、Gauss-Bonnet 定理——都可以在任何光滑流形上使用，只要我们选择一个度量。流形提供了光滑结构；度量提供了几何结构。两者在逻辑上是独立的：同一个流形可以接受许多不同的度量，几何结构会随着度量的选择而变化。

单位分解的其他应用包括：构造光滑的凸函数（在闭集上为 1，在某个邻域外为 0），将子流形上的光滑函数扩展到整个流形，定义非紧流形上的积分，以及证明每个流形都允许用预紧坐标域进行可数覆盖。

一个相关的存在性结果是 Nash 嵌入定理（1956 年）。虽然每个流形都允许某种光滑嵌入到欧几里得空间中（Whitney），但 Nash 证明了更难的结果：每个黎曼流形（带有选定度量的流形）都允许等距嵌入——即保持度量的嵌入——到足够高维的欧几里得空间中。所需的维度远大于 Whitney 的 $2n+1$ （Nash 需要大约 $n^2$ 维度来进行光滑等距嵌入）。Nash 定理是一个技术上的杰作，通过一个困难的隐函数定理证明，它表明抽象的黎曼流形总是可以实现为高维平直空间中的“表面”。但由于嵌入维度非常大，实际应用中很少有用——抽象框架在做几何时更为自然。

余切丛 $T^*M = \bigsqcup_p T_p^*M$ （切丛的对偶）也将发挥重要作用。$T^*M$ 中的一个点是 $(p, \omega)$ ，其中 $\omega: T_pM \to \mathbb{R}$ 是一个线性泛函。$T^*M$ 的截面是一次形式——向量场的对偶对象。在坐标系中，一次形式看起来像 $\omega = \sum_i \omega_i(x)\,dx^i$ ，其中 $dx^i$ 对偶于 $\partial/\partial x^i$ 。余切丛携带一个自然的辛结构（第 9 章及以后），它是 Hamilton 力学的自然相空间：位置生活在 $M$ 中，动量生活在 $T^*_pM$ 中。

惠特尼嵌入定理与抽象哲学#

一个令人安心的基础结果：抽象框架不会产生过于奇异以至于无法可视化的空间。

核心结论是：每个光滑 $n$ 维流形可以光滑地嵌入到 $\mathbb{R}^{2n+1}$ 中（并浸入到 $\mathbb{R}^{2n}$ 中）。

这意味着每个抽象流形都可以实现为欧几里得空间的一个子集。但嵌入不是结构的一部分，它只是方便，不是必需。不同的嵌入会产生不同的外在几何（不同的法向量，不同的形状算子），但内在几何保持不变。Theorema Egregium 已经教会我们这个教训，流形框架使其系统化。

按维度分类流形：

• 每个连通的一维流形微分同胚于 $\mathbb{R}$ （非紧致）或 $S^1$ （紧致）。很简单。
• 闭合可定向曲面按亏格分类，而闭合不可定向曲面则按另一个不变量分类。完整且经典。
• 佩雷尔曼在 2003 年证明了瑟斯顿的几何化猜想，通过八种模型几何给出了完整的分类。每个闭合三维流形分解成若干部分，每部分携带八种几何结构之一。
• 四维流形丰富而神秘。存在 $\mathbb{R}^4$ 的奇异光滑结构（唐纳森和弗里德曼，1982-83年）——不可数多个！光滑的四维庞加莱猜想仍然未解决。四维是最难的。维度。
• 五维及以上的流形反而更易于处理。手术理论和 h-协边定理（斯梅尔，1961年）提供了系统的分类工具。高维庞加莱猜想已经得到证明。

四维的神秘值得特别一提。在其他任何维度中，$\mathbb{R}^n$ 只有一种光滑结构（在微分同胚的意义上）。但 $\mathbb{R}^4$ 有不可数多种不同的光滑结构——“奇异的 $\mathbb{R}^4$ ”它们与标准 $\mathbb{R}^4$ 同胚但不微分同胚。这意味着存在 $\mathbb{R}^4$ 上的坐标变换，这些变换连续但不能变得光滑——这种现象在其他任何维度中都不会发生。证明使用了规范理论（唐纳森关于瞬子的工作）和弗里德曼对四维流形的拓扑分类。四维是唯一一个拓扑足够丰富以支持奇异光滑结构且维度低到手术理论不适用的维度。

哲学上的启示：光滑流形概念是超越嵌入曲面的几何学的正确框架。它处理任意维度、任意拓扑以及任意应用（物理、数据科学、约束面上的优化）时都能统一处理。前期在公理上的投资会带来永久的回报。

最后谈谈抽象与具体之间的关系。流形上的每个计算最终都在一个图中进行——在坐标下，计算看起来像普通的多元微积分。流形框架并没有消除坐标计算；它提供了一个干净的答案来回答“这些计算意味着什么？”当你用球坐标计算球面上的克里斯托费尔符号时，你是在在一个特定图中进行计算。流形告诉你：只要结果在图变换下正确变化，就有几何意义。光滑结构正是保证这种变换行为的关键。经过足够的练习，形式主义会变得透明——你会直接思考几何，图表只是计算的便利工具而不是概念上的拐杖。

一个具体的例子来巩固这一点：考虑函数 $f: S^2 \to \mathbb{R}$ 由 $f(p) = p_3$ 给出（高度函数——点的 $z$ 坐标）。在北极点的立体投影图中，$f \circ \varphi_N^{-1}(u,v) = (u^2 + v^2 - 1)/(u^2 + v^2 + 1)$ 。偏导数是 $\partial_u f = 4u/(u^2 + v^2 + 1)^2$ 和 $\partial_v f = 4v/(u^2 + v^2 + 1)^2$ 。在原点（对应南极点，其中 $f = -1$ ），两个偏导数都消失：南极点是 $f$ 的临界点（具体来说，是一个最小值）。当 $u^2 + v^2 \to \infty$ （接近北极点）时，$f \to 1$ ：北极点是一个最大值。在这两点之间没有其他临界点——$f$ 是一个莫尔斯函数，恰好有两个临界点。这是 $S^2$ 上函数的最小可能临界点数量，由欧拉示性数强制：$\chi(S^2) = 2 = (\text{极大值数量}) - (\text{鞍点数量}) + (\text{极小值数量}) = 1 - 0 + 1$ 。

这将光滑流形框架与前一章的高斯-博内定理联系起来：欧拉示性数，在那里通过 $\int K\,dA / (2\pi)$ 计算，也约束了流形上函数的临界点结构（莫尔斯理论）。同一个拓扑不变量既控制曲率又控制函数行为——两者反映了相同的底层拓扑。

接下来的内容#

这一章把"几何对象"从 $\mathbb{R}^3$ 里彻底拽了出来。流形是一个抽象的拓扑空间，靠局部坐标图（与 $\mathbb{R}^n$ 的同胚）和坐标变换的光滑性来定义"光滑结构"——其余一切（切空间、光滑映射、微分、子流形）都是从这个基础上推出来的。切向量不再是 $\mathbb{R}^3$ 里的箭头，而是作用在光滑函数上的导数算子；切丛 $TM$ 把所有点的切空间打包成一个新的流形；光滑映射的微分 $df_p: T_pM \to T_{f(p)}N$ 把"求导"这件事干净地搬到了流形上。

下一章引入向量场和流——流形理论的动力学部分。一个向量场就是切丛 $TM$ 的一个截面：每点选一个切向量，光滑地依赖于点。物理上想象成一个流场（风、流体、相空间里的速度），数学上是一个一阶 ODE 在流形上的全局表述。沿着这个 ODE 走，得到积分曲线；把所有起点的积分曲线打包，得到流 $\phi_t: M \to M$ ，这是一个由实数 $t$ 参数化的微分同胚族。

故事不止于此。两个向量场 $X, Y$ 的流通常不交换——先沿 $X$ 走 $\epsilon$ 再沿 $Y$ 走 $\epsilon$ ，跟反过来走，落点会差一个二阶项。这个差距由李括号 $[X, Y]$ 量化，它是切向量场代数上的运算，也是李群理论的代数核心。Frobenius 定理把这件事推到极致：一个分布（每点选切空间的一个子空间）局部能否积分成子流形，等价于这个分布在李括号下封闭。代数条件直接刻画了几何可积性——这是基础微分几何里最深的定理之一。

之后几章会一步一步把所有经典工具搬到抽象流形上：微分形式（DG-08）、积分与 Stokes 定理（DG-09）、Riemann 度量与测地线（DG-10）、Riemann 曲率张量（DG-11），最后是纤维丛与规范理论（DG-12）。从这一章开始，“曲面在哪里"这件事彻底退场，剩下的全是流形自己的内蕴几何。

这是《微分几何》系列（共12篇文章）的第6部分。