双線型形式

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

数学で、ベクトル空間 V 上の双線型形式(そうせんけいけいしき、: bilinear form)とは、双線型写像 V × VF のことを言う。ここに Fスカラー(基礎体、係数体)である。すなわち、双線型形式は函数 B: V × VF であり、引数に対してそれぞれ線型写像となっている函数を言う。

  • B(u + v, w) = B(u, w) + B(v, w)
  • B(u, v + w) = B(u, v) + B(u, w)
  • Bu, v) = B(u, λv) = λB(u, v)

双線型形式の定義は、線型写像を加群の準同型に置き換えることで、可換環上の加群へも拡張できる。また、F複素数C の場合には、双線型形式ではなく半双線型形式(sesquilinear form)(双線型形式と似ているけれど、一方の引数に関して線型かつ他方の引数に関して共役線型英語版(conjugate linear) となるような写像)を考えるほうが自然である。

座標による表現[編集]

VFnn-次元べクトル空間で {e1, ..., en} がその基底を与えるものとする。n × n 行列 AA = (B(ei, ej)) で定義され、ベクトル v, w をこの基底に関して表す n × 1 行列をそれぞれ x, y であるとすれば

B(\mathbf{v}, \mathbf{w}) = x^\mathrm T Ay = \sum_{i,j=1}^n a_{ij} x_i y_j

が成り立つ。別な基底 {f1, ..., fn} を取るとき、正則線型変換 SGL(n; F) が存在して

[f1, ..., fn] = [e1, ..., en]S

と書けるから、同じ双線型形式のこの基底に関する行列表現は、STAS により与えられる。

双対空間への写像[編集]

V 上の全ての双線型形式 B は、双対空間 V* への V からの線型写像のペアを定義する。B1, B2: V → V* と次により定義する。

B1(v)(w) = B(v, w)
B2(v)(w) = B(w, v)

これは次のように記述することもある。

B1(v) = B(v, ⋅)
B2(v) = B(⋅, v)

ここに ( ⋅ ) は、結果として出てくる線型汎函数の引数が置かれるべき場所であることを示している。

有限次元ベクトル空間 V に対し、B1 もしくは B2 のいづれかが同型であれば、両方とも同型となり、双線型形式 B は非退化英語版(nondegenerate)であると言われる。更に具体的には、有限次元ベクトル空間に対し、非退化とは全てのゼロでない要素とのペアと他の要素に対して

全ての y \in V に対して、B(x,y)=0\, は x = 0 を意味する。
全ての x \in V に対して、B(x,y)=0\, は y = 0 を意味する。

が成立する。

環の上の加群の場合に、対応する概念として V \to V^* が同型ならば双線型形式はユニモジュラであるという。可換環上の有限次元加群が与えられ、ペアが単射(この場合は上の意味で非退化となる)の場合は、ユニモジュラとはならない。例えば、整数の上で、ペア B(x,y) = 2xy は非退化であるが、引き起こされる V = Z から V* = Z 写像が 2 の倍数となるので、ユニモジュラではない。

V が有限次元の場合は、V と二重双対 V** とを同一視できる。B2 が線型写像 B1転置行列であることを示すことができる(V が無限次元の場合は、B2 は V** の中の V の像に制限したB1 の転置とすればよい)。B が与えられると、B の転置を次の式で与えられる双線型形式であると定義できる。

B*(v, w) = B(w, v).

双線型形式 B の左根基右根基は、それぞれ B1 と B2である。[1] それらは左と右の全体の空間に対して直交するベクトルである。[2]

V が有限次元であれば、B1ランクは B2 のランクに等しい。この数が dim(V) に等しければ、B1 と B2 は V から V* への線型同型である。この場合は、B は非退化である。階数・退化次数の定理により、これは左と右の根基が自明であるという条件と同等である。実際、有限次元の空間に対し、このことが非退化の定義として取られることが多い。

定義
B が非退化であることと、[全ての w に対して B(v, w) = 0] ⇔ [v = 0] となることとは同値である。

任意の線型写像 A : V → V* に対し、次の式により V 上の双線型形式 B を得ることができる。

B(v, w) = A(v)(w).

この形式が非退化であることと、A が同型であることは同値である。

V が有限次元の時、 V の基底を選べば、双線型形式が退化することの必要十分条件が、付随する行列の行列式がゼロであることと述べられる。同様にして、非退化形式は付随する行列の行列式がゼロでない(行列が非特異(non singular))ような双線型形式ということになる。これらの言明は基底の選択の仕方に依らない。環上の加群に対して、ユニモジュラ形式とは付随する行列の行列式が(例えば単位元 1 のような)単元となる(従って座標表示の各項もそうである)ような双線型形式である。注意すべきことだが、付随する行列(行列式でなくて)が非零だが単元でないような形式は非退化だがユニモジュラでないことが起こり得る(例えば、整数環上定義された B(x,y) = 2xy など)。

対称性、歪対称性および交代性[編集]

与えられた双線型形式が、

  • 対称であるとは、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 の時は、歪対称よりこのことが従う)。

双線型形式が対称であるための必要十分条件は、それに対応する二つの線型写像 B1, B2: V → V* が相等しいことであり、また歪対称であるための必要十分条件は、対応する線型写像の一方が他方の符号を変えたものとなっていることである。また、char(F) ≠ 2 のとき、双線型形式は

B^{\pm} = \frac{1}{2} (B \pm B^*)

と置くことにより、対称部分と歪対称部分に分解することができる。ここに、BB の(上で定義した意味での)転置である。

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

反射性・直交性[編集]

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

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

部分空間 W に対して、B に関する直交補空間[4]

W^{\perp}=\{v\mid B(\mathbf{v}, \mathbf{w})=0\ \forall \mathbf{w}\in W\}

で定義される。有限次元空間の上の非退化二次形式に対し、写像 W ↔ W全単射であり、W の次元は dim(V) − dim(W) で与えられる。

異なる空間[編集]

同じ基礎体の上の双線型写像

B: V × WF

に対しても、上で述べた双線型形式に関する議論の大半について同様の内容が成立する。例えばこの場合においても、双線型写像からは、V から W への線型写像と W から V への線型写像が誘導される。これらの写像が同型となることも起こり得る(有限次元の場合は、やはり一方が同型ならば他方も同型でなければならない)。その場合、B完全対 (perfect pairing) である、または VW とを双対にするという。

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

そこで、こういった場合に対しても双線型形式という言葉がしばしば用いられる。例えば、リース・ハーヴィは「八種類の内積」[5]について議論するのに、非零成分は +1 または −1 しか持たないような対角行列 Aij を用いてそれらの「内積」を定義した。ここでいう「内積」の中には、斜交形式半双線型形式エルミート形式であるようなものが含まれる。その議論は、一般の体 F ではなくて、具体的に実数体 R, 複素数体 C, 四元数H を詳述するものである。例えば

\sum_{k=1}^p  x_k y_k  - \sum_{k=p+1}^n  x_k y_k

なる形の双線型形式は、実対称型(real symmetric case) と呼ばれ、R(p, q) (ただし p + q = n) というラベルで分類される。旧来の用語との関係については

実対称型双線型形式には非常に重要なものが含まれる。正定値の場合の R(n, 0) はユークリッド空間に対応し、また一つが負符号の R(n−1, 1) はローレンツ空間に対応する。n = 4 の場合のローレンツ空間はミンコフスキー空間またはミンコフスキー時空とも呼ばれている。R(p, p) なる特別な場合は分解型と呼ばれるものである。

と述べている[6]

テンソル積との関係[編集]

テンソル積の持つ普遍性により、V 上の双線型形式は、線型写像 V ⊗ V → F と 1 対 1 に対応する。B が V 上の双線型形式であれば、対応する線型写像は

vw ↦ B(v, w)

によって与えられる。全ての線型写像 V ⊗ V → F の集合は、V ⊗ V の双対空間であるので、双線型形式は

(VV)* ≅ V*V*

の元と考えられる。同様にして、対称双線型形式は Sym2(V*) (V* の二次対称冪)の元とも考えることができ、交代双線型形式は、Λ2V* (V* の二次外冪)の元とも考えられる。

ノルム線型空間[編集]

定義
ノルム線型空間の上の双線型形式は、全ての u, v ∈ V に対して、
B(\mathbf{u}, \mathbf{v}) \le C \|\mathbf{u}\| \|\mathbf{v}\|
が成立するような定数 C が存在するとき、有界(bounded)であるという。
ノルム線型空間の上の双線型形式が楕円的(elliptic)、もしくは強圧的であるとは、全ての u ∈ V に対して、
B(\mathbf{u}, \mathbf{u}) \ge c \|\mathbf{u}\|^2
となるような定数 c > 0 が存在する場合を言う。

関連項目[編集]

脚注[編集]

  1. ^ Jacobson 2009 p.346
  2. ^ Zhelobenko, Dmitriĭ Petrovich (2006). Principal Structures and Methods of Representation Theory. Translations of Mathematical Monographs. American Mathematical Society. p. 11. ISBN 0-8218-3731-1. 
  3. ^ Grove 1997
  4. ^ Adkins & Weintraub (1992) p.359
  5. ^ Harvey p. 22
  6. ^ Harvey p 23

参考文献[編集]

外部リンク[編集]

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Unimodularの本文を含む