特殊相対性理論において、ミンコフスキー時空はヘルマン・ミンコフスキーによって作られた4次元の多様体である。空間（x、y、z）の3次元と時間の1次元の計4次元を持つ。ミンコフスキー時空は測度記号が(-+++)であり、質量が存在しない場合の平坦な表面を記述する。この記事では、ミンコフスキー時空を単に時空と呼ぶのが慣例となっている。
しかし、ミンコフスキー時空が適用されるのは、特殊相対性理論においてのみである。一般相対性理論では、重力や加速度運動の影響を記述するために、曲がった時空という概念が用いられた。
基本的な考え方
ミンコフスキー時空は「時間と空間をまとめて扱う」ための数学的な舞台です。点（イベント）は「どこで、いつ起きたか」を表し、これを4つの座標 (t, x, y, z) で表します。時間成分は他の空間成分と同じように扱われますが、計量の符号が負になることで時間の性質が区別されます。
時空間隔（イントリンシックな距離）
二つのイベント間の「時空間隔」s^2 はミンコフスキー計量で定義され、標準的には
s^2 = -c^2 (Δt)^2 + (Δx)^2 + (Δy)^2 + (Δz)^2
の形を取ります（光速 c を 1 とする単位系を使うことも多い）。この量はローレンツ変換に対して不変であり、すべての慣性系で同じ値を取ります。時空間隔の符号によって、二つのイベントが次のように分類されます：
- 時刻的（timelike）：s^2 < 0。因果的につながり、ある慣性系で時間順が変わらない。質量を持つ粒子の世界線はこの領域内。
- 光様（lightlike / null）：s^2 = 0。光や電磁波が伝わる経路。
- 空間的（spacelike）：s^2 > 0。因果的な影響を与えられない距離で、因果順序は慣性系によって変わり得る。
光錐と因果律
あるイベントを基準にすると、その周りに描かれる光錐（light cone）は、そのイベントから出発して光が到達し得る領域と、そこから光が到達できる領域を示します。過去光錐は因果的に影響を及ぼす可能性のある過去のイベントを、未来光錐は影響を受ける可能性のある未来のイベントを表します。この構造が因果律（因果関係のルール）を保証します。
ローレンツ変換と不変量
ミンコフスキー時空での物理法則は、異なる慣性系（等速直線運動する観測者）に対して同じ形を保ちます。これを表すのがローレンツ変換です。時空間隔 s^2 や 4元ベクトルの内積はローレンツ変換に対して不変であり、これが特殊相対性理論における物理量の普遍性の基礎になります。
4元（フォー・ベクトル）と物理量
ミンコフスキー時空では、時間と空間の成分を合わせた4元で物理量を表現します。代表的な例：
- 位置四元：x^μ = (ct, x, y, z)
- 速度四元（4-velocity）：慣性運動における世界線の接ベクトル。固有時で正規化される。
- 運動量四元（4-momentum）：p^μ = (E/c, p_x, p_y, p_z)。不変量 p^μ p_μ = -m^2 c^2 が質量 m を与える。
これらの4元を用いることで、エネルギー・運動量保存則や力学法則が簡潔かつ普遍的に記述できます。
幾何学的な直観：平坦性と直線運動
ミンコフスキー時空は「平坦」な時空です。これは、重力や曲がりがなければ自由運動する物体の世界線は直線（より正確には、計量に対する測地線）になることを意味します。重力が無視できる小さな範囲や、重力場が弱い場合にはミンコフスキー時空が良い近似となります。
視覚化：ミンコフスキー図
直感的には、時間軸を縦、空間軸を横にとった平面に世界線や光錐を描くことで理解しやすくなります。こうした図を「ミンコフスキー図」と呼び、因果関係や同時性の概念、ローレンツ収縮や時間の遅れを視覚的に示すのに役立ちます。
限界と一般相対性理論への拡張
ミンコフスキー時空は重力の効果を含みません。重力が重要な場合、空間と時間は物質・エネルギーによって曲げられ、局所的にはミンコフスキー時空に似ていても全体としては曲がった時空（リーマン多様体）になります。これが一般相対性理論では導入される考え方です。
まとめ
- ミンコフスキー時空は特殊相対性理論の舞台となる平坦な4次元時空で、計量の符号は(-+++)。
- 時空間隔や光錐の概念が因果律と観測者間の不変性を支える。
- 4元を使うことでエネルギー・運動量や運動の法則が簡潔に表現できる。
- 重力がある場合は一般相対性理論の曲がった時空に拡張される。
より詳しい数式や図を使った説明を読みたい場合は、ローレンツ変換、計量テンソル、4元演算に関する入門書や解説を参照すると理解が深まります。
