李群与李代数是一对描述连续对称性的全局与局部结构.
- 李群 (Group, G): 一个连续的光滑流形, 描述几何层面上的全局 有限的对称变换 (例如: 旋转 30 度).
- 李代数 (Algebra, g): 李群在单位元处的切空间, 描述局部, 线性的无穷小变换 (例如: 旋转的角速度).
文档-所有文档
LIST
WHERE (file.folder=this.file.folder
OR contains(dlink,link(this.file.name)))
AND !contains(file.name,this.file.name)
李群与李代数的关系
李代数 g (切空间) 是一个向量空间, 而李群 G 是一个弯曲的微分流形. 我们通过两个关键工具连接它们:
- 指数映射 (Exponential Map): exp:g→G
- 它将"无穷小变换" (代数) "积分" 成了"全局变换" (群) .
- 直观理解: 将"角速度" (代数元素 A) 转换为"旋转角度" (群元素 eA) .
- 李括号 (Lie Bracket): [A,B]=AB−BA
- 李代数 g 上的"乘法" , 即**对易子**.
- 它衡量了两个无穷小变换 (A 和 B) 的交换次序所产生的差异, 这编码了李群 G 的非交换 (非阿贝尔) 程度.
对照表
李群 (大写字母) 是矩阵群, 李代数 (小写哥特字母 g) 是其对应的矩阵代数.
| 名称 | 李代数 g | 对应李群 G | 定义条件 (代数 g) | 李括号 | 几何或物理意义 |
|---|
| 广义线性 | gl(n,R) | GL(n,R) | 所有 n×n 实矩阵 | [A,B]=AB−BA | 最一般的李代数, 包含所有线性变换 |
| 特殊线性 | sl(n,R) | SL(n,R) | Tr(A)=0 | [A,B]=AB−BA | 对应保持体积的变换 (行列式为 1) |
| 正交 (旋转) | so(n) | SO(n) | A+AT=0 (反对称) | [A,B]=AB−BA | 旋转群; 反对称矩阵生成空间旋转 |
| 特殊酉 | su(n) | SU(n) | A+A†=0, Tr(A)=0 | [A,B]=AB−BA | 量子力学; 反厄米, 迹为零; 保持复内积和体积 |
| 海森堡 | hn | Heisenberg 群 | [pi,qj]=δijI, 其余为 0 | 算符对易关系 | 量子力学位置-动量的非交换结构 |
应用
- --微分几何-- (联络与曲率)
- 机器人动力学 (使用 SO(3) 和 SE(3) 描述刚体姿态)
- 量子力学 (使用 SU(n) 描述粒子对称性)