長さの収縮のソースを表示

'''長さの収縮'''（ながさのしゅうしゅく、length contraction) は、運動する物体の長さが、自身の静止系で測定される長さである[[固有長]](proper length)よりも短く測定される現象<ref name=Dalarsson>{{cite book |title=Tensors, Relativity, and Cosmology |edition=2nd |first1=Mirjana |last1=Dalarsson |first2=Nils |last2=Dalarsson |publisher=Academic Press |year=2015 |isbn=978-0-12-803401-9 |page=106–108 |url=https://books.google.com/books?id=KZOZBgAAQBAJ}} [https://books.google.com/books?id=KZOZBgAAQBAJ&pg=PA106 Extract of page 106]</ref>。'''ローレンツ収縮'''や'''ローレンツ・フィッツジェラルド収縮'''（[[ヘンドリック・ローレンツ]]と[[ジョージ・フィッツジェラルド]]にちなむ）とも呼ばれる。物体が進んでいる方向のみに生じる。普通の物体ではこの効果は日常的な速度では無視でき、物体が観察者に対して[[光速]]に近づくときのみ重要となる。

==歴史==
{{Main|{{仮リンク|特殊相対性理論の歴史|en|History of special relativity}}}}
長さの収縮は、[[マイケルソン・モーリーの実験]]の否定的な結果を説明し、静止エーテルの仮説を救うために[[ジョージ・フィッツジェラルド]](1889)と[[ヘンドリック・ローレンツ]](1892)により仮定された（ローレンツ・フィッツジェラルド収縮仮説）<ref>{{Citation|author=FitzGerald, George Francis|year=1889|title=The Ether and the Earth's Atmosphere|journal=Science|volume=13|pages=390|doi=10.1126/science.ns-13.328.390|pmid=17819387|issue=328|bibcode = 1889Sci....13..390F |title-link=s:The Ether and the Earth's Atmosphere|url=https://zenodo.org/record/1448315}}</ref><ref>{{Citation|last=Lorentz|first=Hendrik Antoon|year=1892|title=The Relative Motion of the Earth and the Aether|journal=Zittingsverlag Akad. V. Wet.|volume=1|pages=74–79|title-link=s:Translation:The Relative Motion of the Earth and the Aether}}</ref>。フィッツジェラルドとローレンツの両者は、運動する電荷がつくる電場が変形するという事実に言及したが（[[オリヴァー・ヘヴィサイド]]にちなむヘヴィサイド楕円体、ヘヴィサイドは1888年に電磁理論からこれを導出した）、当時分子間力が電磁力と同じふるまい方をすると推測するに十分な理由がなかったため、長さの収縮は[[アドホックな仮説]]と見なされた。1897年、[[ジョゼフ・ラーモア]]が全ての力が電磁気的な起源を持つと考えられるモデルを開発し、長さの収縮はこのモデルの直接的な結果として現れた。しかし[[アンリ・ポアンカレ]](1905)により電磁気力だけでは電子の安定性を説明できないことが示された。そのため彼は別のアドホックな仮説を導入しなければならなかった。それは非電気的結合力（[[ポアンカレ応力]]）であり、これを用いてポアンカレは電子の安定性を確実にし、長さの収縮を動力学的に説明し、それにより静止エーテルに対する運動を覆い隠した<ref name=pais>{{Citation
|author=Pais, Abraham
|authorlink=Abraham Pais
|year=1982
|title= Subtle is the Lord: The Science and the Life of Albert Einstein
|location= New York
|publisher=Oxford University Press
|isbn=0-19-520438-7}}</ref>。

最終的には、[[アルベルト・アインシュタイン]](1905)が、仮想的なエーテルの中を動く運動を用いずに、特殊相対性理論を使うことでこの収縮を説明し、我々の空間、時間、同時性の概念を変え、収縮仮説からアドホックな特徴を初めて<ref name=pais />完全に取り除いた<ref>{{Citation
|doi=10.1002/andp.19053221004
|author=Einstein, Albert
|year=1905a
|title=Zur Elektrodynamik bewegter Körper
|journal=Annalen der Physik
|volume=322
|issue=10
|pages=891–921|bibcode = 1905AnP...322..891E
|url=http://www.physik.uni-augsburg.de/annalen/history/einstein-papers/1905_17_891-921.pdf}}. See also: [http://www.fourmilab.ch/etexts/einstein/specrel/ English translation].</ref>。アインシュタインの考えは、自身の4次元[[時空]]の概念を導入することで全ての相対論的効果の幾何学的解釈を論証した[[ヘルマン・ミンコフスキー]]によりさらに洗練された<ref>{{Citation|author=Minkowski, Hermann|year=1909|title=Raum und Zeit|journal=Physikalische Zeitschrift|volume=10|pages=75–88|title-link=s:de:Raum und Zeit (Minkowski)}}
:*Various English translations on Wikisource: [[s:Space and Time|Space and Time]]</ref>。

==相対性理論の基礎==
[[File:Observer in special relativity.svg|thumb|特殊相対性理論においては、観測者は同期する時計の無限格子造りに対して事象を測定する。]]

初めに静止している物体と動いている物体の長さを測定する方法を慎重に検討する必要がある<ref name=born />。ここで「物体」とは常に相互に静止している、すなわち同じ[[慣性系]]で静止している端点を持つ距離を意味するだけである。観測者（もしくは測定器）と観測される物体との間の相対速度がゼロであれば、物体の固有長<math>L_0</math>は測定棒を直接重ねることで簡単に決定することができる。しかし、相対速度が0より大きければ次のようにする。

[[File:Lorentzkontraktion.svg|thumb|300px|right|長さの収縮: 3本の青の棒がSで静止し、3本の赤の棒がS'で静止している。AとDの左端がxの軸上で同じ位置に着いた瞬間、それぞれの棒の長さを比較する。SではAの左側とCの右側の同時位置はDとFのそれより離れているが、S'ではDの左側とFの右側の同時位置はAとCのそれより離れている。]]
観測者は[[ポアンカレ・アインシュタイン同期]]に従い光信号を交換するか(a)、「スロークロック輸送」（1つの時計がすなわち1つの時計が[[関数の零点|消える]]輸送速度の限界で時計の列に沿って輸送される）(b)のどちらかにより同期された時計の列をinstallする。同期処理が終了すると、物体は時計の列に沿って移動され、全ての時計が物体の左端もしくは右端が通過した正確な時間を記憶する。その後、観測者は物体の左端が通過した時刻を記憶している時計Aと、物体の右端が「同時に」通過した時刻を記憶する時計Bの位置を見るだけで良い。距離ABが運動した物体の長さ<math>L</math>に等しいことは明らかである<ref name=born />。この方法を用いて運動している物体の長さを測定するためには[[同時性]]の定義が重要である。

別の方法は[[固有時間]]<math>T_0</math>を示す時計（棒の静止系の時計により測定される時間<math>T</math>内に端点から端点へ移動する）を使うことである。棒の長さは移動時間に速度を掛け算することで計算することができ、それにより棒の静止系では<math>L_{0}=T\cdot v</math>、時計の静止系では<math>L=T_{0}\cdot v</math>となる<ref>{{cite book|author1=Edwin F. Taylor|author2=John Archibald Wheeler|title=Spacetime Physics: Introduction to Special Relativity|year=1992|publisher=W. H. Freeman|location=New York|isbn=0-7167-2327-1|url=https://archive.org/details/spacetimephysics00edwi_0}}</ref>。

ニュートン力学では、同時性と時間の長さは絶対的なものであるため、どちらの方法でも<math>L</math>と<math>L_0</math>が等しいことが得られる。しかし、相対性理論では、[[同時性の相対性]]と[[時間の遅れ]]に関連するすべての慣性系における光速不変により、この等価性が壊れる。第1の方法では1つの系の観測者は物体の端点を同時に測定したというが、他の全ての慣性系の観測者は物体の端点は同時に測定されていないというであろう。第2の方法では、時間<math>T</math>と<math>T_0</math>は時間の遅れにより等しくなく、結果として長さも異なる。

全ての慣性系での測定値の間の偏差は[[ローレンツ変換]]と時間の遅れの式により与えられる（[[#導出|導出]]参照）。固有長は変化せず、常に物体の最大の長さを示し、別の慣性系で測定された同じ物体の長さは固有長よりも短くなることが分かる。この収縮は運動の線に沿ってのみ起こり、次の関係式で表すことができる。
:<math>L=L_{0}/\gamma(v)</math>

ここで
:{{math|''L''}}は物体に対して相対的な運動をする観測者により観測される長さ
:{{math|''L''<sub>0</sub>}}は固有長（静止系での物体の長さ）
:{{math|''γ''(''v'')}}は<math>\gamma (v) \equiv \frac{1}{\sqrt{1-v^2/c^2}} \ </math>と定義される[[ローレンツ因子]]
:{{math|''v''}}は観測者と運動する物体の間の相対速度
:{{math|''c''}}は光速

元の式のローレンツ因子を置き換えると、次の式になる。
:<math>L =L_{0}\sqrt{1-v^{2}/c^{2}}</math>

この式ではLとL<sub>0</sub>の両方は物体の運動の線に平行に測定される。相対運動中の観測者の場合、物体の長さは、物体の両端の同時に測定された距離を引き算することにより測定される。より一般的な変換は[[ローレンツ変換]]参照。光速に非常に近い速度で運動する物体を静止状態で観測する観測者は、進行方向の物体の長さを非常にゼロに近い長さとして観測する。

速度1340万&nbsp;m/s (3000万mph, 0.0447{{math|''c''}})では収縮した長さは静止時の99.9%であり、速度4230万&nbsp;m/s (9500万mph, 0.141{{math|''c''}})では長さは99%である。速度の大きさが光速に近づくにつれてこの効果は顕著になる。

== 対称性 ==
相対性理論の原理（これによると自然法則はすべての慣性座標系において同じ形を仮定しなければならない）は、長さの収縮が対照的であることを要求する。棒が慣性系Sで静止している場合、その長さはS'で収縮するが、棒がS'で静止している場合、S'で固有長を持ち、長さはSで収縮する。ローレンツ変換が幾何学的に4次元[[時空]]における回転に対応しているため、対称[[ミンコフスキーダイアグラム]]（Loedelダイアグラム）を用いて鮮やかに説明することができる<ref>{{cite book |author=Albert Shadowitz  |title=Special relativity |url=https://archive.org/details/specialrelativit0000shad  |url-access=registration  |isbn=0-486-65743-4 |publisher=Courier Dover Publications |edition=Reprint of 1968 |year=1988|pages=[https://archive.org/details/specialrelativit0000shad/page/20 20–22]}}</ref><ref name=sartori>{{cite book |author=Leo Sartori |title=Understanding Relativity: a simplified approach to Einstein's theories |isbn=0-520-20029-2 |publisher=University of California Press |year=1996|pages=151ff}}</ref>。

== 磁力 ==
{{Main|{{仮リンク|相対論的電磁気学|en|Relativistic electromagnetism}}}}
磁力は、電子が原子核に対して相対的に運動しているときの相対論的収縮により生じる。通電線の横を運動する電荷にかかる磁力は、電子と陽子の相対論的運動の結果である<ref>{{cite book |title=he Feynman Lectures on Physics, Desktop Edition Volume II: The New Millennium Edition |edition=illustrated |first1=Richard P. |last1=Feynman |first2=Robert B. |last2=Leighton |first3=Matthew |last3=Sands |publisher=Basic Books |date=2013-01-01 |isbn=978-0-465-07998-8 |page=13–6 |url=https://books.google.com/books?id=uaQfAQAAQBAJ}} [https://books.google.com/books?id=uaQfAQAAQBAJ&pg=SA13-PA6 Extract of page 13-6]</ref><ref name=Landau>{{cite book |author=E M Lifshitz, L D Landau |title=The classical theory of ields |volume=Vol. 2 |series=[[Course of Theoretical Physics]] |edition=Fourth |publisher= Butterworth-Heinemann |location=Oxford UK |year=1980 |isbn=0-7506-2768-9 |url=http://worldcat.org/isbn/0750627689}}</ref>。

1820年、[[アンドレ＝マリ・アンペール]]は同じ方向の電流が流れる平行電線が互いに引き合うことを示した。電子にとっては、電線がわずかに収縮し反対側の電線の陽子が局所的に「密になる」。反対側の電線の電子も同じように運動しているので、（同じくらい）収縮しない。この結果、電子と陽子の間に見かけ上の局所的な不均衡が生じる。一方の電線で運動している電子は、もう一方の電線の余剰な電子に引き寄せられる。逆も考えられる。静止した電子の基準系に対して、電子は運動し収縮しており、同じ不均衡が生じる。電子の[[ドリフト速度]]は時速1メートルのオーダーと比較的遅いが、電子と陽子の間の力は非常に大きいため、非常に遅い速度でも相対論的収縮が大きな影響を与える。

この効果は電流のない磁性粒子にも電流を電子スピンに置き換えて適用される{{cn|date=December 2016}}。

==実験的検証==
{{See also|{{仮リンク|特殊相対性理論の試験|en|Tests of special relativity}}}}

観測される物体と共に運動している観測者は、観測者が自身と物体を相対性理論の原理に従い同じ慣性系で静止していると判断する（Trouton–Rankine実験で実証されたように）ため、物体の収縮を測定することはできない。よって長さの収縮は物体の静止系では測定することはできず、観測される物体が運動している系でしか測定できない。さらに、このような共に運動しない系においても長さの収縮を直接実験的に確認することは難しい。なぜなら現在の技術では大部分の物体を相対論的速度に加速することはできないからである。さらに要求される速度で運動する物体は原子粒子だけであるが、その空間的広がりが小さすぎるため収縮を直接測定することができない。

しかし、共に運動しない系で間接的に確認されている。
*有名な実験の否定的な結果であり、長さの収縮を導入する必要が出た[[マイケルソン・モーリーの実験]]（後にKennedy–Thorndike実験）。特殊相対性理論においては次のような説明になる。その静止系において干渉計は相対性原理にしたがい静止しているとみなすことができるため、光の伝播時間は全方向で同じである。干渉計が動いている系では横方向のビームは動かない系に対してより長い対角線の経路を通らなくてはならず、移動時間は長くなるが、縦方向のビームは順方向と逆方向でそれぞれ時間L/(c-v)とL/(c+v)をとるため、遅延する要因はさらに長くなる。それにより縦方向では否定的な実験結果に従い、両方の移動時間を等しくするために干渉計を収縮させることになる。こうすることで2つの経路での光速は一定となり、干渉計の垂直なアームに沿った往復伝播時間はその運動と向きに依存しない。
* 地球の基準系で測定した大気の厚さを考えると、[[ミュー粒子]]の寿命は非常に短いため光速であっても地表に到達することはできないはずであるが、到達している。地球の基準系からはミュー粒子の時間が[[時間の遅れ]]により遅くなることによってのみこれが可能になるが、ミュー粒子の系では大気が収縮して移動時間が短くなることでこの効果が説明される<ref name=sexl />。
*静止時には球形をしている重[[イオン (化学)|イオン]]は光速に近い速度で運動すると「パンケーキ」や平らな円板の形をしていると推測される。また、実際には粒子衝突から得られる結果は長さの収縮による核子密度の増加を考慮しなければ説明できない<ref>{{cite web|author=Brookhaven National Laboratory|url=http://www.bnl.gov/rhic/physics.asp|title=The Physics of RHIC|accessdate=2013-01-01}}</ref><ref>{{cite web|author=Manuel Calderon de la Barca Sanchez|url=http://nuclear.ucdavis.edu/~calderon/Research/physicsResearch.html|title=Relativistic heavy ion collisions|accessdate=2013-01-01}}</ref><ref>{{Cite journal|author=Hands, Simon|title=The phase diagram of QCD|year=2001|journal=Contemporary Physics|volume=42|issue=4|pages=209–225|doi=10.1080/00107510110063843|arxiv=physics/0105022|bibcode = 2001ConPh..42..209H }}</ref>。
* 大きな相対速度を持つ荷電粒子の[[イオン化]]の能力は予想より高い。相対論以前の物理学では、運動中のイオン化粒子が他の原子や分子の電子と相互作用できる時間が短くなるため、速い速度ではこの能力は下がるはずである。しかし、相対論においては予想より大きいイオン化の能力は、イオン化粒子が運動している系の[[クーロンの法則|クーロン場]]の長さが収縮し、運動線に対して垂直な方向の電場強度が増加することにより説明される<ref name=sexl>{{Citation|author1=Sexl, Roman  |author2=Schmidt, Herbert K.|title=Raum-Zeit-Relativität|year=1979|publisher=Vieweg|location=Braunschweig|isbn=3-528-17236-3}}</ref><ref>{{Citation|author=Williams, E. J.|title=The Loss of Energy by β -Particles and Its Distribution between Different Kinds of Collisions|year=1931|journal=Proceedings of the Royal Society of London. Series A|volume=130|issue=813|pages=328–346|doi=10.1098/rspa.1931.0008|bibcode = 1931RSPSA.130..328W }}</ref>。
* [[シンクロトロン]]や[[自由電子レーザー]]では、[[アンジュレータ]]に相対論的電子を注入することで[[シンクロトロン放射]]を発生させている。電子の固有の系では、アンジュレータが収縮し、放射周波数が増加する。さらに、実験室系で測定される周波数を知るには、[[相対論的ドップラー効果]]を適用する必要がある。そのため、長さの収縮と相対論的ドップラー効果の助けを借りてのみ、アンジュレータ放射の極めて短い波長を説明することができる<ref>{{cite web|author=DESY photon science|url=http://photon-science.desy.de/research/studentsteaching/primers/synchrotron_radiation/index_eng.html|title=What is SR, how is it generated and what are its properties?|accessdate=2013-01-01|url-status=dead|archiveurl=https://web.archive.org/web/20160603161837/http://photon-science.desy.de/research/studentsteaching/primers/synchrotron_radiation/index_eng.html|archivedate=2016-06-03}}</ref><ref>{{cite web|author=DESY photon science|url=http://flash.desy.de/sites2009/site_vuvfel/content/e395/e2188/FLASH-Broschrefrs_web.pdf|title=FLASH The Free-Electron Laser in Hamburg (PDF 7,8 MB)|accessdate=2013-01-01}}</ref>。

==長さの収縮の実際==
[[File:EinsteinContraction.svg|thumb|300px|アインシュタインが1911年に行った長さの収縮の[[思考実験]]のミンコフスキーダイアグラム。静止長<math>A'B'=A''B''=L_0</math>の2つの棒が0.6cで反対方向に移動している。結果として<math>A^\ast B^\ast <L_0</math>となる。]]
1911年、[[Vladimir Varićak]]は、ローレンツによると客観的な方法で長さの収縮を見るが、アインシュタインによると、「われわれの時計制御と長さの測定による生じる唯一の明白な主観的な現象」であると主張した<ref>[https://en.wikisource.org/wiki/Translation:On_Ehrenfest%27s_Paradox]</ref><ref>{{Citation | author= Miller, A.I. | year= 1981 | title= Albert Einstein's special theory of relativity. Emergence (1905) and early interpretation (1905–1911) | chapter= Varičak and Einstein | place= Reading | publisher= Addison–Wesley | pages= [https://archive.org/details/alberteinsteinss0000mill/page/249 249–253] | isbn= 0-201-04679-2 | chapter-url= https://archive.org/details/alberteinsteinss0000mill/page/249 }}</ref>。アインシュタインは反証を発表した。

{{Quote|text=この著者は物理的事実に関するローレンツの考えと私の考えの違いを不当に述べている。長さの収縮が本当に存在するかどうかという疑問は誤解を招く。ともに運動している観測者にとっては存在しない限り「実際に」存在しないが、ともに運動していない観測者による物理的手段により原理的に実証されるような方法では「実際に」存在する<ref name=einst1911>{{cite journal|author=Einstein, Albert|title=Zum Ehrenfestschen Paradoxon. Eine Bemerkung zu V. Variĉaks Aufsatz|journal=Physikalische Zeitschrift|volume=12|pages=509–510|year=1911}}; Original: Der Verfasser hat mit Unrecht einen Unterschied der ''Lorentz''schen Auffassung von der meinigen ''mit Bezug auf die physikalischen Tatsachen'' statuiert. Die Frage, ob die ''Lorentz''-Verkürzung ''wirklich'' besteht oder nicht, ist irreführend. Sie besteht nämlich nicht "wirklich", insofern sie für einen mitbewegten Beobachter nicht existiert; sie besteht aber "wirklich", d. h. in solcher Weise, daß sie prinzipiell durch physikalische Mittel nachgewiesen werden könnte, für einen nicht mitbewegten Beobachter.</ref>|sign=Albert Einstein, 1911}}

また、アインシュタインはその論文で長さの収縮は単に時計の制御と長さの測定が行われる方法に関する任意の定義の産物ではないと主張した。次のような思考実験を提示した。同じ固有長を持つ2本の棒の端点をA'B'とA"B"とし、それぞれx'とx"と測定する。この2本を静止しているとみなされるx*軸に沿って、これに対して同じ速度で反対方向に動かす。すると、端点A'A"は点A*で重なり、B'B"は点B*で重なる。アインシュタインはA*B*の長さがA'B'やA"B"よりも短いことを指摘したが、これはその軸に対して静止した棒を1本持ってくることにより証明することができる<ref name=einst1911 />。

==パラドックス==
収縮の式を表面的に適用することにより、いくつかのパラドックスが生じる可能性がある。例としては{{仮リンク|梯子のパラドックス|en|ladder paradox}}や{{仮リンク|ベルの宇宙船パラドックス|en|Bell's spaceship paradox}}がある。しかし、これらのパラドックスは同時性の相対性を正しく適用することで簡単に解決することができる。他の有名なパラドックスには、{{仮リンク|エーレンフェストのパラドックス|en|Ehrenfest paradox}}があり、このパラドックスは剛体の概念が相対性理論と両立できないことを示し（[[ボルン剛性]]のように条件が制限される）、ともに回転している観測者にとって幾何学が実際に[[非ユークリッド幾何学|非ユークリッド]]的であることを示した。

==視覚効果==
[[File:Lorentz contractie - mural Leiden, 2017.jpg|{{largethumb}}|ライデンの壁に描かれた式]]
長さの収縮は、座標系にしたがい同時に位置を測定することである。これは高速で動く物体の写真を撮ることができれば、物体が運動方向に収縮していることをその写真により示すことができることを示唆しているかもしれない。しかし、このような視覚効果は写真が遠くから撮影されるため、測定値と全く異なり、長さの収縮は物体の端点の正確な位置でのみ直接測定できる。[[ロジャー・ペンローズ]]やJames Terrellらにより運動する物体は普通、写真においては長さが収縮して見えないことが示された<ref>{{cite journal |author=Kraus, U. |year=2000 |title=Brightness and color of rapidly moving objects: The visual appearance of a large sphere revisited |journal=American Journal of Physics |volume=68 |issue=1 |pages=56–60 |doi=10.1119/1.19373|url = http://www.tempolimit-lichtgeschwindigkeit.de/sphere/sphere.pdf |bibcode = 2000AmJPh..68...56K }}</ref>。この結果はPhysics Todayのarticleで[[ヴィクター・ワイスコフ]]により一般化された<ref>{{Cite journal |doi = 10.1063/1.3057105|title = The visual appearance of rapidly moving objects|journal = Physics Today|volume = 13|issue = 9|pages = 24–27|year = 1960|last1 = Weisskopf|first1 = Victor F.|url = https://semanticscholar.org/paper/43697c6c0f27695068e4d017a1f0f9a6878a2bda}}</ref>。例えば、小さな角直径の場合、運動する球体は円形のまま回転している<ref>{{cite book|last=Penrose|first=Roger|title=The Road to Reality|year=2005|publisher=Vintage Books|location=London|isbn=978-0-09-944068-0|pages=430–431}}</ref>。この種の視覚的な回転効果はPenrose-Terrell回転と呼ばれる<ref>[https://math.ucr.edu/home/baez/physics/Relativity/SR/penrose.html Can You See the Lorentz-Fitzgerald Contraction?  Or: Penrose-Terrell Rotation]</ref>。

==導出==

=== ローレンツ変換を用いる場合 ===
長さの収縮はローレンツ変換からいくつかの方法により導出できる。

:<math>\begin{align}
x' & =\gamma\left(x-vt\right)\\
t' & =\gamma\left(t-vx/c^{2}\right)
\end{align}</math>

==== 運動する長さが分かっている場合 ====
慣性基準系Sにおいて、この系で運動している物体の端点を<math>x_{1}</math>と<math>x_{2}</math>とする。ここで長さ<math>L</math>を上の決まりに従い<math>t_{1}=t_{2}\,</math>の端点の同時位置を決定することで測定した。S'におけるこの物体の固有長はローレンツ変換を用いて計算する。時間座標をSからS'へ変換すると異なる時間となるが、S'では物体は静止しており、端点が測定された時間は関係ないため問題はない。したがって、空間座標の変換で十分であり、次式

:<math>x'_{1}=\gamma\left(x_{1}-vt_{1}\right)\quad\mathrm{and}\quad x'_{2}=\gamma\left(x_{2}-vt_{2}\right)</math>

が得られる<ref name=born>{{Citation|author=Born, Max|authorlink=マックス・ボルン|title=Einstein's Theory of Relativity|publisher=Dover Publications|year=1964|isbn=0-486-60769-0|url-access=registration|url=https://archive.org/details/einsteinstheoryo0000born}}</ref>。<math>t_{1}=t_{2}\,</math>であるから、<math>L=x_{2}-x_{1}\,</math>かつ<math>L_{0}^{'}=x_{2}^{'}-x_{1}^{'}</math>とするとS'における固有長は

:<math>L_{0}^{'}=L\cdot\gamma. \qquad \qquad \text{(1)}</math>

で与えられる。これに対してSで測定した長さは

:<math>L=L_{0}^{'}/\gamma. \qquad \qquad \text{(2)}</math>

で与えられるように収縮する。相対論の原理によるとSで静止している物体はS'では収縮しなくてはならない。上式の符号とプライムを対称的に交換することで次のようになる。

:<math>L_{0}=L'\cdot\gamma. \qquad \qquad \text{(3)}</math>

よってS'で測定される収縮した長さは

:<math>L'=L_{0}/\gamma.\qquad \qquad \text{(4)}</math>

と与えられる。
==== 固有長が分かっている場合 ====
逆に、物体がSで静止し固有長が分かっている場合、物体の端点での測定の同時性は、物体が常にそこでの位置を変化させるため、別の系S'で考慮されなければならない。よって空間座標と時間座標の両方が変換されなければならない<ref>{{Cite book |author=Bernard Schutz |title=A First Course in General Relativity |chapter=Lorentz contraction |publisher=Cambridge University Press |year=2009 |isbn=978-0521887052 |chapter-url={{Google books|plainurl=y|id=V1CGLi58W7wC|text=lorentz contraction|page=18}} |page=[https://archive.org/details/firstcourseingen00bern_0/page/18 18] |url=https://archive.org/details/firstcourseingen00bern_0/page/18 }}</ref>。

:<math>\begin{align}
x_{1}^{'} & =\gamma\left(x_{1}-vt_{1}\right) & \quad\mathrm{and}\quad &  & x_{2}^{'} & =\gamma\left(x_{2}-vt_{2}\right)\\
t_{1}^{'} & =\gamma\left(t_{1}-vx_{1}/c^{2}\right) & \quad\mathrm{and}\quad &  & t_{2}^{'} & =\gamma\left(t_{2}-vx_{2}/c^{2}\right)
\end{align}</math>

<math>t_{1}=t_{2}</math>および<math>L_{0}=x_{2}-x_{1}</math>であり、この結果非同時の差異が生じる。

:<math>\begin{align}
\Delta x' &\equiv x_2' - x_1' = \gamma L_{0}\\
\Delta t' &\equiv t_2' - t_1' = -\gamma vL_{0}/c^{2}
\end{align}</math>

両方の端点の同時位置を得るには、2番目の端点がS'に対するSの速度<math> -v </math>を<math> -\Delta t </math>で進めなければならない。よって長さ<math>L'</math>を得るためには、量 <math>(- v)\cdot(- \Delta t) </math> を<math> \Delta x' </math>に加える必要がある。

:<math>\begin{align}
L' & =\Delta x'+ v\Delta t'\\
 & =\gamma L_{0}-\gamma v^{2}L_{0}/c^{2}\\
 & =L_{0}/\gamma
\end{align}</math>

よってS'における運動する長さは収縮している。同様に、前記の計算ではS'において静止している物体に対して対照的な結果が得られる。

:<math>L=L^{'}_{0}/\gamma</math>

=== 時間の遅れを用いた導出 ===<!--This section is linked from [[Derivations of the Lorentz transformations]]-->

ローレンツ収縮は、基準となる慣性系に対して動いている時計（固有時間<math>T_0</math>を示す）の時間の進み方が、基準の慣性系で止まっている時計（<math>T</math>を示す）の時間の進み方より遅くなる、[[時間の遅れ]]からも導出できる<ref>{{Citation|author=[[David Halliday (physicist)|David Halliday]], [[Robert Resnick]], [[Jearl Walker]]|title = Fundamentals of Physics, Chapters 33-37|publisher=John Wiley & Son|year =2010|isbn=978-0470547946|pages=1032f }}</ref>。時間の遅れは、関係式

:<math>T=T_{0}\cdot\gamma</math>

で表される。

基準慣性系<math>S</math>において静止している固定長<math>L_0</math>の棒と、その棒の片端から片端までを棒に沿って速度<math>v</math>で移動する時計を考え、その動く時計が静止する慣性系を<math>S'</math>とする。相対性の原理によると相対速度の大きさはどちらの基準系でも同じであるため、棒の端点間を移動する時計の、それぞれ慣性系で見た移動時間は、<math>S</math>で<math>T=L_{0}/v</math>および<math>S'</math>で<math>T'_{0}=L'/v</math>と与えられる。よって、<math>L_{0}=Tv</math>および<math>L'=T'_{0}v</math>となる。時間の遅れの式を挿入すると、これらの長さの比は

:<math>\frac{L'}{L_{0}}=\frac{T'_{0}v}{Tv}=1/\gamma</math>.

となる。したがって、<math>S'</math>で測定される長さは

:<math>L'=L_{0}/\gamma</math>

と与えられる。そのため、棒を横切る時計の移動時間は、棒が静止した系<math>S</math>での方が、棒が動く系<math>S'</math>より長く（<math>S'</math>における時間の遅れ）、棒の長さは<math>S</math>での方が<math>S'</math>においての長さより長くなる（<math>S'</math>における長さの収縮）。逆に、時計は<math>S</math>で静止しており、棒が<math>S'</math>にある場合、上記と同様の手順で

:<math>L=L'_{0}/\gamma</math>

と与えられる。

=== 幾何学的考察 ===

[[File:Slabs.svg|thumb|250px|ユークリッドおよびミンコフスキー時空の直方体]]

幾何学的な考察を加えると、長さの収縮は三角法の現象とみなすことができ、'''E'''<sup>3</sup>における回転の前後に[[直方体]]を通る平行な切片に類似している（右の左半分の図参照）。これは'''E'''<sup>1,2</sup>の直方体を押し上げるユークリッド的な類似である。しかし、後者の場合は押し上げられた直方体を動く板の世界スラブ(''world slab'')と解釈することができる。

画像: 左: 3次元ユークリッド空間'''E'''<sup>3</sup>で回転した直方体。断面は回転前よりも回転方向に長くなっている。右: ミンコフスキー時空（1つの空間次元が隠された）'''E'''<sup>1,2</sup>にある動く薄板の世界スラブで、押し上げられた直方体。押し上げられた方向の断面がその前よりも薄くなっている。いずれの場合も横方向は影響を受けず、直方体のそれぞれの隅で重なる3つの平面は相互に直交している（右は'''E'''<sup>1,2</sup>の意味で、左は'''E'''<sup>3</sup>の意味で）。

特殊相対性理論では、[[ポアンカレ群|ポアンカレ変換]]は[[アフィン変換]]の1つであり、[[慣性系|慣性運動]]の代わりの状態（および[[原点 (数学)|原点]]の選び方の違い）に対応する[[ミンコフスキー時空]]上の代わりの[[デカルト座標]]図の間の変換として特徴づけられる。ローレンツ変換は[[線形変換]]である（原点を維持する）ポアンカレ変換である。ローレンツ変換は、ミンコフスキー幾何学では、ユークリッド幾何学で[[回転]]がする役割と同じ役割をする（[[ローレンツ群]]は時空の自己等長の等方群を形成する）。実際、特殊相対性理論は以下の表で示されるように、主にミンコフスキー時空の一種の非ユークリッド[[三角法]]を勉強することに帰着する。

{| class="wikitable" style="text-align:center"
|+'''3つの平面三角法'''
|-
! 三角法 
! 円 !! 放物線 !! 双曲線
|-
! クライン幾何学
| ユークリッド平面     || ガリレオ平面        || ミンコフスキー平面
|-
! 記号 
| '''E'''<sup>2</sup>  || '''E'''<sup>0,1</sup> || '''E'''<sup>1,1</sup>
|-
! 二次形式 
| 正定値 || 退化 || 非退化であるが非定義
|- 
! 等長群 
| '''E'''(2) ||  '''E'''(0,1) || '''E'''(1,1)
|-
! 等方群 
| '''SO'''(2) || '''SO'''(0,1) || '''SO'''(1,1)
|-
! 等方性の種類
| 回転(rotations) || shears || boosts  
|- 
! Rを超えた代数 
| [[複素数]] || [[二重数]] || [[分解型複素数]] 
|-
! ε<sup>2</sup> 
|  -1  || 0 || 1  
|-
! 時空の解釈
| なし || ニュートン時空 || ミンコフスキー時空
|-
! 傾斜 
| tan φ = m || tanp φ = u  || tanh φ = v
|-
! コサイン
| cos φ = (1+m<sup>2</sup>)<sup>−1/2</sup> || cosp φ = 1 || cosh φ = (1-v<sup>2</sup>)<sup>−1/2</sup>
|-
! サイン
| sin φ = m (1+m<sup>2</sup>)<sup>−1/2</sup> || sinp φ = u || sinh φ = v (1-v<sup>2</sup>)<sup>−1/2</sup> 
|- 
! セカント
| sec φ = (1+m<sup>2</sup>)<sup>1/2</sup> || secp φ = 1 || sech φ = (1-v<sup>2</sup>)<sup>1/2</sup>
|-
! コセカント
| csc φ = m<sup>−1</sup> (1+m<sup>2</sup>)<sup>1/2</sup> || cscp φ = u<sup>−1</sup> || csch φ = v<sup>−1</sup> (1-v<sup>2</sup>)<sup>1/2</sup>
|}

==脚注==
{{Reflist|2}}

== 外部リンク ==
*Physics FAQ: [https://math.ucr.edu/home/baez/physics/Relativity/SR/penrose.html Can You See the Lorentz–Fitzgerald Contraction? Or: Penrose-Terrell Rotation]; [https://math.ucr.edu/home/baez/physics/Relativity/SR/barn_pole.html The Barn and the Pole]
* {{Kotobank|ローレンツ収縮}}

{{相対性理論}}
{{特殊相対性理論の検証}}
{{デフォルトソート:なかさのしゆうしゆく}}
[[Category:特殊相対性理論]]
[[Category:物理学史]]
[[Category:長さ]]
[[Category:ヘンドリック・ローレンツ]]