赫尔曼·闵可夫斯基(Hermann Minkowski)
「数的几何」的创立者与四维时空几何的奠基人——他用凸体和格点重新书写了数论,又用一句「从今往后,空间本身和时间本身注定要消失在阴影里,只有二者的某种统一才能保持独立的实在」,把爱因斯坦的狭义相对论翻译成几何学家能读懂的语言,直接为广义相对论搭好了舞台。
一、生平与时代背景
赫尔曼·闵可夫斯基 1864 年 6 月 22 日生于俄罗斯帝国的阿列克索塔斯(Alexotas,今立陶宛考纳斯的一部分)。父亲列文·闵可夫斯基(Lewin Minkowski)是商人,母亲拉结·陶布曼(Rachel Taubmann);父母都是日耳曼人,当时旅居俄国做生意。赫尔曼是家中第三子:长兄马克斯(Max,1844—1930)继承家业,也是艺术品收藏家并在柯尼斯堡担任法国领事;二哥奥斯卡(Oskar,1858—1931)是内科医生,以糖尿病研究闻名,其子(赫尔曼的侄子)鲁道夫·闵可夫斯基(Rudolph Minkowski,1895—1976)后来成为著名天体物理学家;此外还有姐姐范妮(Fanny,1863—1954)和幼弟托比(Toby,1873—1906)。赫尔曼 8 岁时全家迁回德国,定居东普鲁士的柯尼斯堡(Königsberg,今俄罗斯加里宁格勒),父亲在此经商。
闵可夫斯基在柯尼斯堡的文科中学(Gymnasium)读书时已显露出数学天赋,中学阶段就读过戴德金、狄利克雷和高斯的著作。1880 年 4 月入柯尼斯堡大学,曾在柏林大学度过三个学期(如 1882—83 冬季学期)。在柯尼斯堡,他与同为本科生的希尔伯特结下终生友谊;1884 年胡尔维茨(Adolf Hurwitz)来校任教,三人常一起散步讨论数学,史称「柯尼斯堡三人组」的雏形。
1881 年,巴黎科学院宣布 1883 年度数学大奖的题目是「求一整数表示为五个平方和的表示数」——爱森斯坦 1847 年给出过公式却从未证明。事实上英国数学家亨利·史密斯(Henry Smith)1867 年已发表过证明概要,只是科学院设题时并不知晓。年仅 18 岁的闵可夫斯基重建了爱森斯坦的二次型理论并给出漂亮解答,1883 年 4 月 2 日与年迈的史密斯分享大奖,惊艳国际数学界。他 1885 年在柯尼斯堡获博士学位,论文《关于二次型的研究:给定属所包含的不同型的个数确定》(Untersuchungen über quadratische Formen…)正是获奖工作的延续。
1887 年波恩大学教授职位出缺,闵可夫斯基申请并提交了任教资格论文(Habilitationsschrift)《空间直观与正定二次型的极小值》(Räumliche Anschauung und Minima positiv definiter quadratischer Formen)。迪厄多内(Jean Dieudonné)后来指出,这篇未及时发表的讲义「包含了他数年之后在著名的『数的几何』中所要发展的方法的第一个例子」。他 1887 年起任教波恩,1892 年升副教授;1894 年回柯尼斯堡任教两年;1896 年赴苏黎世联邦理工学院(ETH)接任弗罗贝尼乌斯留下的讲席,与好友胡尔维茨成为同事——爱因斯坦正是他在此期间的学生。1897 年他在斯特拉斯堡与奥古斯特·阿德勒(Auguste Adler)结婚,育有两女:莉莉(Lily,1898)和露丝(Ruth,1902)。
1902 年,希尔伯特在哥廷根为闵可夫斯基专门争取到一个讲席,他从此在哥廷根度过余生。在哥廷根他受希尔伯特及其圈子的影响转向数学物理:1905 年参加电子理论讨论班,系统学习当时电动力学的最新成果。1907 年他意识到洛伦兹与爱因斯坦的工作最好用一种非欧的四维语言来表述——空间与时间不再独立,而是耦合为一个四维「时空连续统」。他给出了电动力学的四维处理,代表作是《空间与时间》(Raum und Zeit,1908 年 9 月 21 日在科隆第 80 届德国自然科学家与医生大会上的演讲,1909 年出版)和两篇《电动力学基本方程》(Zwei Abhandlungen über die Grundgleichungen der Elektrodynamik,1909)。
值得一提的是,1900 年 1 月 5 日闵可夫斯基在给希尔伯特的信中建议其巴黎演讲「给出对未来的展望,勾勒未来数学家应当研究的问题」——希尔伯特著名的 23 个问题正源于此。他还积极参与国际数学家大会:1897 年苏黎世首届 ICM 任组织委员并主持第一分会(算术与代数);1900 年巴黎 ICM 任秘书之一;1904 年海德堡 ICM 在第一分会作《论数的几何》报告;1908 年罗马 ICM 代表哥廷根。
1910 年出版的《数的几何》(Geometrie der Zahlen)全书 256 页,但前 240 页早在 1896 年就作为第一部分印行;1953、1968 年由切尔西出版社重印。1907 年他出版《丢番图逼近:数论入门》(Diophantische Approximationen),用初等方式讲解数的几何及其在丢番图逼近与代数数论中的应用。
1909 年 1 月 12 日,闵可夫斯基因阑尾穿孔并发腹膜炎在哥廷根突然去世,年仅 44 岁。希尔伯特痛失挚友,亲自为他致悼词。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 1864 | 6 月 22 日生于俄国阿列克索塔斯(今立陶宛考纳斯),日耳曼裔犹太家庭 |
| 约 1872 | 8 岁随全家迁居德国柯尼斯堡 |
| 1880 | 4 月入柯尼斯堡大学;与希尔伯特结为挚友 |
| 1882—1883 | 在柏林大学度过三个学期 |
| 1884 | 胡尔维茨来柯尼斯堡任教,三人形成密切的数学讨论圈子 |
| 1883 | 18 岁,与亨利·史密斯共获巴黎科学院数学大奖(五平方和表示数问题) |
| 1885 | 获柯尼斯堡大学博士学位,论文关于二次型的属 |
| 1887 | 任教资格论文《空间直观与正定二次型的极小值》(波恩),含数的几何方法雏形 |
| 1887—1894 | 任教波恩大学,1892 年升副教授 |
| 1894—1896 | 回柯尼斯堡大学任教两年 |
| 1896 | 任苏黎世联邦理工学院教授,与胡尔维茨同事;爱因斯坦为其学生;《数的几何》前 240 页印行 |
| 1897 | 在斯特拉斯堡与奥古斯特·阿德勒结婚 |
| 1902 | 希尔伯特为其在哥廷根设专席,从此在哥廷根工作至终 |
| 1905 | 参加哥廷根电子理论讨论班,转向数学物理 |
| 1907 | 领悟狭义相对论的四维几何表述;出版《丢番图逼近》 |
| 1908 | 9 月 21 日科隆演讲《空间与时间》,提出四维时空连续统 |
| 1909 | 1 月 12 日卒于哥廷根,年仅 44 岁(阑尾穿孔);《电动力学基本方程》两篇身后出版 |
| 1910 | 《数的几何》全书出版(身后) |
三、核心成果(逐条技术解析)
1. 数的几何——凸体定理与格点方法(1896 起)
问题背景:19 世纪数论处理二次型的极小值、整数逼近、代数数域单位等问题,方法繁难、彼此孤立,缺少统一工具。
关键思想:把整数格 $\mathbb{Z}^n$(或一般格 $\Lambda$)上的算术问题转化为 $n$ 维欧氏空间中凸体与格点的几何问题:一个凸集的体积足够大,就「装得下」一个非零格点,从而给出数论上的存在性结论。
精确表述——闵可夫斯基凸体定理(格点定理):设 $\Lambda\subset\mathbb{R}^n$ 是行列式为 $\det\Lambda$ 的格,$K\subset\mathbb{R}^n$ 是关于原点对称的凸集(中心对称凸体)。若 $\operatorname{vol}(K)>2^n\det\Lambda$,则 $K$ 含有 $\Lambda$ 的一个非零格点。等号条件下($\operatorname{vol}(K)=2^n\det\Lambda$)结论在非退化情形仍成立,边界情形需小心。
意义:这是「数的几何」的基本定理,把二次型极小值(若正定二次型 $Q$ 满足 $\det Q$ 已知,则存在非零整数向量使 $Q(x)\le C_n(\det Q)^{1/n}$)、丢番图逼近、代数数论中的狄利克雷单位定理等统一为体积估计。该方法由西格尔(Siegel)、施密特(W. M. Schmidt)等继承发展为现代数论的主流工具之一。
2. 闵可夫斯基不等式与范数结构
结果:对 $p\ge 1$ 与向量 $x,y\in\mathbb{R}^n$, $$\left(\sum_{i=1}^n |x_i+y_i|^p\right)^{1/p}\le \left(\sum_{i=1}^n |x_i|^p\right)^{1/p}+\left(\sum_{i=1}^n |y_i|^p\right)^{1/p}.$$ 这是 $\ell^p$ 范数的三角不等式,是赋范线性空间的关键例子。由它可定义闵可夫斯基泛函(gauge):对吸收凸集 $K$,$p_K(x)=\inf{\lambda>0:x\in\lambda K}$,后世泛函分析中半范数与局部凸拓扑的核心构造即源于此。
意义:闵可夫斯基不等式是 $L^p$ 空间、巴拿赫空间理论的基石之一;豪斯多夫等人在建立拓扑线性空间时直接采用了闵可夫斯基的凸体语言。
3. 二次型与局部—整体原理的雏形
背景:高斯、狄利克雷已研究整数二次型的分类与表示问题,但缺少判定一个有理二次型是否表示零(或某整数)的有效准则。
结果:闵可夫斯基在博士及其后的工作中系统研究了有理系数二次型的「属」(genus),并实质上建立了:有理二次型在 $\mathbb{Q}$ 上的等价性可由其在所有 $\mathfrak{p}$-进完备化(包括实数)上的等价性来判定——这是局部—整体(local-global)原理的早期形态。他还在五平方和问题中给出表示数公式。
与后人的关系:20 年后哈塞(Helmut Hasse,1921—1924)将其严格化并推广到一般代数数域,得到今天的哈塞—闵可夫斯基定理:域 $k$ 上的二次型表示 $0$ 当且仅当它在每个 $k$ 的实(或复)完备化与每个 $\mathfrak{p}$-进完备化上都表示 $0$。闵可夫斯基的工作是该原理的源头。
局限:闵可夫斯基的论证偏整数格与几何,未使用后来的赋值语言;哈塞的版本才具有完全的一般性与严格性。
4. 四维时空几何——闵可夫斯基时空(1907—1908)
问题背景:1905 年爱因斯坦建立狭义相对论,洛伦兹变换把时间与空间坐标混合,但仍以三维空间加一维时间的分离方式书写,物理含义不够几何化。
关键思想:闵可夫斯基在 1908 年《空间与时间》中提出:把事件看作四维流形(三维空间 + 一维时间)中的点,配以不定度量 $$ds^2=-c^2dt^2+dx^2+dy^2+dz^2$$ (在某些早期表述中他用虚时间坐标 $x_4=ict$ 写成欧氏形式 $ds^2=dx_1^2+dx_2^2+dx_3^2+dx_4^2$)。洛伦兹变换正是保持这个二次型的线性变换,狭义相对论的全部运动学结论——同时性的相对性、长度收缩、时间膨胀——都成为这个伪黎曼几何中的几何事实。他引入了世界线(质点的历史)、光锥($ds^2=0$)、类时/类空/类光向量等基本概念。
精确表述:狭义相对论的时空就是闵可夫斯基时空 $\mathbb{R}^{1,3}$,其等距同构群(非齐次洛伦兹群,即庞加莱群)保持度量 $ds^2=\eta_{\mu\nu}dx^\mu dx^\nu$,其中 $\eta=\operatorname{diag}(-1,1,1,1)$(现代「东海岸」约定)。
与前人/同代人关系:洛伦兹给出了变换公式,爱因斯坦给出了物理公设;庞加莱 1905—1906 年已注意到四维不变量。闵可夫斯基的贡献是把这种四维结构提升为自足的几何框架并系统应用于电动力学。爱因斯坦起初并不看重这一改写(认为是「多余的数学」),但在建立广义相对论时意识到它不可或缺,此后引力被表述为弯曲的伪黎曼几何,其平直极限正是闵可夫斯基时空。
意义:这是理论物理几何化的关键一步,也是广义相对论的直接概念先导;今天任何相对论、量子场论、粒子物理的教科书都以闵可夫斯基时空为出发点。
5. 丢番图逼近与线性型定理
结果:在《丢番图逼近》(1907)及相关论文中,闵可夫斯基用数的几何证明了线性型定理:若 $n$ 个实线性型 $L_i(x)=\sum_j a_{ij}x_j$ 的系数行列式绝对值为 $1$,则对任意 $\varepsilon>0$,存在非零整数向量 $x$ 使 $\prod_i |L_i(x)|<1$(更精确的定量版本是闵可夫斯基估计)。这推出经典的狄利克雷逼近定理,并给出代数数论中许多存在性结果的几何证明。
意义:把丢番图逼近从「构造特殊分数」推进为「格与凸体的体积论」,为 20 世纪的丢番图几何(罗特定理、施密特子空间定理等)提供了方法论原型。
6. 凸体几何与堆积问题的开创
结果:数的几何自然引导到凸体理论与堆积(packing)问题:给定形状的凸体在空间中最密如何摆放。闵可夫斯基研究了凸体的格堆积密度,证明了格堆积密度的上界与体积估计,是开普勒猜想(球堆积最密密度 $\pi/\sqrt{18}$)严格证明之路的早期先驱。他还提出了闵可夫斯基和、凸体的混合体积等概念(后由布拉施克、亚历山德罗夫等人发展)。
局限:他只处理了格堆积(周期排列),未能证明最密堆积一定是格堆积——这一步直到 1998 年(开普勒猜想)和高维情形(2016 年 8、24 维,维亚佐夫斯卡)才由后人完成。
四、代表著作与文献
- 《数的几何》(Geometrie der Zahlen,前 240 页 1896 年印行,全书 1910 年莱比锡 Teubner 出版;切尔西 1953、1968 重印):数的几何的奠基性专著。
- 《空间与时间》(Raum und Zeit,1908 年科隆演讲,1909 年出版;英译本载《相对性原理》):四维时空几何的宣言性文献。
- 《电动力学基本方程》两篇(Zwei Abhandlungen über die Grundgleichungen der Elektrodynamik,1909,哥廷根科学院;身后由索末菲编辑整理):电动力学的四维表述。
- 《丢番图逼近:数论入门》(Diophantische Approximationen: Eine Einführung in die Zahlentheorie,1907,莱比锡 Teubner):数的几何的初等应用讲义。
- 《关于二次型的研究》(博士论文,1885,柯尼斯堡):二次型属与表示数公式。
- 《空间直观与正定二次型的极小值》(1887 任教资格论文,1991 年由施韦默尔整理发表于 Jahresber. Deutsch. Math.-Verein.):数的几何方法的最早雏形。
- 通信集:《希尔伯特—闵可夫斯基通信集》(David Hilbert—Hermann Minkowski: Briefwechsel 1884—1909,1973),研究两人思想互动的一手史料。
五、师承、学派与同时代交往
- 师承:柯尼斯堡大学,博士阶段受海因里希·韦伯(Heinrich Weber)与林德曼(Ferdinand von Lindemann,时任教授)影响;与希尔伯特、胡尔维茨的日常讨论塑造了他的数学风格。他常被视为「柯尼斯堡—哥廷根代数/数论传统」的核心成员。
- 希尔伯特:终生挚友与合作者,1882 年起同游;1900 年建议其巴黎演讲主题;1902 年把他挖到哥廷根。两人在数学物理公理化上互相推动。
- 胡尔维茨:1884 年起的师长与挚友,后来在苏黎世同事;胡尔维茨在二次型与模函数上的工作与他互补。
- 爱因斯坦:在苏黎世曾是他的学生;1908 年的四维时空改写起初被爱因斯坦轻视,但成为 GR 的关键工具。爱因斯坦后来说,正是闵可夫斯基让他认识到数学是「科学创造力的源泉」。
- 克莱因、外尔:哥廷根同事;克莱因的数学物理取向、外尔后来对时空对称性的深化都与他的工作衔接。
- 巴黎科学院大奖的对手/共获者:亨利·史密斯(Henry Smith)。
- 学生与影响:哥廷根时期影响了外尔(Hermann Weyl)、柯朗(Richard Courant)等;数的几何直接影响了西格尔、莫德尔(Mordell)、马勒(Mahler)、施密特。
- 学派归属:德国古典数论(高斯—狄利克雷—戴德金传统)与哥廷根数学物理传统的交汇人物。
六、争议、公案与历史评价
- 与史密斯共获大奖的争议:1883 年巴黎科学院大奖颁发后,有人指出史密斯早在 1867 年已发表证明概要,而闵可夫斯基的解答独立重建了爱森斯坦的理论。最终两人分享大奖,没有酿成正式的优先权之争,但这一事件提醒人们注意欧洲大陆与英国数学界之间的信息隔阂。
- 爱因斯坦对四维表述的态度:爱因斯坦 1908 年前后并不欣赏闵可夫斯基的几何化改写,认为是「多余的数学游戏」;1912—1915 年建立广义相对论时他才意识到这是不可或缺的语言,态度彻底转变。这并非个人龃龉,而是物理直觉与数学结构之间的典型张力。
- 英年早逝的遗憾:44 岁去世使他未能参与广义相对论的最终成型,也未能完善数的几何。外尔等人指出,若他长寿,20 世纪数学的面貌可能不同——这属于合理推测,无法证伪。
- 历史评价:闵可夫斯基被公认为 19 世纪末 20 世纪初最具原创性的数学家之一。他的数的几何开辟了整个分支;他的时空几何改变了人类对空间和时间的理解,是相对论的数学基石。希尔伯特在悼词中说:「自他大学时代起,他就是我最好的朋友……他的工作属于他自己,无可替代。」
七、身后影响与学术谱系
- 对数论:数的几何经西格尔(Siegel 引理、数的几何)、莫德尔、马勒(凸体定理的推广)、施密特(子空间定理)发展,是现代丢番图逼近与算术几何的支柱。
- 对几何与分析:凸体理论、混合体积、闵可夫斯基和、闵可夫斯基泛函成为凸几何、泛函分析(赋范空间)的基础语言。
- 对物理学:闵可夫斯基时空是狭义相对论的标准表述,是广义相对论的平直极限与教学起点,也是量子场论、粒子物理的舞台;闵可夫斯基图至今是相对论教学的基本工具。
- 对数学物理公理化:他与希尔伯特推动的「物理学服从数学」的哲学,影响了外尔、诺特乃至整个 20 世纪理论物理的数学化进程。
- 命名遗存:闵可夫斯基时空、闵可夫斯基不等式、闵可夫斯基泛函、闵可夫斯基和、闵可夫斯基距离($\ell^p$ 距离)、闵可夫斯基定理(凸体定理)、哈塞—闵可夫斯基定理、闵可夫斯基问题(微分几何中给定高斯曲率求凸曲面)、月球上的「闵可夫斯基环形山」。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Hermann Minkowski:圣安德鲁斯大学权威传记,本档案主要史实出处。
- MacTutor: Dictionary of Scientific Biography — Minkowski:科学传记词典条目(迪厄多内与布利斯撰)。
- Wikipedia: Hermann Minkowski:生平、著作与身后影响的交叉核对。
- Wikipedia: Minkowski space:四维时空的数学结构与历史。
- Wikipedia: Geometry of numbers:数的几何的核心定理与发展。
- Wikipedia: Minkowski's theorem:凸体格点定理的精确陈述。
- Wikipedia: Hasse–Minkowski theorem:二次型局部—整体原理的历史与陈述。
- Wikipedia: Minkowski inequality:不等式的精确形式与证明。
- Leo Corry, "Hermann Minkowski and the postulate of relativity", Arch. Hist. Exact Sci. 51 (1997), 273–314:闵可夫斯基与相对论公设的专门研究。
- L. Corry, "The influence of David Hilbert and Hermann Minkowski on Einstein's views", Endeavour 22 (1998):对爱因斯坦数学观转变的影响。
- David Hilbert—Hermann Minkowski Briefwechsel 1884—1909 (Springer, 1973):两人通信集,一手史料。