美しいローレンツ変換

相対性理論のローレンツ変換は、なんかゴチャゴチャしていてめんどくさそうと感じておられる方も多いと思います。この点に関して、実はキャンベルの「時空の幾何学」という相対性理論の解説書の中で、その美しさが詳細に述べられていたのですが、残念ながら邦訳は何故か絶版になってしまいました。

そこで、この記事では、このローレンツ変換の秘められた美しさについて説明します。

ローレンツ変換

下図は、特殊相対性理論を説明するための図です。この図には $xyz$ と $x'y'z'$ の二つの座標系が示されています。

相対性理論ではおなじみの座標系の設定ですが、

両座標系とも慣性系で、それぞれの座標系の時刻 $t$ と $t'$ が $t=t'=0$ の時、2つの座標系の原点が一致(重なる)ものとします。

また、座標軸 $x$ と座標軸 $x'$ 、座標軸 $y$ と座標軸 $y'$ 、座標軸 $z$ と座標軸 $z'$ はそれぞれ同じ向きとし、 $x'y'z'$ 座標系は $xyz$ 座標系の対し、 $x$ 軸方向に速度 $v$ で運動しているものとします。

この二つの座標系では、相対性理論でおなじみのローレンツ変換の関係が成り立ちます。

\left( \begin{array} {cc}t\\ x \end{array}\right) = \left( \begin{array} {cc} \frac{1}{\sqrt{1-\frac{v}{c}^2}} & \frac{\frac{v}{c^2}}{\sqrt{1-\frac{v}{c}^2}} \\ \frac{v}{\sqrt{1-\frac{v}{c}^2}} & \frac{1}{\sqrt{1-\frac{v}{c}^2}} \end{array}\right) \left( \begin{array} {cc} t'\\ x' \end{array}\right), y=y', z=z'

( 1 )

確かになんかごちゃごちゃしています。真ん中へんにある行列は対称行列でもないし、回転行列のような単純な美しさもありません。いったいどこが美しいのでしょうか？

ではこれから、ローレンツ変換行列の中に隠された美しさを見てゆきましょう。