微分几何（九）：流形上的积分与斯托克斯定理

大学一年级数学课的最后一次作业里有这么一道题：证明一维微积分基本定理 $\int_a^b f'(x)\,dx = f(b) - f(a)$ 。当时我觉得这个公式平淡无奇，左边是导数的积分，右边是函数在端点的差，证明也不过是对 $f$ 用一次中值定理。

到了后面学多元微积分，事情变得有点神秘起来。Green 定理：平面闭曲线包围的区域上的某个偏导组合的积分等于沿边界曲线的线积分。Stokes 定理：曲面上一个旋度的通量等于沿边界曲线的环量。散度定理：体积内散度的体积分等于穿过边界曲面的通量。每一个都被单独证明，每一个都长得有点像、又有点不像基本定理。

读法：把"对内部做导数再积分"换成"在边界上直接积分"，结果一样。一维基本定理是 0-形式 $f$ 在 1 维区间上的版本（$d\omega$ 是 1-形式 $f'\,dx$ ，$\partial M$ 是两点 $\{a, b\}$ 带符号）；Green 定理是 1-形式在 2 维区域上的版本；经典 Stokes 是 1-形式在 2 维曲面上的版本（与 Green 的区别只是嵌入维度）；散度定理是 2-形式在 3 维体积上的版本。一个公式打通四个定理。

为什么这件事重要？两个原因。第一，简洁。一个公式比四个公式好记，更别说推广到 $n$ 维（这个统一公式无缝处理任意维度）。第二，深度。Stokes 定理是 de Rham 上同调和奇异同调之间配对的来源（积分把闭形式 $\omega$ 和闭链 $C$ 配对成一个数），是 Gauss-Bonnet 的根本（绕一圈的角度变化等于内部曲率积分），是电磁学守恒律的根本（高斯定律 = 散度定理），最后还是 Atiyah-Singer 指标定理的局部论据的源头。这一条公式是流形上微积分唯一的整体定理；其他所有"积分定理"都从它推出来。

要把这个公式说清楚，需要三件准备工作。第一是定向，没有定向就没有"带符号的积分"，左右两边都没法谈。第二是带边界的流形以及诱导定向，边界 $\partial M$ 必须从 $M$ 那里继承一个一致的定向，否则等式右边的符号是模糊的。第三是把微分形式在 $k$ 维子流形上的积分用坐标图和单位分解的方式严格定义。这三件事做好之后，Stokes 定理的证明就只剩一个局部计算：在一个长方体上验证一阶情况，然后用单位分解粘起来。

这是经典微分几何的局部理论的顶点，也是后续每个全局定理（Gauss-Bonnet 全局版、Poincaré 对偶、de Rham 与奇异同调对应、特征类）的入口。读完它，本科向量微积分里那些"恰好成立"的恒等式就再也不神秘了。

方向#

切空间 $T_pM$ 是一个 $n$ 维实向量空间，像任何这样的空间一样，它有两个有序基的等价类（由保持方向的线性映射和改变方向的线性映射相关）。选择其中一个类就是 $T_pM$ 的一个关于方向，如果可以在整个流形上平滑地做出这种选择，并且在重叠部分一致，则称流形 $M$ 是可定向的。当存在时，方向是一个全局拓扑选择，在连通的可定向流形上恰好有方向。

如果以下任一条件成立，则流形 $M$ 是可定向的：

1. 存在一个图册，其过渡映射的雅可比行列式都为正。
2. 存在一个处处非零的 $n$ 形式（一个“体积形式”）。
3. $M$ 的标架丛允许一个截面进入 $\mathrm{GL}^+(n)$ 子丛。

这些是等价的，在不同上下文中各有用处。形式理论版本（定义 2）是用来定义积分的。

举个例子。

• $\mathbb{R}^n$ 的每个开子集都是可定向的；标准体积形式 $dx^1\wedge\dots\wedge dx^n$ 给出了一个规范方向。
• 球 $S^n$ 是可定向的，外单位法向量与 $dx^0\wedge\dots\wedge dx^n$ 的收缩给出了一个体积形式。
• 环面 $T^n$ 是可定向的。
• 莫比乌斯带是非可定向的。带着一个选定的有序基绕带一圈，你会以相反的基返回。等价地说，莫比乌斯带上不存在处处非零的 2 形式。
• 实射影平面 $\mathbb{RP}^2$ 由于相同的原因是非可定向的。实际上，$\mathbb{RP}^n$ 可定向当且仅当 $n$ 为奇数。

将 $\mathbb{RP}^2$ 视为 $S^2$ 在反演映射 $A(x) = -x$ 下的商。拉回 $A^* (dx\wedge dy\wedge dz) = -dx\wedge dy\wedge dz$ 在 $\mathbb{R}^3$ 中，因此 $A$ 在环境空间中反转方向，但在球上计算更为微妙。使用局部坐标图，你会发现反演映射在 $S^2$ 上反转方向，因此商不能继承一个方向。具体、机械，从根本上说是关于基的等价类的拓扑事实。

方向不是多余的装饰，它使积分有符号。一维中的积分 $\int_a^b f(x)\,dx = -\int_b^a f(x)\,dx$ 是最简单的体现：反转区间的方向会翻转积分的符号。在曲面和更高维流形上，同样的现象控制着通量符号、电荷守恒和斯托克斯定理的一致性。没有方向，你甚至不知道曲面的哪一侧算作“向外”。

当 $M$ 非可定向时，你不能积分最高阶形式（符号是模糊的），但你可以积分密度，在坐标变换下拾取雅可比行列式的绝对值而不是带符号的雅可比行列式。密度是在非可定向流形上进行积分的方法。在物理学中，它们通常是不可见的，因为时空被认为是可定向的，但在数学生物学和某些拓扑问题（例如计数克莱因瓶上的轨道）中，它们是不可避免的。

每个连通的非可定向流形 $M$ 都有一个连通的可定向双覆盖 $\tilde M \to M$ ，可定向覆盖。在 $M$ 上的计算通常可以提升到 $\tilde M$ 上，在那里符号是有意义的。例如，莫比乌斯带的可定向双覆盖是圆柱体；射影平面的可定向双覆盖是球体。这个技巧将许多非可定向问题简化为可定向问题，代价是数据加倍。

带边界的流形；诱导方向#

带边界的流形是局部模型为半空间 $\mathbb{H}^n = \{x \in \mathbb{R}^n : x^n \geq 0\}$ 的拓扑空间。坐标图有两种类型：内部坐标图（其图像不包含边界 $\{x^n = 0\}$ ）和边界坐标图（其图像触及 $\{x^n = 0\}$ ）。边界 $\partial M$ 是在某个边界坐标图中位于 $\{x^n = 0\}$ 上的点集。它是一个 $(n-1)$ 维流形（无边界）。

举个例子。

• 闭圆盘 $\bar D^2 = \{|x| \leq 1\} \subset \mathbb{R}^2$ ：边界是 $S^1$ 。
• 闭球 $\bar B^3$ ：边界是 $S^2$ 。
• 圆柱 $S^1 \times [0, 1]$ ：边界是 $S^1 \times \{0\} \sqcup S^1 \times \{1\}$ ，两个圆。
• 莫比乌斯带：边界是一个圆（它双重覆盖中心圆）。
• 亏格-$g$ 柄体：边界是一个亏格-$g$ 曲面。三维区域“内部”的二维表面作为其边界；许多三维流形拓扑结构从这里开始构建。

带边界的流形的边界本身没有边界，$\partial(\partial M) = \emptyset$ 。这对应于形式侧的 $d^2 = 0$ 。这两个事实（链上的 $\partial^2 = 0$ 和形式上的 $d^2 = 0$ ）是彼此的镜像，并且通过斯托克斯定理结合在一起：$\int_C d^2\eta = \int_{\partial^2 C}\eta = \int_\emptyset \eta = 0$ ，反之亦然。几何上的“边界的边界为空”和分析上的“微分平方为零”是同一结构性事实的两种观点。

如果 $M$ 是定向的，$\partial M$ 继承了一个规范方向。规则：$T_p \partial M$ 的基 $(v_1, \dots, v_{n-1})$ 是正定向的，当且仅当 $(N, v_1, \dots, v_{n-1})$ 在 $T_p M$ 中是正定向的，其中 $N$ 是一个向外指向的法向量。等价地说：“先向外法向。”

$M = [a, b]$ 具有标准方向（增加 $x$ ）。边界是 $\{a, b\}$ 。在 $b$ 处，向外法向指向右（$+\partial_x$ ），所以方向规则给出“没有 $v$ ，只有空基”，约定为“$b$ 处的正号。”在 $a$ 处，向外法向指向左（$-\partial_x$ ），给出“$a$ 处的负号。”这正是在一维基本定理中的符号约定 $f(b) - f(a)$ 。

$M = \bar D^2$ 具有标准方向 $dx\wedge dy$ 。边界是 $S^1$ 。在某一点，向外法向 $N$ 是径向方向。$S^1$ 上的诱导方向是“逆时针”，标准数学约定。这就是为什么平面中的格林定理要求逆时针边界。

$M = \bar B^3$ 具有 $dx\wedge dy\wedge dz$ 。边界是 $S^2$ 。球面上某一点的向外法向是径向方向；$S^2$ 上的诱导方向是使得径向向量在前时重现标准体积形式的方向。这是表面积为正的方向，自然的“向外看”方向。

诱导方向是斯托克斯定理中符号的几何内容。如果你在 $\partial M$ 上选择了错误的方向，你的公式会多出一个全局负号，定理看起来就不成立了。“先向外法向”约定不是任意的；它是唯一能使斯托克斯定理成立而无需临时修正符号的选择。

实际生活中的带边界流形经常有角：平面上的一个正方形，三维空间中的一个立方体。斯托克斯定理仍然成立，但边界 $\partial M$ 现在是一个分段光滑流形，诱导方向在角处自然断裂。积分 $\int_{\partial M}\omega$ 只是各光滑部分的和。还有一种推广到带角流形（Joyce, Melrose）的情况，其中角层化是数据的一部分；这在奇异摄动理论和稳定曲线模空间中很重要。

斯托克斯定理也自然处理不连通边界。环面 $\{1 \leq r \leq 2\}$ 有 $\partial M = S^1_{r=1} \sqcup S^1_{r=2}$ ，内圈顺时针（因为向外法向指向内），外圈逆时针。积分 $\int_{\partial M}\omega$ 是这些符号的和。混淆符号会导致错误答案；正确处理符号是诱导方向规则的全部要点。

最高阶形式的积分#

为什么 $n$ -形式（最高阶形式）才能在 $n$ -流形上积分？因为 $n$ -形式 $\omega$ 吃 $n$ 个切向量，吐一个有向 $n$ 维体积，而流形的局部就是 $n$ 维的，每个小盒子就需要一个体积值。低阶形式（$k < n$ ）只吃 $k$ 个向量，对应的是 $k$ -维子流形上的积分（曲线上积 1-形式、曲面上积 2-形式），它们在整个 $n$ -流形上没有对应的体积。这就是为什么积分理论按形式的阶数分层，每一阶对应一个维度的子流形上的积分。

在流形上自然要积分的对象是最高阶形式：$n$ 维流形上的 $n$ 形式。为什么？因为正微分同胚拉回最高阶形式是良定义的，并且所得积分在坐标变换下不变。（低阶形式只在相应的子流形上积分。）

其中右边是普通的 Lebesgue 积分。注意隐含的顺序：楔积的正号匹配迭代积分中变量的标准顺序。

这是变量替换公式。关键点：楔积自动处理雅可比行列式。回想第 8 章：$\varphi^*(dx^1\wedge\dots\wedge dx^n) = \det(D\varphi)\,du^1\wedge\dots\wedge du^n$ 。带符号的行列式匹配保定向条件。

要在定向流形 $M$ 上积分 $n$ 形式 $\omega$ ：

1. 用定向坐标图 $U_\alpha$ 覆盖 $M$ 。
2. 选择一个从属于该覆盖的平凡分割 $\{\rho_\alpha\}$ 。
3. 定义 $\int_M \omega = \sum_\alpha \int_{U_\alpha} \rho_\alpha \omega$ 。

结果独立于坐标图和平凡分割的选择。这就是整个定义。

计算 $\int_{S^2} \omega$ ，其中 $\omega = x\,dy\wedge dz + y\,dz\wedge dx + z\,dx\wedge dy$ 是通过将径向向量与 $dx\wedge dy\wedge dz$ 收缩得到的“球体积形式”。在上半球参数化为 $\varphi(u, v) = (u, v, \sqrt{1 - u^2 - v^2})$ 且 $u^2 + v^2 < 1$ 时，拉回（经过计算）给出 $\frac{1}{\sqrt{1-u^2-v^2}}du\wedge dv$ ，并在单位圆盘上积分给出 $2\pi$ 。加上下半球（适当定向）给出 $4\pi$ ，这正是 $S^2$ 的表面积。合理性检查：$\omega = \iota_R(dx\wedge dy\wedge dz)$ ，其中 $R = x\partial_x + y\partial_y + z\partial_z$ 是径向向量。拉回到 $S^2$ ，其中 $R$ 是单位法向量：结果是面积形式。因此 $\int_{S^2}\omega$ 是面积，而 $S^2$ 的面积是 $4\pi$ 。确认。

流形上的积分是局部几何（形式、导数）和全局量（总通量、总体积、总电荷）之间的桥梁。没有平凡分割论证，你无法定义由多个坐标图覆盖的流形上的积分；有了它们，定义是明确的，定理也适用。

为什么使用平凡分割？从属于覆盖 $\{U_\alpha\}$ 的平凡分割 $\{\rho_\alpha\}$ 是一组光滑非负函数，$\rho_\alpha$ 支撑在 $U_\alpha$ 内，逐点求和为 1（局部有限）。这样的平凡分割存在于任何仿紧 Hausdorff 流形上（这基本上是实践中出现的所有流形）。函数 $\rho_\alpha\omega$ 支撑在 $U_\alpha$ 内，并可以使用 $U_\alpha$ 的坐标图进行积分。选择的独立性来自变量替换公式加上常规检查。

用两个坐标图覆盖 $S^2$ ，即上半球和下半球（每个都微分同胚于一个圆盘，重叠部分是一个赤道条带）。选择一个平凡分割 $\rho_+ + \rho_- = 1$ ，其中 $\rho_\pm$ 支撑在相应的半球内。则 $\int_{S^2}\omega = \int_{\text{上半球}}\rho_+\omega + \int_{\text{下半球}}\rho_-\omega$ 。实际中，选择如球坐标可以使这些计算显式化，球的面积 $4\pi$ 可以通过直接积分确认。平凡分割形式主义是使这严格的理论装置；实践中你通常直接计算。

斯托克斯定理#

Stokes 定理 $\int_M d\omega = \int_{\partial M}\omega$ 的右边是个低一维的积分，左边是高一维的积分。两边维度差 1，正是因为 $d$ 把 $k$ -形式提升到 $(k+1)$ -形式。这种维度差 1 的对偶是数学里反复出现的模式：链复形里的 $\partial$ 算子把 $k$ -单形降到 $(k-1)$ -单形；上链复形里的 $d$ 算子把 $k$ -余链升到 $(k+1)$ -余链；积分把这两个对偶地配对起来，这就是 de Rham 与奇异同调对应的来源。

这就是整个定理，它是微积分中最重要的公式。

证明思路。 两步。

步骤 1：上半空间中的局部情况。 取 $M = \mathbb{H}^n$ 且 $\omega$ 支撑在一个紧子集中。写成 $\omega = \sum_i (-1)^{i-1} f_i\,dx^1\wedge\dots\wedge \hat{dx^i}\wedge\dots\wedge dx^n$ 。则 $d\omega = \sum_i \partial_i f_i\,dx^1\wedge\dots\wedge dx^n$ 。逐项积分。对于 $i < n$ ，积分 $\int \partial_i f_i$ 由基本定理（紧支撑的 $f_i$ ）为零。对于 $i = n$ ，积分 $\int_{x^n \geq 0} \partial_n f_n = -\int_{\mathbb{R}^{n-1}} f_n(x^1, \dots, x^{n-1}, 0)$ ，这正好是带符号的边界积分。因此斯托克斯定理在局部成立。

步骤 2：全局化： 使用从属于 $M$ 的定向坐标图覆盖的平凡分割 $\{\rho_\alpha\}$ 。则 $\omega = \sum_\alpha \rho_\alpha \omega$ ，逐坐标图应用步骤 1 给出 $\int_M d(\rho_\alpha\omega) = \int_{\partial M}\rho_\alpha\omega$ 。对 $\alpha$ 求和使用 $\sum_\alpha d(\rho_\alpha\omega) = d(\sum_\alpha \rho_\alpha\omega) - 0 = d\omega$ （交叉项 $\sum_\alpha d\rho_\alpha\wedge\omega$ 因为 $\sum_\alpha \rho_\alpha = 1$ 导致 $\sum_\alpha d\rho_\alpha = 0$ 而消失）。完成。

就是这样。整个定理是一维基本定理逐坐标图应用并通过平凡分割拼接起来的结果。

如果 $M$ 没有边界（$\partial M = \emptyset$ ），则对于每个 $(n-1)$ 形式 $\omega$ ，$\int_M d\omega = 0$ 。换句话说，闭流形上的精确 $n$ 形式的积分总是零。反过来说，如果一个 $n$ 形式在 $M$ 上的积分非零，则它不可能是精确的，因此在 $H^n_{dR}(M)$ 中代表一个非零类。

左边为零（$d\omega = 0$ ）。边界是内圆（顺时针，与标准逆时针相反）加上外圆（逆时针）。每个圆的积分是 $2\pi$ ，所以边界积分是 $-2\pi + 2\pi = 0$ 。一致。形式在每个圆上贡献 $2\pi$ ，但由于方向相反，它们抵消了。

通过对称性 $\int_{\bar B^3} 4x\,dV = 0$ （对称域上的奇函数）。因此 $\int_{S^2}\omega = 0$ 。直接用球坐标进行表面积分会非常痛苦；斯托克斯定理使其瞬间完成。

这很关键，因为证明只有两个要素：一维微积分基本定理（逐坐标图的事实）和平凡分割的粘合能力（全局结构性事实）。没有奇特的分析，除了紧性和可定向性之外没有特殊假设。斯托克斯定理就像微分本身一样基本；它本质上是“在 $M$ 上微分一个形式并积分结果等于沿着 $\partial M$ 积分该形式”，在每个维度上都是相同的陈述，相同的证明。

经典定理的恢复#

所有三个经典“积分定理”都是斯托克斯定理的特例。

这只是一个 $n = 1$ 的斯托克斯定理。“边界”是两个端点，带有适当的符号。

经典的格林定理。

经典的“旋度定理”。

高斯散度定理。

这很关键，因为所有四个经典定理都是流形上一个陈述的推论。将它们记忆为四个独立的结果是一种受坐标限制的地方主义；一个工作的微分几何学家只需使用一次斯托克斯定理就能按需恢复它们。

一个更微妙的推论是柯西积分定理：在 $\mathbb{C} = \mathbb{R}^2$ 上，全纯函数 $f$ 有 $df = f'(z)\,dz$ 其中 $dz = dx + i\,dy$ 。因此 1 形式 $f(z)\,dz$ 是闭的（柯西-黎曼方程），斯托克斯定理给出 $\oint_{\partial M} f(z)\,dz = 0$ 对于 $f$ 在其上全纯的任何区域 $M$ 。这是复分析中的柯西定理。整个复分析主题是通过全纯性的视角来看待二维实数中的微分形式。

柯西积分公式。由此，所有复分析（刘维尔定理、最大模原理、留数定理）级联而来。全纯函数的奇迹般的刚性，知道 $f$ 在一个圆上的值就可以确定 $f$ 在圆内的值，根本上是应用于带有极点的闭形式的斯托克斯定理。

霍奇定理和调和形式：在紧致定向黎曼流形上，每个 de Rham 上同调类都有唯一的调和代表（$\Delta\omega = 0$ 其中 $\Delta = d\delta + \delta d$ ）。证明使用斯托克斯定理来设置内积 $\langle\alpha, \beta\rangle = \int_M \alpha \wedge *\beta$ ，然后使用 PDE 理论找到调和代表。霍奇理论给出了“每个闭形式在模 $\ker\Delta$ 下是精确的”的广泛推广，并是 Kahler 几何、指标定理和流形上椭圆正则性的解析基础。

de Rham 上同调与斯托克斯定理#

斯托克斯定理意味着一个基本事实：闭流形上闭形式的积分仅依赖于形式的上同调类。

证明： $\int_C(\omega_1 - \omega_2) = \int_C d\eta = \int_{\partial C} \eta = 0$ （因为 $\partial C = \emptyset$ ）。

因此积分 $\int_C \omega$ 仅依赖于 $[\omega] \in H^k_{dR}(M)$ 。类似地，用同调循环 $C'$ 替换 $C$ （即 $C - C' = \partial D$ 对于某个链 $D$ ）不会改变积分，因为 $\int_C\omega - \int_{C'}\omega = \int_{\partial D}\omega = \int_D d\omega = 0$ （因为 $\omega$ 是闭的）。

是一个完美配对。因此 $H^k_{dR}(M) \cong H_k(M; \mathbb{R})^*$ ，de Rham 上同调是实系数奇异同调的对偶。等价地，通过通用系数定理 $H^k_{dR}(M) \cong H^k(M; \mathbb{R})$ 。

也是一个完美配对。因此 $H^k_{dR}(M) \cong H^{n-k}_{dR}(M)^*$ 。对于闭合且定向的 $M$ ，这意味着贝蒂数满足 $b_k = b_{n-k}$ ，在第 8 章的环面示例中看到的上同调维数的对称性。

同调类可以通过积分计算。给定一个闭形式，你可以通过在循环上积分来检测其非平凡性；给定一个循环，你可以通过在其上积分闭形式来检测其非平凡性。这是拓扑的分析基础：贝蒂数、欧拉特征、曲面的亏格，都可以通过微分形式获得。

当流形具有额外结构（例如，复代数簇）时，对于特定形式 $\omega$ 和循环 $C$ 的积分 $\int_C\omega$ 被称为代数簇的周期是深刻的算术不变量，它们包括 $2\pi i$ 、$\log 2$ 、zeta 函数的值以及更多奇异的超越数。Grothendieck、Kontsevich-Zagier 的猜想以及现代动机上同调理论围绕理解周期展开。因此，斯托克斯定理连接到数学中最深奥的开放问题之一：作为代数形式在代数循环上的积分所获得的超越数的结构。

流形的许多拓扑不变量可以通过积分类似于曲率的形式来计算。欧拉特征等于 $\int_M e(TM)$ （Chern-Gauss-Bonnet）。签名等于 $\int_M L(TM)$ （Hirzebruch）。椭圆算子的指标等于 $\int_M \mathrm{ch}(\sigma) \mathrm{Td}(TM)$ （Atiyah-Singer）。这些都是伪装下的斯托克斯型计算：一个拓扑不变量作为一个闭形式的积分出现。第 12 章将发展相关的特征类并解释为什么这些公式成立。

链和循环上的积分#

我们一直在积分带边界的流形上的形式。完整的通用设置是积分链：光滑奇异单纯形的整系数形式组合。

$M$ 中的光滑 $k$ 单纯形是从标准 $k$ 单纯形到 $M$ 的光滑映射 $\sigma: \Delta^k \to M$ ：光滑 $k$ 链是整系数的形式和 $C = \sum_i a_i \sigma_i$ 。边界算子 $\partial$ 将 $k$ 链映射到 $(k-1)$ 链，通过对面的限制的交错和。

这只是链水平的陈述。

为什么用链？它们比子流形更灵活。链不必嵌入，不必是流形，可以有多重性。这种灵活性使得奇异同调得以工作，你可以细分、细化和计算。三角剖分及其边界是链。de Rham 定理的任一方向证明（构造表示上闭链的闭形式，或构造积分给出上同调类的循环）都在链水平上进行。

是 $\gamma$ 绕原点的绕数由拓扑保证为整数值，并可通过分析计算。根据 de Rham，$H^1_{dR}(\mathbb{R}^2\setminus\{0\}) = \mathbb{R}$ 。 且 $[\omega/2\pi]$ 是生成元；绕数只是上同调配对。

这同样是绕数类型的积分，整数值性来自 $\mathbb{R}^3 \setminus \gamma_2$ 的 de Rham 上同调。链接数是最简单的纽结理论不变量；更高阶的类似物（Massey 积、有限型不变量）推广了同样的思想。

这是斯托克斯定理在内积语言下的重写。它告诉我们：奇异同调（链 + $\partial$ ）和 de Rham 上同调（形式 + $d$ ）通过这个配对互相对偶。这就是 de Rham 定理：对于光滑流形，$H^k_{dR}(M)$ 和 $H_k(M;\mathbb{R})^*$ 通过积分配对是同构的。代数拓扑（链上的边界算子）和分析（形式上的外导数）在这里碰头，斯托克斯定理是把它们焊在一起的螺丝。

我喜欢这个观点的一个原因是，它把"积分"从"求面积/体积的工具"升级成了"配对运算"。一旦你接受了 $\int_C \omega$ 是 $C$ 和 $\omega$ 的双线性配对，许多原本看起来分散的事实就变成了同一件事的不同切片：Green 公式、Gauss 散度定理、电磁学里的磁通守恒、复分析里的留数定理（这是 Stokes 定理对全纯 1-形式的特例）、甚至上面写过的绕数和链接数公式。它们都是 $\langle\partial C, \omega\rangle = \langle C, d\omega\rangle$ 在不同维度、不同流形、不同形式上的回声。

几个具体例子的拼图#

让我把上面那些散落的例子拼回一张图。把球面 $S^2$ 当成 $B^3$ （实心球）的边界，把环面 $T^2$ 当成 $S^1\times S^1$ 。在球面上积分一个 2-形式比如曲率形式 $K\,dA$ 给我们 $4\pi$ （Gauss-Bonnet）；在 $B^3$ 上积分 $d(K\,dA)$ ，但 $K\,dA$ 不能光滑延拓进 $B^3$ ，所以这个积分本身是个有意思的反例，提示我们"边界的形式"和"内部的形式"不能随便互换。环面则相反：$T^2$ 是闭流形（无边界），所以任何 $\int_{T^2} d\omega = \int_{\partial T^2} \omega = 0$ ，闭曲面上的恰当形式积分总是零，这正是 de Rham 上同调"看到"$T^2$ 上有非平凡 1-形式（$d\theta_1, d\theta_2$ ）的原因。

球面与环面上的例子#

为了把前面的内容落到实处，我挑了两个 Stokes 定理的经典例子。

在 $S^2$ 上，$\omega$ 恰好就是面积形式，所以表面积就是 $4\pi$ 。两套计算，同一个恒等式。系数 3 正好就是空间的维数。把这套做法搬到 $\mathbb{R}^n$ 里，同样的恒等式会告诉我们，$S^{n-1}$ 的面积等于 $n$ 倍的 $B^n$ 体积。

** 从 $S^2$ 反推 $B^3$ 的体积。** 反过来走也管用。我只要知道表面积，沿着径向积分就能把体积算出来。$\mathrm{vol}(B^3) = \int_0^1 4\pi r^2\,dr = \frac{4\pi}{3}$ 。系数 3 又冒出来了，它依然代表维数。微分几何里的每一次计算，背后都藏着这种维数账本。Stokes 定理把这本账写得清清楚楚。

** 立体角与 Gauss 定律。** 在 $\mathbb{R}^3 \setminus \{0\}$ 上，考虑 2-形式 $\omega = \frac{x\,dy\wedge dz + y\,dz\wedge dx + z\,dx\wedge dy}{(x^2+y^2+z^2)^{3/2}}$ 。它是闭形式。对于任意以原点为球心、半径为 $R$ 的球面，积分 $\oint_{S^2_R} \omega = 4\pi$ 都成立。这说明 $\omega/(4\pi)$ 生成了 $H^2_{dR}(\mathbb{R}^3\setminus\{0\}) = \mathbb{R}$ 。落到物理图像上，它正好对应点电荷的电场。只要闭合曲面把电荷包在里面，电场通量的积分就是 $4\pi$ （高斯单位制下）。这个数值跟曲面的具体形状毫无关系。这就是 Gauss 定律。它的内核纯粹是拓扑的：它只负责数里面包住了多少个电荷。

用现代的语言来说，这就是把 Stokes 定理用在曲率形式上，只不过外面披了一层李代数的外衣。第五篇文章的证明靠的是三角剖分，以及每个三角形的角盈。更本质的证明要借助 Chern-Weil 理论，我会在第十二篇文章里勾勒它的轮廓。

可是 $\omega$ 已经是 $S^{n-1}$ 上的最高次形式，外微分必然为零，于是 $d(r^*\omega) = r^*(d\omega) = 0$ 。两边对不上，矛盾。这说明那样的收缩映射 $r$ 根本不存在，所以 $f$ 必定有不动点。Stokes 定理在这里直接证明了拓扑结论。

** 毛球定理。** $S^{2n}$ 上不存在处处非零的切向量场。思路很简单：假如真有这样的场 $X$ ，我就能构造同伦 $X_t(p) = (\cos t)\,p + (\sin t)\,X(p)/|X(p)|$ （适当做归一化）。它把恒等映射 $\mathrm{id}$ 连续地变成了对径映射。可是 $S^{2n}$ 上的对径映射度数是 $(-1)^{2n+1} = -1$ ，而恒等映射的度数是 $1$ 。映射度是同伦不变量，而且能写成 Stokes 型的积分。两边矛盾，所以那样的向量场不存在。偶数维球面就是梳不平。拓扑结论再次通过形式积分浮出水面。

** 为什么这很重要。** Stokes 定理绝不只是个计算工具。它展示了拓扑不变量如何被解析地算出来。只要你习惯把整数看作微分形式的积分，你就会发现拓扑一直藏在物理背后：Maxwell 理论里的电荷量子化，Yang-Mills 理论里的瞬子数，量子场论里的反常，Dirac 算子的指标。它们全都在更复杂的框架下做着 Stokes 计算。这套模式放之四海而皆准。

** 环面上的周期。** 在带坐标 $(\theta_1, \theta_2)$ 的二维环面 $T^2$ 上，闭形式 $d\theta_1$ 和 $d\theta_2$ 都不是恰当形式。我把它们分别沿两条基本 1-圈（也就是“子午圈”和“经圈”）做积分，就能得到周期矩阵 $\begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix}$ （可能差个 $2\pi$ 的因子）。上同调类 $[d\theta_1], [d\theta_2]$ 构成了 $H^1_{dR}(T^2) \cong \mathbb{R}^2$ 的一组基，并且跟圈的基互为对偶。这是 de Rham 理论里最简单的非平凡例子，也是代数几何中椭圆曲线理论的模板。

** $g$ 亏格曲面。** 亏格为 $g$ 的紧定向曲面满足 $H^0 = H^2 = \mathbb{R}$ ，且 $H^1 = \mathbb{R}^{2g}$ 。$H^1$ 的 $2g$ 个生成元，通过积分跟 $H_1$ 的 $2g$ 个生成元（标准柄分解里的 $a$ -圈和 $b$ -圈）一一配对。$H_1$ 上的相交形式，经过 Poincare 对偶，正好对应 $H^1$ 上的外积。对角辛形式 $\bigoplus\begin{pmatrix}0 & 1 \\ -1 & 0\end{pmatrix}$ 把亏格信息全部编码了进去。这套代数结构，就是 Riemann 曲面几何的雏形。

** $S^n$ 上的体积形式。** 我把 Stokes 定理用在 $\bar B^{n+1}$ 上，配上形式 $\omega = \iota_R(dx^0\wedge\dots\wedge dx^n)$ （径向收缩）。$S^n$ 的表面积就能递推算出来：$\mathrm{vol}(S^n) = (n+1)\,\mathrm{vol}(B^{n+1})$ 。把它跟递推公式 $\mathrm{vol}(B^n) = \pi^{n/2}/\Gamma(n/2 + 1)$ 结合起来，所有经典公式就全出来了。$S^2$ 的 $4\pi$ ，$S^3$ 的 $2\pi^2$ ，$S^4$ 的 $\frac{8\pi^2}{3}$ ——它们全是一次 Stokes 计算的推论。

更深入的例子与常见误区#

前面几节介绍了定向、带边流形、最高次形式的积分、Stokes 定理、由此还原的经典定理，以及结合 Stokes 定理的 de Rham 上同调。这一节我会详细计算几个积分，指出初学者容易踩坑的地方，并把流形上的积分和实际应用联系起来。

完整数值算例：圆盘上的 Stokes 定理#

右侧很简单：$\int_D dx \wedge dy = \pi$ ，正好是单位圆盘的面积。 左侧需要参数化边界。我令 $\gamma(\theta) = (\cos\theta, \sin\theta)$ ，拉回形式得到 $\gamma^*\alpha = \cos\theta\, d(\sin\theta) = \cos^2\theta\, d\theta$ 。直接积分：$\int_0^{2\pi} \cos^2\theta\, d\theta = \pi$ 。两侧完全吻合。

注意这里的 $\alpha = x\, dy$ 并不闭（$d\alpha = dx \wedge dy \neq 0$ ），但计算依然成立。Stokes 定理从不要求形式闭，它只负责把 $\alpha$ 和 $d\alpha$ 的积分联系起来。

再看第二个计算：我在 $D$ 上取 $\omega = (x^2 + y^2)\, dx \wedge dy$ 。按 Stokes 定理的思路，它应该等于某个 1-形式 $\eta$ 在边界上的积分，且满足 $d\eta = \omega$ 。我试着凑 $\eta = \tfrac{1}{3}(x^3 + xy^2)\, dy$ ，发现范围太窄。换个方向：$\eta = -\tfrac{1}{3}(x^2 y + y^3)\, dx + 0$ 的外微分是 $d\eta = (\tfrac{2}{3}xy + 0)\,dy\wedge dx + ...$ ，越算越乱。不如直接算面积分：换极坐标，$\int_0^{2\pi}\int_0^1 r^2 \cdot r\, dr\, d\theta = 2\pi \cdot 1/4 = \pi/2$ 。所以 $\int_D \omega = \pi/2$ 。只要我找到正确的 $\eta$ ，它在边界上的积分 $\int_{\partial D} \eta$ 一定也等于 $\pi/2$ 。

完整数值算例：球体上的散度定理#

我在 $\mathbb{R}^3$ 上取向量场 $F = (x, y, z)$ ，并在单位球 $B = \{|x| \leq 1\}$ 上积分。散度是 $\nabla \cdot F = 3$ 。直接算体积分：$\int_B \nabla \cdot F\, dV = 3 \cdot \tfrac{4}{3}\pi = 4\pi$ 。

散度定理告诉我，这个值等于 $\oint_{S^2} F \cdot \hat n\, dA$ 。在单位球面上，外法向就是 $\hat n = (x, y, z)$ 。点积算出来 $F \cdot \hat n = x^2 + y^2 + z^2 = 1$ 。于是 $\oint_{S^2} 1\, dA = $ 单位球表面积 $= 4\pi$ 。两侧再次吻合。

换成微分形式的语言：$F$ 对应 2-形式 $\omega = x\, dy\wedge dz + y\, dz\wedge dx + z\, dx\wedge dy$ 。外微分给出 $d\omega = 3\, dx\wedge dy\wedge dz$ 。Stokes 定理写成 $\int_B d\omega = \int_{S^2} \omega$ ，两边都等于 $4\pi$ 。经典的散度定理就是三维流形上对最高次形式使用 Stokes 定理的直接结果。

第三个完整算例：带明确边界的半球面上的 Stokes 定理#

我取上半球面 $H = \{(x, y, z) \in S^2 : z \geq 0\}$ ，定向取外法向。它的边界是赤道 $\{z = 0\}$ ，从上方看是逆时针走向。取 1-形式 $\omega = -y\, dx + x\, dy$ 。算外微分得 $d\omega = 2\, dx \wedge dy$ 。在半球面上，$d\omega$ 通过 $z = \sqrt{1-x^2-y^2}$ 拉回后变成一个 2-形式。它的积分等于 $\int_{S^2}(...)$ ，但我这里只想把 $d\omega$ 当作嵌入曲面上的形式来积分，而不是做整体限制。

右侧需要小心处理。$\mathbb{R}^3$ 中的 $d\omega = 2\, dx\wedge dy$ 限制到 $H$ 上，相当于把面积元投影到 $xy$ 平面后再乘以 2。所以 $\int_H d\omega = 2 \cdot \pi = 2\pi$ （正好是 $H$ 投影到 $xy$ 平面的单位圆盘面积的两倍）。

左侧看赤道。参数化取 $x = \cos\theta, y = \sin\theta$ ，代入得 $\omega = -\sin\theta\, d(\cos\theta) + \cos\theta\, d(\sin\theta) = \sin^2\theta\, d\theta + \cos^2\theta\, d\theta = d\theta$ 。积分 $\int_{\partial H} \omega = \int_0^{2\pi} d\theta = 2\pi$ 。完全一致。

这正是你在向量微积分课上用来计算环路环量的 Stokes 定理版本：参数化边界曲线，做积分，再和曲面上的旋度积分互相验证。

第四个完整算例：环面上的最高次形式积分#

我取环面 $T^2 = S^1 \times S^1$ ，参数域为 $(\theta, \phi) \in [0, 2\pi)^2$ 。体积形式是 $d\theta \wedge d\phi$ ，总体积算出来 $\int_{T^2} d\theta\wedge d\phi = (2\pi)^2 = 4\pi^2$ 。根据 Stokes 定理，$d\theta \wedge d\phi$ 绝不可能全局写成 $d\eta$ 的形式（因为 $\int 4\pi^2 \neq 0$ ）。它直接给出了 $H^2_{\text{dR}}(T^2)$ 里的一个非平凡上同调类。事实上，$H^2_{\text{dR}}(T^2) = \mathbb{R}$ ，生成元就是归一化后的 $[d\theta \wedge d\phi]/(4\pi^2)$ 。

这个例子直接说明环面拥有非平凡的最高次上同调。任何闭的可定向二维流形都具备这一性质，生成元就是归一化的体积形式。Stokes 定理配合这种非零类的存在，正好给出了 $H^k$ 与 $H^{n-k}$ 之间的 Poincaré 对偶。

直观理解与反例：定向至关重要#

Stokes 定理要求 $M$ 具备定向，并且这个定向要在 $\partial M$ 上诱导出相应的定向。诱导规则叫“外法向优先”：在边界点处，先取指向外部的法向量，再接上 $\partial M$ 自身的定向，拼出来的顺序必须和 $M$ 的定向一致。

如果我反转 $M$ 的定向，Stokes 公式整体就会多出一个负号。对于没有边界的闭流形，两侧都是零，公式自然成立。但一旦流形带边界，定向搞反就是物理计算里最常见的符号错误。

反例：Möbius 带。它是一个带边界的二维流形（边界是一条闭曲线）。它不可定向。因此标准形式的 Stokes 定理在这里失效：你找不到一个全局一致的 2-形式，让它在整个带子上的积分有意义。如果非要在 Möbius 带上积分，你必须先取定向二重覆叠（得到一个柱面），在上面积分后再除以 2。而且这只对奇次量有效，因为反转定向会改变符号。这个例子清楚地告诉我们：可定向性不是排版细节，而是 Stokes 定理真正的假设条件。

第二个反例：积分仅在全局层面依赖定向#

这里有个容易混淆的点：对非最高次形式做积分，根本不需要流形定向；而对最高次形式做积分，则必须要求定向。二维流形上的 1-形式可以沿一条曲线积分，你不需要给整个流形选定向，只要曲线本身定向清楚就行。但同一个流形上的 2-形式，只有在流形可定向时才能做全局积分。

这解释了为什么 1-形式天然和曲线配对，而最高次形式天然和整个流形配对：维度必须对齐，且对齐后的对象必须可定向。这种配对可以推广到任意 $k$ 形式与任意定向的 $k$ 维子流形之间。de Rham 定理的核心结论正是：这种配对让 $H^k_{\text{dR}}$ 和 $H_k$ （奇异同调）成为对偶的向量空间。

初学者常见误区#

初学者经常忘记 Stokes 定理里的边界 $\partial M$ 必须包含所有边界分支，并且每个分支都要带上诱导定向。以平面圆环 $\{1 \leq r \leq 2\}$ 为例，它的边界由两个圆组成：外圆取逆时针，内圆取顺时针。漏掉内边界，或者把内圆的定向搞反，是极其经典的错误。

具体陷阱：我在圆环上对 1-形式 $\omega$ 用 Stokes 定理，公式给出 $\int_{r=2} \omega - \int_{r=1} \omega = \int_{\text{annulus}} d\omega$ 。如果取 $\omega = (-y\, dx + x\, dy)/(x^2+y^2)$ ，两个边界积分都等于 $2\pi$ ，相减正好是 0。圆环上确实有 $d\omega = 0$ 。但如果你忘了内边界，就会算出 $\int_{r=2}\omega = 2\pi$ ，同时 $\int d\omega = 0$ ，凭空制造出一个矛盾。

第二个坑：把 Stokes 定理里的 $\partial M$ 和拓扑边界混为一谈。$\mathbb{R}^2$ 中的闭圆盘，其作为带边流形的 $\partial D$ 就是单位圆周。但如果你把开圆盘看作 $\mathbb{R}^2$ 的子集，它的拓扑边界也是单位圆周，可开圆盘在 Stokes 定理的意义下不是带边流形。技术细节在于：“带边流形”要求边界光滑地附着在流形上，开子集根本提供不了这种结构。

在物理、计算与工程中的实际意义#

在 电磁学 里，Maxwell 方程组的积分形式就是 Stokes 定理在微分形式框架下的直接应用。法拉第定律 $\oint E \cdot dl = -d\Phi_B/dt$ 正是把 Stokes 定理用在 1-形式 $E$ 上，环路围出一张曲面，$\Phi_B$ 就是穿过该曲面的磁通量。安培定律（含位移电流）对磁场做同样的陈述。工程师和物理学家把这些当作独立的实验定律来学；数学家一眼看出它们只是同一个 Stokes 恒等式。

在 流体力学 里，环量定理和 Kelvin 定理（理想流体的涡度守恒）直接依赖 Stokes 定理。Euler 流的涡度 2-形式是闭的，所以它沿任意随流体运动的曲面的积分保持不变。基于离散微分形式的数值流体求解器（Marsden-West 及其后续工作）在离散层面严格保持这一性质，彻底杜绝虚假的涡度源。

在 计算电磁学 里，有限元外微积分使用 Whitney 形式——边上的离散 1-形式，面上的离散 2-形式——配合离散的 Stokes 定理。离散方程对每个单纯形 $\sigma$ 都精确满足 $\int_{\partial \sigma} \omega = \int_\sigma d\omega$ 。最终效果是：模拟过程严格守恒电荷，不会出现虚假的单极子伪影。

带着更明确的问题回顾“下一步”#

第 10 篇文章会正式引入 Riemann 度量，把第一基本形式推广到任意流形。为了做好准备，我建议你带着这三个问题去读：

(1) 第 6 到 9 节一直停留在光滑结构层面：切向量、微分形式、积分。这些内容完全不需要度量。加上度量之后，哪些东西会改变？ (2) Levi-Civita 联络是唯一无挠且与度量相容的联络。为什么一定存在唯一的这种结构？为什么它偏偏就是正确的那一个？ (3) 指数映射 $\exp_p: T_pM \to M$ 把 $p$ 点的切向量送到沿测地线分布的点上。它是流形上“以 $p$ 为中心”的坐标图的类比。那么度量的类比对象是什么？它和球极投影有什么关系？

你现在已经掌握了积分工具。第 10 篇会补上度量。阅读时请不断追问：“$E$ 、$F$ 、$G$ 的流形类比是什么？它和联络如何相互作用？”答案很清晰：度量是一个 (0, 2)-张量，联络是向量场的导数，Levi-Civita 把两者绑在一起。这就是 Riemann 几何的概念核心。

最后一个完整算例：带角点贡献的四面体上的 Stokes 定理#

我取 $\mathbb{R}^3$ 中的四面体区域 $T \subset \mathbb{R}^3$ ，顶点在 $(0,0,0), (1,0,0), (0,1,0), (0,0,1)$ 。考虑 $\mathbb{R}^3$ 上的 2-形式 $\omega = z\, dx \wedge dy + x\, dy\wedge dz + y\, dz\wedge dx$ 。算外微分得 $d\omega = (1+1+1)\, dx \wedge dy \wedge dz = 3\, dV$ 。直接积分：$\int_T d\omega = 3 \cdot \text{vol}(T) = 3 \cdot 1/6 = 1/2$ 。

按 Stokes 定理，这应该等于 $\int_{\partial T} \omega$ 。边界由四个三角形面组成。先看 $xy$ 平面上的面（$z = 0$ ）：把 $z=0$ 代入，$\omega|_{z=0} = 0 \cdot dx\wedge dy + x\,dy\wedge dz - 0 = 0$ 。限制在 $xy$ 平面上时，$dz$ 消失，剩下的 $z\, dx\wedge dy$ 项也是零。同理，另外两个坐标平面上的面贡献也都是零。

所以全部贡献都来自斜面 $x + y + z = 1$ 。我把它参数化为 $z = 1 - x - y$ ，定义域是 $\{(x, y) : x, y \geq 0, x + y \leq 1\}$ 。把 $\omega$ 限制到这个面上，配上正确的外法向定向，积分结果理应等于 $1/2$ 。具体算一下：在三角形上积 $\int (z + x + y)\, dx\, dy$ 。因为斜面的面积元配合外法向 $(1, 1, 1)/\sqrt{3}$ ，三项贡献完全对称。代入 $x+y+z=1$ ，被积函数直接变成 1。三角形面积是 $1/2$ 。所以 Stokes 定理给出 $1/2$ 。验证完毕。

下一步#

我把这一章合上之前先点一下名。我们走过：定向、密度、用单位分解把局部坐标里的积分粘成全局积分；带边流形和它的诱导定向；广义斯托克斯定理 $\int_M d\omega = \int_{\partial M}\omega$ 把经典向量分析里的 Green、Gauss、Stokes 三个公式统一成一句话；然后是 de Rham 上同调、链复形、$\partial$ 和 $d$ 的互伴关系；最后是周期、绕数、链接数这些拓扑不变量作为积分配对的实际例子。

下一卷，我要从微分几何过渡到 Riemann 几何。表面上看是把"度量"放回中心位置，之前几章都在处理"形式"和"流"这样的不需要度量的对象，下一卷开始我们会在每个切空间上加一个内积 $g_p$ ，把它变成 Riemann 流形。但这不只是加一个结构那么简单。一旦有了度量，能问的问题立刻多了好几个量级：两点之间的测地线是哪一条？流形的曲率怎么从度量算出来？两个 Riemann 流形等距 $\Leftrightarrow$ 它们的曲率张量相同吗？

第一章我会从 Riemann 度量的定义开始，引入 Levi-Civita 联络（唯一一个既保持度量、又无挠的联络），然后是协变导数、平行移动、和测地线方程。Christoffel 符号会出现，但我尽量不让它们成为主角；它们只是"度量的一阶导数在某个坐标图下的表达"。真正的主角是几何对象本身：一条把弧长走到极小的曲线，一个度量让向量沿着曲线"平行"移动的规则。

到那时候你会发现，这一卷里的所有工具，切丛、形式、流、Stokes 定理，都变成了 Riemann 几何的语法。我们还会回头看：这一卷里那个绝妙定理（Gauss 曲率只依赖第一基本形式）原来是 Riemann 几何里更一般的"曲率张量是度量的二阶导数函数"的特例。从局部到全局、从外在到内在、从微分到拓扑，这门课走过的路径，到 Riemann 几何那里会再走一遍，只是规模更大。