ミンコフスキー空間
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 |
ミンコフスキー空間(ミンコフスキーくうかん、英: Minkowski space)とは、非退化で対称な双線型形式を持つ実ベクトル空間である。ドイツの数学者のヘルマン・ミンコフスキーに因んで名付けられている。アルベルト・アインシュタインによる特殊相対性理論を定式化する枠組みとして用いられる。この特定の設定の下では空間に時間を組み合わせた時空を表現するため、物理学の文脈ではミンコフスキー時空とも呼ばれる。
構造
(m,n)-型のミンコフスキー空間 Mm,n は、まず計量を無視して単なるベクトル空間と考えるとm-次元ユークリッド空間と n-次元ユークリッド空間の直和 Mm,n = Em⊕En と定義されるものである。
(すなわち、集合としては直積集合 Mm,n = Em×En であり、V ∈ Mm,n に対して V(m) ∈ Em, V(n) ∈ En がただ一組存在して順序対として
- V=(V(m),V(n))
と表され、加法とスカラー倍は、 a, b ∈ R に対して
- aV+bW = (aV(m)+bW(m), aV(n)+bW(n))
であり、零ベクトル 0 ∈ Mm,n は、それぞれの零ベクトル 0(m)∈Em, 0(n)∈En の順序対
- 0=(0(m),0(n))
として定義されるようなものである。)
次元は dim Mm,n = m+n である。
ミンコフスキー計量
直積空間としての (m,n)-型のミンコフスキー空間 Mm,n = Em×En におけるミンコフスキー計量 η(m,n) は、ユークリッド空間 Em, En におけるユークリッド計量を d(m), d(n) として
空間の次元のうち2成分のみ示したミンコフスキー空間の図 ミンコフスキー空間の元(4元ベクトル)はそのミンコフスキー内積の符号によって分類される。4元ベクトル V に関して、
- ηabVaVb = VaVa < 0であるとき V は 時間的 であるといわれる
- ηabVaVb = VaVa > 0 であるとき V は 空間的であるといわれる
- ηabVaVb = VaVa = 0 であるとき V は ヌル的 (光的) であるといわれる
これらの用語は物理学における相対性理論でミンコフスキー空間が使われることからきている。ミンコフスキー空間内のヌルベクトル全体の集合は光円錐を表している。これらの概念は指標系(標準基底の選択)によらずに定義されている。ヌルベクトルについては、二つのヌルベクトルが(ミンコフスキー内積に関して)直交しているならばそれらは平行である、という性質がある。
時間の向き(標準基底の e0)が選ばれると、時間的ベクトルやヌルベクトルを様々なクラスに分けることができる。時間的ベクトルについては
- 未来方向時間的: ベクトルは負の時間成分(V0)を持つ
- 過去方向時間的: ベクトルは正の時間成分を持つ
と分類でき、ヌルベクトルについては:
- ベクトル空間の零元としての零ベクトル:(成分が (0,0,0,0) となる)
- 未来方向ヌル: ベクトルは負の時間成分をもつ
- 過去方向ヌル: ベクトルは正の時間成分をもつ
と分類できる。空間的ベクトルとあわせて六つのクラスが考えられることになる。
ミンコフスキー空間の正規直交基底は必ず一つの時間的単位ベクトルと三つの空間的単位ベクトルからなっている。正規直交性を外した基底であればほかの組み合わせも可能になり、例えばすべてヌルベクトルからなるような(互いに直交していない)基底をとることができる。
局所平坦時空
厳密にいえば、特殊相対性理論によってミンコフスキー空間をひろがりのある系を記述するために用いることができるのは重力がほとんど無視できる場合のニュートン極限に限られる。重力が無視できない場合には時空は歪み、特殊相対性理論の代わりに一般相対性理論を考えることが必要になる。
しかしながら、等価原理によりそのような場合でも(重力の特異点を除く) 一点の周りの無限小の領域には局所慣性系を敷けることが保証されるので、ミンコフスキー空間でうまく記述できる。抽象的にいえば、重力がある場合には時空はゆがんだ四次元の多様体となり、各点での接空間がミンコフスキー空間となっている、と言い表すことができる。したがってミンコフスキー空間の構造は一般相対性理論においても本質的な役割を果たすことになる。
重力を弱めていった極限では時空は平坦になり、局所的にのみならず大域的にもミンコフスキー空間と見なせるようになる。このことからミンコフスキー空間はしばしば平坦な時空とよばれている。
歴史
ミンコフスキー空間の名前はヘルマン・ミンコフスキーにちなんだものである。ミンコフスキーは1907年ごろに、(アルベルト・アインシュタインによって発展させられていた)特殊相対性理論が時間の次元と空間の三つの次元を組み合わせた四次元の時空を用いることで簡素に説明されることを見いだした。
1890年代における双曲四元数の発展によりミンコフスキー空間への道が開かれることになった。実際のところ、数学的にはミンコフスキー空間とは双曲四元数の空間から乗法の情報を忘れて双線形形式
- η(p, q) = −(pq* + (pq*)*)/2
(これは双曲四元数の積 pq* によって定まる)のみを残したものと考えることができる。
関連項目
参考文献
- 物理学史研究刊行会 訳 編『相対論』東海大学出版会〈物理学古典論文叢書4〉、1969年。ISBN 978-4-486-00765-4 。 - 「相対性原理」(H.Minkowski著、上川友好 訳)、「空間と時間」(H.Minkowski著、上川友好 訳)収録。
- ベルンハルト・リーマン、ヘルマン・ミンコウスキー『幾何学の基礎をなす仮説について』ヘルマン・ワイル 序文・解説、菅原正巳 訳、清水弘文堂書房、1970年6月10日 。 - ミンコウスキー『空間と時間』を併録。
- ベルンハルト・リーマン、ヘルマン・ミンコフスキー『幾何学の基礎をなす仮説について』ヘルマン・ワイル 序文・解説、菅原正巳 訳、筑摩書房〈ちくま学芸文庫〉、2013年11月6日。ISBN 978-4-480-09583-1 。 - ミンコフスキー『空間と時間』を併録。
- Catoni, Francesco; Cannata, Roberto; Catoni, Vincenzo; Nichelatti, Enrico; Zampetti, Paolo (2008), The Mathematics of Minkowski Space-Time: With an Introduction to Commutative Hypercomplex Numbers, Basel: Birkhäuser, ISBN 978-3-7643-8613-9
- Naber, Gregory L. (1992), The Geometry of Minkowski Spacetime (hardcover ed.), New York: Springer-Verlag, ISBN 0-387-97848-8
- Naber, Gregory L. (1992), The Geometry of Minkowski Spacetime (paperback ed.), New York: Dover Publications, ISBN 0-486-43235-1
- Walter, Scott (1999), “Minkowski, Mathematicians, and the Mathematical Theory of Relativity”, in Goenner, Hubert et al. (ed.), The Expanding Worlds of General Relativity, Boston: Birkhäuser, pp. 45–86, ISBN 0-8176-4060-6
外部リンク
- デジタル大辞泉『ミンコフスキーの時空』 - コトバンク
- アニメーション・クリップ - 特殊相対性理論の観点からミンコフスキー空間を視覚化したもの。
ミンコフスキー計量
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/05 14:25 UTC 版)
「ミンコフスキー空間」の記事における「ミンコフスキー計量」の解説
直積空間としての (m,n)-型のミンコフスキー空間 Mm,n = Em×En におけるミンコフスキー計量 η(m,n) は、ユークリッド空間 Em, En におけるユークリッド計量を d(m), d(n) として η ( m , n ) ( V , W ) = d ( m ) ( V ( m ) , W ( m ) ) − d ( n ) ( V ( n ) , W ( n ) ) {\displaystyle {\begin{aligned}\eta _{(m,n)}(V,W)=&~d_{(m)}(V_{(m)},W_{(m)})\\&-d_{(n)}(V_{(n)},W_{(n)})\end{aligned}}} で与えられる。また、V のノルムは V 2 = η ( m , n ) ( V , V ) = d ( m ) ( V ( m ) , V ( m ) ) − d ( n ) ( V ( n ) , V ( n ) ) = ( V ( m ) ) 2 − ( V ( n ) ) 2 {\displaystyle {\begin{aligned}V^{2}&=\eta _{(m,n)}(V,V)\\&=d_{(m)}(V_{(m)},V_{(m)})-d_{(n)}(V_{(n)},V_{(n)})\\&=(V_{(m)})^{2}-(V_{(n)})^{2}\end{aligned}}} となる。特に V = (0(m), V(n)) ∈ M(m,n) と選ぶと V 2 = ( 0 ( m ) ) 2 − ( V ( n ) ) 2 = − ( V ( n ) ) 2 {\displaystyle V^{2}=(\mathbf {0} _{(m)})^{2}-(V_{(n)})^{2}=-(V_{(n)})^{2}} となり、ユークリッド計量の正定値性から、このノルムは負となる。すなわち、ミンコフスキー計量は不定計量である。
※この「ミンコフスキー計量」の解説は、「ミンコフスキー空間」の解説の一部です。
「ミンコフスキー計量」を含む「ミンコフスキー空間」の記事については、「ミンコフスキー空間」の概要を参照ください。
- ミンコフスキー計量のページへのリンク