多重線型形式

数学、より具体的には抽象代数学と多重線型代数において、多重線型形式︵たじゅうせんけいけいしき、英: multilinear form︶とは、複数のベクトルを変数とするスカラー値の函数であって、どの変数に関しても︵ほかの変数を止めて︶線型写像となっているようなものを言う。多重線型形式はテンソルの定式化において重要である。

多重線型形式︵特に交代形式︶重要な例として、行列式と微分形式が挙げられる。

定義

V を体 K 上のベクトル空間とし、V^k ≔ V × ⋯ × V は V の k 個の直積とする。V 上 k-変数の函数

$$f\colon V^{k}\to K$$

が k-重線型または k-線型であるとは、各変数 x_i に対して

$$f(x_{1},\dotsc ,c\cdot x_{i},\dotsc ,x_{n})=c\cdot f(x_{1},\dotsc ,x_{i},\dotsc ,x_{n})$$

および

$$f(x_{1},\dotsc ,x_{i}+x_{i}',\dotsc ,x_{n})=f(x_{1},\dotsc ,x_{i},\dotsc ,x_{n})+f(x_{1},\dotsc ,x_{i}',\dotsc ,x_{n})$$

 を満たすときに言う。k を特に指定しないとき、多重線型形式と総称する。

V 上の k-重線型形式全体の成す空間 L_k(V) は通常の和とスカラー倍に関してベクトル空間を成す。このベクトル空間は k-階共変テンソルの空間 T_k(V) = V* ⊗ ⋯ ⊗ V*︵V* は Vの双対空間で、⊗ はベクトル空間のテンソル積︶に自然同型であり、その意味で k-重線型形式を k-階共変テンソルと看做すことができる。

テンソル積

「テンソル積#線型写像のテンソル積」も参照

k-重線型形式全体の成す空間 L_k(V) は点ごとの積に関しては閉じていないが、f ∈ L_k(V), g ∈ L_l(V) の点ごとの積:

$$(f\otimes g)(v_{1},\ldots ,v_{k},v_{k+1},\ldots ,v_{k+l}):=f(v_{1},\ldots ,v_{k})g(v_{k+1},\ldots ,v_{k+l})$$

 は (k + l)-重線型形式となる︵これを fと gとのテンソル積と呼ぶ︶。したがって L_k(V) ⊗ L_l(V) ⊂ L_k+l(V) であり、無限直和 ${\textstyle \bigoplus _{k}L_{k}($V)} ${\textstyle \bigoplus _{k}L_{k}(V)}$はこの積に関して閉じていて、次数付き多元環として共変テンソル代数との自然な同型 ${\textstyle \bigoplus _{k}L_{k}($V)\cong T_{\bullet }(V)} ${\textstyle \bigoplus _{k}L_{k}(V)\cong T_{\bullet }(V)}$がある。

このように定義された多重線型形式のテンソル積は可換でない。しかしテンソル積は結合的かつ双線型な乗法を与えている。

例

●k = 2, すなわち変数が2つだけのときは、f を双線型形式と呼ぶ。

●重要なタイプの多重線型形式として、交代多重線型形式 (alternating multilinear form) —交代性: 2つの引数が同じときに消える $f(\dots ,x,\dots ,x,\dots )=0$$f(\dots ,x,\dots ,x,\dots )=0$という追加の性質を持つもの—がある。V 上の k-重線型交代形式の全体 A_k(V) は、V* の k-次外冪 ⋀^k(V*)に同型であり、交代多重線型形式は多重余ベクトル (multi-covector) に対応する。

●微分形式は多様体上の共変テンソル場であり、多様体の各点 pにおいて pにおける接空間上の交代多重線型形式を与える。

関連項目

●双線型写像

●斉次多項式

●線型写像

●多重線型代数

●多重線型写像

注

外部リンク

• Pomp, Marek. "Multilinear Form". mathworld.wolfram.com (英語).
• Onishchik, A.L. (2001), “Multilinear form”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Multilinear_form