外微分（exterior derivative）
普通微积分里的求导把函数变成一个你能在稍大对象上积分的东西——你对高度求导得到斜率，再沿路径把斜率积回去。外微分 d 是一次性对每个阶数的形式都做这件事的单一算子。它把 k-形式变成 (k+1)-形式，把你能积分对象的维数升一，且方式恰好与“在区域上积分对比在其边界上积分”相吻合。
对 0-形式（函数 f），外微分给出熟悉的微分 df = f_x dx + f_y dy + f_z dz——写成 1-形式的梯度。对更高阶形式，你对每个系数施加 d 再楔上新的 dx：对 1-形式 omega = P dx + Q dy，你得到 d omega = dP^dx + dQ^dy，展开并用反对称性后塌缩为 (Q_x - P_y) dx^dy——而这个系数 Q_x - P_y 正是格林定理里那个类似旋度的量。算子 d 是线性的，服从分级乘积法则 d(alpha^beta) = d alpha^beta + (-1)^p alpha^d beta，并且构造得不依赖你的坐标选取：同一个形式无论你用笛卡尔、极坐标还是任何其他图卡来算，都有相同的外微分。
外微分是统一者。施加于 R^3 中的形式时，它依次重现梯度（0-形式的 d）、旋度（1-形式的 d）、散度（2-形式的 d）——向量微积分的三个算子原来是同一个。它最深刻的性质，d 平方等于零，一笔就把 curl of grad = 0 与 div of curl = 0 两个恒等式编码进去，并且它是通往广义斯托克斯定理与德拉姆上同调的大门。
取 1-形式 omega = x y dx + x^2 dy。则 d omega = d(x y)^dx + d(x^2)^dy = (y dx + x dy)^dx + (2x dx)^dy。用 dx^dx = 0 与 dy^dx = -dx^dy，这等于 x dy^dx + 2x dx^dy = -x dx^dy + 2x dx^dy = x dx^dy。系数 x 等于 Q_x - P_y = (2x) - (x)，证实了旋度的解读。
对平面上的 1-形式施加 d，把标量旋度 Q_x - P_y 重现为 dx^dy 的系数。
外微分不需要度规、不需要点积、不需要距离概念——它纯粹关乎形式如何变化。这正是它能存活到任意光滑流形上的原因，而梯度与散度——它们暗中借助度规来升降指标——只是它依赖坐标与度规的翻译版本。