马里乌斯·索菲斯·李（Marius Sophus Lie）

连续对称性的奠基人——他把「群」从离散的代数对象扩展为连续的几何对象，发现一个连续变换群可以被它的无穷小生成元（李代数）完全刻画，由此为从微分方程到量子场论的整个现代科学提供了「对称」这一通用语言。

一、生平与时代背景

马里乌斯·索菲斯·李于 1842 年 12 月 17 日生于挪威西部的诺德菲尤雷德（Nordfjordeid）。父亲约翰·赫尔曼·李（Johann Herman Lie）是路德宗牧师，母亲出身特隆赫姆的名门；他是六个孩子中最小的一个。他先在挪威东南部港口城市莫斯（Moss）上小学，1857 年进入克里斯蒂安尼亚（Christiania，后改名 Kristiania，1925 年起称奥斯陆）的尼森私立拉丁学校。他本打算从军，但因视力不佳被军队拒绝，遂进入克里斯蒂安尼亚大学（即后来的奥斯陆大学）。

在大学他攻读综合理科课程，1862 年听了西洛（Ludwig Sylow）代布罗赫（Broch）讲授的一门课，其中介绍了阿贝尔与伽罗瓦关于代数方程的工作；他也听了卡尔·比耶克内斯（Carl Bjerknes）的数学课。尽管老师不乏名家，他 1865 年毕业时并未展现出突出的数学才能，也谈不上对数学有特别偏好。毕业后他一度不知该选什么方向，靠教学生糊口，曾考虑过天文学、力学、植物学、动物学、物理，颇为迷茫。但从 1866 年起，图书馆记录清楚地显示他的兴趣正稳步转向数学。

1867 年，李有了第一个让他确信自己志在数学的灵感。这个想法在半夜袭来，他兴奋地冲去见朋友恩斯特·莫茨费尔特（Ernst Motzfeldt），把他叫醒喊道：「我找到了，这很简单！」（I have found it, it is quite simple!）此后他便义无反顾地走上了数学道路。1868 年他如饥似渴地阅读普吕克（Plücker）与蓬斯莱（Poncelet）的几何论文——普吕克「以直线而非点作为空间元素来创造新几何学」的宏大思想，贯穿了李一生的工作。

1869 年，李自费发表了一篇数学短文（基于 1867 年的灵感），克里斯蒂安尼亚科学院不愿发表，李一度对能否被数学界接受感到绝望；在莫茨费尔特的鼓励下，转机在 1869 年底出现——《克雷尔杂志》接受了他的论文。凭借这篇论文，他获得奖学金赴国外访学。1869 年底他前往普鲁士，访问哥廷根与柏林。在柏林他会见了克罗内克、库默尔与魏尔斯特拉斯；他不喜欢柏林占主导地位的魏尔斯特拉斯风格，而更认同库默尔，还在库默尔的讨论班上纠正了库默尔关于三线汇工作中的若干错误。最重要的是，他在柏林结识了比自己小七岁的费利克斯·克莱因（Felix Klein）——两人都因普吕克的线几何而结缘（克莱因是普吕克的学生，李虽未见过普吕克，却总说自己觉得像是普吕克的学生），立刻找到了共同语言。两人在性格与数学风格上截然不同：代数学家克莱因着迷于特殊问题的精巧之处，分析学家李则从特殊情形出发、寻求问题在恰当一般化中的理解。

1870 年春，李与克莱因在巴黎重逢，会见了达布（Darboux）、沙勒（Chasles）与卡米耶·若尔当（Camille Jordan）。若尔当成功地让李认识到群论对几何学研究的重要性（这是西洛当年没能做到的），李由此开始形成后来出现在其变换群工作中的思想，并与克莱因合作发表了数篇论文——这些合作的成果之一便是克莱因 1872 年以群作用下不变量刻画几何的《爱尔兰根纲领》。正是在巴黎，李发现了切触变换（contact transformations）：他找到了直线与球面之间的一一对应，使相切的球对应于相交的线。

法普战争的爆发打断了巴黎的数学讨论。1870 年 7 月 19 日法国对普鲁士宣战，身为普鲁士公民的克莱因不得不立即返回柏林；李是挪威人，本想留下，但 8 月德军在梅斯围困法军后，他决定徒步前往意大利，在枫丹白露被捕，被当作德国间谍——他的数学笔记被误认为是绝密密码。经达布出面干预，李才获释（狱中关了约一个月）。9 月 1 日法军投降，19 日德军开始封锁巴黎，李再次逃往意大利，再经德国返回克里斯蒂安尼亚，途中与克莱因继续讨论数学。这段「间谍案」让他在挪威名声大噪。

1871 年李成为克里斯蒂安尼亚大学的助理，并在母校尼森私立拉丁学校兼课。他提交了博士论文《论一类几何变换》（挪威文，Over en Classe geometriske Transformationer），1872 年 7 月获博士学位——达布称这是「现代几何最漂亮的发现之一」。挪威议会随即于 1872 年为他设立了一个特别教授职位。同年，他与西洛花了八个月编辑出版了挪威同胞阿贝尔的全集（李始终声称大部分工作是西洛做的）。1872 年底他向 18 岁的安娜·伯奇（Anna Birch）求婚，1874 年结婚，育有三个孩子：玛丽（1877）、达格妮（1880）、赫尔曼（1884）。

李开始研究偏微分方程，希望找到一种类似伽罗瓦理论的微分方程理论——他写道：「微分方程理论是现代数学中最重要的学科。」他考察切触变换如何影响雅可比从已知解生成新解的过程，由此把变换以某种方式组合起来，他称之为「无穷小群」（infinitesimal group）——用今天的话说，这就是李代数。1873—1874 年冬，他开始系统发展后来被称为「李群」的连续变换群理论，暂时搁置了原先对偏微分方程的研究。

尽管李做出了高度原创的数学，他却越来越因得不到数学界的认可而沮丧。原因之一是他在克里斯蒂安尼亚的孤立，之二是他的论文难以读懂——部分因写作风格，部分因他的几何直觉远超同时代人。克莱因意识到这个问题，想出了一个好主意：派弗里德里希·恩格尔（Friedrich Engel）去克里斯蒂安尼亚协助李。恩格尔 1883 年在莱比锡获博士学位（师从阿道夫·迈尔，论文关于切触变换），1884 年起在克里斯蒂安尼亚与李合作了九个月（1885 年离开）。恩格尔后任莱比锡教职，1886 年克莱因离开莱比锡讲席赴哥廷根时，李被任命继任。李与恩格尔的合作持续了九年，最终成果是三卷本巨著《变换群理论》（Theorie der Transformationsgruppen，1888—1893）。

在莱比锡，李进入了数学主流，各国学生慕名而来；但教学负担很重，且他思乡情切，怀念挪威的森林与山川。1880 年代末，他与恩格尔的关系破裂；1892 年他与克莱因的毕生友谊也告破裂，次年他在《变换群理论》第三卷的序言中公开攻击克莱因，称「我不是克莱因的学生，反过来也不是——虽然反过来可能更接近事实」。1889 年 11 月他精神崩溃入院，至 1890 年 6 月才出院。他的恶性贫血（pernicious anemia，一种因维生素 B12 吸收障碍导致的疾病）不断恶化。1898 年 5 月他辞去莱比锡职位，9 月回到挪威，就任克里斯蒂安尼亚为他特设的讲席。1899 年 2 月 18 日，他在克里斯蒂安尼亚因恶性贫血去世，年仅 56 岁。

李生前获得多项荣誉：1878 年伦敦数学会荣誉会员，1892 年法国科学院通讯院士，1894 年曼彻斯特文哲学会荣誉会员，1895 年英国皇家学会外籍会员、美国国家科学院外籍院士，1897 年获罗巴切夫斯基奖章。他也是阿贝尔奖的早期推动者：受南森基金与「诺贝尔奖没有数学奖」的启发，他四处奔走，呼吁设立一个纯数学的杰出奖项（阿贝尔奖最终于 2001 年正式设立、2002 年首次颁发）。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 切触变换与线—球对应（1870，巴黎）

问题背景：19 世纪几何学家关心不同几何对象之间能否建立保持某种结构的对应。普吕克开创了「以直线为空间元素」的线几何。

关键思想：李在巴黎发现了一种切触变换：在三维空间中，把有向直线与有向球面之间建立一一对应，使得相切的球面对应于相交的直线。这是一种比射影变换更一般的变换，它保持的是「切触关系」（两条曲线/曲面相切）而非长度或角度。

精确表述：切触变换是接触几何的前身——在 $2n+1$ 维接触流形上保持接触分布（接触形式 $\alpha$ 定义的超平面场）的微分同胚。李的线—球对应是其最经典的例子：把直线（4 个参数）与有向球面（4 个参数：球心 3 个 + 半径（带符号）1 个）等同，切触关系被保持。

意义：开创了接触几何这一分支，也为微分方程（一阶 PDE 可视为接触流形上的子流形）提供了几何语言。

2. 连续变换群与无穷小生成元（李群—李代数的发现，1873—1874 起）

问题背景：伽罗瓦用有限群刻画代数方程的可解性；李的梦想是为微分方程建立类似的「伽罗瓦理论」，而微分方程的对称性天然是连续的（如平移、旋转可以连续变化）。

关键思想：李的核心洞察是：一个连续变换群（后来称为李群）的整体结构，可以完全由它在单位元附近的无穷小变换（即切空间中的向量场）来刻画。这些无穷小生成元在「李括号」（对易子）运算下封闭，构成一个李代数。

精确表述：设变换群依赖 $r$ 个连续参数，其无穷小生成元为向量场 $X_1,\ldots,X_r$，则任意两个生成元的对易子仍是生成元的线性组合： $$[X_i,X_j]=X_iX_j-X_jX_i=\sum_{k=1}^r c_{ij}^k X_k,$$ 其中 $c_{ij}^k$ 是结构常数，满足反对称性 $c_{ij}^k=-c_{ji}^k$ 与雅可比恒等式 $c_{ij}^k c_{kl}^m+c_{jk}^l c_{li}^m+c_{ki}^l c_{lj}^m=0$。满足这些的代数结构即李代数。

与前人关系：若尔当 1870 年在巴黎让李认识到群的重要性；李把群从离散推广到连续，并首次用无穷小方法线性化群的结构。

意义：这是整个现代李理论的起点——把非线性的群运算归结为线性的李代数运算，是 20 世纪数学与物理最具生产力的思想之一。

3. 李的三个基本定理（群—代数对应）

问题背景：李群（整体、非线性）与李代数（局部、线性）之间究竟是什么关系？能否从一个得到另一个？

关键思想 / 精确表述：李证明了三条基本定理，建立了局部李群与李代数的等价： - 第一基本定理：一个局部变换群的无穷小变换构成一个李代数（对易子封闭、满足雅可比恒等式）。 - 第二基本定理：反过来，给定满足雅可比恒等式的结构常数，存在相应的无穷小变换系（本质上是从李代数恢复局部群的无穷小作用）。 - 第三基本定理：每个有限维实李代数都是某个局部李群的李代数。

与前人 / 后世关系：李只证明了局部版本（1870—1880 年代）；整体版本（每个有限维李代数对应一个单连通李群）由Élie 嘉当（Élie Cartan）等人在 20 世纪初完成。嘉当—基灵（Killing）对复半单李代数的分类（1888—1890 基灵，1894 嘉当）正是在李的框架上完成的。

意义：群—代数对应使李群的研究可以转化为线性代数问题，是李理论的核心定理。

4. 用群方法求解微分方程（「微分方程的伽罗瓦理论」）

问题背景：李的原始动机：能否像伽罗瓦用群判断代数方程可解性那样，用连续对称群判断并求解微分方程？

关键思想：如果一个微分方程在某个连续变换群（对称群）下不变，就可以利用这个对称性降阶或积分。例如，若 ODE 在平移下不变，则可降低一阶；若有 $r$ 维对称群，可系统化简。

精确表述：李发展了一套微分不变量与无穷小变换的演算：对一阶 ODE $y'=f(x,y)$，若向量场 $X=\xi(x,y)\partial_x+\eta(x,y)\partial_y$ 生成的变换保持方程，则可用首次积分（不变量）降阶。这套方法后来在《已知无穷小变换的微分方程讲义》（Vorlesungen über Differentialgleichungen mit bekannten infinitesimalen Transformationen，1891，与谢费斯 Scheffers 合著）中系统整理。

局限性：李最初希望对所有微分方程建立完整的伽罗瓦式理论，但这一目标过于宏大；他的方法对具体方程非常有效，却未能给出代数方程那样干净的可解性判据。后来皮卡—韦西奥（Picard–Vessiot）理论、微分伽罗瓦理论才在更窄的范围内实现了部分梦想。

意义：开创了用对称性求解微分方程的系统方法，今天仍是工程与物理中求解 PDE/ODE 的标准技巧（诺特定理也正是这一思想在力学中的结晶）。

5. 《变换群理论》三卷本（1888—1893，与恩格尔合著）

问题背景：李的思想虽深刻，但写作晦涩，难以为人理解；需要一部系统、可读的权威著作来奠定连续群理论。

内容：在克莱因建议下，恩格尔 1884 年赴克里斯蒂安尼亚协助李，两人合作九年完成三卷《变换群理论》（Theorie der Transformationsgruppen，1888、1890、1893，莱比锡 Teubner）。这是李群与李代数理论的奠基性巨著，系统阐述了有限连续变换群的结构、无穷小生成元、变换群在微分方程与几何中的应用。

与作者关系的张力：李在第三卷序言中公开攻击克莱因，且李—恩格尔关系也在 1880 年代末破裂。关于这部著作的归属与两人关系，学界有争议：恩格尔死后所写的传记材料与克莱因的「辩护」长期主导了叙事，近年研究（基于莱比锡大学档案）认为李对恩格尔「缺乏创造性」的评价并非全无道理，而克莱因关于李「天才与疯狂」的解释对李造成了不公（详见第六节）。

意义：直到今天，李群论的现代形式与李的原始工作已大不相同，但《变换群理论》是该学科的奠基文本。

6. 球面几何（Lie sphere geometry）与 W 曲线

问题背景：李对线、球等几何元素的变换研究，发展出一套统一不同经典几何的框架。

关键思想：李的球面几何把点、有向球面、有向超平面作为射影空间中的点（李四次曲面），把切触变换实现为射影变换，从而统一度量几何、共形几何与接触几何的某些侧面。他与克莱因在 1870 年合作研究了W 曲线——在射影变换群下不变的曲线。

意义：这些工作展示了李用群与变换统一几何的纲领，与克莱因的爱尔兰根纲领相互呼应（两人在 1870—1872 年的密切合作是这两个纲领的共同源头）。

7. 对后世半单李代数分类与理论物理的奠基性影响

问题背景：李建立了框架，但连续群的深层结构（哪些是「基本构件」）需要进一步分类。

发展：基灵（Wilhelm Killing）在 1888—1890 年独立地研究了与李群相伴的李代数（方式令李不满意），复半单李代数的分类由Élie 嘉当在 1894 年完成（$A_n,B_n,C_n,D_n$ 及五个例外型 $G_2,F_4,E_6,E_7,E_8$）。20 世纪外尔（Hermann Weyl）把李群用于量子力学（1922—1923），自此李群成为粒子物理标准模型、规范场论、广义相对论对称性分析的核心数学语言。

意义：可以说，没有李的连续群理论，就没有现代理论物理的对称性语言。

四、代表著作与文献

• 《变换群理论》（Theorie der Transformationsgruppen，三卷，1888 / 1890 / 1893，莱比锡 Teubner；与弗里德里希·恩格尔合著）：李群与李代数理论的奠基巨著。第一卷有 Joël Merker 英译本（2015，arXiv:1003.3202）。
• 《已知无穷小变换的微分方程讲义》（Vorlesungen über Differentialgleichungen mit bekannten infinitesimalen Transformationen，1891，与格奥尔格·谢费斯合著）：用对称性求解微分方程的系统方法。
• 《连续群讲义》（Vorlesungen über continuierliche Gruppen，1893，与谢费斯合著）。
• 《切触变换几何》（Geometrie der Berührungstransformationen，1896，与谢费斯合著）。
• 博士论文《论一类几何变换》（Over en Classe geometriske Transformationer，1871，挪威文；1872 年获学位）。
• 《李—恩格尔全集》（Gesammelte Abhandlungen，七卷，1922—1960，恩格尔与希高 Poul Heegaard 编辑）。

五、师承、学派与同时代交往

• 师承：克里斯蒂安尼亚大学师从西洛（代讲阿贝尔—伽罗瓦理论）、卡尔·比耶克内斯；博士导师为卡尔·安东·比耶克内斯与古德贝格（Cato Guldberg）。李始终认为自己在精神上是普吕克的学生（虽未谋面）。
• 费利克斯·克莱因：1869 年在柏林结识，1870 年在巴黎密切合作，两人共同发展了群与几何的思想，分别孕育出李的连续群理论与克莱因的爱尔兰根纲领。1892 年友谊破裂，1893 年李公开攻击他；两人关系的是非曲直至今学界有争议。
• 卡米耶·若尔当：1870 年在巴黎让李认识到群论对几何的根本重要性，是李转向群论的关键推动者。
• 让·加斯东·达布：巴黎数学界朋友，1870 年在枫丹白露狱中营救李出狱；称李的博士论文是「现代几何最漂亮的发现之一」。
• 西洛：大学老师与同事，1872 年合编阿贝尔全集（李称大部分工作是西洛做的）。
• 弗里德里希·恩格尔：1884 年起的合作者，协助完成《变换群理论》；1880 年代末关系破裂。
• 阿道夫·迈尔：莱比锡教授，恩格尔的导师，支持了李—恩格尔合作。
• 基灵、嘉当：独立推进李代数结构研究的继承者（基灵的方式令李不满，嘉当完成半单李代数分类）。
• 学生：Élie 嘉当（20 世纪最伟大数学家之一）、汉斯·布利克费尔特（Hans Blichfeldt）、格哈德·科瓦列夫斯基（Gerhard Kowalewski）、卡齐米日·茹拉夫斯基（Kazimierz Żorawski）、埃林·霍尔斯特（Elling Holst）、埃德加·洛维特（Edgar Odell Lovett）、卢茨安·博特赫尔（Lucjan Böttcher）。
• 学派归属：挪威数学传统（阿贝尔的精神传人）与 19 世纪末德国几何—群论传统的桥梁。

六、争议、公案与历史评价

• 与克莱因的决裂及「爱尔兰根纲领」起源之争：1892 年李与克莱因友谊破裂，1893 年李在《变换群理论》第三卷序言中公开攻击克莱因。长期以来，关于这一事件的叙事主要依据恩格尔写的讣告与克莱因的「辩护」（克莱因用「天才与疯狂」的关系解释李的行为），使李显得「不理性」。近年研究（Straume、Purkert 等，基于莱比锡大学档案）指出：爱尔兰根纲领早期并未引起注意，实际上是李而非克莱因本人推动了纲领所设想的数学发展；克莱因 1890 年代重印纲领并撰写其起源时，李强烈反对克莱因对往事的叙述，且克莱因烧毁了 1877 年前收到的全部李的来信（违反了两人此前的约定）。因此当前研究倾向于认为李的行为并非全然不理性，而是事出有因——学界有争议，评价在持续变化。
• 与恩格尔关系的破裂：Purkert 基于莱比锡档案认为，李改变对恩格尔的态度，是因为他仍感未获足够认可，而他清楚自己在创造性上与恩格尔不在一个层次；李在离任报告中对恩格尔「缺乏创造性」的评价「相当公允」——学界有争议。
• 精神疾病的归因：早期说法把李 1889 年的崩溃归因于「过度劳累」。Fritzsche 等基于病史的研究否定了「过劳致病」说，并指出病情（恶性贫血）能解释其传记中的某些行为变化（与恩格尔、克莱因的决裂）。死因为恶性贫血（维生素 B12 吸收障碍）现已确认。
• 被低估与难懂：李生前长期感到不被认可，其论文因写作风格晦涩、几何直觉过强而难以为同时代人理解；外尔曾指出，「在 19 世纪的大师中，李的工作就细节而言今天最不为人所知」——他的思想影响巨大，但其原始文本与现代形式相距甚远。
• 历史评价：李被公认为 19 世纪最重要的数学家之一，李群与李代数已渗透到数学与物理的几乎所有核心分支。阿贝尔奖最终的设立，也延续了他生前的未竟之愿。

七、身后影响与学术谱系

• 对数学：李群与李代数是 20 世纪数学的核心语言，深刻影响了微分几何（对称空间、联络）、代数拓扑、表示论、调和分析、微分方程、数论（朗兰兹纲领）、动力系统等。Élie 嘉当、外尔、庞特里亚金、谢瓦莱等是其直接或间接的继承者。
• 对理论物理：外尔 1922—1923 年把李群引入量子力学；此后李群成为粒子物理标准模型（规范群 $U(1)\times SU(2)\times SU(3)$）、规范场论、广义相对论（洛伦兹群、微分同胚群）、弦论的核心数学工具。可以说现代物理的「对称性」概念完全建立在李的框架上。
• 对微分方程：用对称群降阶、积分的方法，经索菲斯·李本人、诺特（Noether 定理：连续对称性对应守恒律，1918）、现代几何分析发展，是数学物理的标准方法。
• 命名遗存：李群、李代数、李括号、李导数、李变换、李球面几何、W 曲线、李三定理、李—科尔钦定理、卡拉西奥多里—雅可比—李定理；以他命名的 Sophus Lie 讲座、奥斯陆大学的 Sophus Lie 中心。
• 文化与制度：李推动的阿贝尔奖于 2001 年设立，2002 年首次颁发，成为与菲尔兹奖并列的数学最高荣誉之一。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Sophus Lie：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Wikipedia: Sophus Lie：生平、著作、争议与身后影响的交叉核对。
• Wikipedia: Lie group：李群的定义、历史与应用。
• Wikipedia: Lie algebra：李代数的结构与历史。
• Wikipedia: Lie's third theorem：李第三定理的精确表述与历史。
• Wikipedia: Contact geometry：切触变换与接触几何的历史。
• Wikipedia: List of things named after Sophus Lie：以他命名的概念一览。
• Arild Stubhaug, The Mathematician Sophus Lie (Springer, 2002)：权威传记（MacTutor 参考来源）。
• Isaak Yaglom, Felix Klein and Sophus Lie: Evolution of the Idea of Symmetry (Birkhäuser, 1988)：李与克莱因围绕对称性的思想史。
• Bernd Fritzsche, "Sophus Lie: A Sketch of his Life and Work" (Journal of Lie Theory, 1999)：李的生平与工作综述（含其病情分析）。