李群与李代数的起源

1832 年，二十岁的 Évariste Galois 在一场决斗前夜写下了一篇论文，用"群"——置换的集合——来解释为什么一般的五次方程没有根式解。Galois 的核心洞察是：代数方程的可解性取决于它所拥有的对称性。置换群越"大"，方程就越受约束，根的结构就越特殊；当群的结构简单到一定程度时，方程就可以用根式求解。

四十多年后，挪威数学家 Sophus Lie 站在 Galois 的肩膀上，问了一个更深层的问题：

这个问题的答案就是今天所说的李群（Lie group）和李代数（Lie algebra）。它们不是凭空发明的抽象概念，而是从一个非常具体的数学动机中生长出来的——就像微积分从求面积和瞬时速度的问题中生长出来一样。

Marius Sophus Lie（1842–1899）出生于挪威西海岸的小镇 Nordfjordeid。他在 University of Christiania（今奥斯陆大学）学习科学课程时，并不以数学见长 #MacTutor Lie。转折发生在 1862 年：临时教师 Ludwig Sylow 开设了一门课，专门讲解 Abel 和 Galois 关于代数方程的工作 #MacTutor Lie。这些思想在 Lie 心中种下了一颗种子——群论可以成为理解数学结构的强大工具。

1867 年的一个深夜，Lie 突然获得了一个关键的几何想法——他兴奋地冲到朋友 Ernst Motzfeldt 家，把他叫醒并大喊："我找到了！它很简单！" #MacTutor Lie 这个灵感来自 Plücker 的线几何：用直线（而非点）作为空间的基本元素 #MacTutor Lie。

1869 年，Lie 在 Crelle's Journal 上发表了第一篇论文，这为他赢得了一笔旅行奖学金。他先到柏林，在那里遇到了 Felix Klein——两人的数学风格截然不同，却一见如故。Klein 是代数学家的思维，着迷于具体问题的精妙结构；Lie 是分析学家的思维，总是从特殊情形出发寻求最大的推广 #MacTutor Lie。正是这种互补，催生了数学史上最重要的合作之一。

1870 年春天，Lie 和 Klein 在巴黎重逢。在那里，他们遇到了 Camille Jordan——Jordan 让 Lie 真正理解了群论对几何的威力 #MacTutor Lie。Lie 开始思考变换群与几何的关系，并与 Klein 一起讨论这些新想法。这段合作直接催生了 Klein 1872 年的 Erlangen 纲领 #Wikipedia Lie group。

然而 Lie 的核心目标并不在几何——而在微分方程。他的 "idée fixe"（执念）是：

具体来说，Lie 研究的是接触变换（contact transformations）——一种可以同时变换自变量、因变量及其偏导数的变换。他发现，这些变换可以组合成封闭的系统，而 Jacobi 的积分方法可以被理解为在这种变换下的不变性 #MacTutor Lie。到 1873–1874 年冬，Lie 开始系统地发展他的连续变换群理论——也就是后来的李群理论 #Wikipedia Lie group。

讽刺的是，Lie 后来离开了他最初想研究微分方程的初衷，转向了对变换群本身的纯粹结构研究。正如 Wikipedia 所指出的：

1872 年，Felix Klein 在 Erlangen 大学发表了著名的就职演讲——Erlangen 纲领。核心思想可以用一句话概括：

例如：欧氏几何研究等距变换群 E(3) 下的不变量（长度、角度、面积）；仿射几何研究仿射变换群下的不变量（平行关系）；射影几何研究射影变换群下的不变量（交比）。群越大，保留的不变量越少，但理论越深刻 #Wikipedia Erlangen。

Klein 提出了纲领，但 Lie 是"第一个让它在数学上生效的人" #EMS Press Lie-Klein。Lie 为 Erlangen 纲领提供了具体的数学实现——他的连续变换群恰好就是 Klein 所需要的几何工具。

从这个角度看，李群的诞生不是为了发明某种抽象代数结构，而是为了回答一个非常自然的问题：几何学中那些"连续的"对称性（旋转、平移、缩放），能不能像 Galois 的离散对称性一样，用群的语言来精确描述？

Lie 最伟大的成就，不仅是发明了连续变换群的概念，而是发现了一个化繁为简的方法：

用一个类比来理解：

更具体地说：李群在恒等元处的切空间（tangent space）就是李代数。李括号 $__MATHBLOCK_0__ = XY - YX$ 衡量的是两个无穷小变换之间的不可交换性——先做 $X$ 再做 $Y$，和先做 $Y$ 再做 $X$，差别有多大 #Wikipedia Lie algebra。

这个洞察的力量在于：李代数是一个简单的线性对象（向量空间 + 括号运算），却能完全确定李群的局部结构。正如 Lie 的三定理所确立的，对于单连通的李群，李代数甚至能完全确定全局结构 #nLab Lie theorems。

值得注意的是，"李代数"这个名字不是 Lie 自己起的。Lie 把它叫做 infinitesimal group（无穷小群）。直到 1930 年代，Hermann Weyl 才将其命名为 Lie algebra #Wikipedia Lie algebra。这个改名反映了一个重要的视角转变：从 Lie 的几何直觉转向现代的代数观点。

Lie 建立了连续变换群的理论框架，但并未完成对它们的全景式分类。这个工作由两位数学家接力完成。

Wilhelm Killing（1847–1923）是一位在德国 Braunsberg（今波兰 Braniewo）一所不起眼的教会学校任教的数学家。1888 年，他发表了题为 Die Zusammensetzung der stetigen endlichen Transformationsgruppen 的系列论文 #Wikipedia Lie group。有趣的是，Killing 的出发点不是微分方程，而是几何——他试图从非欧几何的角度理解空间结构 #Helgason Killing。

Killing 的贡献被数学史家 A. J. Coleman 称为"有史以来最伟大的数学论文" #Coleman greatest paper。在这篇论文中，Killing 引入了今天称为 rank（秩）、Cartan subalgebra（嘉当子代数）、root system（根系）、Cartan integers（嘉当整数）等核心概念 #Coleman greatest paper。他证明了：

然而 Killing 的证明包含错误和不完整之处。Élie Cartan（1869–1951）——受 Lie 的学生 Arthur Tresse 的建议——在 1894 年的博士论文中系统地修正和完善了 Killing 的分类 #Wikipedia Élie Cartan。Cartan 的工作远不止"修正 Killing 的错误"——他进一步发展了对称空间理论、外微分形式、以及李群在微分几何中的应用，被认为是 20 世纪最伟大的数学家之一 #Wikipedia Élie Cartan。

Lie 发明连续变换群是为了解微分方程。Killing 和 Cartan 对它进行分类是出于纯粹的数学好奇心。然而在 20 世纪，李群和李代数经历了一场意想不到的"跨界"——它们成为了现代物理学的语言。

Noether 定理：对称性 = 守恒定律（1918）

1918 年，Emmy Noether 证明了一个划时代的定理：每一个连续对称性都对应一个守恒定律 #Noether 1918。时间平移对称性 → 能量守恒；空间平移对称性 → 动量守恒；旋转对称性 → 角动量守恒。Noether 定理的形式化直接依赖于李群的作用——对称性群在流形上的作用产生了对应的守恒量 #nLab Noether。从此，物理学家开始意识到：理解一个系统的对称性群，就等于理解了它的守恒结构。

Weyl：群论与量子力学的联姻（1927–1928）

Hermann Weyl 在 1927–1928 年间发表了一系列论文，将李群的表示论引入量子力学 #Wikipedia Sophus Lie。他的经典著作 Gruppentheorie und Quantenmechanik（《群论与量子力学》，1928 年）系统地将李群、李代数和表示论应用于原子光谱的分析 #Weyl 1928。Weyl 不仅给出了半单李群不可约表示的分类（highest weight 理论），还明确区分了 Lie 的"无穷小群"和李群本身 #Wikipedia Lie group。

粒子物理与标准模型

到 20 世纪中叶，李群成为了粒子物理学的基本语言：

• Wigner（1939）：通过洛伦兹群的酉表示对基本粒子进行分类 #Wigner 1939
• Yang-Mills（1954）：提出非阿贝尔规范场论，使用 SU(2) 李群描述强相互作用 #Yang-Mills 1954
• 标准模型：粒子物理标准模型的规范群是 SU(3) × SU(2) × U(1) #Wikipedia Standard Model——其中 SU(3) 描述色力（量子色动力学），SU(2) × U(1) 描述电弱力

回到用户最初的问题：

判断：方向正确，但需要精确化。

Lie 确实受到 Galois 理论的深刻启发——他曾在 Sylow 的课上学习过 Abel 和 Galois 的工作 #MacTutor Lie，也在巴黎受到 Jordan 的影响 #MacTutor Lie。但 Lie 的目标不是"积分的可解性"，而是微分方程在对称性下的约化——能否找到一个微分方程的连续变换群，像 Galois 群揭示多项式方程的可解性一样，揭示微分方程的可积性？

所以，李群李代数的本质可以分层理解：