外微分

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