形的关系.就像流形上向量场的外代数（张量代数也是）构成一个（基域 "K" 上的）李代数，流形上微分形式的德拉姆复形形成一个李余代数。进一步，在向量场与微分形式之间有一个配对。但形式要微妙些：李代数不是光滑函数 formula_5 上线性的（误差是李导数），外导数也不是：formula_6（它是一个导子，但不是函数线性的），它们不是张量。它们不是在函数上线性的，但它们有一种一致的表现，不能简单地由李代数与余代数刻画。进一步，在德拉姆复形中，导子不仅对 formula_7 有定义，而且对 formul