矩陣群與李理論
單參數子群
在李代數中挑一個方向 X,就一直朝那個方向走。你描出的路徑 t -> exp(tX) 便是一個單參數子群:一條穿過單位元的光滑曲線,同時也是從實直線到群的同態。它是連續對稱隨時間展開的最乾淨圖景。
形式地說,單參數子群是光滑映射 gamma : R -> G,滿足 gamma(0) = I 以及對一切 s, t 有 gamma(s + t) = gamma(s) gamma(t)。同態律說的是「先流 s 時間再流 t 時間,等於流 s + t 時間」。一條定理:矩陣李群中每條這樣的曲線都形如 gamma(t) = exp(tX),其中 X 是李代數中唯一的元素,即 X = gamma'(0)。
所以單參數子群與李代數元素是同一組數據的兩種看法:X 是初速度,exp(tX) 是它生成的軌跡。這恰是線性常微分方程 x'(t) = X x(t) 的流:代數元素 X 是速度場,子群 exp(tX) 是 t 時刻的流映射。
它為何重要:物理守恆律與連續對稱(時間中的旋轉、平移、量子力學中的相位演化)全都是單參數子群。一點提醒:像可以繞回。在環面上取無理斜率,曲線永不閉合,且填滿一個稠密子集,這表明單參數子群未必是閉的(嵌入的)子流形。
X = [0, -1; 1, 0], gamma(t) = exp(tX) = [cos t, -sin t; sin t, cos t], traces out SO(2)
單個生成元 X 隨 t 取遍實數,旋出整個旋轉群 SO(2)——典範的單參數子群。
同態律 gamma(s+t) = gamma(s)gamma(t) 恰是指數律 e^{s+t} = e^s e^t 提升到矩陣的版本——而它之所以成立,正因為 tX 與 sX 可交換,故一起被取指數的矩陣都只是同一個 X 的標量倍。
又稱
另見