多重線型写像

線型代数学において、**多重線型写像**（たじゅうせんけいしゃぞう、）は各変数ごとに線型な多変数関数である。正確には、多重線型写像は、V_1,\ldots,V_n および  をベクトル空間（あるいは可換環上の加群）として、次の性質を満たす写像 f\colon V_1 \times \cdots \times V_n \to Wである： 各  に対して、 を除くすべての変数を固定して変化させないとき、f(v_1,\ldots,v_n) は  に関して線型である。

一変数の多重線型写像は線型写像であり、二変数のそれは双線型写像である。より一般に、 変数の多重線型写像は ** 重線型写像** (*-linear map*) と呼ばれる。多重線型写像の終域が係数体（スカラー値）のときはとくに多重線型'''形式'''と言う。例えば、スカラー積は対称双線型形式であり、行列式は正方行列の列（あるいは行）ベクトルを引数と見れば多重線型形式である。

すべての変数が同じ空間に属していれば、、反対称、 *k* 重線型写像を考えることができる（注意すべき点として、環（あるいは体）の標数が 2 でなければ後ろ2つは一致し、標数が 2 であれば前2つは一致する）。例えば、スカラー積は対称であり、行列式は反対称である。

多重線型写像や多重線型形式は多重線型代数において研究の基本的な対象である。多重線型写像の系統的な研究により行列式、外積、そして幾何学的内容を含む多くの他の道具の一般的な定義が得られる。多様体の枠組みや微分幾何学においても多くの応用がある。

## 定義
 を整数とし、 を同じ体  上のベクトル空間とする。写像 f\colon E_1\times\ldots\times E_k\to F が多重線型（より明示的に -重線型）であるとは、各変数について線型であること、つまり、任意のベクトル x_1, \dotsc, x_k, x'_i とスカラー  に対し、f(x_1,\dots,x_{i-1},ax_i+bx'_i,x_{i+1},\dots,x_k)=af(x_1,\dots ,x_i,\dots, x_k)+bf(x_1,\dots,x'_i,\dots x_k) が成り立つことをいう。やや感覚的な言い方をすれば、-重線型写像は、各因子に関して分配的な  項の積と思える。

 から  への -重線型写像全体の集合は、 から  へのすべての写像からなる空間 の部分ベクトル空間である。このベクトル空間を、, あるいは  であるときはより簡単に  と記す。また特に、 上の -重線型形式の空間  を  と書く。

空間  は、 のとき  から  への線型写像の空間  にほかならないが、 のときには多重線型写像の空間  と  上の線型写像の空間とを混同してはならない。
* 例えば、 から  への写像の場合、乗法 (x_1,x_2)\mapsto x_1x_2 は双線型だが線型でなく、対して射影 (x_1,x_2)\mapsto x_1 は線型だが双線型でない。
しかしテンソル積空間  上の線型写像の空間  は（テンソル積の普遍性により）多重線型写像の空間  と対応する（後述）。

## 成分表示
\mathcal B_1,\dotsc,\mathcal B_k はそれぞれ E_1,\dotsc,E_k の（有限とは限らない）基底とすれば、制限写像 L(E_1,\dotsc,E_k;F)\to F^{\mathcal B_1\times\dotsb\times\mathcal B_k},\qquad f\mapsto f_{|\mathcal B_1\times\dotsb\times\mathcal B_k} は全単射（そしてベクトル空間の同型である。すなわち、重線型写像は基底ベクトルの -組における値（これはベクトル空間  の任意のベクトルを選びうる）によって一意に決定される。

有限次元の場合、 に対して具体的に基底を \mathcal B_i := \{\mathbf{e}_{i1},\dotsc,\mathbf{e}_{id_i}\} と書けば、各空間  の任意の元は x_i = \sum_{j=1}^{d_i} X_{ij} \mathbf{e}_{ij} と書けるから、それらの -組 x_1, \dotsc, x_k に対する -重線型写像 f\colon E_1\times E_2\times\dotsb\times E_k \to F の値は f(x_1,\dotsc,x_k )= f\Bigl(\sum_{j_1=1}^{d_1} X_{1,j_1} \mathbf e_{1,j_1}, \dotsc, \sum_{j_k=1}^{d_k} X_{k,j_k} \mathbf e_{k,j_k}\Bigr)=\sum_{j_1=1}^{d_1} \dotsb \sum_{j_k=1}^{d_k} \prod_{l=1}^k X_{l,j_l} f(\mathbf e_{1,j_1},\dotsc,\mathbf e_{k,j_k})  であり、 個のベクトル f(\mathbf e_{1,j_1},\dotsc,\mathbf e_{k,j_k}) で完全に決定される。
* より単純な場合として、E_1=\dotsb=E_k,\quad\mathcal B_1=\dotsb=\mathcal B_k=(e_i)_{i=1,\dotsc,d} とすれば -重線型写像  は  個のベクトル f(e_{i_1},\dotsc,e_{i_k}) で決定される。特に、-次元ベクトル空間  上の -重線型形式の空間  の次元は  である。

さらに、 の基底 \mathcal B := \{\mathbf{b}_1,\dotsc,\mathbf{b}_d\} をとれば f(\mathbf{e}_{1,j_1},\dotsc,\mathbf{e}_{k,j_k}) = A_{j_1\dotsc j_k}^1\mathbf{b}_1 + \dotsb +  A_{j_1\dotsc j_k}^d\mathbf{b}_d を満たすスカラーのあつまり \{A_{j_1\dotsc j_k}^l \mid 1\leq j_i\leq d_i, 1 \leq l \leq d\} が一意に存在するから、 はこれらのスカラーによって完全に決定される: f(x_1,\dotsc,x_n) = \sum_{j_1=1}^{d_1} \cdots \sum_{j_n=1}^{d_n} \sum_{l=1}^{d} A_{j_1\dotsc j_k}^l X_{1,j_1}\dotsb X_{k,j_k} \mathbf{b}_l.スカラー  を -重線型写像  の \mathcal B_1,\ldots,\mathcal B_k に対する構造定数あるいは**成分** (*compenent*) と呼ぶ。

; 例: 双線型形式 f\colon \R^2 \times \R^2 \to \R  を考えよう。これは上で述べた設定で、V_1=V_2 := \R^2, d_1=d_2 := 2 および W:=\R, d:=1 とした場合である。また  の基底はすべて同じ \{\mathbf{e}_{1}, \mathbf{e}_{2}\} = \{\begin{pmatrix}1\\0\end{pmatrix}, \begin{pmatrix}0\\1\end{pmatrix}\} にとって f(\mathbf{e}_{i},\mathbf{e}_{j}) = A_{ij} と書く（基底の対は \{\mathbf{e}_1, \mathbf{e}_1\},\{\mathbf{e}_1, \mathbf{e}_2\},\{\mathbf{e}_2, \mathbf{e}_1\},\{\mathbf{e}_2, \mathbf{e}_2\} の四つであり、それらにおける値である  も四つある）。このとき、任意のベクトルの対における  の値は f(\mathbf{v}_1,\mathbf{v}_2) = \sum_{i=1}^{2} \sum_{j=1}^{2} A_{ij} v_{1i}v_{2j}\qquad(\mathbf{v}_i :=v_{i1}\mathbf{e}_1+v_{i2}\mathbf{e}_2) と書ける。あるいは f(\begin{pmatrix}a\\b\end{pmatrix},\begin{pmatrix}c\\d\end{pmatrix}) = ac\;f(\begin{pmatrix}1\\0\end{pmatrix}, \begin{pmatrix}1\\0\end{pmatrix}) +ad\;f(\begin{pmatrix}1\\0\end{pmatrix}, \begin{pmatrix}0\\1\end{pmatrix}) +bc\;f(\begin{pmatrix}0\\1\end{pmatrix}, \begin{pmatrix}1\\0\end{pmatrix}) +bd\;f(\begin{pmatrix}0\\1\end{pmatrix}, \begin{pmatrix}0\\1\end{pmatrix}) のように書いてもいい。

## テンソル積との関係
多重線型写像は本質的にテンソル積空間上の線型写像であると考えることができる。すなわち多重線型写像の空間  と線型写像の空間  との間に自然な一対一対応が存在する（テンソル積の普遍性）。ここに  は  のテンソル積である。この対応関係において対応する多重線型写像 f\colon E_1 \times \cdots \times E_k \to F と線型写像 \tilde f\colon E_1 \otimes \cdots \otimes E_k \to F の間の関係は、等式 \tilde f(x_1\otimes \cdots \otimes x_k) = f(x_1,\dotsc,x_k)\qquad(x_i \in E_i) によって端的に表される。すなわち、この等式を満たすという意味で  は  の制限であり、 は  の唯一の線型な拡張である。

## 対称性・反対称性・交代性

写像 f\in L_k(E;F) が
* **対称的** (symmetric) であるとは、2つのベクトルを交換しても結果が変わらないことをいう： f(x_1,\dots,x_k)=f(x_1,\dots,x_{i-1},x_j,x_{i+1},\dots,x_{j-1},x_i,x_{j+1},\dots,x_k).
* **反対称的** (antisymmetric) であるとは、2つのベクトルを交換すると得られる結果が符号が逆になることをいう： f(x_1,\dots,x_k)=-f(x_1,\dots,x_{i-1},x_j,x_{i+1},\dots,x_{j-1},x_i,x_{j+1},\dots,x_k).
* **交代的** (alternating) であるとは、2つのベクトルが同じであるとき結果が 0 になることをいう： [\exists i\neq j, x_i=x_j] \implies f(x_1,\dots, x_k)=0.

明らかに、交代多重線型写像は反対称である。逆に、反対称多重線型写像は標数 2 でないとき交代、標数 2 のときは対称になる。反対称性のことを交代性と呼ぶこともしばしばある。

より一般に、文字 の置換の成す対称群 \mathfrak{S}_k の  への作用を
: \mathfrak{S}_k \times L_k(E; F) \to L_k(E; F)\colon (\sigma, f) \mapsto \sigma f(x_1, \ldots, x_k) = (x_{\sigma(1)}, \ldots, x_{\sigma(k)}),
即ち -重線型写像の  個の引数の置換として定める（ となることに注意せよ）とき、 が
* 対称であるとは、 に対して  となること;
* 反対称であるとは、 に対して  となること
と述べられる。ここに  は置換  の符号である。

逆に、\mathfrak{S}_k の作用の平均化を行うことにより、**対称化作用素**
: S \colon f \mapsto Sf := \sum_{\sigma \in \mathfrak{S}_k} \sigma f
および**反対称化作用素**
: A \colon f \mapsto Af := \sum_{\sigma \in \mathfrak{S}_k} \sgn(\sigma) \, \sigma f 
を定めれば、任意の -重線型写像  を対称化  および反対称化  することができる。しばしばこれらの作用素が冪等であるようにするために、 で割る文献もある（が、それは正標数の体では常に可能とは限らない）。

## 例
* 任意の双線型写像は多重線型写像である。例えば、ベクトル空間上の任意の内積や **R**3 のベクトルのクロス積は多重線型写像である。
* 行列の行列式は正方行列の列（あるいは行）の反対称多重線型関数である。
* *F*: **R***m* &rarr; **R***n* が ''C<sup>k</sup>'' 級関数であれば、その定義域の各点 *p* における *F* の *k* 階導関数は *k* 重線型関数
::D^k\!f(p)\colon \mathbb{R}^m\times\cdots\times\mathbb{R}^m \to \mathbb{R}^n
:と見ることができる。

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

### 交代写像

ここでは  が有限 -次元であるとし、-重線型交代形式（上の設定で ,  の場合）を考える。このとき、行列式の特徴づけ（ライプニッツの明示公式とは別の定義）を与えることができる。

 の基底を  とし、各ベクトルを  と分解すれば、上で見たことから f(x_1,\dots,x_n )=  \sum_{(i_1, \dots,i_n)} \prod_{j=1}^n X_{i_j,j} f(e_{i_1},\dots,e_{i_n}) と書けるが、 の交代性（したがって反対称性）により置換  および置換の符号  によって f(e_{i_1},\dots,e_{i_n}) = \varepsilon(\sigma)f(e_1,\dotsc,e_n) と書き直せるから \begin{align}f(x_1,\dots,x_n )
 &= \Bigl(\color{red}\sum_{\sigma\in \mathfrak{S}_n} \varepsilon(\sigma) \prod_{j=1}^n X_{\sigma(j),j} \color{black}\Bigr) f(e_{1},\dots,e_{n})\\
 &= \color{red}{\det(x_1,\dotsc,x_n)}\color{black}\cdot f(e_1,\dotsc,e_n)
\end{align}（二つ目の等号はライプニッツの明示公式による）が成り立つ。-重交代形式  は f(e_1, \dotsc, e_n) で決まるが、特に f(e_1,...,e_n)=1なるものとして行列式は特徴付けられる。

*  が -次元ならば、 上の -重線型交代写像の空間  は  に同型である。
*  が  次元で  のとき、 上の -重線型交代写像の空間  は F^{\tbinom nk} に同型である。
*  のときは明らかに -重交代写像は零写像のみである。

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

## 注

### 注釈

### 出典

## 参考文献
* 

## 外部リンク
* 
* 
* 
* 
*