la_279的每个点formula_287给定一个formula_288的元素。大致来讲，微分形式是余切向量的全局版本。微分形式是微分几何的重要工具，其中，它们被用于定义德拉姆上同调和亚历山大-斯潘尼尔上同调。
推广.给定一个交换环formula_270和一个"formula_270"-模"formula_279"，我们可以定义和上文一样的外代数formula_292，它是张量代数formula_293适当的商。它会满足类似的泛性质。
物理应用.格拉斯曼代