布尔巴基 · 一个不存在的作者

先立最底层的词：集合。集合就是「一堆东西的整体」——三个苹果是一堆，全部偶数是一堆，连「一堆」本身也可以当东西堆进另一堆。集合之外什么都没有：结构的故事，从「一堆东西」这四个字讲起。清点一例：集合 {0, 1, 2} 有三个成员；它的子集有八种：空集一个、单成员三个、双成员三个、全集一个——2 的 3 次方＝8，成员翻倍子集翻倍，清点就是乘方。

光有堆不够，要给堆立规矩。给集合配上一条或几条规矩，配好之后整体就叫一个「结构」。规矩从哪来：从「元素之间怎么打交道」来。例一：给 {0, 1, 2, 3} 配一条「转圈」——0 转到 1、1 转到 2、2 转到 3、3 转回 0：一条规矩让四个数字活了起来，转两次、转三次各有去处，四个动作彼此搭配从不越界——上一册见过的「群」，就是这里那条规矩立出的结构。

规矩要立得住，有硬验收。验收不问「规矩好不好听」，只问三条：规矩对集合里任何成员都有交代（封闭）；规矩打完架不互相矛盾（相容）；规矩立完之后，能算的都能一路算到底（可行）。三条全过，结构就立住了；立住的结构可以被搬运：把成员换成别的集合，规矩照搬——搬到哪儿都活。可搬运，是结构两个字全部的魔力。

到这一步，「数学是什么」的答案换了写法。旧答案：数学是关于数与形的学问。新答案：数学是关于结构的学问——数是结构的一种，形也是；连「相邻」「先后」这些常识，都能立成结构。下一页把新答案展开成一张总目录：给全数学分家的三大母结构。

母结构一号：代数结构——规矩是「运算」。集合配上「把两个成员合成一个」的运算，就是代数结构。清点最熟的一例：全体整数配上加法——两数相加还是整数（封闭）；先加后加次序不管（结合）；加零原地不动；每个数有相反数可抵消。四条全过，整数在加法下成群。再升一级：整数配上加法与乘法两条运算、规矩更多——这叫环；除法也管得住的，叫域。群、环、域，是代数结构的三级台阶。

母结构二号：序结构——规矩是「谁在前谁在后」。集合配上一条「≤」，规矩三条：自己不小于自己；甲不小于乙、乙又不小于甲，则甲与乙是同一个；甲不小于乙、乙不小于丙，则甲不小于丙。全体整数在「不大于」下立住——这是最熟的一间序屋。序结构管「次序感」：从排队到先后依赖，从书页编号到证明的引用顺序。

母结构三号：拓扑结构——规矩是「什么算靠近」。不开尺子量距离，只指定「哪些子集算开集」：全集与空集算开；任取几个开集叠在一起还开；有限个开集并排取交集还开——三条立住，靠近感就有了。距离是一把具体的尺，拓扑是把尺抽掉之后剩下的骨架：哪些点抱团、哪些点分家。三大母结构——运算、次序、靠近——各管一摊，又可互相叠加：同一集合先立序再立拓扑，就盖出二层楼。

这张总目录就是那部巨著的装订线。《数学原理》的卷次大体按母结构排布：先立集合，再立代数与拓扑，然后实变、积分、泛函层层上楼。数学从一门门手艺变成一张结构谱系——下一页问谱系上最锋利的一个问题：两间结构屋子什么时候算同一间。

同构要回答一个尖锐的问题：两间结构屋子在什么条件下算同一间。答案是：存在一张「对号入座」的对照表，把左边每个成员映到右边唯一一个成员、不多不少，且规矩原样保存——「左边先加再对号」等于「对号后再加」。此时两间屋子除名字外一切相同：同构。同构是「换名字不变的东西」的严格版——名字是外衣，结构是身体。

清点一个最小的例子。屋一：{0, 1, 2, 3} 配「转圈加法」（加后取除四余数）；屋二：{1, −1, i, −i} 配复数乘法——1 与 −1、i 与 −i 互为倒数，四个数在乘法下打转。对号表：0 对 1，1 对 i，2 对 −1，3 对 −i。验一格：屋一里 1＋1＝2；屋二里 i×i＝−1；对号表上 1 对 i、2 对 −1——左边「1 加 1」的落点与右边「i 乘 i」的落点恰好互为对应。逐格验完，满盘吻合：同构成立。

这个例子藏着布尔巴基哲学的心脏。四个余数与四个复数，成员完全不同：一边是算术，一边是方程的根——却是同一间屋子。追问「数学研究的到底是什么」，同构给出了硬答案：研究的不是成员，是结构本身；成员可以无限换班，结构只有一个。于是「分类」成了数学的中心动词：把所有可能的屋子按同构分类，一间不漏、一间不重。

下一页转暗线。「同构」这把刀切下来，人也一样可以被替换：一群换了一批又一批，一个名字始终不动——结构在，签名就在。先看这刀怎么落到「作者」两个字上。

巨著第一卷的模样出了名地怪。《集合论》述要卷的开头几章，不是讲集合，是讲「怎么写」：一整套自制的逻辑记号，从头定义「并且、或者、不、存在」；连「存在某物」这个动作都用一个空心的方框记号来写——方框里填上变元，整个记号读作「存在一个东西，使得……」。第一卷翻开来满纸方框，读者必须先学会这门「书写法」才能读第二页。当时多家刊物的书评直言：这套记号与其说是工具，不如说是态度——每个符号都亲手造，不借现成的。

为什么从头造轮子。因为他们的目标是「从零起笔」：书中后章只许使用前章立过的法——那么第一章之前不能有任何欠账。逻辑记号、公理、证明格式，全都必须先在第一章里立好。这套苛刻在当时的读者看来是洁癖；半个世纪后回看，它立起了一件真东西：全书前后一致，任何一卷都可以只依赖更早的分册，不欠任何一家讲义的旧账。工程上这叫「地基不借用」，数学上这叫公理化。

公理化的手艺有一条金规。立规矩时，宁可规矩少、可算的东西少，也要每条规矩各司其职：立「群」时不说「数」，立「开集」时不提「距离」——把一切可有可无的假设逐条剥掉，剥到不能再剥。剥完之后奇迹出现：一条在整数上熟透的定理，往往在群里、在函数里、在任何同构的屋子里照样成立——因为证明只用了留下的那几条规矩。少，换来了多：一条证明顶过去一打。

下一页给「剥」这道工序配一个看得见的样板。从最熟悉的「长度」下手：把距离里能剥的统统剥掉，看还剩什么——剩下的那副骨架，正是三大母结构里最年轻的一号。

先立「距离」的清单——上一册立过的三条。非负、对称、绕道不比直路近（三角不等式）。现在动手剥：每剥一条，问剩下的还够不够用。剥对称——量路有单行道：进城三里、出城五里，不对称照样自洽；再剥三角不等式——只留非负与「自己到自己为零」：几乎什么也保证不了，两团点可以既近又远。逐条剥完发现：距离的全部本事，几乎都拴在三角不等式上。

但真的把尺扔掉，还剩一样东西。不量「多远」，只认「抱团」：给集合指定哪些子集算「开集」，规矩三条——全空间与空集开；一束开集合在一起还开；有限个开集交叠还开。这三条不含任何尺子，却把「靠近」的最小骨架留了下来：一团点算不算抱团、一个序列算不算收拢、一张曲面算不算连成片——全都能问。剥掉距离剩下的这副骨架，叫拓扑结构；它诞生时是距离的「剩饭」，后来长成了比距离大得多的王国。

「剩饭长成王国」有个漂亮的验证。把两种不同的尺放在同一集合上：尺一量直线距离，尺二量沿街距离——两把尺量出的数值天差地别；可两把尺认定的「抱团」一模一样：一个序列在尺一下收拢，在尺二下也收拢。于是按「同构」的眼光，两间距离屋其实同属一间拓扑屋——距离不同，骨架相同。剥到最后，真正的研究对象露了出来：不是数值，是形态。

下一页问序结构里同样的「剥」。从「比大小」里剥出「先后」：不看数值，只看谁依赖谁——剥完剩下的骨架，恰好是一张可以画出来的图。三大母结构的「最小骨架」就此配齐。

从「比大小」里剥「数值」。整数的大小带着数值：3 比 2 大，大多少都可以算。把数值剥掉，只留「先后」：甲排在乙前，乙排在丙前，则甲排在丙前——可传递；甲乙互不排在对方前——则同一。两条立住，数值没了，先后还在。这副骨架叫偏序。清点一间小屋：集合 {∅, {1}, {1, 2}} 配「包含于」——空集排在独子集前，独子集排在两元集前，传递、反对称全过：一间标准的序屋，成员却是集合而非数。

序骨架能画成图。规矩只有「谁压着谁」，于是画图即可：把「直接压着」的关系画成一层层的塔，隔着层的先后由「沿塔上下」自动传递。清点一间更小的屋：{1, 2} 的全部子集按「包含于」排——∅ 在底层，{1} 与 {2} 并排在中层（互不压制），{1, 2} 在顶层。这张图一眼读尽全部先后关系：图即结构，结构即图。

序结构在巨著里干着幕后最重的活。数学证明是一列引用：后章引前章、定理引公理——这本身就是一张偏序图；巨著「后章只用前章」的铁律，就是给全书立一条偏序。全票审读制也一样：每段文字的「通过」依赖它引用的所有段落先「通过」——一张循环引用的图会让审读永远转不完；偏序保证流水线有起点、有次序。序结构管次序感，最先管住的是他们自己那间写作的屋子。

第二幕收官。逻辑的方框（p.14）立书写法，拓扑的骨架（p.15）立靠近，序的塔（本页）立先后——三大母结构各配了一间看得见的小屋。下一页转暗线：一间不许署名的写作屋，是怎么活下来的。

把运算表当账本看。一个小集合的运算可以整个画成表：成员几行几列，格子填「两两运算的结果」。清点最小的非平凡群：{0, 1, 2} 配「加后取除三余数」——三行三列共九格，逐格填满；对角线上全是 0（1＋2、2＋1 都抵消），每行每列都是三个成员各出现一次——群表的纪律：每行每列不许重复。这张表就是结构的全部家底：成员名字撤掉，表还在。

纪律能掐着指头验。封闭：表里不会冒出新成员；结合：先算哪两格不改变结果（表上看不出，须验：三个成员共十二种排法，逐对验）；单位元：有一行与列首完全相同；逆元：每行都有一次落回单位元。四条全过，这张表就是群；少一条，就只是「一张好看的表」。数与形在这里彻底退场：表在，群在；成员是谁，无关紧要——同构的眼光（p.9）第一次全盘落地。

运算表的意义在「分类」二字上开花。三成员的群，本质上只有一张表（循环三阶）；四成员的群有两种表（循环四阶与「两两对折」的克莱因四元群）；成员一多，表的数量暴涨，分类成了硬问题——但问题本身是结构性的：枚举所有「合纪律的表」，按「换名字不变」归并。数论里最深的定理之一，说的正是这种分类的一角。代数结构的纪律表，从此是全数学的通用底账。

下一页转拓扑的宪法。运算表管「成员怎么打交道」；拓扑管「成员怎么抱团」——它的宪法只有三条，却撑起了二十世纪数学的半壁。

拓扑的宪法只有三条。全空间与空集算开；随便多少开集合并，还开；有限个开集相交，还开。三条立住，「靠近」的最小骨架成立。听起来抽象，骨牌一摆就看得见：把空间想成一堆可开可合的抽屉——抽屉可以任意摞（并）、有限个抽屉可以套着找公共部分（交）；至于抽屉内部离得多远，宪法不管。管得少，管得宽：直线、曲面、团雾、函数的全体——凡能立起这三条的集合，都进拓扑的户口。

宪法立起后，老朋友一个不落全都回来。「收拢」：一个点列越来越贴住某点，翻译成开集语言就是「该点的每个开抽屉，迟早装进整列」——距离版本（p.8 的筛子）成了特例。「连成片」：空间拆不成两半各自成开集，就叫连通——一根线连通、两截线不连通，一看便知。「洞」：绕一圈回不到原地的圈数，能数出来——数洞的学问后来成了几何的重镇。三条宪法，三个行当。

拓扑与代数的握手最有收获。给拓扑屋配上「连续搬动」的允许动作——把开集搬成开集的动作——搬动们彼此搭配，又成一群；代数的表（p.21）与拓扑的抽屉从此对上账：用群研究形状，用形状反推群。二十世纪几何的两大支柱——代数拓扑与拓扑代数——都从这一声握手里长出来。巨著的卷次安排（先集合与代数、再拓扑、再实变）就是按这次握手排的队。

下一页补齐第三块。运算（p.21）、靠近（本页）之后，轮到次序：偏序的塔图配上两条新规矩，就把「先后」变成了能算的账。三大母结构至此清点完毕。

偏序的塔图（p.16）往上再盖一层。给序屋加两条新规矩：任意两成员必有公共下级与公共上级——「两条路必有汇合口」。立住后，「先后」彻底账本化：任意一束成员，都能问「它们共同压着的最大者」与「共同托起的最小者」。清点最小的格子屋：{1, 2, 3, 6} 配「整除」——1 压着一切，6 托着一切；2 与 3 的公共上级是 6，公共下级是 1——一层不缺、一格不满，是一间标准的格屋。

格屋是序结构与代数结构的私生子，血统各有来历。「取交集」就是公共下级、「取并集」就是公共上级：{1, 2} 的子集按包含于排，恰是一间格屋——集合运算与序运算是一回事的两副面孔。逻辑也一样：「并且」取公共下级、「或者」取公共上级——命题按推出关系排，又是一间格屋。一间格屋，三种行话：集合、逻辑、数论——同构的眼光第三次奏效。

格结构在巨著里位置不高，在架构宣言里地位极重。它是「结构可以叠加」的样板：序（谁压谁）与代数（交与并两条运算）在同一集合上立住且互不打架——两层楼共用一副承重墙。宣言里的名句由此而来：数学的分家不在研究对象，而在结构；一个集合盖几层楼，就是几门数学。分类学至此闭环：代数管运算，拓扑管靠近，序管先后，叠加管一切。

第三幕收官。一间公开的厨房（p.20）、三份宪法（p.21—p.23）——「结构」从一份宣言长成了一套通行的分类法。下一页转暗线：这套分类法最被忽略的一栏——作者栏。

新武器从画法改起。结构的画法是「先立成员，再立成员间的规矩」——屋子和屋里的家具。新画法把家具全扔了：图上只剩屋子和屋子之间的走廊——成员退场，只留「谁通向谁」的箭头；箭头可以首尾相接，接法本身就是运算。这一门学问叫范畴论：对象、箭头、以及「箭头接箭头」的规矩，全部家当就这三样。最古怪也最传神的一例：图里连「一个屋子」都可以整个由箭头定义出来——成员之名彻底蒸发。

清点一间最小的范畴屋。取三枚圆圈 A、B、C，箭头两条：A 通 B、B 通 C；把两条箭头接起来，得一条 A 通 C 的合成箭头；再加上每个圈上转圈的自家箭头（原地不动）。四条箭头、一条接法规矩——一间最小的屋。验代数老朋友：把 A、B、C 换成一个群的两个成员，「乘法」就是箭头相接——群是范畴的特例；把圈换成拓扑屋，「连续搬动」就是箭头——拓扑也是特例。范畴论站在所有结构屋的屋顶上。

它动摇分类法的理由极硬。母结构分类法问「这堆成员带什么规矩」；范畴论问「屋子之间怎么走」。前者自上而下（先地基后楼层），后者横着长（楼层之间先通走廊）。战后二十年冒头的新数学——从代数几何的重建到同调方法的统一——在旧画法里处处别扭，在新画法里一马平川。到 1960 年代末，年轻一代的论文里箭头已经满天飞；巨著的体例第一次显出了年代的纹路。

下一页是更深的一道地震。画法之争还在桌上，地基先裂了：三十年前数学家已经发现，任何够大的地基上，都立着既真又证不出的句子。公理化的野心撞上了自己的边界。

公理化的野心有一句潜台词：把一切立在地基上，地基自己必须是可靠的——不矛盾、完备，能裁断一切问题。这条野心在巨著动笔前二十年就挨过一刀：一位维也纳的年轻逻辑学家证明，任何一条足够丰富、自身不矛盾的公理地基，必然立着这样的句子——它为真，却在地基内证不出；同一篇工作还证明，地基无法在地基内证明「自己不矛盾」。换句话说：完备与自洽，只能二选一。

清点这道定理的刀法。关键一步是给句子编号：把「证明」写成一行行符号，每行符号再编成一个数——于是「某句可证」变成了一个关于数字的算术命题；然后造出一句自我指涉的话：「本句在地基内证不出。」若地基裁它假，则它可证、则它为真——地基自相矛盾；若裁它真，则它证不出——它为真且证不出。两难。整座算术大厦，从此承认自己永远带着证不出的窗子。

这道裂缝与巨著的关系要摆正。它没有否定公理化——恰恰相反，它证明「公理地基永远多于一个」：证不出的句子，加进公理便是一块新地基。它否定的是「唯一地基」的幻想：从零起笔的巨著，写到底也写不成「那一份」数学，只能写成「选定一份地基」的数学。巨著对此的回应是务实的：地基用当时通行的公理组，缺什么补什么，不追完备——三十多卷书照样立得住，只是「从零重写一切」的雄心，从此带着一道明知的裂缝。

第四幕收账。课改退潮（p.27）、画法换血（p.28）、地基裂缝（本页）——三面夹击之下，那套结构分类法从「宪法」降回了「一部体例」。下一页转暗线：签名栏的褶子，撕开之后是什么。

把三面夹击放在一张桌上盘点。其一，课改把结构词汇押上小学讲台，退潮时连累名声（p.27）；其二，范畴论把「成员加规矩」换成了「箭头加接法」，分类法的地图一角被新画法覆盖（p.28）；其三，不完备定理拆掉了「唯一地基」的幻想，巨著的「从零起笔」从宣言降格为体例（p.29）。三击之下，结构分类法的身价要重新标定：它不再是数学的宪法——它是二十世纪中叶一份极成功的体例，像任何体例一样，有罩得住的疆域，也有罩不住的疆域。

重新标定不等于贬损，账要两头算。罩得住的：代数、拓扑、泛函的本科与研究生课程骨架——今天任何一国的教材仍然沿它的骨架排书架；「同构优先于成员」的眼光已内化为所有数学家的本能。罩不住的：几何直觉的来历（几何被它当作「例子」处理，被批评为削足适履）、计算的传统（算法与实效在体例里没有户口）、以及一切「先有例子后有公理」的活数学。全盘公理化的代价，是把数学的「来历」让渡给了体例之外的口述传统。

巨著自身也在此后换了步幅。老一辈的纲领卷次陆续收尾，新卷转向更专的门类；审读会的节奏从「逐句全票」的硬体例，长出了「允许附录、允许推迟」的弹性；最要紧的变化在成员：新一代的履历表上写着范畴论——箭头的一代进了那间空签名的屋子。屋子还是那间，签名的哲学没变；变的只是屋里说的方言。

下一页，暗线第四笔。课改、换血、裂缝都发生在书外；书内那道「风格会签名」的褶子，被新成员们用一种谁也没想到的方式撕开了——他们开始给那位不存在的作者写「自传」。

把冠着那个笔名的名词清点一遍。布尔巴基讨论班：至今延续的巴黎定期报告会，每期讲义刊行——数学界的固定节日。布尔巴基陷阱：一个流传在数理逻辑圈的经典错题——用「英国人住在某色房子里、喝某种饮料」式的排列线索求解，做惯了代数的人常在「不存在的第五行」上翻船；它是那份笔名最出圈的「著作」，虽非其正式出版物。至于「布尔巴基定理」，并不存在——巨著里的一切定理都不冠个人名，包括那位作者自己的：全书定理一律不署名，是体例贯彻到底的标本。

还有一个数学名词，来历与他们擦肩。「布尔巴基基」不是数学词；数学词典里真正以那位将军血脉相关的词并不存在——倒是当年在审读会上流通的内部黑话，漏出来几个进了江湖：把一册书稿叫「贝壳」，把「这段证明烂透了」的当面评语记进了好几代人的回忆录。一个不存在的作者，留下来的名词大多在书外：一间讨论班、一册错题、几句黑话——名字活成了文化，比定理活得久。

「结构」一词今天的处境也值得记。它没有被推翻，被稀释了：范畴论把「结构」重新定义为「箭头的样式」，逻辑学派把「结构」做成模型论里的精确名词（一个集合配上解释），物理学家把它借去说对称。今天的数学家不再需要那部宪法——因为宪法里的每一句话都成了空气。一部书最大的成功，是让人忘记它立过法。

下一页算最后一笔数学账。三大母结构在本册都清点过小屋；收官前把三间小屋接成一条线：从运算表到开集到塔图，走一遍「同一集合盖三层楼」的全流程——这是全册数学层的总装。

选一个最小的集合：四个成员 {0, 1, 2, 3}。盖一楼，代数：配「加后取除四余数」的运算——四行四列的表，每行每列四个成员各一次，0 是单位元，1 与 3 互逆，2 自逆；一张标准的群表。二楼，序：按「整除」排——1 压着一切，2 与 3 并肩互不压制，6 不在屋内；塔图画出来两枝并起：一间偏序屋。三楼，拓扑：指定开集——先全空间与空集，再把 {0, 1}、{2, 3} 立成两扇开抽屉：并、交各验三条宪法，一间极简拓扑屋。一个集合，三层楼，三种结构互不干扰。

三层楼还能互相通门。一楼上二楼的楼梯：运算与序合得来——「甲加乙」若总把乙换成等价者，序就能沿运算搬运；本例里 1 加 1 得 2，序上 1 压不住 2，楼梯此处不通——这条「不通」本身就是信息：四元循环屋与整除屋兼容不佳。二楼上三楼的楼梯：序与拓扑合得来——开抽屉若对「往上走」封闭（上集也开），序与拓扑就咬合；本例 {0, 1} 往上不封闭，楼梯同样不通。楼梯通不通，各有各的判据——「兼容」在结构叠加里从来不是免费的。

总装的意义在最后一眼回望。巨著几十卷干的就是这件事：先把每种楼单独盖标准，再逐对修楼梯，最后把整座数学城连通。本册数学层走过的每间小屋——余数群（p.9）、单位根屋（p.9）、子集格（p.16、p.23）、极简拓扑（p.15、p.22）——都是这座城里的一块砖。读者手里没有整座城，但拿到了城砖的规格。

下一页，收官前的最后一笔暗线。签名续期到今天，签的是谁的名——最后一笔，把五笔连成一条线。

把全册的两大手艺并排放着，看它们怎么一唱一和。结构管「有哪些骨架」：运算、次序、靠近，加上叠加与同构，管的是「立什么」。公理管「骨架立得稳不稳」：每条规矩逐条验收、剥到最少、从零起笔——管的是「怎么立」。一唱一和的节奏：先立骨架，再验条目；验完的骨架进巨著，立不牢的回炉。第三幕的三份宪法（p.21—p.23）与第二幕的三道工序（p.14—p.16），正是这两门手艺的交接单。

清点一次完整的交接。拿「群」走一遍全流程：立骨架——集合配一条合成运算（p.7）；验条目——封闭、结合、单位元、逆元，逐条过表（p.21）；剥冗余——「每行每列不重复」可由四条推出，不作独立公理；定契约——同构的群算同一个（p.9）；入城——群表进代数卷，序与拓扑的卷次按楼梯图排队（p.36）。五步走完，一个概念从直觉变成图书馆里的一册。全册的数学层，就是这条流水线的缩样。

而流水线的尽头站着第四幕那道裂缝。公理化验得了一切条目，验不了地基自身（p.29）；结构分得了全城的区，分不了城外的荒原（p.28）。双保险的「双」字，读到最后是「互为限度」：结构没有公理就含糊，公理没有结构就空洞；而两者加起来，仍裁不断自己脚下。这不是失败的注脚，是清醒的徽章——本册所有故事，都在教这份清醒。

数学层到此收卷。三份宪法、三道工序、三层楼、一次总装、一唱一和——五页走完，那套体例的全部骨架已在读者手里。下一页，暗线收官。