「美しいローレンツ変換」の版間の差分
|  (→座標をちょっといじってみる) |  (→双曲線関数を使ってみる) | ||
| 55行: | 55行: | ||
| 式がより簡単になるように、速度 <math>v</math> と光速 <math>c</math> の比を <math>V = \frac{v}{c}</math> と表すことにすると、 | 式がより簡単になるように、速度 <math>v</math> と光速 <math>c</math> の比を <math>V = \frac{v}{c}</math> と表すことにすると、 | ||
| − | |||
| {{eqn|<math> \left( \begin{array} {cc} ct\\ x \end{array}\right) =   | {{eqn|<math> \left( \begin{array} {cc} ct\\ x \end{array}\right) =   | ||
2016年3月4日 (金) 12:37時点における版
相対性理論のローレンツ変換は、なんかゴチャゴチャしていてめんどくさそうと感じておられる方も多いと思います。
この点に関して、実はキャンベルの「時空の幾何学」という相対性理論の解説書の中で、その美しさが詳細に述べられていたのですが、
残念ながら邦訳は何故か絶版になってしまいました。
そこで、この記事では、このローレンツ変換の秘められた美しさについて説明します。
ローレンツ変換
下図は、特殊相対性理論を説明するための図です。この図には  と
と の二つの座標系が示されています。
の二つの座標系が示されています。
相対性理論ではおなじみの座標系の設定ですが、
両座標系とも慣性系で、それぞれの座標系の時刻  と
 と  が
 が  の時、2つの座標系の原点が
一致(重なる)ものとします。
 の時、2つの座標系の原点が
一致(重なる)ものとします。
また、座標軸  と座標軸
 と座標軸  、座標軸
 、座標軸  と座標軸
 と座標軸  、座標軸
 、座標軸  と座標軸
 と座標軸  はそれぞれ同じ向きとし、
 はそれぞれ同じ向きとし、 座標系は
 座標系は  座標系の対し、
 座標系の対し、 軸方向に速度
 軸方向に速度  で運動しているものとします。
 で運動しているものとします。
この二つの座標系では、相対性理論でおなじみのローレンツ変換の関係が成り立ちます。  は光速とすると
 は光速とすると
|   | ( 1 ) | 
確かになんかごちゃごちゃしています。真ん中へんにある行列は対称行列でもないし、回転行列のような単純な美しさもありません。 いったいどこが美しいのでしょうか?
ではこれから、ローレンツ変換行列の中に隠された美しさを見てゆきましょう。
座標をちょっといじってみる
ここで、時刻を表すのに、単位が秒の  や
 や   の代わりに、これらに光速をかけた、つまり単位をメートルにした値を時刻に採用します。つまり、時刻の単位を秒ではなく、メートルに変換するのです。
 の代わりに、これらに光速をかけた、つまり単位をメートルにした値を時刻に採用します。つまり、時刻の単位を秒ではなく、メートルに変換するのです。
すると、ローレンツ変換は
|   | ( 2 ) | 
となります。なんと対称行列になってしまいました。最初に比べて美しさが少し増しています。 このことは、時刻が本質的にメートルで表されるべきことを暗示していますが、先に進みましょう。
双曲線関数を使ってみる
式がより簡単になるように、速度  と光速
 と光速  の比を
 の比を  と表すことにすると、
 と表すことにすると、
|   | ( 3 ) | 
ここで、  とすると、双曲線関数の扱いに慣れた方なら、簡単に公式からわかるはずですが
 とすると、双曲線関数の扱いに慣れた方なら、簡単に公式からわかるはずですが
|   | ( 4 ) | 
となってしまいます。
なんと、まるで回転行列のようなとても単純で覚えやすくて美しい配列になってしまいました。
実はこの配列は双曲線回転の回転行列で、つまりローレンツ変換というのは時空座標の双曲線回転なのです。
以下に双曲線回転の回転行列がどのようなものかを説明します。
以下鋭意作成中。

