微分形式是多变量微积分、微分拓扑、张量分析及微分几何中的基本概念，指微分流形上外形式丛的光滑截面，具体表现为光滑流形到外形式丛的映射满足射影复合条件 。该概念由法国数学家埃里·卡当引入，其核心特性包括楔积和外微分构成的外代数结构 。
微分形式在局部坐标系下可表示为坐标函数的线性组合，具有外积代数结构并形成分次代数 。外微分运算满足d²=0，由此构建德拉姆复形，导出了闭形式与恰当形式的关系。斯托克斯定理作为微分形式积分理论的核心，将牛顿-莱布尼兹公式、高斯公式等经典结论统一为边界积分与区域积分的关系 。
微分形式的现代定义源于埃里·卡当的工作，他将微分形式与张量分析结合，构建了外代数体系框架 。该理论为微分几何研究提供了基础工具，并推广至向量丛取值的情形 。
想要了解更多“微分形式”的信息，请点击：微分形式百科
