Kamus

という追加の性質を持つもの—がある。V 上の k-重線型交代形式の全体 Ak(V) は、V* の k-次外冪 ⋀k(V*)に同型であり、交代多重線型形式は多重余ベクトル (multi-covector) に対応する。 微分形式は多様体上の共変テンソル場であり、多様体の各点 p において p における接空間上の交代多重線型形式を与える。