一句话，统御一切
整篇指南就浓缩成这一行，值得在我们把它挣到手之前先盯它一会儿：d-omega 在区域 M 上的积分，等于 omega 在 M 的边界上的积分。写紧凑些，就是「M 上对 d-omega 的积分 = M 之边界上对 omega 的积分」。这就是 广义斯托克斯定理。等号左边，omega 是一个 微分形式，你取它的 外微分 d-omega，再 在整片区域上积分。等号右边，你取同一个 omega——不求导——在区域的边缘上积分。定理断言这两个数永远相等。不靠坐标，不靠向量场，也没有特例：一条方程，通吃一切维数。
留意藏在记号里的那份深层对称：等号左边有一个 d，搁在形式上；等号右边也有一个 d——边界符号——搁在区域上。外微分与边界算子，互为镜像。对一个形式取 d，在某种精确的意义上，正是对一个形状取边界的对偶。这就是接下来一切的引擎，也正是为什么本级前几篇花了那么久讲 外微分 与 链的边界。两半都是为了在这里相遇而铸造的——在同一个等号的两侧。
它为何成立：望远镜式的相消图景
这条定理最简单的情形，你早已深信不疑——你在第一门微积分课上就证过它。微积分基本定理 说：f'(x) dx 从 a 到 b 的积分，等于 f(b) - f(a)。用新语言来读它。区域 M 就是区间 [a, b]，一个一维的东西。它的边界只是两个点，端点 b 与 a。形式 omega 就是函数 f 本身（一个 0-形式），而 d-omega 就是 f'(x) dx。于是左边——M 上对 d-omega 的积分——是 f'(x) dx 沿区间的积分；右边——边界上对 omega 的积分——是 f 在两个端点处的取值，b 处带正号、a 处带负号，这正是边界的定向。广义定理，就是卸掉了辅助轮的微积分基本定理。
而高维的证明，骨子里就是把那条一维事实一遍遍地施加，再加上一场相消。图景如下。把区域 M 切成细密的小格网。在每个小格子上，定理几乎是平凡地成立——按上一篇里 d-omega 的构造方式，它度量的正是 omega 绕这小格子自身那圈微型边界时，没能相消掉的那一点点。现在对所有格子求和。当两个格子并肩相邻，它们共用一堵墙——而各自沿这堵共用墙的走向恰好相反。于是这堵内部的墙被积了两次、符号相反，相互抵消。每一堵内墙都恰被两个格子共用，都死于同样的死法。
当所有内墙都成对抵消之后，剩下什么？只剩那些只属于单个格子的墙——位于外缘的格子，它们朝外的那一面不与任何人共用。这些没被抵消的面，恰恰就是 M 的边界。于是「d-omega 在每个小格子上之和」塌缩成「omega 单单在外缘上的积分」。这与让一串差 f(x1)-f(x0) + f(x2)-f(x1) + … 折叠成 f(末) - f(首) 的那种望远镜式相消是同一回事：中间的一切湮灭殆尽，只剩首尾两端。广义斯托克斯定理，就是这架望远镜在所有维度上同时拉动。
调好旋钮：omega 的次数选定了哪条定理
妙处在于，这一条方程是带旋钮的。形式 omega 有个次数——它可以是 0-形式（一个函数）、1-形式、2-形式，等等——而区域 M 有个维数。游戏规则由积分号本身定死：你把一个 k-形式在 k 维区域上积分；若 omega 是 k-形式，则 d-omega 是 (k+1)-形式，于是 M 必须是 (k+1) 维、其边界是 k 维。把旋钮拨到不同的次数，同一条母方程便一字不差地印出一条不同的经典定理。格林定理、斯托克斯定理、散度定理，无非就是这一行字，把 omega 设成某一特定种类的形式、放在某一特定的维数里。
要让翻译跑起来，你需要上一篇里那本字典——把 向量微积分译成形式 的那本。回想它的三个词条。一个向量场 F 有一个搭档 1-形式（它的分量与 dx、dy、dz 配对）和一个搭档 2-形式（它的分量与带定向的面积片 dy^dz、dz^dx、dx^dy 配对）。对 0-形式 f 取 d，重现 梯度。对 F 的 1-形式取 d，重现 旋度。对 F 的 2-形式取 d，重现 散度。梯度、旋度、散度——向量微积分中三种长相迥异的运算——全都是同一个算子 d，只不过分别作用在次数为 0、1、2 的形式上。手握这本字典，每一条经典积分定理都成了对同一条母行字的一次读法。
MASTER: integral_M d-omega = integral_(boundary M) omega omega M (dim) d-omega is... classical theorem ------------------------------------------------------------- 0-form curve f'(x) dx Fundamental Thm of Calc f [a,b] int f' = f(b) - f(a) 1-form surface curl, as 2-form Stokes' theorem (F) in 3-space int curl F . dS = oint F . dr 1-form flat region curl_z, scalar Green's theorem (F) in plane int (Q_x - P_y) dA = oint P dx + Q dy 2-form solid div F, as 3-form Divergence (Gauss) theorem (F) in 3-space int div F dV = int_(surface) F . dS
看那经典三定理逐一掉落
我们一格一格地拨旋钮。先看 格林定理。设 M 是平面里一片平坦区域，omega 是附在平面场 F = (P, Q) 上的 1-形式 P dx + Q dy。用上一篇的规则算 d-omega：d(P dx) = (partial P / partial y) dy^dx，d(Q dy) = (partial Q / partial x) dx^dy，又因 dy^dx = -dx^dy，二者合成 (Q_x - P_y) dx^dy。于是母行字读作：(Q_x - P_y) dA 在区域上的积分，等于 P dx + Q dy 在其边界曲线上的积分。这正是格林定理——F 绕一圈的环量，等于它的标量旋度在所围面积上的积分。除了那本字典和那条母方程，什么都没假设。
现在把同一个 1-形式从平坦的平面上抬起来，披到三维空间中一张弯曲的曲面上，你便得到 斯托克斯定理——整套机器正是以它命名。omega 仍是 F 的 1-形式，但此刻 d-omega 是字典所认定、与 nabla cross F（F 的旋度）对应的那个完整 2-形式。母行字变为：(curl F) 与带定向面积元点乘后在曲面上的积分，等于 F 绕曲面边界圈的积分。用符号写，就是「S 上对 (nabla cross F) . dS 的积分 = 绕边界对 F . dr 的环路积分」。穿过一张曲面的场的旋涌，等于该场绕这曲面边缘的环量。格林定理不过是这条定理用平坦曲面的情形；斯托克斯定理则放任曲面弯折。
最后，把 omega 升到 2-形式，让 M 成为三维空间里一块实心的体块。此时 omega 是 F 的 通量 2-形式（它的分量与带定向面积片配对），而 d-omega 算出来是 体积形式 乘以 F 的 散度，即 3-形式 (div F) dx^dy^dz。母行字便成了 散度定理：div F dV 在实心体上的积分，等于 F 与朝外面积元点乘后在其边界曲面上的积分。封在一块体积里的场源总量，等于净通量从它的表皮漏出去的量。同一行字，omega 此刻是 2-形式、M 此刻是实心——第三条经典定理，从同一台印刷机里印出。
诚实的小字
这条定理很美，但它并非无条件成立，而那些条件，恰恰就是经典定理们一路悄悄背着的那几条。第一，定向。两边都是带定向的积分，而边界按一条固定规则从 M 继承定向——那著名的「朝外法向、右手环行」约定，无非就是这继承来的定向。若你把边界的定向翻转，右边就变号，方程便破。基本定理里 f(a) 前的那个负号、散度定理里朝外的法向、斯托克斯定理里的右手定则——这不是三条要分别死记的规则，而是同一条边界定向约定穿了三身戏服。定向不是你可以跳过的细枝末节；它是让方程为真的一半缘由。
第二，光滑性与正则性。标准陈述要求 omega 是连续可微的形式，且 M 是一个足够光滑的带边流形——紧致、定向、边界分片光滑。若 M 内部有一个奇点，比如一个在原点炸开的平方反比场，裸定理便管不着它：那个缺失的点是一个真实的洞，无视它就会算出错误的答案。这不是缺陷，而是通往下一篇的门。当 d-omega = 0、边界积分却偏偏不肯为零时，区域本身就有一个洞，而度量这场「失败」，恰恰就是 德拉姆上同调。小字，正是拓扑栖身之处。
一个值得提前堵住的常见误读：定理并不说边界积分总是零。只有当 M 根本没有边界时它才为零——像球面那样的闭曲面，不围出任何边缘。对这样的闭 M，右边消失，于是 d-omega 在其上的积分也为零；这正是「旋度的通量穿过任何闭曲面皆为零」那个利落理由。但对一个有真实边缘的区域，边界积分是个货真价实、一般不为零的数。还有一句诚实话：这一条定理统摄了那些经典定理，但学会它并不会让它们动手的机械作废。要真去算一个通量或一段环量，你照样得参数化曲面与曲线、按老办法把积分硬磨出来。形式的图景告诉你这些定理为何是一条、何时成立；它不替你做算术。
应当带走的东西
要紧抓住的是这想法的形状，而非任何一条公式。有一个算子 d 给形式求导，有一个算子取区域的边界，它们隔着一个积分号互为伴随——这就是全部内容。一旦你携着它，第三学期微积分里那堵有名有姓的定理之墙，便不再是墙：微积分基本定理、格林定理、斯托克斯定理 与 散度定理，是同一句陈述在旋钮四种设定下所见，而那些一向觉得任意的定向规则，化作了唯一的一条边界定向约定。你把一张要死记的清单，换成了一幅可理解的图像。
并且留意一根松着的线头，因为下一篇要拽它。母方程有一条搭档事实，本级前面已证过：外微分施加两次永远为零——d-omega 再取 d 便消失。透过斯托克斯定理来读，这一条代数恒等式说的是「边界的边界是空的」：一片区域的边缘，自身没有边缘。这正是为什么旋度没有散度、梯度没有旋度。「d 的平方是零」与「一个闭形式何时能写成某物的 d」二者间的交织，正是德拉姆上同调的种子，也是本级前行的方向。眼下，先让这条一行定理沉淀下来：在体内求导，在边界取值。