数学において双線型写像（そうせんけいしゃぞう、英: bilinear map）とは、二つのベクトル空間それぞれの元の対に対しての第三のベクトル空間の元を割り当てる写像であって、各引数に関して線型となるようなものを言う。その一つの例が、行列の積である。
定義
V、W および X をある同一の基礎体 F 上のベクトル空間とする。写像
- B : V × W → X
が双線型写像であるとは、W 内の任意の元 w に対して
- v ↦ B(v, w)
が V から X への線型写像であり、かつ V 内の任意の元 v に対して
- w ↦ B(v, w)
が W から X への線型写像であることを言う。これはすなわち、双線型写像の片方の成分を固定し、もう片方を変動させることで得られる写像がともに線型写像であることを意味する。
- 注意
- ここで空間 V × W を二つのベクトル空間の直積線型空間と見なしたとき、B は（V = 0 あるいは W = 0 でない限り）ベクトル空間の間の線型写像ではないことに注意されたい。実際、例えば B(2(v,w)) = B(2v,2w) = 2B(v,2w) = 4B(v,w) が成立するために、線型でない。しかし双線型写像はテンソル積空間 V ⊗ W 上の線型写像を誘導する。
- 特別な場合
- V = W のとき、V 内のすべての v、w に対して B(v,w) = B(w,v) が成立するならば B は対称（英語版）であると言われる。
- X = F のとき（このときの双線型写像は双線型形式と呼ばれる）は特に有用である（例えばドット積、内積、二次形式の記事を参照されたい）。
- 一般化
- 体 F 上のベクトル空間の代わりに、ある可換環 R 上の加群を用いても、特に変更点はなく双線型写像は定義される。また、双線型の概念を n-変数の写像の場合に対して一般化することもできるが、それについては多重線型についての項へ譲る。
- ある非可換な基礎環 R と右加群 MR および左加群 RN に対しても、アーベル群 T への双線型写像 B : M × N → T を定義することが出来る。これは N 内の任意の n に対して m ↦ B(m, n) が群準同型かつ M 内の任意の m に対して n ↦ B(m, n) が群準同型であり、さらに条件 B(mt, n) = B(m, tn) (∀m ∈ M, ∀n ∈ N, ∀t ∈ T) を満足するもののことを言う（平衡写像（英語版）を参照）。
性質
定義より直ちに証明されることとして、x = 0 または y = 0 のときは必ずB(x,y) = 0 であることが挙げられる（これは零ベクトル 0 を 0·0 と書いて、線型性によりそのスカラー倍 0 を「外側」、すなわち B の手前に移動することで分かる）。
全ての双線型写像の集合 L(V,W;X) は、V×W から X への全ての写像からなる空間（すなわちベクトル空間や加群）の線型部分空間である。
M が、実双線型形式 (v,w) ↦ v′Mw によって、実数体への双線型写像を定義するとき、この双線型形式に付随する三種類の双線型形式が双対性および音符同型（英語版）によって与えられる。
カテゴリ
