查看“︁勞侖茲群”︁的源代码

{{NoteTA
|G1=物理學
|G2=Math
}}
{{李群}}
[[File:Hendrik Antoon Lorentz.jpg|300px|right|thumb|[[亨德里克·勞侖茲|亨德里克·安東·勞侖茲]] (1853–1928)，勞侖茲群以其姓氏命名。]]
[[物理學]]與[[數學]]中，'''勞侖茲群'''（{{lang-en|Lorentz group}}）為[[閔可夫斯基時空]]中，所有[[勞侖茲變換]]所構成的[[群]]，其涵蓋了除了[[重力]]現象以外的所有[[古典場論|古典場]]。勞侖茲群是以[[荷蘭]]物理學家[[亨德里克·勞侖茲]]來命名。

以下領域的數學形式：
* [[狹義相對論]]中的[[運動學]]
* [[電磁學]]理論中的[[馬克士威方程組]]
* 電子理論中的[[狄拉克方程式]]
在勞侖茲變換下皆保持不變。因此勞侖茲群展現了許多[[定律|自然定律]]的基礎[[對稱性]]。

== 基本性質 ==
勞侖茲群是[[龐加萊群]]的[[子群]]。龐加萊群是[[閔可夫斯基時空]]中所有[[等距同構]]（Isometry）的群。勞侖茲變換為所有保持原點固定的等距同構。因此，勞侖茲群為閔可夫斯基時空中{{link-en|等距同構群|isometry group}}的[[群作用|迷向子群（isotropy subgroup）]]。因為這個緣由，勞侖茲群有時也稱作「齊次勞侖茲群」（homogeneous Lorentz group），而龐加萊群被稱作「非齊次勞侖茲群」（inhomogeneous Lorentz group）。勞侖茲變換是[[線性映射|線性變換]]的例子；閔可夫斯基時空中的廣義等距同構變換為[[仿射變換]]。

數學中，勞侖茲群可以描述為[[廣義正交群]]O(1,3)，亦即'''R'''<sup>4</sup>中保持[[二次型]]的[[矩陣李群]]
: <math> (t,x,y,z) \mapsto t^2-x^2-y^2-z^2</math>。

此二次型可以[[矩陣]]形式表示，在物理學中被詮釋為閔可夫斯基時空中的[[度規張量]]：
: <math> \eta_{\mu \nu} = \begin{pmatrix}1 & 0 & 0 & 0\\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1\end{pmatrix}</math>。
勞侖茲群是六[[維度|維]][[连通空间|非連通]][[緊緻|非緊緻]][[阿貝爾群|非阿貝爾]]實[[李群]]。它的四個[[连通单元|連通單元]]是[[單連通|非單連通]]的。

勞侖茲群的單位連通區（就是包含單位元素的連通單元）本身就是一個群，常被稱為'''限制勞侖茲群'''，記號為SO<sup>+</sup>(1,3)。限制勞侖茲群包含了那些保存空間[[取向]]和時間方向的勞侖茲變換。

在量子場論中，SL(2, '''C''')常常被稱為勞倫茲群，而SO<sup>+</sup>(1,3)被視為它的一個特定（向量）表示。

=== 連通單元 ===
因為勞侖茲群O(1,3)是[[李群]]，所以它不僅有群的性質，而且可以在拓撲學上描述成[[光滑流形]]。勞侖茲群作為光滑流形，擁有四個連通單元。直觀上來說，就是它由四個拓撲分離的部分組成。

勞侖茲群的四個連通單元可以依據其元素的兩種變換性質而分成兩類：

* 有些元素會在時間反演的勞侖茲變換（例如指向未來的[[閔考斯基時空#因果結構|類時向量]]會被逆轉成指向過去）下被逆轉。
* 有些元素會在非正規勞侖茲變換（例如特定的{{Link-en|四腳場|Tetrad formalism}}）下讓取向被逆轉。

保存時間方向的勞侖茲變換稱為'''正時'''（orthochronous）'''勞侖茲變換'''。由所有正時勞侖茲變換組成的子群，記號為O<sup>+</sup>(1,3)。

保存空間取向的勞侖茲變換稱為'''正規'''（proper）'''勞侖茲變換'''，作為線性變換時，它們的行列式都是+1。'''非正規'''（improper）'''勞侖茲變換'''的行列式則都是–1。由所有正規勞侖茲變換組成的子群，記號為SO(1,3)。

既保存時間方向又保持空間取向的勞侖茲變換就叫做'''正規正時勞侖茲變換'''，它們組成'''正規正時勞侖茲子群'''，又稱'''限制勞侖茲群'''（restricted Lorentz group），記號為SO<sup>+</sup>(1,3)。注意有些作者會使用SO(1,3)或甚至O(1,3)來表達SO<sup>+</sup>(1,3)。

== 相關條目 ==
* [[勞侖茲變換]]
* [[龐加萊群]]
* [[李群]]


{{狹義相對論}}

[[Category:李群]]
[[Category:狹義相對論|L]]