黎曼 — 数学家

生平

伯恩哈德·黎曼（Bernhard Riemann，1826—1866）是19世纪最富创造力的数学家之一，他的工作深刻改变了数学的面貌。他出生于德国汉诺威的布雷斯伦茨，是路德教会牧师的六个孩子中的第二个。黎曼从小就展现出数学天赋和体弱多病的特点。1846年，他进入哥廷根大学学习神学和哲学（遵从父亲的意愿），但很快转攻数学。1847年，他转到柏林大学，师从雅可比和狄利克雷。1849年，他回到哥廷根，成为高斯的最后一位学生。

1851年，黎曼在高斯指导下获得博士学位，论文题目是《单复变函数一般理论的基础》。高斯对这篇论文给予了极高的评价，称其"证明了作者具有创造性的、活跃的、真正的数学头脑，具有辉煌的丰富性"。

1854年，黎曼为获得大学讲师资格（Habilitation）发表了就职演讲《论作为几何学基础的假设》。高斯选择了这个最困难的题目——这篇仅16页的论文开创了黎曼几何，成为爱因斯坦广义相对论的数学基础。

1859年，黎曼接替狄利克雷成为哥廷根大学数学教授。同年，他提交给柏林科学院的仅有的数论论文《论不大于给定数的素数个数》中提出了黎曼猜想——数学中最重要的未解问题。

黎曼一生体弱多病，长期与肺结核抗争。哥廷根的同事们为他争取到政府资助，让他前往气候温和的意大利疗养。1866 年 7 月 20 日，他在马焦雷湖畔的塞拉斯卡（Selasca）去世，年仅 39 岁。据记载，临终时他正与妻子一起诵念主祷文（the Lord's Prayer），祷文还没念完便溘然长逝——黎曼是新教牧师之子，终生虔信基督教，把数学也视为侍奉上帝的一种方式。（坊间流传的"请代我向妻子问好"等遗言并无可靠出处。）

核心贡献

黎曼几何

黎曼在1854年的就职演讲中开创了黎曼几何——弯曲空间的几何学。他的核心思想是：

流形（manifold）：空间可以是任意维的，不必是三维欧几里得空间
度量张量（metric tensor）：空间中的距离由度量张量 $g_{ij}$ 决定

在 $n$ 维流形上，两点之间的距离平方为：

$ds^2 = \sum_{i,j=1}^{n} g_{ij} \, dx^i \, dx^j$

当 $g_{ij} = \delta_{ij}$ （单位矩阵）时，回到欧几里得空间。当 $g_{ij}$ 是坐标的函数时，空间是弯曲的。

黎曼曲率张量描述了空间的弯曲程度：

$R^i_{jkl} = \frac{\partial \Gamma^i_{lj}}{\partial x^k} - \frac{\partial \Gamma^i_{kj}}{\partial x^l} + \Gamma^i_{km}\Gamma^m_{lj} - \Gamma^i_{lm}\Gamma^m_{kj}$

其中 $\Gamma^i_{jk}$ 是克里斯托费尔符号（Christoffel symbols），由度量张量决定。黎曼几何的意义在于它打破了欧几里得几何的垄断。在黎曼之前，人们认为空间只能是欧几里得的；在黎曼之后，空间可以是任意弯曲的。这为爱因斯坦的广义相对论提供了数学框架——引力不是力，而是时空弯曲的几何效应。

黎曼猜想

黎曼在1859年的论文中提出了黎曼猜想——数学中最重要的未解问题：

黎曼ζ函数定义为：

$\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots$

当 $\text{Re}(s) > 1$ 时，级数收敛。黎曼将 $\zeta(s)$ 解析延拓到整个复平面（除了 $s=1$ 处的极点）。

黎曼猜想： $\zeta(s)$ 的所有非平凡零点的实部都等于 $\frac{1}{2}$ 。

即，若 $\zeta(\rho) = 0$ 且 $\rho$ 不是负偶数，则 $\text{Re}(\rho) = \frac{1}{2}$ 。黎曼猜想与素数分布密切相关。素数计数函数 $\pi(x)$ （不大于 $x$ 的素数个数）的精确公式为：

$\pi(x) = \text{Li}(x) - \sum_{\rho} \text{Li}(x^\rho) + \text{小项}$

其中 $\text{Li}(x)$ 是对数积分，求和遍历 $\zeta(s)$ 的所有非平凡零点 $\rho$ 。这就是著名的"显式公式"——它把"素数有多少"这个算术问题，彻底翻译成了"ζ 函数的零点长在哪里"这个分析问题。要诚实地说明：黎曼本人 1859 年写下的这个公式（用的是稍作修改的计数函数 $J(x)$）只是纲领性的，许多步骤他并未严格证明；第一个完全严格的证明是冯·曼戈尔特（von Mangoldt）在 1895 年完成的（对 $\psi(x)$ 给出 $\psi(x) = x - \sum_\rho \frac{x^\rho}{\rho} - \log(2\pi) - \tfrac12\log(1-x^{-2})$ 这一精确等式）。

这里有一个常被通俗读物搞错的逻辑关系值得点破：常说"如果黎曼猜想成立，就能得到素数分布的最佳误差估计"

$|\pi(x) - \text{Li}(x)| = O(\sqrt{x} \ln x)$

但更准确的事实是，这是一个充要等价——冯·科赫（von Koch）1901 年证明：上述误差界成立 当且仅当 黎曼猜想为真。换言之，黎曼猜想并不只是"能推出"好的素数估计，它就等于这个素数估计。每一个非平凡零点偏离临界线 $\mathrm{Re}(s)=1/2$ ，都会在素数分布里留下一道对应的"波纹"；猜想说的是这些波纹的振幅尽可能小。

黎曼猜想至今未解，被列入克雷数学研究所七大千禧年问题，悬赏100万美元。已有超过十万亿个零点被验证满足猜想，但要警惕一个常见误区：有限的数值验证不构成证明——历史上利特尔伍德（Littlewood）已证明 $\pi(x)-\text{Li}(x)$ 会无穷多次改变符号（尽管第一次变号发生在天文数字般大的 $x$ 处），这提醒我们：素数世界里"看起来永远成立"的规律，未必真的永远成立。

黎曼积分

黎曼给出了定积分的严格定义——黎曼积分。设 $f$ 是定义在 $[a, b]$ 上的函数。将区间分割为 $n$ 个小区间：

$a = x_0 < x_1 < x_2 < \cdots < x_n = b$

在每个小区间 $[x_{i-1}, x_i]$ 中任取一点 $\xi_i$ ，构成黎曼和：

$S = \sum_{i=1}^{n} f(\xi_i) \Delta x_i$

其中 $\Delta x_i = x_i - x_{i-1}$ 。如果当最大区间长度 $\max \Delta x_i \to 0$ 时，黎曼和趋向于一个确定的极限 $I$，则称 $f$ 在 $[a, b]$ 上黎曼可积，$I$ 称为 $f$ 的黎曼积分：

$I = \int_a^b f(x) \, dx = \lim_{\max \Delta x_i \to 0} \sum_{i=1}^{n} f(\xi_i) \Delta x_i$

黎曼积分是微积分中积分概念的严格化，至今仍是大学微积分课程的标准内容。

黎曼曲面

黎曼引入了黎曼曲面的概念——将多值函数单值化的几何工具。考虑函数 $w = \sqrt{z}$ 。对于每个非零复数 $z$，有两个平方根，所以 $w$ 是多值函数。黎曼的解决方法是构造一个两层的曲面——黎曼曲面——使得 $w$ 在其上成为单值函数。黎曼曲面的形式定义：一个连通的复一维流形，即一个曲面，其每个点的邻域都同胚于复平面的开集。

黎曼曲面的亏格（genus）$g$ 是"洞"的个数： - 球面：$g = 0$ - 环面：$g = 1$ - 双环面：$g = 2$

黎曼曲面至今仍是复分析和代数几何的核心概念。

黎曼映射定理

黎曼证明了黎曼映射定理（虽然他的证明不完全严格，严格的证明由Osgood在1900年给出）：

定理：任何单连通的复平面开区域（不等于整个复平面）都共形等价于单位圆盘。

即，存在一个解析双射 $f: D \to \mathbb{D}$ ，其中 $D$ 是单连通区域， $\mathbb{D}$ 是单位圆盘。这一定理是复分析中最基本的结果之一，它表明所有单连通区域在共形映射下本质上是一样的。

数学方法论

黎曼的数学方法具有以下特点：

几何直觉：黎曼总是从几何图像出发，将抽象的分析问题转化为几何问题
物理启发：黎曼的许多工作受到物理学的启发，如热传导、电磁学和流体力学
整体观点：黎曼关注整体性质而非局部性质，这体现在他对流形和曲面的研究中
大胆推广：黎曼敢于将概念推广到最一般的情形，如将空间从三维推广到任意维

历史背景

黎曼生活在19世纪中叶的德国。这一时期德国正在经历工业革命和政治统一（1871年德意志帝国成立）。在数学方面，这是严格化和抽象化的时代——柯西和魏尔斯特拉斯为分析学奠定了严格基础，伽罗瓦和阿贝尔开创了抽象代数。

黎曼的老师高斯是当时最伟大的数学家。高斯对黎曼的影响体现在两个方面： 1. 微分几何：高斯的曲面理论是黎曼几何的直接前身 2. 数论：高斯的《算术研究》启发了黎曼对ζ函数的研究

思想遗产

黎曼的影响深远而持久：

黎曼几何：成为广义相对论的数学框架，彻底改变了人类对空间和引力的理解
黎曼猜想：至今仍是数学中最重要的未解问题，驱动了解析数论的发展
黎曼积分：成为微积分的标准积分定义
黎曼曲面：开辟了复分析和代数几何的新方向
流形理论：n维流形的概念成为现代数学和物理学的基础语言

爱因斯坦在《论物理学方法》（约 1933）中写道："只有黎曼那孤独而不被理解的天才，早在上世纪中叶就已开辟出一种全新的空间观——在这种空间观里，空间被剥夺了它的刚性，它参与物理事件的能力被承认为可能。"（"Only the genius of Riemann, solitary and uncomprehended..."）半个世纪后，正是这种"可弯曲、能参与物理"的空间观成了广义相对论的数学语言。

与其他数学家的关系

高斯：黎曼的老师，高斯的曲面理论是黎曼几何的前身
狄利克雷：黎曼在柏林的老师，黎曼ζ函数的解析性质研究受到狄利克雷L函数的启发
魏尔斯特拉斯：用更严格的方法处理了黎曼的许多结果
希尔伯特：发展了黎曼的积分方程理论
爱因斯坦：用黎曼几何建立了广义相对论
佩雷尔曼：用黎曼几何中的里奇流方法证明了庞加莱猜想

跨域连接

黑洞：度量在某些坐标下发散未必是真奇点，判据是由度量算出的曲率标量是否发散——这正是"几何由内蕴量定义"的实用后果。推论：视界处的坐标奇点可以换坐标消掉，中心处的不能，两者能被严格区分而不靠直觉；坐标的病与几何的病由此被彻底分开。
光纤与全反射：折射率渐变的介质里，光走的是由折射率定义的那套"光学度量"下的测地线，几何光学与弯曲空间共用同一组方程。推论：用非均匀材料可以在实验台上复现弯曲时空中的光线路径，弯曲因此成了可搭建、可调节的对象。
地球内部：地震波沿由波速分布定义的射线传播，波速场就是那里的度量，走时反演即由路径长度反推度量。推论：只测走时定不出唯一的速度结构，必须靠射线方向的多样性去压制多解——所以加密台站的价值高于提高单台精度，这与"能否由局部距离定出曲率"是同一个问题。
主成分分析：数据里的"距离"由所选内积给出，默认欧氏内积就默认了各维等权；换成加权内积，主轴方向随之改变。推论：做任何降维之前都必须说明用的是哪个度量，否则"数据的主要方向"这句话没有确定含义，不同度量下的主轴也不能互相比较。
流形：度量张量给每个切空间一个内积，长度、角度、曲率全部由它生成，不需要任何外部嵌入空间。推论：追问"宇宙嵌在什么里面"是不必要的——弯曲是完全可以在内部测定的属性。

参考文献

Bernhard Riemann, Gesammelte mathematische Werke (1876)
John Derbyshire, Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics (2003)
Victor Katz, A History of Mathematics: An Introduction (2008)
Harold Edwards, Riemann's Zeta Function (1974)

生平#

核心贡献#

黎曼几何#

黎曼猜想#

黎曼积分#

黎曼曲面#

黎曼映射定理#

数学方法论#

历史背景#

思想遗产#

与其他数学家的关系#

跨域连接#

参考文献#

延伸阅读#

生平