第 55B 章 李代数与无限小生成元¶
前置：矩阵群 (Ch55A) · 矩阵指数 (Ch13) · 矩阵微积分 (Ch47A)
本章脉络：从连续群到无限小变换 \(\to\) 李代数 (Lie Algebra) 的抽象定义 \(\to\) 李括号 (Lie Bracket) 与交换子 \([A, B]\) \(\to\) Jacobi 恒等式 \(\to\) 矩阵群的指数映射 (Exponential Map) \(\to\) 典型 Lie 群对应的李代数（\(\mathfrak{gl}, \mathfrak{sl}, \mathfrak{so}, \mathfrak{su}, \mathfrak{sp}\)） \(\to\) 生成元与结构常数 \(\to\) 应用：量子力学中的角动量算符、控制理论中的可达性分析、机器人运动学中的速度映射
延伸：李代数是 Lie 群在单位元处的“线性化”；它将复杂的群乘法简化为向量空间的线性加法与括号运算，证明了连续对称性的所有局部信息都蕴含在其切空间中，是连接对称性与动力学的核心纽带
研究连续变换群（Lie 群）的一个极其强大的方法是研究其“无限小”的行为。李代数（Lie Algebra）正是这种微观局部结构的数学表现。通过矩阵指数映射，我们可以将李代数中的线性分量放大为 Lie 群中的整体变换。本章将介绍如何利用交换子这一代数工具，将对称性的研究从弯曲的流形转化到平直的切空间中。
55B.1 李代数与李括号¶
定义 55B.1 (李代数)
向量空间 \(\mathfrak{g}\) 配备二元运算 \([\cdot, \cdot]\)（李括号）称为李代数，如果满足： 1. 双线性。 2. 反对称性：\([X, Y] = -[Y, X]\)。 3. Jacobi 恒等式：\([X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0\)。 对于矩阵李代数，李括号即为交换子：\([A, B] = AB - BA\)。
55B.2 指数映射与切空间¶
定理 55B.1 (李代数作为切空间)
Lie 群 \(G\) 在单位元 \(I\) 处的切空间即为其对应的李代数 \(\mathfrak{g}\)。 对于任何 \(X \in \mathfrak{g}\)，曲线 \(\gamma(t) = e^{tX}\) 始终落在群 \(G\) 内。 直观理解：\(X\) 是产生群演化的“速度”或“生成元”。
55B.3 典型矩阵李代数¶
对应关系
- \(\mathfrak{sl}(n)\)：迹为 0 的矩阵（对应行列式为 1 的群）。
- \(\mathfrak{so}(n)\)：反对称矩阵 \(X^T = -X\)（对应旋转群）。
- \(\mathfrak{su}(n)\)：反厄米且迹为 0 的矩阵 \(X^* = -X, \operatorname{tr}(X)=0\)。
练习题¶
1. [基础] 验证矩阵交换子 \([A, B] = AB - BA\) 是否满足反对称性。
参考答案
验证： \([B, A] = BA - AB = -(AB - BA) = -[A, B]\)。 结论：满足。这反映了在无限小尺度下，操作顺序的差异正好变号。
2. [Jacobi] 证明：若 \(A, B, C\) 是矩阵，则 \([A, [B, C]] + [B, [C, A]] + [C, [A, B]] = O\)。
参考答案
证明： 展开各项： 1. \([A, BC-CB] = A(BC-CB) - (BC-CB)A = ABC - ACB - BCA + CBA\)。 2. 类似写出其余两项。 3. 将所有 12 个三项乘积组合相加，发现每一项（如 \(ABC\)）都会与其对应的负项抵消。 结论：Jacobi 恒等式对矩阵交换子恒成立。
3. [生成元] \(SO(2)\) 的李代数 \(\mathfrak{so}(2)\) 的基是什么？
参考答案
分析： 1. \(\mathfrak{so}(2)\) 由 \(2 \times 2\) 反对称矩阵构成。 2. 形式为 \(\begin{pmatrix} 0 & -\theta \\ \theta & 0 \end{pmatrix}\)。 基向量：\(X = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}\)。 验证：\(e^{\theta X} = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}\)，正是旋转群元素。
4. [迹性质] 证明：若 \(e^X \in SL(n)\)，则 \(\operatorname{tr}(X) = 0\)。
参考答案
证明： 1. 利用 Jacobi 恒等式：\(\det(e^X) = e^{\operatorname{tr}(X)}\)。 2. 已知 \(SL(n)\) 要求行列式为 1。 3. \(e^{\operatorname{tr}(X)} = 1 \implies \operatorname{tr}(X) = 0\)。 结论：特殊线性群的李代数由迹为零的矩阵组成。
5. [计算] 计算 \([ \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}, \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} ]\)。
参考答案
计算： 1. \(AB = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}\)。 2. \(BA = \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}\)。 3. \([A, B] = AB - BA = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}\)。 结论：这两个幂零元通过括号运算产生了一个对角元（权重算子），这是 \(SL(2)\) 李代数的标准结构。
6. [结构常数] 什么是李代数的结构常数？
参考答案
定义： 若基向量为 \(\{T_i\}\)，则其括号运算可以表示为基的线性组合： \([T_i, T_j] = \sum_k f_{ij}^k T_k\)。 系数 \(f_{ij}^k\) 称为结构常数。它们包含了李群所有的局部几何信息。
7. [酉代数] 为什么物理学中常在李代数前加一个 \(i\)？
参考答案
在量子力学中，物理观察量必须是厄米的（特征值为实数）。 而 \(SU(n)\) 的李代数 \(\mathfrak{su}(n)\) 是反厄米的。 通过定义 \(X = i H\)，将反厄米算子转化为厄米算子 \(H\)，使得生成元与物理动量或能量对应。
8. [性质] 证明：若 \(X\) 属于 \(\mathfrak{so}(n)\)，则其特征值必为纯虚数或 0。
参考答案
证明思路： 1. 反对称矩阵满足 \(X^T = -X\)。 2. 这意味着 \(iX\) 是一个厄米矩阵。 3. 厄米矩阵的特征值 \(\mu\) 为实数。 4. \(X\) 的特征值 \(\lambda = \mu / i = -i \mu\)。 结论：特征值位于虚轴上。这对应于系统只有震荡而没有发散或衰减。
9. [应用] 简述李括号在机器人可达性判定中的意义。
参考答案
如果机器人只有两个控制方向 \(X, Y\)，通过不断切换这两个方向（非线性组合），机器人实际上可以沿着 \([X, Y]\) 方向移动。如果所有可能的李括号组合能够张成整个空间的维数（周定理），则机器人是完全可控的。
10. [极限] 写出 \(e^{tX}\) 在 \(t \to 0\) 时的泰勒近似。
参考答案
结论： \(e^{tX} \approx I + tX\)。 这证明了李代数元素 \(X\) 确实是群演化的“一阶导数”或“切向量”。
本章小结¶
李代数是研究对称性演化的无限小显微镜：
- 线性化的威力：它将复杂的非线性群结构压缩为线性空间的向量运算，极大地简化了特征分析与分类问题。
- 动态的本质：通过指数映射，李代数揭示了所有连续变换都是由一组基础“生成元”通过积分演化而来的，确立了守恒律与对称性的对映。
- 结构的密码：李括号与结构常数构成了描述物理相互作用的代数密码，从角动量加法到标准模型规范场，李代数是现代物理大统一理论的唯一基座。