符号が一つ違う — 時空の四次元は、空間の四次元ではない
この宇宙は四次元だと言われます。四次元でだけ起きることで扱った四次元とは、別のものです。
ミンコフスキー時空： ds2 = −c2dt2 + dx2 + dy2 + dz2
違うのは、符号が一つだけです。この記事は、その一つの符号が何を変えるのかを、五つの測れる量で追います。
- 符号を変えると、回転が回転でなくなる — 固有値は円を離れて実軸に乗る
- 「単位球面」が双曲線になる — そして「虚数を入れる」という言い方について
- 距離が退化する — 異なる二点のあいだの距離が 0 になりうる
- 速度が足し算にならない — c は無限の先にある
- なぜ四次元なのか — 重力が伝わることのできる最小の次元
- なぜ空間が三次元なのか — 波が尾を引かない次元
- この記事が言えている範囲
符号を変えると、回転が回転でなくなる
いちばん小さい形で見ます。二次元で、片方の符号だけ変える。
ミンコフスキー： −t2 + x2 → 変換は押し出し ( coshφ sinhφ ; sinhφ coshφ )
形は似ています。三角関数が双曲線関数に変わっただけに見える。固有値を取ると、違いが出ます。
| 角／急速度 | 回転の固有値 | |λ| | 押し出しの固有値 | |λ| |
|---|
回転の固有値は、いつも単位円の上にあります（|λ| = 1、複素数）。押し出しの固有値は、実軸の上にあります（|λ| ≠ 1）。
符号を一つ変えるだけで、固有値が円から実軸へ移る。これが違いの代数的な正体です。
そこから直ちに出ること
「単位球面」が双曲線になる
ds² = 1 を満たす点の集合を描きます。ユークリッドなら円。ミンコフスキーなら双曲線。そのあいだを連続に繋げます。
途中で一度、退化します。計量の第二成分が 0 になる瞬間、集合は閉じた曲線でも双曲線でもなく、二本の直線になる。閉じているものが開くには、必ずこの一点を通ります。
「時間の向きに虚数を入れる」という言い方について
ミンコフスキー自身が使った書き方があります。x₄ = ict と置くと——
形の上では、ユークリッドの四次元になります。「三つの実の方向と、一つの虚の方向」という言い方は、ここから来ています。
この言い方は、正しい。しかし浅い。
浅い、というのは何かを隠しているという意味です。何を隠しているかを名指しできます。
| 隠れるもの | 中身 |
|---|---|
| 方向が三種類に割れていること | ユークリッドでは、回転でどの方向もどの方向に移せる。ミンコフスキーでは時間的・光的・空間的の三種類があり、互いに移せない。i を入れると、この区別が式の上から消える |
| 光円錐と因果 | ds² = 0 が意味を持つのは符号が混ざっているからで、ユークリッドの形に書くとこの集合が見えなくなる（§03） |
| 曲がった時空へ持っていけないこと | 一般相対論では計量が場所ごとに変わる。一般の計量に i を埋め込むことはできない。だからこの書き方は使われなくなった |
ただし、この「虚数を入れる」操作そのものは、いまも重要な道具です。t を −iτ に置き換えるウィック回転として、場の理論と統計力学を繋いでいます。上の図で連続に変形したのは、その操作の最小の形です。
形式として役に立つことと、構造を表していることは、別です。
ict は前者であって、後者ではありません。
距離が退化する — ここが本当の違い
ユークリッド空間では、距離が 0 になるのは同じ点のときだけです。これは当たり前に見えますが、当たり前ではありません。
ミンコフスキー： ds2 = 0 ⇔ 光で結ばれた、異なる二点
ミンコフスキー時空では、異なる二つの点のあいだの「距離」が 0 になりえます。
その 0 の集合が光円錐です。
距離が退化していることが、時間が時間である理由です。
そして、この退化が因果を作ります。ds² の符号が、二点の関係を三つに分けます。
| ds² | 呼び名 | 意味 | 回転で移せるか |
|---|---|---|---|
| < 0 | 時間的 | 光より遅い信号で結べる。因果関係を持ちうる。「先後」が決まる | 三種類のあいだで移せない。ローレンツ変換は光円錐を保つ |
| = 0 | 光的 | ちょうど光で結ばれる。因果の境界 | |
| > 0 | 空間的 | どんな信号でも結べない。「同時」かどうかは見る人による |
時間とは、四番目の軸のことではありません。二次形式に符号が一つ違うことです。
そしてその結果、方向が三種類に割れ、そのあいだを対称性が移せなくなる——それが「時間の向き」が特別である、ということの中身です。
※ この節の見方は、別の記事で扱った形と同じ構造をしています。光円錐は ds² = 0 の集合——二つの領域を分ける臨界面です。境目そのものが構造を決めている。
速度が足し算にならない — c は無限の先にある
回転なら、角度は足し算です。30°回して 30°回せば 60°。押し出しでも、急速度は足し算になります。
足し算になるのは急速度で、速度ではありません。同じ押し出しを重ねると、こうなります。
| 押し出しの回数 | 急速度 φ | 速度 v/c |
|---|
c は「速い」のではありません。無限の急速度の先にあります。
だから到達できない——それは禁止ではなく、群が非コンパクトであることの帰結です（§01）。
回転群がコンパクトなら「一周して戻る」があるのと同じ位置に、ここでは「果てが無い」がある。
なぜ四次元なのか — 重力が伝わることのできる最小の次元
ここまでは「符号が違う」話でした。次元の数そのものにも、意味があります。
時空の曲がりは、リーマン曲率テンソルで書かれます。その独立な成分の数は次元だけで決まり、リッチ曲率（物質が直接決める部分）とワイル曲率（残り）に分かれます。
| 次元 | リーマン | リッチ | ワイル |
|---|
三次元では、リーマンの成分数（6）とリッチの成分数（6）が一致します。
つまり曲率は物質だけで完全に決まる。物質の無いところ（リッチ = 0）は必ず平坦で、重力波が存在できません。
四次元で初めて、ワイルの 10 成分が残ります。物質が無くても曲がっていられる——それが重力波の住む場所です。
※ 二次元は事情が違い、リーマンの独立成分は 1 個しかありません（曲率は一つのスカラーで尽きる）。表の二次元の行は、対称テンソルの成分数を素朴に数えたものです。
なぜ空間が三次元なのか — 波が尾を引かない次元
もう一つ、次元の数が効く場所があります。波の伝わり方です。
原点で短い波を出して、離れた一点で観測します。波面が通り過ぎたあと、何が残るか。
| 空間の次元 | 波面の到達 | 通過後に残る量 |
|---|
二次元では、波面が通り過ぎたあとも振れ続けます（頂点の 17.7%）。三次元では、通り過ぎたら静かになります（2.2%）。
これがホイヘンスの原理で、空間の次元が奇数のときだけ成り立ちます。
この記事が言えている範囲
| 内容 | |
|---|---|
| 言えている | 符号一つの違いが、固有値の位置・単位球面の形・距離の退化・速度の合成・曲率の自由度・波の尾のすべてを変える |
| 言えている | 「時間に虚数を入れる」は形式として正しいが、方向が三種類に割れていることと光円錐を隠す |
| 言えている | 三次元ではリーマン = リッチなので真空は平坦。四次元で初めてワイルの 10 成分が残る（数え上げは厳密） |
| 言えていない | 「だから宇宙は 3+1 次元である」という説明にはなっていません。上に並べたのは「3+1 でなければ困ること」であって、3+1 でなければならない理由ではない |
| 言えていない | 符号の取り方（−+++ か +−−−）の違い。物理は同じでも、スピノルの扱いでは違いが出ます——この記事では触れていない |
| 言えていない | 曲がった時空。この記事はすべて平坦なミンコフスキー時空の話で、一般相対論には入っていない |
この記事に新しい数学はありません
固有値も、ウィック回転も、ホイヘンスの原理も、ワイルテンソルの成分数も、すべて既知です。やったのは、それらを「符号が一つ違う」という一点から並べ直したことだけです。
出典と再現
| もの | 種別 | 出典・道具 |
|---|---|---|
| ミンコフスキー計量と ict の書き方 | 古典 | Minkowski (1908) |
| ホイヘンスの原理が奇数次元で成り立つこと | 定理 | 古典的（波動方程式の基本解） |
| 三次元でリーマン = リッチ | 定理 | 古典的（ワイルテンソルは n ≤ 3 で恒等的に 0） |
| 回転と押し出しの固有値 | この端末で計算 | 2×2 行列の固有値 |
| ds² = 1 の集合の連続変形 | この端末で計算 | 計量の第二成分を +1 → −1 へ |
| 速度と急速度 | この端末で計算 | v/c = tanh φ |
| 曲率成分の数え上げ | この端末で計算 | n²(n²−1)/12 ／ n(n+1)/2 ／ n(n+1)(n+2)(n−3)/12 |
| 波の尾（1・2・3 次元） | この端末で計算 | 球対称の波動方程式を差分で。観測点 r = 6、格子 2400 点 |