双線型写像

数学において双線型写像（そうせんけいしゃぞう、テンプレート:Lang-en-short）とは、二つのベクトル空間それぞれの元の対に対しての第三のベクトル空間の元を割り当てる写像であって、各引数に関して線型となるようなものを言う。その一つの例が、行列の積である。

定義

V、W および X をある同一の基礎体 F 上のベクトル空間とする。写像

B : V × W → X

が双線型写像であるとは、W 内の任意の元 w に対して

v ↦ B(v, w)

が V から X への線型写像であり、かつ V 内の任意の元 v に対して

w ↦ B(v, w)

が W から X への線型写像であることを言う。これはすなわち、双線型写像の片方の成分を固定し、もう片方を変動させることで得られる写像がともに線型写像であることを意味する。

注意: ここで空間テンプレート:Nowrap を二つのベクトル空間の直積線型空間と見なしたとき、B は（テンプレート:Nowrap あるいはテンプレート:Nowrap でない限り）ベクトル空間の間の線型写像ではないことに注意されたい。実際、例えばテンプレート:Nowrap が成立するために、線型でない。しかし双線型写像はテンソル積空間 V ⊗ W 上の線型写像を誘導する。

特別な場合: テンプレート:Nowrap のとき、V 内のすべての v、w に対してテンプレート:Nowrap が成立するならば B はテンプレート:仮リンクであると言われる。; X = F のとき（このときの双線型写像は双線型形式と呼ばれる）は特に有用である（例えばドット積、内積、二次形式の記事を参照されたい）。

一般化: 体 F 上のベクトル空間の代わりに、ある可換環 R 上の加群を用いても、特に変更点はなく双線型写像は定義される。また、双線型の概念を n-変数の写像の場合に対して一般化することもできるが、それについては多重線型についての項へ譲る。; ある非可換な基礎環 R と右加群 M_R および左加群 _RN に対しても、アーベル群 T への双線型写像テンプレート:Nowrap を定義することが出来る。これは N 内の任意の n に対してテンプレート:Nowrap が群準同型かつ M 内の任意の m に対してテンプレート:Nowrap が群準同型であり、さらに条件 B(mt, n) = B(m, tn) (∀m ∈ M, ∀n ∈ N, ∀t ∈ T) を満足するもののことを言う（テンプレート:仮リンクを参照）。

性質

定義より直ちに証明されることとして、テンプレート:Nowrap またはテンプレート:Nowrap のときは必ずテンプレート:Nowrap であることが挙げられる（これは零ベクトル 0 を 0·0 と書いて、線型性によりそのスカラー倍 0 を「外側」、すなわち B の手前に移動することで分かる）。

全ての双線型写像の集合 L(V,W;X) は、V×W から X への全ての写像からなる空間（すなわちベクトル空間や加群）の線型部分空間である。

M が、実双線型形式テンプレート:Nowrap によって、実数体への双線型写像を定義するとき、この双線型形式に付随する三種類の双線型形式が双対性およびテンプレート:仮リンクによって与えられる。

\begin{matrix} \begin{matrix} V \times V \overset{M}{⟶} ℝ \\ (v, w) \mapsto v^{'} M w \\ M_{i j} = M (b_{i}, b_{j}) \\ M \in V^{*} \otimes V^{*} \\ M = M_{s t} β^{s} \otimes β^{t} \end{matrix} & \begin{matrix} V \times V^{*} \overset{M}{⟶} ℝ \\ (v, f) \mapsto v^{'} M f^{'} \\ M_{i}^{j} = M (b_{i}, β^{j}) \\ M \in V^{*} \otimes V \\ M = M_{s}^{t} β^{s} \otimes b_{t} \\ M_{s}^{t} = M_{s u} g^{u t} \\ M G^{- 1} \end{matrix} \\ \begin{matrix} V^{*} \times V \overset{M}{⟶} ℝ \\ (f, w) \mapsto f M w \\ M_{j}^{i} = M (β^{i}, b_{j}) \\ M \in V \otimes V^{*} \\ M = M_{t}^{s} b_{s} \otimes β^{t} \\ M_{t}^{s} = g^{s u} M_{u t} \\ G^{- 1} M \end{matrix} & \begin{matrix} V^{*} \times V^{*} \overset{M}{⟶} ℝ \\ (f, g) \mapsto f M g^{'} \\ M^{i j} = M (β^{i}, β^{j}) \\ M \in V \otimes V \\ M = M^{s t} b_{s} \otimes b_{t} \\ M^{s t} = g^{s u} M_{u v} g^{v t} \\ G^{- 1} M G^{- 1} \end{matrix} \end{matrix}

V、W および X が有限次元であるなら、L(V,W;X) もまた有限次元である。テンプレート:Nowrap のとき、（つまり双線型形式の成す）空間の次元はテンプレート:Nowrap となる（一方、「線型」形式の空間 L(V×W;F) の次元はテンプレート:Nowrap である）。このことを確かめるために、V と W に対してそれぞれ基底 {e_i},{f_j} を取れば、双線型写像は行列 B(e_i,f_j) によって一意的に表現され、またこの逆も成立する。ここから X がもっと高次元の空間のとき、テンプレート:Nowrap が成立することは明らか。

例

行列の積はテンプレート:Nowrap なる双線型形写像をさだめる。
V を、内積の定義された実数体 R 上のベクトル空間とする。このとき、その内積は双線型写像テンプレート:Nowrap である。
一般に、体 F 上のベクトル空間に対し、V 上の双線型形式というのは、双線型写像テンプレート:Nowrap というのと同じことである。
V を、双対空間 V* を備えたベクトル空間とする。このとき、線型写像を適用する自然な演算テンプレート:Nowrap はテンプレート:Nowrap から基礎体への双線型写像である。
V と W を、同一の体 F 上のベクトル空間とする。f を V* の要素とし、g を W* の要素とするなら、テンプレート:Nowrap は双線型写像テンプレート:Nowrap を定義する。
R³ におけるクロス積は、双線型写像テンプレート:Nowrap である。
テンプレート:Nowrap が双線型で、テンプレート:Nowrap が線型ならば、テンプレート:Nowrap はテンプレート:Nowrap 上の双線型写像となる。
テンプレート:Nowrap 内の全ての (v,w) に対してテンプレート:Nowrap として定義される零写像は、テンプレート:Nowrap から X への、双線型かつ線型であるような唯一つの写像である。実際、テンプレート:Nowrap に対して、B が線型であるならテンプレート:Nowrap が成立するが、これは B が双線型であるための必要条件である。

外部リンク

テンプレート:SpringerEOM

テンプレート:Functional Analysis テンプレート:Normdaten

双線型写像

目次

定義

性質

例

関連項目

外部リンク

ナビゲーションメニュー

双線型写像

定義

性質

例

関連項目

外部リンク

ナビゲーション メニュー

検索

ナビゲーションメニュー