李代数与生成元：切空间

把单参数子群看作速度

单参数子群是穿过单位元的光滑路径 g(t) = exp(tA)，满足 g(s+t) = g(s)g(t)。在 t = 0 处求导：d/dt exp(tA) 在 t=0 = A。所以 A 是曲线离开单位元时的速度向量。每一个你能从 I 流出的方向都是某个矩阵 A，而 exp 把这个方向变回那条流。

条件 g(s+t) = g(s)g(t) 说明这条曲线把时间的加法变成群中的乘法——是从实数轴到李群的同态。反过来，每条这样穿过单位元的光滑曲线都是某个唯一 A 的 exp(tA)。于是单参数子群与其生成元 A 恰好一一对应，这是群与其切方向之间第一本具体的字典。

作为切空间的李代数

把所有这些速度向量收集起来，就得到群的李代数：单位元处的切空间，用小写哥特字母记号写（so(n)、su(n) 等等）。它是一个向量空间——对加法和数乘封闭——比弯曲的群本身平直、容易得多。对每个群的定义方程求导，就揭示出它的代数。

写 g(t) = exp(tA)，代入群的定义条件（例如 Q^T Q = I）。
用 d/dt exp(tA) = A 与乘积法则在 t = 0 处求导。
读出对 A 的线性条件：该条件就定义了李代数。

# Differentiate the orthogonal condition for SO(n):
  ( exp(tA) )^T ( exp(tA) ) = I        for all t
  exp(tA^T) exp(tA) = I
d/dt at t=0:    A^T + A = 0       =>   A^T = -A

# so the Lie algebra so(n) = { antisymmetric matrices }.
# Same method gives:
  su(n) = { A : A* = -A (anti-Hermitian),  trace A = 0 }
  sl(n) = { A : trace A = 0 }     (from det exp(tA) = e^{t*traceA} = 1)

对每条群律求导得到一个线性条件——它的李代数。

生成元：整个群的一组小基

因为李代数是向量空间，它的一组基给出少数几个无穷小生成元，整个群由它们经 exp 构建。对 SO(3)，代数 so(3) 是三维的，有三个生成元 Lx、Ly、Lz——每个旋转轴一个。exp(theta * Lz) 是绕 z 轴转 theta 的旋转。三个小矩阵编码了每一个空间旋转。

为何要在代数里工作

李代数是群的线性化——它把弯曲、非交换的几何换成你在第一卷就会处理的平直向量空间。加法、数乘、求基都行得通。但群结构里有一件事是普通加法看不见的：生成元如何不可交换。捕捉它正是括号的任务，也是整个课程的收获。