数学上，微分拓扑的外微分算子，把一个函数的微分的概念推广到更高阶的微分形式的微分。它在流形上的积分理论中极为重要，并且是德拉姆上同调和Alexander-Spanier上同调中所使用的微分算子。其现代形式是由嘉当发明的。
定义.一个"k"阶的微分形式的外微分是一个"k"+1阶的微分形式。对于一个"k"-形式ω = Σ "f dx"在R上，其定义如下：对于一般的"k"-形式 Σ "f" "dx" （其中多重指标"I"取遍所有{1, ..., "n"}的基数为"k"的有序子集）