| tags |
dlink |
author |
aliases |
|
[[-高等数学进阶-]] |
[[--线性代数--]] |
[[--微分几何--]] |
|
|
Lie group and Lie algebra |
|
[!info]
李群与李代数是一对描述连续对称性的全局与局部结构.
-
[[李群]] (Group, $G$): 一个连续的光滑流形, 描述几何层面上的全局 有限的对称变换 (例如: 旋转 30 度).
-
[[李代数]] (Algebra, $\mathfrak{g}$): 李群在单位元处的切空间, 描述局部, 线性的无穷小变换 (例如: 旋转的角速度).
LIST
WHERE (file.folder=this.file.folder
OR contains(dlink,link(this.file.name)))
AND !contains(file.name,this.file.name)
李代数 $\mathfrak{g}$ (切空间) 是一个[[线性空间|向量空间]], 而李群 $G$ 是一个弯曲的[[微分流形]]. 我们通过两个关键工具连接它们:
-
[[指数映射]] (Exponential Map): $\exp: \mathfrak{g} \to G$
- 它将"无穷小变换" (代数) "积分" 成了"全局变换" (群) .
-
直观理解: 将"角速度" (代数元素 $A$) 转换为"旋转角度" (群元素 $e^A$) .
-
[[李括号]] (Lie Bracket): $[A, B] = AB - BA$
- 李代数 $\mathfrak{g}$ 上的"乘法" , 即**[[对易子]]**.
- 它衡量了两个无穷小变换 ($A$ 和 $B$) 的交换次序所产生的差异, 这编码了李群 $G$ 的非交换 (非阿贝尔) 程度.
李群 (大写字母) 是[[矩阵]]群, 李代数 (小写哥特字母 $\mathfrak{g}$) 是其对应的矩阵代数.
| 名称 |
李代数 $\mathfrak{g}$
|
对应李群 $G$
|
定义条件 (代数 $\mathfrak{g}$) |
李括号 |
几何或物理意义 |
| 广义线性 |
$\mathfrak{gl}(n, \mathbb{R})$ |
$GL(n,\mathbb{R})$ |
所有 $n\times n$ 实矩阵 |
$[A,B]=AB-BA$ |
最一般的李代数, 包含所有线性变换 |
| 特殊线性 |
$\mathfrak{sl}(n, \mathbb{R})$ |
$SL(n,\mathbb{R})$ |
$\operatorname{Tr}(A)=0$ |
$[A,B]=AB-BA$ |
对应保持体积的变换 (行列式为 1) |
| 正交 (旋转) |
$\mathfrak{so}(n)$ |
$SO(n)$ |
$A + A^T = 0$ (反对称) |
$[A,B]=AB-BA$ |
旋转群; 反对称矩阵生成空间旋转 |
| 特殊酉 |
$\mathfrak{su}(n)$ |
$SU(n)$ |
$A + A^\dagger = 0$, $\operatorname{Tr}(A)=0$
|
$[A,B]=AB-BA$ |
量子力学; 反厄米, 迹为零; 保持复内积和体积 |
| 海森堡 |
$\mathfrak{h}_n$ |
Heisenberg 群 |
$[p_i,q_j]=\delta_{ij}I$, 其余为 0 |
算符对易关系 |
量子力学位置-动量的非交换结构 |
- [[--微分几何--]] (联络与曲率)
- [[机器人动力学]] (使用 $SO(3)$ 和 $SE(3)$ 描述刚体姿态)
- 量子力学 (使用 $SU(n)$ 描述粒子对称性)
学习李群李代数的前置知识取决于你的学习目标。
- 如果侧重于矩阵群(Matrix Groups),可以绕过深奥的微分几何快速入门
- 如果追求一般理论,则必须具备流形基础。
-
线性代数(极高要求): 这是李理论的基石。你需要精通特征值/特征向量、Jordan 标准型、双线性型、算子指数映射 $e^A$ 以及张量积。
-
基础群论: 熟悉群、子群、同态、商群、中心等概念即可,不需要复杂的有限单群分类知识。
-
多变量微积分: 理解全微分、雅可比矩阵(Jacobian)、反函数定理和隐函数定理。
-
点集拓扑: 理解开集、闭集、连通性(特别是通路连通)、紧致性和基本群(Fundamental Group)的概念。
- 不需要深度补充的情况: 如果你通过 Brian Hall 的《Lie Groups, Lie Algebras, and Representations》这种“矩阵群路径”入门,你只需要知道李群是矩阵的子群,其李代数是单位元处的切空间(切向量即矩阵)。在这种路径下,微分几何不是必需的,可以快速入门。
- 必须深度补充的情况: 如果你打算学习抽象李群(如变分法、广义相对论或高深拓扑应用),则必须掌握:
- 微分流形(Differential Manifold): 坐标图、切空间(Tangent Space)。
- 向量场与李括号: 理解切丛、向量场的流以及由换位子定义的李括号 [X, Y]。
如果你希望以最快速度建立直观并上手计算,建议走矩阵群路线:
| 推荐教材 |
风格与前置要求 |
| Brian Hall《Lie Groups, Lie Algebras, and Representations》 |
首选入门。从矩阵指数映射开始,避开了抽象流形,适合物理或工科背景。 |
| Stillwell《Naive Lie Theory》 |
极其直观,几乎只需要多变量微积分和线性代数。 |
| Humphreys《Introduction to Lie Algebras》 |
侧重李代数。如果你只关心代数结构(如根系、Dynkin图),可以完全跳过群和流形。 |
| Kirillov Jr.《Introduction to Lie Groups and Lie Algebras》 |
兼顾几何与代数,适合数学系学生。 |
| 总结: |
|
| 可以快速入门。最快路径: 先复习矩阵指数运算和线性代数,直接读 Brian Hall 的前三章。遇到“切空间”或“连通性”概念时,再按需查阅微分流形或拓扑学笔记。 |
|
| 请问你是为了物理应用(如量子力学、规范场论)还是纯数学研究学习李理论?我可以为你推荐更精准的侧重点。 |
|