# ローレンツ変換：時間の遅れと空間の縮みを光時計から導く > 光速度不変の原理と光時計の思考実験から、時間の遅れ・ローレンツ収縮・同時刻の相対性を順に導き、それらを一つにまとめるローレンツ変換と、ミンコフスキー時空の不変な世界間隔までを計算を省かずに組み立てます。 > https://rikai.mugen-giken.com/physics/relativity/lorentz-transformations ## 0. この記事の要点 - 光速度不変の原理を認めると、時間と空間の「測り方」は観測者ごとに変わります。その変わり方を過不足なく決めるのがローレンツ変換です。 - 動いている時計は $\gamma = 1/\sqrt{1 - v^2/c^2}$ 倍だけゆっくり進み（時間の遅れ）、動いている物体は運動方向の長さが $1/\gamma$ 倍に縮んで測られます（ローレンツ収縮）。 - 最も直感に反するのは**同時刻の相対性**です。ある慣性系で同時に起きた離れた 2 つの事象は、別の慣性系では同時ではありません。時間の遅れと収縮が「お互いさま」でも矛盾しないのは、この一点のおかげです。 - 3 つの結果はすべて $x' = \gamma(x - vt)$、$t' = \gamma(t - vx/c^2)$ という 1 組の式に含まれます。$v/c \to 0$ の極限でガリレイ変換に戻ります。 - ローレンツ変換で値が変わらない量が世界間隔 $s^2 = c^2\Delta t^2 - \Delta x^2 - \Delta y^2 - \Delta z^2$ です。これが 4 次元時空（ミンコフスキー時空）の「長さ」であり、因果関係が観測者によらないことを保証します。 ## 1. 動機：ガリレイ変換はどこで破綻するか 前章 [特殊相対性理論の原理](/physics/relativity/principles-of-special-relativity) で、アインシュタインの 2 つの原理を確認しました。あらためて書いておきます。 - **相対性原理**（）：すべての慣性系で物理法則は同じ形をとる。慣性系の間に優劣はない。 - **光速度不変の原理**（）：真空中の光の速さ $c$ は、光源の運動にも観測者の慣性系にもよらず一定である。 問題は、この 2 つが [ニュートン力学](/physics/mechanics/newtonian-mechanics) の暗黙の前提と真っ向から衝突することです。ニュートン力学では、$x$ 軸方向に速さ $v$ で動く座標系 $S'$ と静止系 $S$ の座標は $$ x' = x - vt, \qquad y' = y, \qquad z' = z, \qquad t' = t $$ で結ばれていると考えます。これを**ガリレイ変換**（）と呼びます。最後の $t' = t$ が「時間はすべての観測者に共通に流れる」という主張、すなわち絶対時間の仮定です。 ガリレイ変換のもとでは速度は単純に足し算されます。$S$ で速さ $u$ の物体は、$S'$ では $u' = u - v$ です。ところが $u = c$ の光にこれを当てはめると $u' = c - v$ となり、$S'$ での光速は $c$ ではなくなります。光速度不変の原理と両立しません。 19 世紀末、この矛盾は「光を伝える媒質（エーテル）があり、真に静止した系がある」と考えれば解消するはずでした。しかし 1887 年のマイケルソン・モーリーの実験は、地球の公転（秒速 30 km）に対応するエーテルの風をまったく検出しませんでした（）。 アインシュタインが 1905 年に選んだ道は、実験と衝突している方の仮定を捨てることでした。捨てられたのは $t' = t$、つまり絶対時間です（）。**時間の進み方が観測者ごとに違う**と認めれば、光速度不変と相対性原理は両立します。この記事では、その「違い方」を最後まで計算して求めます。 ## 2. 準備：事象・慣性系・記号 時空の 1 点、すなわち「いつ・どこで」を指定したものを**事象**（event）と呼びます。慣性系 $S$ では事象に 4 つの座標 $(t, x, y, z)$ が割り当てられます。 以下つねに、2 つの慣性系 $S$ と $S'$ が次の**標準配置**にあるとします。 1. $S'$ は $S$ に対して $x$ 軸の正の向きに一定の速さ $v$（$0 \le v < c$）で動く。 2. 両者の $x$ 軸、$y$ 軸、$z$ 軸はそれぞれ平行である。 3. $t = t' = 0$ のときに両者の原点が一致する。 さらに $\beta = v/c$、$\gamma = 1/\sqrt{1 - \beta^2}$ と書き、$\gamma$ を**ローレンツ因子**と呼びます。 $0 \le \beta < 1$ のとき $\gamma \ge 1$ であり、$\beta \to 1$ で $\gamma \to \infty$ となります。具体的な値を挙げておきます。 | $\beta = v/c$ | $\gamma$ | $\gamma - 1$ | |---|---|---| | $3.0 \times 10^{-7}$（新幹線） | $1.000\,000\,000\,000\,04$ | $4.4 \times 10^{-14}$ | | $1.0 \times 10^{-4}$（地球の公転） | $1.000\,000\,005$ | $5.0 \times 10^{-9}$ | | $0.5$ | $1.1547$ | $0.155$ | | $0.8$ | $1.6667$ | $0.667$ | | $0.9$ | $2.2942$ | $1.294$ | | $0.99$ | $7.0888$ | $6.089$ | | $0.999$ | $22.366$ | $21.37$ | この表は「相対論的効果は $\beta$ が 0.1 を超えるあたりから急に効きはじめる」ことを示しています。$\beta = 0.5$ でもまだ 15 %、$\beta = 0.99$ で 7 倍です。 2 つの原理から、もう 1 つ最初に確認しておくべき事実があります。$S$ から見て $S'$ が速さ $v$ で動くとき、$S'$ から見た $S$ の速さも同じ $v$ です。これは相対性原理（2 つの系は対等）と空間の等方性（向きに特別扱いはない）から従います。もし $S'$ から見た $S$ の速さが $v$ と異なるなら、その大小によって 2 つの系を区別でき、慣性系に優劣がつくことになって相対性原理に反します。以下ではこの**相互性**を断りなく使います。 ## 3. 光時計と時間の遅れ ### 3.1. 運動方向に垂直な長さは変わらない 先に、後で使う補題を片づけます。これを確かめずに光時計を論じると、議論に穴が残ります。 標準配置の慣性系 $S$、$S'$ を取る。$S'$ に静止し、$y$ 軸（運動方向に垂直な方向）に沿って置かれた棒の長さを $S'$ で測って $\ell_0$ とすると、同じ棒を $S$ で測った長さも $\ell_0$ である。$z$ 軸方向についても同様である。 $S$ で測った長さを $\ell = f(v)\,\ell_0$ と書きます。相対性原理より $f$ は 2 つの系の相対速度だけで決まり、空間の等方性より運動の向きにはよらないので、$f(v) = f(-v)$、すなわち $f$ は $|v|$ のみの関数です。 いま、静止状態で長さの等しい 2 本の棒 $A$、$B$ を用意します。$A$ は $S$ に、$B$ は $S'$ に静止させ、どちらも下端を $y = 0$ に揃えて $y$ 軸に平行に立て、$x$ 軸に沿ってすれ違わせます。棒 $B$ の上端には、すれ違いざまに相手の棒に印をつける筆を付けておきます。 問題にするのは「$B$ の筆は $A$ に印を残したか、それとも $A$ の上端より上を素通りしたか」という一点です。これは筆と棒 $A$ が接触したかどうか、つまり 2 つの物体が同じ場所・同じ時刻に居合わせたかどうかという**局所的な事実**なので、どの慣性系から見ても答えは同じでなければなりません。 ここで $f(v) < 1$ と仮定します。$S$ から見ると動いているのは $B$ なので $B$ が縮み、$B$ の上端は $A$ の上端より低い位置を通ります。よって筆は $A$ の側面に印を残します。ところが $S'$ から見ると、相互性より動いているのは $A$ のほうであり、しかも $f$ は $|v|$ のみの関数なので同じ係数だけ縮みます。したがって $A$ の上端が $B$ の上端より低くなり、筆は $A$ の上端より上を素通りして印は残りません。同じ局所的事実について正反対の結論が出たので矛盾です。$f(v) > 1$ と仮定した場合も、上下を入れ替えて同じ矛盾が出ます。 したがって $f(v) = 1$、すなわち $\ell = \ell_0$ です。 ### 3.2. 光時計
S′（時計とともに動く系）S（地面に静止した系）Δt′ = 2L₀ / cv ΔtL₀ c Δt / 2
**光時計**とは、距離 $L_0$ だけ離して向かい合わせに置いた 2 枚の鏡の間を光パルスが往復する装置で、往復 1 回を 1 目盛りとする時計です。鏡を結ぶ線が運動方向（$x$ 軸）に垂直になるように置きます。 同じ場所で起こる 2 つの事象（つまりある時計自身の上で起こる 2 つの事象）の間に、その時計が刻む時間を、その 2 事象間の**固有時**（proper time）と呼び $\Delta \tau$ と書きます。固有時は「その時計に静止した系で測った経過時間」であり、時計の履歴だけで決まる量です。 標準配置の慣性系 $S$、$S'$ を取り、$S'$ に静止した時計を考える。この時計の上で起こる 2 つの事象について、$S'$ で測った経過時間（固有時）を $\Delta \tau$、$S$ で測った経過時間を $\Delta t$ とすると $$ \Delta t = \gamma \, \Delta \tau = \frac{\Delta \tau}{\sqrt{1 - v^2/c^2}} $$ が成り立つ。$\gamma \ge 1$ なので $\Delta t \ge \Delta \tau$ であり、$S$ から見るとその時計は自分の時計より遅く進む。 まず時計が光時計である場合に示します。 **$S'$ での往復時間。** $S'$ では時計は静止しており、鏡の間隔は $L_0$、光速は光速度不変の原理より $c$ です。光は距離 $2L_0$ を走るので $$ \Delta \tau = \frac{2L_0}{c}. $$ この 2 事象（下の鏡から出発、下の鏡に帰着）は $S'$ で同じ場所で起こるので、$\Delta \tau$ は の意味の固有時です。 **$S$ での往復時間。** $S$ では時計全体が速さ $v$ で $x$ 方向に動きます。鏡の間隔は運動方向に垂直なので、 よりやはり $L_0$ です。往復にかかる時間を $\Delta t$ とすると、その間に時計は水平方向に $v\,\Delta t$ だけ移動します。光の経路は、上図の右のように、底辺 $v\,\Delta t$、高さ $L_0$ の二等辺三角形の 2 つの斜辺です。斜辺の水平方向の広がりは底辺の半分の $v\,\Delta t/2$ なので、片道の経路長は三平方の定理より $$ \sqrt{L_0^2 + \left(\frac{v\,\Delta t}{2}\right)^2} $$ であり、往復の経路長はその 2 倍です。ここで光速度不変の原理を $S$ に適用すると、$S$ でも光の速さは $c$ です。したがって経路長は $c\,\Delta t$ に等しく $$ c\,\Delta t = 2\sqrt{L_0^2 + \left(\frac{v\,\Delta t}{2}\right)^2}. $$ 両辺を 2 乗して $$ c^2 \Delta t^2 = 4L_0^2 + v^2 \Delta t^2 \quad\Longrightarrow\quad (c^2 - v^2)\,\Delta t^2 = 4L_0^2 . $$ $v < c$ より $c^2 - v^2 > 0$ なので $$ \Delta t = \frac{2L_0}{\sqrt{c^2 - v^2}} = \frac{2L_0}{c\sqrt{1 - v^2/c^2}} = \gamma \cdot \frac{2L_0}{c} = \gamma\,\Delta \tau . $$ **任意の時計への拡張。** 光時計の隣に、原子時計でも振り子でもよいので別の時計を置き、$S'$ で 2 つの時計が同時に目盛りを刻むように合わせておきます。「2 つの時計の針が同じ位置を指す」というのは同じ場所で起こる出来事の一致なので、どの慣性系から見ても成り立ちます。したがって $S$ から見ても 2 つの時計は同じ速さで進み、光時計について示した関係がそのまま成り立ちます。 もし光時計と原子時計が $S'$ 内でずれるとしたら、$S'$ の内部だけの実験で $S'$ の運動を検出できてしまい、相対性原理に反します。 宇宙線が大気上層（高度 15 km 程度）の原子核と衝突すると、**ミューオン**という不安定な粒子が大量に生まれます。ミューオンの平均寿命は静止状態で $\tau = 2.2\ \mu\mathrm{s}$ です。 古典的に考えると、光速で走ったとしても寿命の間に進める距離は $$ c\tau = (3.0\times10^{8}\ \mathrm{m/s}) \times (2.2\times10^{-6}\ \mathrm{s}) \approx 660\ \mathrm{m} $$ しかありません。15 km どころか 1 km も進めず、地上にはほとんど届かないはずです。ところが実際には地表 1 平方センチメートルあたり毎分 1 個程度のミューオンが降り注いでいます。 を使いましょう。ミューオンの速さを $v = 0.995c$ とすると $$ \gamma = \frac{1}{\sqrt{1 - 0.995^2}} = \frac{1}{\sqrt{1 - 0.990025}} = \frac{1}{\sqrt{0.009975}} = \frac{1}{0.09987} = 10.01 . $$ $2.2\ \mu\mathrm{s}$ はミューオンに静止した系での寿命、すなわち固有時なので、地上系で測った寿命は $\gamma\tau = 10.01 \times 2.2 = 22.0\ \mu\mathrm{s}$ です。この間に進む距離は $$ 0.995c \times 22.0\ \mu\mathrm{s} = (2.985\times10^{8}) \times (2.20\times10^{-5}) \approx 6.6\times10^{3}\ \mathrm{m} = 6.6\ \mathrm{km} $$ となり、桁が 1 つ上がります。実際のミューオンはこれより速いものも多く、十分な数が地表に到達します。 これは思考実験ではなく測定された事実です。ロッシとホールは 1941 年に、標高の異なる 2 地点でミューオンの計数率を比べ、崩壊率が運動量とともに落ちることを示しました。フリッシュとスミスは 1963 年にワシントン山（標高約 1900 m）と海面高度で同じ測定を行い、時間の遅れの係数を定量的に確認しています。 ## 4. 空間の縮み（ローレンツ収縮） 時間の遅れが決まると、長さの測り方も自動的に決まります。 物体に静止した慣性系で測った、その物体の長さを**固有長**（proper length）と呼び $L_0$ と書きます。物体が動いて見える慣性系での長さは、両端の位置を**その慣性系で同時刻に**読み取って得られる差として定義します。 「同時刻に読み取る」という但し書きは省けません。動いている棒の先端の位置を 12 時に、後端の位置を 12 時 1 分に読み取れば、いくらでも長い（あるいは短い）値が出てしまいます。この但し書きが後で と結びつきます。 標準配置の慣性系 $S$、$S'$ を取る。$S$ に静止し、$x$ 軸に平行に置かれた剛体の棒の固有長を $L_0$ とする。この棒を $S'$ で測った長さ $L'$ は $$ L' = \frac{L_0}{\gamma} = L_0\sqrt{1 - v^2/c^2} $$ である。$\gamma \ge 1$ なので $L' \le L_0$ であり、運動方向の長さは縮んで測られる。運動方向に垂直な長さは より変わらない。 $S'$ の原点に静止した観測者 $O'$ を考えます。$O'$ は $S$ から見ると速さ $v$ で棒に沿って動きます。次の 2 つの事象を取ります。 - 事象 $P$：$O'$ が棒の一方の端を通過する。 - 事象 $Q$：$O'$ が棒のもう一方の端を通過する。 **$S$ での時間差。** $S$ では棒は静止していて長さ $L_0$、$O'$ は速さ $v$ で動くので $$ \Delta t = \frac{L_0}{v}. $$ **$S'$ での時間差。** $P$ と $Q$ はどちらも $O'$ の位置、すなわち $S'$ の原点で起こります。同じ場所で起こる 2 事象なので、$S'$ での経過時間は の固有時です。したがって より $$ \Delta t' = \frac{\Delta t}{\gamma} = \frac{L_0}{\gamma v}. $$ **$S'$ での長さ。** $S'$ から見ると、棒が速さ $v$ で（$x'$ 軸の負の向きに）動いています。棒の一端が $O'$ を通り過ぎてからもう一端が通り過ぎるまでの間に、棒は自分自身の長さのぶんだけ移動します。棒は剛体で等速運動をしているので、この移動距離が $S'$ で測った棒の長さ $L'$ です。よって $$ L' = v\,\Delta t' = v \cdot \frac{L_0}{\gamma v} = \frac{L_0}{\gamma}. $$ なお、ここで用いた「観測者を通過する時間から長さを求める」測り方が、 の「両端を同時刻に読み取る」測り方と一致することは、 を使って §6 で確かめます。 をミューオンに静止した系で考え直します。この系ではミューオンの寿命は $2.2\ \mu\mathrm{s}$ のままで、時間の遅れは起きません。では、なぜ地上に届くのでしょうか。 ミューオンから見ると、大気と地面のほうが $0.995c$ で近づいてきます。大気の厚み 15 km は地球に静止した系で測った固有長なので、 よりミューオンの系では $$ \frac{15\ \mathrm{km}}{10.01} = 1.5\ \mathrm{km} $$ に縮んで見えます。この厚みがミューオンの脇を通り過ぎるのにかかる時間は $$ \frac{1.5\times10^{3}\ \mathrm{m}}{2.985\times10^{8}\ \mathrm{m/s}} = 5.0\ \mu\mathrm{s} $$ です。 2 つの計算が同じ答えを与えることを確かめましょう。ミューオン系では、大気を横切るのに平均寿命の $5.0/2.2 = 2.3$ 倍の時間がかかります。地上系では、平均寿命の間に $6.6\ \mathrm{km}$ 進めるので、$15\ \mathrm{km}$ を横切るのに平均寿命の $15/6.6 = 2.3$ 倍の時間がかかります。比が一致しました。生き残る割合はどちらで計算しても $e^{-2.3} = 0.10$、およそ 10 % です。 説明の言葉は「寿命が伸びる」と「距離が縮む」でまるで違いますが、「何個のミューオンが地表に届くか」という観測にかかる 1 つの答えについては完全に一致します。相対論の計算では、この一致がつねに成り立ちます。 ## 5. 同時刻の相対性 ここが古典的な直感との最大の分かれ目です。時間の遅れと長さの収縮は「なんとなくそういうこともあるか」と受け入れられても、次の主張は落ち着いて考えないと飲み込めません。 標準配置の慣性系 $S$、$S'$ を取り、$0 < v < c$ とする。$S'$ で**同時刻**に起こる 2 つの事象 $P$、$Q$ が、$S'$ の $x'$ 座標で $\Delta x' = x'_Q - x'_P > 0$ だけ離れているとする。このとき $S$ ではこの 2 事象は同時刻ではなく、時刻差は $$ \Delta t = t_Q - t_P = \frac{\gamma\, v\, \Delta x'}{c^2} > 0 $$ である。すなわち $S$ から見ると、進行方向の前方で起こる事象 $Q$ のほうが後に起こる。 見通しをよくするため、具体的な装置で $P$、$Q$ を作ります。$S'$ に静止した長さ $\Delta x'$ の車両を考え、その中央に光源を置きます。光源が一瞬光り、その光が後端に届く事象を $P$、前端に届く事象を $Q$ とします。 **$S'$ では同時刻。** $S'$ で光速は前後どちらの向きにも $c$（光速度不変の原理）、中央から両端までの距離はどちらも $\Delta x'/2$ です。よって光は同じ時間で両端に届き、$P$ と $Q$ は $S'$ で同時刻です。 **$S$ での時刻差。** $S$ では車両の長さは より $L = \Delta x'/\gamma$ に縮み、車両全体が速さ $v$ で $x$ 軸正の向きに動きます。光が出た瞬間を $t = 0$、そのときの光源の位置を $x = 0$ とし、後端の位置を $x_-(t)$、前端の位置を $x_+(t)$ と書くと $$ x_-(t) = -\frac{L}{2} + vt, \qquad x_+(t) = \frac{L}{2} + vt $$ です。$S$ でも光速は $c$ なので、後ろ向きの光は $x = -ct$、前向きの光は $x = ct$ に沿って進みます。それぞれ端に追いつく時刻 $t_P$、$t_Q$ は $$ -c\,t_P = -\frac{L}{2} + v\,t_P \ \Longrightarrow\ t_P = \frac{L}{2(c+v)}, \qquad c\,t_Q = \frac{L}{2} + v\,t_Q \ \Longrightarrow\ t_Q = \frac{L}{2(c-v)} . $$ 後端は光に向かって進み、前端は光から逃げるので、$t_P < t_Q$ です。差を計算すると $$ \Delta t = t_Q - t_P = \frac{L}{2}\left(\frac{1}{c-v} - \frac{1}{c+v}\right) = \frac{L}{2}\cdot\frac{(c+v)-(c-v)}{c^2 - v^2} = \frac{L\,v}{c^2 - v^2} . $$ ここで $c^2 - v^2 = c^2(1 - \beta^2) = c^2/\gamma^2$ なので $$ \Delta t = \frac{\gamma^2 L v}{c^2} = \frac{\gamma^2 v}{c^2}\cdot\frac{\Delta x'}{\gamma} = \frac{\gamma\, v\, \Delta x'}{c^2}. $$ $v > 0$、$\Delta x' > 0$ より $\Delta t > 0$ です。 なお、ここでは特定の装置で作った 1 組の事象について示しました。$S'$ で同時刻な任意の 2 事象について同じ式が成り立つことは、 から直ちに従います。 はこの結果を使わずに独立に導くので、循環論法にはなりません。 まず日常のスケールで見積もります。長さ $400\ \mathrm{m}$ の新幹線が時速 $320\ \mathrm{km}$（$v = 88.9\ \mathrm{m/s}$）で走っているとき、車内で同時刻の 2 事象の地上系での時刻差は、$\gamma \approx 1$ として $$ \Delta t \approx \frac{v L_0}{c^2} = \frac{88.9 \times 400}{(3.0\times10^{8})^2} = \frac{3.56\times10^{4}}{9.0\times10^{16}} = 4.0\times10^{-13}\ \mathrm{s} $$ です。0.4 ピコ秒。人間が気づけるはずがありません。同時刻が絶対だと信じてきたのは当然です。 次に相対論的な速さで。固有長 $100\ \mathrm{m}$ の宇宙船が $v = 0.8c$ で飛んでいるとします。$\gamma = 1/\sqrt{1-0.64} = 1/0.6 = 5/3$ なので $$ \Delta t = \frac{\gamma v L_0}{c^2} = \frac{(5/3)\times(0.8c)\times 100}{c^2} = \frac{(5/3)\times 0.8 \times 100}{3.0\times10^{8}} = \frac{133.3}{3.0\times10^{8}} = 4.4\times10^{-7}\ \mathrm{s} $$ すなわち約 $440$ ナノ秒です。船内で「同時に」船首と船尾の照明が点いたとき、地上の観測者は船首の照明が $440$ ナノ秒遅れて点いたと記録します。どちらも正しい記録です。 は「$S$ から見て $S'$ の時計が遅れる」と述べますが、相対性原理により「$S'$ から見て $S$ の時計が遅れる」も同時に正しいはずです。これは矛盾ではないのでしょうか。 矛盾しません。「$S$ の時計が遅れている」という主張は、離れた場所にある複数の時計の読みを**ある系で同時刻に**比べて初めて意味を持ちます。 より、その「同時刻」が $S$ と $S'$ で違うので、両者は同じ比較をしていません。$S$ の観測者は $S'$ の 1 個の時計を、$S$ に並べた複数の時計と比べています。$S'$ の観測者はその逆をしています。比べ方が違うのだから、両方が「相手が遅れている」と結論しても衝突しないのです。 時間の遅れ・長さの収縮・同時刻の相対性は 3 つ別々の現象ではなく、1 つの変換の 3 つの側面です。次節でその変換を書き下します。 ## 6. ローレンツ変換 標準配置の慣性系 $S$、$S'$ を取る。相対性原理・光速度不変の原理、および時空の一様性から従う「座標変換は 1 次式である」という仮定のもとで、同一の事象の座標は $$ \begin{aligned} x' &= \gamma\,(x - v t), \\ y' &= y, \\ z' &= z, \\ t' &= \gamma\left(t - \frac{v x}{c^2}\right) \end{aligned} $$ で結ばれる。ここで $\gamma = 1/\sqrt{1 - v^2/c^2}$ である。逆変換は $v$ を $-v$ に置き換えて $$ x = \gamma\,(x' + v t'), \qquad t = \gamma\left(t' + \frac{v x'}{c^2}\right) $$ となる。$v/c \to 0$ の極限でガリレイ変換 $x' = x - vt$、$t' = t$ に一致する。 **手順 1（$y$、$z$ 成分）。** より運動方向に垂直な長さは変わらないので $y' = y$、$z' = z$ です。 **手順 2（$x$ の変換の形）。** 変換が 1 次式であるという仮定と、$x$ 軸のまわりの回転対称性（$x'$ が $y$、$z$ に依存すると、$y$ 軸まわりに $180$ 度回した配置と区別がついてしまいます）から、$x' = a x + b t$ と書けます。ここで $a$、$b$ は $v$ だけで決まる定数です。 $S'$ の原点は $x' = 0$ で定まる点であり、$S$ から見ると $x = vt$ に沿って動きます。したがって $x = vt$ を代入したとき恒等的に $x' = 0$ でなければならず $$ a\,(vt) + b\,t = (av + b)\,t = 0 \quad(\text{すべての } t) \quad\Longrightarrow\quad b = -av $$ を得ます。$A = a$ と書き直せば $$ x' = A\,(x - vt) $$ です。 **手順 3（逆向きの変換）。** 相対性原理より、$S'$ から見た $S$ にも同じ形の法則が成り立ちます。相互性より $S'$ から見た $S$ の速度は $-v$ なので $$ x = A(-v)\,\bigl(x' - (-v)t'\bigr) = A(-v)\,(x' + v t'). $$ 空間の等方性より $A$ は速度の向きによらない、すなわち $A(-v) = A(v) = A$ です。よって $$ x = A\,(x' + v t'). $$ **手順 4（光速度不変で $A$ を決める）。** $t = t' = 0$ に原点から $x$ 軸正の向きに光を出します。光速度不変の原理より、$S$ では $x = ct$、$S'$ では $x' = ct'$ が成り立ちます。これを手順 2、3 の式に代入すると $$ c t' = A\,(ct - vt) = A t\,(c - v), \qquad c t = A\,(ct' + v t') = A t'\,(c + v). $$ 光が原点を出てからしばらく経った 1 点を取れば $t \ne 0$ です。すると 2 番目の式 $ct = A t'(c+v)$ の左辺が $0$ でないので $t' \ne 0$ でもあります。そこで辺々を掛けると $$ c^2 t t' = A^2 t t' (c-v)(c+v) = A^2 t t' (c^2 - v^2) $$ となり、$t t' \ne 0$ で割って $$ A^2 = \frac{c^2}{c^2 - v^2} = \frac{1}{1 - v^2/c^2} = \gamma^2 . $$ $x$ 軸の向きを保つ変換を考えているので $A > 0$、したがって $A = \gamma$ です。 **手順 5（時間の変換）。** 手順 2 の $x' = \gamma(x - vt)$ を手順 3 の $x = \gamma(x' + vt')$ に代入します。 $$ x = \gamma\bigl(\gamma(x - vt) + v t'\bigr) = \gamma^2 x - \gamma^2 v t + \gamma v t'. $$ $\gamma v t'$ について解くと $$ \gamma v t' = x - \gamma^2 x + \gamma^2 v t = x\,(1 - \gamma^2) + \gamma^2 v t . $$ ここで $$ 1 - \gamma^2 = 1 - \frac{1}{1-\beta^2} = \frac{(1-\beta^2) - 1}{1-\beta^2} = \frac{-\beta^2}{1-\beta^2} = -\gamma^2\beta^2 $$ を使うと $$ \gamma v t' = -\gamma^2 \beta^2 x + \gamma^2 v t \quad\Longrightarrow\quad t' = \gamma\left(t - \frac{\beta^2}{v}x\right). $$ $\beta^2/v = (v^2/c^2)/v = v/c^2$ なので $$ t' = \gamma\left(t - \frac{v x}{c^2}\right) $$ を得ます。逆変換は、手順 3 と同じ議論（$v \to -v$）から従います。 **極限。** $v/c \to 0$ では $\gamma \to 1$、$vx/c^2 \to 0$ なので $x' \to x - vt$、$t' \to t$ となり、ガリレイ変換に戻ります。 証明で使った「変換が 1 次式である」という仮定は、時空の一様性から導けます（）。慣性系では自由粒子は等速直線運動をします。これは時空図の上では直線です。$S$ での直線が $S'$ でも直線でなければならないので、変換は直線を直線に写す写像、すなわちアフィン変換に限られます。さらに $t = t' = 0$ で原点が一致するという標準配置の条件から、定数項が消えて 1 次（線形）変換になります。 「直線を直線に写す全単射はアフィン変換に限る」という事実は、アフィン幾何学の基本定理として知られています。 導いた変換から、これまでの 3 つの結果がすべて再現されることを確かめます。 - **時間の遅れ。** $S'$ に静止した時計（$\Delta x' = 0$）について、逆変換 $t = \gamma(t' + vx'/c^2)$ より $\Delta t = \gamma\,\Delta t'$。 と一致します。 - **同時刻の相対性。** $\Delta t' = 0$ の 2 事象について $\Delta t = \gamma v \Delta x'/c^2$。 と一致します。 - **ローレンツ収縮。** $S$ に静止した棒の両端を $S'$ で同時刻に測る、すなわち $\Delta t' = 0$ とします。$x' = \gamma(x - vt)$ と $t' = \gamma(t - vx/c^2)$ から $t$ を消去すると、$x = \gamma(x' + vt')$ なので $\Delta t' = 0$ のとき $\Delta x = \gamma\,\Delta x'$、すなわち $\Delta x' = \Delta x/\gamma = L_0/\gamma$。 と一致し、 の「同時刻に両端を読む」測り方と、 の証明で使った「通過時間から求める」測り方が同じ答えを与えることが確かめられました。 標準配置の慣性系 $S$、$S'$ を取る。ある粒子が $S'$ で $x'$ 方向に一定の速度 $u'$ で運動しているとき、$S$ での速度 $u$ は $$ u = \frac{u' + v}{1 + \dfrac{u' v}{c^2}} $$ である。逆に $S$ での速度 $u$ から $S'$ での速度は $u' = (u - v)/(1 - uv/c^2)$ で与えられる。とくに $|u'| < c$ かつ $|v| < c$ ならば $|u| < c$ であり、$u' = c$ ならば $u = c$ である。 の逆変換を微小変化について書くと $$ dx = \gamma\,(dx' + v\,dt'), \qquad dt = \gamma\left(dt' + \frac{v\,dx'}{c^2}\right). $$ 辺々の比を取り、分母・分子を $\gamma\,dt'$ で割ると $$ u = \frac{dx}{dt} = \frac{dx' + v\,dt'}{dt' + v\,dx'/c^2} = \frac{\dfrac{dx'}{dt'} + v}{1 + \dfrac{v}{c^2}\dfrac{dx'}{dt'}} = \frac{u' + v}{1 + \dfrac{u'v}{c^2}} . $$ $u' = c$ を代入すると $$ u = \frac{c + v}{1 + \dfrac{cv}{c^2}} = \frac{c+v}{1 + v/c} = \frac{c(c+v)}{c+v} = c $$ となり、光速はどの慣性系でも $c$ です。光速度不変の原理が変換の中に組み込まれていることが見て取れます。 $|u'| < c$、$|v| < c$ のとき $|u| < c$ となることは、次の 2 つの恒等式からわかります。まず $$ c - u = \frac{c\left(1 + \dfrac{u'v}{c^2}\right) - (u' + v)}{1 + \dfrac{u'v}{c^2}} = \frac{c + \dfrac{u'v}{c} - u' - v}{1 + \dfrac{u'v}{c^2}} = \frac{\dfrac{(c - u')(c - v)}{c}}{1 + \dfrac{u'v}{c^2}} $$ です。実際、分子を展開すると $(c-u')(c-v)/c = (c^2 - cv - cu' + u'v)/c = c - v - u' + u'v/c$ となって一致します。同じ計算で $$ c + u = \frac{c\left(1 + \dfrac{u'v}{c^2}\right) + (u' + v)}{1 + \dfrac{u'v}{c^2}} = \frac{\dfrac{(c + u')(c + v)}{c}}{1 + \dfrac{u'v}{c^2}} $$ も得られます。$|u'| < c$、$|v| < c$ より $c - u' > 0$、$c - v > 0$、$c + u' > 0$、$c + v > 0$ なので、どちらの分子も正です。また $|u'v|/c^2 < 1$ より分母 $1 + u'v/c^2$ も正です。よって $c - u > 0$ かつ $c + u > 0$、すなわち $|u| < c$ が従います。 ロケット $A$ が地球から $0.5c$ で遠ざかり、$A$ から見てさらに $0.5c$ で前方にロケット $B$ を射出したとします。ガリレイ的には $B$ の地球に対する速さは $c$ になってしまいます。 では $$ u = \frac{0.5c + 0.5c}{1 + \dfrac{(0.5c)(0.5c)}{c^2}} = \frac{c}{1 + 0.25} = \frac{c}{1.25} = 0.8c . $$ もっと極端に $u' = v = 0.9c$ とすると $$ u = \frac{1.8c}{1 + 0.81} = \frac{1.8c}{1.81} = 0.9945c $$ で、やはり $c$ には届きません。何度足しても光速を超えられないことは、速度の合成則の分母が効いてくるためです。この「$c$ が上限である」という構造が、[相対論的力学（E=mc²）](/physics/relativity/relativistic-mechanics) で運動量とエネルギーの形を決めることになります（）。 ## 7. ミンコフスキー時空と世界間隔 ローレンツ変換のもとで $t$ も $x$ も変わってしまうなら、何が「本当の量」なのでしょうか。ユークリッド幾何で座標軸を回しても $x^2 + y^2$ が変わらないのと同じように、ローレンツ変換で変わらない量があります。 2 つの事象 $E_1 = (t_1, x_1, y_1, z_1)$、$E_2 = (t_2, x_2, y_2, z_2)$ に対し、$\Delta t = t_2 - t_1$ などと書いて $$ s^2 = c^2 \Delta t^2 - \Delta x^2 - \Delta y^2 - \Delta z^2 $$ を 2 事象間の**世界間隔**（spacetime interval）の 2 乗と呼びます。$s^2$ は負にもなり得るので、記号 $s^2$ は 2 乗を表す慣習的な書き方であり、$s$ が実数とは限りません。 標準配置の慣性系 $S$、$S'$ を取り、同じ 2 つの事象の座標差を $S$ で $(\Delta t, \Delta x, \Delta y, \Delta z)$、$S'$ で $(\Delta t', \Delta x', \Delta y', \Delta z')$ とすると $$ c^2\Delta t'^2 - \Delta x'^2 - \Delta y'^2 - \Delta z'^2 = c^2\Delta t^2 - \Delta x^2 - \Delta y^2 - \Delta z^2 $$ が成り立つ。すなわち世界間隔はローレンツ変換で不変である。 は 1 次変換なので、座標差にもそのまま適用できます。$\Delta y' = \Delta y$、$\Delta z' = \Delta z$ は $y' = y$、$z' = z$ の差を取れば得られるので、$t$ と $x$ の部分だけ計算します。 $$ \begin{aligned} c^2\Delta t'^2 - \Delta x'^2 &= c^2\gamma^2\left(\Delta t - \frac{v\Delta x}{c^2}\right)^2 - \gamma^2\left(\Delta x - v\Delta t\right)^2 \\ &= \gamma^2\left[c^2\Delta t^2 - 2v\,\Delta t\,\Delta x + \frac{v^2}{c^2}\Delta x^2 - \Delta x^2 + 2v\,\Delta x\,\Delta t - v^2\Delta t^2\right]. \end{aligned} $$ 第 2 項 $-2v\Delta t\Delta x$ と第 5 項 $+2v\Delta x\Delta t$ が打ち消し合います。残りを $\Delta t^2$ と $\Delta x^2$ でまとめると $$ \begin{aligned} c^2\Delta t'^2 - \Delta x'^2 &= \gamma^2\left[c^2\Delta t^2\left(1 - \frac{v^2}{c^2}\right) - \Delta x^2\left(1 - \frac{v^2}{c^2}\right)\right] \\ &= \gamma^2\left(1 - \frac{v^2}{c^2}\right)\left(c^2\Delta t^2 - \Delta x^2\right). \end{aligned} $$ $\gamma^2 = 1/(1 - v^2/c^2)$ より $\gamma^2(1 - v^2/c^2) = 1$ なので $$ c^2\Delta t'^2 - \Delta x'^2 = c^2\Delta t^2 - \Delta x^2 . $$ 両辺から $\Delta y^2 + \Delta z^2$ を引けば主張が得られます。 この不変量を持つ 4 次元空間を**ミンコフスキー時空**と呼びます。空間 3 次元と時間 1 次元を別々のものとして扱うのではなく、$(ct, x, y, z)$ を 1 つの点の座標とみなす見方です。ミンコフスキー自身の 1908 年の講演の言葉を借りれば、空間と時間は単独では影に沈み、両者の結合だけが独立の実在を保ちます。 ユークリッド空間との違いは符号だけです。ユークリッド空間で不変なのは $\Delta x^2 + \Delta y^2$、ミンコフスキー時空で不変なのは $c^2\Delta t^2 - \Delta x^2$。この 1 個のマイナス符号が、回転を双曲線的な変換（ブースト）に変え、時空に因果構造を与えます。
ctx（S の同時刻線）未来過去空間的空間的O ct′x′（S′ の同時刻線）光の世界線
図の読み方を補足します。縦軸を $ct$（時間に $c$ を掛けて長さの次元に揃えたもの）にすると、光の世界線はちょうど 45 度の直線 $ct = \pm x$ になります。 $S'$ の時間軸 $ct'$ は「$x' = 0$ を満たす事象の集まり」、すなわち $x = vt$ という直線で、$(x, ct)$ 平面では $x = \beta\,(ct)$ と書けます。$S'$ の空間軸 $x'$ は「$t' = 0$ を満たす事象の集まり」で、 の $t' = \gamma(t - vx/c^2)$ を $0$ と置いて $ct = \beta x$ です。つまり $ct'$ 軸は $ct$ 軸から、$x'$ 軸は $x$ 軸から、それぞれ正接が $\beta$ に等しい角だけ、光の世界線に向かって傾きます。2 本の軸は光の世界線を挟んで対称に閉じていき、$\beta \to 1$ でどちらも光の世界線に重なります。 $x$ 軸（$S$ の同時刻線）と $x'$ 軸（$S'$ の同時刻線）が別の直線であること、これが の図形的な意味です。 2 つの相異なる事象について、$s^2$ の符号と、$s^2 \ge 0$ の場合の時間の前後関係は、どの慣性系から見ても同じである。詳しくは次が成り立つ。 1. $s^2 > 0$（**時間的**に隔たっている）または $s^2 = 0$（**光的**）のとき、$\Delta t$ の符号はすべての慣性系で同じである。 2. $s^2 < 0$（**空間的**に隔たっている）のとき、$\Delta t > 0$ となる慣性系、$\Delta t = 0$ となる慣性系、$\Delta t < 0$ となる慣性系がいずれも存在する。 $s^2$ の符号が系によらないことは そのものです。座標軸の向きを取り直して、2 事象が $x$ 軸上にあるとしてよいので、以下 $\Delta y = \Delta z = 0$ とします。 **(1) の証明。** $s^2 \ge 0$ は $c^2\Delta t^2 \ge \Delta x^2$、すなわち $|\Delta x| \le c\,|\Delta t|$ を意味します。ここで $\Delta t = 0$ とすると $|\Delta x| \le 0$ より $\Delta x = 0$ となって同一の事象になってしまうので、相異なる 2 事象では $\Delta t \ne 0$ です。 より $$ \Delta t' = \gamma\left(\Delta t - \frac{v\,\Delta x}{c^2}\right) $$ であり、$\gamma > 0$ なので $\Delta t'$ の符号は括弧の中の符号で決まります。第 2 項の大きさを評価すると $$ \left|\frac{v\,\Delta x}{c^2}\right| \le \frac{|v|}{c^2}\cdot c\,|\Delta t| = \frac{|v|}{c}\,|\Delta t| < |\Delta t| $$ です（最後の不等号で $|v| < c$ を使いました）。第 2 項の大きさが第 1 項の大きさより真に小さいので、括弧の中の符号は $\Delta t$ の符号と一致します。よって $\Delta t'$ と $\Delta t$ は同符号です。 **(2) の証明。** $s^2 < 0$ は $|\Delta x| > c\,|\Delta t|$ を意味し、とくに $\Delta x \ne 0$ です。そこで $$ v_0 = \frac{c^2\,\Delta t}{\Delta x} $$ と置くと、$|v_0| = c^2|\Delta t|/|\Delta x| < c^2 \cdot |\Delta x| / (c\,|\Delta x|) = c$ なので、$v_0$ は許される相対速度です。この $v_0$ で動く系では $$ \Delta t' = \gamma\left(\Delta t - \frac{v_0 \Delta x}{c^2}\right) = \gamma\left(\Delta t - \Delta t\right) = 0 $$ となり、2 事象は同時刻です。$v$ を $v_0$ より少し大きく、あるいは少し小さく取れば、$\Delta t'$ は連続的に符号を変えます。よって前後関係が逆転する系が存在します。 この命題が相対論における因果律の保証です。原因と結果は必ず光速以下で結ばれる（時間的または光的に隔たる）ので、その前後関係はすべての観測者にとって同じです。前後関係が逆転しうるのは空間的に隔たった事象、すなわち光でも間に合わず、互いに影響を及ぼしようがない事象の組だけです。「同時刻は相対的だが、因果は絶対である」と要約できます。 固有長 $10\ \mathrm{m}$ の棒が、固有長 $8\ \mathrm{m}$ の納屋を $\beta = \sqrt{3}/2 \approx 0.866$（$\gamma = 2$）で通り抜けます。納屋には前後に扉があります。 **納屋の系 $S$ では。** 棒の長さは $10/\gamma = 5\ \mathrm{m}$ に縮むので、$8\ \mathrm{m}$ の納屋に余裕で収まります。ある瞬間に両方の扉を閉めれば、棒は完全に納屋の中です。 **棒の系 $S'$ では。** 納屋の長さが $8/\gamma = 4\ \mathrm{m}$ に縮み、棒は $10\ \mathrm{m}$ のままです。棒は絶対に納屋に収まりません。 矛盾しているように見えますが、 が効きます。座標を入れて確かめましょう。長さをメートル、時刻を $ct$（メートル単位）で測ります。$S$ で入口の扉を $x = 0$、出口の扉を $x = 8$ に置き、$ct = 0$ のとき棒の後端が $x = 0$、先端が $x = 5$ にあるとします。棒が完全に中にあるのは $0 \le ct \le 3/0.866 = 3.46$ の間なので、$ct = 2$ に両方の扉を閉めることにします。2 つの事象は - 事象 $F$（入口の扉を閉める）：$(ct, x) = (2, 0)$ - 事象 $R$（出口の扉を閉める）：$(ct, x) = (2, 8)$ で、$S$ では同時刻です。 を $ct' = \gamma(ct - \beta x)$、$x' = \gamma(x - \beta\, ct)$ の形で適用します。 $$ \begin{aligned} F:\quad & ct' = 2\,(2 - 0.866\times 0) = 4, \qquad x' = 2\,(0 - 0.866\times 2) = -3.46, \\ R:\quad & ct' = 2\,(2 - 0.866\times 8) = -9.86, \qquad x' = 2\,(8 - 0.866\times 2) = 12.5 . \end{aligned} $$ 棒の系では、出口の扉が閉まる事象 $R$ のほうが入口の事象 $F$ より $13.9$ だけ**先**に起こっています。これは の $\gamma \beta L_0 = 2 \times 0.866 \times 8 = 13.9$ と一致します。 つまり棒の系から見た出来事はこうです。まず遠くで出口の扉が閉じ、また開く（このとき棒の先端はまだ $x' = 10$ にあり、$x' = 12.5$ の扉には届いていません）。ずっと後になって、棒の後端を通り過ぎた入口の扉が閉じる。棒が両方の扉に挟まれて納屋に閉じ込められる瞬間は一度もありません。 どちらの系でも「扉が閉まるとき、その扉の位置に棒はなかった」という局所的事実は同じです。食い違っているのは「2 枚の扉が同時に閉まっていたか」という、そもそも系に依存する問いへの答えだけでした。 ## 8. 演習 (1) $\beta = 0.6$ のときのローレンツ因子 $\gamma$ を求めてください。 (2) 地球から見て $0.6c$ で飛ぶ宇宙船の中で、船内時計が 1 年進みました。地球では何年経ったでしょうか。 (3) $\gamma = 2$ となる速さ $\beta$ を求めてください。 (1) $\gamma = 1/\sqrt{1 - 0.6^2} = 1/\sqrt{1 - 0.36} = 1/\sqrt{0.64} = 1/0.8 = 1.25$ です。 (2) 船内時計が刻む 1 年は、同じ場所（船内）で起こる 2 事象の間の時間なので の固有時です。 より地球で測った経過時間は $\Delta t = \gamma\,\Delta\tau = 1.25 \times 1 = 1.25$ 年です。 (3) $\gamma = 1/\sqrt{1-\beta^2} = 2$ より $\sqrt{1-\beta^2} = 1/2$、両辺を 2 乗して $1 - \beta^2 = 1/4$、よって $\beta^2 = 3/4$、$\beta = \sqrt{3}/2 \approx 0.866$ です。 高度 $10\ \mathrm{km}$ でミューオンが生成され、$\beta = 0.999$ で真下に飛んだとします。ミューオンの固有寿命は $2.2\ \mu\mathrm{s}$、$c = 3.0\times10^{8}\ \mathrm{m/s}$ とします。 (1) 地上系で測ったこのミューオンの平均寿命と、その間に進む距離を求めてください。 (2) ミューオンに静止した系で、高度 $10\ \mathrm{km}$ の大気層の厚みはいくらに見えますか。またその厚みが通り過ぎるのに何秒かかりますか。 (3) (1) と (2) が「地上に届くか」について同じ結論を与えることを確認してください。 まず $\gamma$ を求めます。$\beta^2 = 0.999^2 = 0.998001$ なので $$ \gamma = \frac{1}{\sqrt{1 - 0.998001}} = \frac{1}{\sqrt{0.001999}} = \frac{1}{0.04471} = 22.4 . $$ (1) $2.2\ \mu\mathrm{s}$ は固有時なので、 より地上系での平均寿命は $22.4 \times 2.2 = 49.2\ \mu\mathrm{s}$ です。その間に進む距離は $$ 0.999 \times (3.0\times10^{8}) \times (49.2\times10^{-6}) = (2.997\times10^{8})\times(4.92\times10^{-5}) \approx 1.47\times10^{4}\ \mathrm{m} = 14.7\ \mathrm{km}. $$ (2) 大気層の厚み $10\ \mathrm{km}$ は地上系で測った固有長なので、 よりミューオンの系では $$ \frac{10\ \mathrm{km}}{22.4} = 0.446\ \mathrm{km} = 446\ \mathrm{m} $$ に縮みます。これが速さ $0.999c$ で通り過ぎるのにかかる時間は $$ \frac{446}{2.997\times10^{8}} = 1.49\times10^{-6}\ \mathrm{s} = 1.49\ \mu\mathrm{s}. $$ (3) (1) では「平均寿命の間に $14.7\ \mathrm{km}$ 進めるので、$10\ \mathrm{km}$ を通過するのに寿命の $10/14.7 = 0.68$ 倍しかかからない」。(2) では「$446\ \mathrm{m}$ を横切るのに $1.49\ \mu\mathrm{s}$ しかかからず、これは寿命 $2.2\ \mu\mathrm{s}$ の $0.68$ 倍である」。比が一致しました。生き残る割合はどちらの計算でも $e^{-0.68} = 0.51$、つまり約半数です。観測にかかる量（何個届くか）は系によらない、という と同じ構造です。 固有長 $300\ \mathrm{m}$ の宇宙船が地上に対して $v = 0.6c$ で飛んでいます。船内では船首と船尾の時計がきちんと合わせてあります（$\gamma = 1.25$、$c = 3.0\times10^{8}\ \mathrm{m/s}$）。 (1) 「船尾の時計が 0 を指す」事象と「船首の時計が 0 を指す」事象は、地上系ではどれだけ時刻がずれていますか。 (2) 地上系のある一瞬に 2 つの時計を写真に撮ったら、どちらがどれだけ遅れて写りますか。 (3) (1) と (2) の答えが異なる理由を説明してください。 船内系を $S'$、地上系を $S$ とし、船尾を $x' = 0$、船首を $x' = 300$ とします。 (1) 2 事象は $S'$ で同時刻（どちらも $t' = 0$）で $\Delta x' = 300\ \mathrm{m}$ です。 より $$ \Delta t = \frac{\gamma v \Delta x'}{c^2} = \frac{1.25 \times 0.6c \times 300}{c^2} = \frac{1.25 \times 0.6 \times 300}{3.0\times10^{8}} = \frac{225}{3.0\times10^{8}} = 7.5\times10^{-7}\ \mathrm{s} $$ すなわち船首の事象のほうが $750\ \mathrm{ns}$ 遅く起こります。 (2) 逆向きの問いです。船首の時計の読みを $t'_{+}$、船尾の時計の読みを $t'_{-}$、$S$ でのそれぞれの位置を $x_{+}$、$x_{-}$ と書きます。 の $t' = \gamma(t - vx/c^2)$ を、$S$ の時刻 $t$ を固定して 2 つの時計に適用し、差を取ると $t$ の項が消えて $$ t'_{+} - t'_{-} = -\frac{\gamma v}{c^2}\,(x_{+} - x_{-}) $$ となります。$S$ で同時刻に測った船首と船尾の距離 $x_{+} - x_{-}$ は、 より $300/1.25 = 240\ \mathrm{m}$ です。よって $$ t'_{+} - t'_{-} = -\frac{1.25 \times 0.6c \times 240}{c^2} = -\frac{180}{3.0\times10^{8}} = -6.0\times10^{-7}\ \mathrm{s}. $$ 船首の時計は船尾の時計より $600\ \mathrm{ns}$ 遅れて写ります。 (3) 2 つの問いは違うことを尋ねています。(1) は「$S'$ で同時刻な 2 事象の $S$ での時刻差」、(2) は「$S$ で同時刻に見た 2 つの時計の読みの差」です。両者は $\gamma$ 倍だけ違い、実際 $750/1.25 = 600$ です。整合性を確かめると、$S$ の時刻 $t = 0$ に船尾の時計が 0 を指し、$t = 750\ \mathrm{ns}$ に船首の時計が 0 を指します。その $t = 750\ \mathrm{ns}$ の瞬間、船尾の時計は より $750/1.25 = 600\ \mathrm{ns}$ を指しています。したがって船首（0 ns）は船尾（600 ns）より $600\ \mathrm{ns}$ 遅れており、(2) と一致します。 双子の一方が $\beta = 0.8$（$\gamma = 5/3$）の宇宙船で、地球から $4$ 光年離れた星へ行き、すぐ折り返して戻ってきました。もう一方は地球に留まります。 (1) 地球系で往復にかかる時間と、宇宙船内で経過する時間を求めてください。 (2) 宇宙船の系では地球の時計が遅れるはずなのに、帰還時には地球の双子のほうが年を取っています。往路の宇宙船系で、折り返し直前に地球の時計は何年を指していますか。復路の宇宙船系で、折り返し直後には何年を指していますか。 (3) (2) の結果を使って、地球の双子が余分に年を取る理由を説明してください。 (1) 地球系では片道 $4$ 光年を $0.8c$ で進むので $4/0.8 = 5$ 年、往復で $10$ 年です。宇宙船内の時計が刻むのは固有時なので、 より $10/\gamma = 10 \times 0.6 = 6$ 年です。宇宙船の系で見ても、距離が により $4 \times 0.6 = 2.4$ 光年に縮み、片道 $2.4/0.8 = 3$ 年、往復 $6$ 年で一致します。 (2) 往路の宇宙船系では、宇宙船の固有時 3 年が経過した瞬間（折り返し直前）に、地球の時計は より $3/\gamma = 3 \times 0.6 = 1.8$ 年を指しています。復路の宇宙船系でも同じ議論から、帰還までの 3 年間に地球の時計は $1.8$ 年しか進みません。帰還時に地球の時計が $10$ 年を指すのだから、折り返し直後の復路系では地球の時計は $10 - 1.8 = 8.2$ 年を指していることになります。 (3) 折り返しの前後で「地球の時計が何年を指しているか」が $1.8$ 年から $8.2$ 年へ、$6.4$ 年だけ飛びました。時計が壊れたのではありません。宇宙船が慣性系を乗り換えたために、宇宙船にとっての**同時刻線が振れた**のです。 で確かめます。以下、距離を光年、時間を年で測り $c = 1$ とします。折り返しの事象を $T$、地球の時計が $1.8$ 年を指す事象を $A$、$8.2$ 年を指す事象を $B$ とします。 - $A$ と $T$ は往路の宇宙船系で同時刻です。この系での 2 事象の距離は、縮んだ距離 $\Delta x' = 2.4$ 光年です。 より、地球系での時刻差は $\gamma v \Delta x'/c^2 = (5/3)\times 0.8 \times 2.4 = 3.2$ 年。実際 $5 - 1.8 = 3.2$ です。 - $B$ と $T$ は復路の宇宙船系で同時刻です。速度の向きが逆なのでずれも逆向きになり、地球系での時刻差はやはり $3.2$ 年。実際 $8.2 - 5 = 3.2$ です。 合わせて $3.2 + 3.2 = 6.4$ 年、ちょうど飛んだぶんに一致します。 地球の双子は最初から最後まで 1 つの慣性系にいますが、旅する双子は途中で慣性系を乗り換えます。 は「1 つの慣性系から見て」という前提つきの主張なので、系を乗り換える側にそのまま適用することはできません。この非対称性が答えの非対称性を生みます。宇宙船の側から見た地球の経過時間の内訳は $1.8 + 6.4 + 1.8 = 10$ 年、宇宙船自身は $3 + 3 = 6$ 年で、地球系での計算と一致します。 ## 参考文献 - A. Einstein, "Zur Elektrodynamik bewegter Körper", *Annalen der Physik* 17 (1905), 891–921. 特殊相対性理論の原論文。第 1 部（運動学の部）で同時刻の定義からローレンツ変換までが導かれている。 - E. F. Taylor and J. A. Wheeler, *Spacetime Physics*, 2nd ed., W. H. Freeman, 1992 — 第 1 章〜第 3 章。世界間隔を出発点に据える構成が本記事の §7 に対応する。 - 佐藤勝彦『相対性理論』岩波基礎物理シリーズ 9、岩波書店、1996 — 特殊相対論の章。 - R. Resnick, *Introduction to Special Relativity*, Wiley, 1968 — 第 2 章（相対論的運動学）。同時刻の相対性と各種パラドックスの扱いが丁寧。 - B. Rossi and D. B. Hall, "Variation of the Rate of Decay of Mesotrons with Momentum", *Physical Review* 59 (1941), 223. 時間の遅れの初期の定量的検証。 - D. H. Frisch and J. H. Smith, "Measurement of the Relativistic Time Dilation Using μ-Mesons", *American Journal of Physics* 31 (1963), 342. ワシントン山と海面高度でのミューオン計数による検証。 ## Appendix: ラピディティ（速度パラメータ） ローレンツ変換は、双曲線関数を使うと回転とそっくりの形に書けます。$\beta = \tanh\theta$ で定義される $\theta$ を**ラピディティ**（rapidity）と呼びます。$-1 < \beta < 1$ と $-\infty < \theta < \infty$ が 1 対 1 に対応します。 $\tanh\theta = \beta$ のとき $$ \cosh\theta = \frac{1}{\sqrt{1 - \tanh^2\theta}} = \frac{1}{\sqrt{1-\beta^2}} = \gamma, \qquad \sinh\theta = \cosh\theta \cdot \tanh\theta = \gamma\beta $$ なので、 は $$ \begin{pmatrix} ct' \\ x' \end{pmatrix} = \begin{pmatrix} \cosh\theta & -\sinh\theta \\ -\sinh\theta & \cosh\theta \end{pmatrix} \begin{pmatrix} ct \\ x \end{pmatrix} $$ と書けます。通常の回転行列の $\cos$、$\sin$ が $\cosh$、$\sinh$ に置き換わった形で、これを**双曲回転**と呼びます。$\cosh^2\theta - \sinh^2\theta = 1$ が、この変換で $c^2t^2 - x^2$ が保たれること（）を保証します。 この書き方の利点は、 が単なる足し算になることです。双曲線関数の加法定理 $$ \tanh(\theta_1 + \theta_2) = \frac{\tanh\theta_1 + \tanh\theta_2}{1 + \tanh\theta_1 \tanh\theta_2} $$ は、$\beta_i = \tanh\theta_i$ と置けば速度の合成則そのものです。つまり**ラピディティは加法的**で、2 回のブーストの合成はラピディティの和に対応します。速度が $c$ を超えないのは、有限の $\theta$ をいくら足しても $\tanh\theta$ が $1$ に達しないからです。この見方は、加速度が一定の運動（等加速度運動の相対論版）を扱うときや、[一般相対性理論への招待（等価原理）](/physics/relativity/equivalence-principle) や [曲がった時空と重力（GPS の仕組み）](/physics/relativity/curved-spacetime) で局所慣性系（）を貼り合わせるときに役立ちます。