外微分（exterior derivative）
外微分 d 是微分形式唯一的真正導數。它是單一的運算，依次數不同，一口氣再現了向量微積分的梯度、旋度與散度——而且完全不需要選定度量或座標。對函數施以 d，得到它的微分（一個記錄函數如何變化的 1-形式）；再施一次 d，恆得到零。最後這個事實 d^2 = 0，正是一切上同調的種子。
精確地說，d: Omega^k(M) -> Omega^{k+1}(M) 是滿足下列條件的唯一線性算子：(i) 在 0-形式（函數）f 上，df 是普通微分，df = sum (partial f / partial x^i) dx^i；(ii) 分次萊布尼茲（反導子）規則 d(alpha ^ beta) = d alpha ^ beta + (-1)^{deg alpha} alpha ^ d beta；以及 (iii) 對每個 omega 有 d(d omega) = 0。在座標下，對 omega = f_I dx^I，你只要取 d omega = df_I ^ dx^I，只對係數函數求微分再把它的微分楔上去。它與拉回可交換（d f^* = f^* d），這正是使它是幾何的、而非被綁在座標上的原因。
為何 d^2 = 0 重要：它說恰當形式（形如 d alpha 者）自動是閉的（對它們取 d 為零），而閉與恰當之間的落差正是德拉姆上同調。二階導數混合偏導的對稱性恰好強制了 d^2 = 0。一個經典的翻譯：在 R^3 中，d 作用在函數上是 grad、作用在 1-形式上是 curl、作用在 2-形式上是 div；於是 d^2 = 0 編碼了兩個恆等式 curl(grad f) = 0 與 div(curl F) = 0。所以向量微積分那兩個著名的消失恆等式其實是同一個陳述：d^2 = 0。
在 R^3 上取 omega = P dx + Q dy + R dz，計算 d omega = dP^dx + dQ^dy + dR^dz，展開並合併：d omega = (Q_x - P_y) dx^dy + (R_y - Q_z) dy^dz + (P_z - R_x) dz^dx。這些係數恰好是 curl(P, Q, R) 的各分量。而對函數 f，d(df) = sum f_{ij} dx^i^dx^j = 0，因為 f_{ij} = f_{ji} 對稱、而 dx^i^dx^j = -dx^j^dx^i 反對稱——相等的對稱量乘以反對稱量求和為零。
R^3 中作用在 1-形式上的 d 就是旋度；d^2 = 0 正是混合偏導的對稱性，亦即 curl(grad) = 0。
外微分不需要聯絡、不需要度量、也不需要定向——它純粹是光滑結構的資料，這正是德拉姆上同調自動成為微分同胚不變量的原因。別把 d 與協變導數 nabla 搞混，後者確實需要聯絡，且作用在一般張量上，而非只是交錯張量。