双線型形式のソースを表示

[[数学]]の特に[[抽象代数学]]および[[線型代数学]]における'''双線型形式'''（そうせんけいけいしき、{{lang-en-short|''bilinear form''}}）とは、[[スカラー (数学)|スカラー]]値の[[双線型写像]]、すなわち各引数に対してそれぞれ[[線型写像]]となっている二変数函数を言う。より具体的に、係数体 {{mvar|F}} 上の[[ベクトル空間]] {{mvar|V}} で定義される双線型形式 {{math|''B'': ''V'' × ''V'' → ''F''}} は
* {{math|size=larger|1=''B''('''u''' + '''v''', '''w''') = ''B''('''u''', '''w''') + ''B''('''v''', '''w''')}}
* {{math|size=larger|1=''B''('''u''', '''v''' + '''w''') = ''B''('''u''', '''v''') + ''B''('''u''', '''w''')}}
* {{math|size=larger|1=''B''(λ'''u''', '''v''') = ''B''('''u''', λ'''v''') = λ''B''('''u''', '''v''')}}
を満たす。
* 双線型形式の定義は、線型写像を[[環上の加群#部分加群と準同型|加群の準同型]]に置き換えることで、[[可換環]]上の[[環上の加群|加群]]へも拡張できる。
* 係数体 {{mvar|F}} が[[複素数]]体 {{math|'''C'''}} の場合には、双線型形式ではなく[[半双線型形式]]（双線型形式と似るが、一方の引数に関して線型かつ他方の引数に関して{{仮リンク|共役線型|en|conjugate linear}}(conjugate linear) となるような写像）を考えるほうが自然である。

==座標による表現==
''V'' ≅ ''F''<sup>''n''</sup> は ''n''-次元ベクトル空間で {'''e'''<sub>1</sub>, ..., '''e'''<sub>n</sub>} がその基底を与えるものとする。''n'' × ''n'' 行列 ''A'' は ''A'' = (''B''('''e'''<sub>''i''</sub>, '''e'''<sub>''j''</sub>)) で定義され、ベクトル '''v''', '''w''' をこの基底に関して表す ''n'' × 1 行列をそれぞれ ''x'', ''y'' であるとすれば
: <math>B(\mathbf{v}, \mathbf{w}) = x^\mathrm T Ay = \sum_{i,j=1}^n a_{ij} x_i y_j</math>
が成り立つ。別な基底 {'''f'''<sub>1</sub>, ..., '''f'''<sub>n</sub>} を取るとき、正則線型変換 ''S'' &isin; [[一般線型群|''GL''(''n''; ''F'')]] が存在して
: ['''f'''<sub>1</sub>, ..., '''f'''<sub>''n''</sub>] = ['''e'''<sub>1</sub>, ..., '''e'''<sub>''n''</sub>]''S''
と書けるから、同じ双線型形式のこの基底に関する行列表現は、''S''<sup>T</sup>''AS'' により与えられる。

== カリー化と双対空間 ==
ベクトル空間 {{mvar|V}} 上の任意の双線型形式 {{mvar|B}} に対し、[[カリー化]]により、{{mvar|V}} から[[双対空間]] {{math|''V''*}} への線型写像の対 {{math|''B''{{ind|1}}, ''B''{{ind|2}}: ''V'' → ''V''*}} が
* <math>B_1(\mathbf{v}) = B(\mathbf{v}, \bullet)\colon V\to F;\; \mathbf{w}\mapsto B_1(\mathbf{v})(\mathbf{w}) = B(\mathbf{v},\mathbf{w})</math> 
* <math>B_2(\mathbf{w}) = B(\bullet, \mathbf{w})\colon V\to F;\; \mathbf{v}\mapsto B_2(\mathbf{w})(\mathbf{v}) = B(\mathbf{v},\mathbf{w})</math> 
として誘導される。ここに黒丸 {{math|&bull;}} は、得られる[[線型汎函数]]の引数が入る場所を示す[[プレースホルダ]]である。

{{mvar|V}} が有限次元ベクトル空間である場合には、{{math|''B''{{ind|1}}}} または {{math|''B''{{ind|2}}}} のいずれか一方が同型ならば、両者とも同型となり、このとき双線型形式 {{mvar|B}} は[[退化形式|非退化]]であると言う。より具体的に、有限次元ベクトル空間上の双線型形式 {{mvar|B}} が非退化であるとは、
: <math>B(x,y)=0\,(\forall y \in V) \implies x = 0,</math>
: <math>B(x,y)=0\,(\forall x \in V) \implies y = 0</math>
がともに成立することを言う。

* 可換環 {{mvar|R}} の上の加群 {{mvar|M}} の場合にこれと対応する概念として、双線型形式 {{math|''B'': ''M'' &times; ''M'' → ''R''}} が'''ユニモジュラー''' (unimodular) であるとは、誘導される写像 {{math|1=''B''{{ind|1}}, ''B''{{ind|2}}: ''M'' → ''M''* := Hom(''M'',''R'')}} が同型であるときに言う。可換環上の有限階数加群が与えられたとき、誘導された写像が単射（上の意味で非退化）だがユニモジュラーでないという場合が起こり得る。例えば、有理整数環 {{math|'''Z'''}} 上の双線型形式 {{math|1=''B''(''x'', ''y'') = 2''xy''}} は非退化だがユニモジュラーでない（実際、誘導される {{math|1='''Z''' → '''Z'''* = '''Z'''}} は {{math|2}}-倍写像だから同型でない）。

{{mvar|V}} が有限次元の場合は、{{mvar|V}} と二重双対 {{math|''V''**}} とを同一視できる。このとき、{{math|''B''{{ind|2}}}} は線型写像 {{math|''B''{{ind|1}}}} の[[転置行列|転置写像]]となることが示せる（{{mvar|V}} が無限次元の場合には、{{math|''B''{{ind|2}}}} は {{math|''B''{{ind|1}}}} の転置写像を {{math|''V''**}} における {{mvar|V}} の像に制限したものと一致する）。与えられた双線型形式 {{mvar|B}} に対し、{{mvar|B}} の'''転置'''とは
: {{math|size=larger|1=B*('''v''', '''w''') = B('''w''', '''v''')}}
で定義される双線型形式を言う。

双線型形式 {{mvar|B}} の'''左根基'''および'''右根基'''とは、それぞれ {{math|''B''{{ind|1}}}} および {{math|''B''{{ind|2}}}} の[[核 (代数学)|核]]<ref>{{harvnb|Jacobson|2009}} p.346</ref>、すなわちそれぞれ左および右の引数の空間全体と直交するベクトル全てからなる部分空間を言う<ref>{{cite book | title=Principal Structures and Methods of Representation Theory | series=Translations of Mathematical Monographs | first=Dmitriĭ Petrovich | last=Zhelobenko | publisher=[[American Mathematical Society]] | year=2006 | isbn=0-8218-3731-1 | page=11 }}</ref>。

{{mvar|V}} が有限次元ならば、{{math|''B''{{ind|1}}}} の[[行列の階数|階数]]は {{math|''B''{{ind|2}}}} の階数に等しい。この階数が {{math|dim(''V'')}} に等しいならば {{math|''B''{{ind|1}}, ''B''{{ind|2}}}} はともに {{mvar|V}} から {{math|''V''*}} への線型同型であり、したがって {{mvar|B}} は非退化である。[[階数・退化次数の定理]]により、これは左根基が（あるいは同じことだが右根基が）自明であるという条件と同値である。実際、有限次元の場合には、しばしばこれを非退化の'''定義'''として採用する:
; 定義: 双線型形式 {{mvar|B}} が'''非退化'''であるとは、{{math|1=''B''('''v''', '''w''') = '''0'''}} {{math|(∀'''w''')}} ならば {{math|1='''v''' = '''0'''}} となることをいう。

線型写像 {{math|''A'': ''V'' → ''V''*}} が任意に与えられると、
: {{math|1=''B''('''v''', '''w''') = ''A''('''v''')('''w''')}}
と置くことにより {{mvar|V}} 上の双線型形式 {{mvar|B}} が定まる。この形式が非退化であるための必要十分条件は {{mvar|A}} が同型であることである。

{{mvar|V}} が有限次元の時、{{mvar|V}} の適当な[[基底 (線型代数学)|基底]]に関して、双線型形式が退化するための必要十分条件は、対応する行列の[[行列式]]が零となること。同様に、非退化形式は対応する行列の行列式が零でない（行列が[[正則行列|正則]]）である双線型形式である。これらは基底の取り方に依らず成り立つ事実である。
* 可換環上の加群の場合には、ユニモジュラー形式とは付随する行列の行列式が[[単元 (数学)|単元]]（例えば[[乗法単位元| {{math|1}}]]）、したがって各項もそうであるような双線型形式である。付随する行列が非零だが単元でない形式は、非退化だがユニモジュラーでないことに注意すべきである（例えば、整数環上定義された <math>B(x,y) = 2xy</math> など）。

== 対称性、歪対称性および交代性 ==
与えられた双線型形式が、
* '''[[対称双線型形式|対称]]'''であるとは、V の全ての '''v''', '''w''' に対し、''B''('''v''', '''w''') = B('''w''', '''v''') のこと;
* '''[[外積代数#重線型交代形式|交代的]]'''であるとは、V の全ての '''v''' に対し、''B''('''v''', '''v''') = 0 のこと;
* '''歪対称'''であるとは、V の全ての '''v''', '''w''' に対し、''B''('''v''', '''w''') = −''B''('''w''', '''v''') のこと
と定義する。

; 注意: 任意の交代形式が歪対称となることは ''B''('''v'''+'''w''', '''v'''+'''w''') を展開すれば明らかであり、基礎体 ''F'' の[[標数]]が 2 でないときは、逆も正しい。即ち、双線型形式が歪対称的であることと交代的であることとは同じ概念をさだめる。
: しかし char(F) = 2 のときは、歪対称形式は対称形式と同一の概念を表すこととなり、また交代形式ではない対称／歪対称形式が存在する。

双線型形式が対称（あるいは歪対称）であるための必要十分条件は、その双線型形式の（任意の基底に対する）表現行列が[[対称行列|対称]]（あるいは[[交代行列|歪対称]]）となることである。また双線型形式が交代的となる必要十分条件は、この双線型形式の表現行列が歪対称でかつ対角成分がすべてゼロであるとなることである（char(''F'') ≠ 2F の時は、歪対称よりこのことが従う）。

双線型形式が対称であるための必要十分条件は、それに対応する二つの線型写像 B<sub>1</sub>, B<sub>2</sub>: V → V* が相等しいことであり、また歪対称であるための必要十分条件は、対応する線型写像の一方が他方の符号を変えたものとなっていることである。また、char(F) ≠ 2 のとき、双線型形式は
:<math>B^{\pm} = \frac{1}{2} (B \pm B^*)</math>
と置くことにより、対称部分と歪対称部分に分解することができる。ここに、''B''<sup>&lowast;</sup> は ''B'' の（上で定義した意味での）転置である。

== 付随する二次形式 ==
{{seealso|二次形式|{{仮リンク|分極恒等式|en|polarization identity}}}}
双線型形式 {{math|''B'': ''V'' &times; ''V'' → ''F''}} に対し、'''付随する二次形式''' {{math|''Q''{{msub|''B''}}: ''V'' → ''F''}} は {{math|1=''Q''{{msub|''B''}}('''v''') := ''B''('''v''', '''v''')}} で与えられる。

char(F) ≠ 2 のとき、[[二次形式]]はそれに付随する対称双線型形式の言葉を用いて定義することができる。同様の仕方で、二次形式の概念の、歪対称形式、[[エルミート形式]]、[[歪エルミート形式]]などに対応する変形版を定義することができる。これを一般にまとめた概念として{{仮リンク|ε-二次形式|en|ε-quadratic form}}(ε-quadratic form) がある。

== 反射性・直交性 ==
; 定義
: 双線型形式 ''B'': ''V'' × ''V'' → ''F'' が'''反射的''' (reflexive) であるとは、''V'' の全ての '''v''', '''w''' に対して、''B''('''v''', '''w''') = 0 ならば ''B''('''w''', '''v''') = 0 が成り立つことを言う。
: 反射的双線型形式 B : V × V → F に対し、V の '''v''', '''w''' が''' ''B'' に関して直交''' (orthogonal) するとは ''B''('''v''', '''w''') = 0 が成り立つこと（これは ''B''('''w''', '''v''') = 0 が成り立つこととしても同じ）を言う。

双線型形式 ''B'' が反射的であるには、それが対称的もしくは交代的の何れかとなることが必要十分である<ref>{{harvnb|Grove|1997}}</ref>。反射性を落として考えるばあいには、左直交と右直交の概念を区別しなければならない。反射的空間においては左右の根基は一致し、自分以外の全てのベクトルと直交するようなベクトル全体の成す部分空間として、双線型形式の'''核'''、もしくは'''根基'''と呼ばれる。すなわち、行列表現 ''x'' をもつベクトル '''v''' が行列表現 ''A'' を持つ双線型形式の根基に属するというのは、''Ax'' = 0 となること（いまの場合 ''x''<sup>T</sup>''A'' = 0 となることとしても同じ）である。根基は、常に V の部分空間である。根基が自明であることと、行列 A が非特異であることとは同値であり、従って、双線型形式が非退化であることとも同値である。

部分空間 ''W'' に対して、''B'' に関する'''[[直交補空間]]'''<ref>Adkins & Weintraub (1992) p.359</ref>は
:<math>W^{\perp}=\{v\mid B(\mathbf{v}, \mathbf{w})=0\ \forall \mathbf{w}\in W\}</math>
で定義される。有限次元空間の上の非退化二次形式に対し、写像 W ↔ W<sup>⊥</sup> は[[全単射]]であり、W<sup>⊥</sup> の次元は dim(V) − dim(W) で与えられる。

== 異なる空間 ==
同じ基礎体の上の[[双線型写像]]
: ''B'': ''V'' × ''W'' → ''F''
に対しても、上で述べた双線型形式に関する議論の大半について同様の内容が成立する。例えばこの場合においても、双線型写像からは、''V'' から ''W''<sup>&lowast;</sup> への線型写像と ''W'' から ''V''<sup>&lowast;</sup> への線型写像が誘導される。これらの写像が同型となることも起こり得る（有限次元の場合は、やはり一方が同型ならば他方も同型でなければならない）。その場合、''B'' は'''完全対''' (perfect pairing) である、または ''V'' と ''W'' とを'''双対にする'''という。

有限次元では、これはペアリングが非退化であることと同値である（空間は必然的に同次元となる）。（ベクトル空間ではなく）加群について言えば、非退化形式であるということがユニモジュラ形式であるという条件より弱い条件であるのとちょうど同じ意味で、非退化対であることは完全対であることよりも弱い条件になる。非退化ではるが完全ではない例としては、{{nowrap|(''x'',''y'') ↦ 2''xy''}} による {{nowrap|'''Z''' × '''Z''' → '''Z'''}} は非退化ではあるが、写像 {{nowrap|'''Z''' → '''Z'''*}} の上に 2による積を引き起こす。

そこで、こういった場合に対しても双線型形式という言葉がしばしば用いられる。例えば、リース・ハーヴィは「八種類の内積」<ref>Harvey p. 22</ref>について議論するのに、非零成分は +1 または −1 しか持たないような対角行列 ''A''<sub>''ij''</sub> を用いてそれらの「内積」を定義した。ここでいう「内積」の中には、[[斜交形式]]や[[半双線型形式]]、[[エルミート形式]]であるようなものが含まれる。その議論は、一般の体 ''F'' ではなくて、具体的に実数体 '''R''', 複素数体 '''C''', [[四元数]]体 '''H''' を詳述するものである。例えば
: <math>\sum_{k=1}^p  x_k y_k  - \sum_{k=p+1}^n  x_k y_k </math>
なる形の双線型形式は、'''実対称型'''(real symmetric case) と呼ばれ、R(''p'', ''q'') (ただし ''p'' + ''q'' = ''n'') という[[符号数|ラベル]]で分類される。旧来の用語との関係については
<blockquote>実対称型双線型形式には非常に重要なものが含まれる。正定値の場合の R(''n'', 0) は[[ユークリッド空間]]に対応し、また一つが負符号の R(''n''−1, 1) は[[ローレンツ空間]]に対応する。''n'' = 4 の場合のローレンツ空間は[[ミンコフスキー空間]]または'''ミンコフスキー時空'''とも呼ばれている。R(''p'', ''p'') なる特別な場合は'''分解型'''と呼ばれるものである。</blockquote>
と述べている<ref>Harvey p 23</ref>。

==テンソル積との関係==
[[テンソル積]]の持つ[[普遍性]]により、V 上の双線型形式は、線型写像 V ⊗ V → F と 1 対 1 に対応する。B が V 上の双線型形式であれば、対応する線型写像は
:'''v''' ⊗ '''w''' ↦ B('''v''', '''w''')
によって与えられる。全ての線型写像 V ⊗ V → F の集合は、V ⊗ V の[[双対空間]]であるので、双線型形式は
:(''V'' ⊗ ''V'')* ≅ ''V*'' ⊗ ''V*''
の元と考えられる。同様にして、対称双線型形式は Sym<sup>2</sup>(V*) （V* の二次[[対称代数|対称冪]]）の元とも考えることができ、交代双線型形式は、Λ<sup>2</sup>''V*'' （V* の二次[[外積代数|外冪]]）の元とも考えられる。

==ノルム線型空間==
; 定義
: [[ノルム線型空間]]の上の双線型形式は、全ての '''u''', '''v''' ∈ V に対して、<div style="margin: 1ex 2em;"><math>B(\mathbf{u}, \mathbf{v}) \le C \|\mathbf{u}\| \|\mathbf{v}\|</math></div>が成立するような定数 C が存在するとき、'''有界'''(bounded)であるという。
: ノルム線型空間の上の双線型形式が'''楕円的'''(elliptic)、もしくは{{仮リンク|強圧的写像|en|Coercive_function#Coercive_operators_and_forms|label=強圧的}}であるとは、全ての '''u''' ∈ V に対して、<div style="margin: 1ex 2em;"><math>B(\mathbf{u}, \mathbf{u}) \ge c \|\mathbf{u}\|^2</math></div>となるような定数 c > 0 が存在する場合を言う。

==関連項目==
*[[双線型作用素]]
*[[多重線型形式]]
*[[二次形式]]
*[[計量ベクトル空間|内積空間]]
*[[定符号二次形式|正定値二次形式]]
*[[半双線型形式]]

==脚注==
{{reflist}}

==参考文献==
* {{cite book | last=Jacobson | first=Nathan | title=Basic Algebra | volume=I | edition=2nd | year=2009 | isbn=978-0-486-47189-1 }}
* {{cite book | last1=Adkins | first1=William A. | last2=Weintraub | first2=Steven H. | title=Algebra: An Approach via Module Theory | series=[[Graduate Texts in Mathematics]] | volume=136 | publisher=[[Springer-Verlag]] | year=1992 | isbn=3-540-97839-9 | zbl=0768.00003  }}
* {{cite book | first=Bruce | last=Cooperstein | year=2010 | title=Advanced Linear Algebra | chapter=Ch 8: Bilinear Forms and Maps | pages=249&ndash;88 | publisher=[[CRC Press]] | isbn=978-1-4398-2966-0 }}
* {{cite book | last=Grove | first=Larry C. | title=Groups and characters | year=1997 | publisher=Wiley-Interscience | isbn=978-0-471-16340-4}}
* {{cite book | last1=Halmos | first1=Paul R. | author1-link=Paul R. Halmos | title=Finite-dimensional vector spaces | series=Undergraduate Texts in Mathematics | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90093-3 | year=1974 | zbl=0288.15002 }}
* Harvey, F. Reese (1990) ''Spinors and calibrations'', Ch 2:The Eight Types of Inner Product Spaces, pp 19–40, [[Academic Press]], ISBN 0-12-329650-1 .
* M. Hazewinkel ed. (1988) [[Encyclopedia of Mathematics]], v.1, p.&nbsp;390, [[Kluwer Academic Publishers]]
* {{cite book | first1=J. | last1=Milnor | author1-link=John Milnor| first2=D. | last2=Husemoller | title=Symmetric Bilinear Forms | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]] | volume=73 | publisher=[[Springer-Verlag]] | year=1973 | isbn=3-540-06009-X | zbl=0292.10016 }}
* {{cite book | last=Shilov | first=Georgi E. | title=Linear Algebra | editor-last=Silverman | editor-first=Richard A. | year=1977 | publisher=Dover | isbn=0-486-63518-X}}
* {{cite book  | last = Shafarevich  | first = I. R. | authorlink = Igor Shafarevich | coauthors = A. O. Remizov | title = Linear Algebra and Geometry | publisher = [[Springer Science+Business Media|Springer]] | year = 2012 | url = http://www.springer.com/mathematics/algebra/book/978-3-642-30993-9 | isbn = 978-3-642-30993-9}}

==外部リンク==
* {{SpringerEOM|title=Bilinear form|urlname=Bilinear_form}}
*{{planetmath reference|id=1612|title=Bilinear form}}

{{PlanetMath attribution|id=37553|title=Unimodular}}
{{Linear-algebra-stub}}
{{デフォルトソート:そうせんけいけいしき}}
[[Category:線型代数学]]
[[Category:形式]]
[[Category:数学に関する記事]]