多重線型写像

線型代数学において、多重線型写像（たじゅうせんけいしゃぞう、multi­linear map）は各変数ごとに線型な多変数関数である。正確には、多重線型写像は、 および W をベクトル空間（あるいは可換環上の加群）として、次の性質を満たす写像 である： 各 i に対して、 を除くすべての変数を固定して変化させないとき、 は  に関して線型である。
一変数の多重線型写像は線型写像であり、二変数のそれは双線型写像である。より一般に、k 変数の多重線型写像は k 重線型写像 (k-linear map) と呼ばれる。多重線型写像の終域が係数体（スカラー値）のときはとくに多重線型形式と言う。例えば、スカラー積は対称双線型形式であり、行列式は正方行列の列（あるいは行）ベクトルを引数と見れば多重線型形式である。
すべての変数が同じ空間に属していれば、label=対称、反対称、alternating map k 重線型写像を考えることができる（注意すべき点として、label=基礎環（あるいは体）の標数が 2 でなければ後ろ2つは一致し、標数が 2 であれば前2つは一致する）。例えば、スカラー積は対称であり、行列式は反対称である。
多重線型写像や多重線型形式は多重線型代数において研究の基本的な対象である。多重線型写像の系統的な研究により行列式、外積、そして幾何学的内容を含む多くの他の道具の一般的な定義が得られる。多様体の枠組みや微分幾何学においても多くの応用がある。

**定義**
を整数とし、 を同じ体 K 上のベクトル空間とする。写像  が多重線型（より明示的に k-重線型）であるとは、各変数について線型であること、つまり、任意のベクトル  とスカラー a, b に対し、 が成り立つことをいう。やや感覚的な言い方をすれば、k-重線型写像は、各因子に関して分配的な k 項の積と思える。
から F への k-重線型写像全体の集合は、 から F へのすべての写像からなる空間 の部分ベクトル空間である。このベクトル空間を、, あるいは  であるときはより簡単に  と記す。また特に、E 上の 多重線型形式|k-重線型形式の空間  を  と書く。
空間  は、1=k = 1 のとき  から F への線型写像の空間 L(E; F) にほかならないが、k > 1 のときには多重線型写像の空間  とEspace vectoriel#Produits et sommes directes  上の線型写像の空間とを混同してはならない。- 例えば、K × K から K への写像の場合、乗法  は双線型だが線型でなく、対して射影  は線型だが双線型でない。
しかしテンソル積空間  上の線型写像の空間  は（テンソル積の普遍性により）多重線型写像の空間  と対応する（後述）。

**成分表示**
はそれぞれ  の（有限とは限らない）基底とすれば、制限写像  は全単射（そしてベクトル空間の同型である。すなわち、k重線型写像は基底ベクトルの k-組における値（これはベクトル空間 F の任意のベクトルを選びうる）によって一意に決定される。
有限次元の場合、1 ≤ i ≤ k に対して具体的に基底を  と書けば、各空間  の任意の元は  と書けるから、それらの k-組  に対する k-重線型写像  の値は  であり、 個のベクトル  で完全に決定される。- より単純な場合として、 とすれば k-重線型写像 f は  個のベクトル  で決定される。特に、n-次元ベクトル空間 E 上の k-重線型形式の空間  の次元は  である。
さらに、F の基底  をとれば  を満たすスカラーのあつまり  が一意に存在するから、f はこれらのスカラーによって完全に決定される: スカラー  を k-重線型写像 f の  に対する構造定数あるいは成分 (compenent) と呼ぶ。
 例: 双線型形式  を考えよう。これは上で述べた設定で、 および  とした場合である。また  の基底はすべて同じ  にとって  と書く（基底の対は  の四つであり、それらにおける値である  も四つある）。このとき、任意のベクトルの対における f の値は  と書ける。あるいは  のように書いてもいい。

**テンソル積との関係**
多重線型写像は本質的にテンソル積空間上の線型写像であると考えることができる。すなわち多重線型写像の空間  と線型写像の空間  との間に自然な一対一対応が存在する（テンソル積の普遍性）。ここに  は  のテンソル積である。この対応関係において対応する多重線型写像  と線型写像  の間の関係は、等式  によって端的に表される。すなわち、この等式を満たすという意味で f は  の制限であり、 は f の唯一の線型な拡張である。

**対称性・反対称性・交代性**
写像  が- 対称的 (symmetric) であるとは、2つのベクトルを交換しても結果が変わらないことをいう： - 反対称的 (antisymmetric) であるとは、2つのベクトルを交換すると得られる結果が符号が逆になることをいう： - 交代的 (alternating) であるとは、2つのベクトルが同じであるとき結果が 0 になることをいう： 
明らかに、交代多重線型写像は反対称である。逆に、反対称多重線型写像は標数 2 でないとき交代、標数 2 のときは対称になる。反対称性のことを交代性と呼ぶこともしばしばある。
より一般に、文字 の置換の成す対称群  の  への作用を
 
即ち k-重線型写像の k 個の引数の置換として定める（ となることに注意せよ）とき、 が- 対称であるとは、∀σ に対して  となること;- 反対称であるとは、∀σ に対して  となること
と述べられる。ここに sgn(σ) は置換 σ の符号である。
逆に、 の作用の平均化を行うことにより、対称化作用素
 
および反対称化作用素
  
を定めれば、任意の k-重線型写像 f を対称化 Sf および反対称化 Af することができる。しばしばこれらの作用素が冪等であるようにするために、k! で割る文献もある（が、それは正標数の体では常に可能とは限らない）。

**例**
 任意の双線型写像は多重線型写像である。例えば、ベクトル空間上の任意の内積や R3 のベクトルのクロス積は多重線型写像である。- 行列の行列式は正方行列の列（あるいは行）の反対称多重線型関数である。- F: Rm → Rn が Ck 級関数であれば、その定義域の各点 p における F の k 階導関数はlabel=対称 k 重線型関数
:
と見ることができる。

**性質**
 多重線型写像の値は引数のうち1つでも0であれば0である。

**交代写像**
ここでは E が有限 n-次元であるとし、n-重線型交代形式（上の設定で 1=k = n, 1=F = K の場合）を考える。このとき、行列式の特徴づけ（ライプニッツの明示公式とは別の定義）を与えることができる。
の基底を  とし、各ベクトルを  と分解すれば、上で見たことから  と書けるが、f の交代性（したがって反対称性）により置換  および置換の符号 ε(σ) によって  と書き直せるから （二つ目の等号はライプニッツの明示公式による）が成り立つ。n-重交代形式 f は  で決まるが、特に なるものとして行列式は特徴付けられる。- E が n-次元ならば、 上の n-重線型交代写像の空間  は F に同型である。- E が n 次元で n > k のとき、 上の k-重線型交代写像の空間  は  に同型である。- n < k のときは明らかに k-重交代写像は零写像のみである。

**関連項目**
 斉次多項式（代数的形式）: 多重線型形式は、一次の代数形式である。- 斉次関数- テンソル- 外積代数- preserve=1- パーマネント (数学)

**注**

**注釈**

**出典**

**参考文献**
 year=1966

**外部リンク**
 title=Multilinear- title=multi-linear- last=Onishchik- title=multilinear map- title=Definition:Multilinear Mapping