李代數與生成元：切空間

把單參數子群看作速度

單參數子群是穿過單位元的光滑路徑 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 的旋轉。三個小矩陣編碼了每一個空間旋轉。

為何要在代數裡工作

李代數是群的線性化——它把彎曲、非交換的幾何換成你在第一卷就會處理的平直向量空間。加法、數乘、求基都行得通。但群結構裡有一件事是普通加法看不見的：生成元如何不可交換。捕捉它正是括號的任務，也是整個課程的收穫。