身近な自然と科学

ミンコスキー空間とは?

前回は、四次元世界のプロローグでした。1次元の隣に2次元が、2次元の隣に3次元があるように四次元空間は、私たちの住む三次元空間の隣にあるような印象を与えてしまいましたが、普通私たちが考えるような空間としては実在しないものです。と言って、安物のSF小説ではありません。
前回、光の速度が無視できないほど早く移動する物体はローレンツ収縮によって縮まり、短くなった部分は四次元世界に入り込んだと書きました。

この四次元世界で運動する物体$(X、Y、Z)$は
$$ S^{2} = X^{2} + Y^{2} + Z^{2} -C^{2}t^{2} \tag{式1} $$
ただし、$C$は光速、$t$は相対的時間差で表されます。この四次元空間を、提唱者の名を採ってミンコスキー空間と呼びます。
私たちの住む世界では、どんなに速い乗り物でも、乗り物の内部と外では時間差は限り無く0に近いので、$ t = 0 $ として、式1は
$$ S^{2} = X^{2} + Y^{2} + Z^{2} \tag{式2} $$
となります。
これは3次元座標上で、物体(たとえば棒)を表したのと同じです。$S$は、棒の長さになります。もし、相対的時間差$t$が無視できないほど棒を速く動かせば式1の右辺第4項が大きくなって、棒が短くなります。光速が限り無く0に近い状態などを除いて全ての物理現象は、式1で表され、式2で表している私たちの世界は特殊だと考えた方がよいようです

ミンコフスキーの四次元時空間式を導く

以下、式番号を1からふり直しています。
光の速度$C$はどのような座標系でも不変なので、慣性系$S$において、$X$軸と時間軸$T$の関係は$ X = CT $、慣性系sにおいては $$ x =Ct \tag{式1} $$ ここで、慣性系間の変換を行うローレンツ変換によって、$x =Ct $を$ X = CT $で表すことにします。
ローレンツの変換式は
$$ X = \frac{(x - vt)}{\sqrt{\frac{1-v^{2}}{C^{2}}}} $$ $$ Y = y $$ $$ Z = z $$ $$ T = \frac{t- \frac{v}{C^{2}}X}{\sqrt{1 - \frac{v^{2}}{C^{2}}}} $$
ここで、
$$ b = \frac{v}{C} $$ $$ a = \sqrt{\frac{1 - v^{2}}{C^{2}}} $$
とおいて
$$ X -CT = \frac{(1+b)}{a} (x - Ct) \tag{式2} $$
次に、慣性系Sにおいて、$Y$を$X$、$y$を$x$で表すと、$Y$と$y$は時間軸に対して対象なので$ X = - CT $、慣性系sにおいては$ x = -CT $
、同様にローレンツ変換を行い
$$ X + CT = \frac{(1 + b)}{a} (x + CT) \tag{式3} $$
となります。
式2と式3の左辺同士、右辺同士を掛け合わせ
$$ X^{2} -(CT)^{2} = x^{2} - (CT)^{2} \tag{式4} $$
式4は任意の基準系内で、 $$ X^{2} - (CT)^{2}$$ は変わらない値だということを示しています。
慣性系S、慣性系sで求めた値が、ローレンツ変換して同じ基準系にすると等しくなりますから、この値を不変量$F$とおき
$$ F = X^{2} - (CT)^{2} \tag{式5} $$
この$F$はX軸とt軸をもつグラフに表すと面積に当たり、光速$C$を1としてXの目盛りをそれに対応させ(30万km/s)、$X$、$t$を変化させて描くと、$F=1$,$F= -1$の双曲線になります。
この双曲線は、例えばあなたが時空を移動するときの軌跡になります。ミンコスキーはこれを“世界線”と呼びました。
次に2次元平面上の点(x、y)の原点から距離sを求めてみます。
ピタゴラスの定理(三平方の定理)から
$$ s^{2} = x^{2} + y^{2} \tag{式6}$$
次にこの2次元平面座標を原点を中心に回転させて、点($x \prime$、$y \prime$)の原点から距離Dを求めてみると、 $x$、$y$の値は変わっても距離$D$は変わりません。
そこで、$s$を不変量とします。
この$s^{2}=D$と置き、$y$、$y$を1にして考えると、軌跡は$ D = 1$の直線になります。ここからがミンコスキーの非凡なところで、式5と式6には平行関係があることに気付き、
$$ F = X^{2} + U^{2} \tag{式7}$$
という関係式(式7)を導きました。ただし、$ U = iCT$、$i$は虚数を表します。
さらに$X$を光速30万キロとして目盛れば、$ F = X^{2} - T^{2} $となります。

ローレンツ(Hendrik Antoon Lorentz1853-1928) 相対運動をしている二つの慣性系間の座標変換