為什麼形式需要一種屬於自己的乘法
在上一份指南裡，你認識了微分形式——那個你塞到積分號底下的小裝置——並學會了把像 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。