双線型写像とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 双線型写像の意味・解説 

双線型写像

(bilinear map から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/05/29 07:29 UTC 版)

数学において双線型写像(そうせんけいしゃぞう、: bilinear map)とは、二つのベクトル空間それぞれの元のに対しての第三のベクトル空間の元を割り当てる写像であって、各引数に関して線型となるようなものを言う。その一つの例が、行列の積である。

定義

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

B : V × WX

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

vB(v, w)

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

wB(v, w)

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

注意
ここで空間 V × W を二つのベクトル空間の直積線型空間と見なしたとき、B は(V = 0 あるいは W = 0 でない限り)ベクトル空間の間の線型写像ではないことに注意されたい。実際、例えば B(2(v,w)) = B(2v,2w) = 2B(v,2w) = 4B(v,w) が成立するために、線型でない。しかし双線型写像はテンソル積空間 VW 上の線型写像を誘導する。
特別な場合
V = W のとき、V 内のすべての vw に対して B(v,w) = B(w,v) が成立するならば B対称英語版であると言われる。
X = F のとき(このときの双線型写像は双線型形式と呼ばれる)は特に有用である(例えばドット積内積二次形式の記事を参照されたい)。
一般化
F 上のベクトル空間の代わりに、ある可換環 R 上の加群を用いても、特に変更点はなく双線型写像は定義される。また、双線型の概念を n-変数の写像の場合に対して一般化することもできるが、それについては多重線型についての項へ譲る。
ある非可換な基礎環 R と右加群 MR および左加群 RN に対しても、アーベル群 T への双線型写像 B : M × NT を定義することが出来る。これは N 内の任意の n に対して mB(m, n)群準同型かつ M 内の任意の m に対して nB(m, n) が群準同型であり、さらに条件 B(mt, n) = B(m, tn) (∀mM, ∀nN, ∀tT) を満足するもののことを言う(平衡写像英語版を参照)。

性質

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

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

M が、実双線型形式 (v,w) ↦ vMw によって、実数体への双線型写像を定義するとき、この双線型形式に付随する三種類の双線型形式が双対性および音符同型英語版によって与えられる。

カテゴリ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「双線型写像」の関連用語




4
92% |||||







双線型写像のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



双線型写像のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの双線型写像 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS