right250px 洛倫茲變換是觀測者在不同慣性參照系之間對物理量進行測量時所進行的轉換關係，在數學上表現為一套方程組。洛倫茲變換因其創立者 荷蘭物理學家亨德里克洛倫茲而得名。洛倫茲變換最初用來調和 19 世紀建立起來的經典電動力學同牛頓力學之間的矛盾，後來成為狹義相對論中的基本方程組。 洛倫茲變換的提出 19 世紀後期建立了麥克斯韋方程組，標誌著經典電動力學取得了巨大成功。然而麥克斯韋方程組在經典力學的伽利略變換下並不是協變的。 由麥克斯韋方程組可以得到電磁波的波動方程，由波動方程解出真空中的光速是一個常數。按照經典力學的時空觀，這個結論應當只在某個特定的慣性參照系中成立，這個參照系就是以太。其它參照系中測量到的光速是以太中光速與觀察者所在參照系相對以太參照系的速度的向量疊加。然而 1887 年的邁克耳孫 莫雷實驗測量不到地球相對於以太參照系的運動速度。1904 年，洛倫茲提出了洛倫茲變換用於解釋邁克耳孫 莫雷實驗的結果。根據他的設想，觀察者相對於以太以一定速度運動時，長度在運動方向上發生收縮，抵消了不同方向上的光速差異，這樣就解釋了邁克耳孫 莫雷實驗的零結果。 洛倫茲變換的數學形式 洛倫茲提出洛倫茲變換是基於以太存在的前提的，然而以太被證實是不存在的，根據光速不變原理，相對於任何慣性參照系，光速都具有相同的數值。愛因斯坦據此提出了狹義相對論。在狹義相對論中，空間和時間並不相互獨立，而是一個統一的四維時空整體，不同慣性參照系之間的變換關係式與洛倫茲變換在數學表示式上是一致的，即： begin cases x frac xvtsqrt 1frac v2c2 y y z z t frac tfrac vc2 xsqrt 1frac v2c2 end cases 其中 x、y、z、t 分別是慣性座標系 Σ 下的座標和時間，x、y、z、t 分別是慣性座標系 Σ 下的座標和時間。v 是 Σ 座標系相對於 Σ 座標系的運動速度，方向沿 x 軸。 由狹義相對性原理，只需在上述洛倫茲變換中把 v 變成 v，x、y、z、t 分別與 v x、y、z、t 互換，就得到洛倫茲變換的反變換式： begin cases x frac xvtsqrt 1frac v2c2 y y z z t frac tfrac vc2 xsqrt 1frac v2c2 end cases 洛倫茲變換是高速運動的宏觀物體在不同慣性參照系之間進行時空座標變換的基本規律。當相對速度 v 遠遠小於光速 c 時，洛倫茲變換退化為經典力學中的伽利略變換 begin cases x xvt y y z z t t end cases 所以，狹義相對論與經典力學並不矛盾，狹義相對論將經典力學擴充套件到了宏觀物體在一切運動速度下的普遍情況，經典力學只是相對論在低速時（v 遠遠小於 c）的近似情況。一般在處理運動速度不太高的物體時（如天體力學中計算行星的執行軌道），不需考慮到相對論效應，因為用相對論進行處理時計算往往變得非常繁瑣，而結果與經典情況相差不大。當處理高速運動的物理時，比如高能加速器中的電子，則必須要考慮相對論效應對結果帶來的修正。 洛倫茲變換的四維形式 在狹義相對論中，某一事件可以用帶有四個引數的時空座標（txyz）來描述，洛倫茲變換就是在不同慣性參考系中觀察同一事件的時空座標變換關係，並且是滿足四維空間中時間間隔 s2c2t2x2y2z2 不變的變換。如果將 x、y、z 記成 x1、x2、x3，並且令： begin cases x0 ct xprime0 ctprime end cases 那麼洛倫茲變換可以寫成如下的矩陣形式： begin bmatrix xprime0xprime1xprime2xprime3end bmatrix begin bmatrix gammabetagamma00 betagammagamma00 0010 0001 end bmatrixbegin bmatrix x0x1x2x3end bmatrix 其中 beta frac vc quad gamma frac 1sqrt 1beta2 frac 1sqrt 1frac v2c2，gamma 被稱為洛倫茲因子。 勞侖茲變換的推導 相對原則和光速不變的物理原則是狹義相對論通常的出發點（例：愛因斯坦最初對勞侖茲變換的推導）。實際上勞侖茲變換並不取決於光的物理性質：最重要的是粒子間的作用的局域性：一粒子對另外一粒子的影響作用不能任意快地傳遞，而作用傳遞的最高速度必須在所有參照系都是一樣的速度）。此最高速度剛好等於真空中光速。 從群論出發的推導 所有參照系間轉換以轉換疊加作為乘法組成一個群。它們符合以下公理： 閉合：兩個參照系轉換疊加得另外一轉換。以 K to Kprime 寫 K 到 Kprime。那對任意三個參照系 K to Kprimeprime K to Kprime Kprime to Kprimeprime 結合律：K to Kprime left Kprime to Kprimeprime Kprimeprime to Kprimeprimeprimeright left K to Kprime Kprime to Kprimeprimeright Kprimeprime to Kprimeprimeprime 單位元：存在保留參照系的單位轉換 K to K 逆元：對任何參照系轉換 K to Kprime 都有返回原本參照系的轉換 Kprime to K 符合群公理的轉換矩陣 考慮兩個參照系 K 和 Kprime，Kprime 的原點相對 K 原點速度為 v（設運動方向為 z 方向，以下忽略無關的 x 和 y 方向）。出於時空的均勻性勞侖茲變換必須保留慣性運動，因此它必須是一個綫性轉換而可以以矩陣表示： begin pmatrix tprime zprimeend pmatrix begin pmatrix Lambda_11 Lambda_12 Lambda_21 Lambda_22 end pmatrix begin pmatrix t z end pmatrix 以上 Lambda_ij 是有待計算的矩陣元。它們是相對速度 v 的函式。 參照系 Kprime 的原點 Oprime 在參照系 K 的運動： begin pmatrix tprime 0end pmatrix begin pmatrix Lambda_11 Lambda_12 Lambda_21 Lambda_22 end pmatrix begin pmatrix t v t end pmatrix 得 Lambda_21v Lambda_220 同樣參照系 K 的原點 O 在參照系 Kprime 的運動： begin pmatrix tprime v tprime end pmatrix begin pmatrix Lambda_11 Lambda_12 Lambda_21 Lambda_22 end pmatrix begin pmatrix t 0 end pmatrix 得 Lambda_21 v Lambda_110 因此主斜兩項相等且可稱為 gammaequivLambda_11 Lambda_22。還有 Lambda_21 v gamma： begin pmatrix tprime zprimeend pmatrix begin pmatrix gamma Lambda_12 v gamma gamma end pmatrix begin pmatrix t z end pmatrix 因為 tprime gamma t，gamma 的意義就是時間膨脹的因子。因為時空的各向同性，gamma 只能取決於速度而不取決於方向。也就是說 gamma vgamma v。 群元可逆因此取逆矩陣： begin pmatrix t zend pmatrix frac 1gamma2 Lambda_12 v gamma begin pmatrix gamma Lambda_12 v gamma gamma end pmatrix begin pmatrix tprime zprime end pmatrix 當然逆轉換隻等同於反方向同速的轉換。運用上段 gamma 的性質 frac 1gamma2 Lambda_12 v gamma begin pmatrix gamma Lambda_12 v gamma gamma end pmatrix begin pmatrix gamma Lambda_12 v gamma gamma end pmatrix 每項比較得到： gamma2 Lambda_12 v gamma 1 從群的閉合性要求連續兩次轉換等於以速度和的單次轉換。也就是說兩個矩陣的積： begin pmatrix gammaprime Lambda_12prime vprime gammaprime gammaprime end pmatrix begin pmatrix gamma Lambda_12 v gamma gamma end pmatrix begin pmatrix gammaprimegamma Lambda_12prime vgamma gammaprimeLambda_12 gammaLambda_12prime gammaprimegamma vvprime gammaprime gammavprime gammaprime Lambda_12end pmatrix 必須擁有同樣的矩陣型式。這意味著主斜綫上兩項相等。因此以下比例： kappa equiv frac Lambda_12v gamma frac Lambda_12primevprime gammaprime 必須是一個和參照系相對速度 v 無關的常數。 插入較前等式得 gamma 的定義： gamma frac 1sqrt 1 kappa v2 而最廣泛的勞侖茲變換矩陣型式為： frac 1sqrt 1kappa v2 begin pmatrix 1 kappa v v 1 end pmatrix 到這裡 c2 frac 1kappa 就是轉換的不變速度。如果 kappa0，c 是一個速度的下限。這明顯與物理現實不符。因此 kappale0。但還可以分成 kappa0 和 kappa0 兩種情形： 伽利略轉換 kappa0 得伽利略轉換矩陣： begin pmatrix tprime zprime end pmatrix begin pmatrix 1 0 v 1end pmatrix begin pmatrix t z end pmatrix 在此情況下時間是絕對的：tprime t。 勞侖茲變換 在更一般 cfrac 1sqrt kappa infty 的情況就得到先前的勞侖茲變換矩陣： begin pmatrix tprime zprime end pmatrix frac 1sqrt 1 frac v2c2 begin pmatrix 1 frac vc2 v 1end pmatrix begin pmatrix t z end pmatrix c 是在所有參照系內不變的速度上限。 到底世界是屬於 kappa0 還是 kappa0 型別是最終只能靠實驗驗證。例如邁克耳孫 莫雷實驗。 速度變換公式 由洛倫茲變換可以得到相對論的速度變換公式。設 ux、uy、uz 分別是物體在慣性座標系 Σ 下沿各座標軸的速度分量，ux、uy、uz 分別是物體在慣性座標系 Σ 下沿各座標軸的速度分量，那麼： u_x frac u_xv1 frac v u_xc2 u_y frac u_ysqrt 1frac v2c21frac vu_xc2 u_z frac u_zsqrt 1frac v2c21frac vu_xc2 如果把 v 變成 v，ux、uy、uz 分別與 ux、uy、uz 互換，就得到上述速度變換的反變換式。 當速度 v 遠小於光速時，上述速度變換式退化為經典的速度變換式： u_x u_x v u_y u_y u_z u_z 其他物理量的變換 對於有著類時分量 A 和類空分量 mathbf ZZ_xZ_yZ_z 的四維向量 Amathbf Z，其閔考斯基範（Minkowski norm）是洛倫茲不變數（Lorentz invariant）： A2 mathbf Zcdotmathbf Z A2 mathbf Zcdotmathbf Z。 所以我們可以仿照四維位置的洛倫茲變換，寫出一般四維向量的洛倫茲變換： begin align A gamma left A mathbf Zcdotboldsymbol betarightmbox ， mathbf Z mathbf Z gamma1mathbf Zcdotmathbf nmathbf n gamma Aboldsymbol betambox ， end align 其中 boldsymbol beta mathbf vc vmathbf nc，mathbf n 是 mathbf v 方向上的單位向量。mathbf Z（和 mathbf Z）分解成垂直 mathbf v 方向和平行於 mathbf v 方向的方法與位置向量的分解方法相同。取得逆變換的方法也是與四維位置的情況相同，就是交換 Amathbf Z 與 Amathbf Z，然後使用相反的相對運動方向，即 mathbf n mapsto mathbf n。 常見的四維向量如下表： 四維向量 A mathbf Z 四維位置 時間（乘以 c）ct 位置向量 mathbf r 四維動量 能量（除以 c）Ec 動量 mathbf p 四維波向量 角頻率（除以 c）omegac 波向量 mathbf k 四維自旋 （無名稱）s_text t 自旋 mathbf s 四維電流密度 電荷密度（乘以 c）rho c 電流密度 mathbf j 四維電磁位勢 電位（除以 c）phic 磁向量位 mathbf A 洛倫茲變換的幾何理解 在平面幾何，一個向量在某座標系統為 xy。如果我們在原點以 theta 順時針旋轉原本座標軸做新的座標系統。在新系統內，同一向量座標為：xprimeyprime： begin bmatrix xprimeyprimeend bmatrix begin bmatrixcostheta sintheta sintheta costhetaend bmatrix begin bmatrix xyend bmatrix 當然雖然向量的座標在不同座標系統裡面不一樣，它的長度不變：xprime2yprime2x2y2。 另外如果我們以另外角度 phi 再旋轉一次，那向量新座標和原座標關係為： begin bmatrix xprimeprimeyprimeprimeend bmatrix begin bmatrixcos thetaphi sin thetaphi sin thetaphi cos thetaphiend bmatrix begin bmatrix xyend bmatrix 即：連續的轉角可加。 我們可以相似般把洛倫茲變換看成一種類似的座標旋轉。定義快度 wtext arctanhbeta。那以上洛倫茲變換公式可以寫成（略去不受影響的 x2 和 x3）： begin bmatrix xprime 0 xprime 1end bmatrix begin bmatrixcosh w sinh w sinh w cosh wend bmatrix begin bmatrix x0 x1end bmatrix 也就是說：洛倫茲變換數學上等同於雙曲角旋轉。此座標 旋轉 中類似 長度 的不變數是： xprime 02xprime 12x02x12。 如果我們先轉換到相對原本參考系統速度為 beta_21 的參考系統，然後再轉換到相對第二個參考系統速度為 beta_32 的參考系統。令 w_21text arctanhbeta_21、w_32text arctanhbeta_32。那麼在原本參考系統座標為 x0x1 的事件在兩次轉換後參考系統內座標 xprimeprime0xprimeprime1 為： begin bmatrix xprimeprime0 xprimeprime1end bmatrix begin bmatrixcosh w_21 w_32 sinh w_21 w_32 sinh w_21 w_32 cosh w_21 w_32end bmatrix begin bmatrix x0 x1end bmatrix 所以我們發現洛倫茲變換裡直接相加的數量不是速度 beta 而是這個類似角度的 wtext arctanhbeta。日常經驗我們使用的伽利略變換把速度直接相加減。這是因為在速度遠小於光速（betall 1）的時候 w 近似速度 wsimeq beta。 當然我們也可以直接從原本的參考系統直接轉換到最後的參考系統。如果兩者速度為 beta_31，那麼 begin align w_31 w_21 w_32 tanh w_31 tanh w_21 w_32 frac tanh w_21 tanh w_321tanh w_21 tanh w_32 beta_31 frac beta_21 beta_321beta_21 beta_32 end align 因此得到相對論速率加法公式。 群論表述 齊次勞侖茲群 相關條目 洛倫茲協變性 勞侖茲群 勞侖茲因子 參考資料 L Category 基本物理概念 Category 理論物理 Category 數學物理 Category 時空 Category 座標系