外微分

数学上，微分拓扑的外微分算子，把一个函数的微分的概念推广到更高阶的微分形式的微分。它在流形上的积分理论中极为重要，并且是德拉姆上同调和Alexander-Spanier上同调中所使用的微分算子。其现代形式是由嘉当发明的。

定义

一个k阶的微分形式的外微分是一个k+1阶的微分形式。

对于一个k-形式ω = Σ_I f_I dx_I在Rⁿ上，其定义如下：

d{\omega }=\sum _{i=1}^{n}{\frac {\partial f_{I}}{\partial x_{i}}}dx_{i}\wedge dx_{I}.

对于一般的k-形式 Σ_I f_I dx_I （其中多重指标I取遍所有{1, ..., n}的基数为k的有序子集），我们只作了线性推广。注意如果上面有 $i=I$ 则 $dx_{i}\wedge dx_{I}=0$

（参看楔积）。

外微分满足三个重要性质：

d(\omega \wedge \eta )=d\omega \wedge \eta +(-1)^{{\rm {deg\,}}\omega }(\omega \wedge d\eta )

d(d\omega )=0\,\!

可以证明外微分由这些性质和其与 0-形式（函数）上的微分的一致性唯一决定。

d 的核由闭形式组成，而其像由恰当形式组成（参看恰当微分）。

给定一个k-形式ω和任意光滑向量场V₀,V₁, …, V_k我们有

d\omega (V_{0},V_{1},...V_{k})=\sum _{i}(-1)^{i}V_{i}\omega (V_{0},...,{\hat {V}}_{i},...,V_{k})

+\sum _{i<j}(-1)^{i+j}\omega ([V_{i},V_{j}],V_{0},...,{\hat {V}}_{i},...,{\hat {V}}_{j},...,V_{k})

其中 $[V_{i},V_{j}]$ 表示李括号，而帽子记号表示省略该元素: $\omega (V_{0},...,{\hat {V}}_{i},...,V_{k})=\omega (V_{0},...,V_{i-1},V_{i+1}...,V_{k}).$

特别的有，对于1-形式，我们有：

d\omega (X,Y)=X(\omega (Y))-Y(\omega (X))-\omega ([X,Y]).

更一般的，李导数由李括号定义：

{\mathcal {L}}_{X}Y=[X,Y]

,

而一般微分形式的李导数和外微分密切相关。区别主要是记号上的；各种两者之间的恒等式可以在李导数条目找到。

下面的对应关系揭示了向量微积分的诸多公式实际上只是上述外微分的三个法则的特殊情况而已。

对于一个0-形式，也就是一个光滑函数f: Rⁿ→R，我们有

df=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}\,dx_{i}.

所以，对于向量场 $V$

df(V)=\langle {\mbox{grad }}f,V\rangle ,

其中grad f代表f的梯度而<•, •>是标量积。

对于一个1-形式 $\omega =\sum _{i}f_{i}\,dx_{i}$ 在R³上，

d\omega =\sum _{i,j}{\frac {\partial f_{i}}{\partial x_{j}}}dx_{j}\wedge dx_{i},

它限制到三维情况 $\omega =u\,dx+v\,dy+w\,dz$ 就是

d\omega =\left({\frac {\partial v}{\partial x}}-{\frac {\partial u}{\partial y}}\right)dx\wedge dy+\left({\frac {\partial w}{\partial y}}-{\frac {\partial v}{\partial z}}\right)dy\wedge dz+\left({\frac {\partial u}{\partial z}}-{\frac {\partial w}{\partial x}}\right)dz\wedge dx.

因此，对于向量场 $U$ , $V=[u,v,w]$ 和 $W$ 我们有 $d\omega (U,W)=\langle {\mbox{curl}}\,V\times U,W\rangle$ 其中curl V代表V的旋度 ×是向量积，而<•, •>是标量积。

对于一个2-形式 $\omega =\sum _{i,j}h_{i,j}\,dx_{i}\wedge dx_{j},$

d\omega =\sum _{i,j,k}{\frac {\partial h_{i,j}}{\partial x_{k}}}dx_{k}\wedge dx_{i}\wedge dx_{j}.

对于三维，若 $\omega =p\,dy\wedge dz+q\,dz\wedge dx+r\,dx\wedge dy$ 我们得到

$d\omega \,$	$=\left({\frac {\partial p}{\partial x}}+{\frac {\partial q}{\partial y}}+{\frac {\partial r}{\partial z}}\right)dx\wedge dy\wedge dz$
	$={\mbox{div}}V\,dx\wedge dy\wedge dz,$

其中V是一个向量场定义为 $V=[p,q,r].$

对于1-形式 $\sigma =u\,dx+v\,dy$ on R²我们有

d\sigma =\left({\frac {\partial {v}}{\partial {x}}}-{\frac {\partial {u}}{\partial {y}}}\right)dx\wedge dy

这刚好就是在格林定理中被积分的2-形式。

\nabla \times (\nabla f)=0

与

\nabla \cdot (\nabla \times \mathbf {F} )=0

皆是外微分第三性质—— $d^{2}=0\,$ 的特例。