为什么形式需要一种属于自己的乘法
在上一份指南里，你认识了微分形式——那个你塞到积分号底下的小装置——并学会了把像 P dx + Q dy 这样的1-形式读成一台计量器：它吃进一个小向量，吐出一个数。0-形式不过是一个标量函数；1-形式沿着曲线生活。但高维的积分还需要能度量有向面积和有向体积的对象：你在曲面上积分的2-形式，以及你在立体上积分的 3-形式。本指南要回答的问题是：你究竟如何用基本形式 dx、dy、dz 造出那些更高阶的形式——答案是一种全新的运算，一种与你用过的任何乘法都不同的乘法。
下面这条要求塑造了一切。一个 2-形式应当度量有向面积，而有向面积早已躺在你的工具箱里：两个向量张成的平行四边形面积是一个行列式，而行列式在你交换两列时会变号。把一小片朝一个方向扫过去，它记为正；把同一小片朝另一个方向扫过去，它记为负。所以，无论我们发明什么乘法来把 dx 和 dy 粘成一台面积计量器，它都必须是反对称的：交换两个因子必须翻转符号。这一条要求——朝向有讲究——就是楔积的全部脾性，其余的一切都由它逼出来。
楔积，以及驱动它的那个符号
[[calc-wedge-product|楔积]]，用尖角符号 ^（读作「楔」）书写，是形式的反对称乘法。它的奠基规则是 dx ^ dy = -(dy ^ dx)：交换两个 1-形式，你就拾起一个负号。一个立刻而惊人的后果是 dx ^ dx = 0——任何东西与自身相楔都得零，因为如果交换会翻转符号，那么一个等于自身相反数的东西必然为零。从几何上想象它：dx ^ dx 是要去度量一个两条边指向同一方向的平行四边形的面积。那个图形是退化的、扁平的、零面积的。这套代数不过是在如实讲述塌缩的盒子。
且看楔积如何重现叉积——那个它暗中推广了的东西。取两个 1-形式 alpha = a1 dx + a2 dy + a3 dz 与 beta = b1 dx + b2 dy + b3 dz，按寻常的分配律把它们乘开——但每当两个基本形式相撞，就施加楔积规则。同名的配对（dx ^ dx 之类）消失；混名的配对用 dy ^ dz = -(dz ^ dy) 合并。尘埃落定后存活下来的，是一个 2-形式，它的三个系数恰好就是叉积的三个分量 (a2 b3 - a3 b2)、(a3 b1 - a1 b3)、(a1 b2 - a2 b1)。你在第一卷学的叉积，其实一直就是楔积，只是被一桩幸运的巧合伪装了：三维空间恰好有三个独立的 2-形式，与它的向量个数相同。
两个结构性事实由此掉落，两个都值得攥住。其一，楔积累加阶数：一个 p-形式与一个 q-形式相楔得到一个 (p+q)-形式，所以你靠相乘攀上维数的阶梯。其二，存在一道硬天花板。在 n 维空间里，一旦一个楔积需要多于 n 个不同的基本 1-形式，就必有某个因子重复，重复使它消失，形式归零。所以在三维里 dx ^ dy ^ dz 是顶层——体积形式——而任何四阶或更高的东西恒等于零。整座塔只有 n+1 层，从 0-形式直到 n-形式，而楔积就是层与层之间的楼梯。
一个导数，统辖梯度、旋度与散度
现在请出本场的第二位主角：[[exterior-derivative|外微分]]，记作 d。它是一个单一的算子，把任何 k-形式变成一个 (k+1)-形式，恰好把阶数升高一级。这绝非偶然——它把阶数升高一级，正是为了能让「在一个区域上积分」对上「在其高一维的边界上积分」，而这正是你正攀向的那条统一斯托克斯定理的引擎。它最初的实例你早已认识。作用在一个 0-形式（一个朴素的函数 f）上，外微分就是微分 df = f_x dx + f_y dy + f_z dz——而那正是梯度，被重新包装成一个 1-形式。斜率 f_x、f_y、f_z 是梯度的分量；d 不过是把它们写进了 dx、dy、dz 这些槽位。
d 作用在任何形式上的配方既机械又简短：对每个系数求导（取它的完整微分，即 0-形式规则），再把结果楔到已经在那里的基本形式上。在平面上的一个 1-形式 omega = P dx + Q dy 上跑一遍。则 d omega = dP ^ dx + dQ ^ dy。展开 dP = P_x dx + P_y dy 与 dQ = Q_x dx + Q_y dy，把一切相楔，让反对称去做修剪：dx ^ dx 与 dy ^ dy 项消亡，存活者是 (Q_x - P_y) dx ^ dy。凝视那个系数。Q_x - P_y 正是坐在格林定理内部的那个环量密度——标量旋度。一个 1-形式的外微分，不费额外之力就把旋度交到你手上，而在三维里同一台机器交付完整的旋度向量。
- 0-形式 f 的 d 给出 df = f_x dx + f_y dy + f_z dz——这就是梯度，写成一个 1-形式。
- 1-形式（写成 P dx + Q dy + R dz 的向量场）的 d 给出一个 2-形式，其系数就是该场的旋度。
- 2-形式（同一个场写成 P dy^dz + Q dz^dx + R dx^dy）的 d 给出一个 3-形式，其唯一系数就是散度。
- 三个经典算子——梯度、旋度、散度——是同一个算子 d，仅由它所作用形式的阶数区分开来。
把整座阶梯描一遍，统一就落地了。一个标量场是 0-形式；施以 d 得梯度。一个向量场 (P, Q, R) 化为 1-形式 P dx + Q dy + R dz；施以 d，系数即旋度。同一个场，经由体积形式，又化为 2-形式 P dy ^ dz + Q dz ^ dx + R dx ^ dy；施以 d，那唯一的系数即散度。梯度、旋度、散度——你当作三张各自独立的公式表去学的三个算子——被揭示为同一个算子 d 披着三套戏服，仅由它从塔的哪一层起步而区分。这正是整段阶梯一手搭建、要交付的妙语。
主恒等式：d 用两次永远为零
这是整门学问里最不动声色、却最有力的方程：把 d 接连用两次，你总是一无所获。用符号写，[[d-squared-is-zero|d(d omega) = 0]] 对每个形式 omega 都成立——记作 d 的平方 = 0。它不是对好函数才成立的特例，也不是一桩幸运的巧合；它是一条恒等式，对每一阶的形式、在每一个光滑空间上都为真。取一次外微分，再取一次，无论你从什么出发，都被湮灭。本节余下的篇幅，就是要讲清它为何为真，以及它为何是你在形式微积分里将遇到的最有后果的一行。
原因是你早已信赖的两个事实之间一场美丽的相撞。在一个函数 f 上跑两次 d。第一次 d 给出 df = f_x dx + f_y dy。第二次 d 对那些系数求导并相楔：冒出像 f_xy dy ^ dx 与 f_yx dx ^ dy 这样的项。现在叠进两件事。其一，对光滑函数，混合偏导数相等——f_xy = f_yx——你也许知道这是克莱罗定理的混合偏导相等。其二，楔积是反对称的——dy ^ dx = -(dx ^ dy)。于是这两项大小相等、符号相反，恰好抵消。每一项都成对死去。d 的平方 = 0，剥到核心，就是「偏导数可交换」这句话，披着形式的反对称外衣。
d squared on a function f, watched term by term:
d f = f_x dx + f_y dy (the gradient, a 1-form)
d(d f) = d(f_x) ^ dx + d(f_y) ^ dy
= ( f_xx dx + f_xy dy ) ^ dx
+ ( f_yx dx + f_yy dy ) ^ dy
kill the repeats dx^dx = 0, dy^dy = 0 :
= f_xy ( dy ^ dx ) + f_yx ( dx ^ dy )
use dy ^ dx = -( dx ^ dy ) :
= ( f_yx - f_xy ) dx ^ dy
and for smooth f the mixed partials agree, f_xy = f_yx :
= 0
TWO classical identities fall out of this ONE line:
d(d f) = 0 <=> curl( grad f ) = 0
d(d omega_1) = 0 <=> div ( curl F ) = 0 (omega_1 a 1-form)现在收取红利，因为它极其丰厚。每一条形如「这个二阶导自动为零」的向量微积分恒等式，都不过是 d 的平方 = 0 在某个特定阶数上读出的结果。把 d 的平方作用在 0-形式上：d(df) = 0 说梯度的旋度等于零——梯度场从不环流。把 d 的平方作用在 1-形式上：d(d omega) = 0 说旋度的散度等于零——旋度场从无源头。两条你曾当作彼此独立、略带神秘的规则去背的著名事实，原来是同一条恒等式，从塔的两层看过去。一行 d 的平方 = 0，「旋度-梯度」与「散度-旋度」的一整袋恒等式便一举得解。
诚实的附则，以及这通向何方
对前提要诚实，因为 d 的平方 = 0 依赖于实打实的假设。这个证明用到了混合偏导相等，而那需要系数足够光滑——确确实实二阶连续可微。对一个二阶导有跳跃、或带奇点的函数，混合偏导可能不相等，抵消便不再自动发生。著名的例子是去掉原点的平面上的角度 1-形式 (-y dx + x dy)/(x^2 + y^2)：它在有定义之处处处满足 d omega = 0，可它绕原点一圈的积分却是 2 pi，而非零。这个形式是闭的，但原点处的那个孔意味着它不是任何全局函数的 d——这是一道仅凭 d 的平方 = 0 看不见的裂缝。
那道裂缝不是缺陷——它是一项特性，是通向下一份指南的门扉。恒等式 d 的平方 = 0 保证了：每一个本身是某物之 d 的形式（恰当形式）都自动被 d 杀死（成为闭形式）。自然的问题是反过来的：每个闭形式都恰当吗？在没有孔的区域上，是；在有孔的区域上，有时不是——而角度形式就是证人。闭与恰当之间的那道间隙，正是形式微积分用来探测一个空间的形状的工具，是后续指南所称上同调的种子。眼下，请攥住本指南的三座奖杯：一种在追踪朝向的同时造出更高形式的乘法，一个同时身兼梯度、旋度与散度的导数 d，以及那条让整座结构融贯如一的主恒等式 d 的平方 = 0。