「対称双線型形式」の版間の差分
ARAKI Satoru (会話 | 投稿記録) 編集の要約なし |
ARAKI Satoru (会話 | 投稿記録) m編集の要約なし |
||
(4人の利用者による、間の5版が非表示) | |||
1行目: | 1行目: | ||
{{複数の問題<!-- |technical = September 2011 -->|参照方法 = September 2011|出典の明記 = February 2010}} |
|||
[[線型代数学]]における'''対称双線型形式'''(たいしょうそうせんけいけいしき、{{lang-en-short|symmetric bilinear form, symmetric bilinear functional}})は、[[ベクトル空間]]上の対称な[[双線型形式]]を言う。平たく言えば、実ベクトル空間上の[[標準内積]]を一般化した概念である。対称双線型形式は、直交極性や[[二次曲面 (射影幾何学)|二次曲面]]の研究に非常に重要である。 |
[[線型代数学]]における'''対称双線型形式'''(たいしょうそうせんけいけいしき、{{lang-en-short|symmetric bilinear form, symmetric bilinear functional}})は、[[ベクトル空間]]上の対称な[[双線型形式]]を言う。平たく言えば、実ベクトル空間上の[[標準内積]]を一般化した概念である。対称双線型形式は、直交極性や[[二次曲面 (射影幾何学)|二次曲面]]の研究に非常に重要である。 |
||
5行目: | 4行目: | ||
== 定義 == |
== 定義 == |
||
{{mvar|V}} を体 {{mvar|K}} 上の有限次元[[ベクトル空間]]とする。[[写像]] {{math|''b'' : ''V'' × ''V'' → ''K''}} が、{{mvar|V}} 上の[[双線型形式]]であるとは、すべての[[ベクトル]] {{math|''u'', ''v'', ''w'' ∈ ''V''}} と[[スカラー]] {{math|''λ'' ∈ ''K''}} に対して次の3条件を満たすことである。 |
{{mvar|V}} を体 {{mvar|K}} 上の有限次元[[ベクトル空間]]とする。[[写像]] {{math|''b'' : ''V'' × ''V'' → ''K''}} が、{{mvar|V}} 上の[[双線型形式]]であるとは、すべての[[ベクトル]]{{要曖昧さ回避|date=2021年7月}} {{math|''u'', ''v'', ''w'' ∈ ''V''}} と[[スカラー (数学)|スカラー]] {{math|''λ'' ∈ ''K''}} に対して次の3条件を満たすことである。 |
||
* <math>b(u + v, w) = b(u, w) + b(v, w)</math> |
* <math>b(u + v, w) = b(u, w) + b(v, w)</math> |
||
* <math>b(u, v + w) = b(u, v) + b(u, w) </math> |
* <math>b(u, v + w) = b(u, v) + b(u, w) </math> |
||
23行目: | 22行目: | ||
== 表現行列 == |
== 表現行列 == |
||
有限次元ベクトル空間 {{math|''V''}} の[[基底]] {{math|''E'' {{=}} {{mset|''e''<sub>1</sub>, …, ''e''<sub>''n''</sub>}}}} をひとつ固定する。このとき {{mvar|V}} 上の双線型形式 {{math|''b''}} に対して {{mvar|n}} 次正方行列 {{math|''B'' {{=}} (''b''<sub>''ij''</sub>)}} を |
有限次元ベクトル空間 {{math|''V''}} の[[基底 (線型代数学)|基底]] {{math|''E'' {{=}} {{mset|''e''<sub>1</sub>, …, ''e''<sub>''n''</sub>}}}} をひとつ固定する。このとき {{mvar|V}} 上の双線型形式 {{math|''b''}} に対して {{mvar|n}} 次正方行列 {{math|''B'' {{=}} (''b''<sub>''ij''</sub>)}} を |
||
: <math>b_{ij} = b(e_i, e_j)</math> |
: <math>b_{ij} = b(e_i, e_j)</math> |
||
で定義する。これを双線型形式 {{mvar|b}} の基底 {{mvar|E}} に関する'''表現行列'''という。表現行列 {{mvar|B}} は、双線型形式 {{mvar|b}} が対称であるとき、かつそのときに限り[[対称行列]]である{{sfn|Scharlau|1985|p={{google books quote|id=c27pCAAAQBAJ|page=4|4}}}}。ベクトル {{math|''u'' {{=}} {{subsup|∑|''i'' {{=}} 1|''n''}} ''u<sub>i</sub> e<sub>i</sub>'', ''v'' {{=}} {{subsup|∑|''j'' {{=}} 1|''n''}} ''v<sub>j</sub> e<sub>j</sub>'' ∈ ''V''}} に対して値 {{math|''b''(''u'', ''v'')}} は表現行列 {{mvar|B}} を用いて |
で定義する。これを双線型形式 {{mvar|b}} の基底 {{mvar|E}} に関する'''表現行列'''という。表現行列 {{mvar|B}} は、双線型形式 {{mvar|b}} が対称であるとき、かつそのときに限り[[対称行列]]である{{sfn|Scharlau|1985|p={{google books quote|id=c27pCAAAQBAJ|page=4|4}}}}。ベクトル {{math|''u'' {{=}} {{subsup|∑|''i'' {{=}} 1|''n''}} ''u<sub>i</sub> e<sub>i</sub>'', ''v'' {{=}} {{subsup|∑|''j'' {{=}} 1|''n''}} ''v<sub>j</sub> e<sub>j</sub>'' ∈ ''V''}} に対して値 {{math|''b''(''u'', ''v'')}} は表現行列 {{mvar|B}} を用いて |
||
45行目: | 44行目: | ||
ベクトル {{mvar|v}} が根基に属するための必要十分条件は、適当な基底 {{mvar|E}} に関する表現行列 {{mvar|B}} を用いて述べれば、{{mvar|v}} を {{mvar|E}} に関して列ベクトルと同一視したとき <math>Bv = 0</math> が成り立つことである。これは <math>v^{\top} B = 0</math> とも同値である。 |
ベクトル {{mvar|v}} が根基に属するための必要十分条件は、適当な基底 {{mvar|E}} に関する表現行列 {{mvar|B}} を用いて述べれば、{{mvar|v}} を {{mvar|E}} に関して列ベクトルと同一視したとき <math>Bv = 0</math> が成り立つことである。これは <math>v^{\top} B = 0</math> とも同値である。 |
||
対称双線型形式 {{mvar|b}} が'''特異''' (''singular'') であるとは、その根基が非自明なことをいう。また対称双線型形式 {{mvar|b}} が[[非退化双線型形式|'''非退化''']]あるいは非特異 (''non-degenerate'', ''non-singular'') であるとは、特異でないことをいう。対称双線型形式 {{mvar|b}} が非退化ならば {{mvar|V}} の部分空間 {{mvar|W}} に対し {{math|''W''<sup>⊥</sup>}} の次元は {{math|1=dim ''W''<sup>⊥</sup> = dim ''V'' − dim ''W''}} である{{sfn|Scharlau|1985|p={{google books quote|id=c27pCAAAQBAJ|page=9|9}}|loc=Lemma 3.11}}。 |
対称双線型形式 {{mvar|b}} が'''特異''' (''singular'') であるとは、その根基が非自明なことをいう。また対称双線型形式 {{mvar|b}} が[[非退化双線型形式|'''非退化''']]あるいは非特異 (''non-degenerate'', ''non-singular'') であるとは、特異でないことをいう。これは随伴写像 |
||
:<math> \hat b \colon V \to V^\ast,\ v \mapsto b(v, {-}) </math> |
|||
が同型写像であることと同値である{{sfn|Scharlau|1985|p={{google books quote|id=c27pCAAAQBAJ|page=7|7}}|loc=Corollary 3.2}}。ただし {{math|''V''*}} は {{mvar|V}} の[[双対空間]] {{math|Hom(''V'', ''K'')}} である。対称双線型形式 {{mvar|b}} が非退化ならば {{mvar|V}} の部分空間 {{mvar|W}} に対し {{math|''W''<sup>⊥</sup>}} の次元は {{math|1=dim ''W''<sup>⊥</sup> = dim ''V'' − dim ''W''}} である{{sfn|Scharlau|1985|p={{google books quote|id=c27pCAAAQBAJ|page=9|9}}|loc=Lemma 3.11}}。 |
|||
== 直交基底 == |
== 直交基底 == |
||
58行目: | 59行目: | ||
=== 実係数の場合=== |
=== 実係数の場合=== |
||
実数体上の空間を考える場合には、もう少し詳しく述べることができる。{{math| |
実数体上の空間を考える場合には、もう少し詳しく述べることができる。{{math|{{mset|''e''<sub>1</sub>, …, ''e''<sub>''n''</sub>}}}} を直交基底とする。 |
||
新たな直交基底 {{math| |
新たな直交基底 {{math|{{mset|''e′''<sub>1</sub>, …, ''e′''<sub>''n''</sub>}}}} を |
||
:<math> |
:<math> |
||
e'_i = \begin{cases} |
e'_i = \begin{cases} |
||
e_i & \text{if } b(e_i,e_i)=0 \\ |
e_i & \text{if } b(e_i,e_i)=0 \\ |
||
e_i/\sqrt{+b(e_i,e_i)} & \text{if } b(e_i,e_i) >0\\ |
|||
e_i/\sqrt{-b(e_i,e_i)} & \text{if } b(e_i,e_i) <0 |
|||
\end{cases} |
\end{cases} |
||
</math> |
</math> |
||
で定義すると、新たな表現行列 {{math|''B''}} は対角線上に {{math|0, 1, −1}} のみを成分に持つ対角行列になる。{{math|0}} が現れるのは、根基が非自明となるときであり、かつそのときに限る。 |
で定義すると、新たな表現行列 {{math|''B''}} は対角線上に {{math|0, +1, −1}} のみを成分に持つ対角行列になる。{{math|0}} が現れるのは、根基が非自明となるときであり、かつそのときに限る。 |
||
=== 複素係数の場合 === |
=== 複素係数の場合 === |
||
複素数体上の空間を扱う場合も、同様に詳しくしかもより平易な形に述べることができる。{{math| |
複素数体上の空間を扱う場合も、同様に詳しくしかもより平易な形に述べることができる。{{math|{{mset|''e''<sub>1</sub>, …, ''e''<sub>''n''</sub>}}}} を直交基底とする。 |
||
新たな基底 {{math| |
新たな基底 {{math|{{mset|''e′''<sub>1</sub>, …, ''e′''<sub>''n''</sub>}}}} を |
||
:<math> |
:<math> |
||
e'_i = \begin{cases} |
e'_i = \begin{cases} |
||
e_i & \text{if }\; b(e_i,e_i)=0 \\ |
e_i & \text{if }\; b(e_i,e_i)=0 \\ |
||
e_i/\sqrt{b(e_i,e_i)} & \text{if }\; b(e_i,e_i) \neq 0 |
e_i/\sqrt{b(e_i,e_i)} & \text{if }\; b(e_i,e_i) \neq 0 |
||
\end{cases} |
\end{cases} |
||
</math> |
</math> |
||
83行目: | 84行目: | ||
== 直交偏極 == |
== 直交偏極 == |
||
{{出典の明記|date=2017年7月|section=1}} |
|||
[[標数]]が {{math|2}} でない体 {{math|''K''}} の上のベクトル空間 {{math|''V''}} 上で定義される、自明な根基を持つ対称双線型形式 {{math|''b''}} に対し、{{math|''V''}} の部分空間全体の成す集合 {{math|''D''(''V'')}} からそれ自身への写像 |
[[標数]]が {{math|2}} でない体 {{math|''K''}} の上のベクトル空間 {{math|''V''}} 上で定義される、自明な根基を持つ対称双線型形式 {{math|''b''}} に対し、{{math|''V''}} の部分空間全体の成す集合 {{math|''D''(''V'')}} からそれ自身への写像 |
||
: <math>\alpha\colon D(V)\to D(V) ,\; W\mapsto W^{\perp}</math> |
: <math>\alpha\colon D(V)\to D(V) ,\; W\mapsto W^{\perp}</math> |
||
91行目: | 93行目: | ||
== 参考文献 == |
== 参考文献 == |
||
* {{cite book | |
* {{cite book | first1=J. | last1=Milnor | author1-link=John Milnor| first2=D. | last2=Husemoller | title=Symmetric Bilinear Forms | url={{google books|vGPyCAAAQBAJ|plainurl=yes}} | series=Ergebnisse der Mathematik und ihrer Grenzgebiete | volume=73 | publisher=[[Springer-Verlag]] | year=1973 | isbn=3-540-06009-X | doi=10.1007/978-3-642-88330-9 | mr=0506372 | zbl=0292.10016 | ref = harv }} |
||
* {{cite book | first1=J. | last1=Milnor | author1-link=John Milnor| first2=D. | last2=Husemoller | title=Symmetric Bilinear Forms | url={{google books|vGPyCAAAQBAJ|plainurl=yes}} | series=Ergebnisse der Mathematik und ihrer Grenzgebiete | volume=73 | publisher=[[Springer-Verlag]] | year=1973 | isbn=3-540-06009-X | doi=10.1007/978-3-642-88330-9 | mr=0506372 | zbl=0292.10016 }} |
|||
* {{cite book |
* {{cite book |
||
|last1 = Scharlau |
|last1 = Scharlau |
2023年6月22日 (木) 16:01時点における最新版
線型代数学における対称双線型形式(たいしょうそうせんけいけいしき、英: symmetric bilinear form, symmetric bilinear functional)は、ベクトル空間上の対称な双線型形式を言う。平たく言えば、実ベクトル空間上の標準内積を一般化した概念である。対称双線型形式は、直交極性や二次曲面の研究に非常に重要である。
文脈上、双線型形式について述べていると明らかな場合は、単に短く対称形式と呼ぶこともある。対称双線型形式は二次形式と近しい関係にあり、この両者の差異に関する詳細はε-二次形式の項目を参照。
定義[編集]
V を体 K 上の有限次元ベクトル空間とする。写像 b : V × V → K が、V 上の双線型形式であるとは、すべてのベクトル[要曖昧さ回避] u, v, w ∈ V とスカラー λ ∈ K に対して次の3条件を満たすことである。
これらの3条件に加えて条件
を満たすとき b : V × V → K を対称双線型形式という[1]。
具体例[編集]
平面 R2 のベクトル x = (x1, x2) と y = (y1, y2) に対して
で定まる標準内積 b : R2 × R2 → R は対称双線型形式である。また
で定まる写像 b′ : R2 × R2 → R や
で定まる自明な写像 b0 : R2 × R2 → R なども対称双線型形式である。
表現行列[編集]
有限次元ベクトル空間 V の基底 E = {e1, …, en} をひとつ固定する。このとき V 上の双線型形式 b に対して n 次正方行列 B = (bij) を
で定義する。これを双線型形式 b の基底 E に関する表現行列という。表現行列 B は、双線型形式 b が対称であるとき、かつそのときに限り対称行列である[2]。ベクトル u = ∑ n
i = 1 ui ei, v = ∑ n
j = 1 vj ej ∈ V に対して値 b(u, v) は表現行列 B を用いて
と表される。逆に(対称)行列 B が与えられると(対称)双線型形式 b が上の関係式から定まる。
新たな基底 E′ = {e′1, …, e′n} をとり、基底の変換行列 S = (sij) が e′j = ∑ n
i = 1 sij ei で与えられているとする。このとき、 双線型形式 b の基底 E′ に関する表現行列 B′ は
で与えられる[3]。
二次形式[編集]
V 上の対称双線型形式 b に対して q : V → K を
で定める。これを V 上の二次形式という。
![]() | この節の加筆が望まれています。 |
直交性と特異性[編集]
双線型形式は対称ならば反射的である。ふたつのベクトル v, w ∈ V が V 上の対称双線型形式 b に関して直交するとは b(v, w) = 0 が成り立つことをいう。(反射性より、これは b(w, v) = 0 と同値。)これを記号 v ⊥ w で表す[4]。
部分集合 X ⊆ V に対して X のすべてのベクトルと直交するベクトル全体からなる集合を X⊥ と表す[4]。これは V の部分空間となる[5]。とくに V⊥ は対称双線型形式 b の根基 (radical) と呼ばれる[6]。 ベクトル v が根基に属するための必要十分条件は、適当な基底 E に関する表現行列 B を用いて述べれば、v を E に関して列ベクトルと同一視したとき が成り立つことである。これは とも同値である。
対称双線型形式 b が特異 (singular) であるとは、その根基が非自明なことをいう。また対称双線型形式 b が非退化あるいは非特異 (non-degenerate, non-singular) であるとは、特異でないことをいう。これは随伴写像
が同型写像であることと同値である[7]。ただし V* は V の双対空間 Hom(V, K) である。対称双線型形式 b が非退化ならば V の部分空間 W に対し W⊥ の次元は dim W⊥ = dim V − dim W である[8]。
直交基底[編集]
V の基底 E = {e1, …, en} が V 上の対称双線型形式 b に関して直交するとは、
が成り立つことを言う。基礎体の標数が 2 でないとき、V は常に直交基底を持つ[9][10]。このことの証明は数学的帰納法による。
基底 E が b に関して直交するための必要十分条件は、その表現行列 B が対角行列となることである。
符号数とシルベスターの慣性法則[編集]
最も一般の場合にシルベスターの慣性法則の主張は順序体 K 上で意味を持ち、表現行列の対角成分の 0 である個数、正である個数、負である個数が、直交基底の選択には依存しないことを主張する。これらの 3つの数値は、双線型形式の符号数と呼ばれる。
実係数の場合[編集]
実数体上の空間を考える場合には、もう少し詳しく述べることができる。{e1, …, en} を直交基底とする。
新たな直交基底 {e′1, …, e′n} を
で定義すると、新たな表現行列 B は対角線上に 0, +1, −1 のみを成分に持つ対角行列になる。0 が現れるのは、根基が非自明となるときであり、かつそのときに限る。
複素係数の場合[編集]
複素数体上の空間を扱う場合も、同様に詳しくしかもより平易な形に述べることができる。{e1, …, en} を直交基底とする。
新たな基底 {e′1, …, e′n} を
で定義すると、新たな表現行列 B は対角線上に 0 と 1 のみを成分に持つ対角行列となる。0 が現れるのは根基が非自明なときであり、かつそのときに限る。
直交偏極[編集]
![]() |
標数が 2 でない体 K の上のベクトル空間 V 上で定義される、自明な根基を持つ対称双線型形式 b に対し、V の部分空間全体の成す集合 D(V) からそれ自身への写像
を定義することができる。この写像は射影空間 PG(W) 上の直交極性 (orthogonal polarity) である。逆に、すべての直交極性はこの方法により得られる、自明な根基を持つ二つの対称双線型形式が同じ極性を持つための必要十分条件は、それらがスカラー倍の違いを除いて一致することである。
出典[編集]
- ^ Scharlau 1985, p. 1, Definition 1.1.
- ^ Scharlau 1985, p. 4.
- ^ Scharlau 1985, p. 5, Lemma 2.1.
- ^ a b Scharlau 1985, p. 2, Definition 1.2.
- ^ Scharlau 1985, p. 2, Lemma 1.3.
- ^ Scharlau 1985, p. 7.
- ^ Scharlau 1985, p. 7, Corollary 3.2.
- ^ Scharlau 1985, p. 9, Lemma 3.11.
- ^ Milnor & Husemoller 1973, p. 6, Corollary 3.4.
- ^ Scharlau 1985, p. 7, Theorem 3.5.
参考文献[編集]
- Milnor, J.; Husemoller, D. (1973). Symmetric Bilinear Forms. Ergebnisse der Mathematik und ihrer Grenzgebiete. 73. Springer-Verlag. doi:10.1007/978-3-642-88330-9. ISBN 3-540-06009-X. MR0506372. Zbl 0292.10016
- Scharlau, W. (1985). Quadratic and Hermitian Forms. Grundlehren der Mathematischen Wissenschaften. 270. Springer-Verlag. doi:10.1007/978-3-642-69971-9. ISBN 3-540-13724-6. MR0770063. Zbl 0584.10010
外部リンク[編集]
- Weisstein, Eric W. "Symmetric Bilinear Form". mathworld.wolfram.com (英語).
- symmetric bilinear form - PlanetMath.
- bilinear form in nLab
- Definition:Symmetric Bilinear Form at ProofWiki