李群（矩阵）

李群是这样一种群：其元素构成一个光滑形状——一张弯曲的曲面（流形）——在其上乘法与求逆都光滑地变化。于是你能在群上做微积分：求导、画光滑路径、谈论切方向。它刻画了连续对称的观念，比如所有旋转构成的那不间断的一族。

对我们而言，具体的例子就是矩阵群：GL(n)、O(n)、SO(n)、U(n)、SU(n)、SL(n)、Sp(2n)。每一个都是由光滑方程（如 A^T A = I）从矩阵中切出的子集，从而成为 M_n 的一个光滑子流形，而矩阵乘法与求逆是多项式/有理的、故光滑。按一条干净的定理，矩阵李群无非就是 GL(n) 的一个闭子群——无需额外假设。

回报在于几何与代数的融合。坐在单位元处你会找到一个切空间；该切空间连同换位子括号，便是群的李代数，它把群几乎全部的结构编码进一个你早已会计算的平直、线性的对象之中。矩阵指数则是从代数攀回群上的那座桥。

关于“光滑流形”一词的一点提醒：它意味着群在局部看起来像某个固定 d 维的平直 R^d，d 即群的维数。SO(3) 是 3 维流形，U(1) 是 1 维的圆，GL(n,R) 是 n^2 维的开区域。紧性、连通性与维数是你最先读出的不变量——而它们在上述各群之间差异显著。