長さの収縮（ながさのしゅうしゅく、length contraction) は、運動する物体の長さが、自身の静止系で測定される長さである固有長(proper length)よりも短く測定される現象[1]。ローレンツ収縮やローレンツ・フィッツジェラルド収縮（ヘンドリック・ローレンツとジョージ・フィッツジェラルドにちなむ）とも呼ばれる。物体が進んでいる方向のみに生じる。普通の物体ではこの効果は日常的な速度では無視でき、物体が観察者に対して光速に近づくときのみ重要となる。
歴史詳細は「特殊相対性理論の歴史（英語版
長さの収縮は、マイケルソン・モーリーの実験の否定的な結果を説明し、静止エーテルの仮説を救うためにジョージ・フィッツジェラルド(1889)とヘンドリック・ローレンツ(1892)により仮定された（ローレンツ・フィッツジェラルド収縮仮説）[2][3]。フィッツジェラルドとローレンツの両者は、運動する電荷がつくる電場が変形するという事実に言及したが（オリヴァー・ヘヴィサイドにちなむヘヴィサイド楕円体、ヘヴィサイドは1888年に電磁理論からこれを導出した）、当時分子間力が電磁力と同じふるまい方をすると推測するに十分な理由がなかったため、長さの収縮はアドホックな仮説と見なされた。1897年、ジョゼフ・ラーモアが全ての力が電磁気的な起源を持つと考えられるモデルを開発し、長さの収縮はこのモデルの直接的な結果として現れた。しかしアンリ・ポアンカレ(1905)により電磁気力だけでは電子の安定性を説明できないことが示された。そのため彼は別のアドホックな仮説を導入しなければならなかった。それは非電気的結合力（ポアンカレ応力）であり、これを用いてポアンカレは電子の安定性を確実にし、長さの収縮を動力学的に説明し、それにより静止エーテルに対する運動を覆い隠した[4]。
最終的には、アルベルト・アインシュタイン(1905)が、仮想的なエーテルの中を動く運動を用いずに、特殊相対性理論を使うことでこの収縮を説明し、我々の空間、時間、同時性の概念を変え、収縮仮説からアドホックな特徴を初めて[4]完全に取り除いた[5]。アインシュタインの考えは、自身の4次元時空の概念を導入することで全ての相対論的効果の幾何学的解釈を論証したヘルマン・ミンコフスキーによりさらに洗練された[6]。
相対性理論の基礎特殊相対性理論においては、観測者は同期する時計の無限格子造りに対して事象を測定する。
初めに静止している物体と動いている物体の長さを測定する方法を慎重に検討する必要がある[7]。ここで「物体」とは常に相互に静止している、すなわち同じ慣性系で静止している端点を持つ距離を意味するだけである。観測者（もしくは測定器）と観測される物体との間の相対速度がゼロであれば、物体の固有長 L 0 {\displaystyle L_{0}} は測定棒を直接重ねることで簡単に決定することができる。しかし、相対速度が0より大きければ次のようにする。長さの収縮: 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が運動した物体の長さ L {\displaystyle L} に等しいことは明らかである[7]。この方法を用いて運動している物体の長さを測定するためには同時性の定義が重要である。
別の方法は固有時間 T 0 {\displaystyle T_{0}} を示す時計（棒の静止系の時計により測定される時間 T {\displaystyle T} 内に端点から端点へ移動する）を使うことである。棒の長さは移動時間に速度を掛け算することで計算することができ、それにより棒の静止系では L 0 = T ⋅ v {\displaystyle L_{0}=T\cdot v} 、時計の静止系では L = T 0 ⋅ v {\displaystyle L=T_{0}\cdot v} となる[8]。
ニュートン力学では、同時性と時間の長さは絶対的なものであるため、どちらの方法でも L {\displaystyle L} と L 0 {\displaystyle L_{0}} が等しいことが得られる。しかし、相対性理論では、同時性の相対性と時間の遅れに関連するすべての慣性系における光速不変により、この等価性が壊れる。第1の方法では1つの系の観測者は物体の端点を同時に測定したというが、他の全ての慣性系の観測者は物体の端点は同時に測定されていないというであろう。第2の方法では、時間 T {\displaystyle T} と T 0 {\displaystyle T_{0}} は時間の遅れにより等しくなく、結果として長さも異なる。
