数学上，微分拓扑的外微分算子，把一个函数的微分的概念推广到更高阶的微分形式的微分。它在流形上的积分理论中极为重要，并且是德拉姆上同调和Alexander-Spanier上同调中所使用的微分算子。其现代形式是由嘉当发明的。
定义
一个k阶的微分形式的外微分是一个k+1阶的微分形式。
对于一个k-形式ω = ΣI fI dxI在Rn上，其定义如下：
::d{\omega} = \sum_{i=1}^n \frac{\partial f_I}{\partial x_i} dx_i \wedge dx_I.
对于一般的k-形式 ΣI fI dxI （其中多重指标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)
- d2 = 0，蕴涵了混合偏导数的恒等式的公式，所以总有
::d(d\omega)=0 \, \!
可以证明外微分由这些性质和其与 0-形式（函数）上的微分的一致性唯一决定。
d 的核由闭形式组成，而其像由恰当形式组成
（参看恰当微分）。
坐标不变公式
给定一个k-形式ω和任意光滑向量场V0,V1, …, Vk我们有
:d\omega(V_0,V_1,...V_k)=\sum_i(-1)^i V_i\omega(V_0,...,\hat V_i,...,V_k)
::+\sum_{i
其中[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}_XY=[X,Y],
而一般微分形式的李导数和外微分密切相关。区别主要是记号上的；各种两者之间的恒等式可以在李导数条目找到。
微积分中的外微分
下面的对应关系揭示了向量微积分的诸多公式实际上只是上述外微分的三个法则的特殊情况而已。
梯度
对于一个0-形式，也就是一个光滑函数f: Rn→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在R3上，
: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我们得到
:
其中V是一个向量场定义为 V = [p,q,r].
范例
对于1-形式\sigma = u\, dx + v\, dy on R2我们有
: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\, 的特例。
参看
*外共变导数
*格林定理
*斯托克斯定理
Forma różniczkowa#Różniczka zewnętrzna formy
Дифференциальная форма#Связанные определения
评论 (0)