我們在階梯上的位置
你來到這裡時，腦中已有一幅清晰的圖像：光滑流形 M、每點上的切空間 T_p M，以及其截面即為 1-形式的餘切叢 餘切叢 T*M——這些你早已學會如何拉回、如何餵給一個向量。本級提出一個更尖銳的問題：在 M 的某個 k 維片段上，該被積分的正確對象是什麼？答案是微分 k-形式；而要構造它，我們得先在每一點上備好一個純線性代數的裝置。因此這篇開場指南刻意以代數為先；微積分（外微分）要等到第二篇。
先誠實說一句：這些是研究所層級的主題。我們假設你已熟悉線性代數、多變數微積分、點集拓撲，以及第一冊對光滑流形的概覽——流形、坐標卡、切空間這類詞在此直接使用，不再重新推導。凡是第一冊的對象出現時，我們會連結回去，而非重新講授。若其中任何一項仍不踏實，那便是該先回頭複習的一級。
交錯，意即帶定向
從單一切空間 V = T_p M 出發，它就是個普通的實向量空間。p 點上的一個 k-形式，是一個吃下 k 個向量、吐出一個數的函數，對每一個槽都線性，而且——關鍵在此——只要交換它的任兩個輸入，符號就翻轉。最後這個性質就是交錯的意思，也是這整門學問的全部性格：一個 交錯張量 量的不是一串向量「有多大」，而是它們張成的平行多面體的帶號、帶定向的體積。交換兩條邊，定向反轉，符號就翻轉。
你其實早就見過這隻野獸，只是還沒給它名字。在 R^3 中，外積 v x w 是那個唯一的向量，它與第三個向量作三重積便給出帶號體積；而純量三重積 det[u v w] 正是一個交錯 3-形式餵入三個向量。把這股「行列式的味道」當真，並讓它一次活在每個維度裡、而不只在 R^3，所得到的便是外代數。這也正是行列式在交換兩列時會變號的原因——行列式本身就是最高階的交錯形式。
楔積：構築更高階的形式
給定兩個 1-形式 alpha 與 beta（各是單一餘向量），它們的楔積 alpha ^ beta 是一個 2-形式，其定義使它自動帶交錯性：(alpha ^ beta)(v, w) = alpha(v) beta(w) − alpha(w) beta(v)。注意那個行列式的樣式又出現了——它是這些值構成的 2x2 行列式。楔積就是外代數的乘法：結合、雙線性，且分次反交換，意思是當 alpha 是 p-形式、beta 是 q-形式時，alpha ^ beta = (−1)^(pq) (beta ^ alpha)。對兩個 1-形式而言這個符號是 −1，所以 alpha ^ alpha = 0。
為 V* 取一組餘向量基底 dx^1, ..., dx^n。那麼每一個 k-形式都是嚴格遞增指標 i_1 < ... < i_k 的楔積 dx^(i_1) ^ ... ^ dx^(i_k) 的線性組合。數一數這些遞增指標集，就得到 k-形式空間的維數：「n 取 k」。這些維數 1, n, ..., 1 的樣式正是巴斯卡三角形；而最高階的空間（k = n）是一維的——那唯一的生成元 dx^1 ^ ... ^ dx^n，便是 V 的帶定向體積元。
dim Lambda^k(V*) = C(n,k) n = dim V
n = 3 : k=0 k=1 k=2 k=3
1 dx,dy,dz dx^dy,... dx^dy^dz
1 3 3 1
rule: dx ^ dy = - dy ^ dx , dx ^ dx = 0從一點到一流形：微分形式
現在讓點動起來。M 上的一個微分 k-形式 omega，是在每一點 p 上對 T_p M 的一個交錯 k-形式所作的光滑選取——也就是 k-形式叢（餘切叢 T*M 的第 k 個外冪）的一個光滑截面。在坐標為 x^1, ..., x^n 的坐標卡裡，你寫成 omega = sum of f_I dx^(i_1) ^ ... ^ dx^(i_k)，其中每個係數 f_I 是光滑函數，而 I 跑遍遞增指標集。0-形式不過是個光滑函數；1-形式是熟悉的餘向量場；n-形式則是個「帶號的密度」，可在帶定向的 M 上積分。
為何非得堅持交錯的截面，而非任意張量？因為唯有這個結構在坐標變換下變換得恰到好處：多變數換元公式裡冒出的雅可比行列式，正正就是楔積的記帳。當你寫下 dx ^ dy 並改用極坐標時，那個你從微積分裡「記得要補上」的因子 r，其實就是坐標變換的行列式——它會自動從楔積中掉出來。形式正是自帶換元律的那種對象。
有一個運算現在就值得命名，因為第二篇會重重倚賴它：拉回。給定光滑映射 f: M -> N 與目標 N 上的一個形式 omega，你可以把它拖回到源 M 上的形式 f*omega，做法是在每個槽裡與 f 的微分做前合成。拉回尊重楔積——f*(alpha ^ beta) = f*alpha ^ f*beta——而且，正如我們將見到的，它與外微分可交換。形式天生沿映射往回流，這恰恰是它們如此守規矩的原因。
如何讀寫一個形式（一個小練習）
與形式打交道，多半就是用那兩條符號規則記帳，慢慢做一次很值得。設在 R^3 上你有 alpha = dx + 2 dy 與 beta = y dx + dz，要算 alpha ^ beta。你先雙線性地展開，再殺掉任何重複的因子，並把其餘的重新排序、每交換一次補一個符號。練習如下，一步一步來。
- 雙線性展開：alpha ^ beta = (dx + 2 dy) ^ (y dx + dz) = y (dx^dx) + (dx^dz) + 2y (dy^dx) + 2 (dy^dz)。
- 殺掉重複：dx^dx = 0，故第一項消失。任何與自身楔積者皆歸零。
- 重排成遞增指標順序，每交換一次翻一個符號：2y (dy^dx) = −2y (dx^dy)。
- 把標準基底 2-形式收攏起來：alpha ^ beta = −2y (dx^dy) + (dx^dz) + 2 (dy^dz)。這就是答案，一個有三個光滑係數的 2-形式。
為何這套代數是正確的起點
形式之所以稱職，是因為它正是本級所需每個算子的居所。外微分 d（第二篇）把一個 k-形式變成 (k+1)-形式，並把梯度、旋度、散度收攏為一條規則。積分（第三篇）餵給一個 n-形式一塊帶定向的區域、回傳一個數，引出廣義的斯托克斯定理。接著，閉形式與恰當形式的概念定義出德拉姆上同調（第四、五篇），用以偵測 M 中的孔洞。少了你方才構築的這套交錯代數，這一切都無從談起。
還有第二層運算現在值得標記一下，好讓那些名字日後不致陌生：內積（縮並）把一個向量縮入形式中、使其階數降一，與 d 合起來便給出李導數的卡當魔法公式——這是沿流移動形式背後的代數引擎。而一旦你加上一個黎曼度量，度量便供給霍奇星算子，進而給出拉普拉斯-貝爾特拉米算子，形式於此與分析相遇。這些屬於後面的指南；在此提及，僅作為一張疆域地圖。
最後一則關於慣例的誠實提醒：符號與歸一化的選擇在各教科書間天差地遠。有些把楔積前面定義一個組合因子 1/(p! q!)，有些沒有；有些對指標的排序也不同。兩種選擇各自內部自洽，誰也不比誰「更正確」。挑定一個來源，記下它的慣例，並對它忠誠到底——本主題最常見的困惑並非觀念性的，而是混用兩本書時撿來的一個多餘的階乘。