長さの収縮

長さの収縮（ながさのしゅうしゅく、length contraction) は、運動する物体の長さが、自身の静止系で測定される長さである固有長(proper length)よりも短く測定される現象。ローレンツ収縮やローレンツ・フィッツジェラルド収縮（ヘンドリック・ローレンツとジョージ・フィッツジェラルドにちなむ）とも呼ばれる。物体が進んでいる方向のみに生じる。普通の物体ではこの効果は日常的な速度では無視でき、物体が観察者に対して光速に近づくときのみ重要となる。
歴史.
長さの収縮は、マイケルソン・モーリーの実験の否定的な結果を説明し、静止エーテルの仮説を救うためにジョージ・フィッツジェラルド(1889)とヘンドリック・ローレンツ(1892)により仮定された（ローレンツ・フィッツジェラルド収縮仮説）。フィッツジェラルドとローレンツの両者は、運動する電荷がつくる電場が変形するという事実に言及したが（オリヴァー・ヘヴィサイドにちなむヘヴィサイド楕円体、ヘヴィサイドは1888年に電磁理論からこれを導出した）、当時分子間力が電磁力と同じふるまい方をすると推測するに十分な理由がなかったため、長さの収縮はアドホックな仮説と見なされた。1897年、ジョゼフ・ラーモアが全ての力が電磁気的な起源を持つと考えられるモデルを開発し、長さの収縮はこのモデルの直接的な結果として現れた。しかしアンリ・ポアンカレ(1905)により電磁気力だけでは電子の安定性を説明できないことが示された。そのため彼は別のアドホックな仮説を導入しなければならなかった。それは非電気的結合力（ポアンカレ応力）であり、これを用いてポアンカレは電子の安定性を確実にし、長さの収縮を動力学的に説明し、それにより静止エーテルに対する運動を覆い隠した。
最終的には、アルベルト・アインシュタイン(1905)が、仮想的なエーテルの中を動く運動を用いずに、特殊相対性理論を使うことでこの収縮を説明し、我々の空間、時間、同時性の概念を変え、収縮仮説からアドホックな特徴を初めて完全に取り除いた。アインシュタインの考えは、自身の4次元時空の概念を導入することで全ての相対論的効果の幾何学的解釈を論証したヘルマン・ミンコフスキーによりさらに洗練された。
相対性理論の基礎.
初めに静止している物体と動いている物体の長さを測定する方法を慎重に検討する必要がある。ここで「物体」とは常に相互に静止している、すなわち同じ慣性系で静止している端点を持つ距離を意味するだけである。観測者（もしくは測定器）と観測される物体との間の相対速度がゼロであれば、物体の固有長formula_1は測定棒を直接重ねることで簡単に決定することができる。しかし、相対速度が0より大きければ次のようにする。
観測者はポアンカレ・アインシュタイン同期に従い光信号を交換するか(a)、「スロークロック輸送」（1つの時計がすなわち1つの時計が消える輸送速度の限界で時計の列に沿って輸送される）(b)のどちらかにより同期された時計の列をinstallする。同期処理が終了すると、物体は時計の列に沿って移動され、全ての時計が物体の左端もしくは右端が通過した正確な時間を記憶する。その後、観測者は物体の左端が通過した時刻を記憶している時計Aと、物体の右端が「同時に」通過した時刻を記憶する時計Bの位置を見るだけで良い。距離ABが運動した物体の長さformula_2に等しいことは明らかである。この方法を用いて運動している物体の長さを測定するためには同時性の定義が重要である。
別の方法は固有時間formula_3を示す時計（棒の静止系の時計により測定される時間formula_4内に端点から端点へ移動する）を使うことである。棒の長さは移動時間に速度を掛け算することで計算することができ、それにより棒の静止系ではformula_5、時計の静止系ではformula_6となる。
ニュートン力学では、同時性と時間の長さは絶対的なものであるため、どちらの方法でもformula_2とformula_1が等しいことが得られる。しかし、相対性理論では、同時性の相対性と時間の遅れに関連するすべての慣性系における光速不変により、この等価性が壊れる。第1の方法では1つの系の観測者は物体の端点を同時に測定したというが、他の全ての慣性系の観測者は物体の端点は同時に測定されていないというであろう。第2の方法では、時間formula_4とformula_3は時間の遅れにより等しくなく、結果として長さも異なる。
全ての慣性系での測定値の間の偏差はローレンツ変換と時間の遅れの式により与えられる（導出参照）。固有長は変化せず、常に物体の最大の長さを示し、別の慣性系で測定された同じ物体の長さは固有長よりも短くなることが分かる。この収縮は運動の線に沿ってのみ起こり、次の関係式で表すことができる。
ここで
元の式のローレンツ因子を置き換えると、次の式になる。
この式ではLとL0の両方は物体の運動の線に平行に測定される。相対運動中の観測者の場合、物体の長さは、物体の両端の同時に測定された距離を引き算することにより測定される。より一般的な変換はローレンツ変換参照。光速に非常に近い速度で運動する物体を静止状態で観測する観測者は、進行方向の物体の長さを非常にゼロに近い長さとして観測する。
速度1340万 m/s (3000万mph, 0.0447)では収縮した長さは静止時の99.9%であり、速度4230万 m/s (9500万mph, 0.141)では長さは99%である。速度の大きさが光速に近づくにつれてこの効果は顕著になる。
対称性.
相対性理論の原理（これによると自然法則はすべての慣性座標系において同じ形を仮定しなければならない）は、長さの収縮が対照的であることを要求する。棒が慣性系Sで静止している場合、その長さはS'で収縮するが、棒がS'で静止している場合、S'で固有長を持ち、長さはSで収縮する。ローレンツ変換が幾何学的に4次元時空における回転に対応しているため、対称ミンコフスキーダイアグラム（Loedelダイアグラム）を用いて鮮やかに説明することができる。
磁力.
磁力は、電子が原子核に対して相対的に運動しているときの相対論的収縮により生じる。通電線の横を運動する電荷にかかる磁力は、電子と陽子の相対論的運動の結果である。
1820年、アンドレ＝マリ・アンペールは同じ方向の電流が流れる平行電線が互いに引き合うことを示した。電子にとっては、電線がわずかに収縮し反対側の電線の陽子が局所的に「密になる」。反対側の電線の電子も同じように運動しているので、（同じくらい）収縮しない。この結果、電子と陽子の間に見かけ上の局所的な不均衡が生じる。一方の電線で運動している電子は、もう一方の電線の余剰な電子に引き寄せられる。逆も考えられる。静止した電子の基準系に対して、電子は運動し収縮しており、同じ不均衡が生じる。電子のドリフト速度は時速1メートルのオーダーと比較的遅いが、電子と陽子の間の力は非常に大きいため、非常に遅い速度でも相対論的収縮が大きな影響を与える。
この効果は電流のない磁性粒子にも電流を電子スピンに置き換えて適用される。
実験的検証.
観測される物体と共に運動している観測者は、観測者が自身と物体を相対性理論の原理に従い同じ慣性系で静止していると判断する（Trouton–Rankine実験で実証されたように）ため、物体の収縮を測定することはできない。よって長さの収縮は物体の静止系では測定することはできず、観測される物体が運動している系でしか測定できない。さらに、このような共に運動しない系においても長さの収縮を直接実験的に確認することは難しい。なぜなら現在の技術では大部分の物体を相対論的速度に加速することはできないからである。さらに要求される速度で運動する物体は原子粒子だけであるが、その空間的広がりが小さすぎるため収縮を直接測定することができない。
しかし、共に運動しない系で間接的に確認されている。
長さの収縮の実際.
1911年、Vladimir Varićakは、ローレンツによると客観的な方法で長さの収縮を見るが、アインシュタインによると、「われわれの時計制御と長さの測定による生じる唯一の明白な主観的な現象」であると主張した。アインシュタインは反証を発表した。
また、アインシュタインはその論文で長さの収縮は単に時計の制御と長さの測定が行われる方法に関する任意の定義の産物ではないと主張した。次のような思考実験を提示した。同じ固有長を持つ2本の棒の端点をA'B'とA"B"とし、それぞれx'とx"と測定する。この2本を静止しているとみなされるx*軸に沿って、これに対して同じ速度で反対方向に動かす。すると、端点A'A"は点A*で重なり、B'B"は点B*で重なる。アインシュタインはA*B*の長さがA'B'やA"B"よりも短いことを指摘したが、これはその軸に対して静止した棒を1本持ってくることにより証明することができる。
パラドックス.
収縮の式を表面的に適用することにより、いくつかのパラドックスが生じる可能性がある。例としてはやがある。しかし、これらのパラドックスは同時性の相対性を正しく適用することで簡単に解決することができる。他の有名なパラドックスには、があり、このパラドックスは剛体の概念が相対性理論と両立できないことを示し（ボルン剛性のように条件が制限される）、ともに回転している観測者にとって幾何学が実際に非ユークリッド的であることを示した。
視覚効果.
長さの収縮は、座標系にしたがい同時に位置を測定することである。これは高速で動く物体の写真を撮ることができれば、物体が運動方向に収縮していることをその写真により示すことができることを示唆しているかもしれない。しかし、このような視覚効果は写真が遠くから撮影されるため、測定値と全く異なり、長さの収縮は物体の端点の正確な位置でのみ直接測定できる。ロジャー・ペンローズやJames Terrellらにより運動する物体は普通、写真においては長さが収縮して見えないことが示された。この結果はPhysics Todayのarticleでヴィクター・ワイスコフにより一般化された。例えば、小さな角直径の場合、運動する球体は円形のまま回転している。この種の視覚的な回転効果はPenrose-Terrell回転と呼ばれる。
導出.
ローレンツ変換を用いる場合.
長さの収縮はローレンツ変換からいくつかの方法により導出できる。
運動する長さが分かっている場合.
慣性基準系Sにおいて、この系で運動している物体の端点をformula_15とformula_16とする。ここで長さformula_2を上の決まりに従いformula_18の端点の同時位置を決定することで測定した。S'におけるこの物体の固有長はローレンツ変換を用いて計算する。時間座標をSからS'へ変換すると異なる時間となるが、S'では物体は静止しており、端点が測定された時間は関係ないため問題はない。したがって、空間座標の変換で十分であり、次式
が得られる。formula_18であるから、formula_21かつformula_22とするとS'における固有長は
で与えられる。これに対してSで測定した長さは
で与えられるように収縮する。相対論の原理によるとSで静止している物体はS'では収縮しなくてはならない。上式の符号とプライムを対称的に交換することで次のようになる。
よってS'で測定される収縮した長さは
と与えられる。
固有長が分かっている場合.
逆に、物体がSで静止し固有長が分かっている場合、物体の端点での測定の同時性は、物体が常にそこでの位置を変化させるため、別の系S'で考慮されなければならない。よって空間座標と時間座標の両方が変換されなければならない。
formula_28およびformula_29であり、この結果非同時の差異が生じる。
両方の端点の同時位置を得るには、2番目の端点がS'に対するSの速度formula_31をformula_32で進めなければならない。よって長さformula_33を得るためには、量 formula_34 をformula_35に加える必要がある。
よってS'における運動する長さは収縮している。同様に、前記の計算ではS'において静止している物体に対して対照的な結果が得られる。
時間の遅れを用いる場合.
長さの収縮は、単一の「動く」時計（固有時間formula_3を示す）の速さは2つの同期した「止まっている」時計（formula_4を示す）に対して低くなることにより、時間の遅れからも導出できる。時間の遅れは実験的に複数の時間により確認されており、関係式
で表される。formula_41において静止している固定長formula_1の棒とformula_43において静止している時計が速度formula_44で互いに沿って移動していると仮定する。相対性の原理によると相対速度の大きさはどちらの基準系でも同じであるため、棒の端点間の時計のそれぞれの移動時間は、formula_41でformula_46およびformula_43でformula_48と与えられる。よって、formula_49およびformula_50となる。時間の遅れの式を挿入すると、これらの長さの比は
となる。したがって、formula_43で測定される長さは
と与えられる。そのため、棒を横切る時計の移動時間はformula_41のものの方がformula_43より長く（formula_41における時間の遅れ）、棒の長さもformula_41においての長さの方がformula_43においての長さより長くなる（formula_43における長さの収縮）。同様に、時計はformula_41で静止しており、棒がformula_43にある場合、上記の手順では
と与えられる。
幾何学的考察.
幾何学的な考察を加えると、長さの収縮は三角法の現象とみなすことができ、E3における回転の前後に直方体を通る平行な切片に類似している（右の左半分の図参照）。これはE1,2の直方体を押し上げるユークリッド的な類似である。しかし、後者の場合は押し上げられた直方体を動く板の世界スラブ("world slab")と解釈することができる。
画像: 左: 3次元ユークリッド空間E3で回転した直方体。断面は回転前よりも回転方向に長くなっている。右: ミンコフスキー時空（1つの空間次元が隠された）E1,2にある動く薄板の世界スラブで、押し上げられた直方体。押し上げられた方向の断面がその前よりも薄くなっている。いずれの場合も横方向は影響を受けず、直方体のそれぞれの隅で重なる3つの平面は相互に直交している（右はE1,2の意味で、左はE3の意味で）。
特殊相対性理論では、ポアンカレ変換はアフィン変換の1つであり、慣性運動の代わりの状態（および原点の選び方の違い）に対応するミンコフスキー時空上の代わりのデカルト座標図の間の変換として特徴づけられる。ローレンツ変換は線形変換である（原点を維持する）ポアンカレ変換である。ローレンツ変換は、ミンコフスキー幾何学では、ユークリッド幾何学で回転がする役割と同じ役割をする（ローレンツ群は時空の自己等長の等方群を形成する）。実際、特殊相対性理論は以下の表で示されるように、主にミンコフスキー時空の一種の非ユークリッド三角法を勉強することに帰着する。