Prerequisite
この節ではLorentz変換全体の集合の一般的な性質について解説する.
Lorentz変換は世界間隔を不変にする座標変換で
を満たす.行列表記では
この条件は2階共変テンソル がLorentz変換に対して不変であるとも解釈できる.
次のような数学的概念を導入しよう:
群の定義
集合 が演算 について閉じている,つまり に対して となっている.
このとき が
- に対して, :結合律
- があって, に対し, :単位元の存在
- に対し があって, :逆元の存在
を満たすとき, を群 (group) という.
Lorentz変換をあらわす行列全体の集合を,
という記号で書く.
この集合での演算は普通の行列の積で定義される.
2つのLorentz変換 の積 について,
となって積もこの集合に属しているので行列の積に関して閉じている.
行列の積なので結合律は自動的に満たされる.
単位元は単位行列 である.
また任意の元 に対して の両辺の行列式をとると,
したがって であるから逆行列が存在する.
の左から をかけて .
さらに の逆行列 を右からかけると,
逆元が に入っていることを確かめよう.
そのために の右から を,左から をかけると .
ここで であるから,
よりたしかに逆行列も の元になっている.
以上から が群構造をもつことが示された.
この群をLorentz群という.
Lorentz群に定義された演算は一般に可換ではない.
したがってLorentz変換について次のことが言える:ある慣性基準系から相対速度 の慣性系へLorentz変換しさらにその系から見て相対速度 の慣性系へ移ることと, の系へ移りその系から見て の系へ移ることは一般に一致しない.
Lorentz変換の条件の行列式をとるとLorentz変換には と の2種類あることに気づく.
の方を固有Lorentz変換 (proper Lorentz transformation) といい, の方を非固有Lorentz変換という.
固有Lorentz変換全体は特殊擬直交群とよばれ, とあらわす.
特殊擬直交群は擬直交群の部分群になっている.
群 の部分集合 が の部分群であるとは, が群 の演算で閉じていて任意の の元の逆元が に属することである.
についてそのことをたしかめよう.
まず単位元は明らかに であるから である.
とするとその積の行列式は,
よって となるから は の演算で閉じている.
逆元については,
よって .以上より は の部分群になっている.
条件 の 成分を見てみると,
ゆえに であるからLorentz変換にはさらに次の2種類が存在する:
後者の場合を順時Lorentz変換 (orthochronous Lorentz transformation) といい,前者の方を反順時Lorentz変換という.
順時Lorentz変換全体も の部分群になっている.
そのことを示すために次の命題を利用する:
群 とその部分集合 について,
について
は の部分群
が成り立つ.
では と を順時Lorentz変換としよう.
このとき積 の 成分は,
より を代入すれば,
これが より大きいことを示せばよい. 簡単のため とおこう.
そして次の不等式を示せばよい:
左辺についてCauchy–Schwarzの不等式より,
のときはこのままで正となる. のときは,
と変形できて,これは明らかに正である. ゆえに常に,
となって積も順時Lorentz変換であることがわかる.
固有かつ順時Lorentz変換全体は再び の部分群になることもわかる.
以上よりLorentz変換全体は次の4つの連結成分を持つ:
このうち単位元を含むのは である. の元を本義Lorentz変換という.
空間成分の符号を反転させるパリティ変換 は の元であり,時間成分の符号を反転させる時間反転変換 は の元である.
微小なLorentz変換について調べよう.
単位元から微小にずれているとして とおく.
このとき にはどのような条件が課せられるだろうか.
より が成り立たなければならないから,
成分で書けば であるから上式は,
であるから を微小量として無視してしまえば結局,
となって は反対称である.
反対称行列ということは対角成分は にひとしく, 16個の成分のうち独立なものは6個である.
この6個のうち3つは空間回転に対応し残りの3つはブーストに対応する.
そのことは次節で解説する.
無限小変換の行列式をとってみると,
最後の行列式を小行列で展開していったとき,0次の項は であるが1次の項はあり得ない.
なぜならたとえば1次の項を作ろうとして対角線上の3成分を選んでも残りは対角線上の残りの成分に決まってしまう(これは0次の項).
つまり上の行列式は となる.
2次以上の項を無視すれば無限小変換の行列式は に等しいことが言える.
そもそもLorentz変換の行列式は か のどちらかであり2つの連結成分にわかれていた.
この2つは連続には移りあえないから,単位元 の近傍の元ならば必ず行列式は に等しくなる.
明らかに無限小Lorentz変換の第 成分は1以上(等しい)であるから,無限小Lorentz変換は本義Lorentz変換である.
ゆえに任意の本義Lorentz変換は無限小Lorentz変換を繰り返して達成することができる.
つまり単位元と連続につながっている.
そこで理論が「Lorentz不変である」とか「Lorentz対称性をもつ」とかいうときには必ず本義Lorentz変換の意味で不変・対称ということに約束する.
自然法則は慣性系によらず普遍的でなければならないが,そのための慣性系間の変換は本義Lorentz変換に限ってパリティ変換や時間反転変換などに対する不変性はもたなくてもよいことにする.
実際いくつかの現象では本義Lorentz変換以外のLorentz変換に対する不変性は破れている.
任意の微小Lorentz変換から本義Lorentz変換群 の任意の元を構成できる(次節で詳しく述べる).
Lorentz変換だが本義Lorentz変換でないものの例としてパリティ変換と時間反転変換を挙げた.
この2つの変換はLorentz群の構造を見る上で重要な役割を果たす.
任意の本義Lorentz変換 とパリティ変換 の積を考える,
の行列式をとると となり, は の元であることがわかる.
同じように時間反転変換 との積を考える,
の行列式をとると となる.
さらに 成分は なので, は の元であることがわかる.
さらに という変換は行列式が で 成分は 以下なので の元である.
以上から の4つの連結成分はパリティ変換と時間反転変換によって移りあうことがわかった.