相対性原理

アインシュタイン（Einstein）の導出した特殊相対性原理は、 二つの互いに一定速度で移動している慣性系の間の座標変換の仕方を与えたものであり、 次の原理から導出された。

• 光速で直線移動するものは、 いずれの座標系で観察しても光速で移動する。（光速不変性）
• 相互の座標変換は空間座標と時間座標の一次変換で与えられる。（線形性）
• 二つの座標系はまったく対等であり、 どちらかをより基準的であるということは不可能である。（相対性）

光速不変性は、宇宙をかなりの速度で走っている地球上で、 走行方向および走行直角方向のいずれの方向で光の速度を測っても、 同じ値が得られた、という実験結果を説明するために導入された。

いま、図 11.1に示すように、 S系に対し$x$軸方向に等速度$V$で走っているS$'$系を考える。S$'$系座標軸はすべてS系の座標と平行になっているものとし、また$t=0$および$t'=0$で、両原点は一致しているとする。S$'$系で原点から$x'$軸方向および$y'$軸方向に$L$だけ離れた点にそれぞれ鏡を置き、原点から光を発射し、往復時間を測る。 すると実験結果から、その値は等しくなる。 これをS系から観測してみよう。 まず、S系での光速はS$'$系での光速$c$と等しい。$x'$軸方向に走る光が$t$秒で鏡に到達したとする。この間、鏡は$Vt$だけ遠ざかる。 したがって、$ct=L+Vt$。 これから、行きに要する時間は$L/(c-V)$。 同様に、鏡から原点への戻りに要する時間は、 原点が近寄ってくるだけ短縮し$L/(c+V)$、 合計すると $2Lc/(c^2-V^2)$の時間がかかる。

図 11.1: S$'$系はS系に対し、$x$軸方向に$V$の速度で移動している。

$y'$軸方向に走る光の伝搬時間も$L/c$ではない。というのはやはり鏡が移動し、 S系で見ると光は斜めに移動する必要があるからである。 ピタゴラスの定理より、 $(ct)^2=L^2+(Vt)^2$が成立するから、 これから伝搬時間は $L/\sqrt{c^2-V^2}$となる。 戻りも原点が移動し斜めに移動する必要があるが、合同な三角形となるから、 同じ伝搬時間が得られる。 そこでこれらを合計すると $2L/\sqrt{c^2-V^2}$が得られる。 しかし、困ったことにこの時間は先に求めた$x'$方向の伝搬時間と一致しない。 つまりS$'$系で同時に原点に到着した光が、S系で観測すると、異なる時刻に到着するように見える。

この矛盾を解決するために導入されたのが、距離の短縮という概念である。 これは、S$'$系での距離をS系で観測すると、移動方向に短縮して見えるという概念である。 最初にローレンツ（Lorentz）がこの概念を提唱したときには、 とんでもない概念であると反論された。 しかし、現在は正しい考えであると理解されている。 S$'$系での$L$がS系では$x$方向にだけ $L\sqrt{1-(V/c)^2}$に短縮すると考えると、$x'$方向の伝搬時間が補正され、両者ともちょうど $2L/\sqrt{c^2-V^2}$となる。 距離の短縮を 認めると、S$'$系での座標点 $(x',y',z')$は、 S系で観測すると $(x'+Vt,y',z')$には見えず、 $(x'\sqrt{1-(V/c)^2}+Vt,y',z')$に見えることになる。 これを$(x, y, z)$と置くことにより、 S$'$系とS系の間の座標変換を求めることができる。

一般にS$'$系とS系の間の座標変換は次式で与えられるはずである。

$$x'=Ax+Bt,\qquad y'=y,\qquad z'=z,\qquad t'=Ct+Dx$$ (462)

ここで、$x'$と$x$の間、$t'$と$t$の間の係数$A$と$C$が1でないかも知れない、$t'$に$x$ の影響が入っているかも知れないというのがアインシュタインの大胆な仮説である。 なお、$y'$や$z'$はそちら方向に移動していないことから自明であるが、 仮に$x'$と同様な変換を仮定しても、同じ結果が得られる。まず、S$'$系の原点$x'=0$をS系で観測すると、$x=Vt$に見えることから、 $A$と$B$の関係が得られる。 さらに逆にS系の原点$x=0$をS$'$系で観測すると、相対性原理から$x'=-Vt'$に見えることから、$B$と$C$の関係が得られる。 これらの結果は$B=-VA$、$B=-VC$である。 $A$を基準にすれば、$C=A$が得られる。

$A$と$D$は光速不変の原理から誘導できる。 S$'$系の原点から任意の方向に発射された光は、どちらの方向に発射されても光速で伝搬するから、次の関係が成立する。

$$x'^2+y'^2+z'^2=c^2t'^2$$ (463)

これに変換関係を代入すると、$x$、$y$、$z$、$t$ の二次式が得られる。

この光の伝搬をS系で観測してもやはり光速で伝搬するように見えるはずであるから、 次式を満たすはずである。

$$x^2+y^2+z^2=c^2t^2$$ (464)

これら$x$、$y$、$z$、$t$の二式は当然一致すべきである。

係数同士を比較すると、$A$、$B$、$C$、$D$ に関わる三つの関係式が得られる。 先の関係式と連立させることにより、これらの定数の値が決定できる。 なお、$A$の符号に正負の可能性が残るが、$V=0$で $(x',y',z',%' t')$は$(x,y,z,t)$と等しくなるはずであるから、$A$は正である。こうして得られた次の変換式はローレンツ変換（Lorentz transform）と呼ばれる。

$$x'=\gamma(x-\beta ct),\qquad y'=y,<tex2html_comment_mark>272 \qquad z'=z,\qquad ct'=\gamma(ct-\beta x)<tex2html_comment_mark>273 %7.4$$ (465)

ただし、$\beta$、$\gamma$は今後度々出現する次のような係数である。

$$\beta=\frac Vc$$ (466)

$$\gamma=\frac1{\sqrt{1-\beta^2}}$$ (467)

ローレンツ変換の逆変換（reverse transform）は、順変換（forward transform）から簡単に求められる。

$$x=\gamma(x'+\beta ct'),\qquad y=y',<tex2html_comment_mark>275 \qquad z=z',\qquad ct=\gamma(ct'+\beta x)$$ (468)