求導後留存的對易子
兩個矩陣的李括號是對易子 [A, B] = AB - BA。它恰是普通向量加法丟失的那部分群結構。Baker-Campbell-Hausdorff 公式把這點說清楚：exp(A)exp(B) = exp(A + B + (1/2)[A,B] + ...)。當 A、B 可交換時括號為零，指數乾淨地相加；否則 [A,B] 是首項修正。
關鍵在於，若 A、B 在某個李代數中，則 [A, B] 也在其中——代數對括號封閉。所以李代數是帶有這個額外括號乘積的向量空間，它完全用平直的數據編碼了彎曲、非交換的群結構。這正是線性化無損的原因。
# so(3) generators (rotations about x, y, z): Lx = [0,0,0; 0,0,-1; 0,1,0] Ly = [0,0,1; 0,0,0; -1,0,0] Lz = [0,-1,0; 1,0,0; 0,0,0] # brackets reproduce the axis cycle x -> y -> z -> x: [Lx, Ly] = Lx*Ly - Ly*Lx = Lz [Ly, Lz] = Lx [Lz, Lx] = Ly # these structure constants ARE the geometry of rotation.
SU(2)、四元數與二重覆蓋
這就是明珠。特殊酉群 SU(2) 的代數 su(2) 與 so(3) 有*相同*的括號關係——它們是同一個李代數。但群不同：存在一個光滑的 2 比 1 映射 SU(2) -> SO(3)，所以 SU(2) 二重覆蓋旋轉群。SU(2) 中的 g 與 -g 送到同一個旋轉，這就是為什麼自旋 1/2 的粒子必須轉 720 度而非 360 度才回到自身。
具體地，單位四元數就是 SU(2)。單位四元數 q 通過夾心 v |-> q v q^-1 旋轉向量，用簡單乘法複合旋轉，且永不發生萬向鎖。這就是為什麼遊戲引擎和航天器把定向存為四元數——這個抽象的二重覆蓋是已知最實用的旋轉格式。
表示與不變測度
表示把抽象的群實現為作用在向量空間上的實際矩陣——讓同一個對稱同時作用於標量、向量、張量或量子態。伴隨表示是群通過 g . X = g X g^-1 作用於自身代數；求導後它就是括號 [A, X]。所以括號就是群對自身的無窮小作用。
線性代數以連續對稱重生
回看這條主線。第一卷的可逆矩陣成了群；保長度者成了 O(n)、SO(n) 和 U(n)；指數把每個群橋接到其平直的李代數；括號捕捉到普通線性所遺漏的。同一個分類電子自旋的 SU(2)，也在你手機裡格式化每一次三維旋轉。
這就是這個領域的收穫。線性代數不只是解方程組、對角化矩陣——它是連續對稱的語言。粒子物理的標準模型建立在 U(1) x SU(2) x SU(3) 上；廣義相對論建立在洛倫茲群上；機器人學與圖形學建立在 SE(3) 上。掌握矩陣群與李理論，你就握住了統一幾何、物理與計算的語法。