微积分之后，数学为什么越来越像天书？——从二十世纪分析学看一场普遍的“拆骨重装”

luyuanhong

微积分之后，数学为什么越来越像天书？——从二十世纪分析学看一场普遍的“拆骨重装”

原创  南方 Er  南方 Er  2026 年 10 月 16 日 16:18  广东



先别急着把“天书”当成贬义。微积分之后，数学不是故意不说人话，而是它发现：原来那些靠图形、公式、直觉就能抓住的对象，背后还有更深的骨架。

这个转向不只发生在分析学。代数从解方程走向群、环、域，几何从欧几里得走向流形和概形，拓扑从橡皮膜走向开集、同调，数论从整数走向自守形式——哪个不是“拆骨重装”？哪个没让外行觉得越来越像天书？

但二十世纪分析学是最典型的拆骨重装现场。它把函数、积分、空间、算子拆开，看看它们到底靠什么活着。拆到最后，有人欢呼统一，有人警告空转。本文就拿分析学当样本，看“天书”是怎么炼成的，也看它到底是不是非写成天书不可。

01  一个年轻人把积分翻了个面

1902年，巴黎。勒贝格（Henri Lebesgue）交出一篇博士论文，题目土得掉渣：《积分、长度、面积》。黎曼（Bernhard Riemann）积分像切竖条，他偏要把函数值分堆，再问每堆对应多大集合。评审人未必都买账：这也能叫积分？可后来傅里叶级数、极限交换、概率论都靠它吃饭。有人称这是“任何数学家所写过的最出色的论文之一”。

第一块结构地基，就这么歪着打进去了。


勒贝格

这也是“天书感”的第一页：你以为数学还在教你算面积，它却突然开始问“集合有多大”“测度怎么定义”“极限什么时候能交换”。直观退后，结构上前。

勒贝格出身寒微，父亲是排字工，勒贝格三岁时死于肺结核，两个姐姐同一年被同一场病带走。他自己终生多病。可就是这个人，1902 年写出了现代分析的语法。后半生他却反复警告：数学不能只剩“没有内容的漂亮形式”。一个搭语法的人，担心语法空转——这本身就是一个信号：结构转向刚起步，就已经有人闻到了危险。

覆盖维数最能说明他的两面性。直觉上，n 维空间不能靠少于 n+1 片开集“细化”着盖住；这个“n+1”里，就藏着维数的秘密。这个想法很勒贝格：先看见，再证明。但他 1911 年的证明有漏洞，严格性要等布劳威尔（L. E. J. Brouwer）1913 年补上。直觉负责提问，公理负责守住它。这话听着漂亮，可反过来也成立：没有直觉，公理连问题都找不到。

不过，勒贝格不是从石头里蹦出来的。他能把积分翻个面，是因为在他之前，已经有人把分析学的地基重新浇了一遍。那场工程，从 19 世纪下半叶就开始了。魏尔斯特拉斯（Karl Weierstrass）就是那个抡大锤的人。

02  从“算得准”到“看得透”

19 世纪下半叶，分析学算术化。魏尔斯特拉斯用 ε-δ 把无穷小请下神坛，数学更严，也更琐碎。他父亲逼他学公共财政，他却喝酒击剑，没拿到学位，当了十几年中学教师，快四十岁才进职业数学圈。后来严重眩晕，上课坐安乐椅，由学生代写黑板。就在这种状态下，他造出处处连续但处处不可导的函数，庞加莱（Henri Poincaré）骂它“对常识的公然违背”。一个站不稳黑板的人，动摇了整个分析学对函数的直觉。


魏尔斯特拉斯

这就是天书感的第二层来源：数学开始不信任“看上去应该如此”。曲线当然该有切线？魏尔斯特拉斯说未必。无穷小当然该像幽灵一样飘？ε-δ 说咱们还是用不等式说话。天书不是故意绕，而是因为它发现，直觉会骗人，所以得换一套更耐用的语言。

勒贝格后来干的事，某种程度上是接着魏尔斯特拉斯往下走：魏尔斯特拉斯把函数从几何直观里解放出来，勒贝格则把积分从区间分割里解放出来。两人一个用 ε-δ 守住严格，一个用测度撑开地盘。方向不同，底下的冲动却是一回事——不让数学被“看上去应该如此”绑架。

但这里有个容易被忽略的细节：魏尔斯特拉斯本人对发表成果极不上心，很多想法靠学生传播。他不是在“生产论文”，他是在“打磨概念”。这种节奏，跟后来布尔巴基那种“撕稿重写”的偏执，其实同出一源——只是方向不同。一个向内收紧，一个向外铺开。

1900 年希尔伯特（David Hilbert）提 23 个问题，积分方程、变分法公理化都指向结构表达。30 年代，布尔巴基学派（Nicolas Bourbaki）由韦伊（André Weil）、迪厄多内（Jean Dieudonné）、嘉当（Henri Cartan）等法国数学家组成，主张代数、序、拓扑三种母结构。他们写《数学原理》，反复重写，甚至当场撕稿。哲学上，这是从“对象本体论”向“结构本体论”移动：不再只问“函数是什么”，更问“它活在什么结构里”。

问题是：这个“移动”是有代价的。代价在托姆那里爆发，后面再细说。

03  天书是怎么炼成的？

可以先把二十世纪分析学的“拆骨刀”列成四把。每把都不只是技巧，而是一种看问题的方式。它们共同干了一件事：把“看得见的东西”请下主位，把“它住在什么结构里”请上主位。



希尔伯特空间与算子理论：最硬的扳手

希尔伯特空间干了一件大事：给函数发“向量身份证”。函数不再只是曲线，也能当向量。1904—1912 年间，希尔伯特把函数空间塞进内积空间；1927 年，冯·诺依曼给出公理化定义，顺手证明波动力学和矩阵力学不是两套武功，而是同一套内功的两种招式。


冯·诺依曼

可 1935 年，冯·诺依曼写信给伯克霍夫：“我想做一个可能显得不道德的坦白：我不再相信希尔伯特空间了。”听着像叛变？别慌。他松动的不是希尔伯特空间，而是“态矢量本体论”——好像量子态天生就该住在向量里。向量好用，不等于最底层。手机好用，手机不是电磁场本身。他和伯克霍夫说，量子命题更自然的载体，是闭线性子空间搭成的格；随后他又转向算子代数，想从投影格、算子环、连续几何里重新导出量子力学。这个动作，像盖楼的人拆掉自己盖的房子，不是离家出走，而是想看看地基下面还压着什么。向量只是实现，格与算子代数才更像地基。

薛定谔算子也一样：写下来通常只是对称的，还未必是自伴的；势函数和定义域得讲规矩，才肯给出合适扩张。一旦自伴，谱分解就不只是求几个能量本征值，而是看一整套结构：点谱像被拴住，连续谱像能跑掉，奇异连续谱则更别扭。勒雷–绍德尔不动点定理更干脆：不把解请出来，只证明它跑不掉。共同点就一句：不急着写公式，先看算子住在哪、谱长什么样、紧不紧。

分析学从“求公式”转向“看结构”。你问“解是什么”，它答“先看它跑不跑得掉”。

勒贝格测度与积分：另一块地基

黎曼积分切竖条，勒贝格把函数值分堆，再问每堆对应多大集合。外测度先给上界，卡拉泰奥多里条件再挑出可测集，让外测度成为可列可加测度。极限定理不再依赖函数逐点长相，而依赖测度空间结构。函数长什么样退到后面，它住在什么空间里成了主角。狄利克雷函数在黎曼那里是灾难，在勒贝格那里白送：有理数是零测集，积分就是 0 。

但这里有个哲学尾巴：一个函数“几乎处处为零”，和一个函数“恒为零”，在勒贝格积分眼里属于同一个等价类。它看的是等价类，不是逐点人格。这种“几乎”的容忍度，既是自由，也是风险——数学能处理更广的函数，但“相等”变得比直觉松。数学也讲“差不多得了”，只是这个“差不多”有精确代价。

伯格曼核：复分析里的几何芯片

1922 年，伯格曼在柏林大学引入伯格曼核。对复平面区域，伯格曼空间由平方可积全纯函数构成，是希尔伯特空间的闭子空间；点赋值泛函连续，于是存在唯一再生核。核函数在双全纯映射下协变，区域几何被编码进核及其导出对象，比如伯格曼度量。有些共形映射问题不必显式构造映射，就能间接拿到信息。


伯格曼

但它不是万能钥匙。一般双全纯分类里，它更适合作为全纯不变量，用来区分区域或研究自同构群。它告诉你一些事，不告诉你全部。有边界，有分寸——这恰恰是好的结构工具该有的品格。

席费尔变分法：把极值逼成方程

席费尔变分法的思路很干脆：先把单叶函数极值问题化成变分问题，再从极值条件导出微分方程。20 世纪 30—40 年代的内变分方法，后来与勒夫纳参数表示结合，形成变分参数法。1955 年，加拉贝迪安与席费尔用变分方法证明了比伯巴赫猜想中第四个系数情形。说白了，把极值变成变分，再把变分变成微分方程。但他始终留着几何直观，不像纯形式主义那样飘。

他与伯格曼 1953 年出版《核函数与数学物理中的椭圆型微分方程》，用核函数把椭圆型方程边值问题与再生核方法联系，可看作伯格曼投影思想的早期形态。分析问题往结构上抬，但没丢几何直觉。这一点，恰恰是布尔巴基最缺的。

这四把刀，共同把分析学从“求公式”推向“看结构”。但结构若没有直觉和问题牵着，就会从扳手变成木乃伊。

04  当天书变成木乃伊

布尔巴基学派会议很奇怪：成员分散，每年聚两三次，每页每个证明都被百般挑剔，激烈时当场撕稿。迪厄多内尤其固执，谁不按他的顺序来，他就吹胡子瞪眼威胁退出。他们给“布尔巴基”编假简历，甚至以他名义给美国数学会写信，声明“无意允许任何人对他存在的权利提出质疑”。一个不存在的人，认真捍卫自己存在的权利。这事本身就像一道数学悖论。


布尔巴基学派主要成员

他们通过《数学原理》系统阐述代数、序、拓扑三母结构，符号和术语被广泛采用。一般拓扑学里，连续性、收敛性被改写成开集、紧致性、连通性。紧致性不再靠区间套，而靠开集覆盖有限性。教育上，让学生看见概念的内在联系。


托姆

可托姆（René Thom）泼冷水。他在巴黎高师受最纯正布尔巴基教育，后来却成最尖锐批评者。他说布尔巴基把数学“做成了木乃伊”，变分法、偏微分方程、定性动力学这些“活的数学”因不够干净被排斥。他还说：从布尔巴基那场巨大系统化努力中，没有涌现任何重要的新定理。这话或许激愤，但值得琢磨：结构做到极致，为什么反而没催生多少意外发现？也许答案在于：结构擅长整理已知，却不擅长制造意外。而数学的活力，恰恰来自意外。结构化不是错，错在只剩结构。

这正好戳中“天书”的真正危险：天书不一定因为深，而可能因为只剩语法，没有血肉。你读到的全是定义、定理、证明，却不知道它为什么值得问。那不是天书，那是木乃伊。必要抽象和自恋抽象，差别就在这里：前者是不得不爬的山，后者是作者把语法当内容，把门槛当深度。



05  天书成了通用语

希尔伯特空间进入调和分析、偏微分方程、概率论。外尔（Hermann Weyl）把傅里叶分析推广到紧群表示论。泛函分析让分析学从“函数分析”转向“空间分析”。

教育上，Birkhauser 出版的 Amann–Escher《Analysis I–III》试图在抽象与动机间找平衡。可教学过度公理化，学生容易只会验证，不会构造。托姆抱怨法国课堂里欧几里得几何消失，学生背抽象概念、套公式。这个矛盾今天仍在。说白了，结构是好仆人，坏主人。

跨学科更明显。冯·诺依曼的希尔伯特空间框架成为量子力学标准表述；量子场论扩展到张量积空间和福克（Vladimir Fock）空间。维纳（Norbert Wiener）的反馈系统理论用传递函数、稳定性判据分析微分方程稳定性。纳什（John Nash）1950 年证明纳什均衡存在性时，用了角谷静夫不动点定理——它可看作布劳威尔不动点定理的集值推广——把经济问题转成数学结构问题。

数学结构一旦长成，常常跑到别的学科生根。但这里也有一个反问：当经济学家用不动点定理证明均衡存在时，他到底是在做经济学，还是在做应用数学？这个边界，至今模糊。

“天书”于是成了通用语。物理学家、工程师、经济学家都在用，只是各自口音不同。你听不懂，未必是它没道理，而是你还没进那个语言共同体。

06  天书背后是对象还是结构？

布尔巴基说：“数学结构就构成数学的唯一对象。”这跟结构实在论呼应：科学理论的数学结构可能比物理实体更真实。量子场论里，对称性和代数结构常比具体粒子实体更基础。但平科克（Christopher Pincock）批评：数学结构的不可约性可能只是认知工具，不是对实在的直接映射。结构既可能是世界骨架，也可能是理解世界的脚手架。这话不好听，但得听。

形式化与直观的矛盾，在希尔伯特和布劳威尔论战里打得更凶。布劳威尔坚信数学只该建在直觉上，拒绝排中律；希尔伯特坚持形式化。两人从争论发展到互相封杀，希尔伯特利用哥廷根影响力，通过重组《数学年刊》编委会把布劳威尔赶出去。一个编委席位之争，背后是数学哲学路线之争。

托姆说：证明之所以严格，是因为它在有准备的读者心中唤起“确信”，让人不得不接受。这跟布尔巴基的“逻辑序列”严格观不同。好的数学，在两者之间走钢丝。走得好是优雅，走得不好是分裂。

所以，天书问题不只是“写得太难”，而是数学到底该先对谁负责：对逻辑？对直觉？对世界？还是对读者？没有单一答案。



07  天书还没写完

非交换几何是结构化思维的现代延伸。孔涅（Alain Connes）把微分几何结构推广到非交换代数，用算子代数表示重构空间。有限维希尔伯特空间的算子结构可提取几何信息，为离散时空、量子引力提供工具。信息论与复杂系统也受影响：网络、动力系统通过状态空间结构——吸引子、分岔点——理解整体行为。这和席费尔变分、伯格曼核一脉相承：看结构，不只看方程。

未来，结构化与计算化可能融合。量子计算依赖希尔伯特空间、算子理论，也需要具体算法。张量积结构、局域性、算子代数，或许让时空几何从希尔伯特空间里长出来。方向清楚：数学结构不只是描述物理，有时先于物理直觉。但这又回到勒贝格那个警告：结构一旦先于直觉，它离空转还有多远？

回头看，二十世纪用结构化工具重写经典分析，不是把数学变难，而是换了一套更耐用的骨架。它统一分支，革新教育，进入物理、工程、经济。它也留下争议：形式与直观怎么平衡？结构是实在还是工具？没有一劳永逸的答案。

所以，微积分之后，数学为什么越来越像天书？因为它不再只给你看它长什么样，而是逼你问它住在什么结构里。分析学只是先走了一步。代数、几何、拓扑、数论后来也都各走各的拆骨路。天书不是拒绝读者，而是换了一种语言。读不读得懂，取决于你愿不愿意先学它的语法。但语法不能空转。

或许，这正是数学的活法。它一边拆旧技巧，一边搭新结构；一边追求严格，一边保留直觉。布尔巴基说公理方法把杂乱领域统一起来。今天看，这话仍有力量，但也需要托姆那样提醒：别让统一变成单调。数学要的是能呼吸的结构。能呼吸，就意味着它得留一点缝隙，让直觉、意外和生命力钻进来。

能呼吸，才不是天书。



南方 Er