九章格数学 PhiloMath · 数学家的故事绘本 · 第一辑

陈省身 · 整体之美

第 10 册 · 数学家的故事 · 第一辑 · 1911—2004 · 中国/美国 · 明线:毛球定理 · 活动标架 · 高斯—博内的内蕴证明 · 陈类与纤维丛 · 南开 暗线:局部拼成整体,整体另有文章
明线 · 纤维丛 · 示性类 · 整体微分几何暗线 · 局部拼成整体,整体另有文章1911—2004 · 中国/美国全龄通识 · 三层可读
题解这一册怎么读p.2

陈省身,一九一一年十月二十八日生于浙江嘉兴。父亲陈宝桢是前清秀才,长期在司法界做事,家在江南小城的深巷里。少年陈省身的第一本数学书,是父亲买回的一部《笔算数学》——他凭它自学,把算术的地基自己砌了起来。

十五岁进南开大学,师从中国现代数学的拓荒者姜立夫;原本心向物理,做了一次化学实验之后发现自己「动手不行」,转了数学。二十二岁从清华研究院毕业——中国自己培养的第一批数学硕士——随即负笈欧洲:在汉堡随布拉施克读出博士学位,再赴巴黎,在嘉当门下十个月,把「活动的标架」这一套独门功夫学到手。

一九四三年,他应维布伦与韦尔之邀赴普林斯顿。次年十一月,一篇五页的论文把高斯—博内定理从「嵌在外部空间里」解放出来:曲率只看内部,积分起来,恰恰等于一个整体的数。一九四六年,他再进一步,把这类「整体的数」做成一门系统的账法——示性类,今天通称「陈类」。

晚年他回到南开创办数学研究所,二〇〇二年国际数学家大会在北京召开,他坐在名誉主席的位置上。二〇〇四年十二月三日,逝世于天津,九十三岁。物理学家杨振宁写过一句诗概括他在几何史上的位置:「千古寸心事,欧高黎嘉陈。」

他一生的工作可以用一句话概括:局部平常的东西,拼起来会有整体的、数得出来的性质——他把数这件事,做成了一门学问。

三层

故事层——跟着画面往下读:一只梳不动的毛球、一封信、五页论文、一排「编了号的扭结」、一座回到故乡的研究所。

数学层——暖金色的框里是这一页真正的数学:欧拉数、活动标架、曲率的积分、纤维丛与示性类。

注疏层——页面下方的小字,标注年代、出处与真伪,给一起读的大人。

五幕一览
第一幕 梳不动的毛球 · 第二幕 活动的标架 · 第三幕 五页论文
第四幕 给几何编目录 · 第五幕 回家
引子嘉兴的少年p.3

嘉兴是江南水乡的一座小城,运河从城边流过。陈家在这座城里过着寻常的日子:父亲在外地做事,孩子跟着祖母与母亲长大。陈省身幼年没有进过小学——家中请先生教了几年,更多的时间是自己翻书。

翻得最多的是父亲买回的《笔算数学》。这部书是传教士用白话写的算术课本,例题讲得平实。九岁的孩子把一部算术书从头做到尾,做完了还意犹未尽。多年以后他回忆,自己一辈子「对数学的胃口」就是那几年吃开的。

一九二二年,十一岁,随父亲搬到天津,第二年考进扶轮中学。功课里他偏爱两样:数学和国文。作文常被老师拿去贴堂;数学则跳着做——老师布置前头的题,他已经在做后头的。

十五岁那年,他以同等学力考进南开大学。课堂上最吸引他的人是姜立夫——中国第一位哈佛数学博士,一个人撑起南开数学系的全部课程。姜立夫讲课极有条理,板书写满一黑板又擦得干干净净。陈省身后来说,自己的几何方向,是姜先生「给我的」。

本来他想学的是物理。一次化学实验课,他把该吹的气吹错了地方,狼狈收场;他由此认清自己动手的本事有限,而读数学「只用一支笔、一张纸」——这一转,转出了一条大路。

引子清华·汉堡·巴黎p.4

一九三〇年从南开毕业,陈省身考进清华大学研究院——清华那一年刚开始招数学研究生,他和吴大任是仅有的两名。导师孙光远,方向是射影微分几何:用投影的方法研究曲线曲面在一点点挪动中怎么变。这是他「几何生涯」的起点,也为他后来转向更现代的几何备好了手感。

一九三四年,他拿到奖学金,出国深造。第一站汉堡:布拉施克在那里主持着世界领先的几何学派。陈省身听过布拉施克在北京的讲学,慕名而去。布拉施克给了他一个题目,一年多一点就把博士论文做了出来——题目不难,难的是他从中学会了「好的数学问题长什么样」。

布拉施克看出了这个中国学生的分寸感,推荐他去巴黎:埃利·嘉当住在那里,是当时最深、也最难接近的几何学家。嘉当的论文出了名地难读——每一页都压缩着别人一本书的内容。

一九三六年到一九三七年,陈省身在巴黎待了十个月。他后来称之为一生中最重要的十个月:嘉当每两周见他一次,每次一个钟头;他回去读嘉当的东西,把问题整理出来再谈。十个月里,「活动的标架」这一套功夫进了他的骨头。

一九三七年夏天,他动身回国,西南联大的聘书已经在等他。这一年他二十六岁。

引子一个词:整体p.5

十九世纪末以来的几何,成绩单上写满了「局部」二字:在每一个点的附近,曲线长什么样、曲面弯多少,都能用微积分算得清清楚楚。这套功夫精确、漂亮,是黎曼与高斯传下来的家底。

但局部之外的账,一直没人系统地算。一只球面在每一点附近都长得差不多,可它整体上有一件怪事:球面上的「毛」无论怎么梳,总有一处立起来。一张环面(甜甜圈的表面)却没有这个毛病。差别藏在哪儿?不藏在任何一点——每一点附近都平平常常。差别藏在「整体」里。

整体的性质能不能数出来?陈省身的工作正面回答了这个问题。他证明:局部的曲率积分起来,可以得到一个整体的数;更进一步,整体还有一族这样的数,它们像商品的条码,一读就知道这件东西「扭」成什么形状。

这一册走五幕。第一幕梳毛球,认出「整体」这个角色。第二幕跟陈省身学一套手艺:活动标架。第三幕看他一九四四年那篇五页论文。第四幕看「陈类」怎样给几何编出目录。第五幕看他回家,看这套语言怎样流进物理。

读完会剩下一句话:局部拼成整体,整体另有文章——而且这篇文章,数得出来。

故事 · 第一幕一只怎么梳都梳不平的球p.6

拿一只毛茸茸的球来梳毛。要求只有一条:每一根毛都服服帖帖地平躺在球面上,不许翘起来。这个要求过分吗?看起来不过分——毛那么短,梳子那么勤。

可是梳来梳去,总有一处不听话。把赤道一圈的毛都顺着梳平了,两极附近就冒出旋涡:一个极顺时针打转,另一个极逆时针打转,转着转着,中心那一撮毛立了起来。把旋涡挪到别处,它就在别处立起来——这撮毛是撵不走的。

这不是手艺问题。数学里有一条定理早就把话说死了:球面上的毛,怎么梳都有一处不平——凡是在球面上连续地铺开的一层「毛」(严格的说法是切向量场),必有至少一点是零。这条定理就叫毛球定理。

更妙的是对照:同一件事在别的面上不成立。平面上可以风平浪静——每一根毛都朝同一个方向躺着,处处不为零。甜甜圈的环面上也行——毛顺着环流的方向铺一圈,处处妥帖。

同一套梳法,球面上败、环面上成——那么「成不成」这件事,到底记在哪一笔账上?第一幕就沿着这一撮立起来的毛,走进「整体」的账本。

数学 · 第一幕把「毛」说得清楚p.7

先把「毛」翻译成数学。曲面在每一点都有一个切平面:贴着这一点、与曲面相切的一小片平面。在这片平面上画一支箭,就是这一点的「毛」——数学叫切向量。每个点都配一支箭,箭随点的挪动而连续地变,这整套箭就叫连续切向量场。

「处处不为零」就是说:每支箭都货真价实,没有一支缩成零——缩成零的那一支,就是梳毛时立起来的那一撮。

接下来是记账的语法。在旋涡的中心——毛绕着它打转的那个点——数学给它起了个名字:奇点,或者叫零点。奇点还分「性格」:毛从中心向外射出去的,是一种性格(叫指标 +1);毛绕着中心打转的,是另一种;还有毛先冲向中心再折回的,又是别的性格。每种性格都记一个数,这个数就叫指标。

庞加莱看出了一个惊人的规律:把一张曲面上所有奇点的指标全部加起来,无论毛怎么梳、旋涡怎么挪,总和是同一个数——只由曲面本身的形状决定,跟梳法毫无关系。

球面上梳一万种花样,得一万种旋涡分布,但指标总和永远不变。这就像一户人家无论怎么挪家具,各房间的面积总和是个定数。那么球面上这个「定数」是多少?——下一步,用一块豆腐来数。

数学 · 第一幕一块豆腐数出七p.8

把球面想象成一块可以随意揉捏的豆腐皮。在它上面画一张网:几个顶点,几条棱,把面割成几块「面片」。数三个数:顶点多少个(记 V)、棱多少条(记 E)、面片多少块(记 F)。

拿最简单的情形练手——四面体:四枚顶点,六条棱,四块面。V 减 E 加 F,等于 4 减 6 加 4,是 2。换八面体:六顶点、十二棱、八面,6 减 12 加 8,还是 2。换一张切分得乱七八糟的球面网,怎么数,V 减 E 加 F 恒等于 2。

这个数 V−E+F 有名字,叫欧拉数,记作 χ。欧拉早在十八世纪就为多面体发现了它;庞加莱把指标定理与它对上了账:向量场奇点的指标总和,恰等于欧拉数。

于是第一幕的谜底揭晓了。球面的欧拉数是 2,不为零——所以毛球必有奇点,那撮毛撵不走。环面呢?数一数:环面上画网,V−E+F 恒等于 0——指标总和为零,意味着可以摆出「处处无奇点」的梳法。那撮毛在环面上真的可以不存在。

一笔 V−E+F 的整数账,把「毛梳不梳得平」这件仿佛全凭手感的事,定得死死的。整数、离散、跟粗细长短无关——这类量后来有个统称:拓扑不变量。而它正是「局部与整体」账本上的第一行。

数学 · 第一幕环面为何太平无事p.9

把环面上的毛梳平,不难:让所有的毛都顺着「管子」的方向绕圈——就像环面上吹起一股永不歇止的环流,处处有风,处处不转旋涡。换个方向照样行:让毛沿着「穿过洞」的方向铺,也是处处妥帖。

球面为什么做不到?直观的答案:球面是「封闭的、鼓起来的」,想顺着铺,铺到顶点就无路可走;想绕着铺,两极就得打旋。环面有洞,洞给了毛「绕行」的去处——顺环流与穿洞两个方向,都是首尾相衔的路。

但这只是直观。账本上的答案更硬:球面 χ=2,指标和不为零,奇点免不了;环面 χ=0,指标和可以处处为零。一个整数的差别,分开了「梳得平」与「梳不平」两个世界。

把范围再拉宽一步。凡是「封闭鼓起」的曲面——无论鸡蛋形、土豆形,只要能连续捏成球——欧拉数都是 2,毛球病都治不了;凡是带一个洞的曲面,欧拉数是 0;两个洞的,是 −2。洞越多,数越负。这个数只看「连法」,不看「胖瘦」——捏、拉、压都改不了它。

只看连法、不看形状的量,就是拓扑不变量。第一幕到此立起了全部主角:毛(向量场)、旋涡(奇点)、性格(指标)、账本(欧拉数)。剩下的问题是:这只毛球,和陈省身有什么关系?——关系大得很。下一页,先讲他手里那套梳毛的手艺从哪来。

故事 · 第一幕战火中的行李箱p.10

一九三七年夏天,陈省身在马赛登船回国。行李里最重的,不是书,是十个月里从嘉当那里学来的方法——那套「活动的标架」,欧洲以外还没有几个人真正掌握。

船到岸,全面抗战已经爆发。北大、清华、南开三校南迁,在昆明组成西南联合大学。陈省身在那里教了六年书:铁皮屋顶的教室,雨点敲得像鼓;物资匮乏,期刊断绝。可就是这六年,他一个人把当时世界上最新的几何——嘉当的方法——讲给了一批中国学生。后来成为数学家的王宪钟、严志达,都是那时的听众。

消息断绝的年月里,做学问的人最怕的不是苦,是「不知道外面在发生什么」。陈省身的运气在于:嘉当持续给他来信,把欧洲几何的最新进展一封封寄到昆明。战火中这段通信,像一根细细的线,没有断。

一九四三年,普林斯顿高等研究院的维布伦与韦尔发来邀请。太平洋上潜艇出没,他绕道印度、非洲、南美,飞飞停停七个月,到达美国。一年半后,他带着那篇五页论文离开普林斯顿——第三幕就讲它。

回头看这一段:从嘉兴到天津、到清华、到汉堡与巴黎、到昆明、到普林斯顿——每一段路都平常,每一段都在攒「局部」的手艺。攒到一九四四年,量变引起了什么?那是第三幕的戏。第二幕先看他学艺的细节。

交汇 · 第一幕欧拉数在数什么p.11

第一幕把两股线并在一起看。一股叫「数格子的账」:顶点减棱加面,数的是一张网;另一股叫「梳毛的账」:旋涡的性格求和,数的是一场风。两本账风马牛不相及——庞加莱与霍普夫却证明它们记的是同一个数。

为什么该相等?可以这样想:格子是「硬」的描述,风是「软」的描述;一张足够细的网能配上一种风,一阵风能在网上数出奇点——格子的总数与奇点的指标,原是对同一张曲面从两头记的账。

这个「两头记账」的格局,正是整本册子的伏笔。欧拉数站在中间:它既能从格子数出来,也能从曲率积出来——第三幕要讲的五页论文,干的就是后一件。两头的账一平,一件惊人的事发生了:局部的量(曲率)与整体的量(欧拉数)可以互相兑换。

在这场交汇里,陈省身的位置在哪里?他在手艺那一头:嘉当的活动标架,是能把「曲率」这类局部量摆弄得最灵活的一套功夫。手艺齐备,只欠一个问题的点拨——一九四三年,普林斯顿把这个问题递到了他面前。

下一幕,先看那套手艺本身。

收束 · 第一幕这一幕在讲什么p.12

第一幕从一只梳不平的毛球出发,账清一清。

毛球定理。球面上的毛怎么梳都有一处立起——这不是手艺问题,是球面「封闭鼓起」的整体本性。环面有洞,毛可顺洞环流,梳得平。

欧拉数出面。V−E+F 是一个只认「连法」的整数:球面 2、环面 0、双洞面 −2。庞加莱—霍普夫定理说:奇点的指标总和恰是这个数——梳毛的手感问题,从此有了整数账本。

「整体」登场了。每一点附近的情形都一样平常,可有一样东西全盘不同:那是一个数出来的量,藏在整体的连法里。局部量的和能够锁定整体,这件事是本册全部故事的引擎。

数学

欧拉数 χ=V−E+F;曲面亏格 g 时 χ=2−2g。毛球定理是 χ≠0 的直接推论:奇点指标全为零要求 χ=0。

庞加莱—霍普夫:向量场奇点指标之和=χ。这是「局部求和=整体不变量」的第一个样本;第三幕将看到第二个、更深的样本——曲率积分=χ。

故事 · 第二幕嘉当的门p.13

一九三六年的巴黎,布尔巴哈街六十三号住着一位安静的老人:埃利·嘉当,六十七岁。他的论文公认难读——每篇都塞满新概念,符号是他自造的,动机不解释,例子不展开。据说当时全世界的数学家里,真正读完嘉当主要论文的屈指可数。

陈省身是其中之一。他后来回忆:读嘉当的论文像「沿着一条没有路标的山路攀登」,但登上去之后看见的风景,别人一辈子都看不见。布拉施克看出这一点,把他推荐到巴黎;嘉当见他读过自己的东西,破例收下这个学生。

十个月,每周(后来是每两周)一个下午。嘉当的作息精确如钟:谈话一小时,然后各自散去。陈省身回去消化,攒出问题,下次再谈。嘉当的回信写得又快又长——后来这封信件往来持续了十几年,存下来五十多封。

十个月里陈省身学到的,不是几个定理,是一套「手艺」:怎么自己造坐标系、怎么让坐标系贴着曲面移动、怎么在移动中读出曲面的本性。这套手艺有个名字——活动标架法。

第二幕就讲这套手艺。它看似只是技巧,实则是后来一切的引擎。

数学 · 第二幕标架:随身的坐标p.14

「标架」就是一副随身的坐标:原点加两支(或三支)互相垂直的箭。中学里学的 x 轴 y 轴是一个固定的大标架——所有点共用。活动标架反其道而行:每一点配自己的小标架,走到哪,架到哪。

在曲面上一路走,小标架一路跟着转:转向、倾斜、伸缩。于是曲面的一切本性,都变成「标架怎么动」的记录——走平路,标架平稳;走弯路,标架倾斜;爬鼓包,标架仰角变化。曲率不再是抽象名词,它是标架的「方向盘读数」。

这套做法的好处分三层。第一,它把复杂的几何化成了简单的代数:标架的每一步移动都可以写成几个系数,曲率就藏在系数里。第二,它天生长于处理「贴着曲面走」的问题——所有的量都在曲面自身上读出,不必跳到外面看。第三,它极其灵活:标架可以随时换,换了以后哪些量变、哪些不变,一比就对——而「不变的」正是几何的本性。

嘉当把这方法推到极致:不止标架能动,连「怎样允许动」的规矩都可以编成代数。别人用他这套东西要做一年,他做一个月——他的计算速度是传奇。陈省身学到的正是这个:把几何变成一场随时可算的移动。

数学 · 第二幕曲率:方向盘的读数p.15

标架在曲面上平移一步,下一刻的标架与这一刻差多少?把这「差多少」逐点记下来,得到一组系数——嘉当叫它们连接形式。连接形式是方向盘:标架怎么拐,全写在上面。

但方向盘读数还有水分:它依赖标架本身。换个标架,系数跟着变。嘉当的结构方程做了最后一道加工:把连接形式再求一次「差」——这一次,所有依赖标架的水分被挤干净,剩下的量谁也动不了。剩下的就是曲率。

这一步像炼金:矿石(标架的变化)里有真金也有渣;第一道炼(做连接)得到可用的金属,第二道炼(求外微分)把渣撇清,剩下的真金在任何标准下都一样重。外微分——嘉当手里最锋利的工具——正是这道撇渣的工序。

于是曲率获得了新形态:它不再只是一个数或一个张量,而是「曲面上一种可以积分的东西」。可以积分,就意味着可以求和——把每一点弯多少,沿着整个曲面加起来。

「加起来等于什么?」这个问题,几何等了一百五十年。一九四四年,陈省身用五页纸交卷:加起来,等于欧拉数。第三幕的戏,正是这一句。

交汇 · 第二幕手艺与眼光p.16

第二幕把两股线并起来。一股是「技」:活动标架、连接、外微分——嘉当十年磨出的三件工具,快、准、通用。另一股是「道」:一个已经浮出水面的问题——局部的曲率,能不能积分出整体?

这道题不是陈省身提的。高斯—博内定理在二维的情形老早就有:球面上曲率的总和等于 4π(即 2π 乘欧拉数 2),十九世纪的博内把边界情形补齐。人人知道这背后有更一般的真相,可是高维怎么推广,卡了四十年。卡住的原因:大家跳在曲面外面想办法,把问题想成了「外面的事」。

嘉当手艺的妙处恰在此处:活动标架根本不跳出去——一切读数都在曲面内部完成。手艺里天然藏着答案的门路,只差有人把门推开。

一九四三年,普林斯顿高等研究院里,维布伦正带着一群人搞「大范围」的几何:他们把曲面和高维空间看成一整套「粘起来的图纸」(术语叫纤维丛),研究整体性质的框架已经搭好,缺一个能把嘉当式的计算装进框架的人。

手艺在陈省身手里,问题在普林斯顿桌上。第三幕,就是这两者相撞的那一年。

数学 · 第二幕螺丝钉与图纸:纤维丛p.17

为第三幕再备一件工具:纤维丛。名字唬人,意思朴素——在每个点的头顶上挂一个小空间,再把所有的小空间连成一体。

日常世界里它到处都是。地球的每一点头顶上都挂着「这一点的风向与风力」——把全球的风场连起来,就是一个纤维丛:底下的地球是「基座」,每点头顶的风是小空间。磁铁周围的磁场、曲面上每点的切平面,也都是纤维丛。

为什么几何学家需要它?因为「整体」的秘密就藏在「小空间怎么粘」里。每个点头顶的小圆片彼此一模一样——这是「局部处处相同」;但把它们粘起来的方式可以有讲究:粘得顺,一整片风场平平整整;粘得拧,转一圈回来风就转了向。粘法里的「拧」,正是全局信息——它在任何单个点上都看不见。

这跟第一幕遥遥呼应:毛球的怪脾气,单个点上看不出毛病,是「整体粘法」的问题。纤维丛把「粘法」变成了可以研究、可以计算的对象。

还差最后一块砖:粘法里的「拧」怎么数?第四幕的陈类就是那个数。下一页,先看一九四四年的五页论文怎样把曲率与欧拉数焊在一起。

故事 · 第二幕课堂与灯p.18

昆明的夜晚常停电。西南联大的教室里,师生点着油灯或土蜡烛上课;铁皮屋顶被雨点敲响时,教授就在黑板上写大字,让后排看清。就是在这样的教室里,陈省身把嘉当的几何一课一课讲出来。

他的讲法有个特点:从不急着抛结论,先把「问题为什么难」铺陈清楚。多年后学生回忆,听陈先生的课像看一场慢棋——每一步都平平无奇,十步之后才发现局面已经被算尽。

战争年月,论文期刊进不来,他就在油灯下重做旧题:把嘉当的方法在课堂上反复演练,替战后的爆发蓄力。他自己后来说,那几年是「准备期」——手艺练熟了,问题还没有来。

准备期的另一面是孤独。同辈的几何学家分散在战火两侧,谁也不知道谁做到哪一步。等一九四三年他到了普林斯顿,才知道这四年里美国人把「纤维丛」的地基打好了——而他手里的嘉当功夫,恰好是那座地基上缺的柱子。

第三幕的讲堂在一间安静的办公室里。主角是一篇五页的论文,和一道卡了四十年的题。

收束 · 第二幕这一幕在讲什么p.19

第二幕跟随传主学艺,账清一清。

一套手艺。活动标架:每点自带小坐标,曲面的一切本性变成标架移动的记录;两道工序(连接、外微分)之后,剩下的曲率不依赖任何标架——是曲面自己的话。

一件工具。纤维丛:每个点头顶挂一个小空间,粘法里的「拧」是全局信息——局部处处相同,整体各有各的拧法。

一个待解的题。二维的高斯—博内老早知道:曲率积分等于欧拉数。高维推广卡了四十年,卡在想「外面的事」。嘉当的手艺是内在的——门路就藏在其中。

数学

标架移动记录几何:连接形式记「怎么拐」,曲率=连接的外微分(结构方程)——标架换了它不换。

纤维丛=基座+纤维+粘法。粘法的障碍类(第四幕的示性类)是全局的整数读数;曲面情形的第一个样本即欧拉数。

故事 · 第三幕普林斯顿的走廊p.20

一九四三年的普林斯顿,高等研究院的数学部聚着二战期间欧洲流亡而来的群星:爱因斯坦在二楼,哥德尔在办公室里踱步,韦尔刚从苏黎世落脚。陈省身八月到达,安顿在研究院的宿舍里。

走廊上谈得最多的话题之一,是一道卡了四十年的题。高斯—博内定理说:曲面上曲率的积分,等于欧拉数乘 2π。这一定理在高维空间里「应该」有推广——大伙都嗅到了,可是没人给出不依赖「外部空间」的证明。前一年,阿伦多费尔与韦尔在可嵌入的情形下证出了推广,但「嵌入」这个前提本身就是对内在精神的一次妥协。

陈省身决定不绕开这个前提,而是拆掉它。他后来回忆:想法来得很快——既然嘉当的活动标架一切都在内部完成,那就把整个证明做成一场「内部的旅行」。旅行中每一步都平常,走到终点,欧拉数自己冒了出来。

一九四四年十一月,论文写成,五页。次年发表在《数学纪事》,题目朴素至极:《高斯—博内公式的一个简单的内蕴证明》。

五页纸改变了学科的方向。第三幕的后半页一页一页讲它。

数学 · 第三幕定理的旧貌与新颜p.21

先把定理本身摆正。二维的经典形态:一张封闭曲面上,把每一点的高斯曲率 K 收集起来、乘上面积微元、沿整个曲面积分——结果恰是 2π 乘欧拉数。球面:K 恒为 1/R2,面积 4πR2,积分得 4π,恰是 2π×2。环面:正弯与负弯抵消,积分得 0,恰是 2π×0。

局部的水泥(每点的曲率)垒出了整体的数(欧拉数)——第一幕攒下的直觉,在这里第一次兑现成公式。

高维的推广难在哪里?高维空间里「曲率」不是一个数,是一整族数;随便把哪几个拼起来积分,结果都没有理由是整数。卡了四十年,卡在两处:高维曲率的拼法要挑对(后来知道是「段的乘积」,术语叫普法夫型);更要命的是,旧证明都要跳到外部空间里绕一圈,用外面的参照物才能说清曲率怎么拼。

「外部参照」是原则性的障碍:倘若空间的弯法真要靠外部才能说清,那「内蕴几何」的梦想就退回去了半步——黎曼的纲领(几何只看内部)在高维打了个折扣。

陈省身的证明整场都待在内部。怎么做到的?下一页:把曲率积分想象成一场「标架的旅行」。

数学 · 第三幕证明:一场内部的旅行p.22

证明的舞台是一个新空间:把曲面上所有的「标架」收拢来——每一点头顶原本就挂着全体可能的标架(p.17 说的纤维丛,这里取「标架丛」)。在这个大空间里挑出一场特殊的旅行:让标架从一点出发,在头顶空间里连滚带爬地转一圈,回到起点。旅行的每一段,都是一场「内部的搬动」。

妙处在记账。旅行全程的外在观感(标架怎么滚)可以由曲率的积分算出来——曲率正是标架「拐弯」的速率,拐得越多积得越多。另一头,旅行的终点与起点是同一个点,它在头顶空间里的「落点差」由另一个整体量决定——一算,恰是欧拉数。两笔账一对:曲率积分=欧拉数。定理证毕。

整个过程没有一个字用到「外部空间」。曲率与欧拉数都在曲面自身的账本上互兑——黎曼「几何只看内部」的纲领,在高维第一次完整落地。

同行立刻明白了这一步的分量。韦尔说这是「几何学进入新纪元的信号」;这个证明方法本身——「搬到丛上去算」——成了往后几十年整体微分几何的标准起手式。

五页论文之所以五页,正因为整套 Machinery 早已在手:标架是第二幕的手艺,丛是新搭的舞台。手艺与舞台一合,四十年之题一战而下。

数学 · 第三幕曲率换欧拉数p.23

把新定理的兑换关系念一遍:连续的、每点不同的量(曲率),沿着整个空间求和,得到一个离散的整数(欧拉数)。这是「局部—整体」兑换的第二次登场——第一次是庞加莱—霍普夫(指标求和=欧拉数),这一次更进了一步:左边的曲率是可以逐点测量、可以用尺规与微积分对付的量。

换句话说:想知道一个空间的「整体扭法」,不必扫描全局——在每一点量一量弯,积分起来就行。整体的信息居然寄存在局部的水泥里,这笔账在当时的人看来近乎魔法。

反方向的读法同样惊人:欧拉数是「捏不动的」——拉长压扁都不改;那么曲率的积分也捏不动。空间随便怎么揉,局部弯了这里、必平了那里,总弯量一丝不变。弯是会「搬家」的,总量是守恒的。

这给几何立下了一条「守恒律」。物理学里守恒律最吃香——电荷守恒、能量守恒;几何里「总曲率守恒」一出手,全局问题立刻有了可以下手的地方。第三幕的定理是二维低配版;第四幕的陈类,是它的全套家谱。

故事 · 第三幕五页之后p.24

论文发表后的信件如雪片。韦尔亲自登门,劝他留在美国;维布伦把这篇论文编进了研究院的系列讲座。一个中国数学家的名字,一夜之间进入了这门学科的中心名单。

但陈省身没有停在功劳簿上。他后来回忆,证明一完成,他就意识到它「不只是一条定理」——那套「把局部形式搬到丛上去、用障碍读出全局」的架构,显然能对付一大类问题。曲率积分给出欧拉数,只是这个架构的第一笔账。

战时的普林斯顿聚着最聪明的一群流亡者,走廊里的对话昼夜不歇。陈省身在研究院待到一九四五年末,次年初回国:受命在上海组建中央研究院数学研究所。他把美国的所见所学装进行李——也把一个还来不及写下的想法带了回去。

那个想法在一年后成形,就是第四幕的主角:陈类。

回头再看这五页:它处理的定理是旧的,框架却是全新的。好的工作常是如此——问题在等手艺,手艺在等问题;相撞的那一刻,一页纸顶得上一本书。

交汇 · 第三幕内在的胜利p.25

第三幕把两条历史线拧在一点上。一条线从黎曼来:「几何应当只看内部」——曲率、距离、一切本性都该由空间自己说出,不借助任何外部的房子。这条线在高斯(绝妙定理)与黎曼(流形纲领)手里步步推进,到高维却撞上了高斯—博内这道关:四十年的推广全都要「跳出去」。

另一条线从嘉当来:一套彻底内部化的计算手艺。它生在曲面论里,长在李群与微分方程里,特点是无论多复杂的问题,都能在自身上摆开战场。

陈省身的工作让两条线会师:内部的手艺终于解决了内部的纲领。这一撞的意义不止于一条定理——它示范了一种新的做几何的方式:碰到整体问题,先造好合适的丛,把局部形式搬上去算。此后几十年,示性类、指标定理、规范场论,走的全是这条路。

在高斯—博内的账本上,曲率与欧拉数实现了互兑;在学科的账本上,「局部—整体」从一句口号变成了可执行的算法。算法的名字,就是第四幕。

收束 · 第三幕这一幕在讲什么p.26

第三幕围绕一篇五页论文,账清一清。

定理。紧定向偶维流形上,曲率形式的合适乘积沿全空间积分,等于(2π 的幂)乘欧拉数——曲率与欧拉数互兑,全程不借外部空间。

证明。把标架搬上丛:一场内部旅行的两笔账,一笔由曲率记,一笔由落点差记,两笔相合。手艺(嘉当标架)×舞台(纤维丛)=四十年的题。

意义。「局部—整体」从直觉变成算法;「内蕴几何」的黎曼纲领在高维完整落地;整体微分几何自此立科。

数学

∫∫M K dA=2πχ(二维)。球面 4π、环面 0 的验算如 p.21;「弯会搬家、总量守恒」的拓扑读法见 p.23。

高维:∫ Pfaff(曲率形式的 n 次楔积)=(2π)nχ。左边是微积分的量,右边是数格子的整数。

故事 · 第四幕上海的初创与重返p.27

一九四六年春,陈省身回国。中央研究院要办数学研究所,三十五岁的他被委任筹备。上海岳阳路上的一栋小楼,几间空屋,一批从美国带回的复印论文——研究所就这样白手起家。他定的方针务实而大胆:不追逐四散的战时课题,集中培养年轻人,专攻「新兴的整体几何与拓扑」。

那一年他做了两件事。一件是办学:招进吴文俊、廖山涛、周毓麟等一批青年,从纤维丛的讲义教起——这批人后来撑起了中国数学的几个方向。另一件是攻坚:普林斯顿带回来的那个想法,在一年之内成形。

一九四六年秋,论文《厄米特流形的示性类》寄往普林斯顿发表。文中,他把「粘法里的拧劲」系统地编成了几族整数——每族都有明确的算法,都能从局部的曲率算出来。这几族数后来被称为「陈类」。

如果说五页论文证明了「整体可以算」,陈类则把「算什么、怎么算」做成了一门系统的目录学。几何学家从此有了一张条码表:扫一眼条码,就知道空间扭在哪。

第四幕的后半,讲这张条码表怎么读。

数学 · 第四幕拧劲的条码p.28

陈类是什么?最短的说法:给纤维丛的「粘法拧劲」开的账本。

回忆 p.17 的图景:纤维丛=基座+每点头顶的小空间+粘法。粘得平还是粘得拧,在每个单点上看不出——要看全局。陈省身证明了:拧劲虽然无穷多样,但可以用一族整数给它「编码」——第一族数测最小的拧,第二族测下一层,一层套一层,像洋葱。这一族整数就是陈类,通常写作 c1、c2……

妙处在它们的来路:每一族都能从曲率算出来。把合适的曲率形式积分(第三幕的手法,搬到「每个点头顶的空间」上去),得到的恰是整数。于是这族条码同时活在两个世界——拓扑的世界(只认粘法)与几何的世界(可由曲率积分)。这正是高斯—博内的格局,成建制地推广到了所有维数。

条码的实际用处立竿见影。两个丛是否本质相同?算陈类:条码不同,必不相同。某个几何问题有没有解?看看条码:某些障碍一露头,问题当场死掉——省下十年的盲目尝试。第一幕毛球定理的逻辑(欧拉数不为零,故无好梳法),在陈类这里被放大成一台通用的「障碍检测机」。

数学 · 第四幕条码怎么读p.29

读两个例子。第一个是球面:复球面(把平面加上一个无穷远点)的第一陈类是正的——条码第一格写着「正」。「第一陈类为正」的空间(所谓法诺型空间)形态端正,后来成为代数几何与高维几何分类里的「优等生」班底。

第二个是甜甜圈:环面的第一陈类是零。零条码的空间别有一副性格——它们平得彻底,可以做「模空间」的温床(现代物理与数论里大量出现的空间)。条码一扫,两个世界的脾气分得清清楚楚。

再举一个「条码挡路」的实例。问:一个空间上能不能处处定义「旋转的角」之类连续选择?障碍类的条码一翻——若相应条码非零,答案直接是「不能」。毛球定理就是最老的例子:球面切丛的欧拉类(c 家族的近亲)为 2,非零,故无处处非零的毛场。

半个世纪后回看,陈类成了数学几个分支的「普通话」:高维几何用它分类,拓扑用它验算,物理用它记账。一九六三年阿蒂亚—辛格指标定理(现代数学的里程碑之一)的证明骨架,正是「陈类把分析与拓扑接通」。它还越界走进了物理——那是第五幕的尾声,也是本册的远山。

数学 · 第四幕丛里的微积分p.30

陈类最深的妙处藏在构造里:它让「微积分」可以在歪歪扭扭的粘法上照样进行。

办法分两步。第一步,在丛上装「连接」——给每点头顶的小空间配一套「搬运规矩」,让相邻点的量能互相比较(第二幕的活动标架,正是连接的最老形态)。第二步,把连接的曲率拿到手上,沿着基座积分——得到的数竟是整数,也就是条码。局部是微积分,整体是整数;两界的桥,就是陈—韦尔这套公式。

这件事的哲学意味值得停一停。数学长久以来分两摊:拓扑管「连法」(软的、离散的),几何管「弯法」(硬的、连续的)。两摊各有各的工具,互不过问。陈类的构造把两摊焊在了一起:弯法的积分能数出连法的拧劲。以后凡是「连续量锁死离散量」的场合——从数粒子到数空间——数学家都本能地来找这类构造。

这套语言还有一个附赠的优点:它对「换坐标」彻底免疫。条码是丛本身的名姓,无论用什么图集、什么标架去读,读出的数一模一样。全局信息天生该是这样的——不改的才配叫本性。

故事 · 第四幕离散的岁月p.31

一九四八年底,时局骤变。中研院数学所奉命南迁,陈省身带着家眷和仅有的图书设备先到南京,再飞上海,最终登上去美国的船。研究所三年的历史,随着战局戛然而止——他培养的那批青年,从此散落在海峡两岸与世界各地。

一九四九年起,他在芝加哥大学教了十一年。芝加哥的几何学派正在兴起,同事们把他称作「把嘉当的真传带到美国的人」。一九六〇年,他西迁伯克利加州大学,直到退休。

大洋彼岸的二十多年,他做成了三件大事:自己做研究——陈类之后,整体微分几何的几块基石陆续由他与学生们砌成;带学生——廖山涛、项武忠、项武义、丘成桐等人先后出自他的门下或门风;建机构——一九八一年,伯克利数学科学研究所(MSRI)成立,他出任首任所长,这是美国国家资助的数学研究所的肇始。

一九八四年,沃尔夫奖颁给他——数学界的终身成就奖。领奖后他没有歇脚,做了一件让所有人意外的事:回中国,去天津,办一所新的数学研究所。

交汇 · 第四幕一条码,两门学问p.32

第四幕把两股线拧在一起:一股是几何——曲率、连接、丛;一股是更年轻的物理——磁场、量子力学、基本粒子。两股线隔着门墙对望了几十年,最终发现彼此用的是同一套账本。

物理学家在磁场里早就做过「局部的微积分」:磁场强度是曲率(这是后知后觉的翻译——磁场的数学结构与连接的曲率完全相同),带电粒子绕圈一周获得的相位,恰是曲率的积分。这个相位在实验里真实可测——一九五九年阿哈罗诺夫与博姆指出的效应,让「只看局部场强不够、全局的相位才是实在」成为量子力学的一课。

把两边并排一放,结构逐项对应:物理的「规范场」=几何的「连接」;物理的「场强」=几何的「曲率」;而相位积分出整数的地方——量子化条件——正是陈类条码的领地。杨振宁与米尔斯一九五四年的理论,几十年后由数学家认出:这就是丛上的连接。

「同一个结构,被两拨人各自发明」——科学史上这样的相认总是格外动人。而认出相认的人里,最起劲的正是几何学家自己:陈省身与杨振宁在石溪与南开多次对谈,一条从纤维丛通向基本力的桥,两人各从一端修到了中点。

收束 · 第四幕这一幕在讲什么p.33

第四幕从上海的小楼出发,账清一清。

陈类立科。纤维丛粘法的拧劲,可以用一族整数(c1, c2, …)编码;每一族都从曲率积分得来——拓扑与几何两摊的账本焊成了一本。

条码的用法。辨异:条码不同,丛必不同;查障碍:条码非零,选择不存在——毛球定理的通用化;分类:空间按条码分班,几何物理各有受益。

语言的远征。物理的规范场被认出就是几何的连接;「量子化出整数」正是陈类的领地。几何与物理共着一门语法——这门语法的课本,是一九四六年那篇论文。

数学

陈—韦尔构造:连接的曲率代入不变多项式,积分得整数。c1>0、=0、<0 三班的复曲面分类(单值化定理的条码版)见 p.29。

障碍检测机:欧拉类=χ⇒毛球定理(p.8–p.9);一般地,条码非零即「连续选择不存在」。

故事 · 第五幕八十四岁的决定p.34

一九八四年,七十三岁的陈省身刚领了沃尔夫奖。所有人以为他会就此安享晚年,他却在几个月后宣布:接受母校南开大学的邀请,回国创办数学研究所,所址就选在南开校园里。

这个决定的分量,要放回当时的环境中掂量。八十年代中期,中国数学与国际主流隔绝多年,图书设备匮乏,人才断层。陈省身的算盘很具体:借自己一生的积累——人脉、经费、声望——给中国数学搭一座直通国际的桥。他说过一句朴素的话:中国数学要在世界上取得应有的地位,靠的是年轻人。

南开数学研究所一九八五年动工,一九八七年落成。办所的方针被他概括为「立足南开,胸怀祖国,放眼世界」:请世界上最好的数学家来讲学,让中国的年轻人不必出国就能听到第一流的课。执行起来也是如此——所里早期的学术年活动,几乎每一场都请动了当世第一线的名字。

从十五岁入南开读书,到七十三岁回南开办所,一圈走了将近六十年。第五幕就沿着这个圆走完它。

数学 · 第五幕一个以他命名的量p.35

陈省身的名字还活在一个物理量里:陈—西蒙斯。故事要从一九七四年说起。他与学生西蒙斯(就是后来写成金融传奇的那位吉姆·西蒙斯)合写了一篇论文,研究三维空间里一类特殊的「曲率积分」——把三维的曲率形式(一种叫「二次陈类」的近亲)沿整个空间积起来。

奇处在于:这个积分不是整数,却是一种比整数更微妙的「量」——它算出来的值随空间的连续变形而变,但变的只是表面;它的一些关键性质纹丝不动。数学上这类量叫「拓扑场论」的原型:它对弯曲钝感,只认连法。

十多年后,物理学家威滕等人发现:这个量正是描述一类奇异粒子的语法——在分数量子霍尔效应里,电子的集体行为由陈—西蒙斯理论描写;后来拓扑量子计算、宇宙学里的某些模型,也都用它当骨架。一篇纯数学论文,四十年间成了物理的常备工具。

陈省身本人对此淡然。他说过:好的数学不必问用处,用处会自己来敲门。这句在他身上兑现了两次——陈类如此,陈—西蒙斯亦然。

数学 · 第五幕整体之美的家谱p.36

把本册出现过的「整体」概念排成一棵树,看它们的长法。

树根是欧拉数:数格子数出来的整数(第一幕)。树干分两枝。一枝向物理经验生长:高斯—博内定理把曲率积分换成欧拉数(第三幕),曲率从此有了整体的身价。另一枝向粘法生长:惠特尼、斯廷罗德等先造出示性类的雏形,陈省身把曲率的表示法装进去,陈类成科(第四幕)。

枝头结着三颗果:阿蒂亚—辛格指标定理(把分析、拓扑、几何一炉共冶,四枚菲尔兹奖级工作围绕它生长);规范场论(物理的力=几何的连接,杨—米尔斯理论的数学化);陈—西蒙斯(拓扑量子场论的骨架)。

这棵树上没有一颗果子能脱开「局部—整体」的母题:都是「在局部读弯法,对全局数整数」。陈省身晚年总结毕生方向,用的正是这个母题——「整体微分几何」五个字,把一棵树说尽了。

树的年轮里还有一层意思值得记下:树上每一步都站在别人的肩膀上——高斯的曲率、黎曼的流形、嘉当的标架、惠特尼的丛。他自己的话是:「我做数学,从来没有离开过传统。」

数学 · 第五幕杨振宁的诗p.37

一九七五年,物理学家杨振宁终于弄清了自己十年前与米尔斯写下的理论、和陈省身几十年前造出的数学原来是同一个东西。他后来回忆当时的震动:规范场这种如此「物理」的结构,竟然就是数学家凭空想出的纤维丛——「既惊讶,又欣喜」。

他写下一首诗送给陈省身,末句是:「千古寸心事,欧高黎嘉陈。」——把陈省身与欧几里得、高斯、黎曼、嘉当并列为几何传统的五座峰。数学家与物理学家之间的这段佳话,在本册 p.32 已见其事,这里补一句余音。

杨振宁又发过一个感慨,被反复引用:数学家「凭空的创造」,为什么一再被物理的世界需要?陈省身的回答出自几何学家的本分:数学是「看得见」的抽象——几何研究的虽然不是眼前这张桌子,但它研究的一切都有形状、有秩序;而物理世界恰好也讲形状与秩序。两边用的账本相同,不是巧合,是「结构性思维」的同一门手艺。

这一问答放在本册的结尾处正合适:它把「局部—整体」从一条几何的线索,放大成一种理解世界的方式。下一页,回到生活里的陈省身。

故事 · 第五幕宁园的灯p.38

南开校园东部有一栋灰色小楼,陈省身晚年住在里面,起名叫「宁园」——安宁的宁。楼里有他的书房、他的钢琴、他手杖与放大镜。九十岁的他仍然每天到办公室,看论文、谈数学、见学生。

晚年他给自己定的日程表轻描淡写:「每天想一点数学。」他关心的题目始终没有离开一生的主线:整体微分几何还有什么没做透。他最后一篇论文写于八十八岁;临终前几个月,他还在与人讨论「六维球面上有没有复结构」这样的问题。

他常说自己是「幸运的人」:一辈子只做了一件事,而且做成了。这话固然是自谦——从战火中的西南联大到普林斯顿的黄金年代,从白手起家到白手再起家,幸运从来不是主旋律——但也是真话:他一生没有离开过几何,几何也没有亏待过他。

二〇〇四年十二月三日,陈省身在天津病逝。国际数学联盟当年的文告里写着:二十世纪最伟大的几何学家之一。而他留给南开的那座研究所,如今以他命名——省身楼。灯还亮着。

交汇 · 第五幕数学教育与数学家p.39

第五幕把两条线并起来:做数学的陈省身,与「造数学家」的陈省身。后者常被前者的光芒遮住,但分量毫不逊色。

他教学生有三条出名的原则。第一,「不做别人的题」——他总劝学生去找自己的问题,而不是在导师的题目上修补;第二,「好书要自己读」——他把读书看得比听课重,说学问是「自己想出来的」,老师只能点火;第三,「数学要做得漂亮」——一个结果做出来,他先问「美不美」,不美就怀疑方向错了。

这三条在他身后留下一串名单:从王宪钟、吴文俊,到丘成桐——还有一大片他点过火、没留下名字的课堂。二〇〇二年国际数学家大会在北京召开,他任名誉主席;那届大会被普遍看作中国数学「与世界对表」的元年。他在开幕式上说:中国将成为数学大国——后来人们把这句话叫作「陈省身猜想」,用它自勉。

做学问与做传承,在他那里是一件事的两面:几何是「局部拼成整体」,一个数学共同体也一样——每个人各自平常,合起来才有整体的峰。他把两件事都做成了。

收束 · 第五幕这一幕在讲什么p.40

第五幕回到生活与传承,账清一清。

归航。七十三岁回南开办所,把国际数学请进来,把中国年轻人送出去——六十年的圆走完。

远山。陈—西蒙斯成为物理的常备工具;规范场被认出就是几何的连接;「欧高黎嘉陈」是这门几何传统的第五座峰,也是把传统带进整体时代的人。

传承。自找问题、自己读书、求美——三条原则育出几代几何学家;「数学大国」的猜想留给后来人作靶。

数学

陈—西蒙斯不变量:三维曲率形式的积分,对连续变形钝感而只认连法——拓扑场论的原型;分数量子霍尔效应、拓扑量子计算的语法(p.35)。

「局部—整体」的完整谱系:欧拉数→高斯—博内→陈类→指标定理→规范场→陈—西蒙斯(p.36 之树)。

收束回望:一册走完p.41

从嘉兴深巷里那部《笔算数学》出发,这一册走了五幕。回望一遍:

第一幕认角色:一只梳不动的毛球,逼出「整体」这个主角——每点附近都平常,全局却有一个数(欧拉数)说了算。

第二幕学手艺:活动标架把几何变成随身的计算;两道工序之后,曲率摆脱一切标架,成为空间自己的话。

第三幕见火花:五页论文把曲率积分换出欧拉数,四十年的高维推广一战而下,内蕴几何的纲领完整落地。

第四幕成建制:陈类给一切「粘法拧劲」编出条码,几何与拓扑合账;物理的规范场后来认出,自己用的正是这套账本。

第五幕见人:七十三岁回南开办所,「欧高黎嘉陈」与「数学大国」,一个总结过去,一个寄望将来。

收束五页论文与一族条码p.42

陈省身留下的「实物」,最重的两件都很薄。

一件是五页论文。它没有发明新概念,甚至没有引入新记号——它把四十年没人能拆的关口拆了,拆法干净得像一次深呼吸。同行记住它的不是难度,是「原来可以这样想」:把局部的形式搬到丛上去,让整体的障碍自己现形。此后半个世纪的整体几何,起手式几乎都是这一句。

另一件是陈类。它是一套完整的方法论:任何空间的「粘法拧劲」,都有一族可以从曲率算出的整数条码;条码一扫,分类、辨异、查障碍一次完成。它已经成了几门学科共用的普通话——几何学家说它是地基,物理学家说它是语法。

两件东西共同说明一件事:陈省身的长处在「把全局变成可以算的对象」。他常说好数学有三种——解决问题、创立方法、开辟领域;他自己晚年最看重第三种。这两件遗产,恰好各占其二。

读这一册,最后带走的不是几个名词,是这个动作:遇到纷乱的局部,先找那把能把它们数成整数的尺子。

收束 · 留问三个没有答案的问题p.43

第一扇门:六维球面上有没有复结构?这道题陈省身晚年还在想,至今悬着。它问的是:一个和复数的世界(三维复空间)有着同样形状的空间,能不能真的装上复数的坐标——装上了,陈类条码立刻能派上用场;装不上,也得有整数的理由。

第二扇门:示性类之后,「局部—整体」的字典还能加多少页?指标定理、规范场、陈—西蒙斯,都是从这本字典里长出的章回。今天的几何物理前沿(镜像对称、拓扑物态、全息原理)仍在往字典里添页——添到哪一页为止,没人知道。

第三扇门:「数学大国」何时兑现?陈省身二〇〇二年立下的猜想,至今是进行时。数学大国的标准不是奖牌数,是「提出问题的能力」——毛球定理、五页论文、陈类,都是从一个好问题长出来的。问题是种子,这扇门要几代人来开。

三扇门都通向同一间屋子:那里的人还在用陈省身留下的词——丛、连接、曲率、条码——继续提问。

动手做 一毛球实验与欧拉数p.44

材料:一只吹硬的气球、一盒图钉(或胶带)、一张 A4 纸、笔、剪刀、一枚旧毛线团或橙子(可选)。

实验一 · 梳毛球:在气球上用笔画「毛」:一根根短箭头,要求每根都贴着球面。从赤道往两极梳,看看是不是必然在两极附近留下「旋涡」;把旋涡挪到别处试试——撵不走的那一撮,就是毛球定理的现场(第一幕 p.6)。

实验二 · 数豆腐账:用图钉和纸条在气球上搭一张最简单的网(顶点、棱、面片),数出 V、E、F,算 V−E+F。换一种搭法再数一遍——两次都是 2。欧拉数对「搭法免疫」,亲手验证一遍(p.8)。

实验三 · 给甜甜圈搭账本:用纸条做一个简易纸环面(纸带首尾相接成圈再套一圈),照样搭网数 V−E+F——答案是 0。环面梳得平毛梳不平(p.9),账本上的原因就在这个 0。

收尾一问:旋涡中心的「性格」(指标)可以是 +1 或 −1——它们的总和却永远是 2。想一想:为什么挪走一个旋涡,别处必然补出一个?

动手做 二纸带、莫比乌斯带与「拧」p.45

材料:宽纸条若干(约三厘米宽、三十厘米长)、胶棒、剪刀、一支笔。

第一组 · 平粘的环:纸条首尾正对接成普通纸环。用笔沿着带面中线画一圈——笔回到起点,画的只有一面。数「面」与「边」:两面、两边。

第二组 · 拧半圈的环(莫比乌斯带):纸条先拧半圈再首尾相接。再画中线一圈——这次笔走完「两面」才回来:因为拧了半圈,两面连成了一面。数面与边:一面、一边。

第三组 · 沿中线剪开:把莫比乌斯带沿画好的中线剪开。猜猜得到几个环?——得到的不是两个环,是一个更大的、拧了两圈的环。剪之前几乎没人猜对:这就是「整体另有文章」最便宜的演示。

对回本册:拧半圈这件事,在每个「局部」上根本看不出来——纸条每一段都平平无奇;可它把「面数」从 2 改成了 1。这个「看不见却数得出」的拧法,正是纤维丛粘法与陈类条码的童年版(p.17、p.28)。

收尾一问:拧一圈再粘,和拧三圈再粘,得到的带子一样吗?动手剪一剪,再想想「拧法分类」为什么是个数学问题。

小典 一术语 · 记号p.46

切向量场
曲面上每点贴着一支箭、箭随点连续变化的一整套「毛」。毛球定理说球面上必有箭缩成零的点。

奇点与指标
箭缩成零的点叫奇点;绕奇点的毛的「性格」记成一个整数叫指标。庞加莱—霍普夫定理:指标总和=欧拉数。

欧拉数 χ
V−E+F:顶点数减棱数加面片数。只认「连法」不认形状的整数;球面 2、环面 0、亏格 g 曲面 2−2g。

拓扑不变量
捏、拉、压(连续变形)都改变不了的量。欧拉数是第一个见到的;陈类是它的一整族后代。

活动标架
每一点自带的小坐标系。曲面本性=标架移动的记录;嘉当的方法论核心,本册第二幕的主线。

连接与曲率
连接=相邻点的量互相搬运的规矩;曲率=连接的「差」(外微分)——标架换了它不换的量。

纤维丛
基座+每点头顶的小空间+粘法。粘法里的「拧」是全局信息;局部处处相同,整体各有各的拧法。

高斯—博内定理
曲率的积分=(2π 的幂)×欧拉数。二维经典形态、五页论文的高维内蕴形态、此后的一切推广,皆此一句。

陈类
纤维丛拧劲的条码(c1, c2, …):一族可以从曲率积分出来的整数。辨异、查障碍、分类,条码一扫便知。

陈—韦尔构造
「连接的曲率代入不变多项式、积分得示性类」的通用公式——陈类「曲率表示」的定型。

障碍
某个连续选择(如梳平毛)不存在时的「原因记录」:相应条码非零。毛球定理即最早的障碍案例。

陈—西蒙斯不变量
三维空间上一类曲率形式的积分:对连续变形钝感而只认连法。拓扑量子场论与分数量子霍尔效应的骨架。

小典 二人名 · 典籍p.47

陈省身
1911—2004 · 中国/美国。嘉兴人,十五岁入南开。五幕的主角;本册其余人名皆以其为轴。

姜立夫
1890—1978。中国第一位数学博士,南开数学系的独木柱;陈省身的几何启蒙者。

布拉施克
1885—1962。汉堡几何学派领袖;教他「好的问题长什么样」,并把他推荐到巴黎。

嘉当
1869—1951。二十世纪最深邃的几何学家;活动标架与外微分的主人。陈省身随其十个月,通信十余年。

维布伦 · 韦尔
1880—1960 · 1885—1955。普林斯顿的邀请人;「大范围」纲领的旗手与见证者。

欧拉
1707—1783。多面体公式的发现者;欧拉数以他为名。

庞加莱 · 霍普夫
1854—1912 · 1894—1971。指标定理的建立者与一般情形的证明者;「风的账=格子的账」。

惠特尼 · 斯廷罗德
1907—1989 · 1899—1971。纤维丛与示性类先驱;陈类的两位前辈。

阿蒂亚 · 辛格
1929—2019 · 1924—2021。指标定理的立约人:分析与拓扑之间最厚的一座桥。

杨振宁
1922—2025。规范场的物理作者、陈氏级的读诗人;「千古寸心事,欧高黎嘉陈」。

西蒙斯 · 威滕
1938— · 1951— 。陈—西蒙斯的另一半与拓扑场论的推动者;数学与物理之间的摆渡人。

丘成桐
1949— 。菲尔兹奖得主,陈门弟子;卡拉比猜想的解题人,当代几何的中坚。

主典
《高斯—博内公式的一个简单的内蕴证明》(1944/1945)· 《厄米特流形的示性类》(1946)· Chern–Simons《示性形式与几何不变量》(1974)· 《陈省身文集》· 《陈省身全集》。

参证
张奠宙、王善平《陈省身传》· 陈省身《学算四十年》《我的几何生涯》· 米勒诺与斯廷罗德《示性类》(1957)· 陈省身、陈维桓《微分几何讲义》· 阿蒂亚《指标定理论文集》· Wu–Yang 对照表(1975)。

延伸 一从毛球到量子世界p.48

把三百年的线索排成一条线,每一步只记一句话:

一七五〇 欧拉发现多面体公式,V−E+F 的整数账开张。
一八二七 高斯《曲面一般研究》:曲率是内在的。
一八五一 / 一八五四 黎曼立流形纲领:几何只看内部。
一八八〇年代 庞加莱建立奇点指标,「风的账」成形。
一九三五—三七 惠特尼、斯廷罗德造出示性类雏形与纤维丛。
一九二六—三七 霍普夫证一般指标定理;嘉当方法成熟,陈省身在巴黎学成。
一九四四 五页论文:高斯—博内的内蕴证明,整体微分几何立科。
一九四六 陈类成科;上海白手建所。
一九六三 阿蒂亚—辛格指标定理:陈类接通分析与拓扑。
一九七五 Wu–Yang 对照表:规范场=连接;「千古寸心事」。
一九八九 威滕以陈—西蒙斯理论解读纽结不变量;拓扑场论成形。
二〇〇二 至今 北京 ICM;拓扑物态、量子计算——条码走进实验室。

延伸 二两桩公案与延伸阅读p.49

公案一:高斯—博内的功劳该怎么分?定理的名字里没有陈省身,但今天教科书里写的那个形态——对一切紧定向偶维流形成立、不依赖嵌入——正是 1944 年那五页纸给的。此前的高维结果都拖着「嵌入欧氏空间」的尾巴。数学史家的通行说法:定理是高斯与博内的,证明的现代形态是陈省身的;「陈省身证明了高斯—博内定理」这话按上下文可对可错——对在「内蕴的高维形态」,错在把先后关系抹平。

公案二:陈类是「发明」还是「发现」?惠特尼与斯廷罗德先造出示性类,陈省身给的是曲率表示——同一个数学对象,先由拓扑的(离散)途径造出,再由几何的(连续)途径造出并接上曲率。「发明还是发现」之争在数学哲学里没有定论;陈省身自己的态度是务实的:结构本来在,账本是人编的——编得越省力,越见功夫。

延伸阅读(按可读程度排序):

给所有人的:张奠宙、王善平《陈省身传》(传记之最完整者);陈省身《九十初度》访谈。
给进一层的:陈省身、陈维桓《微分几何讲义》(活动标架与示性类的中文标准教材);米勒诺与斯廷罗德《示性类》(历史与理论兼备的经典)。
给读原典的:《陈省身全集》(华东师范大学出版社);Chern 1944/1946 两篇原始论文(Annals)。
给接着想的:纳什《微分几何中的示性类》科普本;威滕诺奖讲演(拓扑物态中的示性类)。

家长导读 一这一册在讲什么p.50

这一册讲一件事:一位数学家怎样把「局部平常、整体出怪」这种看起来全凭手感的观察,变成一门可以数、可以算的学问。

路线五步:毛球与欧拉数(第一幕)、活动标架与嘉当手艺(第二幕)、五页论文(第三幕)、陈类条码(第四幕)、回家与远山(第五幕)。第一幕与第二幕的动手做(p.44–p.45)均可先做后读——莫比乌斯带剪开的那一下,抵得上十页讲解。

暗线是「局部拼成整体,整体另有文章」,本册给了它四层:整体有数(欧拉数)、数可积分(高斯—博内)、拧可编码(陈类)、码可通用(几何与物理共语法)。孩子最先记住的多半是那撮撵不走的毛——那就从那撮毛讲起。

需要提醒的一点:本册人物众多(欧拉、嘉当、韦尔、杨振宁、西蒙斯……),不必要求孩子记住人名;只需留一句话——「每一点都平常,合起来可以数出一个数」,这句话在球面上、在纸带上、在物理实验室里都成立。

家长导读 二常见问题与边界p.51

「毛球定理听着像段子,它是严肃数学吗?」——是。它是庞加莱—霍普夫定理的推论,而这一定理是指标定理的二维祖先;从毛球到阿蒂亚—辛格,血脉相承。可以对孩子说:数学的很多大门都是从「好玩的观察」推开的,认真不在题目板不板着脸。

「陈类到底是个数还是个图形?」——都不是,是「一族带算法的整数」。可以打比方:商品的条码不写在商品表面,但扫出来就能知道产地批次;陈类不在空间的任何一点上,但用曲率「扫」一遍就能算出来。条码不同,商品必不同——这就是它在数学里的用法。

「孩子读到外微分、普法夫型跟不上了怎么办?」——本册的数学层刻意绕开了计算:只需要建立「连接=搬运规矩、曲率=规矩的差、积分=求和」三层直观;正式定义留到大学。凡是页面上出现符号的地方,注疏层都给了出处,跳过不影响故事线。

虚实成分说明。本册场景与对话有虚构成分:普林斯顿走廊的现场细节、宁园的若干生活描写、访谈语句的重组均为叙事所需;凡年代、命题、公式、引语均在注中给出处。二〇二五年杨振宁逝世的补记见 p.47 注。

版权版权与编目p.52
编目

《数学家的故事》第一辑 · 第 10 册
陈省身 · 整体之美

明线:毛球定理与欧拉数 · 嘉当活动标架 · 高斯—博内定理的内蕴证明(1944)· 陈类与纤维丛(1946)· 陈—西蒙斯理论 · 南开数学研究所
暗线:局部拼成整体 · 整体另有文章且数得出来 · 拓扑与几何合账 · 数学与物理共语法

时代:1911—2004 · 中国/美国(嘉兴—天津—清华—汉堡—巴黎—昆明—普林斯顿—上海—芝加哥—伯克利—天津;下延至 1963 指标定理、1975 规范场对照、1989 拓扑场论、2002 北京 ICM)
主典:Chern《高斯—博内公式的一个简单的内蕴证明》(1944/1945)· 《厄米特流形的示性类》(1946)· Chern–Simons《示性形式与几何不变量》(1974)· 张奠宙、王善平《陈省身传》· 《陈省身文集》与《陈省身全集》

体例:扉页与题解 2 页 · 引子 3 页 · 五幕 35 页(每幕:故事 1 · 数学 3 · 故事/暗线 1 · 交汇 1 · 小结 1)· 收束与留问 3 页 · 动手做 2 页 · 小典 2 页 · 延伸 2 页 · 家长导读 2 页 · 版权 1 页,共 52 页。

《数学家的故事》第一辑十册:欧几里得 · 刘徽 · 费马 · 秦九韶 · 笛卡尔 · 伽罗华 · 高斯 · 希尔伯特 · 黎曼 · 陈省身。本册为第十册,第一辑至此完卷。

封面人物头像:以历史照片(乔治·伯格曼摄,1988 年)为底本作水彩素描重绘;底本藏维基共享资源,依署名—相同方式共享许可使用。