∑ 数学名人档案库
← 返回 赫尔曼·外尔 简介档案 深度档案
表示论数学物理几何

赫尔曼·外尔（Hermann Klaus Hugo Weyl）

20 世纪数学与物理之间最后一位「全才」——他是希尔伯特最得意的学生，却在数学基础上一度倒向布劳威尔的直觉主义；他在苏黎世的课堂上讲出了紧李群的特征标公式，又把同一套群论搬进了量子力学；他试图把电磁力「几何化」进广义相对论，虽然爱因斯坦当场否决，他提出的「规范不变性」却在三十年后长成了粒子物理标准模型的骨架。「我的工作总是力图把真与美统一，但当二者只能择其一时，我通常选择美。」——这句半开玩笑的话，恰恰是他一生风格的写照。

一、生平与时代背景

赫尔曼·克劳斯·胡戈·外尔（Hermann Klaus Hugo Weyl）于 1885 年 11 月 9 日出生在德国汉堡附近的小镇埃尔姆斯霍恩（Elmshorn），石勒苏益格-荷尔斯泰因州。他的父亲路德维希·外尔（Ludwig Weyl）是一家银行的经理，母亲安娜·迪克（Anna Dieck）出身富裕家庭。外尔在密友中被称为「彼得（Peter）」。少年时他已显露数学与科学天赋，完成高中毕业考试（Abiturarbeit）后进入大学。

1904 年外尔进入慕尼黑大学，修习数学与物理，随后转赴哥廷根大学继续同样的课程。在哥廷根他被希尔伯特彻底折服，后来写道：「我决心把这个人写过的东西都学一遍。第一学年结束时，我腋下夹着《数论报告》回家，整个暑假把它啃完——那时我连初等数论和伽罗瓦理论都没学过。那是我一生中最幸福的几个月，它们的光芒，在多年充满疑虑与挫败的岁月之后，仍慰藉着我的灵魂。」

1908 年外尔在哥廷根获博士学位，导师是希尔伯特，论文题为《关于奇异积分方程，特别考虑傅里叶积分定理》（Singuläre Integralgleichungen mit besonder Berücksichtigung des Fourierschen Integraltheorems）。此后他在哥廷根任编外讲师（Privatdozent）至 1913 年，其特许任教资格论文（Habilitation）研究奇异施图姆—刘维尔问题的谱理论。1911—1912 学年他讲授黎曼曲面课程，由此写成处女作《黎曼曲面的概念》（Die Idee der Riemannschen Fläche，1913）——这本书把分析、几何与拓扑融为一体，首次引入二维微分流形、覆盖面以及微分与一维闭链的对偶，其中包含后来由豪斯多夫（1914）独立提出并普及的分离公理。1956 年 Sario 评价它「自黎曼学位论文以来，对几何函数论发展的影响超过任何其他出版物」，1913 年原版在 1997 年重印。

在哥廷根期间，外尔深受哲学讲席教授胡塞尔（Edmund Husserl，1901—1916 年在哥廷根）的影响。1913 年他与海伦·约瑟夫（Helene Joseph）结婚——她曾是胡塞尔的学生，出身犹太家庭，是哲学家兼西班牙语文学翻译。二人共育两子。夫妇二人都热爱哲学与语言，外尔本人德文文笔优美，后来的英文散文亦令人惊艳，尽管他自谦「诸神把一门非我摇篮语言的轭加在了我的写作之上」。

1913—1930 年，外尔任苏黎世联邦理工学院（ETH）数学讲席教授。他到任的第一年，爱因斯坦正好在 ETH 工作并潜心发展广义相对论——这一经历深刻影响了外尔，使他迅速迷上相对论背后的数学原理。1915 年一战爆发，作为德国公民他被征入德军，但瑞士政府特别请求让他回苏黎世任教，1916 年获准。1917 年他开设用微分几何讲述相对论的创新课程，讲义汇成第二本书《空间·时间·物质》（Raum-Zeit-Materie，1918 初版，1919、1920、1923 年多次再版，每版都反映其思想演进），其中包含他提出的规范度量（外尔度量）与规范场论——但爱因斯坦、泡利、爱丁顿等人并未完全接受。

1916 年外尔发表《关于数模 1 的均匀分布》（Über die Gleichverteilung von Zahlen mod Eins，Math. Ann. 77，313—352），奠定了均匀分布理论。1921 年薛定谔到苏黎世任职，两人成为同事与最亲密的朋友，在数学、物理、哲学上有大量共同兴趣（据 Moore 记述，两家私人生活也有交集）。

1923—1938 年，外尔用矩阵表示发展连续群概念；其中 1924—1926 年发展的半单群表示论被外尔本人视为其最伟大的成就。其思想由胡尔维茨与舒尔（Issai Schur）先导，但外尔以一般的特征标公式将其推进；嘉当也独立做出了同等重要的工作。1927—28 年在苏黎世的群论与量子力学课程汇成第三本重要著作《群论与量子力学》（Gruppentheorie und Quantenmechanik，1928），约翰·惠勒后来评价「每次重读都有新的重大启示」。

1930—1933 年，外尔回哥廷根接任希尔伯特退休后留下的数学讲席。若政治环境不同，他很可能在哥廷根度过余生。但1933 年纳粹上台，加之妻子海伦是犹太人，外尔接受了新成立的普林斯顿高等研究院（IAS）的职位，与爱因斯坦同赴美国。他在 IAS 一直工作到 1951 年退休，引导和影响了年轻一代数学家。

海伦 1948 年去世，两年后（1950 年）外尔与苏黎世的雕塑家埃伦·洛恩施泰因·贝尔（Ellen Lohnstein Bär）结婚。退休后他与埃伦在普林斯顿与苏黎世之间往返。1955 年 12 月（8 日或 9 日，标存疑）外尔在苏黎世突然去世——他在寄完感谢七十岁生日祝福的信件后回家途中倒下去世。（注：MacTutor 取 12 月 8 日，而英国数学史杂志 BJHM 34(1) 2019 年有专文 Almira/Cid/Ostalé《When did Hermann Weyl pass away?》讨论日期的混乱；阿蒂亚的美国国家科学院传记误记为 12 月 9 日。）

二、学术生涯年表

年份 事件
1885 11 月 9 日生于德国汉堡附近 Elmshorn；父为银行经理
1904 入慕尼黑大学，后转哥廷根大学；被希尔伯特彻底折服
1908 哥廷根博士毕业（导师希尔伯特），论文：奇异积分方程与傅里叶积分定理
1908—1913 哥廷根任编外讲师；Habilitation 论文研究奇异施图姆—刘维尔谱理论
1911 发表关于拉普拉斯算子特征值渐近分布的论文（外尔定律），Nachr. Göttingen
1913 出版《黎曼曲面的概念》；与海伦·约瑟夫（胡塞尔学生）结婚；任苏黎世 ETH 数学讲席
1913—1914 在 ETH 与爱因斯坦同事，受其广义相对论工作启发
1915 被征入德军；瑞士政府请求其回任教，1916 年获准
1916 发表《关于数模 1 的均匀分布》（Math. Ann. 77），奠定均匀分布理论
1917 苏黎世开课讲相对论微分几何，汇成《空间·时间·物质》
1918 《空间·时间·物质》初版；发表「纯粹无穷小几何」提出规范不变性，创立首个（失败的）统一场论；出版《连续统》（Das Kontinuum）的直谓数学基础
1919—1923 《空间·时间·物质》多次再版，反映规范理论思想演进；爱因斯坦等未接受其规范理论
1921 发文支持布劳威尔直觉主义，称「数学处于新的基础危机」，令希尔伯特痛心；薛定谔到 ETH，成为挚友
1924—1926 发展紧/半单李群表示论（外尔认为这是其最伟大成就）：外尔特征标公式、酉技巧、外尔群
1927—1928 ETH 课程汇成《群论与量子力学》（1928），把群论系统引入量子力学
1930—1933 回哥廷根接任希尔伯特的数学讲席
1933 因妻子犹太背景与纳粹上台，赴美任普林斯顿高等研究院教授
1935 出版《不变量初等理论》
1939 出版《经典群》（The Classical Groups）
1940 出版《数的代数理论》
1948 妻子海伦去世
1949 出版《数学与自然科学的哲学》
1950 与苏黎世雕塑家 Ellen Lohnstein Bär 结婚
1951 从普林斯顿高等研究院退休；出版《对称》（Symmetry，Vanuxem 讲座），自称为「天鹅之歌」
1955 出版《黎曼曲面的概念》第三版（最终版）；12 月在苏黎世突然去世（8 或 9 日，存疑）

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

1. 紧（半单）李群的表示论：外尔特征标公式（1924—1926）——表示论

问题背景：19 世纪末 20 世纪初，群表示论（不可约线性表示）对有限群已由弗罗贝尼乌斯、舒尔建立；对连续（李）群，舒尔证明了 $SO(3)$ 与 $SU(2)$ 的表示，胡尔维茨引入了紧群上的不变积分，但一般半单李群的表示特征标仍是开放问题。嘉当 1913 年已分类了复单李代数的不可约表示，但缺少统一的特征标公式与维数公式。

关键思想：外尔在 1924—1926 年的系列论文（《连续半单群的线性表示理论》，Math. Z. 1925—26）中，用紧群上的不变积分（胡尔维茨积分）把有限群的表示论方法推广到紧李群。其核心工具是外尔酉技巧（unitary trick）：复半单李群的表示等价于其紧实形式的表示，从而可用紧群上的积分（彼得—外尔定理的前身）研究。他引入了外尔群（Weyl group）——根超平面反射生成的有限群——并用它写出特征标。

精确表述：设 $G$ 为紧连通半单李群，李代数 $\mathfrak g$，选定嘉当子代数与正根，$\rho$ 为正根和之半。对最高权 $\lambda$ 的不可约表示 $V_\lambda$，其特征标为外尔特征标公式： $$\operatorname{ch}\lambda=\frac{\sum,$$ 其中 $W$ 为外尔群，$\varepsilon(w)=\det w$。分母即}\varepsilon(w)\,e^{w(\lambda+\rho)}}{\sum_{w\in W}\varepsilon(w)\,e^{w(\rho)}外尔分母公式： $$\sum_{w\in W}\varepsilon(w)\,e^{w(\rho)}=\prod_{\alpha>0}(e^{\alpha/2}-e^{-\alpha/2}).$$ 由此得到外尔维数公式：$\dim V_\lambda=\prod_{\alpha>0}\frac{(\lambda+\rho,\alpha)}{(\rho,\alpha)}$。

与前人关系：胡尔维茨（不变积分）、舒尔（$SU(2)$ 情形）是先驱；嘉当（1913）已分类表示。外尔给出了统一的特征标公式，使表示论成为一个完整学科。

局限性：外尔特征标公式对复半单（等价于紧）群成立；模表示（素特征）与无限维表示需等到后来的工作（卡茨—穆迪、哈里什-钱德拉）。

2. 规范不变性与首个统一场论（1918）——数学物理

问题背景：1915 年爱因斯坦完成广义相对论，把引力几何化为时空曲率。一个自然的问题是：能否把电磁力也几何化，纳入同一框架？外尔在 ETH 受爱因斯坦启发，深入思考了黎曼几何的基础。

关键思想：外尔注意到黎曼几何中向量的长度在平行移动中保持不变，这是一个过于强的假设。他提出一种更一般的「纯粹无穷小几何」（Reine Infinitesimalgeometrie，1918）：允许长度标准（度规的标度）随时空点变化，即度规乘上一个位置相关的标量因子 $e^{\lambda(x)}$——这就是规范变换（gauge transformation，原义为「标度变换」）。为使物理在标度变换下不变，需引入一个联络 1-形式 $A_\mu$，它在标度变换下按 $A_\mu\mapsto A_\mu+\partial_\mu\lambda$ 变化——外尔意识到这正是电磁势的变换规律！于是电磁力成为规范场，与引力（度规）统一在同一个几何框架中。

精确表述：外尔 1918 年论文《引力与电》（Gravitation und Elektrizität，1918）给出首个统一场论：时空几何由度规 $g_{\mu\nu}$ 与规范 1-形式 $A_\mu$ 共同描述，电磁对应于规范曲率 $F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu$。

结局 / 局限：爱因斯坦当场指出该理论与经验不符：若长度随时空路径变化（不可积标度因子），则原子的谱线频率会依赖于其历史，而实际观测中原子谱线是稳定的、与历史无关。泡利和爱丁顿也表示反对。外尔的理论作为引力-电磁统一场论失败了，但他提出的规范不变性原理本身极其深刻。1927 年伦敦（F. London）与福克指出：若把外尔的标度因子从实数改成复相位（$e^{i\lambda(x)}$），则规范不变性正好描述量子力学中波函数的相位不变性——由此诞生了量子规范场论，经杨振宁—米尔斯（1954）发展，成为粒子物理标准模型的数学核心。外尔因此被视为「规范场论之父」。

3. 黎曼曲面的严格基础（1913）——复几何 / 拓扑

问题背景：黎曼 1851 年在博士论文中引入黎曼曲面作为多值解析函数的几何载体，并提出黎曼映射定理，但他的论证依赖有争议的狄利克雷原理（后被外尔斯特拉斯 1870 年批评）。半个世纪里，黎曼曲面的几何函数论缺乏严格基础。

关键思想：外尔在 1913 年的《黎曼曲面的概念》中，把分析、几何、拓扑融为一体，首次给黎曼曲面以严格的公理化定义。他把黎曼曲面定义为一个二维微分流形（这是微分流形概念的早期出现），带有复结构，并系统使用了覆盖面（covering surface）、微分与一维闭链的对偶等拓扑概念。

精确表述：外尔的定义中已包含后来的豪斯多夫分离公理（比豪斯多夫 1914 年的独立提出更早，只是后来以豪斯多夫命名流传更广）。他证明了黎曼曲面上的基本结果，包括外尔引理（Weyl's lemma）——弱意义下满足拉普拉斯方程的函数必为光滑调和函数——这条引理后来成为椭圆方程正则性理论与霍奇理论的基础。

与前人关系：黎曼提出概念；克莱因、外尔斯特拉斯发展函数论方法；外尔是第一个把黎曼曲面严格化、并把拓扑与分析统一起来的人。外尔本人 1955 年出版了更现代的第三版。

局限性：1913 年版的微分流形定义尚处萌芽状态，现代的抽象复流形定义由惠特尼（1936）等人给出。

4. 均匀分布定理与外尔判别法（1916）——数论

问题背景：序列 $n\alpha\bmod 1$（$\alpha$ 为无理数）在区间 $[0,1)$ 上如何分布？克罗内克、玻尔等人已注意到相关现象，但缺少一般的严格理论。

关键思想：外尔 1916 年在《关于数模 1 的均匀分布》中系统建立了均匀分布（equidistribution / 模 1 均匀分布）理论，用指数和（三角和）估计给出了判别均匀分布的充要条件。

精确表述： - 定义：实数列 ${x_n}$ 称为模 1 均匀分布，若对任意区间 $[a,b)\subset[0,1)$，落在该区间内的前 $N$ 项比例趋于 $b-a$。 - 外尔判别法（Weyl's criterion）：${x_n}$ 模 1 均匀分布 $\iff$ 对任意非零整数 $k$，$\frac1N\sum_{n=1}^N e^{2\pi i k x_n}\to0$。 - 外尔定理：若 $\alpha$ 为无理数，则 ${n\alpha}$ 模 1 均匀分布；更一般地，对任何至少有一个无理系数的多项式 $P(n)$，${P(n)}$ 模 1 均匀分布。

与前人关系：克罗内克逼近定理是先驱；外尔系统建立了理论并引入三角和方法，影响了后来的解析数论（维诺格拉多夫方法等）。

局限性：外尔的原始判别法只给出均匀分布，不给出收敛速度；偏差（discrepancy）定量理论由后来者发展。

5. 外尔定律：拉普拉斯算子特征值的渐近分布（1911—1912）——分析 / 数学物理

问题背景：1910 年，洛伦兹在哥廷根讲演中提出一个猜想：在 $d$ 维有界区域中，拉普拉斯算子小于 $\lambda$ 的特征值个数 $N(\lambda)$ 渐近等于区域体积乘以 $\lambda^{d/2}$（在适当常数下）。希尔伯特当时预言这不会在近期被证明——但外尔很快证明了它。

关键思想：外尔在 1911—1912 年用变分法（极大极小原理）与热核 / 积分方程方法证明了洛伦兹的猜想，给出精确的首项系数。

精确表述（外尔定律，Weyl's law）：设 $\Omega\subset\mathbb R^d$ 为有界区域，$0<\lambda_1\le\lambda_2\le\cdots$ 为带狄利克雷（或诺伊曼）边界条件的拉普拉斯算子 $-\Delta$ 的特征值，则 $$N(\lambda)=#{n:\lambda_n\le\lambda}\sim\frac{\omega_d}{(2\pi)^d}\,\operatorname{vol}(\Omega)\,\lambda^{d/2},\qquad \lambda\to\infty,$$ 其中 $\omega_d$ 为 $\mathbb R^d$ 单位球体积。等价地，$\lambda_n\sim (2\pi)^2(\operatorname{vol}(\Omega)/\omega_d)^{-2/d}n^{2/d}$。

与前人关系：洛伦兹提出猜想；外尔证明。这是谱几何（「听音辨鼓」）的起点。外尔后来还研究了边界修正项（外尔猜想），完整余项估计至今是活跃问题。

局限性：外尔只证明了首项渐近；次项（涉及面积、边界曲率）的严格证明要等到 20 世纪 70 年代（Seeley、Pham The Lai 等）。

6. 群论与量子力学（1927—1928）——数学物理

问题背景：1925—26 年量子力学建立（海森堡矩阵力学、薛定谔波动力学），但其中对称性的作用（如原子能级的简并、选择定则）缺乏系统的数学语言。维格纳（Wigner）与外尔几乎同时认识到群表示论的关键作用。

关键思想：外尔在 1927—28 年苏黎世课程中系统地把群表示论（他刚建立的紧李群表示论）应用于量子力学，用对称群的不可约表示分类量子态，解释原子谱与选择定则。课程汇成《群论与量子力学》（1928）。

精确表述：量子力学中，哈密顿量的对称群 $G$ 的表示作用在态空间上，态按 $G$ 的不可约表示分类；能级简并度对应不可约表示维数。外尔还用洛伦兹群与 $SU(2)$ 的表示处理自旋。这是群论方法进入量子力学的奠基著作。

与前人关系：维格纳几乎同时独立地把群论用于原子物理；外尔的书更侧重一般李群与连续对称。物理学家起初对群论有抵触（「群病」，Gruppenpest），但它很快成为标准工具。

局限性：外尔的处理基于非相对论量子力学；相对论量子场论的群论基础（庞加莱群表示，维格纳 1939）由维格纳完成。

7. 《连续统》与数学基础：直谓主义与直觉主义（1918—1921）——数学哲学

问题背景：20 世纪初数学基础危机（集合论悖论、罗素悖论）；外尔受胡塞尔现象学与布劳威尔直觉主义吸引，对经典分析（尤其是实数的集合论构造）的合法性产生怀疑。

关键思想：外尔 1918 年出版《连续统》（Das Kontinuum），尝试用直谓主义（predicativism）重构分析：禁止用「所有……的集合」这种涉及被定义对象本身的量词来定义实数。他证明了分析的一大部分（包括连续函数、积分等）可以在直谓框架下重建。1921 年他发表《论数学的新基础危机》（Über die neue Grundlagenkrise der Mathematik），公开支持布劳威尔的直觉主义，宣布「数学处于新的基础危机中」。

结局：外尔的倒戈令导师希尔伯特极为痛心——希尔伯特称自己「有天赋的学生」被布劳威尔「诱惑」。希尔伯特随即提出希尔伯特纲领回应。但到 1920 年代后期，外尔逐渐认识到直觉主义对经典数学的限制过于极端（它会牺牲掉大部分分析），态度有所缓和，回归更接近经典的立场，但终生保留对连续统直觉的哲学关切（他说「连续统是一种幻觉，一种理想化，一个梦」）。

与前人关系：庞加莱曾提出直谓关切；布劳威尔创立直觉主义；外尔是第一个认真尝试在直谓/直觉框架下重建大块分析的人。哥德尔不完备定理（1931）后，外尔对基础问题的态度更趋务实。

局限性 / 存疑：外尔的直觉主义时期持续时间不长且后期明显缓和，不同传记对其「倒戈程度」评价不一。

四、代表著作与文献

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

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

七、身后影响与学术谱系

外尔的工作横跨多个领域，影响深远：

阿蒂亚在其国家科学院传记中评价：外尔是「最后一位还能在数学的所有不同子领域中把握全局的数学家」。

八、延伸阅读与权威来源