求导后留存的对易子
两个矩阵的李括号是对易子 [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) 上。掌握矩阵群与李理论，你就握住了统一几何、物理与计算的语法。