外微分形式

外微分形式，又称微分形式，是微分流形上定义的反对称协变张量场。我们从R中的开集的情形开始。一个0-形式（0-form）定义为一个光滑函数f. 当我们在R的m-维子空间S上对函数f积分时，我们将积分写作[1]：微分形式是多变量微积分、微分拓扑和张量分析领域的一个数学概念。现代意义上的微分形式，及其以楔积(wedge product)和外微分结构形成外代数的想法，都是由法国数学家埃里·嘉当引入的。