ミンコフスキー空間

ミンコフスキー空間（ミンコフスキーくうかん、）とは、非退化で対称な双線型形式を持つ実ベクトル空間である。ドイツの数学者のヘルマン・ミンコフスキーに因んで名付けられている。アルベルト・アインシュタインによる特殊相対性理論を定式化する枠組みとして用いられる。この特定の設定の下では空間に時間を組み合わせた時空を表現するため、物理学の文脈ではミンコフスキー時空とも呼ばれる。

 構造 
-型のミンコフスキー空間  は、まず計量を無視して単なるベクトル空間と考えると-次元ユークリッド空間と -次元ユークリッド空間の直和  と定義されるものである。

（すなわち、集合としては直積集合  であり、 に対して  がただ一組存在して順序対として

と表され、加法とスカラー倍は、  に対して

であり、零ベクトル  は、それぞれの零ベクトル  の順序対
 0= 
として定義されるようなものである。）

次元は  である。

 ミンコフスキー計量 
直積空間としての -型のミンコフスキー空間  におけるミンコフスキー計量  は、ユークリッド空間  におけるユークリッド計量を  として

で定義される。このとき のノルムは

となる。特に  と選ぶと

となり、ユークリッド計量の正定値性から、このノルムは負となる。すなわち、ミンコフスキー計量は不定計量である。

 ミンコフスキー内積 
ミンコフスキー空間における非退化で対称な双線型形式は、通常のユークリッド空間における内積と見かけ上似通ったものだが、正定値性を要求しないため通常の意味での内積とは限らない。この双線型形式はミンコフスキー内積、あるいはミンコフスキー計量と呼ばれる。

即ちミンコフスキー空間 上のミンコフスキー内積とは写像 

（つまり、任意の  上のベクトル  の組に対応する実数  を考えることになる）

であって、次の3つの条件を満たすもののことである：
 双線形性:  について


 対称性: 任意の  について 
 非退化性: 任意の  について  ならば 
この3条件から正定値性（ ならば ）は従わず、これらを満たす写像は通常の意味での内積とは限らないことに注意しなければならない。つまりベクトル  のミンコフスキーノルムの二乗  は正の数になるとは限らないし、 が零ベクトルでなくても  になることがありうる。ここで正定値性はより弱い条件である非退化性に置き換えられており、この内積は不定な内積だといわれる。 

ユークリッド空間と同じように、 となっているとき二つのベクトル  は直交しているといわれる。しかし、ミンコフスキー空間では二つのベクトルが張る平面の上で  が常に負になるような場合をも考えることになる。この現象は通常の複素平面が持つユークリッド構造に対する変形として考えられる二次元のクリフォード代数

の類似と見なすことができる。

ベクトル  は  を満たすとき単位ベクトルとよばれる。互いに直交する単位ベクトルからなる  の基底は正規直交基底とよばれる。シルベスターの慣性律（あるいはグラム・シュミットの正規直交化法）によって、上の3条件を満たす内積は必ず正規直交基底をもち、基底に現れる正の単位ベクトルと負の単位ベクトルの数は基底の取り方によらないことが従う。この、基底に現れるベクトルの正負の数の対は考えている内積の符号とよばれる。正負の数はミンコフスキー空間をユークリッド空間の直積集合として表したときのそれぞれのユークリッド空間の次元に対応する。正規直交基底のうち、位置に依らない単位ベクトルからなる基底は標準基底と呼ばれる。

 別の定義の方法 
上の節ではミンコフスキー空間がベクトル空間として定義されたが、実ベクトル空間上のアフィン空間として定義する流儀もある。こちらの視点に立てば、ミンコフスキー空間を、ローレンツ群を固定群とするようなポアンカレ群の等質空間だと考えることになる。

 ローレンツ変換 
ミンコフスキー空間  からそれ自身への変換で、ミンコフスキー内積を保つようなものはローレンツ変換とよばれる。

 相対論的な時空 
物理学においては、内積の符号が  もしくは  であるようなミンコフスキー空間  もしくは  が、特殊相対性理論に基づく時空を表現する枠組みとして用いられる。 は空間の次元を表し、通常の3次元空間に時間を組み合わせた4次元時空では  である。 もしくは  を  と  の直和に分解したとき、符号がどちらの場合でも  に対応する部分は空間成分と呼ばれ、 に対応する部分は時間成分と呼ばれる。標準基底は  に対応する単位ベクトルは  で番号付けされ、 に対応する単位ベクトルは 0 で番号付けされることが多い。また、この標準基底により数ベクトル空間と同一視したとき、その反変ベクトルとしての成分表示は

と並べられることが多い。空間成分はベクトルをボールドで表す慣習によって

で表されることもある。また、時間成分は対応する物理量の記号で表されることもある。

符号が  の場合には、2つのベクトル  のミンコフスキー内積は成分を用いて

と書かれる。また、ノルムは

と書かれる。 によりミンコフスキー内積  を成分表示すれば、行列により

となる。この行列式は

となる。

符号が  の場合は


となる。

 因果構造 
300px|right|thumb|空間の次元のうち2成分のみ示したミンコフスキー空間の図
ミンコフスキー空間の元（4元ベクトル）はそのミンコフスキー内積の符号によって分類される。4元ベクトル  に関して、 
 であるとき  は 時間的 であるといわれる
  であるとき  は 空間的であるといわれる 
  であるとき  は ヌル的 (光的) であるといわれる

これらの用語は物理学における相対性理論でミンコフスキー空間が使われることからきている。ミンコフスキー空間内のヌルベクトル全体の集合は光円錐を表している。これらの概念は指標系（標準基底の選択）によらずに定義されている。ヌルベクトルについては、二つのヌルベクトルが（ミンコフスキー内積に関して）直交しているならばそれらは平行である、という性質がある。

時間の向き（標準基底の ）が選ばれると、時間的ベクトルやヌルベクトルを様々なクラスに分けることができる。時間的ベクトルについては
 未来方向時間的: ベクトルは負の時間成分（）を持つ
 過去方向時間的: ベクトルは正の時間成分を持つ
と分類でき、ヌルベクトルについては:
 ベクトル空間の零元としての零ベクトル:（成分が  となる）
 未来方向ヌル: ベクトルは負の時間成分をもつ
 過去方向ヌル: ベクトルは正の時間成分をもつ
と分類できる。空間的ベクトルとあわせて六つのクラスが考えられることになる。

ミンコフスキー空間の正規直交基底は必ず一つの時間的単位ベクトルと三つの空間的単位ベクトルからなっている。正規直交性を外した基底であればほかの組み合わせも可能になり、例えばすべてヌルベクトルからなるような（互いに直交していない）基底をとることができる。

 局所平坦時空 
厳密にいえば、特殊相対性理論によってミンコフスキー空間をひろがりのある系を記述するために用いることができるのは重力がほとんど無視できる場合のニュートン極限に限られる。重力が無視できない場合には時空は歪み、特殊相対性理論の代わりに一般相対性理論を考えることが必要になる。

しかしながら、等価原理によりそのような場合でも（重力の特異点を除く） 一点の周りの無限小の領域には局所慣性系を敷けることが保証されるので、ミンコフスキー空間でうまく記述できる。抽象的にいえば、重力がある場合には時空はゆがんだ四次元の多様体となり、各点での接空間がミンコフスキー空間となっている、と言い表すことができる。したがってミンコフスキー空間の構造は一般相対性理論においても本質的な役割を果たすことになる。

重力を弱めていった極限では時空は平坦になり、局所的にのみならず大域的にもミンコフスキー空間と見なせるようになる。このことからミンコフスキー空間はしばしば平坦な時空とよばれている。

 歴史 
ミンコフスキー空間の名前はヘルマン・ミンコフスキーにちなんだものである。ミンコフスキーは1907年ごろに、（アルベルト・アインシュタインによって発展させられていた）特殊相対性理論が時間の次元と空間の三つの次元を組み合わせた四次元の時空を用いることで簡素に説明されることを見いだした。

1890年代における双曲四元数の発展によりミンコフスキー空間への道が開かれることになった。実際のところ、数学的にはミンコフスキー空間とは双曲四元数の空間から乗法の情報を忘れて双線形形式

（これは双曲四元数の積  によって定まる）のみを残したものと考えることができる。

関連項目

計量テンソル
光速
時空
世界線
双曲空間
ベルンハルト・リーマン
ペンローズ図
ユークリッド空間
ローレンツ多様体

 参考文献 
 - 「相対性原理」（H.Minkowski著、上川友好 訳）、「空間と時間」（H.Minkowski著、上川友好 訳）収録。
 - ミンコウスキー『空間と時間』を併録。
 - ミンコフスキー『空間と時間』を併録。





 外部リンク 

アニメーション・クリップ - 特殊相対性理論の観点からミンコフスキー空間を視覚化したもの。

Category:幾何学
Category:特殊相対性理論
Category:時空
Category:ヘルマン・ミンコフスキー
Category:数学に関する記事
Category:一般相対性理論における厳密解
Category:物理学のエポニム
Category:数学のエポニム