分算子。其现代形式是由嘉当发明的。
定义.一个"k"阶的微分形式的外微分是一个"k"+1阶的微分形式。对于一个"k"-形式ω = Σ "f dx"在R上，其定义如下：对于一般的"k"-形式 Σ "f" "dx" （其中多重指标"I"取遍所有{1, ..., "n"}的基数为"k"的有序子集），我们只作了线性推广。注意如果上面有formula_2则formula_3（参看楔积）。
性质.外微分满足三个重要性质：对于三维，若formula_