巴纳赫 · 完备的距离

距离人人会量，数学先把它拆成规矩。第一规矩：距离不许是负数，也不许是零——除非两个点是同一个点。「离得多远」的最小答案是零，零意味着重合。第二规矩：甲到乙的距离，等于乙到甲的距离。「从这头走到那头」和「从那头走到这头」，远近一样。第三规矩：绕道不比直路近——从甲到丙，先拐到乙再过去，路程不会比直达更短。三角不等式，是三条里最硬的一条。

拿三个例子验一验。例一：数轴上两点 3 与 7，距离 4——绝对值 7−3＝4，非负、对称；从 3 经 5 到 7，走了 2＋2＝4，不比直达短。例二：城市街道。从街角 (0,0) 到 (3,4)，沿街走 3＋4＝7 条街，直线距离√(3²＋4²)＝5——7 比 5 大，绕道更贵，三角不等式成立。例三：两串数字。比 (1, 9) 与 (2, 3)，逐位看差 1 和 6，取最大差 6 当距离；这也满足三条规矩——「最不像的那一位」就是远近。

三条规矩一起成立，集合就叫度量空间。注意规矩里没有「点必须在纸上」：三个例子的点，分别是数、路口、数串。距离是一张契约，签了约的集合就是空间——这个抽象动作的妙处在第三例里露头了：数串之间的距离原来也能谈。一串数可以是一个函数的取值记录，于是函数与函数之间也可以谈远近——门在这句话里开了一条缝。

但只有三条规矩还不够用。规矩管住了「两点之间」，没管住「一串点走向哪里」。下一页就问这件事：一串点越靠越近，最后靠拢的那个点，在不在空间里。答案是有的空间在、有的不在——在的，就是本册主角：完备空间。

先立「筛子」的严格说法。一列数 x₁, x₂, x₃, … 若号码越大彼此越靠近——不论隔多远的两项，往后看去，两项的距离都能压到任意小——这列数就叫柯西列。直觉里，越靠越近就该有个汇合点。检验一例：1, 1.4, 1.41, 1.414, …，是√2 的十进截尾列；相邻两项之差一位位缩小，往后任意两项的距离都能压到任意小——标准的柯西列。它的汇合点是√2。

汇合点在不在，要看待在哪。把√2 的截尾列放在有理数里看：每一项都是有理数，可汇合点√2 不是有理数——列在有理数里收了个空。同样的列放在实数里看：√2 在，列收得实实在在。同一个筛子，一种空间漏，一种空间不漏。「完备」就是「不漏」：凡柯西列必在本空间内收到自己的汇合点。有理数不完备；实数完备。

不完备的害处立等可见。在有理数里解方程 x²＝2：从 1 出发迭代——下一步取 1 与 2/x 的平均。第一轮 (1＋2)÷2＝1.5；第二轮 (1.5＋2÷1.5)÷2≈1.4167；第三轮 (1.4167＋2÷1.4167)÷2≈1.4142。步步逼近√2，可在有理数里永远差最后一步：答案不在屋子里。迭代是好迭代，屋子不是好屋子——漏。

把两句话并起来，就是本册的总纲。迭代可靠不可靠，先看屋子完备不完备：完备屋里，越靠越近的迭代必有其落点，落点留在屋里；漏的屋里，迭代可能步步有理、最后收空。下一页把这套话搬到函数上——函数也要有屋子，函数的屋子完备了，解方程才有了地基。

函数怎么当点。取闭区间 0 到 1 上所有连续曲线，把每条曲线看成一个点。两点之间要有距离——取「最大空隙」：两条曲线在同一个位置的高度差，处处都有，取其中最大者当距离。最大空隙为零，两条曲线处处重合；显然对称；绕道第三条曲线再比，空隙只会更大——三条规矩全过。曲线的世界从此有了尺。

这条尺还带一个妙处：能乘。把一条曲线整个拉高 2 倍，它与别人的最大空隙也恰好多 2 倍；先拉高再比，与比完再乘 2，结果一样。「伸缩不乱账」是距离之外多出来的一条性子，数学叫范数——带范数的空间比度量空间更整齐：点可以加（两条曲线叠起来）、可以乘倍数（整体拉高压低），距离由范数派生。这类空间叫赋范线性空间。

现在把 p.8 的问答原样搬过来。函数的柯西列：一列曲线，号码越大彼此最大空隙越小。问句先立：汇合点在不在、在哪。逐点收拢的柯西列，汇合点未必连续——逐点收拢的柯西列，汇合点未必连续——可对最大空隙这把尺，1920 年那篇论文证明了一件硬事：这间屋子不漏。连续曲线的完备性，是那篇论文立起的第一块基石。

给这个「不漏」的空间起个名字，就是本册的主角。完备的赋范线性空间，后人称为巴纳赫空间——以 1920 年那篇论文的主人命名。这个名字如今写进了每本分析教材：凡是住在巴纳赫空间里的东西——连续曲线、可积函数、概率分布、信号波形——迭代、极限、解方程都有了保票。下一幕就看这间房子怎么盖起来、又怎么住进人。

解方程先要认地形。方程的解是一张曲线，曲线住在完备空间里（p.9）；方程本身不是曲线，是一个动作——把一条曲线搬成另一条曲线的动作。这种动作数学叫算子：吃进一条曲线，吐出一条曲线。微分是算子：吃进 f，吐出 f 的导数；积分是算子：吃进 f，吐出它的原函数；「乘上一个固定函数」也是算子。方程的样子从此统一：曲线被动作搬完，还是它自己——被搬动之后不动的那个点，就是解。

动作有好有坏，好坏的标准是「有界」。取一条最大高度不超过 1 的曲线喂给算子，吐出的曲线最大高度是多少——若这个高度有个顶，不管喂哪条合规曲线都翻不过这个顶，算子就有界；若总能喂出一条把输出撑到任意高的曲线，算子就无界。微分算子无界：取 f(x)＝sin(nx)，高度仍是 1，导数却高达 n——n 要多大有多大。乘法算子有界：输出高度不超过输入高度。有界算子是搬东西不搬碎的规矩搬运工。

有界与连续是同一件事的两面。输入曲线只差一点点，输出曲线也只差一点点——这就是连续；可以证明：算子有界当且仅当算子连续。这条等价在新屋子里顶大半边天：完备性（p.8）管住了点列，有界（本页）管住了动作，两样合起来，极限与动作就能交换次序——先做动作再取极限，等于先取极限再做动作。解方程、算极限的保票，全靠这条交换。

至此地形认完。屋子完备（p.9）、动作有界（本页），下一页就可以问那个本册最漂亮的定理：一个不把点撑大的动作，反复做下去，会不会有落点。答案是会——落点唯一，还能手算出来。

定理长这样。完备空间里，一个动作若处处「收缩」——把任意两点的距离压短，且压短的比率不超过一个固定的小于 1 的数——那么反复做这个动作，无论从哪个点出发，必定收拢到同一个点；这个点被动作保留原位，叫不动点；它正好是「搬完不动」的方程的解。三个条件缺一不可：屋子完备（不然落点可能漏出屋）、动作收缩（不然可能兜圈子）、比率小于 1 的数固定（不然可能越靠越慢收不到底）。

拿一个看得见的方程手算一遍。解 cos x ＝ x——方程两边隔着数轴两头，肉眼解不了。用迭代：随便取 0.7，反复做动作「取余弦」。0.7 → 0.7648 → 0.7215 → 0.7508 → 0.7314 → 0.7442 → 0.7356 → … 十来步后停在 0.7391 附近，步子越来越小。验证收缩：在 0 到 0.8 的区间里，余弦动作把任意两点的距离压短到原来的七成上下（导数的绝对值不超过 sin 0.8 ≈ 0.72，小于 1）——比率固定且小于 1，收缩成立。实数完备（p.8），落点必在。三位小数的解：0.739。

这个定理的真正威力在函数世界。微分方程「曲线的斜率由曲线自己决定」，可以改写成「曲线被一个动作搬动后不动」——搬动动作用积分定义，且在合适的完备空间里恰好收缩。于是定理直接开口：这样的方程必有解，且解唯一；用迭代能真把它算出来。老一辈人靠灵光逐题猜解，新一代人有了通用保票——这就是 1920 年那篇论文里不动点定理的用法，今天叫巴纳赫不动点定理，又叫压缩映射原理。

留一句风险提示。不收缩的动作可能没有不动点：把数轴每点向右挪一格，哪个点也没被保留；也可能有而不唯一：把平面上每点原地保留，处处都是落点。定理的三个条件不是装饰，是保票的条款。下一页问另一件同样要紧的事：一个只在半张地图上画好的路线，能不能补全到整张地图而不涨价。

问题从估价说起。给空间里的一些点配「账目」：每个点记一个数，规矩只有一条——配出来的账不许超过点与点之间的真实距离。这条「不涨价」的规矩管住了账目的胡来：两点离得越近，账上的差最多差多少，被距离卡死。现在把账从「一小撮点」扩到「全空间」，问：还能不涨价吗。

答案是可以，而且有不少讲究。直觉的图景：半张地图上已画好的等高线，往右半张补画，总能补得平滑、又让原有各条线一动不动——补全不必推翻，涨价也可以一路守住。把这句话写成定理，就是泛函分析的第一根柱子：哈恩—巴纳赫定理。名字里有两个人：哈恩在维也纳、巴纳赫在利沃夫，两人同在 1927 年前后各自证明。定理是分析学里少见的「保票型」结果——它不告诉答案是多少，只保票：答案存在，且不比已有的更糟。

为什么它是柱子。分析学处处要「从局部推全局」：一小片曲线上算好的量，要扩到全空间用；一条直线上的规矩，要延到整个平面。没有延拓保票，每扩一次都得重新对账；有了它，全局的账可以直接从局部立起。后面两根柱子——开映射（完备空间之间的满动作不会把开集压瘪）与一致有界（一族有界动作若点点有界，则整体一致有界）——都站在它的影子里。四根柱子一起，撑起整间巴纳赫空间的大殿，第四幕再补全它们的名录。

第二幕收账。完备（p.8）管点列、有界（p.14）管动作、收缩保落点（p.15）、延拓保账目（本页）——四样凑齐，泛函分析的地基打完。地基上第一座正式建筑，是 1932 年那本没有插图的书。下一页，先到那本书的书架旁边站一站。

悖论的原文只有一句话。把一个球切成有限块，只挪动、只旋转、只拼装，能拼出两个与原来一样大的球。体积凭空多了一倍——这与直觉正面相撞：切不开体积，挪动不增体积，两件事写进小学课本。1924 年的论文证明：只要切法足够出格，两件事可以同时保住，而结论照样成立。问题出在「足够出格」四个字上。

出格在哪儿。日常的切块，刀刀过处都留下「有体积」的碎块——数学叫可测。悖论的切法不是这样：它切出的块是「测不出体积」的碎块——不是体积为零，是体积这个概念对它不适用。对测不出的块，体积守恒根本没资格说话：守恒只对可测的东西成立，而拼装的两堆块全是测不出的。直觉没有错，直觉只是被邀请到了它管不着的场合。

那切法是哪里来的。来自一条朴素的观察：球面上可以把点分成几族，同一族的点绕着球心转一圈、两圈、几圈之后总能彼此重合——这一族族点各自可以被「重新对位」，对位关系恰好支撑拼装。1924 年论文的妙处在于把「对位」摆弄到了不需要测量的地步。而整套摆法都要借一件公用的工具：选择公理——从无穷多族里各挑一个代表，挑的动作必须合法。于是悖论也成了近代数学里最著名的注脚：信选择公理，就得连带信这颗凭空翻倍的球。

悖论不是把戏，它把地基的边界标了出来。「体积」不是万能概念，它只在可测的世界里有定义；把可测性放宽到极限，体积就得让位。这条边界后来长成测度论的一条基本原则。下一页看同一间完备空间里的另一件家常活：一排动作各自守规矩，合在一起却可能集体越界——保票为什么需要「一致」两个字。

先造一个出事现场。取连续曲线的空间（p.9 的那间完备屋）。对每个号码 n，造一个动作：把曲线在 0 到 1/n 这一小段上的变化速度放大 n 倍量出来——具体地，动作 Δ_n 吃进曲线 f，吐出数 √n ×（f 在 1/n 处的值减 f 在 0 处的值）。逐条验：对每一条固定的连续曲线，这个动作的输出都不会无限大——只要曲线连续，它在小段上的变化就是有限的。每根柱子都不超高。

但把动作族的「力气」合起来看，柱子集体失守。动作 Δ_n 自身的力气（把最坏的曲线喂进去能撑多高）恰好是 √n：取曲线 f(x)＝√x——连续曲线，在 0 处坡度无穷大——Δ_n 的输出等于 √n×√(1/n)＝1，看似安全；换曲线 f(x)＝x^1/4 再验，力气照样跟着 n 走。逐条验各有顶，全体合起来没有顶——「点点有界」与「一致有界」之间隔着一条缝，这条缝正是麻烦的老巢。

定理把这条缝焊死了。一致有界原理（又译共鸣定理，1927 年前后，巴纳赫与施泰因豪斯合作得到）：完备空间上，一族有界动作若对每一个点都各自有界，则整族的力气有统一的顶。条件与结论合起来读：只要逐点守规矩，就不可能「每根柱子有顶、房顶却不存在」——除非屋子不完备。完备性又一次当了法官：漏的屋里，逐点有界救不了集体越界。

它的用处一望便知。数值计算里要问「这套近似法子稳不稳」：稳不稳的问题全都能写成「一列动作一致有界吗」。定理把「逐点检验」升格成「整体保票」——省掉了对每条曲线逐一站岗。泛函分析三大保票至此到齐两根：延拓（p.16）、一致有界（本页）；第三根下一幕清点。下一页回到桌边：一本簿子最著名的一条悬赏，等了三十六年。

簿子的规矩先立好。问题编号，注明悬赏，写明题意；解出者当众验题，赏金当场兑现。赏目从一杯茶、一份午餐，到一只鹅、一瓶香槟——香槟是顶格的赏，只挂在最难的编号上。1936 年，马祖尔——巴纳赫最亲近的弟子——往簿子里写进了第十九问，赏格顶格：一小瓶香槟。题目用今天的话说：一间「够好」的无穷维完备空间里，能不能找到一列又直又匀的「方向」，让任何曲线都能被这列方向逐级逼近。

这问难在哪儿。直觉说能：平面上有横竖两个方向，空间里有三个，无穷维无非是方向多一些。麻烦也在直觉里：逼近「任何」曲线，这四个字在无穷维里是极重的承诺——方向列必须又齐又能干，缺一样就够不着某条刁钻的曲线。簿子记下这问之后的几十年里，一代代人往它身上砸时间：证明了一半的情形，排除了几类反例，可「能」与「不能」始终悬着。悬赏没人领，香槟没开瓶。

答案在 1972 年落地——是不能。瑞典数学家恩弗洛构造出一间「够好」的完备空间，里面不存在那样的方向列：够好的屋子，未必有够用的方向。消息传到波兰，马祖尔把那瓶存了三十六年的香槟取了出来——1973 年在华沙，提问者亲手把酒递给解题的人。三十六年前的赏格，一分不差地兑现。这一幕后来成了数学史上关于「问题簿」最常被引用的画面：问题可以等人，赏格不能失信。

第三幕收账。悖论标出体积的边界（p.21）；一致有界焊住逐点与整体的缝（p.22）；第十九问标出直觉的边界（本页）。三条边界都不是失败——边界是地图上最值钱的线。下一幕，地图外起火了：战争穿过利沃夫，把这张桌子、这本簿子、这群人，全都卷了进去。

把一间完备空间的大殿清点一遍，立柱有四根。第一根：哈恩—巴纳赫延拓——账从局部立到全局，不涨价（p.16）。第二根：一致有界——逐点守规矩，整体必有顶（p.22）。第三根：开映射——完备空间之间的满动作，把开集搬成开集，谁也压不瘪。第四根：闭图像——一条曲线若既「图闭」又「动作线性」，不必再验有界，有界是白送的。四根柱子各守一面，1932 年那本书把它们连同地基一次浇铸成型。

四根柱子的分工，用一座桥的说法最顺。延拓管「立账」：新量从旧量上立起来不毁旧账。一致有界管「验收」：一族动作稳不稳，逐点一查就盖章。开映射管「通桥」：从这间屋到那间屋的搬运不会出事故——满动作把「开」的结构原样送达。闭图像管「免检」：符合两条基本规矩的动作，自动有界。工程里说「结构冗余」，数学里说「等价」：四根柱子在深处互相撑着，倒一根，其余三根会把它再扶起来。

柱子的共同地基只有一块：完备。把完备抽掉，四根柱子同时失效——延拓失手、保票失灵、桥塌、免检作废。p.8 说完备是「筛子筛不漏」，本页可以再加一句：完备还是整个大殿的承重墙。分析学里的「硬定理」，十有八九在证明深处用一次纲推理——而纲推理的前提就是完备。1932 年的书看似在罗列，其实在浇铸：把完备性的力量一次性灌进四根柱子。

下一页把住进大殿的住户点名。完备空间不是一间屋，是一片街区：带内积的、带可积性的、带概率的——各有各的门牌。下一页看街区的地图。

先点最大的门牌。连续曲线的空间（p.9）住在完备街区：最大空隙当距离，筛子不漏。第二个门牌：可积函数——一段区间上「总面积」有限的函数（允许曲线有些点没定义、有些点爆开，只要总面积收得住）。距离取「面积差的平方根」，完备性照样成立：筛出的极限函数面积收得住。第三个门牌：平方可积——总面积与「高度平方的总面积」都收得住。这间屋子格外整齐：它还带内积（两条曲线「乘起来求总面积」），有内积就能谈角度与垂直。

三间屋子的从属关系一句话说清。平方可积是可积的特例（高度平方的总面积收住，比总面积收住更苛刻）；带内积的平方可积屋是完备空间里最豪华的一间——它就是物理学抢先入住的那间「希尔伯特空间」（p.18）。街区之间的关系也整齐：豪华屋是整个街区里的「市区」，一般完备空间是「郊区」——郊区更广，市区更齐。泛函分析的分工：市区归内积与正交展开管，郊区归范数与有界算子管，两套市政厅共用四根柱子。

完备性在每间屋子里干同一件事。傅里叶展开——把一段声音拆成一列纯音——要问「拆到无穷多项之后收不收得拢」：这是柯西列问题，答案由平方可积屋的完备性保票：逐项截断的近似列是柯西列，必有汇合点，汇合点就是原声音。概率论同构：一列随机变量的极限存在不存在，完备性当法官。1933 年另一位大师把概率整个搬进完备空间的框架——公理化的概率论与泛函分析共用同一块地基，那是本线另一册的故事，本册不展开。

下一页回到簿子。第十九问的香槟之外，簿子还留下一笔更深的账：那道问了几十年的题目，把「无穷维空间的几何」逼成了一门独立学问。下一页看这笔账的后半段。

第十九问把一整片新地皮圈了出来。簿子里的问法是「逼近」，几何的问法是「形状」：一间完备空间的单位球——离原点不超过 1 的所有点——长什么样，决定了这间屋子的脾气。有限维里，球形只有那么几副面孔；无穷维里，球形的花样一下子放开：有的球滚圆（内积空间的球），有的带棱（最大空隙空间的球是方块），有的均匀外凸、有的棱角嶙峋。球形的每一处差别，都对应逼近能力的某一种得失。

1972 年之后，这门学问有了自己的年表。恩弗洛的反例回答了「不能」：存在球形单薄的完备空间，方向列配不齐。紧随其后，同类反例被造得越来越家常；另一侧，「能」的情形也被切干净：滚圆的球（均匀凸的空间）必配得齐方向列。一问两答，恰好把地界踩清：逼近能不能成，看球的几何——这道簿子里的题，成了「巴纳赫空间几何」这门分支的生日。利沃夫的那瓶香槟，顺理成章地成了这门分支的奠基宴。

簿子的账还在往下记。193 个问题里，有几条至今悬置——编号在，赏格在，解还没到。这不是簿子的失败，是簿子的成功：它把「哪些事还不知道」写成了公共财产。科学史里，问题清单比成果清单耐放：成果会被更好的成果覆盖，问题只会被答案覆盖，没覆盖到的，原地保值。第十九问等了三十六年；簿子里最长的一条，等得更久。

第四幕收账。四根柱子撑起大殿（p.28）；街区住户各安其位（p.29）；簿子的后半段账开出一片新几何（本页）。下一幕走进他身后：一门学科怎样住进他搭的房子，以及那本簿子最后的归宿。

把冠着「巴纳赫」的名字清点一遍，能看清一门学科的分岔。巴纳赫空间：完备赋范空间，本册主角。巴纳赫代数：能做乘法的完备空间——每个元素彼此还能相乘，乘法与范数守规矩；这套代数后来成了量子场论与调和分析的母港。巴纳赫格：带「比大小」的完备空间——元素之间能谈上下，最优化与算子理论住在里面。巴纳赫—塔斯基悖论：第三幕讲过，测度论的边界碑。巴纳赫—马祖尔游戏：簿子边栏里玩出来的无穷博弈，几十年后长成大分支博弈论的先声。一根主干，五根枝，枝头果子一枚枚都能落地。

家族的谱系有一个规律值得看一眼。五根枝里有四根，是「在完备上加一样东西」：加乘法得代数，加序得格，加对抗得游戏，加内积得希尔伯特空间（不算他的姓，算他的地基）。完备是底座，别的都是楼梯。这印证了本册从第一幕立下的话：完备管极限，极限是分析的根；根扎住了，枝怎么分都能活。教学里先学完备再学分岔，顺序就照这个谱系来。

家族里最年轻的一根枝，与计算机同龄。「巴纳赫—塔斯基悖论」式的重新拼装，在算法里以「分割与重组」的面目天天出现；「可测性」的边界问题，在数据科学里换了个名字回来问：哪些东西原则上量不出，哪些只是暂时量不出。第三幕那颗凭空翻倍的球，如今是一道思想实验的标准题——它教会每个入门者的第一课与 1924 年的原文一字不差：先问概念管不管得着，再动手计算。

下一页把最日常的一根枝展开。不动点与迭代，是四根柱子里离普通人最近的一根：天气预报、桥面受力、导航定位，背后都是「反复算、算到靠得越来越近」。下一页看这根枝怎么算、凭什么信。

把 p.15 的保票算成利息。收缩比率 q＝0.7 的迭代，从任意起点出发，误差每一步至少乘 0.7：初始误差 1，十步后误差不超过 0.7 的十次方≈0.028；二十步后不超过 0.0008。换 q＝0.99，同样二十步只剩 0.99 的二十次方≈0.82——慢是慢，终究在走。保票的利息表：步数每翻一倍，误差乘上一个固定的折扣；这份「能算出还要走几步」的底气，是完备＋收缩两条款给的。

工程上这张利息表天天兑现。导航定位：接收机反复修正位置估计，每轮误差有界收缩，几轮内收进精度圈。数值解方程：p.15 的余弦迭代是最简例；工程里的方程组用同样思路成片求解。天气预报：把大气方程在完备空间里离散化，迭代求下一帧——为什么敢信迭代不会发散到离谱，票根在巴纳赫那里。这些场景没有一处印着「完备空间」四个字，可每一处保票的条款，都是 1922 年论文里那三行证明。

保票之外还有一面旗子。不动点也标出「不可改写」的边界：有些问题反复迭代不收敛——不是算得不好，是那个动作根本不收缩；这时要换动作（预条件）或换屋子（换范数）。会读保票的人也读得出保票不覆盖的区域：定理三条款（完备、收缩、比率固定小于 1）缺哪条，哪条就是风险清单。第四幕讲四根柱子，本页讲保票的用法与风险——用法要学，风险清单更要学。

下一页回到第三幕那颗球。悖论身后走了一条出人意料的路：从测度论的边界碑，走进公理集合论的辩论场。下一页看它的现代回声。

悖论身后第一站，是数学地基的辩论场。二十世纪初，数学家们为一条公理吵了半个世纪：选择公理——「从任意多箱里各挑一件」这件事，是不是合法的数学动作。巴纳赫—塔斯基悖论 1924 年出场，把辩论的利害摆上了桌：信它，球能凭空翻倍；不信它，数学里一大片定理跟着塌。最后的公论是：公理留下，悖论收下——代价是把「体积」的适用范围写清楚。第三幕的边界碑，从此立进了教科书的第一章。

第二站是测量理论的日常化。「可测」与「不可测」的界线，今天写在每本概率与测度教材的开头；开篇总要举的例子里，就有那颗翻倍的球。它承担的教学任务从没变过：提醒初学者，直觉里「切」这个动作，默认了每块都有体积——这个默认在无穷世界里是需要许可证的。学会先要许可证再动手，是这门课真正要教的事；那颗球是最好的教具。

第三站最出人意料：悖论成了思考「资源」的镜子。「只挪动、不增加，却凭空多出一倍」的拼装，在现实里没有对应物——现实里的块都可测。可它的反面成了好问题：现实里有没有「看似守恒、实则漏算」的账。经济学与工程里这类教训不少：账面守恒而口径不一，拼出来就翻倍。悖论教数学家警惕概念的边界，教旁人警惕口径的边界——同一页纸，两种读法。

本册的数学层到此收卷。三条规矩立距离（p.7），完备立屋子（p.8），范数立函数的家（p.9），算子立动作（p.14），收缩立落点（p.15），延拓立账（p.16），一致有界立保票（p.22），四柱立大殿（p.28），街区立地图（p.29），几何立分支（p.30），迭代立利息表（p.36），悖论立边界（p.21、本页）——十二件事，一条线。下一页，暗线收最后一笔。