很久以前,有一户显赫的大户人家,后来家道中落,田产流失,族人离散。老家主临终前把两个儿子叫到床前,指着对面的一间屋子说:“那本是咱们家的产业,当年趁乱被邻居强占。你们若有本事,不但要振兴家业,也要把那间屋子收回来。” 长子继承了祖宅,勤勉经营,渐渐让家业恢复生机。此时,那个邻居却不满足于占着对门的房子,还企图吞并整座祖宅。与此同时,已经长大的次子也开始争夺家业继承权。内忧外患之下,兄弟二人终于暂时放下成见,共同抗敌。 那是一场惨烈的战争。无数族人死伤,无数家庭破碎。经过艰苦奋战,邻居终于被赶走,对门的房子也以长子的名义收了回来。整个家族都沉浸在胜利的喜悦中,希望兄弟二人携手共治,共创未来。 然而,共同的敌人消失后,兄弟间积累多年的矛盾迅速爆发。他们都坚信自己才是家族唯一正确的领导者。争吵变成对立,对立变成战争。曾经并肩作战的人被迫互相厮杀,昨天的战友成了今天的敌人。田地荒芜,房屋焚毁,百姓流离失所。这场内战甚至比对抗外敌时更加残酷,因为外敌争夺的是土地,内战摧毁的是人心。最终,长子战败,带着追随者退到当年收回来的那间房子里居住;祖宅则由次子掌控。从此兄弟隔街相望,却形同陌路。 次子按照自己的理想改造家业,经历了许多曲折和代价。长子则不断发展商贸,广泛学习外界经验,家业越来越兴旺富裕。几十年过去,双方逐渐恢复往来,贸易、书信和人员交流重新开始,祖宅年久失修时,长子派人协助修缮,次子也在开放的环境里让家族人丁兴旺。 晚年时,兄弟二人终于能够坐下来交谈。次子豪言道:“若能恢复昔日那个完整的大家庭,该有多好。为了家族荣光,付出再大的代价也值得;不愿意的人,可以让他们离开。” 长子沉默片刻后说:“年轻时我也这样想。但后来我明白,家不是房子,不是祖宗留下的名号,而是生活在其中的人。我们的后代已经有了自己的想法和选择。如果有一天真要重新成为一家人,必须得到每个人的同意。若团聚建立在强迫和牺牲之上,那不过是另一场灾难的开始。” 这个大户人家又来到关键抉择关口,希望人们千万不要忘记:当年那场兄弟相残的战争,夺走的不只是生命和财富,还有几代人本可拥有的和平岁月;祖先真正希望留下的不是仇恨,而是安宁,不是征服,而是团圆。战争或许能够决定谁占有房屋,却永远无法真正赢得人心。 最惨烈的胜利,往往比最体面的妥协付出更高代价。炮火能够摧毁城市,而战争真正毁掉的,是无数本应平凡幸福的人生。
《数学的故事》第十八章:微积分的严密化——分析学的诞生
微积分诞生之初,如同一位天赋异禀的少年:力量惊人,反应敏捷,充满活力。它随手一挥,便把古人钻研两千年之久的"切线"“面积"“速度"这些难题逐一化解;它甚至能够追踪天体的运行,把行星的轨道,转化为可以精确推演的数学关系。整个时代都乐于接纳这样一位少年,因为当时的现实迫切需要这样的胜利——工程建设需要精确的桥梁计算,天文学需要可靠的星历推算,军事应用需要准确的弹道预测,航海活动需要精密的经纬定位。 但少年天才往往存在一个共同的弱点:他能够得出正确的结果,却难以清楚地解释自己为何能够如此。他做对一件事的方式,更接近某种依靠灵感、依靠手艺、近乎家传秘方般难以言明的直觉。微积分最初的表达体系中,有一个概念的出现频率极高:无穷小。它在具体的运算过程中,如同一粒尘埃——明明"并非零”,却又小到可以"被当作零"来处理;人们借助它去进行除法运算,随后又在下一步中,把它从结果中直接抹去,如同舞台上突然出场、又突然退场的临时演员。只要最终得出的结果正确,人们便暂时不去深究这一过程背后究竟发生了什么。 直到十八世纪,一位身兼主教与哲学家身份的学者——正是那位以尖锐言辞著称的贝克莱——公开提出了质疑:这些"消逝量的幽灵”,究竟是什么?数学素来以清晰与理性自诩,但其所依赖的这一关键证人,却时而在场、时而缺席,这样的证明方式,又怎能被视为严谨? 这一质疑,并未使微积分因此被推翻,恰恰相反,它如同一根细针,把微积分从少年时代的懵懂状态中唤醒:一门学问不可能永远停留在少年阶段,它必须走向成熟。所谓成熟,意味着把"我能够得出正确结果",进一步转化为"我能够解释自己为何能够得出正确结果",把依靠个人天赋的独白,转化为经得起公开检验的严谨论证。这一走向成熟的过程,在数学史上,被称为"分析学"的诞生。 分析学的确立,并非仅仅是某一项定义的更新,也并非仅仅是几个符号的发明,而近似于一座城市从无到有的整体建设:需要有人打下地基,有人确立规则,有人修筑道路,有人建立相应的制度体系,最终还需要建立起一套最高层级的检验标准——这一更为宏大的体系建设,要到二十世纪才真正推进到极致(届时希尔伯特将在其中扮演重要角色),但在此之前,整个十九世纪,都必须先把这座城市从最初的混沌状态中,逐步建立起来。 一、幽灵与誓言:玻尔察诺、柯西,以及"极限"如何成为严谨的定义 若把分析学比作一部逐步确立的宪法,那么最早参与起草这部宪法的学者,往往并非以宏大声势著称的人物,而更接近一批严谨细致的立法者与记录者:他们所擅长的,并非取得某种引人瞩目的突破,而是把已有的成果,转化为可以被反复验证、反复复现的严密程序。 在这批学者之中,最早展现出这种"现代"治学风格的,是玻尔察诺。 玻尔察诺的学术经历,与常见的学院传奇颇为不同。他并未身处巴黎或伦敦这类当时的学术中心,而是在布拉格从事研究——一个文化背景与政治环境都更为复杂、也更为敏感的城市。他兼具神职人员与学者的双重身份,坚信理性本身,也是道德的重要组成部分:一旦宣称完成了某项证明,便必须把每一个具体的推理步骤,都清楚地陈述出来,而不能仅仅依靠图形本身所带来的直观印象,或是"看起来理应如此"这类模糊的判断,来说服读者。他对"证明"这一概念,抱有近乎严苛的要求:证据链条必须完整无缺,所使用的语言,也必须经得起反复的审查。 这种严谨的治学态度,在不同的历史时期,往往会得到截然不同的评价。玻尔察诺恰好生活在对此并不宽容的年代:他在社会与政治立场上表现得较为直言不讳,关注贫困问题,关注社会改革,也关注教育事业的发展,其言论触及了当时较为敏感的议题,因而被剥夺了公开授课的资格,被迫陷入长期的沉默。他的处境,近似于在洪水尚未到来之前,便坚持修筑排水渠道的人——当时的人们或许认为这种做法过于多虑,甚至因此将他排斥在外;但这些排水渠道的设计构想,并未因此而消失,而是被暂时搁置,直到城市真正面临水患的威胁时,人们才重新意识到,早已有人预见到了这一必要性。 玻尔察诺在分析学历史中的意义,近似于埋下了这座建筑最初的钢筋结构:他尝试以一种今天看来颇为熟悉的方式,去处理连续性与存在性这两个此前较为模糊的概念。他并不满足于"曲线在图形上看起来会穿过某条直线"这样直观的判断,而要求借助严密的逻辑,来解释这一现象为何必然成立。他的研究风格,并不以耀眼夺目见长,而以坚实牢固为特点——他所追求的,并非令读者感到惊叹,而是使读者无法从逻辑上提出反驳。这一点相当重要,因为它表明:数学走向严密化的进程,首先并非依靠某种巧妙的技巧,而是源自一种不愿妥协的治学态度。 此后,这段历史的重心转移到了巴黎。法国大革命与随后的帝国时代,除了带来剧烈的政治变革之外,也建立起了一套极为严格的理工科教育体系。柯西正是从这一体系中成长起来的重要学者。 柯西年轻时的身份,并非纯粹意义上的数学家,而更接近工程师与军事人员的结合体。他接受过极为严格的专业训练,也曾参与过桥梁、港口与防御工事等具体的现实工程建设——在这类实际工作中,“大致如此"的态度是完全不被允许的:图纸上的微小误差,在实际建造的桥梁上,可能演变为整整一条河道的偏差;计算过程中被忽略的一个细小环节,也可能导致炮弹的实际落点,与预期目标产生明显偏离。这样的职业经历,锻炼出他一种特殊的思维习惯:本能地关注并致力于控制各类误差。 这正是柯西把微积分推向"分析学"这一更为严谨阶段的关键所在:他把此前依赖直觉的处理方式,转化为可以被系统控制的严谨程序。他撰写《分析教程》时,其行文风格,近似于制定一套严格的规范体系:极限、连续、收敛——这些概念在他之前虽然已经存在,但大多仅仅作为习惯性的表述使用;而在他的著作中,这些概念,被系统地组织起来,构成了整部著作的理论骨架。此后的学习者,不再仅仅满足于掌握微积分的具体运算方法,还必须在证明过程中清楚地说明:如何把误差控制在预期的范围之内?如何确认某一运算过程,确实逼近了某个特定的数值?在证明过程中调整运算顺序、进行相应的操作时,又该如何保证最终结果依然成立? 柯西所处的时代局势相当动荡:政治格局屡经变迁,王朝更替与革命浪潮交替出现,个人的社会地位,也随之起伏不定。他本人在政治立场上的选择,也确实使他的人生经历,充满了离开与回归、孤立与争议。或许正是因为在现实生活中目睹了太多的不确定性,他才更加坚定地相信:至少在数学证明的领域之中,必须建立起真正可靠的标准。他在著作中反复使用的"必须"“应当"“定义如下"这类表述,并非单纯的教科书式套话,而在相当程度上,折射出他本人在动荡年代中,努力寻求确定性的性格特质。 当然,历史对任何一位"立法者”,都不会给予过分的宽容。柯西并未一次性建立起完美无缺的理论体系,他的论述中,依然保留着此前时代的某些痕迹,在级数与极限的一些细微之处,也确实存在需要进一步完善的漏洞。此后的数学家,借助反例与更为精细的概念分析,逐渐指出了他论述中的这些不足之处:某些地方的论证不够严谨,某些地方在不经意间悄悄更换了前提条件。这一点不必刻意回避,因为它恰恰体现出严密化这一"制度建设"过程的真实面貌:它如同法律体系的发展一样,依靠一个又一个具体案例的积累而不断完善。柯西真正的贡献,并不在于他从未出现过任何疏漏,而在于他使这些疏漏,变得可以被清楚地发现和讨论,使数学界拥有了共同的论证语言,也使整个学界,逐渐达成了这样一项共识:严谨性并非可有可无的装饰,而是这门学科必须坚持的方向。 当极限与收敛这两个概念,被确立为一套严格的制度性标准之后,随之而来的一个问题便自然浮现:数学研究所面对的对象,究竟应当如何界定?这便引出了狄利克雷的相关工作,因为若研究对象本身的边界不够清晰,再完善的规则体系,也难以真正发挥作用。 狄利克雷身上,体现出一种颇具"过渡时代"特征的治学气质:他既不像传统的几何学家那样,过度依赖图形直观,也不像纯粹的形式主义者那样,沉溺于符号系统本身的推演游戏,而更接近一位保持冷静判断的裁决者,格外关注概念本身的边界问题。此前的数学界,往往习惯把"函数"等同于某种具体的表达式,仿佛只有能够写成简洁公式的对象,才配被称为函数。但现实中的诸多问题,却并不总是如此配合:物理学中的具体问题,往往会给出分段变化的规律;某些级数运算,会产生形式颇为特殊的定义;边界条件的限制,也常常会引出一些形式并不美观、却真实存在的研究对象。若继续坚持"函数必须以某种规整公式的形式呈现"这一标准,便会把大量真实存在的研究成果排除在外。 于是,狄利克雷完成了一项看似简单、实则颇具变革意义的工作:他把"函数"这一概念,从"必须表达为某种具体公式"这一限制之中解放出来,重新定义为一种更为宽泛的对应关系——只要给定一个输入值,能够依照某种明确的规则得出相应的输出值,便可以被视为函数,至于这一规则本身,是否能够写成简洁美观的公式形式,则并非必要条件。 这一转变的意义相当深远:从此以后,分析学所研究的对象范围大为扩展,不再局限于形式规整的少数对象,而涵盖了更为广泛、形式各异的研究对象。研究对象的扩展,也随之带来了新的复杂性:此前较少遇到的各类特殊情形逐渐浮现,促使数学家们必须重新审视连续性的定义,重新区分不同类型的收敛方式,重新检验此前被认为理所当然可以互换的各类运算步骤。 至此,读者已经能够看出:玻尔察诺近似于最早埋下理论基础的先行者,柯西近似于建立起严格规范的引路人,狄利克雷则近似于重新界定研究对象边界的裁决者。他们共同把"极限"这一概念,从最初依赖灵感的直觉,逐步转化为经过严格论证的确定表述。但这套理论体系,仍然缺少一项关键的组成部分:它还需要被进一步提炼为一种任何人都能够依照执行的严谨表达方式。否则,这套体系仍然容易停留在原则性的层面,而难以真正落到实处。 真正完成这一提炼工作的,是魏尔斯特拉斯。 二、可以复制的严格:魏尔斯特拉斯与分析学表达方式的确立 魏尔斯特拉斯的学术经历,颇为符合"大器晚成"这一特点。他并非那种早年便被视为天才、被学界迅速接纳的人物,相反,他人生中相当长的一段时期,更接近一位默默无闻的中学教师:备课、授课、批改作业,同时还需操心生计问题,健康状况也时常受到困扰。他并非在学术沙龙的掌声中成长起来的学者,而是在日复一日的教学实践中,逐步锤炼出了自己的学术思想。 这段经历,也塑造了他对待分析学的基本态度:天才式的灵光乍现固然引人入胜,但并不足够可靠;真正可靠的,是能够被系统训练、能够被反复核验的严谨程序。基于这一认识,他完成了分析学历史上极为关键的一步:把"严格"这一原则,转化为一套固定的、可以被反复使用的表达方式。 这套表达方式的核心逻辑相当清晰:若要证明某一变化过程中的误差,能够被控制到任意小的程度,便需要首先给定一个具体的误差范围,无论这一范围被设定得多么严苛,都必须能够进一步找到相应的输入范围,使得只要输入被限定在这一范围之内,所对应的输出偏差,便必然小于事先给定的误差界限。这一逻辑链条,可以被反复地、逐层地加以验证,无论对方提出多么苛刻的误差要求,这套方法,都能够给出相应的、经得起检验的具体回应。 这正是分析学真正进入严谨论证阶段的重要标志:证明不再依赖"看起来如此"这样的直观判断,也不再依赖图形本身所带来的说服力,而依靠一套明确的契约与程序,依靠任何人都能够依照执行、加以核验的具体条款。魏尔斯特拉斯的贡献,某种意义上,是把数学论证的方式,从相对灵活、依赖个人风格的表达,转变为一种更为严谨规范的表达形式——这种表达方式,未必总是显得优雅动人,却难以被随意蒙混过关。 值得关注的是,一旦这样一套严谨的程序被确立起来,各类此前未曾被充分注意的反例,便随之大量涌现。因为这套程序,使人们能够更为清楚地识别出既有理论体系中潜藏的漏洞,而具体的反例,则进一步揭示出这些漏洞究竟严重到何种程度。魏尔斯特拉斯所处的这一时期,分析学出现了一种颇具特点的研究倾向:主动构造各类此前难以想象的"特殊对象”,例如某些函数虽然处处连续,却在任意一点都不可微分——这类结果表明,人们此前习惯性地把"连续"与"平滑"等同起来的直觉,其实存在明显的局限性。分析学在这一阶段,如同经历了一次自我审视的过程,开始主动挑战并修正自身此前所依赖的部分直觉。 这并非无谓的智力游戏,而是这门学科走向成熟的必经过程。一门学科真正走向成熟的标志,往往并不在于它能够证明出多少令人赞叹的漂亮结论,而在于它能够容纳、并妥善处理多少此前被认为"不合常理"的特殊情形。这些特殊情形,促使数学家们把相关概念阐述得更加清晰,也促使他们更为清楚地认识到直觉判断本身所存在的局限。由此,一种颇具现代特征的研究氛围逐渐形成:数学家们不再仅仅满足于寻找美观的例证,而开始把各类"最不利情形”,当作检验理论体系是否严谨的重要场所。这种研究取向,此后将进一步延伸至二十世纪的泛函分析、测度论与拓扑学等领域,但其最初的萌芽,正是在这一时期逐渐形成的。 在魏尔斯特拉斯所营造的这种学术氛围之中,追求严密性,不再仅仅是少数学者个人的治学偏好,而逐渐成为整个学科共同遵循的职业规范:完成一项证明,必须能够清楚说明其中的误差是如何被控制的;宣称某一极限存在,必须能够具体说明其存在的确切程度;在证明过程中交换极限与积分的运算顺序,也必须能够明确列出相应的成立条件。分析学的表达方式,也因此愈发接近现代工业生产的特点:标准化、可复制、可检验。 然而,这套表达方式即便已经趋于标准化,若缺乏坚实的理论根基,依然存在潜在的风险。因为人们逐渐意识到,讨论极限、收敛与连续性等一系列问题时,实际上都在不知不觉中,依赖着一个更为根本的前提——实数系统本身所具备的完备性。当宣称某一数列"应当收敛于某个确定的数值"时,这个数值究竟以何种方式真实存在?当宣称一条直线"连续而没有间断"时,又凭借什么理由确信其中不存在任何缺口?归根结底,分析学此前所建立起来的这套严谨表达方式,最终仍需要落实到一个更为基础的问题之上:必须清楚说明,实数这一研究对象本身,究竟是如何被严格构造出来的。 这便把这段历史,引向了下一个重要阶段:实数的构造与无穷概念的系统整理。 三、连续的构造与无穷的整理:戴德金、康托尔,以及一场关于"何为允许"的争论 若把十九世纪分析学的发展,比作一个不断扩展的知识体系,那么其中最为关键、也最具风险的环节,往往出现在这一体系最基础的部分。此前的研究已经取得了诸多重要突破,但只要最基础的对象——实数——本身的构造方式尚未明确,整个理论体系,便始终存在潜在的隐患。实数看似是一种极为自然、无需特别说明的研究对象,实际上却必须经过严格的构造,才能真正确立其理论基础。 依照日常的直觉,实数被理解为一条连续的直线:可以在尺子上找到相应的位置,也能够在持续的运动过程中感受到它的存在。但这种直观感受,并不足以构成严格的数学论证。真正需要回答的问题是:如何证明这条直线之中,确实不存在任何间断或缺口?如何保证每一个"理应存在的极限",都确实拥有一个明确的归宿?仅仅依靠"直观上看起来如此"这样的理由,显然并不充分。 戴德金正是在这一背景下,完成了极为重要的理论工作。他的治学风格,近似于一位严谨细致的公证人:冷静、耐心,坚信严密的制度能够解决看似模糊的问题。戴德金所完成的工作,本质上是为"连续性"这一概念,提供了一套严格的构造方法:与其依靠直观的图形来证明连续性的存在,不如借助一种更为系统的方式来构造它——把全体有理数分割为左右两个部分,使左边的部分不存在最大值,这样的一处"分割"本身,便可以被定义为代表一个具体的实数。这一构造方式的关键意义在于,它把"连续性"这一概念,从一种基于直观感受的自然认知,转化为一项可以通过严密逻辑构造出来的确定结果。分析学也因此进一步趋近于一门制度严明的学科:它所依赖的,不再是直观的印象,而是严谨的逻辑构造。 与此同时,康托尔在另一个方向上,完成了一项同样具有开创性的工作:他把"无穷"这一此前长期被视为模糊而神秘的概念,纳入了系统化的研究范畴。在传统的认知之中,无穷往往被理解为某种难以触及、笼统而抽象的存在。康托尔却提出,即便是"无穷"这样的对象,也同样可以被纳入严格的分类体系之中:不仅可以笼统地说某个集合"包含无穷多个元素",还可以进一步追问,不同的无穷集合之间,是否存在大小上的差异。他借助元素之间的对应关系,来比较不同集合之间的规模,由此揭示出无穷集合之间,同样存在层级上的区别——例如,全体整数所构成的无穷集合,与全体实数所构成的无穷集合,二者的规模并不相同。至此,“无穷"不再是一个笼统而模糊的概念,而成为一个具有内在层级结构、可以被系统研究的对象。 这一发现,在当时的学界引发了相当大的争议。这种争议,并非仅仅局限于某一特定学派内部的学术分歧,而更触及了一种根深蒂固的传统观念:人们此前习惯于把"无穷"这一概念,视为超越人类理性范畴、专属于神学讨论的对象,而把"有限"视为人类理性所能够真正把握的领域。康托尔的研究,却把"无穷"这一概念,正式纳入了严谨的数学研究之中,为其确立了明确的分类与秩序。这一突破,在当时既引发了部分学者的赞赏与支持,也招致了另一部分学者的强烈质疑,甚至被视为对某种传统观念的冒犯。 由此,学界内部出现了明显的分歧。以克罗内克为代表的一批数学家,持有相对保守的立场,主张数学研究应当立足于整数与有限步骤的运算,而不宜过度深入无穷这一难以完全把握的领域。这场争论,并不仅仅局限于纯粹的学术讨论,还牵涉到具体的大学职位、学术话语权,以及相关学会的认可等现实因素。康托尔在这一过程中,也承受了相当沉重的精神压力——并非每一位在学术上取得开创性突破的学者,都能够始终从容地承受随之而来的种种压力与质疑。但纵观历史的发展进程,往往正是这些勇于开拓、并最终承受住相应压力的学者,推动了整个学科向前迈进:他们率先打开了此前紧闭的大门,此后的学者,才得以在这扇门前,逐步修筑出更为稳妥的通行路径。 对分析学而言,戴德金与康托尔的贡献意义相当明确:他们使"完备性"这一原本仅凭默契理解的概念,转化为一套具有严格根据的理论制度。此后分析学中反复运用的诸多重要结论——例如极限的存在性、实数直线不存在间断、不同的特殊集合之间可以进行严格比较——其理论基础,实际上都建立在这套体系之上。若缺乏对实数与无穷概念的这套严格构造,此前所建立起来的种种严谨表达方式,便终究难以真正落到实处。 而当这一理论基础逐渐稳固之后,分析学的发展,又遇到了另一个亟待解决的问题:积分理论本身的严格化。 四、从初步约定到系统方法:黎曼、勒贝格,以及"几乎处处"的新视角 积分是微积分理论中与微分并重的另一重要组成部分:涉及累积、总量、面积、概率、能量等诸多概念,只要需要把局部的变化,汇总为整体的效果,便离不开积分这一工具。早期关于积分的直观理解相当直接:把研究区域切割为若干细窄的部分,再把各部分的结果相加;切割得越精细,所得结果便越接近真实值,若能无限细分,理论上便能得到精确的结果。但严谨的论证需要进一步追问:凭什么可以断言这一过程最终"等于"某个确定的值?如何保证不同的切割方式,都能得到相同的最终结果?如何确保这一极限过程确实存在?在具体运算中,交换相关运算的顺序,又是否始终合法? 黎曼在这一阶段的研究工作中,展现出典型的十九世纪学者气质:性格安静内敛,并不热衷于社交场合,身体状况也并不算强健,但他在学术思想上,却展现出令人瞩目的胆识——他不仅敢于追问"空间的本质究竟是什么"这一宏大命题(这一部分内容,将在关于他的专门章节中详细展开),也敢于深入追问"积分这一运算,究竟凭借什么理由能够真正成立”。黎曼所提出的积分定义,其核心思路相当明确:不再依赖此前那种含糊不清的"无穷小"概念作为论证的依据,而是依靠一套可以被具体执行的程序作为担保——把研究区间切割得越来越精细,借助简单的近似方法逐一求和,再观察这些求和结果是否逐渐逼近同一个确定的数值;若确实逼近这一数值,便可以确认这一数值,正是所求的积分结果。这一方法的关键之处在于其"可执行性":任何人都能够依照这一程序进行验证,而不必依赖某种难以言明的灵感。 黎曼的这一定义,使积分运算第一次获得了严谨而可靠的理论形式,但这一定义,尚不足以应对更为复杂的现实需求。随着分析学所研究的对象日益丰富多样,学界逐渐发现:某些特殊的函数,依照黎曼的方法难以完成积分运算;某些涉及极限与积分交换顺序的运算,也时常因反例的出现而受到质疑;各类特殊的例外情形不断浮现,使既有的积分理论,逐渐显现出需要进一步完善的迹象。 于是,勒贝格提出了新的解决方案。他的学术经历,颇具从普通教育工作者成长为重要理论创新者的典型意义:他并非出身于显赫的学术世家,而是沿着教育体系的常规路径成长起来的学者,曾长期担任中学教师,依靠持续的钻研与耐心,逐步推进自己的理论思考。他的研究方向,并不像部分学者那样,以探讨宏大的宇宙命题见长,而更接近专注于"如何系统管理大规模、复杂研究对象"这一具体问题。 勒贝格所完成的工作,是对既有积分方法的一次颇具巧思、也颇为系统的改进:他改变了此前"切割"的基本方式。黎曼式的切割,近似于沿着横轴方向,把区间分割为若干细段;而勒贝格式的切割,则更接近依照函数取值的高度,来重新组织研究对象——首先明确各类点集合各自的"大小",再依照这一大小,来进行相应的累积运算。由此,“测度"这一概念应运而生:集合不再仅仅具有"存在与否"这样简单的属性,而拥有了可以被精确量化的大小;“几乎处处"这一表述,也随之出现:不必要求对每一个具体的点都作出严格的说明,但必须对绝大多数的点负责,并且能够对其中的例外情形,给出可以量化的说明。 这一方法看似是一种妥协,实则代表着理论上的进一步成熟。自然界与统计学所涉及的诸多现实问题,本身便并不要求"处处完美"这样理想化的状态,而更看重"可以被合理控制的例外情形”。勒贝格积分的提出,不仅改进了积分这一具体的运算方法,也在一定程度上,改变了整个分析学的研究取向:分析学开始更为贴近现实世界的实际管理方式——承认噪声的存在,承认异常情形的存在,也承认个别的例外点可以脱离一般规律,但必须能够证明这类例外的"规模"是可以被忽略、也是可以被严格证明的。 若用一个较为形象的方式来理解这一转变:黎曼的方法,近似于一位认真细致的商人,对每一段区间都逐一称重核算;而勒贝格的方法,则更接近一套系统的税务管理体系——先对研究对象进行分区与统计,再依据这一统计结果,制定相应的处理规则。个体化的核算方式,能够较好地管理规模较小的具体事务;而系统化的制度设计,则更适合应对更为庞大、更为复杂的整体对象。 勒贝格的工作,把积分理论推向了更为现代的形态,也使分析学的发展,逐渐迈入了二十世纪的门槛:测度、几乎处处、函数空间等一系列概念,此后将在概率论与泛函分析等领域,成为极为重要的基础性工具。发展至此,希尔伯特的工作,便自然而然地进入了这段历史的视野:他近似于站在新世纪门口的整体规划者,审视着十九世纪已经建立起来的这座理论城市,以及其中依然存在的若干裂缝,进而提出了这样一个更为宏大的问题——整个数学体系,应当如何获得更高层级的理论保障?这一部分内容,将在关于他的专门章节中详细展开,这里暂且从简。他此后所推进的工作,正是承接了十九世纪与二十世纪之间的这一发展脉络:把此前较为分散的理论结构,加以系统整合,把分析学所研究的对象,从具体的函数进一步拓展至更为抽象的空间概念,把"严格"这一原则,推向更为宏观的整体理论规划之中。 结语:分析学是微积分的成年礼,也是文明的程序正义 回顾这段历史,微积分的严密化之所以值得如此详尽地讲述,并非因为这仅仅是一段关于符号表达方式如何变得更为精美的技术性历史,而是因为它记录了一段更为深刻的历程:一个学科如何逐渐学会为自身的每一步推理,承担起应有的责任。 微积分的少年时期,依靠的是非凡的胆识:敢于探讨瞬间的变化,敢于运用无穷这一此前令人生畏的概念,敢于把连续的世界,拆解为可以逐步计算的具体片段。它凭借这份胆识赢得了整个时代的信赖,却也因此招致了此前未曾料及的质疑。分析学的确立,如同一场庄重的成人仪式:它要求每一步推理的合法性都必须被清楚地陈述出来,把此前依赖偶然灵感取得的成功,转化为可以被稳定重复的必然结果。 玻尔察诺代表着这一现代证明风格最初的萌芽:他不再依赖图形本身的直观印象,也不再满足于"看起来理应如此"这样的判断,而是依靠严密的逻辑链条来展开论证;他甚至因政治立场问题而遭受排斥,却依然把关键的理论基础,稳稳地埋入了这座理论大厦的地基之中。 柯西把严密性转化为一套系统的制度,把极限、收敛、连续这些概念,正式写入课堂教学的核心内容;他如同一位严格的教官,培养了一整代学者,也在此后不断的修正与完善之中,推动这套理论体系,如同判例法一般持续成长。 狄利克雷把"函数"这一概念,从此前局限于具体公式表达的框架中解放出来,使分析学所研究的对象范围,得以大幅拓展;研究对象一旦丰富多样,理论体系的严密化,也随之需要进一步深入细化。 魏尔斯特拉斯把"严格"这一原则,提炼为一套可以被反复复制的表达方式,使数学证明具备了类似程序正义的特质;由此涌现的各类反例与特殊情形,也成为分析学不断自我检验、持续完善的重要场域。 戴德金为"连续性"这一概念,提供了严格的理论构造,康托尔则为"无穷"这一概念,建立起系统的分类与秩序,二人在种种争议与压力之中,把整个理论体系的根基,推进到了此前从未达到的深度。 黎曼为积分运算提供了一套严谨而可执行的定义方式,勒贝格则进一步建立起更为系统的处理方法,使"累积"这一运算过程,在面对更为复杂的研究对象时,依然能够获得合法而可靠的理论保障。 希尔伯特此后在新世纪的门槛前登场,预示着更为宏大的基础性理论工程,即将全面展开。 微积分最初,依靠的是天才所具备的非凡胆识,得以迅速发展;而分析学的确立,则使这门学科进一步学会了应有的严谨与审慎——从此以后,数学既保留了勇于开拓、大胆探索的能力,也在每一步推进的过程中,留下了足以被任何人反复追溯、核验、并加以继承的清晰印记。
《奥德赛》:战争摧残所有参与者,告别战争才有真正的文明
如果只把诺兰的《奥德赛》当成一部史诗战争片,可能会有些失望。它并没有把重点放在攻城略地、英雄决斗和胜利凯旋上,而是把镜头对准了战争结束之后。影片中最震撼的是战争留下的一切:燃烧的城市、遍地的尸体、幸存者的疲惫,以及一个胜利者漫长的归乡之路。战争结束了,但苦难并没有结束。 很多人都知道《奥德赛》讲的是奥德修斯回家,但电影真正提出的问题是:为什么一个赢得战争的英雄,却用了二十年才回到家? 神话给出的答案是波塞冬的愤怒、独眼巨人、海妖和女巫;诺兰则让这些神话拥有了另一层意义,它们更像是战争创伤的象征。战争不仅摧毁了城市,也改变了人。身体离开了战场,心却始终困在那里。因此,《奥德赛》的主题并不是航海,而是归乡;真正困难的不是回到伊萨卡,而是重新找回那个战争之前的自己。 诺兰也没有把奥德修斯塑造成一个无所不能的英雄。他会犹豫、会恐惧、会后悔,也会为自己的选择承担代价。他最大的武器不是力量,而是智慧。这一点反而比许多现代改编更忠于荷马史诗。荷马笔下的奥德修斯,从来不是最强大的战士,而是最善于思考的人。 电影另一个值得称赞的地方,是对时间的处理。过去与现在不断交错,战争的记忆反复闯入现实。这不仅是诺兰一贯的叙事风格,也符合创伤的真实体验。经历过战争的人,不会按照时间顺序回忆过去,而是一个画面、一句话,就足以让一切重新发生。 影片中的波塞冬也因此有了新的解释。他不仅是神,更像是命运本身,是战争无法摆脱的后果。奥德修斯真正面对的敌人,不是大海,而是自己必须背负的一切。 最让我印象深刻的是,整部电影几乎没有歌颂战争。它承认英雄的勇气,却拒绝美化战争的荣耀。荷马史诗本来就是如此,《伊利亚特》中最伟大的场景,不是阿喀琉斯杀死赫克托耳,而是赫克托耳的父亲普里阿摩斯来到敌营,请求归还儿子的遗体。那一刻,敌人与敌人之间,只剩下共同的人性。 因此,我认为诺兰拍的并不是一部现代意义上的反战电影,而是忠实于荷马史诗的精神。荷马从来没有否定英雄,也没有否定勇气,但他始终提醒人们:战争的代价远远超过胜利本身。 电影最后真正回答的,也不是如何赢得战争,而是什么才是家。家不是王位,不是宫殿,而是经历漫长苦难之后,仍然有人等待你,仍然能够重新成为丈夫、父亲和一个普通人。 电影《奥德赛》留给我的,并不是战争的壮观,而是战争的恐怖。真正伟大的史诗,从来不是让人向往战争,而是让人明白,任何胜利,都无法弥补战争带来的失去。想想那八年+三年的战争,给四万万个体留下的创伤,居然没有大规模地、深刻的作品,难道真的因为习惯了两千多年的王朝更迭就觉得理所当然,可是人总是要走向文明,否则下一波就不远了…
《数学的故事》第十七章:欧拉——把新数学变成工具箱
如果把数学史想象成一座城市,那么有些人是建造教堂的:他们竖起高塔,让后人得以仰望;有些人是开凿地铁的:他们把地下掏空,为未来铺设好行进的线路;还有极少数人,更像一位手艺极为精湛的铁匠——他并不满足于打造一柄漂亮的剑,而致力于把铁料锻造成一整套趁手的工具,放进每一个人的工具箱里,使后来者在修桥、造船、测星、算利息、设计机器时,都能随手取用。 莱昂哈德·欧拉,正是这样一位人物。他不仅发现了大量定理、公式与方法,更重要的是,他把"新数学"——那套在牛顿与莱布尼茨手中,尚带有初创痕迹、表达方式也尚未统一的微积分——加以系统整理,锻造成一块块结实耐用的基础构件,又把它们打磨成钳子、螺丝刀、量尺、罗盘,使十八世纪的科学家、工程师、航海家、炮兵军官,乃至普通的数学爱好者,都能像使用日常工具一样使用数学。 这听上去似乎有夸张的成分,但欧拉的一生,几乎就是"把抽象转化为可用"这一过程最为充分的注脚。他所写下的公式,后来成为桥梁计算中的钢筋、航海测算中的星盘、机器设计中的齿轮、物理学表达中的通用语言,也成为现代文明中最不引人注目、却也最为可靠的一部分:人们通常察觉不到它的存在,但每一步都建立在它的基础之上。 一、从巴塞尔的河边到彼得堡的冰面 欧拉出生于瑞士巴塞尔附近,那是一处河水清澈、教堂钟声规律的地方。他的父亲是一位牧师,最初希望儿子能够继承神学传统——在当时,天资聪颖的孩子常常被寄予成为学者或牧师的期望,二者在当时的社会认知中,往往并不截然分开。 但欧拉对数字与形状表现出了更为浓厚的兴趣。他此后结识了当时巴塞尔数学界颇具声望的学者——伯努利家族中的约翰·伯努利。约翰·伯努利不仅为他提供了具体的学术指点,更给予了他一种更为重要的东西:一种对待数学研究的严肃态度。在约翰·伯努利看来,数学并非消遣或智力游戏,而是一项值得长期投入、值得以近乎修行般的专注去从事的事业。 欧拉在青年时期,便已展现出一种颇为罕见的能力:他不仅擅长解决具体的数学问题,还擅长把解题的整个过程,整理成清晰、易教、可以反复运用的方法。这种能力,此后使他逐渐成为一位"工具箱"式的人物——他所提供给后人的,并非仅仅是一条现成的鱼,而是把鱼竿、鱼线、鱼钩,乃至垂钓的具体手法,都系统地整理成了一份可供参照的手册。 不久之后,命运把他从瑞士带到了更为遥远、也更为寒冷的地方:俄国的圣彼得堡。这是一座当时正处于快速发展中的新兴帝国城市,如同一艘刚刚下水的巨轮,亟需科学家与工程师协助其装配桅杆、罗盘与火炮等各类装备。彼得堡科学院需要相应的人才,而欧拉,也正需要一个能够充分施展才能的舞台——于是,他在二十岁出头的年纪,踏上了通往北方的旅程。 在彼得堡期间,他所从事的研究工作,大多带有相当明确的实用色彩:船只设计、测量方法、天文观测、力学分析、流体运动……这些研究都紧密关联着现实的需求。也正是在这样的工作环境中,欧拉的数学研究,从一开始便与"实际应用"紧密结合。他并未把应用性的研究,视为某种层次较低的工作,相反,他更像一位擅长精细打磨榫卯结构的匠人:越是需要把研究成果嵌入现实世界之中,就越要把相应的理论形式,打磨得严丝合缝。 二、把符号变成螺丝钉:欧拉的语言革命 在欧拉之前,数学的表达方式,更接近一座堆满各类手稿的阁楼:每一位杰出的学者,大多拥有各自独立的记号系统、书写习惯与表达方式。阅读某一位学者的著作,如同走进他个人的工作间——其中固然散落着许多精妙的思路,但读者往往难以判断,应当从何处入手加以理解。 欧拉完成了一项极具建设意义的工作:他把数学的表达语言,加以系统整理,使其更为统一,也更接近今天人们所熟悉的形式。此前分散多样的记号方式,在欧拉的著作中,逐渐趋于稳定、清晰,也更便于传播:函数被表示为f(x)这一形式,指数与对数的写法变得更为系统,三角函数的处理方式,也逐渐形成了一套规范的表达体系。今天广泛使用的自然对数底数e之所以成为数学中最为常用的常数之一,也与欧拉本人的推广与偏好密切相关。至于虚数单位i,在欧拉的论述之中,也不再被视为某种神秘难解的存在,而更接近一件新的工具——专门用以处理此前难以解决的一类具体问题。 单从记号本身来看,这类工作或许显得并不起眼。但文明的进步,往往正是由这类看似细微的工作逐步累积而成的。文字系统、度量衡制度、货币体系、时区划分……这些体系一旦得到统一,便能够使不同地域、不同背景的人们,更为顺畅地展开协作。数学同样如此。欧拉的工作,使数学从此前"各自为政"的表达方式,逐渐走向一套更为通用的语言体系,使其能够被更大范围地学习、传播、复制与改进。这正是此后工业化时代所格外看重的一项特质:知识本身所具备的可复制性。 更为关键的是,欧拉撰写了大量教材性质的著作,其写作对象,并非仅仅面向少数天赋卓绝的学者,而更多面向勤于学习的普通读者。阅读欧拉的著作,能够感受到一种颇为难得的体贴:他并不急于展现自身的聪明才智,而更致力于使读者也能够真正掌握并运用相关的方法。他的行文方式,近似于一位耐心的指导者:先把相应的工具准备妥当,再一边示范操作,一边提示应当注意的细节与容易出错的环节。 因此,欧拉不仅在持续推进数学研究本身,也在实质上推动了"数学教育"这一体系的建立。此后欧洲的工程学、天文学与物理学之所以能够迅速发展,一项重要的原因,正是当时的学界已经具备了一整套能够系统训练人才的数学工具,而这套工具体系之中,欧拉本人的贡献,占据了相当大的比重。 三、七座桥与一张看不见的网 欧拉曾接触到一道当时流传于城市之中的趣味问题:在普鲁士的柯尼斯堡,一条河流把城市分割为几个区域,河上共架有七座桥。有人提出这样一个问题:能否从城中某处出发,恰好经过每一座桥一次,最终回到出发点,或者说至少能够不间断地走完所有桥梁? 这类问题在当时的社交场合中颇受欢迎:它既不像税务问题那样令人反感,也不像哲学问题那样过于抽象费解。人们乐于就此展开讨论,喜欢在纸上绘图推演,也喜欢用手指在桌面上比划路径。 欧拉则以一种颇为冷静的方式,把这一问题加以抽象化处理:他并不关心桥梁本身的长度、河流的宽度,或是沿途的风景,而只关注其中的连接关系——把各个陆地区域抽象为"点",把每一座桥抽象为连接两点之间的"线"。由此,整座城市便被转化为一张由点与线构成的骨架图,一张此前不曾被人以这种方式看待过的网络结构。 这正体现出一种颇具代表性的"工具箱式"思维:把具体的问题剥离到只剩下最为核心的"结构",一旦把握住这一结构,许多此前看似毫不相关的问题,便可能被归入同一种类型之中来加以处理。欧拉为这类由点与线构成的网络确立了相应的处理规则,此后的学者,把这一方向的研究,称为"图论"的开端。今天,从互联网的路由传输,到社交网络的结构分析,从物流配送路径的优化,到芯片电路的布局设计,从地铁换乘系统的规划,到基因调控网络的研究,都可以看到"点与线"这一思路的延伸与应用。人们日常使用手机导航时,所依赖的底层逻辑,某种程度上,仍然延续着欧拉当年对那七座桥所作的冷静观察。 更值得关注的是,欧拉并未把这一发现,仅仅视为一次巧妙的智力游戏,而更像是发现了一种全新的研究材料:原来,“关系"本身,也可以被纳入数学化的处理之中。人类文明中许多现实问题,从本质上说,正是关系层面的问题——谁与谁相互连接,怎样的连接方式更为高效,怎样的结构更为稳定,怎样才能避免拥堵。欧拉把这一类问题,从日常的闲谈之中,正式引入了科学研究与系统方法论的领域。 四、欧拉公式:一张可以折叠的纸 谈及欧拉,很难绕开那个格外引人注目的公式,它大致存在两种表现形式:一种近似于一句凝练的诗句,另一种,则更接近一把功能强大的钥匙。 其一,是被后世称为"最美公式"的等式:e的iπ次方加一等于零。这一等式之所以备受推崇,是因为它把数学中五个最为基础的常数,汇聚在同一个表达式之中:0与1,分别代表算术体系中的起点与基石;π,代表着圆这一几何对象的核心特征;e,代表着增长与连续变化过程的核心;而i,则是虚数单位,是通向复数这一更为广阔的数学世界的入口。再加上加法、乘法与指数运算这几种基本的数学操作,整个等式,近似于凝聚了数学这门学科最为核心的若干元素。 不过,若仅仅把这一公式视为一种形式上的美感,加以欣赏,便如同站在钟表店的橱窗前,只是赞叹表盘的美观,却并未深入了解其内部齿轮的运转原理。欧拉这一成果真正的价值所在,并不只是形式上的精巧,而在于它构成了此后诸多实际应用之中极为关键的核心环节:它把指数函数与三角函数联系了起来,使复数不再是一种令人费解的抽象构造,而成为处理振动、波动、交流电,以及量子力学中相位问题等一系列现实问题时,极为自然的表达语言。 其二,则是更具实际操作价值的欧拉公式:e的ix次方,等于cos x加上i乘以sin x。这一公式,近似于数学领域中的一台"发动机”,可以把它理解为一张能够折叠的纸:等式左边是指数形式的表达,右边则是三角函数形式的表达,二者原本分属两个相对独立的领域,欧拉借助这一公式,为二者之间架起了一座桥梁。由此,许多原本较为复杂的三角恒等式、微积分运算,以及物理学中的相关推导,都能够借助这一公式,被转化为更为简洁的形式,如同折纸一般,把原本繁复的结构,折叠成更为简明的样态。 这一公式之所以极具"工具箱"式的价值,正是因为它使人们能够"更换一种表示方式"来处理同一个问题。工程师们尤其看重这种能力:同一个问题,若能够更换一种坐标系统,或更换一种数学语言来加以表达,其处理难度往往能够大幅降低。欧拉由此为人类提供了一种极为稳定、也颇为优雅的"语言转换"方法——把旋转转化为指数运算,把波动转化为相位关系,把复杂的叠加运算,转化为相对简单的乘法运算。 此后,当电力工程师借助复数计算交流电路,当物理学家借助相位来描述波动现象,当信号处理领域把噪声信号分解为不同的频谱成分时,这些研究者所直接使用的,虽然并非欧拉本人,但他们所依赖的具体方法,正是欧拉当年所锻造出的这一关键工具。 五、除了公式,还有欧拉的"海洋" 若认为欧拉的成就仅仅局限于那条广为人知的公式,便如同认为整片海洋不过是一朵浪花那样局限。 他在数论领域,同样留下了大量极具分量的研究成果:例如,他成功解决了著名的"巴塞尔问题",把由各个正整数平方的倒数相加所构成的无穷级数,精确求出了其数值,而这一结果,竟然与圆周率π存在着密切的关联。这种"表面上看似毫不相关、实际上却存在深层联系"的现象,正是数学这门学科的独特魅力所在:在看似平凡的整数序列之中,竟然隐藏着与圆相关的深刻印记。 他还在微分方程、变分法与力学领域,建立起了较为系统的理论框架,使许多物理学定律,得以被更为普遍、也更为精确地表达与求解。他研究刚体运动、流体力学以及天体轨道等诸多问题——在那个尚未出现计算机的年代,他主要依靠手工演算,持续推动着"可计算的物理学"这一研究方向不断向前发展。他一生的研究产出极为惊人,一页页、一卷卷的著作,持续积累,最终形成了后世学者难以绕开的深厚学术积淀。 更值得一提的是,他曾撰写过一系列致一位德国公主的书信,以极为通俗易懂的方式,把复杂的物理学与数学知识,阐述得如同日常对话一般自然流畅。欧拉并未把自己的学识局限在少数专业学者的圈子之中,而始终愿意以更为开放的方式,把知识分享给更广泛的读者群体。在"科学知识的公共传播"这一方面,欧拉也在相当早的阶段,便展现出了一种颇具现代意味的自觉:他清楚地认识到,一个文明的持续发展,不仅需要天才所迸发出的思想火花,也同样需要能够被普通大众理解与传承的知识之光。 六、盲眼的工匠:在黑暗中继续雕刻 欧拉晚年逐渐失明,这一经历本身,近乎带有某种寓言般的意味:一位毕生致力于把纷繁的世界转化为清晰符号的学者,最终却在生理层面失去了视力。 但欧拉并未因此而停止研究工作。他如同一位技艺娴熟、甚至不再需要依赖图纸的木匠,仅凭内心对空间与结构的深刻理解,继续从事着相应的研究工作。他通过口述的方式,由助手负责记录;他在脑海中持续进行复杂的推演,如同摆弄棋局一般,反复调整、验证各类公式与结论。对他而言,失明似乎只是意味着某种"研究方式的转换"——此前主要依赖视觉获取的信息输入不复存在,但他的思维,却因此而更为彻底地成为了他从事研究工作的核心场所。 这一情形令人由衷敬佩:一位年迈的学者独自坐在房间之中,外界的色彩逐渐在他眼前消失,但数学的世界,却在他的思维之中,依然保持着清晰而明亮的状态。仿佛现实中的光线逐渐黯淡,思想之中的光芒,却因此变得更为耀眼。由此可以体会,欧拉所展现出的力量,并不仅仅源自过人的聪慧,更源自一种长期、稳定,近乎修行般的持续工作能力。他并非那种偶尔迸发灵感的诗人式人物,而更接近一位每日按时投入工作的工匠——只是他所雕琢的对象,是无穷的概念与高度抽象的理论。 七、欧拉在数学史与文明史中的位置 若把数学发展的历史比作一场接力赛,欧拉并非某一棒次中爆发力最强的选手,而更接近那位把整条赛道加以修整、铺平的人。他的工作,使此后的研究者能够跑得更快、更稳,也更不容易因路面的坎坷而受挫。 他的重要性,大致可以从三个层面来加以理解。 第一,他把微积分推向了系统化、体系化的发展阶段。牛顿与莱布尼茨此前开辟出了一片全新的理论领域,但相应的表达方式,尚显粗糙,各类符号也尚未形成统一的标准。欧拉的工作,近似于组织起一支完整的工程队伍:修筑道路,架设桥梁,竖立界碑,绘制系统的地图,把这片此前尚显荒芜的理论领域,逐步转化为一处能够被广泛使用、持续发展的成熟区域。十九世纪数学之所以能够迎来蓬勃发展,其中一项重要原因,正是欧拉此前已经为其奠定了扎实的基础设施。 第二,他把数学转化成了一套"通用的工具体系"。在欧拉之前,数学更接近少数人所专属的智力游戏;而在欧拉之后,它逐渐成长为一套能够被大规模学习和运用的完整工具体系。此后工程学、天文学与物理学领域所取得的诸多进展,并非仅仅得益于天才人物数量的增加,而更多得益于相关工具本身变得更加成熟、更加便于使用。一旦相应的工具足够成熟,即便是普通的研究者,也能够借助这些工具,取得颇具价值的研究成果——这正是现代文明发展的一个重要特征。 第三,他为人类提供了一种把握"不可见之物"的有效方式。复数、指数函数、图论中的网络结构、无穷级数……这些概念本身,都并非人类肉眼能够直接观察到的具体实体,但它们却能够用以准确描述旋转、波动、网络结构,以及各类增长过程。今天的现实世界之中,同样充满了大量不可见的复杂结构:电磁场、信息流动、金融市场的波动曲线、交通网络、社交关系网络,以及各类算法路径。欧拉的工作,使数学第一次真正具备了处理这类无形结构的能力,如同为人类配备了一双能够把握住空气本身的手套。 因此,欧拉的历史地位,并不仅仅在于他是一位"伟大的数学家",更接近于一位"文明的工具制造者"。他的工作,使这个世界变得更加可以被计算,也更加可以被系统地设计。今天所见到的桥梁工程、航空技术、通信系统、导航设备、医学影像技术,乃至日常生活中所接触到的各类推荐算法,其背后,都能够找到那套工具体系的深刻印记,而欧拉,正是最早把这套工具体系,大规模系统化制造出来的关键人物。 尾声:工具箱合上时,世界仍在运转 据记载,欧拉在去世当天,仍在与人讨论天体运动与相关的具体计算问题。他的离世,并不像戏剧中那样充满谢幕的仪式感,而更接近一位工匠结束了一天的工作:把使用过的工具收拾整齐,放回箱中,随后安静离去。但工具箱之外的这个世界,却并未因此而停止运转——因为这些工具,早已留在了人间,持续为后世所用。 一些天才的成就,如同流星一般,虽然耀眼却较为短暂;欧拉则更接近一座灯塔,其价值并不依赖于某一瞬间的强烈爆发,而依靠长久而稳定的持续照耀。很难用某一个单一的故事,去完整地概括他的一生,因为他更接近一整套完善的系统、一座持续运转的工厂,或是一条源源不断供水的水渠——这类事物,往往并非依靠某种传奇色彩来吸引人们的关注,而是依靠持续不断的供给,切实地改变着周围的一切。 因此,当说"欧拉把新数学变成了工具箱"时,这并非仅仅是一句修辞性的比喻,而近乎是对这段历史相当准确的概括:他把此前散落在各位天才手中的零散成果,逐渐锻造成了标准化的构件;把新兴理论领域中此前尚不成熟的探索路径,逐步铺就为可供后人稳定通行的大道;把原本仅属于少数人的专业语言,转化为众人皆可理解和使用的通用表达方式。 而文明真正可靠的进步,往往正是发生在这样安静而持续的过程之中——当一只工具箱被摆放在桌面上、被缓缓打开时,其中的每一件工具,似乎都在无声地传递着同一个讯息:这个世界是可以被理解的;再复杂的难题,也是可以被逐步拆解的;只要愿意亲自动手去尝试,数学的工具,便始终在那里,等待被使用。
《数学的故事》第十六章:微积分之后的扩张——从“新发明”到“欧洲共同语言”
“代数与几何分离时,它们的发展都是缓慢的;当两者结合时,它们便互相赋予新的生命力,并以迅猛的步伐共同迈向完善。” —— 拉格朗日(Joseph-Louis Lagrange) 微积分一旦诞生,便迅速在整个欧洲学界流传开来——有人用它探究天体的运行,有人用它处理曲线的性质,有人用它研究水流与钟摆的规律;也有人围绕着"发明权"与"名誉归属"争执不休,门内门外为此吵作一团。但争议归争议,这套工具本身的实用价值,并不会因此而消失:它依然能够转动此前难以撬开的锁芯,让许多此前悬而未决的问题,重新有了突破的可能。 牛顿式的微积分,更接近一件深藏于研究者个人笔记之中的工具,锋利、沉重,带着浓厚的物理学气息;莱布尼茨式的微积分,则更接近一套面向公众的新语言,轻便、易于书写、便于教学,也便于在不同学者之间交流。到了十八世纪,第一批投身于这一领域的数学家,并未把微积分仅仅视为"哲学家书斋中的思辨对象",而是把它当作一种能够切实解决实际问题、赢得学术声誉的有力工具。 这一章所要讲述的数学家,并非微积分的发明者,却是使这门学问真正"活跃起来"的一批人:他们把一项属于个别天才的创造,逐渐转化为整个时代共享的知识财富。一门新学问能否真正改变世界,往往取决于"第二批人"——那些愿意系统地传播它、讲授它、改进它,并把最初的成果推向更广泛人群的人。 一、巴黎的课桌与巴塞尔的挑战:洛必达与伯努利家族 微积分真正成为"欧洲共同语言",很大一部分功劳并不在于开创者本人,而在于此后从事教学与整理工作的学者。洛必达出身法国贵族,是一位对这门新兴学问抱有浓厚兴趣的爱好者。他所追求的,并非"独自发明某种全新成果"这样的荣誉,而是一个相对朴素的目标:把这门新学问系统地学会、清楚地写出来,并教授给更多的人。 洛必达在数学史上最重要的身份,几乎可以用一个词来概括:教科书的编写者。在一门新学问刚刚诞生的阶段,一部系统的教科书往往具有特殊的意义——它意味着这门学问开始从"少数人所掌握的秘技",转变为"多数人能够学习的技艺"。天才或许能够独自开辟出一条道路,但教科书能够把这条道路加以整理、标注清晰的路标,使普通的学习者也能够沿着这条路走下去,甚至走得更远。 洛必达的著作之所以重要,并非因为他在理论深度上超越了牛顿,也并非因为他的研究早于莱布尼茨,而是因为他把此前分散的各类技巧,系统整理成了一套可供训练的固定程序。他把微分的具体操作、曲线切线的求法、极值问题的处理方法,以及若干常见的疑难问题,依照一定的逻辑顺序加以排列,使学习者能够依循这一顺序,逐步掌握相应的方法。而在他的著作背后,实际上还站着一个更接近"数学工坊"性质的家族——伯努利家族。 如果说牛顿与莱布尼茨是这一领域的两座高峰,那么伯努利家族便是山脚下最为勤勉的一支开拓队伍。这个家族的成员,彼此之间既相互竞争,又相互扶持、相互激励:雅各布与约翰这对兄弟,此后又加入了更为年轻的丹尼尔。他们共同的特质,是极强的好胜心、敏捷的思维,以及对疑难问题近乎痴迷的热情。 微积分刚刚兴起之时,伯努利家族做了一件颇具推动作用的事情:他们不断提出各类难题,公开向欧洲学界发起挑战,邀请各方学者前来应战。微积分正是在这样持续的挑战与应战之中迅速走向成熟——因为一项工具往往只有在实际应用之中,才能真正显现出它的局限与潜力所在。 其中最为著名的一次挑战,是"最速降线问题"。这一问题的表述相当直观:一颗小球在重力作用下,从一点滑向另一点,沿着哪一条轨迹滑行所需的时间最短?若单凭直觉,人们往往会认为直线距离最短,因而耗时也最短;但事实上,直线未必是耗时最短的路径。若考虑到"起始阶段陡一些有助于加速"这一因素,又该如何确定曲线的具体弯曲程度? 这一问题的独特之处在于,它促使数学不再仅仅关注"形状本身",而开始处理"最优选择"这一全新的问题类型:在无数条可能的曲线之中,究竟哪一条才是最优的?这已经超出了传统几何学所擅长的范畴,而更接近一种带有工程学色彩的判断——在无限多种可能性之中,寻求最优的具体方案。这正是此后被称为"变分法"这一研究方向的最初雏形。 伯努利把这一问题公开提出之后,欧洲学界最为杰出的一批学者纷纷应战:有人借助几何学上的巧妙构思,有人则运用新兴的微分方法。其中最富戏剧性的一幕,与牛顿有关:据说他在处理繁忙的公务之余收到这一题目,仅用一夜的时间便完成了求解,次日以匿名的方式将解答寄出——这一举动似乎在表明:他虽已不再主动参与这类学术竞赛,却依然具备赢得比赛的实力。这类轶事的具体细节未必完全可靠,但它确实说明了一点:微积分此时已然成为一处颇具竞技色彩的学术领域,而牛顿即便置身场外,仍被公认为其中最具分量的一位参与者。 对伯努利家族而言,这场竞赛更接近一次系统性的训练过程。他们不仅致力于求解具体的难题,还进一步把求解的过程,整理成可以被反复运用的方法,促使微积分逐渐能够处理更为复杂的问题:变化本身的变化,曲线本身的曲率,以及"最优"与"极值"之间那种颇为微妙的临界状态。 而身处巴黎的洛必达,则把这些分散的研究成果加以系统整理,编写成条理清晰的教材。历史上还留下了一段颇具争议的插曲:洛必达与约翰·伯努利之间曾订立过一项私下协议——由伯努利提供最新的研究成果与相关讲解,洛必达则支付相应的报酬,并获得使用这些成果的权利。这一安排此后引发了关于"成果归属"的争议:某些以洛必达之名流传的著名法则,其原始的研究成果,究竟应当归功于谁?由此可见,微积分这门学问,似乎从诞生之初,便伴随着某种"归属之争"的特质:从牛顿与莱布尼茨之间的争执,到教材与手稿之间的权属问题,学术声誉如同影子一般,始终伴随着这些研究成果。 不过,从文明发展的角度来看,这类争议的出现,恰恰说明微积分已经真正进入了现实社会的知识交换体系之中——它不再仅仅是某一瞬间的灵感闪现,而已经成为一种可以被公开讨论、被广泛应用的知识资产。人们围绕它所展开的种种争夺,恰恰印证了它自身所具备的重要价值。 二、把无限写成可控的近似:泰勒与"展开的思想" 在微积分不断扩张的过程中,除了公开的学术竞争与系统的教材编写之外,还存在着一种更为安静、却同样深刻的推动力量:把复杂的对象转化为可以逐步逼近、可以具体计算的形式。这一方向的代表人物之一,便是布鲁克·泰勒。 此前提到,牛顿所创立的微积分体系,带有一种较为质朴的气质:它坚实可靠,却在符号表达上略显繁重;它思想深邃,却在具体形式上不够灵活便捷。牛顿更倾向于使用"流数"与"流率"这类术语,其思考方式更接近一位专注于观察自然运行规律的哲人,而非一位擅长在符号之间灵活推演的技术专家。这种表达方式,在思想层面固然极具分量,但在具体运算的形式上,却显得较为繁琐。 然而,即便在这一表达方式尚显保守的学术背景之下,仍有敏锐的学者能够洞察出隐藏于既有符号体系背后的更深层规律。泰勒正是这样一位值得关注的学者。 泰勒并非那种以宏大理论体系震动整个学界的革命性人物,而更接近一位耐心细致的研究者。他在牛顿所留下的研究工具基础上,深入钻研,最终发现了一条具有普遍意义的重要规律:任何足够光滑的函数,都可以在某一点的附近,展开为一个无穷级数。这一发现,此后被称为"泰勒展开"或"泰勒级数"。 这看似只是一项技术性的成果,却在无形中深刻地改变了数学的表达方式。它把曲线转化为多项式的形式,把复杂的问题转化为相对简单的问题,把持续的变化过程,拆解为一层层可以逐步计算、逐步逼近的结构。它向人们表明:即便面对的对象无限复杂,依然可以在某一局部找到理解与把握这一对象的切入点。这为此后的数学家提供了极为重要的启示:当面对一个难以直接完整处理的复杂对象时,不必强行把握其整体,而可以在某一具体的点附近,把这一对象拆解为一系列层层递进的近似:先把握住其中最为主要的部分,再逐步添加相应的修正项,进而添加更为精细的修正——如同绘制一幅肖像画:先用较粗的笔触勾勒出整体轮廓,再用中等的笔触添加明暗层次,最后用极细的笔触刻画出神态细节。 这种思路虽然听起来接近艺术创作的方式,实际上却成为近代科学得以运转的重要基础。因为现实世界中充满了各类复杂的现象:天体运行中的摄动问题,弹簧的振动,流体所受到的阻力,热量的传播方式……若一味要求一次性得出"完全精确"的结果,往往会耗费极为漫长的时间,难以取得实际的进展。但若能够采用逐层逼近的方式,便能够把复杂的问题,转化为"可以计算到所需精度"的具体任务。这一思路,在工程实践与天文观测领域,具有极为重要的实用价值:不必追求绝对完美的认知,只需具备足够精确的近似结果,便足以支撑桥梁的建造、航海的导航,以及钟表的校准等各类实际工作。 泰勒所提出的这种展开方法,也在一定程度上改变了微积分本身的性质:它使微积分不再仅仅是一门"求解瞬时变化与累积总量"的学问,而进一步成为一门"把未知转化为可控误差"的学问。数学家们由此逐渐学会了这样一种表述方式:眼下所给出的,或许只是一个较为粗略的答案,但已经掌握了系统改进这一答案的具体方法;误差本身,并非某种令人羞于承认的缺陷,而是一项可以被合理管理、可以被主动控制的"预算"。 这一转变具有相当重要的意义,因为它使微积分真正融入了此后逐渐兴起的计算文化之中:一套理论方法,不仅需要在逻辑层面成立,还需要在具体的数值计算中真正可用。此后,欧洲的数学家们,愈发倾向于以一种接近工程师的态度来处理问题:只要相应的误差能够被合理压缩、能够被准确估计、能够被反复验证,他们便愿意接受结果中所包含的一定误差。 值得关注的是,这一时期还呈现出一个更为宏观的发展趋势:牛顿时代的微积分,更多依靠个别天才的直觉与洞察;而泰勒之后的微积分,则愈发接近一套经过系统训练的、可以被广泛掌握的技术方法。它逐渐形成了固定的思路、明确的步骤,以及可供反复练习的标准方法,从而能够在课堂教学中被大量地传授与复制。文明的进步,在很多情况下,正是通过这样一种方式实现的:把原本仅属于少数人的灵感,转化为多数人皆可掌握的实际技能。 三、逻辑的诘问:贝克莱的质疑与严密化的先声 就在微积分以相当迅猛的速度不断扩张应用范围之时,有一位学者站在这一发展进程的旁侧,提出了颇为尖锐的质疑。贝克莱本身是一位主教兼哲学家,并非数学领域中擅长具体解题的专家,但他所提出的问题,却精准地触及了当时微积分体系中最为敏感、也最为薄弱的一处环节:这套方法所依赖的"无穷小",在运算过程中,有时被当作一个非零的量来参与除法运算,有时却又在得出结果之后,被当作可以忽略不计的部分直接舍去——这种处理方式,究竟能否被称为严格的推理?所谓的"无穷小",究竟是一种真实存在的对象,还是仅仅是一种用后即弃的权宜说法? 这一质疑之所以颇具分量,是因为它并非来自数学领域内部的竞争对手,而是来自逻辑学与宗教信仰领域的重要人物。在当时,数学家们时常以"神学家的论证同样并不严密"这类说法,来回应外界对宗教教义的质疑;而贝克莱则反过来,以同样的逻辑标准,对数学家的推理方式提出诘问,追问这些推理是否真正配得上他们所自诩的清晰性与确定性。 他最为尖锐、也最常被后人引用的一句评论,是把"无穷小"比作"消逝量的幽灵":数学家们前一刻还让这一概念在推理过程中发挥实际作用,转过身却又将其从结果中彻底剔除,宣称"它已不复存在"——这样的处理方式,究竟属于严谨的科学方法,还是某种巧妙的障眼法? 贝克莱恰好站在了一个颇具意义的历史节点之上:此时的微积分,虽已强大到足以解释诸多自然现象,却尚未能够把自身的理论基础完全阐述清楚。这如同一座建造速度极快的建筑:楼上已然住满了人,但楼下的产权文件却尚未完全办妥。贝克莱的质疑,并非意在推倒这座建筑,而更接近一种提醒:无论这座建筑建得多高,其地基,同样需要得到应有的补充与巩固。 这一质疑,并未使当时的数学家们立即改变自己既有的研究方式——毕竟他们对这套工具的实际需求过于迫切,难以轻易放弃。但贝克莱所提出的疑问,如同一粒落入齿轮之中的细沙:数学研究依然能够照常推进,但学界也逐渐意识到,这套方法确实有必要经过更为精细的打磨。从心理层面而言,微积分此后走向理论严密化的历程,确实需要这样一种来自外部的持续压力:有人明确指出,“你们此前所取得的胜利,或许来得过于轻易,理应把这笔账目重新核算清楚。” 四、欧拉:像巨轮一样贯通整个时代 若要为这一时期的微积分寻找一个恰当的比喻,欧拉近似于一台巨大的水车:无论水流来自哪一条河道——微分方程、无穷级数、曲线理论、力学、天文学、数论——这台水车都能借助水流的力量持续转动,再把这股动力,源源不断地分发到无数座磨坊之中。伯努利家族此前为微积分的发展提供了持续的挑战与燃料,而欧拉,则近似于把这些分散的燃料,汇聚成一台运转不息的发动机:微积分自此不再仅仅是两三位大师私下掌握的精深技艺,而逐渐成为一整套能够持续、大规模产出研究成果的完整体系,欧拉正是这台体系之中,转动得最为响亮的那根主轴。 欧拉一生的具体经历与全部贡献,分量极重,值得用专门的篇幅细致展开,本书此后将另辟一章,专门讲述这位数学史上极为重要的人物,此处暂且按下不表。此刻,不妨把目光转向另外两位同样值得关注的人物——达朗贝尔与拉格朗日。他们代表着微积分扩张进程中的另一种成熟形态:从具体解题,走向系统结构;从零散技巧,走向普遍原则。 五、达朗贝尔:把运动写成"可论证的秩序" 达朗贝尔是法国启蒙时代颇具代表性的一位学者:他相信理性能够梳理这个世界,相信数学方程能够驯服自然界的复杂现象,也相信科学研究,需要更为清晰的表达方式与更为严格的论证过程。他所处的时代,学会、沙龙与百科全书式的知识整理工作正蓬勃发展——知识不仅需要在内容上准确无误,还需要能够被系统地写入公共的知识体系,融入整个社会对理性的普遍信心之中。 在微积分不断扩张的历史进程中,达朗贝尔的角色,近似于一位致力于把此前杂乱的研究成果加以系统整理的学者。伯努利家族擅长提出难题、并致力于解决难题;而达朗贝尔则更为关注:能否把这些难题背后所蕴含的内在机制,阐述得更加清晰?能否把某一类运动、某一类振动、某一类力学问题,纳入一套统一的理论结构之中加以表达? 在他的研究中,微积分逐渐呈现出一种类似"自然规律语法"的性质,这一点在振动与波动这类问题的研究中体现得尤为明显:当一根琴弦被拨动之后,它的形态将如何随时间发生变化?声音的高低究竟由何决定?振动又是通过怎样的方式向外传播?若仅仅依靠几何直觉来处理这类问题,往往会被瞬间的局部变化与整体的形态变化所困扰;而微积分则如同一支得力的笔,能够把"每一瞬间所发生的局部变化",系统地连接为"整体随时间推移而呈现的完整演化过程"。达朗贝尔把这一类演化过程,阐述得更接近一条严谨的自然定律,而不仅仅停留在具体的解题技巧层面。 同样值得关注的是,达朗贝尔在治学的整体气质上,已经颇为接近此后数学"严密化"进程的先声。他对级数的收敛性、对极限概念,以及对推理链条的严谨程度,表现出了相当敏锐的关注,这也预示着分析学此后将逐渐从"实际有效",进一步走向"能够清楚说明为何有效"这一更高的要求。这并不意味着他本人已经完成了这一严密化的历史任务(这一使命此后主要由柯西、魏尔斯特拉斯等学者完成),但他的研究,已经使人们隐隐感受到:微积分这把此前锐利的工具,在应用范围不断扩大的同时,也愈发需要对其刀背与刀柄部分进行细致的打磨——否则,这把工具本身,也可能因逻辑上的疏漏而带来新的风险。 六、拉格朗日:把微积分从图形中解放出来 如果说达朗贝尔使微积分更接近一种系统的秩序,那么拉格朗日,则使微积分进一步接近一台纯粹的分析机器。 拉格朗日的重要贡献,在于他把微积分进一步从具体的图形与直观的几何形象中抽离出来,推向一种更为抽象、更具普遍性、也更接近符号逻辑的理论结构。他治学的态度,近似于一位极为严谨的语言学家:不满足于含糊不清的表述,也不容忍逻辑上的例外情形,力求使一切论证,都能够在同一套严密的表达体系中得以呈现。在他看来,几何图形固然直观、易于理解,但图形本身也容易使人产生某种思维上的松懈:仅仅因为"看起来"符合某种规律,便误以为这一规律已经得到了严格的证明;仅仅因为图形绘制得较为逼真,便误以为相关的结论必然正确。拉格朗日更倾向于借助纯粹的分析方法,把全部的论证都严格限定在符号推演的层面:不能依靠直观的图形蒙混过关,而必须依靠系统的推导、严谨的结构,一步一步地把结论真正推导出来。 这一转变,带来了一项颇具历史意义的后果:微积分从此不再仅仅被视为"处理曲线问题的一系列技巧",而更接近"处理各类数量关系的通用引擎"。研究者不必事先绘制出具体的曲线图形,只需明确写出相应的数量关系,微积分便能够依循既定的规则,完成后续的运算与推导。自然现象由此被转化为具体的数量关系,数量关系又被进一步转化为变化的规律,而变化的规律,则被转化为可以直接操作的运算程序——微积分最终发展成为支撑现代科学运转的一套基础性方法体系。 这一转向在力学研究领域,体现得尤为明显。牛顿时代的力学研究,主要处理的是"可以直观感知的力":对物体施加推力或拉力,物体便随之产生相应的运动;只要把作用力明确写出,物体的运动轨迹便可依此确定。而到了拉格朗日的时代,力学研究,则更多地转向"系统结构层面的力":不必逐一关注系统中每一根绳索、每一处铰链的具体状态,而可以在更高的层面上,描述整个系统所受到的约束条件与所具备的能量关系,进而借助系统的分析方法,推导出该系统的运动规律。由此,一个原本极为复杂的机械系统,其运动规律,便得以从"难以逐一想象的具体细节",提升为"可以统一处理的一般形式"。这不仅是数学研究方法上的一次重要突破,也体现出工程思维的一次深刻转变:从关注局部具体的零件,转向关注系统整体的结构。 此外,拉格朗日同样是推动微积分走向理论严密化的重要人物之一。他曾尝试借助级数展开等分析方法,为微积分构建更为坚实的理论基础,试图以一种更接近算术运算的方式,替代此前较为含糊的"无穷小"直觉。虽然从后世更为严格的标准来看,这一尝试,并未能够彻底解决微积分理论基础中存在的全部逻辑问题,但它确实体现出一个重要的发展方向:微积分不再满足于仅仅作为一种实用的计算工具存在,而开始追求成为一套具有法律般严谨性的理论体系;不再满足于"能够得出正确的计算结果",而进一步追求"能够清楚地证明为何这样计算是正确的"。 七、微积分:一种"文明的共同肌肉" 微积分诞生之初,近似于一场天才思想的骤然迸发:牛顿与莱布尼茨各自在相对独立的研究环境中,几乎同时把握住了这一深刻的理论突破。那一时刻,无疑是孤独的、充满思想张力的,也带有某种极具开创性的历史意味。然而,这样的思想突破,若缺乏后续的持续传播,其影响范围终究有限,如同一道闪电,虽足以照亮短暂的瞬间,却难以持续照亮整座城市。真正使这份思想成果,得以广泛流传、持续发挥作用的,正是此后一批学者的共同努力。 洛必达把这门新兴的学问系统整理成教材,使其得以被广泛学习与传播;伯努利家族通过持续提出难题、展开公开的学术竞争,推动这一工具不断得到检验与改进,并由此催生出"最优化"这一全新的研究方向;泰勒把它发展为逐层逼近的系统技艺,使复杂的现实问题能够被计算到所需要的精度;贝克莱则指出了"无穷小幽灵"背后所隐藏的逻辑漏洞,为此后理论层面的严密化敲响了最初的警钟;欧拉几乎贯通了当时数学的各个分支,证明这一工具已经具备了大规模、系统化产出研究成果的能力;达朗贝尔使微积分更接近于对自然规律的一种系统表达;拉格朗日则使它进一步摆脱对具体图形的依赖,发展成为一套更具普遍适用性的抽象分析工具。 微积分由此从少数天才思想的产物,逐渐演变为一场深刻的社会化建设工程:它从两位开创者的书桌,走入千百位学者的课堂、学会、书信与论著之中,最终成为现代世界中一种极为自然的思维方式。一旦掌握了这套方法,人们便会不自觉地借助它来观察这个世界——观察增长的趋势,观察衰减的过程,观察波动的规律,观察最优的选择,观察误差的控制,观察逐步逼近的过程。它不再仅仅是两位开创者个人的思想财富,而成为整个文明共同拥有、共同锻炼的一种思维能力。每一代学者对它的运用,都是对这套方法的一次锻炼;每一个具体问题借助它得到解决,都是对其应用边界的一次拓展。 而随着这一过程的持续推进,贝克莱当年那番质疑的意义,也愈发清晰地显现出来:一套工具的能力越是强大,其自身合法性的问题,便愈发显得紧迫。一把普通的锤子若不慎钉错了位置,至多损坏一块木板;但一套已经深刻渗透进物理学、工程学、经济学乃至哲学各个领域的数学工具,若其内在的逻辑基础尚不牢固,那么建立于其上的诸多理论成果,都可能因此而面临潜在的风险。数学界不能仅仅满足于陶醉在这套工具所展现出的强大威力之中,还必须认真回应关于这套工具自身合法性的追问——这并非不必要的苛求,而正是一个成熟的知识体系,对自身保持诚实态度的重要体现。 此后微积分理论走向严密化的历程,恰如为这座已然建成的宏伟建筑,补齐地基的产权文件、消防安全规范,以及必要的结构验证。柯西与魏尔斯特拉斯等学者,将借助更为严谨的极限定义,把贝克莱当年所提出的"幽灵"问题彻底化解,把极限这一核心概念,阐述得如同法律条文一般严密而清晰。这将是另一段值得讲述的历史,也是数学发展史上又一次艰难而必要的自我修订。但在这一历程真正展开之前,回望这座历经百余年时间才逐步建成的数学大厦,看到它高耸的飞檐与穹顶,也看到其中曾经存在的裂缝与尚待巩固的地基,便不难体会到这样一个道理:伟大的理论成就,从来不是一蹴而就的产物,而是历经数个世纪、由一代又一代学者接续努力所共同铸就的。每一位参与其中的学者,都使这一理论体系,走得更远,也变得更为稳固。
《数学的故事》第二十一章:阿贝尔与伽罗华——不可能的证明与群论的诞生
“要想在数学上取得进步,就应当研究大师,而不是大师的学生。” —— 尼尔斯·亨利克·阿贝尔(Niels Henrik Abel) “最有价值的科学著作,是那些清楚指出作者不知道什么的著作;掩盖困难,对读者的伤害最大。” —— 埃瓦里斯特·加罗华(Évariste Galois) 在历史的长河里,有些名字闪烁得像星辰,一瞬的光辉足以照亮后来的航路。十九世纪的某些黎明便由两颗这样的星子划过:一位来自北欧挪威的寂寞天才,一位来自拿破仑余烬中燃烧的法国青年。他们的生命短促而炽烈,像陨石划破夜空,虽短暂却把一条新航道刻进了数学的苍穹。尼尔斯·亨利克·阿贝尔与埃瓦里斯特·伽罗华,名字本身便带着一种悲怆的诗意:他们来得早,走得早,但留下的思想却像河床中的岩层,支持着后来万千年的流水。 一、时代的气味:从古代求根术到十九世纪的结构转向 要理解阿贝尔与伽罗华的伟大,先得把视线拉回到更古老的舞台。数学的心脏曾长时间跳动在"求解"之中:古巴比伦人的表格、希腊人的几何、阿拉伯与印度的代数技巧,直到文艺复兴时期的意大利学者完成了对三次、四次方程的解法,人们便抱有一种耐人寻味的信念:或许所有代数方程都可一一揭示其根的面目——用根号、用加减乘除、用有限次的代数运算来表示。这种"求根"的理想,既是技术的挑战,也是人类对知识控制欲的象征:把混沌变为可读的文字,把未知变为可以书写的表达式。 到了十八、十九世纪,数学家们已意识到事情可能并不简单。形式主义与抽象观念逐渐取代单纯的计算技巧,思想开始从"如何算"转向"为何如此"。在这转向之际,阿贝尔与伽罗华作为两种直觉的孕育者出现——一个以冷峻的代数技巧告诉人们"不可能",另一个以深邃的结构语言描述"不可能"的原因。他们的工作,是对古老求根梦的一次决定性反思:某些梦,注定要被醒来的人温柔且坚定地推翻,然后由新的话语来解释所发生的一切。 二、尼尔斯·亨利克·阿贝尔:一盏北国的灯 世界上有一种人,他们的伟大从不曾在自己活着的时候被好好感受过。他们的名字,要等到墓碑上的字迹风化之后,才真正开始在人们口中传扬。尼尔斯·亨利克·阿贝尔便是这样一个人。 芬德岛上的孩子 1802年,阿贝尔出生在挪威西南海岸芬德岛上一个叫做弗里斯兰的小地方。这座岛屿在当年的地图上只是一处极小的标记,孤悬于北海的风浪之中,居民们世代以捕鱼和耕作为生。冬天的风从大西洋长驱而来,带着盐和寒意,穿过木屋的缝隙在室内呼啸。阿贝尔的父亲索伦·阿贝尔是当地的一名乡村牧师,一个有理想、有热情、却始终无法使生活改善的人。他为挪威独立运动撰写政治文章,参与制宪会议,梦想着一个更公正的世界——然而在家庭的账本上,他留下的常常是拮据与债务。母亲伊丽莎白是个美丽却不那么善于操持家务的女人。家里有七个孩子,食物总是不够充裕,炉火也常常不够旺盛。 在这样的家庭里,尼尔斯·亨利克·阿贝尔慢慢长大。他并非那种自幼便显露出神异色彩的孩子,而是一个安静的孩子,在哥哥和弟妹们的喧闹中常常独自坐着,目光望向某个别人看不见的地方。他不擅长表达自己,但他有一种异乎寻常的耐心——对一件事情,他可以反复端详,直到在脑海中将它翻转成一个他满意的形状。这种耐心,日后成为了他解开数学难题的秘密武器。 伯纳德·霍尔姆伯的发现 转机出现在1815年,阿贝尔十三岁那年进入了奥斯陆(当时称克里斯蒂安尼亚)的大教堂学校。在那里,他遇到了一位名叫伯纳德·霍尔姆伯的数学教师。 霍尔姆伯是个非同寻常的人。在那个年代,中学数学教师的职责大多是让学生背诵公式、完成习题,如同流水线上的工人,将知识整齐地嵌入学生的脑袋。霍尔姆伯却不是这样。他认为数学不是一套需要记忆的程序,而是一门需要感受的艺术。他鼓励学生去读欧拉,读牛顿,读高斯——直接去阅读这些伟大心灵留下的原始文本,而不仅仅是经过删减和简化的教科书版本。 当他第一次看到阿贝尔解题的方式,他愣住了。那不是一个学生在套用公式,那是一个人在思考。霍尔姆伯将阿贝尔的作业留在桌上看了很久,然后把这个十三岁的孩子叫到面前,问他:“你是怎么想到的?“阿贝尔想了一会儿,用他一贯安静的声音回答说,他只是觉得应该这样。 此后,霍尔姆伯开始为阿贝尔单独准备材料。他从自己的薪水中拿出钱来购买数学著作,把它们借给阿贝尔,又在课后花时间与他讨论。他意识到,自己眼前这个来自芬德岛的安静男孩,很可能是他这一生中遇到的最有才华的学生——甚至,是挪威数学史上的一个罕见存在。阿贝尔在日后的信件中,从未忘记提到霍尔姆伯的名字,总是带着那种朴素而深切的感激,就像一棵树记得第一场让自己抽出嫩芽的春雨。 父亲的离去与贫困的重量 然而命运并不打算让阿贝尔的路走得太顺。1820年,父亲索伦·阿贝尔在一场政治风波之后声名狼藉地辞世,留下了一个债台高筑、几乎没有任何经济来源的家庭。长兄汉斯·马修斯患有精神疾病,无法承担家庭重担。于是,照顾母亲和弟妹的责任,悄悄落到了十八岁的阿贝尔肩上。 他用教授私课的微薄收入维持生计。他的学生们后来回忆说,阿贝尔是个极好的老师——不是因为他有什么系统的教学方法,而是因为他在解释一个数学概念时,眼睛会突然发亮,仿佛他自己也在和对方一起重新发现它。学生们喜欢他,尽管他话不多,尽管他常常在讲解到一半时陷入沉默,那是因为他在脑海中突然看见了一条新的路径,忍不住顺着走了一段。 就在这样左支右绌的生活里,阿贝尔开始向数学史上最古老的谜题之一发起挑战:五次方程。对于二次方程,人类很早便有了求根公式——那个后世学生在中学课堂上背得滚瓜烂熟的求根算式。三次、四次方程也在文艺复兴时代被意大利数学家卡尔达诺和费拉里相继攻克,得到了同样以根式表达的求根公式,虽然复杂,但确实存在。于是人们自然地问:五次方程呢? 两百年来,数学家们一次次地尝试,一次次地失败。他们相信公式一定存在,只是还没有人足够聪明找到它,就像在一个巨大的房间里确信钥匙就在某处,只需要翻遍每一个角落。没有人想到,也许根本没有钥匙,也许那扇门,从一开始就不是用钥匙打开的那种门。 阿贝尔是第一个清醒地意识到这一点的人。他的逻辑极为严峻:如果要用有限次加减乘除和开方的组合来表达五次方程的根,本质上是在构造一种特定的代数结构;而一般的五次方程的根,恰好具有一种这种结构永远无法捕捉的对称性。这不是运气不好,不是方法不够巧妙,而是数学本身在说"不”。这是一种全新的思维方式:与其问"答案是什么”,不如问"为什么没有答案"。 1823年,他将这份证明写成论文,兴奋地自费印刷——为了节省纸张,他将证明压缩到了六页,精简到几乎晦涩的程度。他把这份小册子寄给了丹麦数学家德根,希望得到认可。德根的回信是一盆冷水:他认为阿贝尔一定是犯了错误,并建议他用具体数值验算。那一刻,阿贝尔一定感到了某种特殊的孤独:你知道自己是对的,但你无法让别人相信你,因为彼此根本不在同一个理解的层次上。 欧洲的漂泊 1825年,在几位挪威资助者的帮助下,阿贝尔获得了一笔资助,得以前往欧洲大陆游历。这对一个来自挪威边远地区的年轻数学家来说,意味着终于可以接触到真正的数学世界,见到那些他只能通过书页感受的伟大心灵。 他的行程以德国为主,后又辗转来到巴黎。他在柏林结识了奥古斯特·克雷尔——一位充满热忱的数学爱好者和出版人。克雷尔正在筹备一份数学期刊,看到阿贝尔的论文后激动不已,几乎立刻便将阿贝尔视为这份刊物的核心力量。《克雷尔杂志》(即后来著名的《纯粹与应用数学杂志》)的第一期,便收录了阿贝尔的多篇文章,其中包括那份更为完整、严谨的五次方程不可解证明。 阿贝尔在欧洲的这段时光既是他一生中最充实的岁月,也是他最辛苦的岁月。他的资助本就不宽裕,在柏林的花销又远超预算。他给家里的信中,字里行间透着一种努力维持体面的克制——他不怎么直接说钱的事,只是偶尔提到天气很冷,或者某顿饭吃得简单。 在巴黎,他将一篇关于椭圆函数的重磅论文提交给法国科学院,期待得到高斯或柯西等数学权威的审阅。这份论文后来被证明是十九世纪最重要的数学文献之一,然而它被柯西随手搁置在案头,落满灰尘,直到阿贝尔去世后许多年才被重新发现。没有回音,没有评价,甚至没有一封告知收到的信件。阿贝尔等待着,在巴黎阴冷的公寓里,用省下来的钱买便宜的面包,继续在稿纸上写那些没有人看的方程。 椭圆函数与最后的辉煌 即便在漂泊与贫困中,阿贝尔的思想从未停止生长。在欧洲游历期间,他将目光投向了另一片数学疆域:椭圆积分与椭圆函数。这是一个在高斯和勒让德等人手中已有相当积累的领域,但阿贝尔以他特有的方式,从一个完全不同的角度切入——他不去研究积分本身,而是去研究积分的反函数。这个视角的转换,如同人们一直在研究影子,而阿贝尔却突然转身去看那个产生影子的物体本身。这一转变开辟出了全新的数学天地,后来成为整个十九世纪数学发展的核心课题之一。 而与此同时,在德国,年轻的卡尔·雅可比也在独立地研究椭圆函数,并率先发表了成果。数学史上由此出现了一段动人的竞争:两个才华横溢的年轻人,在互不相识的情况下,几乎同时看见了同一片新大陆的轮廓。所不同的是,雅可比活得更长,也因此在身后留下了更为完整的建筑。阿贝尔只能留下草图。 归途与暮色 1827年,阿贝尔带着满满的笔记和空空的口袋回到挪威。他的健康在欧洲的颠簸旅途中已经开始悄悄崩塌。挪威的冬天迎接了他,但那是一个没有职位、没有收入、没有任何机构愿意聘用他的挪威。 他继续靠家教为生,继续写作,继续向欧洲的学术期刊投递论文。克雷尔杂志一直是他最重要的发表渠道,克雷尔本人也一直在帮他奔走,试图为他争取柏林大学的职位。阿贝尔在信中时常表现出某种不稳定的情绪——偶尔是压抑不住的亢奋,描述自己刚刚完成的某个证明;偶尔是沉沉的疲倦,透出那种壮志未酬、年华流逝的隐忧。 他爱上了克里斯蒂娜·坎普,一个聪慧而温柔的女人,两人订了婚。但阿贝尔没有固定收入,婚事便一直搁置。他把对克里斯蒂娜的心意藏在简短的信件里,像他对待数学一样——精确,含蓄,字字都经过掂量。 1828年圣诞节,他去芬德岛探望克里斯蒂娜。那一次旅途穿越了挪威寒冬的风雪,阿贝尔回来时已经发起了高烧。肺结核——那个十九世纪带走了无数年轻生命的疾病——已在他体内悄悄生长了许久。1829年4月6日,尼尔斯·亨利克·阿贝尔在弗罗兰矿区的一间小屋里离世,年仅二十六岁。就在两天后,克雷尔的信从柏林寄到——他终于为阿贝尔争取到了柏林大学的教职。 一盏灯的意义 阿贝尔的遗稿在他身后被整理、出版,在欧洲数学界引起了巨大的震动。高斯、雅可比、埃尔米特……一代代数学家在他留下的基础上继续建造,将"阿贝尔函数"“阿贝尔群"“阿贝尔积分"的名字永久地嵌入数学的语言之中。但最重要的遗产,也许不是某一个具体的定理,而是一种思维方式的转变。 在阿贝尔之前,数学家们问的问题是:怎样求解?他们相信每一个问题都有答案,努力的方向是找到那个答案。阿贝尔教会了数学家另一种提问方式:这个问题,有没有可能根本没有答案?如果没有,为什么没有?这种追问,后来在伽罗华手中发展成群论,成为现代代数的基石,影响了此后两百年数学发展的整个走向。 一个来自北国小岛、活了二十六年、在一生中几乎从未拥有稳定书桌的年轻人,就这样改变了人类理解数学的方式。他的生命像一盏在海风里燃烧的烛火,短暂,但照亮的距离,远比他自己所能想象的更加深远。 今天,人们用阿贝尔奖来纪念他的名字。这项以他命名的最高数学荣誉之一,不只是为了表彰那些改变数学的人,也像是历史迟来的一次致敬:愿后来那些照亮数学世界的人,都能在生前得到应有的尊重,而不必重演阿贝尔的悲剧。 三、埃瓦里斯特·伽罗华:在决斗前夜写完的数学 世界上还有一种人,他们的愤怒与他们的才华以同等的比例燃烧,燃烧得太快,快到世界还没来得及感受温度,火焰便已熄灭。埃瓦里斯特·伽罗华便是这样一个人。他只活了二十岁,却在那二十年里,把一个普通人三辈子的激情都燃烧殆尽。 布尔拉兰的少年 1811年,伽罗华出生在巴黎近郊一个叫做布尔拉兰的小镇。那是个历史正在以惊人速度翻涌的年代:拿破仑的帝国正处于最后的辉煌,整个欧洲被战争与革命的气息浸透,连空气里似乎都带着一种躁动的味道。 他的家庭并不贫穷,却也绝非贵族。父亲尼古拉·加布里埃尔·伽罗华是布尔拉兰的镇长,一个有思想、有原则的共和主义者,在镇上颇受敬重。这位父亲对儿子的影响,远不止于给他提供了一个安稳的童年——他给了伽罗华一种骨子里的东西:对权威的不信任,对正义的执念,以及在任何情况下都不肯低头的倔强。 母亲阿黛拉伊德是个受过良好教育的女性,精通拉丁文,亲自承担了儿子幼年的启蒙教育。她教伽罗华读古典文学,教他思考,也教他用语言清晰地表达自己的想法。后来的人们在阅读伽罗华的数学手稿时,总是惊叹于那种独特的表达方式——那些即便在推导数学公式时也带着某种激情与雄辩气息的文字——那种气质,一半来自他母亲的熏陶,另一半则是他自己性格的自然流露。 然而在伽罗华十二岁那年,他被送进了巴黎路易大帝中学。这是当时法国最声望卓著的学校之一,学生们大多来自上层社会,校园里弥漫着一种他日后永远无法适应的氛围:等级分明,服从权威,强调的是资格与出身,而不是思想与热忱。伽罗华在那里度过了一段不快乐的岁月。 相遇与冲撞 在路易大帝中学的前几年,伽罗华并不出众。他在文学和拉丁文课上表现尚可,但总体来说只是个普通的学生。真正的转变发生在他十五岁那年,当他第一次接触到数学——不是那种中规中矩的算术练习,而是真正的数学,带有抽象之美和逻辑之力的那种。他拿到了勒让德的《几何学原理》,按照正常的教学进度,这本书应该被分成几个学期慢慢消化,伽罗华用两天读完了它。这并非传说的夸张,他的老师们留下的记录显示,伽罗华在数学上的进步速度之快,令他们既惊讶又困惑——有时候是惊叹,更多时候是困惑,因为这个学生的思维方式与课堂上要求的方式完全不同。他不按照规定的步骤推导,他直接看见答案,然后再倒过来把过程补上。这在考试中是个问题:老师们不理解他的解题过程,认为他跳步太多,不够规范,常常给出比他应得的更低的分数。 伽罗华第一次报考巴黎综合理工学院,落榜了。那是一所当时法国最顶尖的理工学校,是每一位有才华的年轻数学家梦寐以求的地方。落榜的原因众说纷纭,但有一个细节被记录下来:在口试中,考官要求他按照步骤解释某道题目的推导过程,伽罗华无法忍受这种繁琐,在中途直接拿起黑板擦,将考官的推导全部抹去,重新用他自己的方式写了一遍。这个故事或许有所夸张,但伽罗华的性格却是确凿无疑的:他的才华与他的脾气以同等的比例生长,他对平庸的忍耐度几乎为零,对权威的服从意愿同样为零。 一个父亲的死与一段仇恨的开始 1827年,伽罗华的父亲尼古拉遭到政治陷害。保守派的对手伪造了几首讽刺诗,冠以他的名字散布出去,使他在镇上声名扫地,最终在巨大的羞辱与压力下精神崩溃,自杀身亡。这一年,伽罗华十六岁。 父亲的死在他心里刻下了一道深深的伤口,而这道伤口的轮廓,恰恰勾勒出了他此后对一切权威与保守势力永不消退的仇恨。他亲眼看见,一个正直的人可以被体制和谎言以最卑鄙的方式消灭;他亲身经历了那种无力感——才华与正直无法保护你,甚至会让你成为打击的靶子。 此后的伽罗华,在政治上越来越激进。他参加共和派的集会,结交革命人士,在公开场合发表煽动性的言论。他不再只是一个数学天才,他成为了一个燃烧着双重火焰的年轻人:一团是对方程与对称的激情,另一团是对压迫与不公的怒火。这两团火焰在他体内并不互相干扰,它们烧的是同一种柴——那种渴望打破现有秩序、看见世界本来面目的执念。 就在这段岁月里,伽罗华的数学思想也在以惊人的速度成熟。他开始思考那个阿贝尔已经部分解答过的问题:五次及更高次方程的根式可解性。但伽罗华的切入角度与阿贝尔截然不同。阿贝尔证明了一般的五次方程不可解,用的是否定性的论证:路不通。伽罗华则要做一件更宏大的事情:他要建立一套语言,让人能够一眼看清,对于任何一个具体的方程,路究竟通不通,以及为什么通或不通。 他注意到,一个方程的根之间存在着一种微妙的对称性。把根互相置换,方程的某些性质保持不变,某些则发生改变。这些置换不是杂乱的,它们形成一种有内在结构的集合——可以把两个置换"合成"得到第三个,这种合成满足一系列规律。伽罗华把这个集合称为方程的"群”。这个词——群——在今天是每一个数学系学生在大一就会学到的概念,但在1830年,它还不存在于任何数学词典里。伽罗华不是在套用已有的概念,他是在创造一种全新的语言,用这种语言去描述一个从未被如此清晰描述过的现象。 他将自己的论文提交给法国科学院,经由著名数学家泊松审阅。泊松的评语简短而刻薄:论文"既难以理解,又无法验证”,建议作者"将论证展开得更为充分后再行提交"。这份退稿,成了伽罗华生命中另一道深深的伤口。多年以后,当数学家们终于理解了那篇论文时,他们重读泊松的评语,忍不住陷入那种历史特有的悲哀:一个时代的局限,使得一位严谨的学者错过了他有生之年所见过的最重要的数学文献。 铁窗内外的数学 伽罗华因政治活动先后两度入狱。第一次是1831年,他在一场共和派的宴会上举杯高呼,被指控以威胁性言论危害国王安全,收监数月。第二次是同年稍后,又因在政治示威中持枪上街被再度逮捕,在圣佩拉日监狱关押了将近一年。 在监狱里,伽罗华并未停止写作。他的狱友后来回忆说,这个年轻人几乎总是伏在一张小桌子上,在粗糙的纸张上飞快地写着什么,有时写到凌晨,有时从天亮写到天黑。同牢的犯人们大多不知道那些密密麻麻的符号是什么,但他们记得他写完之后的样子:有时眉头舒展,带着一种安静的满足;有时皱着眉,把纸揉成一团扔到角落,然后重新开始。就在铁窗之内,伽罗华将他关于群与方程可解性的思想推进到了接近完整的程度。那个他试图向泊松解释却未能成功的理论,在牢房里的沉默与单调中,一点一点打磨成形。他是少有的那种越被压迫越清醒的人。 决斗前夜 1832年5月29日,伽罗华获释出狱后不久,在某个至今仍未完全明了的场合,他接受了一场决斗的挑战。 ...
阿根廷队和梅西
阿根廷又进世界杯决赛了,这届阿根廷队,连续几次在逆境中,让比赛最后十分钟变成对手的噩梦。 我第一次接触足球,是2002年的韩日世界杯。那时候刚上高中,班里有人支持巴西,有人支持德国,但最多的还是阿根廷。我其实什么都不懂,连球衣号码代表什么都不知道,只因为自己出生于10月,就买了一件阿根廷10号球衣。从那一天起,我成了阿根廷球迷。 后来才知道,10号是球队的灵魂人物,也是球技最好的前锋,而我那时候踢后卫。 大学开始,我经常看西甲,也正是在那个时候,一个留着长发、身材瘦弱的阿根廷少年开始在巴塞罗那崭露头角。谁也没有想到,这个年轻人会把自己的名字写进足球史,成为后来的新一代球王梅西。不知不觉,我看他的比赛已经快二十年了。 这些年,我看着他从那个可以连过五人的少年,变成今天的39岁老将。速度没有年轻时快了,突破也少了些,但是他对比赛的掌控却越来越可怕。 很多人总说梅西老了。可真正看球的人知道,他只是踢法变了。年轻时,他用速度和盘带解决问题;如今,他更多依靠的是阅读比赛的能力。他总能提前看到别人还没有看到的空间,在对手迈出第一步之前,就已经想好了接下来的几步。很多时候,对方刚准备上抢,他已经把球送到了最危险的位置。 足球比赛里,速度会下降,体能会衰退,但对比赛的理解,却会随着岁月不断沉淀。所以,他不需要跑得比别人更快,因为真正决定比赛的,从来不是跑得最快的人,而是看得最远的人。更让我佩服的,是他的心态。 世界杯是压力最大的舞台,越是关键比赛,很多优秀球员越容易紧张,动作变形,判断失误。梅西却总是相反。越重要的比赛,他越冷静;越关键的时刻,他越愿意承担责任。很多球队为了限制他,会安排两三个人包夹,研究他每一个习惯,分析他每一次跑位。可足球终究不是一道可以算出标准答案的题,你可以九十分钟都防得很好,但他只需要一秒钟,一个停球,一次传球,或者一次看似普通的触球,就足以改变整场比赛。 有人总喜欢争论,谁才是历史第一。这样的讨论,大概永远不会有答案。但至少在我看来,梅西几乎把一名足球运动员能够拥有的一切,都集中到了自己身上:天赋、稳定、漫长的巅峰、不断进化的能力,还有难得的谦逊。 未来当然还会有新的巨星,会有新的金球奖得主,也会有新的世界杯冠军。但梅西这样的球员,很可能真的不会再有了。 从2002年那个因为生日是10月而穿上阿根廷10号球衣的高中生,到今天已经在墨尔本陪着孩子一起看世界杯,不知不觉已经过去了二十多年。 足球陪伴了我的青春,也陪伴了我的成长。而梅西,几乎贯穿了我整个球迷时代。 总有一天,他会离开球场。那一天结束的,不只是一个伟大球员的职业生涯,也是属于我们这一代球迷的一段青春。等很多年以后再回头,我们记住的或许不仅是那些进球和冠军,更是那个几乎陪伴了整个时代的名字——莱昂内尔·梅西。
尝侨居是山,不忍见耳
广西又发洪水了。我从小在那里长大,暴雨后的大水几乎是生活的一部分,小时候就经常看着淹没过小溪的洪水从家附近流过。我也记得每隔两三年,总能看见县城的一些低洼小区被洪水淹没,有人划着小船去上学。南方人敬畏洪水,却并不陌生,因为我们知道,只要雨下得足够久,江河总会涨,山洪总会来。 但这一次,真的不一样。洪水发生在横县,也就是今天的横州市,属于南宁,而南宁是我的家乡。看着遇难人数,我才意识到,这场灾难已经不是记忆中那些每隔几年都会经历一次的洪水。 面对自然,我们始终渺小。人类无法阻止台风,也无法让暴雨停下来。随着全球气候变化,极端天气出现得越来越频繁,我们未来或许还会面对更多这样的考验。但天灾之外,还有另一种值得追问的东西。 今天才看到南方周末关于六蓝水库溃坝前二十四小时的调查,感觉曾经类似的感觉又回来了。报道披露,如果调查内容最终得到证实,那么一些安全隐患其实早已存在,大坝裂缝并非一朝一夕,基层工作人员也曾多次反映,只是因为缺少资金,最后甚至只能自己买沥青修补。这样的细节,比洪水本身更令人难受。 说实话,广西人并不怕洪水。生活在这里的人,从小就知道什么时候该撤离,知道哪些地方不能去,知道怎样与洪水相处。很多损失,本可以通过提前预警、工程维护、科学调度去减少。真正让人无力的,不是暴雨,而是那些本来可以避免,却最终没有避免的事情。 当然,一场如此规模的洪灾,不可能简单归咎于某一个人,也不能因为一篇调查报道,就轻易下定论。极端降雨、水库运行、应急指挥、工程质量,每一个环节都值得认真调查,每一个环节都关系着无数人的生命。真正需要的,不是谁来承担舆论,而是真相能够完整呈现,责任能够依法厘清,让下一次暴雨来临时,不再重复同样的悲剧。 每一场灾难都会过去,但如果不去追问灾难为何发生,不去修补那些早已出现的裂缝,不去认真面对每一个本该完成的职责,那么今天的悲剧,就可能成为下一次灾难的序章。真正值得敬畏的,从来不仅是自然,也包括对规则、责任和生命本身的敬畏。 几年前听过余英时先生讲过一个典故:“尝侨居是山,不忍见耳。” 佛经记载,一座森林失火,百兽四散逃命,唯有一只鹦鹉不断飞到河边,用翅膀蘸一点水,再飞回来洒向大火。天神见了,笑它力量微不足道。鹦鹉回答:“我虽知不能灭火,但这片森林曾是我的栖身之所,我不忍见它焚毁,所以竭尽所能而已。”天神为之感动,最终帮助扑灭了大火。 曾经在那里居住过,那里的一山一水都与自己有情,因此不忍心再看到它遭受灾难。
西班牙的十六年归来
刚刚看完法国和西班牙的半决赛,西班牙再次站上世界杯决赛的舞台,我想起了十六年前的南非世界杯,那是我和小熊一起看的一届世界杯,我们都给阿根廷和西班牙加油,那年夏天我们还去了上海世博会,年轻自在、无忧无虑,留下太多美好的回忆。 西班牙2010年第一次捧起世界杯冠军奖杯,也圆了黄金一代的梦想:包括哈维、伊涅斯塔、布斯克茨、阿隆索和卡西利亚斯,他们把传控足球推向了一个近乎艺术的高度。看西班牙踢球,有时候不像是在看一场单纯的竞技比赛,而是在欣赏一种关于秩序、耐心和空间的哲学。他们用一次次精准的传递控制比赛,用极致的技术消磨对手,最终站到了世界之巅。 但足球世界从来没有永恒的王朝。 四年后的巴西世界杯,卫冕冠军小组出局,那个曾经让所有对手无奈的西班牙突然失去了光芒。随着黄金一代逐渐老去,哈维、伊涅斯塔、卡西利亚斯等名字慢慢离开国家队,曾经不可战胜的西班牙开始进入漫长的重建期。之后几届大赛,他们不断尝试寻找新的方向,却始终无法回到2010年的高度。 那段时间的西班牙,有些像一个曾经辉煌的王朝。人们依然记得它最美好的样子,却也不得不接受一个时代正在结束。 然而,真正伟大的球队,并不是永远停留在巅峰,而是在跌落之后依然能够完成自我更新。西班牙没有选择简单复制过去的传控体系,也没有沉迷于曾经的荣耀。他们保留了技术和控球的传统,同时开始拥抱现代足球的发展:更快的节奏、更强的冲击力、更年轻的阵容。 如今这支西班牙,已经不是2010年的复制品。哈维时代留下的是足球理念,而亚马尔、尼科·威廉姆斯这一代年轻球员带来的,是新的速度和活力。他们依然懂得如何控制比赛,但也更加直接,更敢于向前进攻。这是一支继承传统,却又完成蜕变的球队。 从2010年夺冠,到经历低谷,再到十六年后重新回到世界杯决赛,西班牙完成了一次漫长的足球轮回。很多国家队的黄金周期只有几年,而西班牙经历的是一次真正意义上的新陈代谢:旧王朝落幕,新一代球员接过旗帜,在新的时代重新证明自己。 其实足球和人生有很多相似之处。我们总以为曾经拥有的辉煌会一直持续,但后来才明白,任何阶段都会结束。重要的不是如何永远停留在过去,而是在失去之后,是否还有重新出发的勇气。 世界杯最迷人的地方,也许从来不只是冠军奖杯,而是它记录了一个个时代的更替。2010年的西班牙告诉世界,足球可以如此优雅;十六年后的西班牙则告诉世界,真正伟大的足球文明,不会因为一代人的离去而消失,它会在时间中不断调整、成长,然后以新的面貌重新闪耀。 他们不是回到了过去,而是创造了新的自己。
青年数学家王虹——转动一根针,走过一个世纪的谜题
一、奥数赛场外的例外 2025年2月26日,一篇长达127页的数学论文上传至预印本网站arXiv,引起轰动。论文作者是纽约大学的王虹(Hong Wang)与不列颠哥伦比亚大学的约书亚·扎尔(Joshua Zahl)。他们证明了困扰数学界百余年的“三维空间挂谷集合猜想”。菲尔兹奖得主陶哲轩第一时间撰文推崇,同行们则在惊叹之余讨论起另一个热点:王虹是否会成为中国首位菲尔兹奖女性得主? 与许多人印象中“自幼参加奥数竞赛、一路保送顶尖名校”的天才路径不同,王虹的成长轨迹显得相当“非典型”。在各项主流数学竞赛名单中找不到她的名字,她考入北京大学凭借的是高考。她真正走向现代数学研究,是在大学阶段经过一次重要的转向,通过十余年的持续积累才逐渐完成的。 王虹1991年出生于广西桂林,父母皆为教育工作者。据媒体报道,她幼时学习节奏独特,擅长自学与独立思考,小学阶段曾多次跳级。2004年,她进入重点名校桂林中学,面对强手如云的环境,她并未急于求成,而是通过稳扎稳打的积累实现成绩突破。2007年,16岁的王虹以653分考入北京大学地球与空间科学学院。此时的她,尚未完全踏入数学的殿堂。 二、北大的专业转向 进入北京大学时,王虹或许早在心中埋下了选择数学的种子。在许多学生争相从基础学科“逃离”去往应用领域时,王虹却做出了一个反向选择:从地球与空间科学学院转入的数学科学学院。本科期间,她在王立中、刘张炬等数学家的指导下,以《经典Hodge理论和度量空间上的Hodge理论》为题完成毕业论文,展现出深厚的数学天赋与研究潜力。 2011年大学毕业后,她前往法国,先后在巴黎综合理工学院接受工程师教育,并在巴黎第十一大学攻读数学硕士。工程师思维下的实践能力与数学训练中的抽象逻辑在她身上融合。2014年,王虹赴麻省理工学院(MIT)攻读博士,师从著名调和分析学家拉里·古斯(Larry Guth),正式步入现代数学的深水区——调和分析领域。 三、走进现代数学的腹地 2014年,王虹来到美国,进入麻省理工学院数学系攻读博士。对于年轻数学家来说,博士阶段不仅意味着学习,更意味着寻找一个值得自己投入一生去追问的问题。王虹选择的方向,是调和分析(Harmonic Analysis)。十九世纪,傅里叶提出,人们几乎可以把任何复杂的波动分解成简单的正弦波;而数学家在此基础上,发展出了“限制性估计”问题。它关注的是:傅里叶变换中的信息,究竟能够在多大程度上集中于某些特殊的几何对象? 调和分析是处理复杂波动问题的核心工具,其重要分支“限制性估计”与数学难题“挂谷猜想”紧密相连。在MIT期间,王虹深入这一领域,2019年以论文《三维欧氏空间中的一个限制性估计》获得博士学位。 毕业后,她先后在普林斯顿高等研究院、加州大学洛杉矶分校、纽约大学任职,并于2025年受聘为法国高等科学研究所常任教授。期间,她不断在限制性猜想、几何测度论等前沿课题上取得突破,并于2022年荣获“玛丽亚姆·米尔札哈尼新疆界奖”。她不仅在科研上屡创佳绩,更通过那篇127页的论文,将学术声望推向了巅峰。 四、一根针,为什么难倒了一百年的数学家? 1917年,日本数学家挂谷宗一提出了一个看似简单的问题:“一根针要朝所有方向都指过一次,容纳它的区域最小面积是多少?” 初期人们以为是圆盘,但在1927年,俄裔数学家别西科维奇证明,该区域面积可以趋近于零。这一“反直觉”的发现震惊了学界,进而引申出“挂谷猜想”:如果一个集合包含了指向每一个方向的单位线段,那么它的维数究竟能低到什么程度?数学家猜想,即便它没有体积,其几何结构依然必须像整个空间一样“丰满”。 一百年来,科尔多瓦、沃尔夫、博尔盖恩、陶哲轩等一代代数学巨匠试图攻克三维及以上维度的挂谷难题,却始终差那“最后一步”。没有人想到,最终填补这项空白的,竟是当年那位从广西桂林走出、通过高考进入北大,后来半路转入数学研究的女孩。 五、后记 王虹的发现足以让她拿到一枚菲尔茨数学奖牌,这是数学家最高奖,四年发一次,只给四十岁以下做出突破性共享的年轻数学家。 昨天的ICM 2026官网前端暴露的数据中出现了疑似获奖人信息,不少数学圈网友据此认为王虹基本锁定菲尔兹奖。Reddit等社区也已经有大量讨论,我觉得如果前端数据确实对应正式名单,那么临时更换获奖者几乎不现实,我们拭目以待吧。 2026年7月23日更新:官方已经宣布这届的菲尔茨获奖名单里有王虹。