庞加莱猜想——舍弃百万美元与荣誉的天才所解

大家好，我是 Senko。本文将解读千禧年大奖难题中唯一被解开的难题“庞加莱猜想”。

悬赏 100 万美元的七个数学最重要问题，即千禧年大奖难题。其中目前解决了的，只有庞加莱猜想这一个。而且故事戏剧性拉满：证明了这道百年难题的数学家，把数学界最高荣誉菲尔兹奖与 100 万美元奖金统统婉拒，转身过起了隐居生活。问题本身则是“怎么分辨宇宙的形状”——既宏大又有手感的一个谜。下面零基础地逼近它的核心。

用绳圈分辨“有没有洞”

理解庞加莱猜想的钥匙，是“只靠伸缩来分辨形状”这个想法。数学上称之为拓扑学。像捏橡皮泥那样，不剪不粘，只靠拉伸压缩的变形能重合的东西，就视为“同一种形状”——这是一种独特的看法。在这种看法下，咖啡杯与甜甜圈是同一种形状：两者都只有“一个洞”这一点相通，若是橡皮泥，从一个捏成另一个是做得到的。

要查这个“有没有洞”，有个不必真去摸的办法：沿着形状的表面套一个绳圈，再把它往回收。

想想球的表面。无论把绳圈套在表面哪个位置，它都能顺顺当当地被收回来，最后缩成一个点——因为球面上没有能挂住它的洞。可在甜甜圈的表面，绕着洞套一圈的绳圈，无论怎么收都会被洞挂住，缩不成一点。若“套在表面上的任何绳圈都能缩成一点”，那这个形状就没有洞，只靠伸缩就能变回球。这个性质，数学上称为“单连通”。

维数升高一档的瞬间，它成了百年难题

到这里说的都是球的“表面”，也就是二维的面。对于二维面，“若所有绳圈都能缩成一点，它就是球面”很早就清楚了。庞加莱 1904 年问的是：把这件事抬到高一维会发生什么。

我们很难直接想象，但数学家会考虑“三维球面”这个对象。可以把它理解成：我们所住的三维空间本身，走到远处会绕一圈闭合回来——是宇宙形状的候选之一。把庞加莱的问题说白了就是：

在某个宇宙（三维的闭空间）里，若无论套上怎样的绳圈都必定能收拢到一点，那能不能断言这个宇宙的形状必定是“三维球面”？

在二维显然正确的这个主张，到了三维却既证不了也否不掉，就这么过了近一个世纪。奇妙的是，维数更高的情形（五维以上，以及四维）在 20 世纪内就解决了，偏偏“离我们最近的三维留到了最后”。“维数越低越简单”的直觉，在这里又一次被辜负。

像导热那样，把宇宙的褶皱抚平

做出了断的是俄罗斯数学家格里戈里·佩雷尔曼。2002 到 2003 年间，他只是往互联网上投了三篇论文，就把这道超级难题的证明摆给了世界。既没投专业期刊，也没开记者会。

他方法的核心，是名为“里奇流”的操作，可以说是像导热一样把形状的褶皱抚平。就像搅拌热汤会让温度不均逐渐被抹平那样，给凹凸不平的空间施加一种热的流动，一点点把它整得光滑。凡是所有绳圈都能缩成一点的空间，用这道流去整，最后都会安定成漂亮的球形——这就是佩雷尔曼所证明之事的大致脉络。

这套手法本身，是美国数学家汉密尔顿先提出的，但他撞上了“奇点”这堵墙——流动途中形状会有一处变得无限尖锐，于是卡住了。佩雷尔曼想出了一种像做手术那样把尖锐处仔细切掉、再让流动继续的技法，突破了这堵墙。全世界的数学家花了数年检验这份证明，到 2006 年确立了“证明是正确的”这一共识。这是千禧年大奖难题中，唯一经审议被认可解决的一例。

活过 100 年的那些“小洞”

在证明完成之前的 100 年，路并不平坦。这个猜想也以“我证明了”的错误发布反复出现而闻名。整个 20 世纪，包括知名数学家在内的许多人发表证明，事后被找到漏洞而撤回，如此循环。连庞加莱本人，在提出最初问题之前也曾以为自己证明了另一个主张，后来自己找到反例做了订正。

为什么错这么多？因为这个猜想周边的数学，带有“看着正确的论证里容易潜藏微妙漏洞”的性质。处理形状的直觉很强大，可在高维里直觉常常辜负人，“看着显然”与“能被证明”之间，一次次张开陷阱。本系列在黎曼猜想与 ABC 猜想里也见过的、验证证明有多难缠的教训，在这里同样刻着。正因如此，佩雷尔曼的证明经过数年严苛检验才获认可，这份分量格外沉。

拒绝了一切荣誉的数学家

从这里开始，才是这个故事成为传说的原因。

2006 年，人们决定把被视为数学界最高荣誉的菲尔兹奖授予佩雷尔曼。可他婉拒了。在始于 1936 年的菲尔兹奖历史上，谢绝受奖的只有他一人。2010 年，克雷数学研究所决定把100 万美元奖金授予他时，他同样婉拒。

关于理由，佩雷尔曼没多说。流传下来的是大意为“若证明是对的，就不需要更多的承认”“我的贡献并不比开路的汉密尔顿更大”这样的话。也有说法称他对数学界的评价方式本身怀有强烈的不适，据报道他如今已退出台前，在故乡安静地生活。

解开百年难题，却对本该由此到手的财富与名声全部转过身去。这份干净利落的一贯，我觉得以再纯粹不过的形式表明了：数学这项事业本来就不是为了奖项与金钱，而是为了真理本身。作为“抛开得失投入某事”的极北，这是个不分领域都能留在心里的故事。

关于宇宙形状的朴素疑问

说到底，我们宇宙的形状是怎样的

庞加莱猜想是“若所有绳圈都能收缩，那它就是球面”这样一条数学定理，它并没有证明现实中的宇宙就是那个形状。宇宙是闭合的还是无限延展、究竟是什么形状，是天文学要靠观测去定的另一个问题（就目前的观测而言，宇宙近乎平坦，至少在我们能看到的范围内没有找到闭合的迹象）。不过这条定理给出了整理“宇宙形状有哪些可能候选”的数学语言。宇宙学与纯数学在同一个擂台上握手，是个漂亮的接点。

为什么偏偏三维留到最后

与直觉相反，每个维数都有各自固有的难处。1960 年代人们发现，五维以上“腾挪的余地”宽，整理形状的手术更好做；四维则在 1980 年代靠另一套特殊技法解决。可三维腾挪的余地太窄，用不了高维的手法，又不像二维那样单纯，恰好卡在最难办的中间宽度。本系列其他问题里也反复出现过，“最贴近的东西最难”这个悖论，在这里又露了面。

里奇流还能用在别的问题上吗

能。佩雷尔曼完善的里奇流技法，一举证明了包含庞加莱猜想在内的更广泛主张（瑟斯顿几何化猜想）。而且“用流动来整理形状”这个想法本身，也扩展应用到了图像处理中平滑噪声的方法，以及机器学习中考察数据结构的研究。为解开未解决问题而生的工具，开始在完全不同的实用领域里干活。本系列见过多次的“数学的回报”模式，在这里同样成立。