ローレンツ変換のソースを表示

{{出典の明記|date=2011年7月}}
'''ローレンツ変換'''（ローレンツへんかん、{{lang-en-short|Lorentz transformation}}）は、2 つの[[慣性系]]の間の座標（時間座標と空間座標）を結びつける[[線形変換]]で、[[電磁気学]]と[[古典力学]]間の矛盾を回避するために、[[アイルランド]]の[[ジョセフ・ラーモア]]（1897年）と[[オランダ]]の<!-- [[物理学者]]にして[[数学者]] -->[[ヘンドリック・ローレンツ]]（1899年、1904年）により提案された。

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

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

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

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

ローレンツ変換のうち、空間と時間が関与する方向への変換を'''ローレンツブースト''' ({{lang-en-short|Lorentz boost}}) と呼ぶ。特殊相対論が導く、我々の直感に反する事柄のほとんどは、このローレンツブーストからの帰結である。一方で、空間同士が関与する変換はただの[[回転#数学的定義|空間回転]]である。

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

{{Indent|<math>\gamma \equiv \frac{1}{\sqrt{1 - v^2/c^2}}</math>}}

は'''ローレンツ因子'''と呼ばれ、{{Mvar|c}} は真空中の[[光速度]]を表す。

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

{{Indent|<math>
\begin{bmatrix}
t' \\x' \\y' \\z'
\end{bmatrix}
=
\begin{bmatrix}
\gamma&-\frac{v}{c^2} \gamma&0&0\\
-v \gamma&\gamma&0&0\\
0&0&1&0\\
0&0&0&1\\
\end{bmatrix}
\begin{bmatrix}
t\\x\\y\\z
\end{bmatrix}
</math>}}

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

{{Indent|<math>
\begin{bmatrix}
c t' \\x' \\y' \\z'
\end{bmatrix}
=
\begin{bmatrix}
\gamma&-\frac{v}{c} \gamma&0&0\\
-\frac{v}{c} \gamma&\gamma&0&0\\
0&0&1&0\\
0&0&0&1\\
\end{bmatrix}
\begin{bmatrix}
c t\\x\\y\\z
\end{bmatrix}
</math>}}

最初の式は、{{Math|''v''/''c'' → 0}} となる極限において、ガリレイ変換に帰着することを容易に理解できる点で、第 2 の式は、相対論における基本的な[[不変量]]である[[固有時|時空間隔]] {{Math|1=d''s''<sup>2</sup> = (''c''d''t'')<sup>2</sup> &minus; d''x''<sup>2</sup> &minus; d''y''<sup>2</sup> &minus; d''z''<sup>2</sup>}} が保存されることを容易に理解できる点で、それぞれ優れている。

=== ミンコフスキー空間でみたローレンツ変換 ===
また、パラメータ {{Mvar|θ}} を用いて、

: <math>\frac{v}{c} = \tanh\theta</math>

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

[[虚時間]] {{Math|1=''w'' = ''i ct''}} を用いれば、
:<math>
\begin{align}
w'&= w \cos{i\theta} - x \sin{i\theta} \\
x'&= x \cos{i\theta} + w \sin{i\theta} 
\end{align}
</math>

行列を用いれば、それぞれ
{{Indent|
<math>
\begin{bmatrix}
ct' \\x' \\y' \\z'
\end{bmatrix}
=
\begin{bmatrix}
\cosh{\theta} & -\sinh{\theta} & 0 & 0 \\
-\sinh{\theta} &\cosh{\theta} & 0 &0 \\
0 & 0 & 1 & 0 \\
0 & 0 & 0 & 1 \\
\end{bmatrix}
\begin{bmatrix}
ct \\ x \\ y \\ z
\end{bmatrix}
</math>

<math>
\begin{bmatrix}
w' \\ x' \\ y' \\ z'
\end{bmatrix}
=
\begin{bmatrix}
\cos{(i\theta)}&-\sin{(i\theta)} & 0 & 0 \\
\sin{(i\theta)} & \cos{(i\theta)} & 0 & 0 \\
0 & 0 & 1 & 0 \\
0 & 0 & 0 & 1 \\
\end{bmatrix}
\begin{bmatrix}
w \\x \\ y \\ z
\end{bmatrix}
</math>
}}
と表すことができる。この表現を用いると、ローレンツ変換が[[ミンコフスキー空間]]上での[[虚数角]] {{Mvar|i&theta;}} の回転に相当することが容易に理解できる。

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

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

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

{{Indent|<math>
\begin{bmatrix}
c t' \\ \boldsymbol{x}'
\end{bmatrix}
=
\begin{bmatrix}
\gamma&-\frac{\boldsymbol{v^\mathrm 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}
</math>}}
ここで、{{Math|'''''v'''''<sup>T</sup>}} は {{Mvar|'''v'''}} の[[転置行列]]、{{Mvar|'''I'''}} は 3 次[[単位行列]]である。

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

=== より一般的な定義 ===
なお、ローレンツ変換は「光速度一定」の帰結である「世界間隔の不変性」を満たす変換として、より一般的に定義される。ここで、時空を記述する [[4元ベクトル]] {{Math|1=''x''=(''ct'' , ''x'', ''y'', ''z'' )}} に対し、

:<math>
\Lambda^\mathrm T g \Lambda =g \,
</math>
を満たす任意の 4×4 行列 {{Math|&Lambda;}} によって与えられる変換

:<math>
x \rightarrow x'= \Lambda x
</math>

がローレンツ変換となる。但し、{{Math|T}} は転置行列を表し、{{Mvar|g}} は

{{Indent|<math>g=(g_{\mu\nu})=
\begin{bmatrix}
1&0&0&0\\
0&-1&0&0\\
0&0&-1&0\\
0&0&0&-1
\end{bmatrix}</math>}}

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

このように定義された行列 {{Math|&Lambda;}} の全体は、'''ローレンツ群'''として知られる[[群 (数学)|群]] {{Math|SO(3,1)}} を構成する。

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

== 一般的ローレンツ変換 ==
=== 定義 ===
より一般的に、ローレンツ変換は世界間隔を不変に保つ[[線形変換]]として定義される。こうして定義されるローレンツ変換は、[[ミンコフスキー時空]]における内積に対する[[対称性 (物理学)|対称性]]として捉えることができる。
まず、ミンコフスキー時空におけるローレンツ変換 {{Math|&Lambda;}} は

:<math>
\Lambda^\mathrm {T} g \Lambda = g
</math>

すなわち

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

を満たす線形変換として定義される。但し、{{Math|1=''g'' =(''g''<sub>''&mu;&nu;''</sub>)}} は、{{Math|1=''g'' =[[対角行列|diag]](1, &minus;1, &minus;1, &minus;1)}} で与えられる計量テンソルであり、重複する添え字に対しては[[アインシュタインの縮約]]に従って和をとるものとする。また、添え字の上げ下げは計量テンソルによって、

:<math>
x_{\mu}= g_{\mu\nu} x^{\nu}
</math>

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

=== 性質 ===
こうして定義されるローレンツ変換は、時空の二点 {{Math|1=''x'' =(''x''<sup>0</sup>, ''x''<sup>1</sup>, ''x''<sup>2</sup>, ''x''<sup>3</sup>)}}、{{Math|1=''y'' =(''y''<sup>0</sup>, ''y''<sup>1</sup>, ''y''<sup>2</sup>, ''x''<sup>3</sup>)}}の[[ローレンツ内積]]

:<math>
x \cdot y = x^\mu y_\mu = x^0y^0-x^1y^1-x^2y^2-x^3y^3
</math>

を不変に保つ。

:<math>
x' \cdot y' =x \cdot y \quad(x'=\Lambda x,  y'=\Lambda y)
</math>

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

:<math>
\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}
</math>

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

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

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

== ローレンツ変換の分類 ==
ローレンツ変換全体のなす集合 {{Mvar|L}} は、[[行列式]]と00成分 {{Math|&Lambda;<sup>00</sup>}} によって分類される。ローレンツ変換 {{Math|&Lambda;}} において、その行列式 {{Math|det(&Lambda;)}} は {{Math|±1}} の値をとる。一方、 00成分は {{Math|&Lambda;<sup>00</sup> &ge;1}} または {{Math|&Lambda;<sup>00</sup> &le;&minus;1}} を満たす。ローレンツ変換の全体 {{Mvar|L}} の中で、行列式の値と00成分の符号が等しい2つのローレンツ変換は、連続的に移り変わることができる[[連結空間|連結]]な成分となる。一方、これらが異なる2つのローレンツ変換は連続的に移り変わることができない非連結な成分となる。従って、{{Mvar|L}} は行列式の値並びに00成分の符号によって、次の4つの連結な部分集合に分類される。

:<math>
\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}
</math>

この分類において、{{Math|&Lambda;<sup>0</sup><sub>0</sub> &ge;1}} を満たすものを'''順時間的'''（{{Lang|en|orthochrous}}）、{{Math|&Lambda;<sup>0</sup><sub>0</sub> &le;&minus;1}} を満たすものを'''反順時間的'''（{{Lang|en|anti-orthochrous}}）、{{Math|1=det(&Lambda; )=1}}を満たすものを'''固有'''（{{Lang|en|proper}}）、{{Math|1=det(&Lambda; )=&minus;1}} を満たすものを'''非固有'''（{{Lang|en|improper}}）と呼ぶ。

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

:<math>
\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}
</math>

で定義される'''恒等変換''' {{Mvar|I}}、'''空間反転（パリティ変換）''' {{Mvar|P}}、'''時間反転''' {{Mvar|T}}、'''空間時間反転''' {{Mvar|PT}} が存在する。

{{Math|1=''L''<sup>&uarr;</sup><sub>+</sub>, ''L''<sup>&uarr;</sup><sub>&minus;</sub>,
''L''<sup>&darr;</sup><sub>&minus;</sub>, ''L''<sup>&darr;</sup><sub>+</sub>}} はそれぞれ、恒等変換 {{Mvar|I}} 、空間反転 {{Mvar|P}}、時間反転 {{Mvar|T}}、空間時間反転 {{Mvar|PT}} を含む。

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

これらの変換により、{{Math|''L''<sup>&uarr;</sup><sub>+</sub>, ''L''<sup>&uarr;</sup><sub>&minus;</sub>, ''L''<sup>&darr;</sup><sub>+</sub>, ''L''<sup>&darr;</sup><sub>&minus;</sub>}} は次のように結び付けられる。

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

== 図 ==
慣性系 {{Math|S}} と慣性系 {{Math|S&prime;}} の座標格子を重ねて図示すると、ローレンツ変換と[[ガリレイ変換]]の違いがイメージできる。[[ガリレイ変換]]では時刻が等しい点からなる直線（同時刻線）は両慣性系で一致するが、ローレンツ変換では異なる慣性系の同時刻線は互いに傾いている。これはローレンツ変換では、慣性系 {{Math|S}} では同時に起きた事象が慣性系 {{Math|S&prime;}} では異なる時刻に起きていることを意味する。これを'''同時性の崩れ'''という。
<gallery>
ファイル:Lorenz_tf_grid.PNG|座標格子のローレンツ変換
ファイル:Galilei_tf_grid.PNG|座標格子のガリレイ変換
</gallery>

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

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

== ローレンツ＝フィッツジェラルド収縮 ==
=== ローレンツの解釈 ===
''[[長さの収縮]]を参照''
{{節スタブ}}

=== 相対論的解釈 ===
[[File:LorentzContraction.svg|thumb|right|230px|ローレンツ収縮]]
アインシュタインの解釈によれば、観測者に対して運動する物体は縮んで観測される。

例として、{{Mvar|x}}-軸方向に長さを持つ物体が、観測者 {{Math|A}} （{{Mvar|xyzw}}-座標系）に対して {{Mvar|x}}-軸正方向に速度 {{Mvar|v}} で[[等速直線運動]]する場合を考える ({{Math|1=''w'' = ''ct''}})。この物体と共に運動する観測者 {{Math|B}} （{{Mvar|x&prime;y&prime;z&prime;w&prime;}}-座標系）にはこの物体の長さが {{Mvar|l}} で観測されるとする({{Math|1=''w&prime;'' = ''ct&prime;''}})。これはすなわち、観測者 {{Math|B}} にとって同時刻に観測したときに、物体の端と端の {{Mvar|x&prime;}}-座標の値の差が {{Mvar|l}} であることを示す。

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

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

{{相対性理論}}
{{Normdaten}}

{{DEFAULTSORT:ろおれんつへんかん}}
[[Category:特殊相対性理論]]
[[Category:変換 (数学)]]
[[Category:時空]]
[[Category:ヘンドリック・ローレンツ|へんかん]]