可微流形/微分形式

定义（外积丛）:

令 $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$ 的截面。