格奥尔格·弗里德里希·伯恩哈德·黎曼（Georg Friedrich Bernhard Riemann）

数学史上最深邃也最短命的创造者之一——他在 1854 年的一场资格演讲中把几何从三维欧氏空间解放为任意维的「流形」，为六十年后的广义相对论准备好了语言；他用「黎曼曲面」把多值复函数变成单值，让复分析第一次有了几何的血肉；他用「黎曼积分」第一次给积分下了严格定义，并用一篇 9 页论文把复分析注入数论，留下了至今未决的「黎曼猜想」。高斯说他有「辉煌而丰饶的独创性」，希尔伯特把他的猜想列入 20 世纪最重要的问题，而爱因斯坦说：「没有黎曼，广义相对论就不可能诞生。」

一、生平与时代背景

格奥尔格·弗里德里希·伯恩哈德·黎曼（Georg Friedrich Bernhard Riemann）于 1826 年 9 月 17 日出生在汉诺威王国（Kingdom of Hanover，今德国下萨克森州）的小镇 布雷塞伦茨（Breselenz），靠近达嫩贝格（Dannenberg）。父亲 弗里德里希·伯恩哈德·黎曼（Friedrich Bernhard Riemann） 是一名清贫的路德宗牧师，曾参加过拿破仑战争；母亲 夏洛特·埃贝尔（Charlotte Ebell） 在黎曼 20 岁时（1846 年）去世。黎曼是六个孩子中的老二（两男四女），他终生与家人极为亲近，一生都背负着沉重的家庭责任。

父亲在家中亲自教育黎曼，直到他 10 岁；此后当地学校的一位教师 舒尔茨（Schulz） 协助辅导。黎曼自幼就表现出非凡的计算能力，却极度羞怯、害怕在公众面前讲话，且身体一直孱弱——这两点几乎伴随他终生。1840 年他直接进入汉诺威的文科中学（Lyceum）三年级，寄住在祖母家；1842 年祖母去世后，他转学到吕讷堡的 约翰内姆中学（Johanneum Gymnasium）。他主修希伯来语与神学等古典科目，成绩优良却不算拔尖，但校长发现了他的数学天赋，允许他自由借阅自己的私人藏书——有一次校长把 勒让德（Legendre） 的 900 页数论巨著借给他，黎曼仅用六天就读完并归还。为了缓解家中经济困难、也遵从父亲意愿，他原本打算学神学当牧师。

1846 年春，父亲凑足费用，送黎曼进入哥廷根大学，起初注册在神学系。但他旁听了数学课程，尤其是 莫里茨·施特恩（Moritz Stern） 和 高斯（Gauss） 的课（高斯当时只讲初等课程，如最小二乘法，并未立即识得黎曼的天才，倒是施特恩后来形容黎曼「已经像金丝雀一样歌唱」）。黎曼征得父亲同意后转入哲学系专学数学——这里有一处来源分歧：Wikipedia 称是高斯建议他放弃神学改学数学，MacTutor 只记载他征得父亲同意后转系，未提高斯的具体建议（标存疑）。19 世纪中叶的哥廷根在数学上其实相当沉寂，黎曼便于 1847 年春转入柏林大学，师从 施泰纳（Steiner）、雅可比（Jacobi）、狄利克雷（Dirichlet） 与 爱森斯坦（Eisenstein）。其中对他影响最深的是 狄利克雷——克莱因后来写道，黎曼与狄利克雷「被相似的思维方式紧紧相连」，黎曼从此形成了「先在直观的基座上把事情想清楚，再做简洁的逻辑分析、尽量避免冗长计算」的风格。柏林两年间，他完成了复变函数一般理论的雏形。

1849 年黎曼回到哥廷根。此间 韦伯（Wilhelm Weber） 已从莱比锡返回哥廷根任物理教授，黎曼担任他的助手约 18 个月；利斯廷（Johann Listing）（拓扑学先驱，与高斯共同发明「拓扑 Topologie」一词）也在 1849 年被任命为哥廷根物理教授。通过韦伯与利斯廷，黎曼打下了理论物理的基础，并获得了至关重要的拓扑学思想。1850 年代初，他一边攻读博士学位，一边在数学物理上发力。

1851 年 11 月他提交博士论文，12 月 16 日答辩通过，论文题为《复变量函数一般理论的基础》（Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse），由高斯指导。高斯在评审报告中罕见地热情赞扬，称黎曼具有「辉煌而丰饶的独创性（einer herrlich fruchtbaren Originalität）」，且「所做研究远远超出了博士论文通常要求的水平」。在高斯推荐下，黎曼开始在哥廷根任职，并着手准备取得大学授课资格（Habilitation）。

资格论文（Habilitationsschrift）他花了约 30 个月，主题是函数的三角级数表示，其中第一次给出了后来以他命名的黎曼积分与可积性条件。资格演讲他准备了三个题目：两个关于电学，一个关于几何。出乎黎曼意料，高斯挑了几何那一个。1854 年 6 月 10 日，黎曼发表了题为《论作为几何学基础的假设》（Über die Hypothesen, welche der Geometrie zu Grunde liegen）的演讲——这是数学史上最著名的演讲之一，创立了黎曼几何。听众席上只有高斯真正理解其深度；事后高斯罕见地对韦伯大加赞赏、语气激动地谈论黎曼思想的深度。但这篇演讲过于超前，直到 12 年后（1868 年）才由戴德金整理出版，而黎曼已不在人世。

1855 年高斯去世，狄利克雷接任高斯的教授席位，有人试图为黎曼争取一个个人教席（personal chair）但失败。1857 年，黎曼终于被任命为副教授（außerordentlicher Professor），同年在《克莱尔杂志》（Crelle's Journal，第 54 卷）发表杰作《阿贝尔函数论》（Theorie der Abelschen Functionen）——正是这篇论文迫使魏尔斯特拉斯撤回了他自己投给柏林科学院的同一主题论文。然而黎曼一生清贫：1857 年前后哥哥去世，他一人要负担三个（未婚的）姐妹，副教授薪水微薄（约合每年三百美元，一家四口每人合七十五美元）。1858 年，贝蒂（Betti）、卡萨蒂（Casorati）、布里奥西（Brioschi） 三位意大利数学家访问哥廷根，黎曼与他们讨论拓扑学，尤其影响了贝蒂（贝蒂数由此而来）。

1859 年 5 月 5 日狄利克雷去世，7 月 30 日黎曼被任命为哥廷根大学正教授（Ordinarius），继承高斯—狄利克雷的席位；几天后他当选柏林科学院院士，由库默尔（Kummer）、博尔夏特（Borchardt）与魏尔斯特拉斯三人联名推荐——推荐信写道，在阿贝尔函数论文发表前黎曼几乎默默无闻，因此他们有责任把科学院的注意力引向这位「已完全成熟、独立的研究者」。作为新当选院士的惯例报告，黎曼提交了一篇 9 页论文《论小于给定数值的素数个数》（Über die Anzahl der Primzahlen unter einer gegebenen Größe，1859 年 11 月发表于《柏林科学院月报》）——这是他唯一一篇数论文，却宣告了解析数论的诞生，并提出了著名的黎曼猜想。

1861 年，黎曼为巴黎科学院的一项有奖征文提交了拉丁文论文《数学评论……》（Commentatio mathematica…），主题是热传导，但文中他发展出了曲率张量的坐标形式与平坦性判定（度量局部可化为常系数当且仅当曲率张量为零）——这是连接 1854 年演讲与后来张量分析的「缺失一环」。该论文未获奖、生前未发表，直到 1876 年收入《全集》才为人知。

1862 年 6 月，黎曼与姐姐的朋友 埃莉泽·科赫（Elise Koch） 结婚，育有一女。但婚后当年秋天他染上重感冒，转成肺结核——他本就体弱，家族亦多早夭（母亲早逝，兄弟与三个姐妹都先他而死）。此后他反复前往意大利温暖气候疗养：1862—1863 年冬在西西里，随后游历意大利并与贝蒂等重逢；1863 年 6 月回哥廷根，健康迅速恶化；1864 年 8 月至 1865 年 10 月在北意大利；1865—1866 年冬回哥廷根；1866 年普奥战争中普鲁士与汉诺威军队在哥廷根一带冲突，黎曼避往意大利，6 月 16 日抵达马焦雷湖畔的塞拉斯卡（Selasca）。

戴德金记载：「他的体力迅速衰退，他自己感到末日临近。但即便如此，在去世的前一天，他还在无花果树下休憩，为壮丽的景色满怀喜悦，继续他最后一件未能完成的工作。」1866 年 7 月 20 日，黎曼因肺结核在塞拉斯卡去世，年仅 39 岁，葬于意大利皮埃蒙特大区比甘佐洛（Biganzolo，今韦尔巴尼亚 Verbania）的公墓。临终时他与妻子一同诵读《主祷文》。他是虔诚的基督徒，视数学研究为侍奉上帝的方式。身后，哥廷根的女管家丢弃了他办公室里的部分未刊手稿——许多深邃的洞见可能因此永久遗失（此事出自通俗传记，标存疑）。

二、学术生涯年表

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

1. 复变函数的几何理论与黎曼曲面（1851 博士论文）——复分析

问题背景：到 1850 年，柯西已建立复变函数的积分理论（柯西积分定理与公式），普瓦松（Puiseux）研究了代数函数的支点，但多值函数（如 $\sqrt{z}$、$\log z$）的处理仍依赖笨拙的「分支切割」，缺乏统一的几何图像。

关键思想：黎曼在博士论文中把复函数的研究几何化：他不再把多值函数看作「同一个 $z$ 对应多个 $w$」的麻烦，而是构造一个新的曲面——黎曼曲面——使多值函数在其上变为单值。$\sqrt{z}$ 的曲面有两叶，$\log z$ 的曲面有无穷多叶，在支点处按一定方式粘合。这样，复分析的对象从「复平面上的函数」变成了「黎曼曲面上的函数」，函数的解析性质由曲面的拓扑（连通性、亏格）和奇点分布决定。

精确表述：黎曼曲面是连通的一维复流形（局部同胚于复平面的一片，转移函数全纯）。黎曼证明：定义在黎曼曲面上的复函数满足柯西—黎曼方程，因而其实部与虚部都是调和函数（满足拉普拉斯方程 $\Delta u=0$）；一个解析函数的整体行为由其奇点与曲面的拓扑完全刻画。他引入了曲面连通数（即后来的亏格概念），并证明了亏格为 $g$ 的曲面上函数与微分的空间维数公式。

与前人关系：柯西奠定复分析的分析基础，普瓦松引入支点与分支；黎曼是第一个把拓扑方法系统引入复分析、并把多值函数几何化的人。这一思想直接开启了代数几何（克莱布施、诺特、布里尔）与现代拓扑学。

局限性：论文中许多存在性证明依赖一个变分原理（他称为狄利克雷原理，因从狄利克雷课上学来，其实高斯、格林、汤姆森也用过），即假设某能量积分的最小函数存在——这一假设后来被魏尔斯特拉斯指出并不显然成立，导致 19 世纪后半叶多数数学家「用黎曼的结果，却弃他的方法」。

2. 黎曼映射定理（1851 陈述）——复分析 / 几何

问题背景：哪些平面区域在保角（保持无穷小角度）映射下等价？高斯 1822 年已证明任意两个解析曲面之间局部存在保角映射，但全局问题悬而未决。

关键思想/精确表述：黎曼在博士论文中陈述了著名的黎曼映射定理：复平面上任一非空、单连通、且不是整个 $\mathbb C$ 的开区域 $\Omega$，都双全纯等价（即存在双射 $f$，使 $f$ 与 $f^{-1}$ 均全纯）于开单位圆盘 $\mathbb D={z:|z|<1}$。直观上：任何没有「洞」的平面区域（不论边界多么复杂）都可以保角地「摊平」成单位圆盘。后来庞加莱补充了唯一性：若指定 $f(z_0)=0$ 且 $f'(z_0)>0$，则映射唯一（由施瓦茨引理推出）。

与前人关系：高斯（1822）给出局部保角映射；黎曼陈述了全局定理但证明依赖有缺陷的狄利克雷原理。第一个严格证明由科贝（Koebe，1900 年代）与奥斯古德（Osgood） 给出，所用工具是后来由希尔伯特重建的狄利克雷原理。推广到黎曼曲面的版本是单值化定理（uniformization theorem），由庞加莱与克莱因在 19 世纪末证明：每个单连通黎曼曲面双全纯等价于单位圆盘、复平面或黎曼球面三者之一。

局限性：黎曼原始证明不严密；定理只保证存在性，不给出显式构造，且对非单连通或高维区域不成立。

3. 黎曼几何的创立：1854 年资格演讲——几何

问题背景：高斯在 1828 年《曲面的一般研究》中证明了绝妙定理：曲面的高斯曲率是内蕴的（只依赖第一基本形式，不依赖嵌入 $\mathbb R^3$ 的方式）。但高斯的理论只处理二维曲面。一个自然的问题：能否把内蕴几何推广到任意 $n$ 维？空间的「几何」到底由什么决定？

关键思想：黎曼在演讲中彻底重构了几何的基础——他不再预设一个固定的欧氏背景空间，而是定义：一个 $n$ 维流形上的几何由一个度量张量（Riemannian metric）决定，即在每个切空间上给出一个平滑变化的内积 $g_{ij}(x)$，从而无穷小位移的长度平方为 $$ds^2=\sum_{i,j=1}^n g_{ij}(x)\,dx^i dx^j.$$ 曲线长度由 $\int\sqrt{g_{ij}\dot x^i\dot x^j}\,dt$ 给出，角度、面积、体积等度量概念全部由 $g_{ij}$ 派生。他进而定义了测地线（局部最短线，类比直线）和曲率张量（Riemann curvature tensor）——这是度量偏离欧氏（平坦）程度的内蕴度量。在二维情形，曲率张量退化为一个标量，即高斯曲率。他指出：在测地法坐标下，度量在一阶近似下是欧氏的，曲率的影响出现在二阶项——正如一张弯曲曲面在切平面附近高阶项才显示偏离。

精确表述：黎曼曲率张量 $R^i{}{jkl}$（坐标分量）满足：一个度量在某点附近可通过坐标变换化为常系数（即局部平坦、等价于欧氏度量）当且仅当 $R^i{}\equiv 0$（这一平坦性判据在他 1861 年巴黎论文中给出了坐标形式的证明）。对二维曲面，截面曲率正是高斯曲率，从而绝妙定理成为黎曼几何二维情形的推论。

与前人关系：高斯的内蕴曲面几何（绝妙定理）是直接前驱；黎曼第一个系统定义了高维流形、度量张量与曲率张量，把几何从「研究空间中的图形」变为「研究带度量的抽象空间本身」。他的曲率张量后经里奇（Ricci）、列维-奇维塔（Levi-Civita）发展为张量分析，成为广义相对论的数学工具。

局限性：1854 年演讲是面向哲学院的通俗演讲，公式极少、以直觉陈述为主，严格的张量演算与完整证明由后人（里奇、列维-奇维塔、克里斯托费尔）完成；「流形」的现代严格定义要到 20 世纪（外尔、惠特尼）才建立。

4. 1861 年巴黎应征论文：曲率张量的坐标形式与张量分析的先声——几何 / 物理

问题背景：1858 年巴黎科学院悬赏征文，主题是「均匀固体中热的传播」。黎曼借此机会把 1854 年演讲中较笼统的几何思想落实为可计算的坐标形式。

关键思想：在这篇拉丁文论文中，黎曼为了在弯曲空间中写出热方程，发展出了曲率张量的分量表达式和后来被称为克里斯托费尔符号的对象，并用它们给出了度量局部平坦的充要条件（曲率张量为零）。这篇论文是连接 1854 年演讲与里奇—列维-奇维塔张量分析之间的「缺失一环」。

与前人关系：1854 年演讲只做了定性描述；1861 年论文首次给出计算工具。它在黎曼生前未发表（1876 年才收入《全集》），所以历史上克里斯托费尔（1869）被认为是克里斯托费尔符号的正式发表者，而张量分析的公开创建归功于里奇与列维-奇维塔（1901）。

局限性：因未发表，对当时数学发展几乎没有直接影响，但其思想的超前性在 20 世纪被重新认识。

5. 黎曼积分与可积性条件（1854 资格论文，1867 发表）——分析基础 / 积分理论

问题背景：19 世纪中叶，积分主要被理解为「求导的逆运算」（牛顿—莱布尼茨传统）或基于几何直观的面积。随着傅里叶级数研究的深入（狄利克雷 1829 年证明了分段单调函数的傅里叶级数收敛），数学家需要知道：到底什么样的函数才能被积分？「可积」需要一个脱离原函数的严格定义。

关键思想/精确表述：黎曼在资格论文中给出了积分的第一个严格定义（今天课本中的标准定义）：对 $[a,b]$ 上的有界函数 $f$，任取分割 $a=x_0<x_1<\cdots0$，存在一个分割，使得 $\sum \omega_i\,\Delta x_i<\varepsilon$，其中 $\omega_i=\sup f-\inf f$ 是 $f$ 在第 $i$ 个子区间上的振幅。由此推出：每个连续函数（甚至每个有界且只有有限个不连续点的函数）都黎曼可积；更一般地，不连续点集要「足够稀疏」（这个稀疏性后来由勒贝格精确化为「不连续点集的测度为零」，即勒贝格准则）。

与前人关系：柯西曾对连续函数定义过积分（取左端点），但黎曼是第一个用振幅给出有界函数可积充要条件的人，使积分脱离了连续性假设。后来的达布积分（用上和/下和）是黎曼积分的等价简化形式；再往后，勒贝格积分（1902）把可积函数类大大扩展（容许不可数多个不连续点），但黎曼积分至今仍是微积分教学的标准入门定义。

局限性：黎曼积分的完备性差（可积函数列的极限未必可积），对无界函数与反常情形处理不便，这些缺陷催生了勒贝格积分。

6. 三角级数的收敛性：黎曼局部化原理与黎曼—勒贝格引理（1854，1867 发表）——分析基础

问题背景：傅里叶声称「任意函数都能展成三角级数」，但严格化工作只到狄利克雷（1829，证明分段单调连续函数的收敛性）。黎曼反过来问：如果一个函数能被某个三角级数表示，那么关于它的行为能说些什么？

关键思想/精确表述：黎曼研究三角级数 $f(x)=\sum_{n=-\infty}^{\infty} c_n e^{inx}$ 的表示问题，得到几个基本结果： - 黎曼—勒贝格引理：若 $f$ 在 $[-\pi,\pi]$ 上可积，则其傅里叶系数 $c_n=\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)e^{-inx}\,dx$ 满足 $\lim_{n\to\pm\infty}c_n=0$。 - 黎曼局部化原理：三角级数在一点 $x_0$ 的收敛性只依赖于 $f$ 在 $x_0$ 任意小邻域内的取值——远处的行为不影响该点的收敛。这是傅里叶级数理论的基石之一。 - 他还构造了一个连续但几乎处处不可微的函数，其傅里叶级数在每一点都收敛，但函数本身不满足狄利克雷的分段单调条件——这说明傅里叶级数的表示范围远超狄利克雷定理所覆盖的情形。这个例子（以及康托尔受其启发对三角级数唯一性的研究）直接催生了康托尔的集合论（Cantor 正是从研究「三角级数在哪些点集上唯一表示」起步，逐步建立了点集拓扑与超限数）。

与前人关系：狄利克雷开创收敛性的严格研究；黎曼把方向反转（从表示推出函数性质），引入局部化思想，其论文是康托尔集合论的直接起点（这一脉络由康托尔本人与后世数学史确认）。

局限性：黎曼未给出逐点收敛的完整刻画（这要到 20 世纪卡尔松定理 Carleson, 1966 才解决：平方可积函数的傅里叶级数几乎处处收敛）；他的连续不可微函数例子不如后来魏尔斯特拉斯的著名例子清晰，但更早。

7. 阿贝尔函数论：亏格、θ 函数与雅可比反演（1857）——复分析 / 代数几何

问题背景：椭圆积分（如 $\int dx/\sqrt{(1-x^2)(1-k^2x^2)}$）的反演给出椭圆函数，由阿贝尔与雅可比在 1820 年代解决。但更一般的阿贝尔积分（$\int R(x,y)\,dx$，其中 $R$ 有理、$(x,y)$ 满足代数曲线方程）的反演——即雅可比反演问题——在高亏格情形悬而未决。

关键思想/精确表述：黎曼在 1857 年《阿贝尔函数论》中，用他的黎曼曲面语言彻底重写了这一领域：他定义了曲面的亏格 $g$，证明亏格为 $g$ 的紧黎曼曲面上有 $g$ 个线性无关的全纯微分（第一类阿贝尔微分），并把阿贝尔积分的反演归结为多变量θ 函数的零点研究。他用 $\Theta$ 函数（多变量）解决了一般亏格的雅可比反演问题，并得到了周期矩阵的黎曼双线性关系（对称、虚部正定）——这是后来雅可比簇（Jacobian variety）与阿贝尔簇理论的基础。他还在论文第 5 节给出了著名的黎曼不等式：紧黎曼曲面上，除子 $D$ 所定义的线性系维数 $\ell(D)$ 满足 $\ell(D)\ge \deg D - g + 1$。

与前人关系：阿贝尔、雅可比解决椭圆（亏格 1）情形；黎曼第一个处理任意亏格的一般情形。魏尔斯特拉斯几乎同时在研究同一问题，但 1857 年看到黎曼论文后撤回了自己的稿子、终身未再发表阿贝尔函数，承认黎曼的几何方法更胜一筹。

局限性：存在性证明仍依赖狄利克雷原理（被魏尔斯特拉斯批评）；其几何方法在 19 世纪后半叶被代数方法（布里尔—诺特）取代，直到 20 世纪才被外尔复兴。

8. 黎曼—罗赫定理（黎曼不等式 1857 + 罗赫补全 1865）——代数几何

问题背景：在紧黎曼曲面（等价于代数曲线）上，给定一个除子 $D$（即有限个点带整数重数），有多少个线性无关的亚纯函数在 $D$ 的正部处有极点（阶数不超过重数）、在负部处为零？

精确表述：黎曼—罗赫定理：对紧黎曼曲面 $X$（亏格 $g$）上任意除子 $D$， $$\ell(D)-\ell(K-D)=\deg D - g + 1,$$ 其中 $\ell(D)$ 是上述函数空间的维数，$K$ 是典范除子（全纯微分的除子）。黎曼 1857 年证明了不等式 $\ell(D)\ge \deg D - g + 1$；他的学生 古斯塔夫·罗赫（Gustav Roch，1839—1866） 在 1865 年的论文《论代数函数中任意常数的个数》中补出了余项 $\ell(K-D)$，使之成为等式。该定理由 布里尔（Brill）与马克斯·诺特（Max Noether）于 1874 年首次命名为「黎曼—罗赫定理」。

与前人关系：黎曼给一半，罗赫给另一半；罗赫是黎曼少数正式学生之一，年仅 27 岁去世。该定理是代数曲线论的核心，20 世纪推广为高维代数几何的赫泽布鲁赫—黎曼—罗赫定理（Hirzebruch–Riemann–Roch）乃至格罗滕迪克—黎曼—罗赫定理，是代数几何与拓扑连接的枢纽。

局限性：原始证明用解析方法，代数版本由布里尔—诺特给出；高维推广是 20 世纪的事。

9. 超几何函数与微分方程的单值群（1857）——分析 / 微分方程

问题背景：高斯研究过超几何函数，但只把它当作实变量函数。黎曼把复方法引入二阶线性常微分方程的奇点理论。

关键思想/精确表述：1857 年黎曼发表《对高斯级数 $F(\alpha,\beta,\gamma,x)$ 所表示函数的理论的贡献》，研究超几何微分方程 $$x(1-x)y''+[\gamma-(\alpha+\beta+1)x]y'-\alpha\beta\,y=0$$ 在复平面上三个正则奇点 $0,1,\infty$ 附近的解。他的核心创新是：不再直接求解，而是考察解在沿绕奇点的闭曲线解析延拓时发生的线性变换——这些变换构成一个群，即单值群（monodromy group），用单值矩阵表示。黎曼证明，超几何方程的解完全由其单值群（即三个 $2\times 2$ 矩阵）决定，从而把微分方程的求解转化为线性代数与群论问题。

与前人关系：高斯引入超几何函数；黎曼首创「通过单值群研究微分方程」的观点，是微分方程解析理论（富克斯 Fuchs 后来系统化）的先驱。反过来，「给定单值群是否存在相应微分方程」成为著名的希尔伯特第二十一问题（黎曼—希尔伯特问题）。

局限性：黎曼只处理了二阶超几何方程；一般线性常微分方程的单值群理论由富克斯、克莱因等人完成。

10. 1859 年素数论文：ζ 函数、解析延拓、函数方程与黎曼猜想——数论

问题背景：欧拉曾定义对实数 $s>1$ 的级数 $\zeta(s)=\sum_{n=1}^\infty n^{-s}$，并证明欧拉乘积 $\zeta(s)=\prod_{p\text{ 素数}}(1-p^{-s})^{-1}$，建立了 ζ 函数与素数的联系。但欧拉只把它看作实变量函数。高斯与勒让德曾经验猜想素数定理 $\pi(x)\sim x/\log x$，但无人能证明。

关键思想：黎曼把 $\zeta(s)$ 看成复变量 $s=\sigma+it$ 的函数。他的 9 页论文做了几件划时代的事：

1. 解析延拓：用汉克尔围道积分（Hankel contour，比汉克尔本人早 4 年）与 Γ 函数，把 $\zeta(s)$ 从 $\operatorname{Re}(s)>1$ 解析延拓到整个复平面（除 $s=1$ 处的一阶极点），并引入整函数 $\xi(s)=\frac{1}{2}s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s)$。
2. 函数方程：证明 $\xi(s)=\xi(1-s)$，即 $$\pi^{-s/2}\Gamma!\left(\frac{s}{2}\right)\zeta(s)=\pi^{-(1-s)/2}\Gamma!\left(\frac{1-s}{2}\right)\zeta(1-s).$$ 这表明 ζ 函数关于直线 $\operatorname{Re}(s)=\tfrac12$（临界线）对称（注：函数方程的整数特殊值欧拉已知，但一般复函数方程由黎曼严格证明）。
3. 零点分类：ζ 函数的零点分两类——「平凡零点」在负偶数 $s=-2,-4,\ldots$（由 Γ 函数的极点而来）；「非平凡零点」全部落在临界带 $0<\operatorname{Re}(s)<1$ 内，且有无穷多个。
4. 黎曼猜想：黎曼写道：「所有非平凡零点的实部很可能都是 $\tfrac12$（即都落在临界线上）。人们自然希望有一个严格证明，但我在几次短暂的徒劳尝试之后暂时把它搁置一旁，因为它对我当前研究的直接目标似乎并非必需。」这就是黎曼猜想（Riemann Hypothesis, RH）——至今未证，被克雷数学研究所列为七大千禧年难题之一，也被希尔伯特列入 1900 年第八问题。
5. 显式公式：黎曼用非平凡零点给出了素数计数函数的一个精确显式表达式（Riemann 显式公式）：$\pi(x)$ 可以表示为对数积分 $\operatorname{Li}(x)$ 减去一个由所有非平凡零点 $\rho$ 贡献的和 $\sum_\rho \operatorname{Li}(x^\rho)$ 再加常数项。这把素数的分布完全编码进了 ζ 函数的零点位置。

与前人关系：欧拉给出实变量 ζ 与乘积公式；高斯、勒让德猜素数定理；黎曼是第一个把复分析方法系统注入数论的人，开创了解析数论这一分支。素数定理最终在 1896 年由阿达马（Hadamard）与德拉瓦莱·普桑（de la Vallée Poussin） 独立证明（用的正是黎曼的 ζ 函数方法，只需证明 ζ 在 $\operatorname{Re}(s)=1$ 上无零点，比 RH 弱得多）。

局限性：黎曼在论文中留下了好几条「未证的断言」（如 ξ 的乘积表示、临界带内零点个数的渐近估计），后来由阿达马、冯·曼戈尔特（von Mangoldt）等人逐一补证；而黎曼猜想本身至今悬而未决。

11. 物理与偏微分方程：分析在自然科学中的应用

黎曼在数学物理上同样有重要影响，虽不及他在纯数学上的贡献引人注目： - 他在哥廷根讲授偏微分方程（听课者包括戴德金），讲义经 哈滕多夫（Hattendorff） 整理为《偏微分方程及其在物理问题上的应用》（1882），后由韦伯扩充为《数学物理的偏微分方程》（1901），是 19—20 世纪数学物理的标准教材。 - 在波动方程上他引入了黎曼函数（Riemann function / Green 函数的一种）方法，用于求解二阶线性双曲型方程的初值问题，这一技巧至今沿用。 - 他研究极小曲面与保角映射，用自守函数把拓扑三角形映为圆盘；研究静电分布定律（1854 年报告）。 - 韦伯据其讲义整理出版了《重力、电与磁》（Schwere, Elektrizität und Magnetismus，1876）。

历史意义：黎曼对物理的兴趣深刻影响了他的几何——他在 1854 年演讲中已提出「真实空间的几何应由其中的物质（力）决定」的物理直觉，这一思想六十年后被爱因斯坦以场方程的形式实现。

四、代表著作与文献

• 博士论文《复变量函数一般理论的基础》（Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse，1851 年 12 月答辩，哥廷根）：引入黎曼曲面、陈述黎曼映射定理；PDF 见都柏林三一学院历史数学档案。
• 资格论文《论函数由三角级数表示的可能性》（Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe，1853 年完成，1854 年提交，1867 年身后发表于《哥廷根皇家科学学会论文集》第 13 卷）：建立黎曼积分、可积性条件、黎曼—勒贝格引理、局部化原理。
• 资格演讲《论作为几何学基础的假设》（Über die Hypothesen, welche der Geometrie zu Grunde liegen，1854 年 6 月 10 日演讲，1868 年身后发表；1873 年 W. K. 克利福德英译刊于 Nature）：黎曼几何的诞生文献。
• 《阿贝尔函数论》（Theorie der Abelschen Functionen，载《纯粹与应用数学杂志》〔Crelle〕第 54 卷，1857，pp. 101–155）：亏格、θ 函数、雅可比反演、黎曼不等式。
• 《对高斯级数所表示函数的理论的贡献》（Beiträge zur Theorie der durch die Gauss'sche Reihe … darstellbaren Functionen，1857）：超几何函数与单值群。
• 《论小于给定数值的素数个数》（Über die Anzahl der Primzahlen unter einer gegebenen Grösse，载《柏林普鲁士科学院月报》，1859 年 11 月）：黎曼猜想与解析数论的奠基论文；手稿复制件藏克雷数学研究所，Wikisource 有德文原文。
• 巴黎应征论文《数学评论……》（Commentatio mathematica, qua respondere tentatur quaestioni ab Illma Academia Parisiensi propositae，1861，生前未发表，1876 年收入《全集》）：曲率张量坐标形式与平坦性判据；拉丁文本见都柏林三一学院档案。
• 身后整理出版：《偏微分方程讲义》（1882，Hattendorff 整理）；《重力、电与磁》（1876，Hattendorff 整理）；《数学物理偏微分方程》（1901，韦伯据其讲义扩充）。
• 《黎曼数学文集》（Bernhard Riemanns gesammelte mathematische Werke und wissenschaftlicher Nachlass，Heinrich Weber 主持、Richard Dedekind 协助，1876 初版；1892、1902 再版增补；1953 年 Dover 重印，2004、2017 年 Kendrick Press 英译 Collected Papers）。
• 一手传记：戴德金为《文集》所撰《黎曼生平》（Bernhard Riemanns Lebensbeschreibung，1876；英译 PDF 见都柏林三一学院）。

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

• 师承：
• 博士导师：高斯（1851 年论文，1854 年资格演讲的评审人）。但需注意：高斯在黎曼本科阶段并未识其天才，主要影响发生在博士与资格阶段；且高斯对黎曼几何思想的理解远超同时代人，是唯一在现场听懂 1854 年演讲的听众。
• 主要学术影响者：狄利克雷（柏林时期，1847—1849）——黎曼自认的精神导师，其「直观 + 简洁逻辑」的风格被黎曼完全吸收；黎曼所使用的变分原理也因此被命名为「狄利克雷原理」。
• 其他老师：柏林的雅可比（椭圆函数）、施泰纳（几何）、爱森斯坦（数论与复变函数）；哥廷根的施特恩（最早赏识黎曼的人）、韦伯（物理，18 个月助手）、利斯廷（拓扑）。
• 学生：黎曼不喜教书、正式学生很少，但影响深远：
• 古斯塔夫·罗赫（Gustav Roch，1839—1866）：补全黎曼—罗赫定理，27 岁去世。
• 埃杜阿尔德·泽林（Eduard Selling）。
• 非正式但深受其影响的戴德金（Dedekind）：作为黎曼阿贝尔函数讲座的三名听众之一，后来整理出版了黎曼的资格演讲、资格论文与生平传记，是黎曼遗产的主要守护者。
• 主要交往与通信：
• 高斯：1851 年论文评审、1854 年演讲听众；高斯罕见地热情评价黎曼。
• 狄利克雷：精神导师；1855 年接任高斯席位后对黎曼多有提携，1859 年去世后由黎曼继任。
• 魏尔斯特拉斯：在阿贝尔函数上是竞争对手——1857 年看到黎曼论文后撤回自己的稿子；但他批评了狄利克雷原理的不严密，却仍深信黎曼的结果正确，并让学生施瓦茨（Schwarz）寻找替代方法。1859 年黎曼访柏林时二人相处融洽；魏尔斯特拉斯是推荐黎曼入柏林科学院的三人之一。
• 戴德金：挚友与遗产整理者，毕生致力于传播黎曼的思想。
• 意大利学派：贝蒂、卡萨蒂、布里奥西1858 年访哥廷根，1863 年黎曼回访；贝蒂受黎曼拓扑思想启发（贝蒂数）。
• 库默尔、博尔夏特：与魏尔斯特拉斯一起推荐黎曼入柏林科学院。
• 施瓦茨：魏尔斯特拉斯的学生，为补全黎曼的存在性证明（替代狄利克雷原理）做出关键工作。
• 与麦克斯韦、亥姆霍兹等物理学家的间接联系：他的数学物理讲义影响了德国理论物理传统；亥姆霍兹曾一夜读完黎曼论文并认为「自然」、「很好懂」，帮助魏尔斯特拉斯理解黎曼。
• 学派归属：黎曼是哥廷根数学传统的关键一环：高斯 → 狄利克雷 → 黎曼 → 戴德金 → （克莱因、希尔伯特）。他与柏林的魏尔斯特拉斯学派（重代数、重严格）形成方法上的对照：黎曼重几何直观与存在性，魏尔斯特拉斯重幂级数与显式构造。20 世纪这两条路线在外尔手中汇合。

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

• 狄利克雷原理的危机：黎曼在博士论文（1851）与阿贝尔函数论文（1857）中用「某能量积分必存在最小值」来证明解析函数的存在性。魏尔斯特拉斯指出：变分问题的最小值未必存在（函数空间不完备），并给出反例。这一批评导致 19 世纪后半叶「多数数学家使用黎曼的结果，却完全弃置他的方法」（弗罗伊登塔尔语）。黎曼本人承认批评有理，但坚持「我的存在性定理仍是对的，我只是把狄利克雷原理当作顺手的工具」。问题最终由希尔伯特（1900 年前后）在变分法中重建狄利克雷原理而解决，证明了在适当条件下最小值确实存在——黎曼的直觉是对的。
• 阿贝尔函数的优先权：1857 年黎曼论文发表时，魏尔斯特拉斯已向柏林科学院提交了同主题论文。魏尔斯特拉斯读到黎曼的工作后，主动撤回自己的论文、终身不再发表阿贝尔函数，并公开承认黎曼的方法更具原创性——这是数学史上罕见的、毫无争议的慷慨之举。今日阿贝尔函数的几何理论以黎曼之名立。
• 黎曼猜想的提出方式：黎曼以「很可能」「暂时搁置」的口吻提出 RH，并未尝试证明。这种「把猜想留给后人」的做法引发了后世长达 160 余年的攻坚。希尔伯特 1900 年把它列入第八问题，克雷研究所 2000 年悬赏百万美元；至今未证（截至 2026 年，已验证前 $10^{13}$ 个以上非平凡零点全部在临界线上，但这不能替代证明）。
• 「女管家丢弃手稿」之事：黎曼的女管家在他身后丢弃了办公室里的部分未刊手稿，出自通俗传记（马库斯·杜·索托伊《素数的音乐》），标存疑——此事细节无严密档案佐证，但黎曼「不发表未完工作」的习惯确实使许多洞见延迟面世。
• 常见误传与澄清：
• 「黎曼证明了素数定理」——不确。他给出了方法与显式公式，但素数定理的证明由 1896 年阿达马与普桑完成。
• 「黎曼几何就是广义相对论」——不确。黎曼几何是广义相对论的数学语言（爱因斯坦 1915 年用场方程把几何与物质联系起来，正是黎曼 1854 年「几何应由物质决定」直觉的实现），但物理内容是爱因斯坦的。
• 「黎曼是第一个提出高维空间的人」——黎曼在 1854 年演讲中确实系统讨论了任意 $n$ 维几何，但其「物理空间可能高于三维」的具体说法（Wikipedia 引《文集》p.268 与 Pierpont 1903）出处较单一，表述时宜谨慎（标存疑）。
• 历史评价：黎曼被公认为与高斯、欧拉、牛顿、庞加莱同列的史上最伟大数学家之一，且可能是「思想密度」最高的一位——他在不到 15 年的学术生涯中（1851—1866）开创了黎曼几何、现代复分析、解析数论三大领域，并深刻重塑了积分与三角级数理论。他的特点是以几何直观统摄分析，常先看到全局图像再给出（有时不够严密的）证明。这种风格使他生前的影响受到「严密性争议」的限制，但其结果在身后逐一被证实。外尔在《黎曼曲面的概念》（1913）中把黎曼的思想严格化并复兴，使黎曼几何与黎曼曲面在 20 世纪成为数学与物理的中心。

七、身后影响与学术谱系

• 几何 → 物理：黎曼几何（度量、曲率张量）经克里斯托费尔（1869）、里奇（Ricci）、列维-奇维塔（1901）发展为张量分析；爱因斯坦 1915 年用它写出广义相对论的场方程，把引力解释为时空曲率——黎曼 1854 年「几何由物质决定」的物理直觉就此实现。20 世纪的整体微分几何（嘉当、陈省身）、规范场论（杨振宁—米尔斯）、弦论都建立在黎曼几何之上。
• 复分析 → 代数几何：黎曼曲面 → 黎曼—罗赫定理 → 经布里尔—诺特、戴德金—韦伯的代数化 → 20 世纪意大利代数几何学派 → 扎里斯基、韦伊、格罗滕迪克的现代代数几何。黎曼—罗赫定理在 20 世纪推广为赫泽布鲁赫—黎曼—罗赫、格罗滕迪克—黎曼—罗赫，是代数几何与拓扑的桥梁。
• 数论：1859 年论文开创解析数论。黎曼的方法 → 阿达马、普桑证明素数定理（1896）；→ 哈代—利特伍德、塞尔伯格、韦伊发展复分析与特征和方法；→ 韦伊把 RH 推广到有限域上的曲线（1940 年代证明，即韦伊猜想的一部分），最终由德利涅（Deligne，1974）证明有限域上代数簇的韦伊猜想（类比 RH），但复数域上的原 RH 仍未解决。RH 的真伪深刻关联素数分布、密码学安全性与随机矩阵理论（蒙哥马利—戴森对应）。
• 分析基础：黎曼积分 → 达布积分 → 勒贝格积分（1902）→ 现代测度与积分论；他的三角级数论文直接催生康托尔集合论（点集拓扑、超限数），是现代数学基础的基石之一。
• 拓扑：黎曼曲面的连通性/亏格思想 → 贝蒂数（贝蒂）→ 庞加莱的代数拓扑 → 现代拓扑学。
• 微分方程：单值群观点 → 富克斯的线性微分方程解析理论 → 黎曼—希尔伯特问题（希尔伯特第二十一问题）→ 20 世纪可积系统与数学物理。
• 学术谱系：高斯 → 狄利克雷 → 黎曼 → 戴德金 → （诺特、阿廷、兰德）；黎曼的几何经列维-奇维塔 → （外尔、嘉当）→ 陈省身 → 现代整体微分几何。
• 文化与纪念：以其命名的数学/物理对象数不胜数——黎曼度量、黎曼曲率张量、黎曼流形、黎曼曲面、黎曼积分、黎曼和、黎曼—勒贝格引理、黎曼映射定理、黎曼ζ函数、黎曼ξ函数、黎曼猜想、黎曼假设、黎曼—罗赫定理、黎曼—希尔伯特问题、黎曼周期关系、黎曼函数、黎曼不变量、黎曼重排定理、黎曼球面（扩充复平面）等。月球上有以其命名的陨石坑；其墓碑上刻有《罗马书》经文（因他的虔诚信仰）。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Bernhard Riemann：圣安德鲁斯大学权威传记，本档案生平与年表的核心出处。
• MacTutor 传记参考文献链接（Freudenthal 撰写的 DSB 条目等）：传记末尾所列 Monastyrsky、Laugwitz 等专著。
• MacTutor：Gustav Roch 传记：核对黎曼—罗赫定理中罗赫的贡献与 1865 年论文。
• Wikipedia: Bernhard Riemann：生平、著作年表与成就总览（交叉核对来源）。
• Wikipedia: Riemannian geometry：黎曼几何的定义、起源（1854 演讲）与发展。
• Wikipedia: Riemann surface：黎曼曲面的定义、历史与多值函数几何化。
• Wikipedia: Riemann integral：黎曼积分的定义、可积条件与历史（1854 提出，1868 发表）。
• Wikipedia: Riemann mapping theorem：定理精确陈述、黎曼原始证明的缺陷与后世严格化。
• Wikipedia: Riemann hypothesis：猜想的精确表述、历史与当前进展。
• Wikipedia: On the Number of Primes Less Than a Given Magnitude：1859 年论文的内容逐节解析（解析延拓、函数方程、显式公式、猜想原文）。
• Wikipedia: Riemann–Roch theorem：定理陈述与历史（黎曼 1857 不等式、罗赫 1865 补全、布里尔—诺特 1874 命名）。
• Wikipedia: Dirichlet's principle：狄利克雷原理的历史、魏尔斯特拉斯的批评与希尔伯特的重建。
• Wikipedia: Riemann zeta function：ζ 函数的解析延拓、函数方程与零点分布。
• Riemann 1859 年手稿复制件（克雷数学研究所）：一手文献。
• Dedekind 撰《黎曼生平》英译（都柏林三一学院历史数学档案）：最接近一手的传记。
• Riemann 1861 巴黎应征论文拉丁文本（都柏林三一学院历史数学档案）：曲率张量坐标形式的原始出处。
• Riemann 数学论文页（都柏林三一学院历史数学档案）：博士论文、资格演讲等原始文本汇集。
• Detlef Laugwitz, Bernhard Riemann 1826—1866: Turning Points in the Conception of Mathematics（Birkhäuser, 1996；德文原版 1996）：权威学术传记，MacTutor 与 Wikipedia 主要参考。
• Mikhail Monastyrsky, Riemann, Topology and Physics（Birkhäuser, 1999）：从物理与拓扑视角解读黎曼。
• H. M. Edwards, Riemann's Zeta Function（Dover, 1974/2001）：1859 年论文的逐节讲解与解析数论经典。
• John Derbyshire, Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics（2003）：面向大众的黎曼猜想史（含「女管家丢弃手稿」轶事，标存疑）。
• 季理真、Papadopoulos、山田编，From Riemann to Differential Geometry and Relativity（Springer, 2017）：黎曼几何到相对论的历史研究论文集。