ローレンツ変換

テンプレート:出典の明記 ローレンツ変換（ローレンツへんかん、テンプレート:Lang-en-short）は、2 つの慣性系の間の座標（時間座標と空間座標）を結びつける線形変換で、電磁気学と古典力学間の矛盾を回避するために、アイルランドのジョセフ・ラーモア（1897年）とオランダのヘンドリック・ローレンツ（1899年、1904年）により提案された。

アルベルト・アインシュタインが特殊相対性理論（1905年）を構築したときには、慣性系間に許される変換公式として、理論の基礎を形成した。特殊相対性理論では全ての慣性系は同等なので、物理法則はローレンツ変換に対して不変な形、すなわち同じ変換性をもつ量の間のテンソル方程式として与えられなければならない。このことをローレンツ不変性（共変性）をもつという。

幾何学的には、ミンコフスキー空間における 2 点間の世界間隔を不変に保つような、原点を中心にした回転変換を表す（ミンコフスキー空間でみたローレンツ変換節参照）。

概要

ローレンツ変換は、マイケルソン・モーリーの実験結果を矛盾なく説明する手段として提案された。ローレンツは、時間の流れや光速度はすべての基準座標系において同一と考えたため、「大きな速度で動く座標系では、2点間の距離（物体の長さ）は縮む」というローレンツ収縮を示した(ローレンツ・フィッツジェラルド収縮仮説)。しかし、ローレンツ収縮は実験結果と矛盾した。後に、アインシュタインは、光速度の不変性と物理法則の相対性（「物理法則はあらゆる慣性系間で同一である」）の 2 つを原理として、特殊相対性理論を築いた。そこでは、ローレンツ変換からの帰結として、時間の進み方が観測者によって異なることが示された。

ガリレイ変換は、等速運動をする慣性系間の座標変換であり、ニュートンの運動方程式は不変な形で変化するが、マクスウェルの方程式では満足されない古典的な座標変換である。ローレンツ変換は、マクスウェル方程式を不変な形で変換する。また慣性系の動く速度 テンプレート:Mvar が、光速度 テンプレート:Mvar に比べて十分小さい場合（テンプレート:Math と見なせる場合）を考えると、ローレンツ変換はガリレイ変換を再現する。したがって、非相対論的な極限でガリレイ不変性が成立しているという事実もローレンツ変換で説明できる。

ローレンツ変換のうち、空間と時間が関与する方向への変換をローレンツブースト (テンプレート:Lang-en-short) と呼ぶ。特殊相対論が導く、我々の直感に反する事柄のほとんどは、このローレンツブーストからの帰結である。一方で、空間同士が関与する変換はただの空間回転である。

物理的導入

ローレンツ変換は、ある慣性系 テンプレート:Math における空間および時間座標（あるいは任意の 4元ベクトル）を、テンプレート:Mvar-軸に沿った S に対する相対速度 テンプレート:Mvar で移動する別の慣性系 テンプレート:Math へ変換する際に使用される群作用である。原点 テンプレート:Math を共有する、テンプレート:Math における時空座標 テンプレート:Math と テンプレート:Math における時空座標 テンプレート:Math で記述される事象の座標系は、以下のローレンツ変換によって関連づけられる。 テンプレート:Indent 上式で

はローレンツ因子と呼ばれ、テンプレート:Mvar は真空中の光速度を表す。

行列での表現

上の 4 つの方程式は、行列を用いて表現できる。

あるいは、以下のようにも記述できる。

最初の式は、テンプレート:Math となる極限において、ガリレイ変換に帰着することを容易に理解できる点で、第 2 の式は、相対論における基本的な不変量である時空間隔 テンプレート:Math が保存されることを容易に理解できる点で、それぞれ優れている。

ミンコフスキー空間でみたローレンツ変換

また、パラメータ テンプレート:Mvar を用いて、

$\frac{v}{c}=\tanh \theta$

とすると

$\begin{array}{cc}c{t}^{\prime }& =ct\cosh \theta -x\sinh \theta \\ x^{\prime }& =x\cosh \theta -ct\sinh \theta \end{array}$

虚時間 テンプレート:Math を用いれば、

$\begin{array}{cc}{w}^{\prime }& =w\cos i\theta -x\sin i\theta \\ x^{\prime }& =x\cos i\theta +w\sin i\theta \end{array}$

行列を用いれば、それぞれ テンプレート:Indent と表すことができる。この表現を用いると、ローレンツ変換がミンコフスキー空間上での虚数角 テンプレート:Mvar の回転に相当することが容易に理解できる。

この表式では速度の合成が容易になる。慣性系 テンプレート:Math において、速度 テンプレート:Mvar で テンプレート:Mvar-軸方向に等速運動している物体は、慣性系 テンプレート:Math における速度 テンプレート:Mvar は、

$\frac{u}{c}=\tanh \varphi$

とすると、

$\frac{u^{\prime }}{c}=\tanh (\varphi -\theta )$

で表される。

相対速度 テンプレート:Mvar の方向が 慣性系 テンプレート:Math の テンプレート:Mvar-軸方向と一致する場合にのみ、上の方程式は適用される。テンプレート:Mvar の方向が テンプレート:Math の テンプレート:Mvar-軸と一致しない場合には、ローレンツ変換の一般解を求めるよりも、テンプレート:Mvar の方向が テンプレート:Math の テンプレート:Mvar-軸と一致するように慣性系の回転を行うほうが、一般に容易である。

空間ベクトルの分解

任意の方向へのローレンツブーストに際しては、空間ベクトル テンプレート:Mvar を速度 テンプレート:Mvar と平行な垂直成分に $𝒙={𝒙}_{\perp }+{𝒙}_{\Vert }$ と分解すると都合が良い。テンプレート:Mvar 方向の成分 ${𝒙}_{\Vert }$ のみが、ローレンツ因子 テンプレート:Mvar による変形を受ける。 テンプレート:Indent 上の方程式は、行列を用いて以下のように表現できる。

テンプレート:Indent ここで、テンプレート:Math は テンプレート:Mvar の転置行列、テンプレート:Mvar は 3 次単位行列である。

上で注記したように、この変換は 2 つの系で原点が共有されることを要求する。この制約を緩和する形で、ローレンツ変換に時空の平行移動を加えた変換はポアンカレ変換と呼ばれる。

より一般的な定義

なお、ローレンツ変換は「光速度一定」の帰結である「世界間隔の不変性」を満たす変換として、より一般的に定義される。ここで、時空を記述する 4元ベクトル テンプレート:Math に対し、

${\mathrm{\Lambda }}^{\mathrm{T}}g\mathrm{\Lambda }=g$

を満たす任意の 4×4 行列 テンプレート:Math によって与えられる変換

$x\to x^{\prime }=\mathrm{\Lambda }x$

がローレンツ変換となる。但し、テンプレート:Math は転置行列を表し、テンプレート:Mvar は

で与えられる時空の計量テンソルを表すものとする。

このように定義された行列 テンプレート:Math の全体は、ローレンツ群として知られる群 テンプレート:Math を構成する。

厳密に言うと、このように定義したローレンツ変換はミンコフスキー空間での回転だけでなく、空間反転に相当するパリティ変換 テンプレート:Math、時間反転 テンプレート:Math を含む。これらの変換は連続的なローレンツ変換とは別個に扱われる場合が多い。例えば実際の物理は連続的なローレンツ変換に対しては不変だが、パリティ対称性の破れ、CP対称性の破れ（CPT定理より テンプレート:Math の破れと同義）は実験で観測されている。この点を明確にしたい場合、連続的な回転のみの部分を本義ローレンツ変換と呼ぶことがある。

一般的ローレンツ変換

定義

より一般的に、ローレンツ変換は世界間隔を不変に保つ線形変換として定義される。こうして定義されるローレンツ変換は、ミンコフスキー時空における内積に対する対称性として捉えることができる。 まず、ミンコフスキー時空におけるローレンツ変換 テンプレート:Math は

${\mathrm{\Lambda }}^{\mathrm{T}}g\mathrm{\Lambda }=g$

すなわち

${{\mathrm{\Lambda }}^{\lambda }}_{\mu }{g}_{\lambda \rho }{{\mathrm{\Lambda }}^{\rho }}_{\nu }=g_{\mu \nu }(\mu ,\lambda ,\rho ,\nu =0,1,2,3)$

を満たす線形変換として定義される。但し、テンプレート:Math は、テンプレート:Math で与えられる計量テンソルであり、重複する添え字に対してはアインシュタインの縮約に従って和をとるものとする。また、添え字の上げ下げは計量テンソルによって、

$x_{\mu }=g_{\mu \nu }{x}^{\nu }$

で、与えられるものとする。

性質

こうして定義されるローレンツ変換は、時空の二点 テンプレート:Math、テンプレート:Mathのローレンツ内積

$x\cdot y=x^{\mu }{y}_{\mu }=x^0{y}^0-x^1{y}^1-x^2{y}^2-x^3{y}^3$

を不変に保つ。

$x^{\prime }\cdot y^{\prime }=x\cdot y(x^{\prime }=\mathrm{\Lambda }x,y^{\prime }=\mathrm{\Lambda }y)$

この性質から、特に時空の計量

$\mathrm{d}{s}^2=g_{\mu \nu }\mathrm{d}{x}^{\mu }\mathrm{d}{x}^{\nu }=(\mathrm{d}{x}^0{)}^2-(\mathrm{d}{x}^1{)}^2-(\mathrm{d}{x}^3{)}^2-(\mathrm{d}{x}^3{)}^2$

はローレンツ変換の下、不変となる。

$\mathrm{d}s{\text{'}}^2={\mathrm{\Lambda }}_{\mu }^{\lambda }{g}_{\lambda \rho }{\mathrm{\Lambda }}_{\nu }^{\rho }\mathrm{d}{x}^{\mu }\mathrm{d}{x}^{\nu }=\mathrm{d}{s}^2$

すなわち、世界間隔は不変に保たれる。

ローレンツ変換の分類

ローレンツ変換全体のなす集合 テンプレート:Mvar は、行列式と00成分 テンプレート:Math によって分類される。ローレンツ変換 テンプレート:Math において、その行列式 テンプレート:Math は テンプレート:Math の値をとる。一方、 00成分は テンプレート:Math または テンプレート:Math を満たす。ローレンツ変換の全体 テンプレート:Mvar の中で、行列式の値と00成分の符号が等しい2つのローレンツ変換は、連続的に移り変わることができる連結な成分となる。一方、これらが異なる2つのローレンツ変換は連続的に移り変わることができない非連結な成分となる。従って、テンプレート:Mvar は行列式の値並びに00成分の符号によって、次の4つの連結な部分集合に分類される。

$\begin{array}{cc}{L}_{+}^{\uparrow }& :=\{\mathrm{\Lambda }\in L|\det \mathrm{\Lambda }=+1,{\mathrm{\Lambda }}_0^0\ge +1\}\\ L_{-}^{\uparrow }& :=\{\mathrm{\Lambda }\in L|\det \mathrm{\Lambda }=-1,{\mathrm{\Lambda }}_0^0\ge +1\}\\ L_{-}^{\downarrow }& :=\{\mathrm{\Lambda }\in L|\det \mathrm{\Lambda }=-1,{\mathrm{\Lambda }}_0^0\le -1\}\\ L_{+}^{\downarrow }& :=\{\mathrm{\Lambda }\in L|\det \mathrm{\Lambda }=+1,{\mathrm{\Lambda }}_0^0\le -1\}\end{array}$

この分類において、テンプレート:Math を満たすものを順時間的（テンプレート:Lang）、テンプレート:Math を満たすものを反順時間的（テンプレート:Lang）、テンプレート:Mathを満たすものを固有（テンプレート:Lang）、テンプレート:Math を満たすものを非固有（テンプレート:Lang）と呼ぶ。

ローレンツ変換の中で、特別なものとして、

$\begin{array}{cc}(Ix{)}^{\mu }& =x^{\mu }(\mu =0,1,2,3)\\ (Px{)}^0& =x^0(Px{)}^i=-x^i(i=1,2,3)\\ (Tx{)}^0& =-x^0(Tx{)}^i=x^i(i=1,2,3)\\ (PTx{)}^{\mu }& =(P\circ Tx{)}^{\mu }=-x^{\mu }(\mu =0,1,2,3)\end{array}$

で定義される恒等変換 テンプレート:Mvar、空間反転（パリティ変換） テンプレート:Mvar、時間反転 テンプレート:Mvar、空間時間反転 テンプレート:Mvar が存在する。

テンプレート:Math はそれぞれ、恒等変換 テンプレート:Mvar 、空間反転 テンプレート:Mvar、時間反転 テンプレート:Mvar、空間時間反転 テンプレート:Mvar を含む。

$I\in L_{+}^{\uparrow },P\in L_{-}^{\uparrow },T\in L_{-}^{\downarrow },PT\in L_{+}^{\downarrow }$

これらの変換により、テンプレート:Math は次のように結び付けられる。

$\begin{array}{cc}{L}_{+}^{\uparrow }& =P{L}_{-}^{\uparrow }\\ L_{+}^{\uparrow }& =T{L}_{-}^{\downarrow }\\ L_{+}^{\uparrow }& =PT{L}_{+}^{\downarrow }\end{array}$

図

慣性系 テンプレート:Math と慣性系 テンプレート:Math の座標格子を重ねて図示すると、ローレンツ変換とガリレイ変換の違いがイメージできる。ガリレイ変換では時刻が等しい点からなる直線（同時刻線）は両慣性系で一致するが、ローレンツ変換では異なる慣性系の同時刻線は互いに傾いている。これはローレンツ変換では、慣性系 テンプレート:Math では同時に起きた事象が慣性系 テンプレート:Math では異なる時刻に起きていることを意味する。これを同時性の崩れという。

• 
  座標格子のローレンツ変換
• 
  座標格子のガリレイ変換

歴史

ローレンツはこの変換がマクスウェル方程式を不変な形で変換することを、1900年に発見した。ローレンツは導光性エーテル仮説を信じており、この変換に適切な基礎を提供する相対性理論を発見したのは、アルベルト・アインシュタインであった。

ローレンツ変換は1904年に初めて発表されたが、当時これらの方程式は不完全であった。フランスの数学者アンリ・ポアンカレが、ローレンツの方程式を、今日知られている整合性の取れた 4 つの方程式に修正した。

ローレンツ＝フィッツジェラルド収縮

ローレンツの解釈

長さの収縮を参照 テンプレート:節スタブ

相対論的解釈

ローレンツ収縮

アインシュタインの解釈によれば、観測者に対して運動する物体は縮んで観測される。

例として、テンプレート:Mvar-軸方向に長さを持つ物体が、観測者 テンプレート:Math （テンプレート:Mvar-座標系）に対して テンプレート:Mvar-軸正方向に速度 テンプレート:Mvar で等速直線運動する場合を考える (テンプレート:Math)。この物体と共に運動する観測者 テンプレート:Math （テンプレート:Mvar-座標系）にはこの物体の長さが テンプレート:Mvar で観測されるとする(テンプレート:Math)。これはすなわち、観測者 テンプレート:Math にとって同時刻に観測したときに、物体の端と端の テンプレート:Mvar-座標の値の差が テンプレート:Mvar であることを示す。

テンプレート:Math のとき、物体の片端が テンプレート:Math、もう一方の端が テンプレート:Math にあるとする。このとき、物体の軌跡は テンプレート:Math となり、右図薄青部である。ここで、$\beta =\frac{v}{c},\gamma =\frac{1}{\sqrt{1-{\beta }^2}}$とおくと、テンプレート:Math であるため、$0\le x^{\prime }\le l⟺\beta w\le x\le \beta w+\frac{l}{\gamma }$ となる。すなわち、テンプレート:Math のとき、片端は テンプレート:Math に、もう片端は $x=\frac{l}{\gamma }$ にあるので、観測者 テンプレート:Math にとってこの物体の長さは $\frac{l}{\gamma }$ となることが分かる（なお、観測者 テンプレート:Math にとって テンプレート:Math となる点は、右図点線である双曲線 テンプレート:Math と テンプレート:Mvar-軸の交点であることからもローレンツ収縮の影響がわかる）。

関連項目

• ヘンドリック・ローレンツ
• 特殊相対性理論
• 電磁気学
• マクスウェル方程式
• 一般相対性原理
• ガレージのパラドックス
• ガリレイ変換
• ウィック回転
• 長さの収縮