一句話，統御一切
整篇指南就濃縮成這一行，值得在我們把它掙到手之前先盯它一會兒：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」二者間的交織，正是德拉姆上同調的種子，也是本級前行的方向。眼下，先讓這條一行定理沉澱下來：在體內求導，在邊界取值。