三个导数，还是一个导数的三套戏服？
你登上这一阶梯时，手里揣着三个看似远房表亲的向量微积分运算。梯度把一个标量场变成一个向量场；你在第一卷里见过 grad f，那是由偏导数组成、指向上坡方向的向量。旋度把向量场送往向量场，度量局部的旋转，nabla cross F。散度把向量场送往标量，度量局部的发散，nabla dot F。三种不同的输入、三种不同的输出、三套要背的公式。本阶梯先前的几份指南一直在悄悄逼近同一句妙语：它们根本不是三个运算。它们是同一个运算——外微分 d——披着三套戏服而已。
它们看上去不同，是因为向量微积分偷偷把四种真正不同的对象，都打扮成仿佛只是「三维里的向量和标量」。一个函数是 0 形式。梯度产出的东西其实是 1 形式（为沿曲线积分而生的对象）。旋度产出的东西其实是 2 形式（为在曲面上积分而生）。而散度输出的是 3 形式 的密度部分（为在体积上积分而生）。在三维里，向量与这些 1 形式、2 形式恰好都有三个分量，于是记账方式撞在一起，我们便把形式误认作向量。外微分不在乎戏服——它在每一层都做同一件事：求导，再与新方向作楔积。
沿阶梯上行：每一级上的 d
让我们看这一个算子把三件活全干完，用坐标写出来，好让伪装当面剥落。从一个 0 形式——就是一个函数 f(x, y, z)——开始。施加 d：依定义 df = (partial f / partial x) dx + (partial f / partial y) dy + (partial f / partial z) dz。这三个系数恰是 grad f 的分量。所以 d 作用在 0 形式上就是梯度。再取一个 1 形式 omega = P dx + Q dy + R dz——这是梯度的产物，那个伪装成向量场 (P, Q, R) 的家伙。再施加一次 d；规则（对每个系数求导，与新的 dx/dy/dz 作楔积，并用 dx wedge dx = 0 以及 dx wedge dy = minus dy wedge dx）碾出来的系数，恰好就是 curl F 的三个分量。所以 d 作用在 1 形式上就是旋度。
再上一级，取一个 2 形式，比如 A dy wedge dz + B dz wedge dx + C dx wedge dy——这是伪装成向量场 (A, B, C) 的东西，也正是旋度的产物。第三次施加 d：再求导、再作楔积，一切都坍缩到唯一可用的顶层槽位 dx wedge dy wedge dz 上。它那个孤零零的系数是 partial A / partial x + partial B / partial y + partial C / partial z——恰是 div F。所以 d 作用在 2 形式上就是散度。一个算子，三级阶梯，三张面孔。整套机制都浓缩在下面这条空间链里，它也是本指南所立之本的核心事实：整个向量微积分就是外微分在不同层级上的读法。
0-forms --d--> 1-forms --d--> 2-forms --d--> 3-forms
(functions) (P,Q,R) (A,B,C) (density)
| | |
grad curl div
And the punchline of the rung -- two steps in a row vanish:
d(df) = 0 <-> curl(grad f) = 0
d(d omega) = 0 <-> div(curl F) = 0
i.e. d^2 = 0 IS the pair of vector identities you memorized.d 做两次是零——以及「闭」与「恰当」是什么意思
再看一眼方框里那条事实 d 平方等于零。对任何东西施加两次 d，你都恒等地得到零，无论那是什么。在向量微积分的戏服里，这一条法则就是你当年被丢来背诵的两个著名恒等式：梯度的旋度恒为零（df 的 d 为零），以及旋度的散度恒为零（某个 1 形式的 d 再求 d 为零）。两个看似各自独立的「幸运」恒等式，原来是同一个事实：d 与 d 复合便坍缩，因为混合偏导数可交换、而楔积反对称——对称的二阶导数撞上反对称的楔积，便成对抵消。这就是全部机制，且它一路诚实到底。
这一条法则把所有形式劈成两个互相嵌套的家族，而它们之间的缝隙就是接下来的全部故事。一个形式 omega 叫闭的，若 d omega = 0——求导一无所得。一个形式 omega 叫恰当的，若它本身是某物的导数，omega = d alpha，alpha 是低一级的某个形式。因为 d 平方为零，每个恰当形式都自动是闭的：若 omega = d alpha，则 d omega = d(d alpha) = 0。恰当蕴含闭，永远如此。那个深刻而出人意料的问题——通向上同调之门的那个——是它的逆命题：每个闭形式都恰当吗？有时是，有时，撩人地，不是。
把这套字典翻回向量微积分的话，你会认出老朋友。一个 1 形式是闭的，当它的旋度为零——一个无旋场。一个 1 形式是恰当的，当它是某个梯度——一个带势的保守场。所以「每个闭 1 形式都恰当吗？」恰恰就是「每个无旋场都是某个势的梯度吗？」这个问题。你依稀记得第一卷里答案是「是」——在一块漂亮的单连通团块上，答案确实是「是」。那行小字、那个答案翻转为「否」的地方，恰恰正是空间的几何开始起作用之处。那就是门口。
平面上的那个洞：一个闭而不恰当的形式
这就是那个典范例子，值得一辈子揣在兜里。在去掉原点的平面上，定义「角度 1 形式」omega = (minus y dx + x dy) / (x^2 + y^2)。把偏导数代进闭性检验里一摇，它们恰好抵消：d omega = 0，这个形式在它有定义的每一处都是闭的。于是按局部规则它应当恰当，omega = d(theta)，theta 是极角。而 omega 确实是 f = arctan(y/x) 的 df——在局部。麻烦出在整体：角 theta 在挖了洞的平面上不是单值函数。绕原点走一圈，theta 增加 2 pi；它永远定不下一个值。诚实的整体势并不存在。
积分把这道障碍变得可见、可量化。把 omega 沿一条逆时针环绕原点的回路积一圈，你恰好得到 2 pi——不是零。但若 omega 恰当，omega = df，那么由梯度定理，它绕任何闭回路的积分都必须为零（你回到 f 的同一个值）。一个非零的回路积分，就是「整体势 f 不可能存在」的铁证。回路探测到了那个洞。还要注意：对每一条只绕原点一圈的回路，无论它怎么扭动，积分都是同一个 2 pi；它只取决于你绕那个缺失点几圈，与路径的形状无关。这个形式在度量拓扑。
闭模恰当：德拉姆上同调数出那些洞
现在把闭与恰当之间的缝隙，做成一个你能度量的对象。在每个次数 k 上，取所有闭的 k 形式，再把恰当的那些商掉——也就是说，当两个闭形式相差一个恰当的东西（某个 d alpha）时，宣布它们「相同」。剩下的是一个向量空间，第 k 个德拉姆上同调 H^k。它的含义美得惊人地几何：H^k 的维数数出空间里独立的 k 维洞。闭而不恰当的形式是这个商运算的幸存者，每一个独立的幸存者，都见证着一个任何势都填不上的洞。微积分——偏偏是微积分——学会了数洞。
透过这副镜片去读挖了洞的平面。它的第一上同调 H^1 是一维的，那唯一幸存的生成元，恰是我们的角度形式 omega。「一维」是代数在说「恰有一个洞」，而那个洞就是缺失的原点。挖了洞的平面上任何闭 1 形式，至多差一个恰当的修正，都不过是角度形式的某个倍数——它绕原点的回路积分（它的缠绕数乘 2 pi）是唯一幸存的不变量。相形之下，在一块没有洞的实心圆盘上，H^1 是零维的：那里每个闭 1 形式都恰当，庞加莱引理毫无例外地成立，每个无旋场都当真有势。上同调，恰恰就是「庞加莱引理在何处失效」的那本账。
不同维数的洞栖息在不同次数上，而这个对应美妙地直白。H^0 数连通片（它的维数就是分离分量的个数）。H^1 数一维的洞——你缩不掉的回路，比如环绕缺失原点的那条、或穿过甜甜圈孔洞的那条。H^2 数二维的空腔——你填不上的空洞，比如球面内部那团空，由一个闭 2 形式（一个无散通量，比如点电荷的场）侦测，它在包围曲面上的积分拒绝为零。同一套闭而不恰当的机制，升高一级，如今诊断的是一个被围住的源，而非一个被绕住的洞。
为什么这是恰当的收尾——以及一道诚实的边界
退后一步，看一个算子把你带得多远。外微分把梯度、旋度、散度统一成单一的 d；它那条 d 平方等于零的法则，把两个背诵来的向量恒等式坍缩成一个；同一条法则把形式劈成闭的与恰当的；而这两者之间的缝隙——由德拉姆上同调度量——竟然数出了底层空间里的洞。整座大厦由本阶梯前文那条广义斯托克斯定理撑起：d omega 在一个区域上的积分等于 omega 在其边界上的积分，这正是闭形式的回路积分何以只取决于回路所环绕之物。微分、拓扑、积分，是同一个结构的三张面孔。
对德拉姆上同调看得见什么、看不见什么，要诚实。它由光滑形式与实数系数搭成，因而看不见「挠率」——更精细的扭转，比如莫比乌斯带那种单侧的古怪，需要整数系数才登记得上；在实数上它们就隐形了。德拉姆那条著名定理说，这套实系数上同调，与你把空间剖成三角形所数出的拓扑洞精确吻合——但只是拓扑中「遗忘整数后仍存活」的那部分。所以上同调是一台有力的数洞机，而非全知者：它捕捉一个空间形状的有理影子，一个忠实的影子，可终究是个影子。
这惊鸿一瞥通向何方？直入现代数学与物理的心脏。「它是闭而不恰当的吗？」这个问题，是规范理论的种子（磁的向量势是一个 1 形式，场是它的 d，而阿哈罗诺夫–玻姆效应实实在在就是一个绕洞的非零回路积分）、是霍奇理论的种子、也是那套统摄大半几何与拓扑的上同调的种子。你登上这道阶梯是为了算积分、解方程；你离开它时，已能看见向量微积分的三个导数本就是一个，并且「势之不存在」不是个麻烦，而是一次测量——测量微积分所栖身的那个世界的形状。