Prerequisite
この節では2つのベクトルから1つのスカラーを返す演算について考える.
ここでは体 は実数体 かまたは複素数体 とする.
を体 上の 次元ベクトル空間とする.
そして写像 で公理
計量の公理
- と に対し :線型性
- に対し :Hermite対称性
- に対し, であり,等号成立は のときのみ:正定値性
を満たすとき写像 を計量 (metric) といい, を計量ベクトル空間という.
また演算 は2つのベクトルの内積 (inner product) と呼ばれ慣習的に や などと表記する.
ここでは後のわかりやすさのために の表記を続ける.
計量 はHermite対称性線型性から1つ目の引数については複素共役をとった線型性を満たす:
このような の性質をHermite半双線型性という.
物理では正定値性を満たさない計量も考える.
その代表は特殊相対性理論に登場するMinkowski計量である.
Minkowski計量では負の値もあり得て,さらに零ベクトルでなくとも となることがありヌルベクトルと呼ばれる.
そこで上記の定義を少し緩めた公理
擬計量の公理
- と に対し :線型性
- に対し :Hermite対称性
- に対し, ならば :非退化性
を計量 の定義として採用できる.
このとき は擬計量ベクトル空間 (pseudometric vector space) と呼んで区別する.
正定値のとき ならば である.
もし に対し, ならば に対しても が成り立つ.
よって正定値性により となり非退化性を満たす.
つまり計量ベクトル空間は擬計量ベクトル空間でもある.
自分自身との内積の平方根をとったものをベクトルのノルム (norm) といい
と表記する.
計量の正定値性からノルムは常に非負の実数であり となるのは零ベクトルのときのみ.
を計量ベクトル空間とする.
2つのベクトル について であるとき,この2つのベクトルは直交 (orthogonal) するという.
の基底 として
正規直交基底
を満たすものを選ぶことができる.
この条件を満たす基底のことを正規直交基底 (orthonormal basis) という.
任意の計量ベクトル空間で正規直交基底が選べることを示す.
まず の任意の基底を とおく.
そこから1つ を選んで新たに
を定義すると のノルムをもつ.
次に をとって
とおく.
は となるように選ぶ規格化定数.
との内積を調べると
となり直交していることがわかる.
規格化定数は とすればよい.
いま 個のベクトル のどの2つも直交し,ノルム をもつものを構成できたと仮定する.
そして
を 個目として定義する.
括弧の中のベクトルは少なくとも の係数が でないので零ベクトルではない.
よって は保証される.
このベクトルは任意の との内積をとると
となり直交していることがわかる.
したがって帰納的に全ての で を満たすように選ぶことができる.
最後に今構成した が基底であることを示す. 線型結合が を満たすとする.
この線型結合と任意の との内積をとると
と計算される.
よって となるので は線型独立である.
は 次元なのでこれらは基底をなす.
ここで述べた正規直交基底の構成方法はGram–Schmidtの方法として知られる.
ただしこれは正規直交基底の1つの選び方であり,一意ではないことに注意する.
正規直交基底 でベクトルを と展開すると内積は
と成分で表すことができる.
Euclid空間 の正規直交基底としては
がある.
簡単な計算から正規直交関係 を満たすことはわかる.
任意のベクトル の内積は
となる.
他の例としては として
などがある.
Minkowski時空 での任意のベクトルは と展開できる.
ただし基底ベクトルとしては のときの基底を拡張して
と選んだ.
計量 は
と定義する.
これは基底ベクトルに対して正規直交関係の代わりに
と定義することと同じである.
ここで .
計量 は明らかに正定値性を満たさずMinkowski時空は擬計量ベクトル空間である.
のことをMinkowski計量という.
位相空間は 次元の一般化座標の空間にさらに一般化運動量の空間を付け加えた 次元のEuclid空間 であった.
正規直交基底は同じく 番目だけが であるものに選ぶ:
このベクトル空間に対して写像 を
で定める.
これをシンプレクティック内積という.
しかしながら は線型かつ非退化であるが,反対称 なので計量でも擬計量でもない.
前節ではベクトル空間の演算を保つ写像として線型写像を定義した.
そこで計量ベクトル空間に対して演算と計量を保つような写像を考えよう.
2つの計量ベクトル空間 と を考える.
その間の線型写像 が任意のベクトル に対して内積の値を保って
を満たすとき を計量準同型写像という.
特にベクトルのノルムに関しては
となって保存される.
計量準同型写像は単射であることを示そう.
をとって を仮定する.
線型性より と変形できる.
したがって単射性のためには を示せば良いが,それは「任意の に対し ならば 」を示すことと等価.
では のとき,ベクトルの大きさについて準同型性により
となる.
内積の正定値性により である.
計量準同型写像 が全射のとき は全単射であり,線型同型写像でもある.
全射な計量準同型写像 を計量同型写像または等長写像 (isometry) という.
計量準同型写像 は等長写像であることが示せる.
そのためには が全射であることだけをいえばよい.
の基底を とする.
そして が基底になっていることを示す.
線型結合が を満たすとき線型性より .
計量準同型ならば単射なので .
元の基底の線型独立性より となり たちも線型独立である.
ゆえに は の基底であり任意の は と展開できる.
それはすなわちあるベクトル を用いて と書ける.
よって は全射である(この証明は次元公式を適用すればもっと簡単になる).
最後に等長写像の表現行列について調べておこう.
を計量ベクトル空間とする.
が等長写像ならば正規直交基底 に対して も正規直交基底となることはすぐにわかる.
を元の基底で展開して の表現行列を
とおく.
正規直交関係に代入して計量の線型性より
行列 で書けば
となる.
ただし で のHermite共役という.
のとき行列 をユニタリ行列 (unitary matrix) という.
また のときは複素共役は不要になり
になる.
こちらの条件を満たす行列 を直交行列 (orthogonal matrix) という.
ユニタリ行列や直交行列は正規直交基底の変換を表す行列であり,物理学においても重要である.
直交行列は三次元Euclid空間の回転やMinkowski時空のLorentz変換に対応する.
ユニタリ行列は量子力学において確率の保存則を破らない変換として重要である.
シンプレクティック内積は通常の計量ではないが,内積を保つ写像を考えることができて,その表現行列はシンプレクティック行列と呼ばれる.
これらの性質については節をあらためて詳しく議論する.
また計量の定義された空間は重力理論を構築上でも重要となる.
ただし計量は空間の各点で定義されたなめらかな函数に拡張される.
一般相対性理論はこの計量を未知函数として含む微分方程式,Einstein方程式を基礎方程式とする.
このような計量を議論するにはベクトル空間より高級な数学的構造を導入する必要がある.
詳細は一般相対性理論の章に委ねる.
Next
- テンソル空間