多重線型交代写像
数学のより具体的には多重線型代数における多重線型交代写像(たじゅうせんけいこうたいしゃぞう、英: multilinear alternating map)または交代多重線型写像 (alternating multilinear map) あるいは短く交代写像 (alternating map) とは、その引数がすべて同一の空間に属する多重線型写像であって、その任意の(相隣る)引数が等しいとき必ず零となるようなものを言う。終域が係数体(あるいは係数環)であるときには、多重線型交代形式や交代多重線型形式などと呼ぶ。
交代化の概念は、引数がすべて同一の空間に属する任意の多重線型写像から多重線型交代写像を得ることに利用できる。
定義
[編集]の形の多重線型写像が交代的であるとは、以下の同値な条件の何れか一つ(したがって全部)を満足するときにいう:
例
[編集]性質
[編集]- 交代多重線型写像の任意の引数 xi に他の引数の定数倍を加えた xi + c⋅xj (j ≠ i, および c は係数環 R の元) に取り換えても(したがってさらにほかの引数の任意の線型結合を加えても)もとの写像の値は変化しない[3]
- 任意の交代多重線型写像は反対称である[4]
- n! が係数環 R の単元ならば、任意の反対称 n-重線型形式は交代的である。
- 係数環が標数 2 でないならば、任意の反対称重線型写像は交代的である。
体 K 上のベクトル空間 V を K 上 n-次元として、V の(順序付けられた)基底 をとる。V の任意のベクトルを の形に書くとき、これらベクトルの n-組 における n-重交代写像 の値は、多重線型性と交代性(反対称性)により と展開して計算できる( は n-次対称群、ε は置換の符号、函数 dete は順序基底 e に関する表現行列 (Xij) の行列式である)。したがって、ベクトル (これは W の任意の元をとりうる)が分かれば、f の決定には十分である:
定理 ― V が n 次元のとき、Vn から W への n-重線型交代写像全体の成すベクトル空間 は W に同型である。
また W = K のときを考えれば、函数 は を満たす唯一の n-重線型交代形式 f として特徴づけられる。
ふたたび V の次元を n とするとき、n > k と仮定して k-重線型交代写像を考える(n < k の場合には k-重線型交代写像は零写像しかない)。前の段落で見たことはこの場合に対しても拡張することができる。同じ引数が二度出てきた場合にはその項は無視できるから、重線型性による展開 において、右辺の和をとる添字集合 J は集合 {1, …, n} の相異なる元からなる k-組 (i1, …, ik) 全体の成す集合としてよい。さらに言えば、反対称性により f の引数を並べ替えれば、右辺は の形の項の線型結合に書けることがわかる。このように並べ替えた k-組の総数は二項係数 であり、k-重線型交代写像はそのような k-組における値で特徴づけられる。よって
定理 ― V が n 次元で k < n のとき、Vk から W への k-重線型交代写像全体の成すベクトル空間 は に同型である。
より具体的に、上記の展開公式は行列式の概念を用いて書くことができる: ここで、各係数はベクトル xi の族の基底 ej に関する表現行列の小行列式である。
交代化
[編集]多重線型写像 が与えられれば、それに対して多重線型交代写像 を で定めることができ、これを f の交代化 (alternatization) と言う。
- 性質
関連項目
[編集]注
[編集]注釈
[編集]- ^ 交代写像の交代化がもとと変わらないようにするために、上記の式を n! で割ったものを交代化作用素の定義として採用することもある
出典
[編集]- ^ a b Lang 2002, pp. 511–512.
- ^ Bourbaki 2007, A III.80, §4.
- ^ a b Dummit & Foote 2004, p. 436.
- ^ Rotman 1995, p. 235.
参考文献
[編集]- Bourbaki, N. (2007). Eléments de mathématique. Algèbre Chapitres 1 à 3 (reprint ed.). Springer
- Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). Wiley
- Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. 211 (revised 3rd ed.). Springer. ISBN 978-0-387-95385-4. OCLC 48176673
- Rotman, Joseph J. (1995). An Introduction to the Theory of Groups. Graduate Texts in Mathematics. 148 (4th ed.). Springer. ISBN 0-387-94285-8. OCLC 30028913
外部リンク
[編集]- Rowland, Todd. "Alternating Multilinear Form". mathworld.wolfram.com (英語).
- alternating multifunction in nLab
- Definition:Alternating Bilinear Form at ProofWiki