微分形式(differential form)是多变量 微积分， 微分拓扑和 张量分析领域的一个数学概念。现代意义上的微分形式，及其以楔积和外微分结构形成外代数的想法，都是由著名法国数学家埃里·卡当(Elie Cartan)引入的。

微分流形M上外形式丛的一个光滑截面.设ω：M→Λ(TM*)，若对于外形式丛的丛射影π，满足π°ω=id，则称ω为M上的微分形式.