庞加莱 · 三体与拓扑
亨利·庞加莱（Jules Henri Poincaré），一八五四年四月二十九日生于法国南锡，一九一二年七月十七日卒于巴黎。表兄雷蒙·庞加莱后来做了法国总统，一家人习惯用「亨利」与「雷蒙」区分这两个都念书的孩子。
五岁一场白喉，运动机能受损，写字与画图终生吃力；可他记得住的每一个数字、每一段课文，几乎过目不忘。他后来在书里把这叫做「两种数学家」：一种靠纸笔推演，一种靠脑子里的图像——他自认是后一种，而且把自己的工作方式写得坦白：每天只做四个小时，剩下的时间交给「无意识」。
他一生在半个数学与半个物理学里工作：常微分方程的定性理论、三体问题、自守函数、位置分析（今天叫拓扑学）、概率论、天体力学、电动力学，还有三本至今在读的哲学书。同行称他「最后的全才」——此后再没有人把整个数学背在身上。
本册取其中三件：三体问题与混沌的起点（第一、二幕）、位置分析与庞加莱猜想（第三、四幕）、以及身后一百年这几件东西各自长成的样子（第五幕）。暗线一句话：算不准，也是一种知道——他一生最重要的几步，都是把「求不出精确解」这件事，本身当成了结论。
三层读法照旧：故事层无需预备知识；数学层用到三角与坐标（p.7–p.9）、数的加减（p.14–p.15）、点线面计数（p.21–p.23）；注疏层给出年代、文献与考订，逐页可查。
一八五四年四月二十九日，庞加莱生在南锡——洛林公国的旧都，离普法边界不远。父亲是医学教授，家里书多，规矩少。五岁那年一场白喉，喉咙差点保不住，腿也软了半年；从此他的手脚永远比脑子慢半拍：写字歪，画图糟，体操课是灾难。
但同一个孩子，能把刚读完的书整段背出来，能在脑子里做两位数乘法。他在学校里没有朋友，课间做的事是把课文从头到尾复述给同学听——复述得一字不差，以至于同学给他起了个外号，叫「数学怪物」。
一八七〇年，普法战争打到南锡。十六岁的庞加莱随父亲在战地医院帮忙，亲眼看见了那支后来让他思考了半辈子的东西：穿军装的普鲁士军队，用铁路、电报和数学组织起来的现代战争。多年后他在书里反复写一句话——科学不是为了征服，是为了理解；那不是书斋里的漂亮话，是一个洛林少年的记忆。
战争结束那年他参加中学毕业会考，数学特别的高分与绘画的零分写在同一张成绩单上。面试的考官被难住了：一个连几何图都画不直的人，几何理解力却全场第一。最后学校为他破了例——这件事，他记了一辈子，也用了一辈子：他一生的数学，几乎都是不用图画的几何。
十九世纪上半叶，一个人还能同时是化学家与物理学家；到了庞加莱的时代，数学已经厚到没人能全懂。可他硬是把当时数学的几乎每个分支都做出了东西——常微分方程、自守函数、代数几何、数论、拓扑学、天体力学、概率论、电动力学，外加三本哲学书。
数一数他的论文：五百余篇，其中天体力学三大卷《天体力学新方法》是他一个人对抗两百年积累的牛顿体系。巴黎大学给他设了「天体力学与理论天文学」的讲席；索邦的课堂每周换一个题目，听众从学生到教授都有——因为有些题目，全法国只有他讲得了。
一九〇八年他入选法兰西学士院（文学院），一个数学家以作家身份进文学院，此前此后都罕见。他的《科学与假设》是那一代法国中学生书包里的书，爱因斯坦年轻时读过，玻尔读过，维特根斯坦也读过。
「最后的全才」这五个字有双重意思。一层是赞：他真的什么都懂。另一层是句号：他之后，数学的疆域扩张得太快，再无人能背起全部——他是旧时代「一个脑袋装下所有数学」的最后一次尝试，而且成功了。
《科学与方法》第一编第一章，庞加莱写的是：「科学家研究自然，并非因为它有用；他研究它，是因为他喜爱它；他喜爱它，是因为它美。」接着他补了一句：如果自然不美，就不值得去了解；如果自然值得了解，人生就有意义。
这不是一句装饰。庞加莱一生的学术品味都可以从这句话推出来：他偏爱那些「结构上美」的问题——行星轨道的形状、曲面的洞、方程解的分布——哪怕这些问题算不出精确答案。美在形状里，不在数字里：这句话后来变成一门学科的名字，位置分析。
本册的暗线也从这里出发。三体问题问「行星永远会怎么走」，牛顿的答案是给公式，庞加莱的答案是：公式给不出来——但轨道的形状可以分析，形状会告诉人们比数字更可怕的事。形状分析的结果是：有的轨道会在漫长的岁月里变得完全无法预测。
精确数值做不到的事，形状的分析做到了。这是本册要讲的第一课，也是十九世纪数学交给我们最大的一笔遗产之一。
一八七九年的庞加莱有两重身份：刚答辩完的数学博士，与国家矿山集团的实习工程师。巴黎综合理工毕业后他进了矿业学院，成绩依旧第一名；博士论文做的却与矿无关——常微分方程的解长什么形状。
那年八月，马尼矿场出了事故，十八名矿工遇难。年轻的工程师受命调查。他写出的报告后来被反复引用：不推诿、不含糊，把事故链一步一步钉死，并给出复产方案。矿场照方案重开，没有再出事。报告的写法带着明显的个人印记：不问「谁的错」，只问「哪个环节必然导致下一个环节」——这正是他做数学的方式。
三个月后，他离开矿山，去卡昂大学教书。工程师的十八个月只留下一份报告，数学界却从此多了一种看方程的眼光：把解看成空间里的一族曲线，先看全局形状，再谈具体数值。
他后来回忆这段日子，说工程师生涯教他的是「尊重数据的诚实」——天体力学三大卷里那些计算，全是这一手练出来的。
天体力学从一本账开始。开普勒由观测归纳：行星轨道半长轴 a 的立方，与公转周期 T 的平方成正比。牛顿用平方反比引力把它推了出来，而且说明：比例常数里藏着太阳的质量。两个天体，一个数学解——太阳系的基本规律，这一步就定下来了。
拿六大行星验账（a 以日地距离计，T 以年计，本册实算）：
水星 a3＝0.058006，T2＝0.058004； 金星 0.378451 / 0.378459
火星 3.537586 / 3.537597； 木星 140.819 / 140.707； 土星 872.33 / 867.71
前四颗对得几乎严丝合缝；木星差千分之八，土星差千分之五。偏差不是观测误差，而是「二体」这个假设的误差：每颗行星自己也有质量，严格说太阳系从来不是「日＋一颗行星」的两体戏。质量越大的行星，账偏得越多——土星比水星重几千倍，偏差也就大几千倍。
把行星质量考虑进去，公式修正为 T2/a3＝4π2/[G(M＋m)]，立刻对上。二体问题到此完备：牛顿的引力加牛顿的定律，任何两体系统的过去未来，一个公式给尽。问题出在下一个数字：三。
三个天体，彼此都有引力，彼此都被引力拉动——规则一句话说完，方程也一行写得下：牛顿第二定律对每个天体各写一遍，共九个二阶方程。难的不是写，是解。
两体之所以可解，是因为系统有一串「守恒量」：能量、动量、角动量。守恒量像一道道锁扣，把解的行为一层层约束住，最后锁到只剩圆锥曲线——椭圆、抛物线、双曲线，一目了然。三体呢？守恒量只有那几样老面孔，锁扣不够用了。
一八八七年，布伦斯证明：三体问题里，除了能量与两个动量之外，不存在任何新的代数守恒量。两年后庞加莱把结论推到更强：连解析形式的守恒量也不存在。锁扣不会再来，解也就锁不进任何公式——这是「不可解」的严格版本，而且是从正面证明的。
于是问题变了形：不是「没人聪明到解出来」，而是解不存在于公式的世界里。两百年间无数大师（欧拉、拉格朗日、拉普拉斯都试过）只找到一些特解——比如拉格朗日找到的三个天体保持等边三角形转动的解，后来真的在天上应验：特洛伊小行星群就守在太阳—木星的等边三角形顶点上。
公式既然不存在，庞加莱换了一个问题：不求解的数值，只问解的曲线在空间里长什么形状。他把方程的每个状态看成空间里的一个点，解随时间走过的一串点连成轨线；于是「解方程」变成「画地图」：哪里是洼地（稳定）、哪里是山顶（不稳）、哪里是分水岭（分界线），一目了然。这门学问后来叫定性理论，是一切「动力系统」研究的地基。
拿一只单摆走一遍。摆角小时，周期近乎不变（「等时性」，伽利略的发现）；摆角大了，周期悄悄变长。精确公式其实存在：T/T0＝(2/π)·K(sin(θ0/2))，K 是椭圆积分（正是前一册阿贝尔翻出来的那族函数）。本册实算（θ0 为摆幅）：
10°→1.001907； 30°→1.017409； 60°→1.073182
90°→1.180341； 120°→1.372881； 150°→1.762204
数字只是一半；另一半在形状上：摆到最低点是「碗底」（小幅扰动会自己回来），摆到最高点是「山顶」（差一丝就滑向完全不同的命运），山顶与碗底之间那道分水岭，叫分界线——摆到分界线上，要么永远转圈，要么永远荡不到底。碗底、山顶、分界线：三样东西一画，单摆的全部命运尽收眼底，一个数值都没算。
庞加莱的工作日短得出名：上午十点到十二点，下午五点到七点，四小时，一分钟不多。索邦的同事起初以为他另有所务，后来才明白：这四小时是他故意留白的——余下的时间，他把问题交给「另一个自己」。
他在《科学与方法》里如实记下几次「不工作时的发现」。最著名的一次在乡间邮车旁：他为一族新函数忙了半个月，卡在「这些变换到底跟什么对应」上；某天到达康斯坦斯，刚一脚踏上公共马车，答案自己冒了出来——他用的变换，与一种非欧几何的变换是同一套。他后来写道，那一刻他没有立即验证，因为在车上就开始推演，一路推到终点站，毫无阻碍。
他的解释很干脆：前半个月的有意识工作，是在给无意识「备料」；备足了，无意识自己把零件拼上。他把这个过程写成三段式：准备—搁置—顿悟，并且诚实地补了一句：搁置不是躺平，顿悟之后还有漫长的验证——第二阶段常常比第一阶段更辛苦。
这段自述今天读来仍新鲜：它是一份最早的「创造性思维工作日志」，写它的人恰好是最有资格写的人。
庞加莱把数学家分成两种：逻辑型的，一步压一步地推，纸面上干净利落；直觉型的，先看见整体形状，再回头补细节。他举的对比例子是魏尔斯特拉斯与黎曼：前者把一切都化成严谨的级数，后者靠脑中的曲面做数学，论文里常常一幅图也不画——因为图在他脑子里。
庞加莱自认直觉派，并且说得很直白：逻辑用于证明，直觉用于发明；没有直觉，逻辑只是在已有的路上巡逻。「逻辑告诉我们这条路通不通，直觉告诉我们该走哪条路。」
这一幕讲的三件事，正是一套直觉的三步。两体的账对得上，是逻辑的胜利；三体证出「守恒量不够」，是逻辑的另一个胜利——它把「解不出」变成定理。而定性理论本身，是直觉的一次胜利：公式没有了，形状接了上来。
下一幕，国王的奖金把这三步全部推到了同一个问题上：三体。在那里，直觉会看见一件连庞加莱自己都吃了一惊的东西。
第一幕立问题，账清一清。
二体。开普勒第三律与牛顿引力严丝合缝：六行星 T2/a3 全部对上，偏差来自行星自身的质量。
三体。守恒量只有老三样，布伦斯与庞加莱证明不会再有新的——解锁不进任何公式。
定性理论。不求数值求形状：碗底、山顶、分界线，三个形状讲完一只单摆。
方法。四小时有意识、其余交给无意识：准备、搁置、顿悟。
实算：a3 对 T2（木星 140.819 对 140.707，偏差 0.8%）。
单摆：T/T0＝(2/π)K(sin(θ0/2))，摆幅 90° 时周期长 18.03%。
三体：6 维一阶系统；除 E、p、L 外无代数（布伦斯 1887）与解析（庞加莱 1889）首次积分。
一八八五年，瑞典国王奥斯卡二世要过六十大寿。国王是数学的赞助人，他的杂志《数学学报》登出一则竞赛启事，四个题目任选，第一个就是：n 体问题——给天体系统的轨道一个「一致的」表示，并按初始位置与速度展开成收敛级数。评委：魏尔斯特拉斯、厄米特、米塔-列夫勒。
庞加莱选了三体。一八八八年他交出一百五十余页的论文，做的不是「解出轨道」，而是把三体系统的几何结构整个分析了一遍。评委会在他答辩后定奖：一八八九年一月二十一日，论文获奖。寿辰的庆典为它推迟了安排，欧洲各报都登了消息。
对国王的题目，论文的回答其实是否定的：那样的收敛级数，一般情形给不出来。评委们并非没有读出这个答案——他们把奖给了另一件东西：论文为「解不出来」这件事建起了一整套几何。评委之一魏尔斯特拉斯在私人信里写道，这项工作开创了力学史上的一个新时代。
而论文本身还有一个连作者都没发现的问题。它将带来本册最曲折的一段故事（p.18），也会带来二十世纪最重要的一类思想。
硬啃一般三体太难，庞加莱退一步，啃一个「缩水版」：受限三体问题——两个大天体绕公共中心做圆周运动，第三个天体质量小到不扰动前两者，只被它们拉着走。日—木—小行星，地—月—探测器，都是这个模型。它够小，小到能画；又够真，真到有意义。
关键的聪明处是换舞台：不再站在星空里看，而是坐到随两大天体一起旋转的转盘上。在这个旋转的坐标系里，两大天体永远不动（各自钉在转盘的横轴上），第三个天体的运动成了一张画在转盘上的地图。代价是凭空多出两股「假力」——离心力与科里奥利力——但换来一件宝物：雅可比积分，一个在整个运动中守恒的量，相当于给这个系统补上了一把锁扣。
本册采用的参数（地—月系）：质量参数 μ＝0.0121554，长度单位取地月距离 384400 千米，时间单位 4.35 天（月球公转周期的 1/2π）。转盘上的一个坐标单位，就是 38 万千米；一个时间单位，就是四天多——下面的几页，全在这把尺子上读数。
舞台搭好了。接下来的问题是：这张转盘地图上，有哪些「好走的路」？
转盘地图上有五处神奇的位置：小天体放在那里，可以跟着转盘一起静止——引力与离心力恰好平衡。它们叫拉格朗日点，1772 年拉格朗日在等边三角形解里种下了其中两处。
五个点各有名字：横轴上的三处（一大天体外侧各一，两大天体之间一处）记作 L1、L2、L3，天然不稳——像立在指尖的笔，需要持续修正；两大天体等边三角形顶点上的两处记作 L4、L5，可以稳——像碗底。稳不稳有一条精确判据（鲁斯判据）：质量参数 μ＜0.0385209 时 L4、L5 稳定。
拿三组真实系统验算（本册实算）：
日—木系 μ＝0.0009533＜0.0385，L4/L5 稳；L1/L2 距木星 0.355305 天文单位
地—月系 μ＝0.0121554＜0.0385，L4/L5 稳；L1 距月球 61282 千米
第一行有一段天文注脚：一九〇六年，一颗小行星（阿基琉斯）被发现正好在日—木的等边三角形顶点上跟着木星转；此后同类小行星成群涌现，统称特洛伊小行星——拉格朗日一百三十四年前的纸面特解，满天都是。第二行则是今天的工程表：各国月背探测器上用的工作点，就钉在那条 61282 千米上。
庞加莱在分析分界线时发现了可怕的一幕：绕山顶回来的那条分界线，并不乖乖闭合，而是与自己交叉；一旦交叉，就会无穷多次再交叉，每次交叉都把周围轨道搅得更碎。转盘地图上于是出现一张无穷密的网——今天叫同宿缠结。网里的轨道对初值极端敏感：差之毫厘，谬以千里。
用数字把它做实（地—月系，本册实算）。取一颗小天体从月球附近出发（转盘坐标 x＝1.10，y＝0，速度 0、−0.20），积分两条轨道，初始位置只差 10−7 个长度单位——按地月距离折算，约三十八米。两条轨道的间距随时间变化：
t＝0：3.8×10−5 米；43 天：6.1 万千米；130 天：13.0 万千米；217 天：20.0 万千米
304 天：27.0 万千米；348 天：54.7 万千米
三十八米的初值之差，一年后放大成五十四万千米——比地月距离还远。这就是同宿缠结的算术后果。庞加莱没有计算机，他靠几何论证看到同一件事，并在书里写下一句著名的话：初始条件的微小差别，可能在最终现象里造成极大的差别；预测于是变得不可能。
国王的题目是「把轨道展开成收敛级数」。就在庞加莱证明一般情形给不出守恒量的同一年代，另一个人在往另一个方向用力：一九一二年，芬兰人松德曼真的写出了三体问题的一个收敛级数解——从数学上讲，题目被他做完了。
然后是一盆冷水：后人估算，这个级数要算到可用的精度，大约需要写下 108 000 000 项。宇宙里的原子不到 1080 个。纸是够的，宇宙不够。这个「解」在数学上完美，在使用上一文不值——三体问题就此定格成一个奇特的处境：有解，但解不能用；无公式，但行为可分析。
于是两条路分了高下。松德曼的路（把解写成公式）赢得了定理，输掉了用途；庞加莱的路（分析轨道的形状与稳定性）赢得了整个世纪——定性理论长成了今天的动力系统与混沌学，转盘地图上的五个点成了航天工程的表，缠结成了天气预报为什么只有两周可靠期的解释。
这也是本册暗线的第一次显形：知道「解不出来」与知道「怎么解」，是两种不同规格的知识——而前者往往更值钱。
获奖论文排印期间，受编辑部委托校读的数学家弗拉格曼逐节验算，发现一处严重的漏洞：论文第五部分的一个关键论证不成立——而它连着后面的主要结论。一八八八年十二月，米塔-列夫勒把消息转给庞加莱。
接下来发生的事，数学史上没有几件能与它相比：庞加莱立刻电报要求停印，已印的份数销毁（费用他自己承担，约三千五百克朗——超过他的全部奖金），然后重写。一九八九—一八九〇年间，他把论文从一百五十页改成二百七十页，补上的正是那段分界线自交的分析——混沌，作为被补丁逼出来的发现，正式进了数学。
他在给米塔-列夫勒的信里没有辩解：「这个错误暴露了我最初想法的局限，但正是修正它的过程，把我带进了从未预期的深处。」获奖的荣誉照给，新版论文照发——评委会与作者，一起把一次事故处理成了一场出版史上的诚实。
后来有史家翻案，说销毁的份数未必全毁、米塔-列夫勒的账目也另有说法。本册不卷入细节，只留一句：这一页的价值不在纠错的戏剧性，而在纠错之后多出来的那一章——没有这次停印，「预测不可能」这句话会晚生几十年。
第二幕讲「奖金与错误」，账清一清。
舞台。受限三体＋旋转坐标系：两大天体钉死在转盘上，第三个天体成一张地图；一把新锁扣（雅可比积分）到手。
歇脚点。五处拉格朗日点，L1–L3 不稳、L4/L5 有稳定判据（μ＜0.0385209）；特洛伊小行星群是其天象，月背工作点是其工程。
缠结。分界线自交无穷次；初值差 38 米，一年后相距 54.7 万千米——预测有天花板。
错误。停印、自费、重写；补丁里长出了混沌。
鲁斯判据：日—木 μ＝0.0009533、地—月 μ＝0.0121554，均稳。
位置：日—木 L1/L2 距木星 0.355305 天文单位；地—月 L1 距月球 61282 千米。
分离（实算）：38 米 → 348 天后 54.7 万千米。
三体的工作做完，庞加莱手里多了一件顺手兵器：他为了分析轨道，发明了一批「看形状」的工具。一八九五年，他把它们整理成一篇二百余页的论文，标题古旧——《位置分析》。此后十年他又续了五篇。一门新学科在这六篇文章里开工，后来改叫拓扑学。
这门学问的口号可以一句话说完：橡皮几何。允许拉伸、压缩、弯折，不允许剪开与粘合——在此之下不变的性质，才是形状的本质。一个茶杯与一个甜甜圈在这门几何里是同一个东西（都有一个洞），而一个球面与它们永远不同（没有洞）。
这口号当时听着像玩具。可它回答的正是定性理论留不下的问题：三体轨道的「命运分类」需要看空间的连通方式；方程解的个数需要数空间的「洞」；连方程本身有没有解，都要问空间的结构。形状不是背景，形状是变量。
接下来的三页，把这门手艺的三样核心工具各看一件：数点线面（欧拉特征）、数回路（基本群）、数洞（贝蒂数）。每一样都亲手算。
工具一号是老熟人的升级版：欧拉特征。把曲面剖成点、棱、面，数三个数，做减法 V−E＋F。欧拉在多面体上发现它总是 2；庞加莱的贡献是证明它对整个曲面是个身份号——随便怎么剖，数不变，而且反过来认曲面。
动手数（本册实算）：
四面体 4−6＋4＝2； 立方体 8−12＋6＝2； 八面体 6−12＋8＝2
全是 2：球面族的身份证号。再看环面（甜甜圈面）：取标准的九顶点三角剖分，9−27＋18＝0。差就差在洞上。一般地，有 g 个洞的曲面，身份证号是 2−2g：
球面（g＝0）→ 2； 环面（g＝1）→ 0； 双环（g＝2）→ −2； 三环（g＝3）→ −4
账越数越负，一个不落。数数认出了曲面，不需要一张图——这正是那个不会画图的少年最需要的方法：几何信息被完全换成了加减法。二十世纪的数学家给这个数起了新名字：χ，并证明了它的两种算法永远一致：点线面数出来的一半到一半，与「洞」的个数读出来的，是同一个数。
工具二号认「洞」认得更细。在曲面上取一点，从它出发系一根橡皮绳，绕一圈回到原处——有的圈能缩回成点，有的不能（套在环洞上的圈缩不回去）。所有「缩不回去」的方式，连做完加法，构成一支队伍：这支队伍叫曲面的基本群，是庞加莱发明的（1895）。
数一数三件展品：
球面：任何圈都缩得回去 → 队伍只有「原地不动」一种
圆周：圈只能绕 n 圈（n 正负零）→ 队伍＝整数加法
环面：经向绕一圈、纬向绕一圈，各算一员 → 队伍＝整数对的加法
三支队伍互不相同，所以三个曲面互不相同——形状的判断又变成了代数：基本群同构，才算同一个空间；不同构，必不同胚。这是「橡皮几何」里最锋利的一把刀，而且同样不用画图。
留意球面那支队伍的特殊性：它里面除了一动不动，什么都没有。这个不起眼的性质叫「单连通」，此刻只是三个成员里最平凡的一个；到第四幕它会成为全世界数学家追了一百年的那个词。
工具三号是记账法。把曲面剖开，按维数记账：零维记点、一维记圈、二维记面皮——每一维记一个数，叫贝蒂数，数的是「这一维上有几个独立的、缩不掉的东西」。洞有几个，账上一目了然。
三件展品的账本（维数 0、1、2）：
球面 1、0、1 环面 1、2、1 双环 1、4、1
读法：第一位都是 1（连成一片）；中间位是洞的账（球面无洞记 0，环面一个洞但两条独立绕法记 2，双环记 4）；末位都是 1（整张面皮就是一块）。三条账本互不相同，曲面互不相同——与前两件工具殊途同归。
庞加莱在这本账上还证了两件事。一件叫对偶：账本从两头读是对称的（球面 1、0、1 与 1、0、1 重合，环面与双环同理）——二维曲面账本的头部与尾部一样长。另一件把三件工具串成一串：
χ＝b0−b1＋b2
实算验收：球面 1−0＋1＝2，环面 1−2＋1＝0，双环 1−4＋1＝−2——与 p.21 的点线面账严丝合缝。数形状的三种办法，是同一本账的三种读法。
对偶定理听起来太顺了，顺得可疑。事实是：一八九五年论文里它第一次出现时，证明有缺口——庞加莱用「挖洞」的办法构造对偶，挖法隐含了一个他没验证的条件。四年后他在续文里发现不对，自己动手换了一种证明；又过几年，再修一次。一个定理，作者自己前后证了三遍。
他从不掩饰这件事。在续文里他直说最初的论证「不充分」，并展示了错在哪里——这份坦白让后人得以完整看到一门新学科奠基时真实的施工过程：图纸、裂缝、返工，全在纸面上。后世教材里的对偶定理干净漂亮，那是三遍施工之后的样子。
这件事还留了一个尾巴。对偶定理在二维、四维、五维都顺理成章，偏偏在三维最微妙的那个推论上，庞加莱停住了——他在第四篇续文（1904）的末尾问了一个问题：如果一块三维「橡皮」里所有的圈都缩得回去，它是不是就一定是个三维球面？
他把这个问题随手写在论文结尾，说它「似乎值得注意」。没有展开，没有证明，也没有给出反例。一个以附笔形式写下的问题，将让数学界再忙一百年——那是第四幕的故事。
回头看这门学科的来历，会发现几何在十九世纪被抽象了三次，一次比一次狠。
第一次：脱掉距离。克莱因用变换群给几何分类——只要说清「什么东西在什么变换下不变」，一种几何就立起来了。图形还是图形，但「量长度」不再特权。
第二次：脱掉图形。庞加莱的位置分析更彻底：对象不必是看得见的东西——方程的解的全体、状态的全体，都可以是一个「空间」，只要有连续性。空间的定义从此与图无关。那个不会画图的孩子，最终发明了不需要图的几何。
第三次：脱掉维数。流形的概念让「空间」可以任意维数：四维、五维、无穷维，一套语言通吃。数学从此可以研究任何连续结构的形状——行星轨道相空间的形状、方程解集的形状、宇宙的形状。
三次抽象叠在一起，得到本册剩下的全部故事的舞台：把任何东西当作空间，把任何空间当作形状。位置分析是这三次抽象的合流点，而它在三维留下的那个附笔，成了检验这套语言成色的试金石。
第三幕讲「形状成为对象」，账清一清。
橡皮几何。允许拉伸不许剪贴；不变的性质才是本质。
欧拉特征。点线面数出来：四面体 2、立方体 2、环面 0；曲面认 2−2g。
基本群。数缩不回去的圈：球面一支独苗、圆周整数、环面整数对。
贝蒂数。按维数记账：球面 1、0、1；环面 1、2、1；对偶与 χ＝b0−b1＋b2 把三件工具串成一串。
实算：9−27＋18＝0（环面九顶点剖分）；1−4＋1＝−2（双环）。
基本群三例：π1(S2)＝1、π1(S1)＝ℤ、π1(环面)＝ℤ×ℤ。
对偶：b0＝b2＝1（定向闭曲面）。
一九〇四年夏，美国圣路易斯万国博览会附设科学大会，请了当时最负盛名的数学家作主题演讲。庞加莱讲的题目是《当前的数理物理学》：他宣布了一条原理——「相对性原理」，物理定律在一切惯性系里应当有同样的形式——并把它当作必须接受的出发点。这个词，从此进了物理学的词典。
同一个夏天，在大西洋另一边的办公室里，他写完《位置分析》的第五篇续文。论文的结尾，就是 p.24 留下的那条附笔：单连通的三维流形是不是只能三维球面。演讲与附笔，一个在讲空间的运动学，一个在问空间的形状——同一个人，同一个夏天，同一块园地的两侧。
这件事的巧合常被史家玩味：他同时在物理里追问「空间的测量靠什么约定」，在数学里追问「空间的形状怎么判定」。两条追问在同一个点上相遇：三维空间最深的性质，藏在最简单的那个圈里。
演讲结束，掌声很长。附笔写下，回应很短——此后二十年，几乎无人应战。问题看起来太 innocent 了：一句话能说清，工具又都是现成的。后来人们才知道，正是这种「现成」的感觉，骗了所有人一百年。
先把对象说清楚。三维球面不是「球里面的空间」，而是四维空间里那张三维的「面」——正如二维球面是三维空间里的面。它可以造出来：拿一个普通三维空间，添一个「无穷远点」，就得到三维球面；或者取两只三维实心球，把边界一一对粘。两种做法得到的是同一个东西。
它的圈全部缩得回去：一只蚂蚁在二维球面上系的任何绳圈都能收缩成点，三维球面同理。「所有圈都缩得回去」＝单连通；猜想＝单连通的闭三维流形必是三维球面。对照反例一眼便知分量：把「两个三维空间叠一个维度」造出的流形，上面可以套一个永远缩不回去的圈（绕大圈一周），它不是三维球面——圈就是指纹。
还差一步：指纹会不会骗人？会不会存在一个流形，账本（贝蒂数）与三维球面逐项相同、却又不是它？庞加莱自己找到了一个：取正十二面体的旋转对称群造一个流形，它的贝蒂数是 1、0、0、1——与三维球面的账本一字不差——可它上面有缩不回去的圈（基本群 120 阶，非平凡）。同账不同物。
这个反例一锤定音：数洞的账本不够用，判据必须收紧到基本群。猜想就此定型：基本群平凡的闭三维流形，必同胚于三维球面。
猜想钉在三维上，可数学家先去高维试了刀。结果出人意料：维数越高，越好办。
一九六一年，斯梅尔证明五维及以上的同类猜想成立；一九八二年，弗里德曼把四维也拿下（因此获菲尔兹奖）。只留三维，钉在原地。这句话值得读两遍：最难的恰恰是最「日常」的维数。
原因后来被理解得比较清楚。高维空间「有余量」：路多得绕得过障碍，坏地方可以推开、拉直，几何手术有回旋余地。三维里毫无余量——流形薄得像纸，刀稍微偏一点就切伤自己；而二维又简单到能完全分类（p.21 那本 2−2g 的账）。三维恰好是「复杂到无法硬算、又简单到没有退路」的夹缝。
转机走的仍是庞加莱的路数：不硬拆形状，改让形状自己「流」。里奇流（哈密顿 1982）把流形看成一团会变形的热铁，允许它按一个方程自发地抚平自身曲率；问题变成「流到什么时候、在哪里起疙瘩」。三个维度里，疙瘩（奇点）的清单极难列——这一列，又是二十年。工具是新的，思路是旧的：不求解，求形状。
第四幕的第二条线是时间。庞加莱从一件技术小事切入：两座相距很远的钟，怎么对时。巴黎与柏林的钟要同步，得靠电报与光信号；发一个信号过去再弹回来，一边算一半——听着客观，其实藏着一个约定：去与回一样快。他把这一点写成哲学命题：「同时性」不是大自然给的，是一套约定（1898，《时间的测量》）。
七年后爱因斯坦把同一观察立成狭义相对论的地基。庞加莱那边则在 1905 年的论文里补上了数学骨架：洛伦兹的变换公式被整理成一个群（他命名为洛伦兹群），并证明麦克斯韦方程在这个群下不变——物理定律换参考系不变形，从此有精确的数学表述。
约定的威力用数字看最清楚（本册实算）。全球定位卫星在两万千米高空，钟每天要修两种「相对论账」：飞得快，钟慢 7.2 微秒；离地高，引力弱，钟快 45.7 微秒——合计每天快 38.5 微秒。看似微小，乘上光速：每天 11.5 千米的定位误差。不修这个账，卫星导航几天内报废。
同时性是约定，误差是真金。「哲学」与「工程」在这道账上对齐——这是庞加莱两条线（物理的空间、数学的形状）共同的下场。
一九〇八年起，庞加莱的健康急转直下。那年他去罗马出席会议，途中病发，做了第一次手术。此后四年，他在「写完手头这一篇」与「下一次手术」之间安排日程——多数时候，是前者优先。
最后两年他做了三件事，件件都在「收尾」而不是「开题」：把三体与天体力学的数学基础再钉一遍；继续写他挂念的概率论（那门「关于随机的数学」，他认为是定性理论的必然延伸）；以及一篇讨论积分方程的长文——其中方法后来成了量子力学数学框架的起点之一。一九一二年七月九日，他给一位外科医生写信，语气是商量实验的口气，不像病人求医。八天后，手术后并发症，七月十七日晨，他在巴黎去世。五十八岁。
法国给了他国葬级的荣典。爱因斯坦从柏林赶来，在悼文里写下：他是「学识与良知在一个人身上罕见的合一」。法国人则说得更直：他是法国数学最后一位没有边际的人。
桌上的手稿没有整理完。他的妻子按他的习惯把它们摊开着——他生前不许人动他的纸，说乱堆的地方自己才找得到。这一次，纸终于等来了整理它们的人。
一九〇五年，狭义相对论有两篇奠基文献：庞加莱的〈论电子动力学〉（六月提交）与爱因斯坦的〈论动体的电动力学〉（九月刊出）。两篇文章共享同一条原理，处理的深度却各不相同——这不是竞赛排名，而是一次罕见的对照实验：同一个人文环境里，物理学家与数学家各走出了多远。
庞加莱的贡献是数学骨架：洛伦兹群、麦克斯韦方程的不变性、四维不变量的雏形，以及「能量有惯性」的先行表述。爱因斯坦的贡献是物理决策：砍掉以太、把同时性的相对性当作事实来用、并从中推出一整套可检验的运动学——时间膨胀、长度收缩、速度叠加，全部从两条公设算出来。
有趣的是两人的谨慎：庞加莱终其一生保留了以太作为「方便的记号」；爱因斯坦则称自己的文章「没有引用任何文献」。两人此后互相引用得极少，1911 年第一届索尔维会议同席，各自客气，再无深谈。他们不是对手，是两条互补的路径：一条问「数学上还差什么」，一条问「物理上敢砍什么」。
本册把这一页放在这里，因为它与前一页的猜想是同一种处境：框架已经立好，剩下的是敢不敢把「显然」二字划掉。庞加莱划掉了数学里的一半（无公式可解、无同调可判），在物理里划掉了另一半——而这一半，由一个伯尔尼专利局的年轻人补完。
第四幕讲「一个夏天，两条线」，账清一清。
演讲。1904 年圣路易斯，「相对性原理」一词入场。
附笔。同夏，第五篇续文结尾：单连通的三维流形必是三维球面？
反例。庞加莱同调球面：账本与三维球面全同、却非它——判据收紧到基本群。
高维。五维 1961、四维 1982 相继拿下，三维最难：没有余量的夹缝。
时间。同时性是约定；GPS 每天 38.5 微秒的账，是真金白银的相对论。
同调球面：b0＝1、b1＝0、b2＝0、b3＝1，但 π1 为 120 阶。
高维：n≥5（斯梅尔 1961）、n＝4（弗里德曼 1982）。
实算：卫星钟净快 38.5 微秒/日，折定位误差 11.5 千米/日。
葬礼在七月的一个上午。巴黎各学院全体到齐，外国来的代表团一长列；他的表兄、共和国总统雷蒙·庞加莱站在第一排。数学界给一位数学家的葬礼，规格到这一步，此前此后都不多。
身后名按部就班地来。巴黎科学院委托学者整理遗稿，《庞加莱全集》从一九一六年编到一九五六年，整整四十年，十一卷——论文、专著、讲义、哲学随笔逐卷归档。三体三大卷、位置分析六篇、概率论讲义，每一件都被后来的学科当作奠基文献反复重印。
更耐看的是身后名的形状：他留下的东西不汇成一个「庞加莱学派」，而是各自长成了独立的领域——动力系统、拓扑学、相对论史、科学哲学。四条线上都把他的某一句话当第一块碑。一个人身后被四门学问各自认领，这比一个学派更响。
南锡的故居挂了纪念牌，中学以他命名，大学里立了像。本地人最得意的一句介绍是：这座城市出过两位庞加莱，一位做了总统，一位做了数学。
猜想悬到 2000 年，被克雷数学研究所列为七大「千禧问题」，悬赏一百万美元。两年后，一个几乎不与学界往来的人把答案贴上了网：格里戈里·佩雷尔曼，圣彼得堡，三篇预印本，2002 年 11 月—2003 年 7 月，总共不到四百页。
他的做法正是 p.29 铺的路：让流形按里奇流自己变形，遇疙瘩就动手术切除，再证手术次数有限、疙瘩清单完备。三百页的论证里最难的一段，恰恰是把庞加莱「先看形状」的直觉执行到底：不追每一颗具体轨道，只追疙瘩的有限类型。验证动用了三个团队、历时三年（2003—2006），结论：证明成立。几何化定理一并解决——三维流形从此有了 p.21 式的完整账本。
然后是本册最难平静的一段：佩雷尔曼拒领菲尔兹奖（2006），也拒领百万美元（2010），理由一句话：「如果证明是对的，别的承认都不需要。」他退出数学界，与母亲同住。数学界争论他的性格，很少争论他的算式——因为算式挑不出错。
一百零二年，一个人，三篇贴在网上的文章。这条线从 1904 年那条「值得注意」的附笔出发，走了整整一个世纪——终点站的名字，恰是起点站写问题的人。
庞加莱的缠结在半个世纪里是冷门。一九六三年，气象学家洛伦兹用十二个方程做数值天气实验，发现：初值改一个千分位，几周后的「天气」面目全非。他把这条性质起了个传神的绰号——蝴蝶效应，并把可预报的期限定在两周上下。庞加莱那句「预测变得不可能」，六十年后有了工程数字。
七十年代，理论追了上来。KAM 定理（柯尔莫哥洛夫、阿诺德、莫泽，1954—1963）给出了精妙的分界：足够「规则」的运动对小扰动稳如泰山，越出边界的才滚进混沌——太阳系正是踩在这条线上，多数时候规则，个别共振带里翻脸。费根鲍姆（1975）再进一步：通往混沌的道路竟有普适常数（4.669…），水龙头滴水与电路振荡走的是同一条路。
于是「混沌」成了正经学科：它不推翻决定论——方程仍是那个方程，一切仍是注定的；它推翻的是可预测性：初始误差总在放大，放大总有天花板，天花板不高。决定论与可知论就此分家——这一刀，是庞加莱在 1890 年的补丁里下的，六十年后才见血。
今天的天气预报、气候模型、卫星轨道管理、乃至心电图分析，跑的都是这套语言。它们的共同祖先，是转盘地图上那张无穷密的网。
「形状是变量」这句话在二十世纪兑现得比任何预言都彻底。物理学家发现：自然界的基本力，写在流形的「联络」里；粒子，是那些联络方程的解。电磁力、弱力、强力——三种力的现代理论（规范场论）的数学骨架，是流形上的纤维丛：底下一块「空间」，每一处粘一小圈内部自由度，力就是这些圈的扭法。
这套语言的语法全部来自位置分析：流形、同调、基本群、示性类——庞加莱开的那家「工具铺」，被二十世纪的物理整间搬走。杨振宁晚年回忆他学纤维丛时的原话：「既惊且慰——原来物理学家梦寐以求的东西，数学家早已造好。」
低维拓扑则接过了猜想留下的工作台。四维空间里冒出一个反常现象：存在互不「光滑等价」的四维空间（怪异 ℝ4，1982 年前后发现）——同样的点集，竟有多种彼此矛盾的「光滑」定义，而这一现象只在四维出现。物理里最熟悉的空间维数，恰是数学里最诡异的维数；这一巧合至今没有公认解释。
从转盘地图到粒子物理，从甜甜圈到宇宙形状：庞加莱把「形状」立为研究对象的那一天，就把二十世纪的数学与物理提前接了线。
这一册里出现过三样东西，值得并排放在一起。
第一样，一枚奖章。国王给的，两千五百克朗。领奖之后，他自费三千五百克朗销毁带错的印张——奖章与罚单出自同一件事，金额他记了一辈子。那笔账后来被反复引用，作为「学术诚实」最贵的一笔学费。
第二样，六篇位置分析。二百多页加五篇续文，写的时候没有一门学科叫这个名字。其中四篇的结论至今原样立在教材里，一篇的结尾是一个问题。他大概想不到，那一句附笔的「存续期」比全书其他部分加起来还长——一百零二年，横跨三个世纪。
第三样，一封给外科医生的信。一九一二年七月九日，他以商量的口气请求手术，像安排一次实验：把风险讲清，把「值得做」的理由讲清。八天后他离世。这封信后来被反复引用，不为煽情，为一个词：清醒。
三样东西合起来，是这个人一生的记账方式：错要自费改，问要往大了问，账要自己结。他一生没有等谁来承认——三样东西都是他自己签收的。
五幕走完，暗线可以收了：算不准，也是一种知道。这句话听着像退让，实际是本册所有进展的来源。
先说它换来了什么。三体「无公式」——换来定性理论、转盘地图、五个歇脚点，今天每一枚深空探测器都按这张地图飞；分界线「会缠结」——换来混沌学、两周预报期、以及对太阳系命运的清醒账；「同账不同物」——换来基本群判据，和一个一百年后被一个人独力走完的问题。三笔「算不准」，每一笔都开出了一门学问。
再说它改变了什么。在庞加莱之前，科学的自信建立在「只要够聪明就能算准」上；他之后，科学多了一层自觉：任何预测都带有效期限，而期限本身可以精确研究。这不是失败主义，是成熟——正如他给同时性划的那道约定、给测量划的那条误差，知道边界在哪里，边界之内才叫知识。
他有一句话可为全册收束：科学家研究自然，是因为它美；而在他看来，最深的答案往往以「不能」的形状出现——因为不能的地方，正是自然在提醒我们：这里有一堵还没画上地图的墙。
五幕走完，把这一册的账一次清完。
第一幕，问题。两体的账严丝合缝，三体证出「锁扣不够」；公式退场，形状上场。
第二幕，奖金与错误。转盘地图、五处歇脚点、同宿缠结；一处被发现的错，补出了混沌。
第三幕，位置分析。点线面、回路、洞的账本；形状从此是对象。
第四幕，一个夏天。演讲里的相对性原理，附笔里的猜想；同调反例把判据收紧到基本群。
第五幕，一百年。高维先拿下，三维由里奇流走完；混沌长成学科，形状成为物理的语言。
实算：T2/a3 六行星验账；单摆 90° 周期长 18.03%；38 米→348 天 54.7 万千米。
拓扑：9−27＋18＝0；贝蒂数三账本；χ＝b0−b1＋b2。
判据：鲁斯 μ＜0.0385209；同调球面账本 1、0、0、1 而 π1 120 阶。
把这一册的事按年份排开，线不算长：五十八年。
一八五四，四月二十九日生于南锡。一八七〇，普法战争，战地医院。一八七三，入综合理工。一八七九，博士答辩；矿山与矿难报告。一八八一，入巴黎；四篇定性理论。一八八六，索邦讲席。
一八八九，国王奖金；论文停印重写。一八九〇，修订版，同宿缠结。一八九二—九九，《天体力学新方法》三卷。一八九五，《位置分析》。一九〇二，《科学与假设》。
一九〇四，圣路易斯演讲；猜想附笔。一九〇五，〈论电子动力学〉。一九〇八，《科学与方法》；罗马病发。一九一二，七月十七日，巴黎。
十几个点里，真正改变学科的四个：一八七九的定性理论、一八九〇的缠结、一八九五的位置分析、一九〇四的附笔。其余的点是奖、是病、是赶路——一个「最后的全才」在五十八年里赶完全程的年月。
全集四十年出齐十一卷，编法本身就是一门学问。第一编收专著与长文——三体三大卷、位置分析、概率论讲义，按发表顺序编号；第二编收散篇论文，按学科分组；另设一卷收哲学与科普——《科学与假设》这类「写给所有人」的书，与论文同一套编目。这在当时是新的做法，后来成了科学史编全集的通行体例。
卷册的厚度分布会说话：天体力学与天文学占三卷多，微分方程与拓扑占近三卷，物理与数学物理两卷，哲学一卷余。一个「全才」的重量，最后是按学科分摊的——每一门都以为自己是他的主业，每一门都对。
编者还做了两件今天看极有远见的事：其一，把他在《数学学报》上那篇获奖论文的获奖版与修订版并排收录——错误与修正都留在纸面上；其二，附录收了他与米塔-列夫勒、与洛伦兹、与弗罗贝尼乌斯的学术通信。一个人的犹豫与改口，也是文献——这套观念后来被整个科学史界继承。
十一卷合起来约七千页。一个人五十八年、每天四小时，换来七千页——这个换算，比任何悼词都准。
这一册讲完了「算不准」，还剩三个问题，仍开着。
第一个：太阳系到底稳不稳？拉普拉斯说稳，庞加莱说「看情况」，KAM 定理画出规则的堡垒与混沌的裂隙。今天的数值账（拉斯卡尔，1989 起）给出：内行星的轨道误差五百万年翻一倍，水星在未来数十亿年内有极小的概率坠入太阳或与金星相撞。概率小，但不是零；「稳定」被改写成了「半衰期」。
第二个：四维的圆球呢？拓扑意义下的四维庞加莱猜想已被弗里德曼解决；可「光滑版本」仍开着——而且四维天生反常：怪异的四维欧氏空间只在四维出现（p.37）。高维收敛、三维已解、四维叛逆，这条维数的弧线还缺最后一块拼图。
第三个：误差放大有没有尽头？混沌给出的是放大率，工程问的是天花板：天气预报两周、星历表百年、粒子加速器一台机器一千年。每一行都有自己的「庞加莱时间」。期限怎么随模型改变——这是定性理论交给计算时代的新题目。
三个问题，一个在天上，一个在纸上，一个在机器里。都是转盘地图上那张网的影子。
材料：一米细绳、一枚螺母或小袋硬币、胶带、手机秒表。
第一步，立靶子。理论账（p.9）说摆幅越大周期越长：10°→1.001907、30°→1.017409、60°→1.073182。要亲手量出这三个「偏长的百分点」。
第二步，造摆。绳的一端系重物，另一端贴在门框上沿。先量绳长（从系点到球心），算小周期 T0＝2π√(l/g)：l＝1 米时 T0≈2.007 秒。
第三步，三个摆幅各测一组。用量角器或手机水平仪定摆幅 10°：拉开、放手，秒表计十个来回除以十——单次约 2.011 秒。同法 30°：约 2.042 秒；60°：约 2.154 秒。每个摆幅测三遍取平均，放手时不准推。
第四步，对账。把三组实测除以 T0，与理论并排。理论偏长 0.19%、1.74%、7.32%；手工测量通常能追到小数点后一位——「伽利略的等时」在小摆幅是真的，在大摆幅是假的，假得很规律。
想一想：把摆幅一路加到 150°，理论偏长 76.2%；再往上呢？180° 时摆「立着」根本回不来——那正是 p.9 说的分界线。一张相图的边界，就是一张实验的安全须知。
材料：纸条三张、胶棒、一只带柄马克杯、一根细绳。
手工一，普通环。纸条首尾正对粘成环。用笔沿环面中线画一圈——回到起点，只画到「外面」那面。沿中线剪开：得到两个普通环。这只环有「里外」之分。
手工二，莫比乌斯带。纸条一端翻半圈再粘。沿中线画一圈——笔会走遍「两面」回到起点。沿中线剪开：得到的不是两个环，是一个大环。这只环没有里外——拓扑性质（能不能一笔画遍「两面」）与尺寸毫无关系，与「怎么粘」有关。
手工三，杯柄上的绳。细绳从杯柄孔穿过去，两端打结。试着不解绳、不穿回孔，把绳从杯上取下来——做不到。这正是基本群的现场演示：那只绳圈「套」在杯柄这个洞上，缩不回去（p.22）。再把绳从孔里退出来重系一次，它会变成一个能自由脱下的圈。套不套，差一个洞。
想一想：把手工二的莫比乌斯带沿三等分线剪开（不是中线）——会得到什么？先猜，再剪。拓扑学教的第一课：直觉在低维也要接受再教育。
- 定性理论
- 不求解的数值，只判解的形状与命运：奇点、稳定性、分界线。庞加莱 1879—1886 年建立。
- 相空间
- 把系统的每个状态（位置＋速度）当成空间里的点，解随时间走过连成轨线。
- 分界线
- 相空间里分隔不同命运的界线：一侧永远荡回，一侧永远转圈。界线上的点两边都不是。
- 同宿轨
- 从一座「山顶」出发又回到同一座山顶的轨线；它会与自己无穷次相交，搅乱周围一切。
- 受限三体
- 两个大天体做圆周运动、第三个小天体只受不扰的模型。日—木—小行星、地—月—探测器。
- 雅可比积分
- 受限三体在旋转坐标系里的守恒量，等于给系统补回一把锁扣。
- 拉格朗日点
- 旋转舞台上引力与离心力平衡的五处静止点：L1–L3 不稳，L4/L5 可稳（鲁斯判据）。
- 庞加莱截面
- 不画整条轨道，只记它每穿过一张固定「截面」的点——把连续运动变成一串离散脚印。
- 位置分析
- 拓扑学的旧名：研究拉伸不撕破之下不变的性质。庞加莱 1895 年立为学科。
- 同胚
- 两个空间可以连续对弯回去、一对一地对回去——在橡皮几何里算同一个。
- 欧拉特征
- 剖分后 V−E＋F：曲面剖法无关的身份号，2−2g。
- 基本群
- 从一点出发的所有「缩不回去的圈」构成的队伍（庞加莱 1895）。单连通＝队伍里只有原地不动。
- 贝蒂数
- 按维数数「缩不掉的独立成员」：球面 1、0、1；环面 1、2、1。对偶定理保证账本两头对称。
- 单连通
- 所有绳圈都缩得回去。三维庞加莱猜想：单连通的闭三维流形必是三维球面（2003 年获证）。
- 同调球面
- 贝蒂数账本与球面全同、却不是球面的流形——庞加莱自造的反例，把判据逼到基本群。
- 里奇流
- 让流形按方程自行抚平曲率的「热流」（哈密顿 1982）。佩雷尔曼用它终结了猜想。
- 庞加莱
- Jules Henri Poincaré（1854—1912）。南锡人。定性理论、三体与混沌、位置分析、相对性原理；「最后的全才」。
- 奥斯卡二世
- Oscar II（1829—1907）。瑞典与挪威国王，《数学学报》的资助者；六十大寿设三体竞赛。
- 米塔-列夫勒
- Gösta Mittag-Leffler（1846—1927）。《数学学报》创办人、竞赛主持人；停印事件中的收信人。
- 弗拉格曼
- Lars Phragmén（1863—1937）。瑞典数学家，受托校读获奖论文，发现第五部分论证缺陷。
- 魏尔斯特拉斯
- Karl Weierstrass（1815—1897）。竞赛评委之一；「严谨之父」与庞加莱「直觉派」相对而立。
- 厄米特
- Charles Hermite（1822—1901）。竞赛评委；庞加莱在综合理工的老师。
- 布伦斯
- Heinrich Bruns（1848—1919）。1887 年证三体无新的代数首次积分。
- 拉格朗日
- Joseph-Louis Lagrange（1736—1813）。1772 年等边三角形特解与五个平衡点。
- 洛伦兹
- Hendrik Lorentz（1853—1928）。电子论与洛伦兹变换；庞加莱以其名命名群。
- 爱因斯坦
- Albert Einstein（1879—1955）。1905 年狭义相对论；与庞加莱各自立论、殊途而不同行。
- 克莱因
- Felix Klein（1849—1925）。埃尔朗根纲领；与庞加莱的自守函数竞赛（见 p.49）。
- 贝蒂
- Enrico Betti（1823—1892）。维数化的「连通度」，后成贝蒂数。
- 斯梅尔 · 弗里德曼
- Stephen Smale（1961，维数 ≥5）、Michael Freedman（1982，维数 4）：高维广义庞加莱猜想。
- 哈密顿 · 佩雷尔曼
- Richard Hamilton（里奇流 1982）、Grigori Perelman（2002—2003 三篇预印本）：猜想终点。
- 《天体力学新方法》
- Les Méthodes nouvelles de la mécanique céleste，三卷 1892/1893/1899。三体、缠结与定性方法的总汇。
- 《位置分析》
- Analysis situs，1895，及续文五篇 1899—1904。拓扑学的奠基文献；猜想出于第五篇续文末尾。
p.15 那张转盘地图，今天贴在每一次深空任务的桌上。航天工程师把拉格朗日点当「免费的泊车位」，把两点之间的窄通道当「省油的运河」——这条运河的学名，日冕输运管，正是转盘地图上翻过鞍点的低能路。
三件现成的注脚。其一，太阳观测台 SOHO 自 1996 年起驻守日—地 L1（距地球一百五十万千米），永远正对太阳，预告每一场日冕物质抛射。其二，嫦娥四号的月背中继星「鹊桥」驻在地—月 L2 附近的晕轨道——月背看不见的那一半，靠 p.15 那个 61282 千米的点回传信号。其三，韦布望远镜驻在日—地 L2，遮阳板永远背对太阳地球月亮三个热源。
泊位稳不稳，用的是鲁斯判据；入泊省不省油，用的是雅可比积分；轨道会不会漂走，用的是庞加莱截面数「脚印」。一张 1890 年的数学地图，管理着今天全部深空后勤——没有比这更直接的「理论的用处」。
也有一层安静的提醒：这些泊位之所以要精心维护（SOHO 每月点火修正），正因为 L1/L3 天然不稳。拉格朗日给了位置，庞加莱给了警惕——两笔账一起，才是一张完整的任务单。
公案一：入学考试的风波。一八七三年综合理工入学考试，庞加莱交出的几何题解考官认为「不成立」，给了低分；复试时他不动声色重新推导，考官当场改判——最终成绩却仍只列第五。另一说指他其实是第一名、因图形成绩被压。档案能确证的是他入学了、且旋即名列前茅；「第一名还是第五名」两说并存（本册从通行说法，见 p.3 的会考记载）。读这桩公案，要点是那张画不直的图与全场第一的理解力之间的落差——它预演了他一生的风格：不靠画，靠想。
公案二：与克莱因的「夏季竞速」。一八八一—一八八二年，庞加莱与克莱因围绕自守函数展开通信竞速：谁先把这些函数的一般理论建完。克莱因操劳过度病倒，中途退场；庞加莱数月内连发多篇，大获全胜。克莱因晚年自述此役为「身心俱竭的夏天」，并承认对方「更强」。史家对细节（通信语气、克莱因病因）各有考订，结论一致：这不是恶意相争，而是两种工作方式的碰撞——他赢了比赛，输了健康。
公案三：相对论的「谁先」。庞加莱的〈论电子动力学〉六月提交、爱因斯坦的九月刊出，两人的 1905 文章互不引用。此后一个世纪，「优先权」论战反复：法国一侧强调洛伦兹群的数学完备性，德国—英语一侧强调狭义相对论的物理决策。今天史界的主流是本册 p.32 的读法：两人补齐了彼此的半张图，各自都清楚另一半在哪里。真正的输家是「以太」——它先被庞加莱变成「无害的记号」，再被爱因斯坦变成「多余的假设」。
延伸阅读。想读原著，从《科学与方法》第一、三编入手（有中译本），三体的技术部分读《天体力学新方法》第三卷最后一章即可；想读数学史，Barrow-Green 的《庞加莱与三体问题》（1997）把竞赛与停印事件考订得最细，Stillwell 的《数学及其历史》拓扑两章最顺；想读哲学，《科学与假设》配爱因斯坦 1921 年〈几何学与经验〉对读；想动手，p.44 的摆与 p.45 的三件手工各花半小时——形状这门课，手比眼先学会。
这一册讲一个人怎样把「算不准」变成学问：方程解不出公式，就画轨道的形状；形状会缠结，误差会滚雪球——于是「预测」第一次有了精确的边界。前半册是三体与混沌，后半册是拓扑与那个一百年才走完的问题。
路线五步：问题（第一幕）、奖金与错误（第二幕）、位置分析（第三幕）、猜想与同时性（第四幕）、身后一百年（第五幕）。两个动手做（p.44–p.45）建议先做：摆的三个摆幅量出「不等时」，纸环剪出「没有里外」——两个实验做完，「形状」与「误差」就都有了手感。
暗线是「算不准，也是一种知道」。这一册给了五层：守恒量不够（第一幕）、缠结与可预报期限（第二幕）、账本判据失效要换基本群（第三、四幕）、同时性是约定（第四幕）、期限可以精确研究（第五幕）。孩子最容易记住的是两个数：三十八米的误差一年放大到五十四万千米；卫星钟每天差 38.5 微秒、定位偏 11.5 千米——「小得可以忽略」这句话，从此要慎用。
需要提醒的一点：本册数学跨三层——比例与开方（会乘除即可，p.7、p.14–p.15）、三角与绳圈（p.9、p.21–p.23）、四维空间（p.28–p.29，只讲直观不讲构造）。三层读法照旧：故事层可独立成篇；数学层若孩子没学过三角，p.21–p.23 可只读账本表与结论；注疏层给大人核对年代与原文。
「孩子问：既然混沌，天文台怎么还能报日食精确到秒？」——两件事各有各的账。日食靠的是二体（日月地）为主的近似，误差不放大；混沌出没的是三体以上的长时段。模型不同，期限不同。「准」永远是「在哪个模型里准」——这正是本册教的第一课。
「佩雷尔曼为什么要拒绝奖金？」——他给出的理由（证明对了，别的承认不需要）可以照读，不必解读成清高或傲慢。更值得和孩子聊的是另一面：一百年的时间里，这道题悬赏过、攻关过、排队发表过，最后由一个不投稿的人贴上网解决——知识的进步有时候不讲排场。
「庞加莱是不是『输』给了爱因斯坦？」——本册特意没有这样写。数学与物理的 1905 是互补的两半：他补齐群论骨架，爱因斯坦补齐物理决策。建议把「谁先」换成「各自补了什么」——这场比赛里，物理赢了以太，数学赢了洛伦兹群，没有输家。
虚实成分说明。本册的场景与对话有虚构成分（南锡的病房、圣路易斯的讲台、罗马的病发），凡年代、数据、引语、书名均在注中给出处。特别提醒两处：p.18 的销毁份数与费用依 Barrow-Green 的考订写成，「全毁」细节存疑；p.31 那封致外科医生的信的「商量口气」是本书对其文本的读法，非逐字引语。
《数学家的故事》第二辑 · 第 18 册
庞加莱 · 三体与拓扑
明线：三体问题与定性理论 · 同宿缠结与混沌 · 位置分析（拓扑学）· 庞加莱猜想 · 相对性原理与同时性
暗线：算不准，也是一种知道 · 不求解求形状 · 知道边界在哪里，边界之内才叫知识
时代：1854—1912 · 法国（南锡—巴黎—圣路易斯；下延至 1963 洛伦兹、1982 哈密顿、2003 佩雷尔曼、2006 验证完成）
主典：定性理论系列 1881—1886 · 《数学学报》13 卷 1890 · 《天体力学新方法》1892—1899 · 位置分析六篇 1895—1904 · 《科学与假设》1902 · 〈论电子动力学〉1905/1906
体例：扉页与题解 2 页 · 引子 3 页 · 五幕 35 页（每幕：故事 1 · 数学 3 · 故事/暗线 1 · 交汇 1 · 小结 1）· 收束与留问 3 页 · 动手做 2 页 · 小典 2 页 · 延伸 2 页 · 家长导读 2 页 · 版权 1 页，共 52 页。
《数学家的故事》第二辑十册：阿基米德 · 祖冲之 · 牛顿 · 莱布尼茨 · 欧拉 · 柯西 · 阿贝尔 · 庞加莱 · 诺特 · 华罗庚。本册为第二辑第八册。
封面人物头像：以公版历史照片（亨利·曼努埃尔摄）为底本作水彩素描重绘；底本藏维基共享资源，属公有领域。