跳转到内容
← 返回概念
群论与微分几何约 17 分钟阅读

李群与李代数

Lie Group and Lie Algebra

关键人物：lie、killing、cartan、weyl
李群李代数连续对称指数映射规范理论

一个直觉：把"连续旋转"装进数学

拿起一个地球仪，让它绕轴慢慢转。每个时刻它都处在一个旋转状态，而所有可能的旋转连成一片——你可以从任意一个旋转平滑地滑到另一个旋转，中间不跳跃。这"一片连续的对称变换"，就是一个李群（Lie group）。

普通的群（比如骰子六个面的置换）是离散的，元素一个一个数得清。李群不同：它的元素填满了一个连续空间。三维空间里所有旋转构成的群 $SO(3)$ 是一个三维曲面（你需要三个角度才能指定一个旋转）；它既是群，又是流形——这就是李群的定义性特征。

那么"李代数"是什么？这里有一个极漂亮的想法：要研究一整片弯曲的对称空间太难，那就只看"单位元附近、刚刚开始动的那一瞬间"。 想象旋转刚启动的"初速度"——绕 x 轴转一点点、绕 y 轴转一点点、绕 z 轴转一点点。所有这些"无穷小旋转"构成一个普通的线性空间（向量空间），它就是李代数。

类比：李群是整条弯曲的赛道，李代数是你站在起点时所有可能的"出发方向"。神奇的是，起点的方向几乎决定了整条赛道——通过指数映射，无穷小的方向能"积分"成有限的运动。研究一个弯曲、难算的李群，就化归为研究一个平直、好算的向量空间。这是 19 世纪数学最深刻的化繁为简之一。

再换一个日常图像：汽车方向盘的转角是连续的，而棋盘上的骑士跳法是离散的。李群对应前者——对称操作可以无穷细分；李代数则像是"方向盘刚开始拧时，车头朝哪偏"。一旦把所有可能的微偏写成向量，再规定它们如何互相"纠结"（李括号），整片连续对称就被压成了一张有限维的线性代数清单。物理学家说"生成元"，数学家说"李代数元素"，说的是同一件事：从局部速度重建全局对称。

定义

李群是一个同时具有群结构与光滑流形结构的集合 $G$，且群运算

G×G→G, (a,b)↦ab与G→G, a↦a−1G \times G \to G,\ (a,b) \mapsto ab \qquad \text{与} \qquad G \to G,\ a \mapsto a^{-1}

都是光滑映射。直观说：它是一个"乘法和求逆都连续可微"的连续对称群。例子包括圆周 S1S^1（模 1 的实数加法）、旋转群 $SO(n)$、酉群 $U(n)$、一般线性群 GL(n,R)GL(n,\mathbb{R})。

光滑性不是装饰。若只要求连续群运算，得到的是拓扑群；再要求光滑，才能谈切空间、测地线式的单参数子群，以及把局部问题翻译成线性代数。许多重要例子先以矩阵群出现——$GL(n)$ 的开子集配上矩阵乘法——再抽象到一般流形上的群。矩阵图像有利于计算；抽象定义则保证旋转群、仿射群、洛伦兹群等在同一语言下并列。

李代数是与李群相伴的向量空间 g\mathfrak{g}，取作 $G$ 在单位元处的切空间 TeGT_eG，配上一个双线性、反对称且满足雅可比恒等式的运算——李括号 [⋅,⋅][\cdot,\cdot]：

[X,Y]=−[Y,X],[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0.[X,Y] = -[Y,X], \qquad [X,[Y,Z]] + [Y,[Z,X]] + [Z,[X,Y]] = 0.

对矩阵李群，李括号就是对易子 $[X,Y] = XY - YX$，它度量了两个无穷小变换"先后次序是否可交换"——这正是对称性"弯曲程度"的代数刻画。雅可比恒等式不是任意附加条件：它保证括号运算与向量场的李括号一致，从而与流形上的几何相容；缺少它，指数映射与伴随作用的标准公式就会崩塌。

指数映射（exponential map）exp⁡:g→G\exp: \mathfrak{g} \to G 把李代数元素送回李群。对矩阵李群，它就是矩阵指数

exp⁡(X)=∑k=0∞Xkk!,\exp(X) = \sum_{k=0}^{\infty} \frac{X^k}{k!},

直观上是"沿初速度 $X$ 走单位时间到达的群元素"。它把"无穷小的方向"积分成"有限的对称变换"。在连通且单连通的情形，李代数同态几乎一一对应于李群同态；一旦丢掉单连通性，指数映射仍局部可行，却可能无法覆盖全部全局拓扑——这正是下一节 $SU(2)$ 与 $SO(3)$ 分岔的几何根源。

核心内容

so(3) 与 su(2)：自旋背后的代数。 三维旋转群 $SO(3)$ 的李代数 so(3)\mathfrak{so}(3) 由三个无穷小旋转的生成元 Jx,Jy,JzJ_x, J_y, J_z 张成，满足

[Jx,Jy]=Jz,[Jy,Jz]=Jx,[Jz,Jx]=Jy,[J_x, J_y] = J_z, \quad [J_y, J_z] = J_x, \quad [J_z, J_x] = J_y,

这正是物理里角动量的对易关系。一个深刻而微妙的事实：su(2)\mathfrak{su}(2)（2×22\times 2 反厄米无迹矩阵）与 so(3)\mathfrak{so}(3) 作为李代数同构，但对应的李群 $SU(2)$ 与 $SO(3)$ 并不相同——$SU(2)$ 是 $SO(3)$ 的"二重覆盖"。直观后果：把电子绕一个方向旋转 360∘360^\circ，它的量子态并不回到原样，要转 720∘720^\circ 才复原。这就是"自旋 $1/2$"的数学根源——李群层面的全局差异，在李代数层面是看不出来的。

从几何上看，$SO(3)$ 拓扑同胚于三维实射影空间，$SU(2)$ 同胚于三维球面；后者是前者的双重覆盖，意味着两条看起来一样的旋转路径，在覆盖群里可能对应不同的端点。量子力学强制波函数取覆盖群上的表示，于是"转一圈不等于恒等"成为实验可检验的事实，而不是哲学隐喻。

李对应：群与代数的字典。 李群的局部结构（单位元附近）由它的李代数完全决定。这条"李对应"是整个理论的引擎：连通李群的子群、同态、表示，都可以翻译成李代数上的线性代数问题——而线性代数远比微分几何好处理。实际工作流程常是：先写出生成元与对易关系，再问哪些有限维表示存在、哪个理想对应正规子群、伴随轨道如何分类。群层面的非线性问题，被系统地压成矩阵与根系计算。

单李代数的分类。 这是 20 世纪数学最壮美的成就之一。复半单李代数被完全分类为四个无穷系列 An,Bn,Cn,DnA_n, B_n, C_n, D_n（对应特殊线性、正交、辛等经典群）外加五个例外 G2,F4,E6,E7,E8G_2, F_4, E_6, E_7, E_8。分类工具是根系（root system）与 Dynkin 图——纯组合的对象，却把所有连续对称性的"基本粒子"一网打尽。E8E_8 是其中最大的例外李群（248 维），在弦论与可积模型中反复出现。

根系的直观是：在嘉当子代数上，伴随作用可对角化，特征值（根）在欧氏空间里排成高度对称的有限点集；允许的夹角与长度比被内积公理严格限制，于是只剩下那几张 Dynkin 图。分类的力量在于：你不必逐个检查每一个可能的连续群，只要检查组合图是否连通、简单、满足几条局部规则。例外系列提醒我们——对称性的"周期表"比经典矩阵群更丰富，但仍然是有限张清单，而不是无穷无序的动物园。

破除两个常见误解

误解一：李代数比李群"简单"，所以信息更少。 恰恰相反——李代数虽然是个平直的向量空间、好算得多，但它捕捉的是李群在单位元附近的局部结构，会丢掉全局信息。前面 $SU(2)$ 与 $SO(3)$ 的例子就是铁证：它们的李代数完全同构，李群却不同（$SU(2)$ 二重覆盖 $SO(3)$）。换句话说，李代数只能区分李群的"局部长相"，分不清它们在大尺度上是怎么"绕回来"的。电子要转 720∘720^\circ 才复原这一物理事实，正藏在李代数看不见的那层全局差异里。

因此，"会算对易子"不等于"掌握了对称性"。还要问：群是否连通、是否单连通、中心有多大、指数映射是否满射。这些全局问题决定表示能否提升、路径积分里的拓扑项能否出现、以及经典力学里的角动量与量子自旋是否一一对应。

误解二：李括号 $[X,Y]$ 是某种"乘法"。 它不是结合的乘法，更像是在度量"两个操作的次序能不能交换"。对矩阵群，$[X,Y]=XY-YX$ 恰好衡量先做 $X$ 再做 $Y$ 与反过来做的差别。如果所有李括号都为零（阿贝尔李代数），对应的群就是可交换的（如平移群、圆周群）；李括号非零的程度，正是这片对称空间"弯曲""不可交换"的代数刻度。把它误当成普通乘法，就会错过李理论的全部要点。

一个实用判据：若两个生成元对易，它们生成的单参数子群可以任意调换顺序而不改变最终变换；若不对易，就必须用 Baker–Campbell–Hausdorff 公式把"误差"一项项补回来——那些补丁正是李括号及其嵌套。机器人手臂的姿态规划、量子门的分解、刚体姿态插值，背后都在处理同一套非交换几何。

前沿与未尽之问

单李代数虽被嘉当彻底分类，李理论本身却仍在生长，并留下了深刻的开放问题。

无穷维的世界尚未驯服。 嘉当分类的是有限维单李代数。一旦走向无穷维——如物理中无处不在的 Kac–Moody 代数、Virasoro 代数（弦论与共形场论的核心）——分类与表示理论变得远为复杂，许多问题至今开放。有限维的优美图景，在无穷维只投下零星的光。圈群、微分同胚群、映射空间上的李群在几何与流体力学中自然出现，但缺少有限维那种"根系+Dynkin 图"的终极清单；哪些表示可积、哪些中心扩张物理上可接受，仍依赖个案分析。

朗兰兹纲领：李群作为"罗塞塔石碑"。 当代数学最宏大的纲领之一——朗兰兹纲领（Langlands program）——把数论、调和分析与李群表示论编织在一起，其核心猜想正是用李群（及其"对偶群"）来沟通看似无关的数学世界。它统一了费马大定理证明背后的思想，被誉为"数学的大统一理论"，而绝大部分仍是猜想。几何朗兰兹与数论朗兰兹的平行表述，进一步把层论、范畴与自守形式拉进同一张网：李群不再只是对称性的容器，而成为不同数学语言之间的转译键。

例外群 E8E_8 的余韵。 2007 年，由杰弗里·亚当斯（Jeffrey Adams）领衔的 Atlas 项目用超级计算机算出了 E8E_8 这个 248 维例外群（分裂实形式）的完整表示信息——结果是一个 453060×453060453060 \times 453060 的多项式矩阵，存满约 60 GB（远超存储一份人类基因组所需，这一对比当年被广泛报道）。E8E_8 是否、以及如何在自然界的基本对称性中现身，仍是理论物理热烈猜想的对象——李理论最抽象的造物，始终诱惑着人们去物理世界里寻找它的影子。与此同时，计算表示论、实形式分类与酉对偶等工程化问题，也在提醒：即使分类"完成"，具体结构常数与分支规则仍可能是大规模计算对象。

历史

理论始于挪威数学家索菲斯·李（Sophus Lie）。受伽罗瓦用群论解决代数方程可解性的启发，李在 1870 年前后试图为微分方程建立一套类似理论：用"连续变换群"刻画微分方程的对称性，从而系统地求解。他在 1873—74 年冬开始系统发展连续变换群理论，并提出了"无穷小群"的想法——这正是李代数的雏形。在近乎孤立地工作十余年后，他与德国数学家弗里德里希·恩格尔（Friedrich Engel）合作，于 1888—1893 年出版三卷本《变换群理论》（Theorie der Transformationsgruppen）。

李最初关心的是：给定微分方程，它允许哪些连续变换而不改变方程形式；一旦对称性足够大，就可以降阶或求积。这一动机今天仍活在索福斯·李方法与可积系统理论中。把"对称性"从方程的附属物提升为独立研究对象，是他留给 20 世纪的真正遗产。

李代数的抽象化与分类，则由后人接力。威廉·基灵（Wilhelm Killing）在 1880 年代独立于李，研究与李群相伴的代数，并率先尝试分类——他引入了根系思想，尽管证明有缺陷。埃利·嘉当（Élie Cartan）在 1894 年的博士论文中修正并完成了复半单李代数的分类，奠定了现代李理论。赫尔曼·外尔（Hermann Weyl）在 1920 年代用"整体"方法（而非纯局部的无穷小方法）研究紧李群的表示，证明了完全可约性与外尔特征标公式，把李理论与量子力学、表示论紧密结合。

从基灵到嘉当，可以看到一种典型的数学史模式：大胆而不严谨的分类草案，被后来者以更清晰的线性代数语言重写并钉死。外尔则把目光从"无穷小生成元"转向紧群上的积分与平均，使表示论获得分析工具——这也为后来的谐波分析与对称空间理论铺路。

关键人物

索菲斯·李（1842—1899）是这一理论的创始人。他最初的动机是"把伽罗瓦理论推广到微分方程"，由此发现：连续对称性本身值得作为独立对象研究。"李群""李代数"以他命名。他的工作长期被同时代人低估，因其几何语言艰深，直到嘉当、外尔将其代数化、全局化后才显出全部威力。

威廉·基灵（1847—1923）在与李几乎不相往来的情况下，独立提出了用根系分类单李代数的纲领，发现了例外李代数的存在。他的论文写得晦涩、含错误，但思想的原创性使他成为分类理论的真正先驱。

埃利·嘉当（1869—1951）被公认为李理论的集大成者。他完成了半单李代数分类、发展了活动标架法与微分形式、研究了对称空间与旋量（spinor）。他的工具后来成为微分几何、广义相对论与规范理论的通用语言。

赫尔曼·外尔（1885—1955）把李群理论从局部推向全局，建立紧李群的表示论，并最早系统思考"规范不变性"——这一思想经杨振宁、米尔斯发展为现代规范场论的核心。

跨域连接

  • 微分几何：李群既是群也是流形，单位元处的切空间配上括号运算就是李代数，指数映射再把这块线性空间送回群里。推论是：连通群的局部结构完全由一个有限维线性空间决定，连续对称的分类因此被化归为线性代数问题。
  • 规范场与胶子：规范场的分量数等于规范群的维数，而作用在三种色荷上的特殊酉群维数是八。推论是：胶子应有八种而不是九种——这个数不是从实验里拟合出来的，是从群的维数算出来的，因而是一条可以被计数否证的预言。
  • 自旋的演化：自旋在磁场中的演化是二维特殊酉群里的旋转，每一个射频脉冲相当于沿群里的一段路径行走。推论是：相位散开后施加一个翻转脉冲，各自的相位差被整体反号并随后自动重新对齐，回波的出现正是群运算可逆性的直接后果。
  • 等变网络：卷积之所以有效，是因为它对平移群等变——输入平移，输出跟着平移。推论是：把平移群换成转动群并强制等变，网络在旋转过的测试样本上不靠数据增强也该保持精度，这是能直接跑实验检验的判断。
  • 各向同性的禁戒：液体或无序介质在整个转动群下不变，而在这个群下不变的奇数阶张量只能恒为零。推论是：均匀液体不产生二次谐波，要看到倍频必须先破坏中心对称——这条禁戒纯由连续群论推出，与具体是哪种分子无关。

参考文献

  1. Brian C. Hall, Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, 2nd ed., Graduate Texts in Mathematics 222, Springer, 2015.
  2. Sophus Lie, Friedrich Engel, Theorie der Transformationsgruppen, B. G. Teubner, 1888–1893 (3 vols.).
  3. James E. Humphreys, Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics 9, Springer, 1972.
  4. Hermann Weyl, The Classical Groups: Their Invariants and Representations, Princeton University Press, 1939.
  5. Élie Cartan, "Sur la structure des groupes de transformations finis et continus" (thèse), Paris, 1894.

延伸阅读

  1. Anthony W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Birkhäuser, 2002.
  2. 项武义, 《李群讲义》, 北京大学出版社.

李群是兼具群结构与光滑流形结构的对象，刻画连续对称性（如旋转群 $SO(3)$）；其李代数是单位元处的切空间，把曲折的群运算线性化为可计算的对易关系。二者是粒子物理标准模型规范对称性的数学语言。

正文中引用本条 · 4 · 其中 2 条来自其他领域

宇宙物理标准模型与超越闵可夫斯基时空与四维矢量