可微流形/微分形式

定義（外積叢）:

令 $M$ 是一個可微流形，並且 $\bigoplus ^{n}T^{*}M$ 是 $(0,n)$-張量叢 of $M$。$n$ 度外積叢，記作 $\bigwedge ^{n}T^{*}M$，是 $\bigoplus ^{n}T^{*}M$ 的子叢，由 $\bigoplus ^{n}T^{*}M$ 中對所有向量叢同構不變的元素構成。

定義（n-形式）:

令 $M$ 是一個可微流形。一個 $n$-形式 on $M$ 是

$\Gamma \left(\bigwedge ^{n}T^{*}M\right)$,

向量叢 $\bigwedge ^{n}T^{*}M$ 的截面。