ローレンツ変換

**ローレンツ変換**（ローレンツへんかん、）は、2 つの慣性系の間の座標（時間座標と空間座標）を結びつける線形変換である。真空中の光速度が全ての慣性系において同一であるという光速度不変の原理を満たし、ミンコフスキー空間における2点間の世界間隔を不変に保つ。歴史的には、電磁気学と古典力学間の矛盾を回避するために、アイルランドのジョセフ・ラーモア（1897年）とオランダのヘンドリック・ローレンツ（1899年、1904年）により提案された。

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

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

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

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

ローレンツ変換のうち、空間と時間が関与する方向への変換を**ローレンツブースト** () と呼ぶ。特殊相対性理論が導く、時間の遅れや長さの収縮といった非日常的な現象は、このローレンツブーストからの帰結である。一方で、空間同士が関与する変換はただの空間回転である。

## 物理的導入
ローレンツ変換は、ある慣性系  における空間および時間座標（あるいは任意の 4元ベクトル）を、-軸に沿った S に対する相対速度  で移動する別の慣性系  へ変換する際に使用される群作用である。原点  を共有する、 における時空座標  と  における時空座標  で記述される事象の座標系は、以下のローレンツ変換によって関連づけられる。
 \right)
x' = \gamma (x - v t)\,
y' = y\,
z' = z\,
}}
上式で

}}

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

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

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

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

### ミンコフスキー空間でみたローレンツ変換
また、パラメータ  を用いて、

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

とすると
:
\begin{align}
ct'&= ct \cosh{\theta} - x \sinh{\theta} \\
x'&= x\cosh{\theta} - ct \sinh{\theta} 
\end{align}


虚時間  を用いれば、
:
\begin{align}
w'&= w \cos{i\theta} - x \sin{i\theta} \\
x'&= x \cos{i\theta} + w \sin{i\theta} 
\end{align}


行列を用いれば、それぞれ

と表すことができる。この表現を用いると、ローレンツ変換がミンコフスキー空間上での虚数角  の回転に相当することが容易に理解できる。

この表式では速度の合成が容易になる。慣性系  において、速度  で -軸方向に等速運動している物体は、慣性系  における速度  は、
: \frac{u}{c} = \tanh{\phi}
とすると、
:  \frac{u'}{c} = \tanh{(\phi - \theta)}
で表される。

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

### 空間ベクトルの分解
任意の方向へのローレンツブーストに際しては、空間ベクトル  を速度  と平行な垂直成分に \boldsymbol{x} = \boldsymbol{x}_\perp + \boldsymbol{x}_\| と分解すると都合が良い。 方向の成分 \boldsymbol{x}_\| のみが、ローレンツ因子  による変形を受ける。
 \right)
\boldsymbol{x}' = \boldsymbol{x}_\perp + \gamma (\boldsymbol{x}_\| - \boldsymbol{v} t)
}}
上の方程式は、行列を用いて以下のように表現できる。

{c}\gamma\\
-\frac{\boldsymbol{v}}{c}\gamma&\boldsymbol{I}+\dfrac{\boldsymbol{v}\otimes \boldsymbol{v^\mathrm T}}{v^2}(\gamma-1)\\
\end{bmatrix}
\begin{bmatrix}
c t\\\boldsymbol{x}
\end{bmatrix}
}}
ここで、 は  の転置行列、 は 3 次単位行列である。

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

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

:
\Lambda^\mathrm T g \Lambda =g \,

を満たす任意の 4×4 行列  によって与えられる変換

:
x \rightarrow x'= \Lambda x


がローレンツ変換となる。但し、 は転置行列を表し、 は

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

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

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

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

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


すなわち

:
{\Lambda^{\lambda}}_{\mu} g_{\lambda\rho} {\Lambda^{\rho}}_{\nu} = g_{\mu\nu} \quad
(\mu, \lambda, \rho, \nu=0,1,2,3)


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

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


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

### 性質
こうして定義されるローレンツ変換は、時空の二点 、のローレンツ内積

:
x \cdot y = x^\mu y_\mu = x^0y^0-x^1y^1-x^2y^2-x^3y^3


を不変に保つ。

:
x' \cdot y' =x \cdot y \quad(x'=\Lambda x,  y'=\Lambda y)


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

:
\mathrm ds^2 = g_{\mu\nu}\mathrm dx^{\mu}\mathrm dx^{\nu}=(\mathrm dx^0)^{\, 2}-(\mathrm dx^1)^{\, 2}-(\mathrm dx^3)^{\, 2}-(\mathrm dx^3)^{\, 2}


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

:
\mathrm ds'^2 = \Lambda^{\lambda}_{\,\, \mu} g_{\lambda\rho} \Lambda^{\rho}_{\,\, \nu}  \mathrm dx^{\mu}\mathrm dx^{\nu} = \mathrm ds^{\,2}


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

## ローレンツ変換の分類
ローレンツ変換全体のなす集合  は、行列式と00成分  によって分類される。ローレンツ変換  において、その行列式  は  の値をとる。一方、 00成分は  または  を満たす。ローレンツ群  は、行列式  の値（+1 または -1）と、00成分  の符号（正または負）の組み合わせによって、互いに連続的に移り変わることができない4つの連結な部分集合に分類される。

:
\begin{align}
L^{\uparrow}_{+}&:= \{\Lambda \in L | \det{\Lambda}=+1, \Lambda^{0}_{\,\, 0} \geq +1 \} \\
L^{\uparrow}_{-}&:= \{\Lambda \in L | \det{\Lambda}=-1,  \Lambda^{0}_{\,\, 0} \geq +1 \} \\
L^{\downarrow}_{-}&:= \{\Lambda \in L | \det{\Lambda}=-1, \Lambda^{0}_{\,\, 0} \leq -1 \} \\
L^{\downarrow}_{+}&:= \{\Lambda \in L | \det{\Lambda}=+1, \Lambda^{0}_{\,\, 0} \leq -1 \}
\end{align}


この分類において、 を満たすものを**順時間的**（）、 を満たすものを**反順時間的**（）、を満たすものを**固有**（）、 を満たすものを**非固有**（）と呼ぶ。

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

:
\begin{align}
(Ix)^{\mu} &= x^{\mu} \quad (\mu= 0,1,2,3) \\
(Px)^0   &=x^0  \quad  (Px)^i =- x^i \quad (i=1,2,3) \\
(Tx)^0 &= -x^0  \quad  (Tx)^i =  x^i \quad (i=1,2,3) \\
(PTx)^{\mu} &= (P \circ T x)^{\mu}=-x^{\mu}  \quad (\mu= 0,1,2,3)
\end{align}


で定義される**恒等変換** 、**空間反転（パリティ変換）** 、**時間反転** 、**空間時間反転**  が存在する。

 はそれぞれ、恒等変換  、空間反転 、時間反転 、空間時間反転  を含む。

:
I  \in L^{\uparrow}_{+}, \, \,
P  \in L^{\uparrow}_{-}, \, \,
T  \in L^{\downarrow}_{-}, \, \,
PT  \in L^{\downarrow}_{+}


これらの変換により、 は、本義ローレンツ群  を用いて次のように結び付けられる。

:
\begin{align}
L^{\uparrow}_{-} &= P L^{\uparrow}_{+} \\
L^{\downarrow}_{-} &= T L^{\uparrow}_{+} \\
L^{\downarrow}_{+} &= PT L^{\uparrow}_{+}
\end{align}


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

ファイル:Lorenz_tf_grid.PNG|座標格子のローレンツ変換
ファイル:Galilei_tf_grid.PNG|座標格子のガリレイ変換


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

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

## ローレンツ＝フィッツジェラルド収縮
### ローレンツの解釈
*[[長さの収縮]]を参照*

### 相対論的解釈

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

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

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

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