交代多重線型形式

多重線型代数における交代多重線型形式（こうたいたじゅうせんけいけいしき、）、多重線型交代形式 ("multi­linear alternating form") または反対称多重線型形式 ("anti­symmertic multi­linear form") は、どの二つの変数でも一致するとき値が零となるような多重線型形式を言う。まぎれの虞が無いならば短く、交代形式や反対称形式などともいう。
線型代数学における行列の行列式や、微分幾何学における微分形式は多重線型交代形式の重要な例である。
定義.
体 上のベクトル空間 上で定義された多重線型形式 が交代的 ("alternating") あるいは反対称 ("antisymmetry") とは、追加の性質（反対称性）: formula_1 を満たすときに言う。ただし、 は集合 上の置換で、 は置換の符号（偶置換のとき , 奇置換のとき ）とする。帰結として、交代多重線型形式はその任意のふたつの引数の入れ替えに関して反対称: すなわち、互換 に対して formula_2 となることが従う。さらに の標数が でないと仮定すれば、反対称性の式で formula_3 と置くことにより、交代性: formula_4 が従う。文献によっては、最後の条件を交代形式の定義にもちいるものもあることに注意する。交代的ならば反対称であることは常にいえるが、既に述べたように、標数が のときには逆は言えないので注意が必要である。
 上の -重線型交代形式は（特に係数体が のとき）、-階の多重余ベクトル ("multicovector of degree ") または -重余ベクトル（あるいは短く -余ベクトル; "-covector"）と呼ばれ、-重線型交代形式全体の成すベクトル空間を共変テンソルの空間 formula_5 の部分空間と見なすとき、一般には formula_6 あるいはそれと同型な -次外冪の記法で formula_7（ は の双対空間）などと書く。線型汎函数（多重線型 -形式）は自明に交代的であるから formula_8 であり、また -形式はスカラーのことと約束することにより formula_9 であることに注意する。
楔積.
交代多重線型形式のテンソル積は一般にはもはや交代的とはいえない。しかし、テンソル積に任意の置換を施して、置換の符号を重みとして足し合わせることにより、多重余ベクトルの楔積（ウェッジ積）または外積（交代積） が定義できる。すなわち formula_10 に対して formula_11 が formula_12 で与えられる。ここで右辺の和は 元集合上の置換すべてに亙ってとる。この楔積は双線型、結合的で、さらに反交換的（formula_10 ならば formula_14）である。 
 の基底を formula_15 とし、その双対基底を formula_16 とすれば、楔積の集合 formula_17 は formula_6 の基底を成す。したがって、 が -次元のとき、formula_6 の次元は formula_20 に等しい。