《数学的故事》第二十三章:黎曼——在沉默中听见宇宙的回声

“只要知道定理,证明自然能够找到。” —— 黎曼(Bernhard Riemann) 很长的一段时间里,人类对世界抱有两种近乎固执的自信。 第一种自信来自视觉经验:人们相信空间是平直的,直线就是直线,平行线永远不会相遇——墙壁是直的,桌面是平的,欧几里得的几何,如同一部古老的法律,写进了每个人的常识之中。 第二种自信来自对数字的信心:人们相信数字可以被拆分、被清点、被系统管理。但当真正深入考察质数时,便会发现另一种令人不安的事实——数字世界最基本的"原子",偏偏不肯遵循整齐的排列,它们的分布,看起来毫无预兆,也难以捉摸。 空间看似平坦,却可能弯曲;质数看似杂乱,却可能暗藏规律。有一个年轻人,正是从这两处此前少有人注意的裂缝之中,窥见了深刻的联系。他外表怯懦,声音细弱,社交场合中常常显得局促不安;但他内心却怀有一种极为大胆的想法:人们习以为常的"理所当然",或许只是一种局限于局部的表象。这个人,就是伯恩哈德·黎曼——他提出的"黎曼猜想",不仅深邃重要,而且历经一个半世纪,至今无人能解。 一、荒原上的风铃:牧师之子的成长与抉择 要理解黎曼,需要先了解他所成长的那片土地。那是十九世纪初的德意志,一个浸透着新教虔诚与严谨传统的地方。那里的信仰并不张扬,更接近一种克制的自律:不允许浪费,不崇尚浮夸,一切都要用在实处;那里的教育,同样强调节制与规范,要求人像一把直尺那样约束自己,再去衡量周遭的世界。 1826年,黎曼出生在汉诺威的布雷塞伦茨。他的父亲是一位极为清贫、却内心坚定的乡村牧师,一家人的生活,长期处于拮据之中:清晨祷告,晚间诵读,餐桌朴素,衣物反复缝补。黎曼是家中六个孩子里的老二,父亲既是一家之主,也是他最早的老师——在把他送进学校之前,是父亲亲自教会了他认字、算术,以及《圣经》里的段落。这段早年的家庭教育,留给他的,除了虔诚,还有一种近乎苛刻的自我要求:凡事若非做到彻底明白,便绝不肯轻易罢手。 命运对这个家庭并不宽厚。黎曼的六个兄弟姐妹之中,母亲早逝,此后多位手足又先后死于当时几乎无药可医的肺结核——这种疾病仿佛在这个家族里埋下了一颗迟早会引爆的种子,日后也正是它,夺走了黎曼本人的生命。作为家中为数不多存活下来、又相对年长的孩子,黎曼很早便感受到一种沉甸甸的责任:他后来即便自己也在贫困与病痛中挣扎,仍长期把微薄的收入,分出一部分寄给尚在世的姐妹,供她们生活。这种近乎自我牺牲的家庭责任感,贯穿了他短暂的一生。 在这样的环境中成长的孩子,往往会走向两种截然不同的方向:或是变得极为坚硬,或是变得极为敏感。黎曼属于后者。他是一个性格敏感、极易紧张的孩子,由于家境贫寒,营养不良长期伴随着他的成长过程,这也为他日后不到四十岁便英年早逝,埋下了隐患。据说他幼年时便格外怕生,一旦要在课堂上当众发言,便会紧张得说不出话来;这种近乎病态的羞怯,伴随了他的一生,即便日后成为哥廷根最受尊敬的教授,也从未真正消失。 但他拥有一样别人没有的慰藉:数学。每当他在现实世界中感到局促不安,每当他在陌生的社交场合中想要回避,他便会沉浸到数字与逻辑构成的世界之中。在那里,他能够获得一种确定而稳固的秩序:对就是对,错就是错,无需顾虑他人的目光与评判。对于一个总是担心"说错话"的孩子而言,这近乎一种精神上的庇护。 这份天赋很早便显露出惊人的锋芒。十四岁那年,黎曼被送入吕讷堡的约翰纽姆中学寄宿就读,校长瑟灵注意到这个沉默寡言的少年,对数学有着远超同龄人的领悟力,便破例把自己珍藏的一部勒让德所著、厚达九百余页的《数论》借给他阅读。没有人指望一个中学生真正读完这样一部艰深的专著,但仅仅过了六天,黎曼便把书归还,并表示自己已经掌握了书中的内容。校长起初半信半疑,出于礼貌略作考问,结果发现黎曼不仅理解了全书的论证脉络,甚至能够对其中某些定理,给出自己的补充与延伸。这段轶事此后广为流传,成为他早慧的最早注脚——也让人隐约窥见,那个日后要在数论中留下"黎曼猜想"的头脑,早在少年时代,便已初露端倪。 然而,在这份由数字带来的庇护之外,还有一份源自家庭的期许,正静静地等待着这个敏感的少年去面对——那便是父亲对他人生道路的安排。 黎曼的父亲最初希望这个聪颖的儿子,能够继承自己的衣钵,投身神学——在他看来,这不仅是一份崇高的事业,也是一条相对稳妥的人生道路:对于一个贫穷的家庭而言,稳妥意味着生存的保障。黎曼极为孝顺,不愿辜负父亲的期望,于是依照父亲的意愿,进入哥廷根大学,注册成为神学院的学生。 然而,哥廷根这座欧洲理性思想的重镇,很快便让他的人生轨迹发生了转变。在这里,黎曼有机会聆听高斯的讲座——当时的高斯,已是数学界享有崇高声望的人物,深居简出,治学态度极为严谨。听过几场讲座之后,黎曼内心对数学的向往,再也无法压制,他鼓起勇气,写信给父亲,请求转入数学系。这封信中,交织着愧疚与渴望:这不仅是专业方向的选择,更近乎人生道路的重新抉择——是继续走一条相对安稳的神职道路,还是投身于充满未知的数学探索。父亲最终选择理解并支持了他的决定。这一决定,让神学界少了一位或许平凡的牧师,却让整个数学与物理学的发展轨迹,发生了深远的改变——因为黎曼此后所完成的工作,恰恰是重新定义了人们对"空间"这一概念的理解。 二、几何学的转折:1854年的讲演 转入数学系之后,黎曼很快便发现,哥廷根虽有高斯坐镇,学术氛围却相对偏重传统与实用,能够与他自由探讨最前沿思想的同龄人并不多。1847年,他做出了一个大胆的决定:转学前往柏林大学。那里聚集着雅可比、狄利克雷、施泰纳、艾森斯坦因等一批当时欧洲最活跃的数学家,学术空气自由而热烈,与哥廷根的沉静庄重,恰成对照。 在柏林,对黎曼影响最深的,是狄利克雷。这位待人温和、治学同样严谨的学者,很快注意到了这个总是坐在教室角落、极少发言,却在笔记本上写满密密麻麻演算的年轻人。狄利克雷不仅在学术上给予黎曼悉心的指点,还常常邀请他到家中做客,与他长谈——对于一个出身贫寒、社交极度局促的青年而言,这种平等而温暖的相待,弥足珍贵。多年以后,黎曼在自己的著作中,仍会深情地提及"狄利克雷原理",并将自己许多重要的思想根源,归功于那几年在柏林所受到的熏陶。也正是在狄利克雷的影响下,黎曼逐渐形成了他日后独树一帜的治学风格:不满足于繁琐的计算与公式推导,而是执着于探寻现象背后更为本质、更为概念化的结构——这种风格,日后将在他对几何与质数的研究中,反复显现。 1849年,黎曼返回哥廷根,一边继续跟随高斯与韦伯等人研习,一边着手准备自己的博士论文。1851年,他完成了题为《复变函数一般理论基础》的论文,首次系统提出了此后被称为"黎曼曲面"的重要概念——把复变函数的定义域,想象成一张可以自我缠绕、层层叠合的曲面,从而巧妙地化解了复变函数中原本令人困扰的"多值性"难题。高斯在审阅这篇论文时,罕见地给出了极高的评价,称赞其中所展现出的创造性思维,“远远超出了博士论文通常应有的水准”。这是黎曼第一次,让这位素以吝于赞誉著称的老学者,公开流露出由衷的钦佩——而这仅仅是个开始。 在黎曼登场之前,几何学的整体面貌,长期笼罩在欧几里得所建立的理论体系之下。《几何原本》所确立的公理体系,被视为几何学不可动摇的根基,几何学也因此不仅仅是一门数学学科,更近乎一种关于世界的基本认知:空间是平直的,可以被测量,也可以被精确地建构。尽管在此前的两千年间,也曾有个别学者(例如罗巴切夫斯基)对这一体系的根基提出过质疑,但欧几里得几何的整体地位,始终未曾被真正撼动。 1854年,二十八岁的黎曼面临着学术生涯中极为重要的一关:任教资格讲演。为了这场讲演,他投入了极大的心力,甚至因为压力过大而一度病倒——他本就体弱多病,又格外担忧自己在众多资深学者面前的表现,据说讲演前几个月,他几乎陷入了失眠与焦虑交织的状态,数次推迟提交讲稿的日期。按照当时的学术传统,这类资格讲演不仅是个人能力的展示,更近乎一种正式的学术仪式:候选人需要在资深学者面前证明自己已经具备进入学术共同体的资格。黎曼准备了三个候选题目,供导师高斯从中选定,其中前两个,是他较为擅长的分析学问题,而第三个题目——“关于几何学基础的假设”——则涉及他一些较为大胆、甚至连他自己都觉得颇具冒险性的构想,他原本以为高斯多半会选择更为稳妥的前两项之一。高斯最终选定了这第三个题目——后世普遍认为,这位年迈的数学家,或许早已从自己数十年来对非欧几何的隐秘思考中,预感到了这个题目所蕴藏的分量。 1854年6月10日,在哥廷根大学一间座无虚席的教室里,黎曼登台讲演。他的开场白,至今仍被反复引用:“我们一直以为几何学是关于’空间’的科学,但我们其实从来没弄明白过,空间到底是什么。“这句话所触及的,并非某一项具体的新定理,而是对一个被默认了两千年之久的前提本身,提出了质疑。 黎曼在讲演中,借助一个形象的比喻来阐述他的核心观点:设想一只蚂蚁在一张起皱的丝绸上爬行,对这只蚂蚁而言,它自认为在沿着直线前进,但从外部观察的角度来看,这条路径实际上是弯曲的;更重要的是,这张丝绸本身,是可以被拉伸、被改变形状的。由此,黎曼提出了一个具有革命性意义的观点:空间本身,可以具有弹性,可以呈现出弯曲的状态。它可能像一个球面,在这样的空间里,两条"平行线”(例如经线)最终会在极点相交;它也可能像一个马鞍面,在这样的空间里,三角形的内角之和,甚至会小于一百八十度。换言之,“平直"仅仅是一种局部的表象,而非空间本身唯一确定的性质。 这便是此后被称为"黎曼几何"的重要理论。他所研究的,不再局限于传统几何中的三角形与方块,而扩展至更为一般化的"流形"这一概念。空间不再局限于三维,也不必处处保持相同的性质。 这次讲演,当时在场的多数教授,未必能够完全理解其深刻内涵,但高斯听懂了。讲演结束后,这位平日治学极为严谨、鲜少表露赞许之情的老学者,主动走上前,与黎曼握手,这一举动本身,便足以说明这次讲演在他心目中的分量。据当时在场的韦伯回忆,高斯在回去的路上,一路都难掩兴奋之情,反复向身边的人称赞这位年轻学生"思想的深度,远超他所预想的一切”——这对于一向惜言如金的高斯而言,几乎已是罕见的盛赞。 半个世纪之后,这一理论的意义,得到了更为深刻的印证。在瑞士伯尔尼专利局工作的爱因斯坦,正在思考引力问题,苦于找不到合适的数学语言来描述他所设想的、弯曲而具有张力的空间。据记载,他的朋友格罗斯曼向他提及:黎曼早在数十年前,便已经提出了描述这类空间所需要的理论工具。爱因斯坦研读黎曼的相关成果后,最终把这套理论,应用于广义相对论的构建之中——若没有黎曼在那次讲演中所提出的理论框架,广义相对论的诞生,或许还需要等待更长的时间。 三、质数迷宫、那条关键的直线,与它和现代文明的隐秘联系 在完成关于空间弯曲性的研究之后,黎曼的目光,转向了数学中另一个此前长期未能被系统理解的领域:质数。这一转向,并非偶然——他此前既已证明"空间并非天然平直”,便同样不再满足于把"数字世界中的种种不规律现象",简单地视为无法深入探究的既定事实。 质数——2、3、5、7、11等等——是数论研究中最为基础的对象,却呈现出极不规则的分布规律:它们缺乏明确的排列规则,有时密集地聚集出现,有时又相隔极远。此前的数学家们,大多依靠统计的方式,试图把握质数分布的整体规律:例如,1到100之间共有25个质数,1到100万之间共有78498个质数……但这类统计方式,始终难以揭示质数分布背后更为深层的内在规律——数量越多,其分布中的不确定性,反而显得愈发突出。 黎曼所采取的研究路径,与此前的学者截然不同:他并未继续依靠逐一清点的方式来研究质数,而是尝试构建一套能够揭示质数分布背后深层规律的数学工具。 这套工具,最终凝结成了一篇篇幅极为简短、却影响极为深远的论文。1859年,黎曼发表了一篇题为《论小于给定数值的质数个数》的论文。这篇论文篇幅极短,仅有八页,却在此后被公认为数论史上极为重要的文献之一——值得一提的是,这也是黎曼一生中,唯一一篇专门探讨数论的论文,他此后再未回到这一领域,仿佛只是随手留下了一份天才的草稿,便转身离去,把余下的证明,留给了后世的数百年。 在这篇论文中,黎曼构建了一个此后被称为"黎曼ζ函数"的数学对象。借助这一函数,他把此前看似杂乱无章的质数分布问题,转化为对这一函数性质的系统研究:质数的分布规律,与这一函数的某些特定取值(即函数的"零点")之间,存在着极为深刻的内在联系。 在这篇论文中,黎曼提出了一个此后被称为"黎曼猜想"的重要论断:这一函数所有具有实际意义的零点,似乎都精确地分布在复平面上的一条特定直线之上——这条直线后来被称为"临界线"。他并未对这一猜想给出严格的证明,只是在论文中较为简略地提及了这一观察,并表示由于其他研究事务繁忙,暂未对此展开进一步的深入论证。这句轻描淡写的话,后来被数学史家反复揣摩:黎曼究竟是当真认为这一证明尚需时日,还是他心中已隐约感到,这个问题的深度,或许远远超出了他所能触及的范围?他本人的手稿中,确实留有若干与此相关的零星计算,但始终未能形成完整的论证——这也为后世的探索者,留下了一处意味深长的空白。 正是这段简短而克制的表述,此后引发了数学界长达一个半世纪、至今仍未平息的持续探索。黎曼猜想所探讨的核心问题是:质数的分布,是否真的受到某种极为精确的内在规律所支配?我们所生活的这个看似充满偶然性的数字世界,其底层,是否存在着某种极为严整的秩序? 这一猜想的分量,远不止于数论内部的理论意义,它与现代社会的诸多现实应用,也存在着深刻的关联。今天广泛使用的密码学体系,很大程度上依赖于大质数这一数学对象:由于人们普遍认为质数的分布不具备可预测的简单规律,才敢于把重要的加密信息,建立在两个大质数相乘所构成的复杂结构之上。这里所依赖的"安全性",本质上并非某种坚不可摧的实体屏障,而是一种基于计算复杂度的现实约束:破解这类加密体系,在理论上并非绝无可能,但在现实条件下,所需要付出的计算代价极为高昂,几乎不具备可行性。 黎曼猜想与这类现实应用之间的联系,主要体现在它关乎质数分布规律的"边界"问题:质数的分布虽然表现出高度的不规则性,但若这种不规则性缺乏明确的边界约束,便难以对相关的误差范围作出可靠的估计,也就难以在工程实践中,对信息安全的可靠程度,进行有效的量化评估。黎曼猜想所关注的,正是这种"表面随机、实则受到某种规律约束"的深层结构:只要这一边界确实存在,人们便能够依据这一边界,设计出相对可靠的制度与协议;一旦这一边界并不成立,那么建立在这一假设基础之上的诸多安全体系,便可能面临被重新评估的风险。 需要说明的是,即便黎曼猜想在未来被证明成立,这一证明本身,也并不会直接提供某种"破解密码的通用方法"。数学证明所提供的,更接近于对现有理论体系可靠性的进一步确认,以及在证明过程中,可能衍生出的新方法与新视角,而非直接可用于破解具体加密系统的工具。但正因如此,黎曼猜想常常被视为现代数字文明背后一项极为重要的理论基石:它关乎的是,人们所依赖的这套"计算复杂度"体系,究竟建立在怎样坚实的理论基础之上——一个十九世纪中叶,为了理解质数而写下的八页论文,竟在一个半世纪之后,悄然支撑起了整个数字时代的信任基石,这或许正是数学最动人的地方:真正深刻的思想,往往能够穿越时间,落在其提出者从未设想过的土地上。 四、意大利的阳光与最后的岁月 黎曼的个人生活,远不如他的学术思想那般恢弘。长期的贫困与超负荷的脑力劳动,持续消耗着他原本就较为孱弱的身体。事实上,即便在提出黎曼猜想、发表关于几何基础的著名讲演之后,他在哥廷根的境遇,也并未立刻得到改善——很长一段时间里,他只是一名没有固定薪水的编外讲师,只能依靠学生听课时,自愿缴纳的微薄学费维持生计,直到1859年狄利克雷逝世后,他才得以接任其教席,成为正式教授,生活状况才略有好转。然而,命运似乎并不打算给他太多喘息的时间。 1862年,也就是他发表那篇重要论文之后的第三年,肺结核这一在当时几乎等同于绝症的疾病,开始严重侵蚀他的身体——这个曾经带走他母亲与数位兄弟姐妹的家族宿疾,最终也没有放过他。为了让他能够获得相对适宜的疗养环境,哥廷根大学与他的友人们,共同筹集资金,送他前往意大利疗养。 此后的岁月里,黎曼的生活,大多在德国与意大利之间往返,健康状况时好时坏。在意大利,他结识了比萨大学的数学家贝蒂——两人一见如故,很快成为挚友。贝蒂不仅在生活上多方照拂这位远道而来的德国学者,还常常陪他在托斯卡纳的乡间漫步、交谈,把黎曼的部分思想,介绍给意大利的数学界,此后意大利学派在函数论与拓扑学方面的诸多成就,都或多或少受到了这段友谊的滋养。意大利的气候与风光,确实给他带来了一段相对安宁的时光:他喜爱那里的湖泊与山峦,也喜爱那些在阳光下熠熠生辉的古罗马遗迹,常常在病情稍有好转时,便由妻子陪伴着,坐在户外望着远山,一坐便是整个下午。1862年,他与埃莉泽·科赫结婚;此后不久,他们的女儿伊达,在比萨出生——这是黎曼一生中,少有的、充满日常温情的一段时光,也是他自幼年起便习惯了的贫寒与病痛之外,难得的一段慰藉。 不过,即便是在这段疗养岁月里,他的思考也从未真正停歇。在体力允许的情况下,他仍会继续投入研究工作,随身携带的笔记本上,写满了他关于函数论与物理学的种种设想;体力不支时,则不得不被迫中断,由妻子在一旁,静静地守候。1866年7月20日,在意大利马焦雷湖西岸的塞拉斯卡,黎曼自知大限将至,却表现出一种源自童年家庭氛围的平静。据记载,那是一个天气晴好的清晨,湖面波光粼粼,远山映衬着天空,他望着窗外的景色,向陪伴在身边的妻子,轻声念诵了他父亲生前最喜爱的一句经文,随后便安详离世——他年仅三十九岁便离世,留下了在数学与物理学领域产生深远影响的理论遗产,也留下了尚在襁褓中的女儿,与终生未能改嫁、独自抚养孩子的妻子。 五、跨越世纪的追寻与黎曼的遗产 黎曼去世后,他留在哥廷根寓所中的大量手稿与草稿,也经历了一场令后世数学家深感痛惜的损失。由于他生前记录思路的习惯较为随意,许多重要的构想,都随手记录在各类零散的纸张之上。据记载,在清理他的遗物时,这些看似杂乱、写满了旁人难以理解的符号的纸张,曾被误当作无用的废纸而遭到焚毁。这批手稿之中,究竟还包含着哪些尚未公开的重要思想,如今已难以确知,这也成为数学史上一桩令人扼腕的遗憾。所幸,并非所有的手稿都遭此厄运——黎曼生前的好友、同样是杰出数学家的戴德金,在得知噩耗后,第一时间赶赴哥廷根,从尚未被销毁的遗物中,尽力抢救出一部分珍贵的手稿与讲义,此后又花费大量心力,将其整理、校订,编纂成《黎曼全集》公开出版。若不是戴德金这份近乎抢救式的努力,今天的人们,或许连黎曼留下的这些思想的残片,都无缘得见。 然而,黎曼的离去,并未使他所留下的那个猜想沉寂下去,反而使它成为此后一个多世纪里,一代又一代数学家竞相追寻的目标。 黎曼去世之后,他所提出的这一猜想,逐渐成为数学界最受关注的核心难题之一。1900年,希尔伯特在巴黎的国际数学家大会上,提出了著名的二十三个问题,黎曼猜想,正是其中之一。据说希尔伯特曾表示,如果他能够沉睡一千年后重新醒来,他最想了解的问题,便是黎曼猜想是否已经得到证明。 二十世纪初,剑桥大学的哈代与李特尔伍德这对长期合作的学者,把大量精力,投入到黎曼猜想的相关研究之中。哈代此后证明了:存在无穷多个符合猜想条件的零点分布在临界线上,这一成果,在当时被视为重要的进展。但在数学证明的意义上,“存在无穷多个符合条件的实例”,并不等同于"所有符合条件的实例均成立"——只要存在哪怕一个例外,整个猜想便无法成立。这也正是黎曼猜想至今仍未被完全证明的核心难点所在。 二十世纪七十年代,普林斯顿高等研究院发生了一段颇具启发性的学术插曲:数论学家蒙哥马利,在与物理学家戴森的交流中,偶然展示了自己关于黎曼ζ函数零点分布的研究数据,戴森注意到,这一分布规律,竟与他所研究的原子核能级波动规律,呈现出高度的相似性。这一发现,揭示出黎曼当年为研究质数而构建的理论工具,竟与物理学中描述微观粒子行为的规律之间,存在着此前完全未曾预料到的深层联系,这也进一步凸显出黎曼猜想在整个自然科学体系中,所具有的重要地位。 2000年,克雷数学研究所公布了"千禧年七大数学难题",黎曼猜想位列其中,并设立了高额的奖金以资鼓励。此后,尽管不断有学者宣称已经取得了相关的证明突破,但截至目前,这一猜想依然未能获得学界普遍认可的完整证明,依然是当代数学中最具挑战性、也最受关注的难题之一。 在这场跨越一个多世纪的追寻背后,人们真正想要回答的问题,从未改变:应当如何评价黎曼这位学者?他一生仅活了三十九岁,公开发表的论文数量并不算多,生前也未能获得如高斯、欧拉那般广为人知的声誉。但正是这样一位学者,为后世留下了两条影响极为深远的理论道路:一条通向对空间弯曲性质的深入理解,另一条通向对质数分布规律的持续探索。 黎曼去世之时,他留下的手稿虽然大多已经散佚,但他留给后世的理论遗产,却始终产生着深远的影响。今天,每当人们仰望星空,或是在日常生活中依赖各类加密技术保护个人信息时,实际上都在某种程度上,受益于黎曼当年所留下的理论遗产。而那条至今仍未被完全证明的"临界线",依然静静地存在于复数平面的理论深处,等待着后来的数学家解开谜团。

September 1, 2026

《数学的故事》第二十二章:十九世纪几何的转型——画布的革命

几何最早是一门"把世界画直"的手艺:在田亩上拉紧绳索,在墙角处立起直角,在河岸边标出边界。那时它服务于生活,线条朴素而实用。到了古希腊,它被系统化、被打磨、被抽象化,成为理性最为节制的推理体系:点、线、面被赋予严格的定义,几何学也随之带有近乎公理般的确定性。再往后,笛卡尔把坐标系引入平面——这一举措使曲线可以被写成方程,形状可以被计算、被转换、被精确地重新构造,几何从直观的图形描绘,逐渐发展为可以借助代数工具处理的精密学科。 而真正的转变,发生在十九世纪:几何不再满足于画得准确,而开始追问一个更为根本的问题——所依赖的"空间"本身,究竟具有怎样的性质?同一条线,在不同的几何背景下,是否会呈现出不同的规律?平行线是否必须永不相交?“无穷远"只是想象中的边界,还是可以被纳入几何研究本身的具体对象?一条闭合曲线,为何必然把平面分割为"内部"与"外部"两个区域?这些看似细微的问题,实际上标志着数学研究重心的深刻转移:从研究"图形的具体尺寸”,转向研究"图形在各类变换下所保持的内在结构";从研究"空间之中的形状",转向研究"空间本身所具有的性质"。 一、从测量到系统:几何在十九世纪之前的积累 古埃及的几何,最初是一门实用的测量之术,用以在洪水退去之后,重新丈量并划定土地的边界。到了古希腊时期,几何进一步从具体的测量技艺,发展为系统的逻辑演绎体系:欧几里得把这门学科整理成《几何原本》,从最基本的定义与公设出发,逐步推导出一个逻辑自洽的完整体系。此后,笛卡尔引入坐标系,使几何图形与代数方程之间建立起了紧密的对应关系——几何学由此获得了一种全新的表达能力:一幅具体的图形,可以被转化为一个明确的代数表达式,反之亦然。 在十九世纪即将到来之际,加斯帕尔·蒙日的工作,为这一时期几何学的发展,做出了重要的铺垫。他所撰写的《画法几何学》,把工程制图中的投影方法加以系统化:如何把三维物体准确地投影到二维平面之上,如何使透视原理从依赖个人经验的技艺,转化为一套可以被系统训练、反复运用的规范方法。这套方法体系,此后被进一步引申:既然投影这一操作会改变图形的外观,却依然保留了图形之间某些内在的关系,那么,是否可以直接从"投影关系"这一角度出发,重新构建整个几何学体系? 二、无穷远的引入:射影几何的确立 绘画艺术中最引人入胜的一种视觉现象,是两条实际平行的铁轨,在视觉透视中,会在远处呈现出相交的效果。理性告诉人们,这两条铁轨永不相交,但视觉经验却让人确信,它们会在画面的尽头汇聚。十九世纪的射影几何,正是把这种源自视觉经验的现象,转化为严格的数学研究对象:平行线在无穷远处的这一"交点",被正式命名为"无穷远点"——这一概念的引入,并非出于诗意的想象,而是为了使几何体系在逻辑上更加完整、更加自洽。 这段历史的起点,颇具戏剧性。让-维克多·彭赛列在拿破仑战争期间被俘,长期辗转于战俘营之中,缺乏书籍与充足的纸张,却在这样极为有限的条件下,凭借头脑中的推演,反复对图形进行投影、翻转与延伸,加以研究,试图从中把握住图形在各类变换下依然保持不变的内在结构。这些思考此后汇集成他的重要著作《论图形的射影性质》:这部著作,并非一部单纯讲授具体几何知识的书籍,更接近一份具有宣言性质的理论纲领——长度与角度这类度量性质,在投影变换中往往会发生改变,但某些更为深层的结构性关系,却依然能够保持不变,正是这些不变的关系,构成了射影几何真正关注的核心。 射影几何这一研究方向,在法国与德语学界呈现出略有不同的发展路径。雅各布·施泰纳是这一时期综合几何研究中的重要人物:他出身贫寒,早年的教育经历并不算顺利,却凭借极为敏锐的几何直觉,成为这一领域的代表性学者之一,他的研究风格更倾向于依靠几何直觉与具体构造,而非依赖繁复的代数运算。与此同时,卡尔·冯·施陶特则致力于把射影几何构建成一套不依赖度量概念的独立理论体系:他试图借助交比等射影不变量,作为整个理论的基础,使射影几何能够依靠自身内部的逻辑体系而自洽,不必借助长度这类外来的度量工具。 射影几何在这一时期完成了一次重要的观念转变:它不再追问"这条线段的长度是多少",而追问"在所允许的变换之下,究竟哪些性质构成了图形真正稳定的内在结构"。这一观念此后将被进一步推广、系统化,成为十九世纪几何学的核心方法论。而在其发展的前半段,它首先以一种较为直观的方式,深刻地改变了人们对几何空间的基本理解:无穷远点被纳入几何研究的范畴之后,整个几何体系,变得更加完整、也更加耐人寻味。 三、平行公设的动摇:非欧几何的确立 两千余年来,欧几里得几何中的平行公设——过直线外一点,有且仅有一条直线与已知直线平行——始终被视为不言自明的真理。历代数学家也曾多次尝试证明这一公设可以从其余更为基本的公理中推导得出,但始终未能成功。十九世纪最具突破性的进展在于:数学家们不再执着于证明这一公设的必然性,转而开始探讨——如果放弃这一公设,是否依然能够建立起一套逻辑自洽的几何体系? 罗巴切夫斯基在1829年至1830年间发表的研究成果,把这一设想系统化,构建出后来被称为"双曲几何"的理论体系:在这一体系中,过直线外一点,可以作出不止一条与已知直线不相交的直线。这一结论初看似乎有悖常理,却确实能够推演出一套逻辑严密、内部自洽的完整几何理论。然而,他的这一成果,在当时的学界并未得到应有的重视,反应普遍冷淡,甚至遭到部分学者的质疑与排斥。 几乎与此同时,鲍耶·亚诺什也独立地得出了相近的理论成果:他关于非欧几何的研究工作,历经多年才最终完成,并于1832年,以附录的形式,随其父亲的著作一同出版。 与此同时,高斯这位在数学界享有崇高声誉的学者,同样对非欧几何的可能性进行过深入思考,也留下了相关的推演,但他并未选择公开发表这一研究成果。这并非因为他对这一理论缺乏充分的理解,恰恰相反,正是因为他对这一理论的深刻理解,使他预见到,一旦这一颠覆性的观点被公之于众,很可能会在当时仍普遍尊奉欧几里得几何为唯一真理的学界,引发相当激烈的争议。他把这些思考,长期封存于私人的笔记与通信之中。这一沉默,也从一个侧面表明:某些重大的理论突破,其所欠缺的,未必是足够深刻的洞察力,而可能是一个能够充分接纳这一洞察的时代氛围。 一旦人们逐渐承认,欧几里得几何并非空间性质唯一可能的描述方式,欧几里得几何本身,并未因此被彻底推翻,而是从此前被视为唯一确定的真理,转变为诸多可能的几何体系之一。与之并存的,还包括三角形内角和不再固定为一百八十度、最短路径的形态也随之发生变化的非欧几何体系。世界由此不再只存在一种被视为"合乎常理"的空间描述方式。 不过,非欧几何若要真正被学界广泛接纳,还需要进一步的理论支撑——否则,它便始终容易被视为某种缺乏坚实基础、难以进入主流学术视野的边缘理论。真正为这一理论提供了坚实支撑的学者,是欧金尼奥·贝尔特拉米。 四、直线成为研究对象:线几何、度量的重构与变换群的确立 当几何学的研究重心逐渐转向"变换"这一核心概念时,一种颇具启发性的思路也随之出现:不再仅仅把"点"视为几何研究中最基本的元素,而开始把"直线"本身,也纳入系统研究的范畴之中。尤利乌斯·普吕克正是把这一思路发展成系统理论的重要学者。 他于1868年出版了《空间的新几何学》第一部分,提出把直线作为空间研究的基本元素来加以处理。值得一提的是,在完成这部著作的第二部分之前,普吕克便已去世,而当时正担任他助手的年轻学者费利克斯·克莱因,此后依照普吕克此前的设想,整理并出版了该书的第二卷。 线几何这一研究方向的意义,并不仅仅在于更换了具体的研究对象,更体现出一种颇具现代意味的理论视角:当研究"所有可能的直线"这一集合本身时,便不可避免地进入了一个更高层次的空间——由这些"直线"所构成的集合本身,便构成了一个全新的几何研究对象。这一思路,悄然把几何学推向了此后极为重要的一项观念:某一类对象的集合本身,同样可以成为新的研究对象;空间本身,也可以被赋予某种更高层次的空间结构。 但几何学的探索并未止步于此。在射影几何这一"最不依赖度量"的理论体系内部,学者们还完成了一项颇具巧思的工作:重新构建出度量的概念。阿瑟·凯莱在1859年的研究中,提出借助一个被称为"绝对二次曲线(或曲面)“的对象,来重新定义距离这一概念,这一思路此后被克莱因进一步发展为一套统一的理论框架:依照所选取的"绝对对象"不同,可以分别得到欧几里得几何、双曲几何、椭圆几何等不同的度量体系——度量不再被视为空间本身天然具备的固定属性,而是在选定某一具体的参照对象之后,从射影不变量(例如交比)之中,重新推导出来的结果。 至此,十九世纪几何学发展的核心主题已经逐渐清晰:变换与不变量。1872年,克莱因把这一思路,系统提炼为一套完整的理论纲领——《埃尔朗根纲领》,把几何学重新定义为对某一特定变换群作用下保持不变的性质加以研究:所允许的变换越多,能够加以区分的具体细节便相应越少;所允许的变换越少,相应的几何体系便越为精细、越为严格。这一理论框架,把此前学界长期存在的诸多直觉性认识,系统整合为一套具有严密逻辑的整体分类体系:各类此前看似彼此独立的几何体系,都可以依照其所允许的变换群,被纳入统一的分类之中。 而当"变换群"这一概念,成为这一时期几何学研究的核心之后,索菲斯·李的工作,进一步把这一理论推向了新的高度。他创立了连续变换群理论,把对称这一原本较为静态的几何概念,转化为可以进行微分运算、可以驱动具体方程求解的强大理论工具——这也使得几何学与微分方程、物理学等领域之间的联系,变得更加紧密而广泛。 五、曲率作为核心:黎曼的空间理论与贝尔特拉米的模型构造 射影几何把视角本身纳入了几何研究,非欧几何动摇了平行公设的绝对性,线几何则把直线提升为核心的研究对象——但这些理论探索,在相当程度上,仍然停留于讨论"应当如何描绘空间"这一层面。真正把空间本身,转化为一个具有内在生命力、可以被深入研究的具体对象的学者,是波恩哈德·黎曼。 1854年,他在一次资格讲演中提出了"关于几何基础的假设"这一重要理论:他把空间理解为一种可以被赋予度量、可以谈论曲率的研究对象——空间不必局限于三维,也不必在各处都呈现出完全相同的性质,它可以是任意维度、局部可以被精确描绘、整体上却可能呈现出弯曲状态的复杂对象。值得一提的是,他当时曾为这次讲演准备了多个候选题目,最终是由高斯,选定了关于几何基础这一主题。此后,几何学的研究,正式进入了"流形"这一更为广阔的理论时代。 黎曼几何最为深刻的贡献,并不在于某一项具体的定理,而在于它从根本上改变了"空间"这一概念本身所承载的含义:空间不再被视为承载具体图形的静态背景,而成为具有其自身内在性质、能够主动参与几何研究的核心对象。曲率在这一理论体系中,不再只是一个附属性的描述词汇,而成为空间本身最为核心的属性:在空间的不同位置,其内在的"伸缩性质"可能有所不同,最短路径(测地线)也会因此呈现出不同的具体形态。空间由此第一次被允许拥有各自不同的"局部几何性格”。 不过,这样一套具有革命性意义的理论,若要真正获得学界的广泛认可,还需要具体而可靠的模型加以支撑,否则,很容易被视为过于抽象、难以把握的理论构想。欧金尼奥·贝尔特拉米正是完成这一关键工作的学者。1868年,他给出了双曲几何的具体模型,特别是借助曲率为常数、且为负值的曲面(例如伪球面)等具体构造,实现了非欧几何的直观呈现,并据此论证:只要欧几里得几何本身不存在逻辑矛盾,那么双曲几何,同样不存在逻辑矛盾——二者在逻辑自洽性这一层面,是彼此等价、共生共存的。这一成果,相当于为此前长期被视为纯属理论构想的非欧几何,提供了确凿的合法性依据:它不再仅仅是一种缺乏根基的大胆设想,而是能够在已经被广泛接受的理论框架内,被严格构造出来的具体对象。 自此以后,非欧几何不再是孤立的理论宣言,而成为一个可以被具体计算、可以相互比较、可以在不同模型之间灵活转换的成熟研究对象。射影几何中的不变量理论、凯莱与克莱因所提出的"绝对对象"理论,以及黎曼关于曲率的空间理论,在这一时期彼此呼应、相互印证,共同指向同一个重要结论:空间不再只有唯一的形态,几何学也不再只有唯一的体系。 在这一理论体系日益丰富的背景下,加斯东·达布完成了另一项极具系统性的工作。他所撰写的多卷本《曲面一般理论讲义》(出版时间跨越1887年至1896年),把此前较为分散的曲面理论,加以系统整理与汇编,为这一领域的研究,提供了极为详尽、系统的理论基础。 六、拓扑学的诞生与希尔伯特的公理化整顿 几何学发展至十九世纪末,逐渐显现出一种颇为微妙的理论困境:这门学科越是深入地依赖直觉,直觉本身,便越容易在某些极端情形下,显露出其局限性。人们通常凭直觉认为,一条闭合曲线自然会把平面分割为"内部"与"外部"两个区域,但当曲线的形态变得极为复杂、处处连续却处处不光滑,甚至在局部呈现出极为剧烈的振荡时,这一看似显而易见的直觉判断,便开始面临严峻的理论挑战。 正是在这一背景下,卡米耶·若尔当于1887年提出并给出了"若尔当曲线定理"的首个证明:任何简单的闭合曲线,都能够把平面分割为内部与外部两个区域。这一结论表面上看似浅显,实际上其严格证明,却相当不易——这也正是这一定理之所以重要的原因:它相当于把此前仅凭直觉认可的这一性质,真正转化为经过严格逻辑论证的确定结论。 在这一理论基础之上,几何学的研究,进一步向更为抽象的方向拓展:不再关注长度与角度这类具体的度量性质,而开始追问,在不发生撕裂、也不发生粘合的连续形变过程中,图形究竟保持着怎样的本质属性。亨利·庞加莱于1895年发表的《位置分析》一文,标志着这一研究方向正式确立了系统的理论语言:拓扑学由此诞生,几何学中"不变量"这一核心概念,被进一步推进到更为柔性、也更为深层的理论层面。 而当整个十九世纪的几何学研究,在多个方向上持续拓展、蓬勃发展之后,学界也逐渐意识到,有必要对这一学科的整体理论基础,进行一次系统的梳理与整顿——这并非是为了限制这一学科此后的发展,而是为了使其理论根基更加清晰,使每一种具体的几何理论,都能够明确自身所依据的公理体系。大卫·希尔伯特于1899年出版了《几何基础》一书,以严谨的公理化方法,重新系统梳理了欧几里得几何的整体逻辑结构,为此后几何学的进一步发展,奠定了更为坚实可靠的理论基石。 结语:十九世纪几何为何不断拓展边界 回顾这段历史,十九世纪几何学的发展,并非仅仅体现为涌现出了更多杰出的学者,而更体现为几何学所依赖的基本理论框架,经历了几次深刻的转变:射影几何把无穷远这一概念正式纳入几何研究的范畴(彭赛列的开创性工作,以及施泰纳、施陶特等学者的后续深化);非欧几何证明了平行公设并非唯一可能的选择(罗巴切夫斯基与鲍耶各自独立的理论建构,以及高斯此前未曾公开的深刻思考);线几何把直线本身确立为核心的研究对象,凯莱与克莱因进一步在射影几何的框架内,重新构建出度量的理论(普吕克的开创性工作,以及克莱因借助《埃尔朗根纲领》所完成的系统整合);黎曼把空间本身,转化为具有内在曲率、可以深入研究的具体对象,贝尔特拉米则为非欧几何提供了具体而可靠的理论模型,达布则系统整理了曲面理论的整体框架;最终,若尔当曲线定理的严格证明,推动了拓扑学这一全新学科的确立,庞加莱进一步拓展了这一理论领域,希尔伯特则以严谨的公理化方法,重新校正了整个欧几里得几何体系的理论基础。 因此,十九世纪几何学的重要意义,并不在于它使人们对世界的描绘变得更加逼真,而在于它第一次系统地表明:这个世界,可以借助多种不同的理论框架来加以理解,而几何学,正是致力于研究"在所选定的具体研究方式之下,究竟哪些性质能够始终保持不变"这一根本问题的学科。

August 30, 2026

《数学的故事》第二十章:十九世纪的代数之歌——从余数的规律到对称的结构

微积分让速度不再是模糊的感觉,面积不再只能依靠切割来估算,天体的轨道也不再只是难以捉摸的神迹。十八世纪末到十九世纪初,欧洲学界弥漫着一种"世界可以被计算"的兴奋:航海需要精确的星历,战争需要可靠的弹道,工程需要坚实的桥梁,工业需要提升的效率,甚至公共财政与人口统计,也开始借助数字来加以描述。理性不再仅仅是象牙塔中的谈资,而逐渐成为一种切实的生产力。 然而,就在数学借助微积分迅速向前推进的同时,另一批学者的目光,却重新投向了此前显得较为朴素、甚至有些不起眼的领域:整数、余数、方程、对称,以及运算规则本身。这些对象看起来近乎静态,不像微积分所处理的"变化"那样引人瞩目,但它们同样构成了整个数学体系的地基——地基本身或许并不耀眼,却决定着此后这座建筑,能够建得多高、多稳。十九世纪的代数与数论,正是在这样的背景下重新兴起:它不像分析学那样,更多依靠严谨的证明与裁定来推进,而更接近一种语言与体系的建立——数学家们逐渐发展出新的符号、新的表达方式,使得原本互不相干的各类问题,能够被纳入统一的理论框架之中,加以处理。 这一时期的代数史,涉及众多人物:有人致力于整理此前分散的符号与判断,有人致力于扩展既有的理论框架,有人致力于发明全新的数学对象,有人则致力于把逻辑与几何本身,也纳入代数化的处理之中。这段历史所呈现的,并非简单的人物名录,而是一门学科如何从零散的技艺,逐步成长为一套完整而系统的表达方式。 一、余数的规律:勒让德、高斯与"理想数"的诞生 不妨先从最为朴素的对象说起:余数。在日常生活中,余数近乎找零时留下的零钱,并不引人注意。但在数学之中,余数却蕴含着一种颇为独特的规律——借助同余关系,一个数在某个模数之下所呈现出的性质,往往能够揭示出许多此前难以察觉的内在联系。十九世纪初,数论研究真正致力于完成的工作,并非仅仅发现若干孤立的精彩结论,而是把这类"同余"现象,逐步整理为一套可以被系统传授、可以被反复运用的理论语言。 勒让德在这一进程中,扮演了一位细致整理者的角色。他或许并非这一时期最为耀眼的开创性人物,但他极为擅长把此前分散的各类判断,压缩为简洁而便于使用的符号表达,使这些结论,能够被后来的学者反复引用与运用。这类符号体系的建立看似只是形式上的整理工作,实则极大地推动了此后相关理论的持续发展——清晰而统一的表达方式,能够使原本冗长繁琐的推理过程,变得更为简洁高效。 而在这条脉络的发展进程中,高斯的贡献,具有极为关键的意义(关于他的生平与更为完整的贡献,本书已在专门的章节中详细讲述,此处不再展开)。经由他的系统研究,数论中"同余"这一表达方式,不再仅仅停留于趣味性的观察,而真正成为一种可靠、系统的研究工具:数学家们此后不再只是笼统地讨论某个整数本身的性质,而开始系统地考察它在不同模数之下所呈现出的具体规律,并据此把复杂的整除问题,转化为可以清晰分类、系统求解的具体问题。数论由此不再是一门依靠零星发现积累起来的学问,而逐渐成长为一套具有内在逻辑体系的成熟学科。 不过,当整数理论所适用的范围逐渐扩展至更为广阔的数域之后,一个此前令人安心的重要性质——“唯一分解”——却开始出现动摇。在通常的整数范围内,任何一个整数,都可以被唯一地分解为若干素数的乘积,这一性质被视为理所当然。但当研究范围扩展到某些更为复杂的数域之后,人们逐渐发现:同一个数,在新的数域中,可能存在多种不同的分解方式,此前所依赖的"唯一分解"这一基本性质,在新的理论背景下,不再必然成立。 正是在这一背景下,理查德·戴德金完成了极具开创性的理论工作。当既有的分解方式在更为复杂的数域中,变得不再清晰可靠时,他并未简单地退回到此前较为狭窄的理论范围之内,而是提出了一种更为稳健、也更具普遍适用性的新概念——“理想”。与其执着于要求每一个数,都必须依照传统方式,被唯一地分解为若干"基本单元",不如引入一种更为灵活的结构性概念,使得即便在更为复杂的数域之中,分解这一操作,依然能够保持其应有的清晰性与确定性。戴德金的这一理论创新,把此前局限于普通整数范围内的"唯一分解"这一重要性质,重新以一种更具普遍性的形式,加以恢复和确立,此后也成为代数数论这一研究方向的重要理论基础。 沿着这一脉络回顾,勒让德为此前分散的数论结论,提供了系统的符号表达,高斯把"同余"这一概念,发展成为一套完整而可靠的理论体系,戴德金则进一步把这套理论,扩展到了更为广阔的数域之中。数论由此不再只是一门充满趣味性发现的学科,而逐渐成长为一门具有持续拓展能力的成熟学科。 二、无法用根式表达的方程:阿贝尔与伽罗华 在方程求解这一传统数学问题上,早期数学家已经取得了相当的进展:二次方程存在明确的求根公式,三次方程与四次方程,此后也相继找到了相应的根式解法。由此,人们自然而然地期待:五次方程,理应也能够找到类似形式的求解公式,只需要投入更多的努力,寻找更为巧妙的代数变形方法。 然而,阿贝尔的研究,彻底打破了这一预期。他证明了:一般的五次方程,无法通过根式来求解。这一结论所揭示的,并非此前的数学家们努力不够,而是这一问题本身,已经超出了根式这一特定求解方式所能够处理的范围。这是数学史上一次极为深刻的转变:数学第一次能够以严谨的方式,证明某一类问题"不可能"存在特定形式的解——这并非一种令人沮丧的结论,而恰恰体现出这门学科走向成熟的重要标志:它不再仅仅奖励那些能够给出具体解答的研究者,也开始重视那些能够清楚指出某种方法之根本局限的研究者。 但若这段历史仅仅停留在"无法求解"这一结论本身,代数学的发展,便会因此陷入停滞。正是在这一背景下,伽罗华的研究,把这一问题推向了更为深入的层面:既然某些方程无法通过根式来求解,那么真正值得追问的是——这些方程的内部结构之中,究竟蕴含着怎样的深层规律,使得它无法被这一特定的求解方式所驯服? 伽罗华研究的关键,在于他系统考察了方程的根之间,可能存在的各类置换关系:把一个方程的若干根重新加以排列组合,有些排列方式,并不会改变这些根之间原有的内在关系,而另一些排列方式,则会破坏这种关系。那些能够保持根之间内在关系不变的置换,共同构成了一种此前从未被系统研究过的结构——这便是此后被称为"伽罗华群"的重要概念。由此,一个方程是否能够用根式求解,不再是一个依靠尝试与运气来判断的问题,而转化为对这一置换结构本身性质的系统考察:某些方程的置换结构相对简单,因而能够被根式这一特定的表达方式所容纳;而另一些方程的置换结构则更为复杂,需要借助更为广泛的数学语言,才能够加以充分描述。伽罗华的这一研究,把代数学的重心,从单纯地"寻找具体答案",转向了更为深入的"研究方程本身的内在结构"这一全新方向。 不过,这类源自直觉的深刻洞察,若要真正被这门学科所吸纳,还需要经过系统化的整理,转化为可以被清晰传授的理论体系。凯莱在这一进程中,发挥了极为关键的作用:他把伽罗华所发现的这种"保持内在关系不变的置换"这一具体现象,进一步加以抽象化处理,使其不再仅仅局限于某一特定方程的具体研究,而成为一个具有普遍意义、可以独立加以研究的数学对象——这便是此后在数学中占据核心地位的"群"这一概念。经由这一系统化的理论建构,代数学从此拥有了一套用以描述对称与变换关系的通用语言:此前,数学家们大多只能笼统地说某个对象"具有对称性";而此后,他们则能够清楚地说明,这一对象具体存在哪些变换方式,以及这些变换方式,彼此之间又是如何相互组合的。 三、新工具与新空间:雅可比、哈密顿、格拉斯曼与切比雪夫 十九世纪的代数学,展现出一种颇具建设性的发展态势:它不再仅仅满足于解释此前已有的问题,而开始积极地发明新的数学工具、新的表达方式,以及新的处理方法。 雅可比在这一进程中,扮演了系统建构者的重要角色。他的贡献,并不局限于某一项孤立的杰出成果,而更体现在他成功建立起了一整套具有内在系统性的研究方法:行列式、变换理论、符号运算技巧,以及各类函数对象,在他的研究中,逐渐发展成为一套可以被反复运用、加以推广的系统性工具。数学研究由此变得更接近一种可以被系统训练的技艺:不再仅仅依靠偶然的灵感,而更多依靠经过系统训练后所形成的结构性思维与工具性能力。此外,雅可比的研究,还进一步打通了数论与函数理论这两个此前相对独立的研究领域之间的联系:许多与整数相关的深层问题,实际上与具有周期性、对称性等特征的复杂函数之间,存在着此前未被充分认识的内在关联。 随着这套研究体系日趋成熟,数学家们逐渐遇到了一个更为具体的现实问题:既有的数学工具,在处理某些更为复杂的现实问题时,显得力有不逮。例如,要描述三维空间中的旋转变换,复数这一原本用于处理二维平面问题的工具,便显得难以胜任。正是在这一背景下,哈密顿完成了一项极具开创性的工作:他历经多年的探索,最终发明了"四元数"这一全新的数学对象。四元数并非一件单纯的数学奇观,而是一种能够描述此前既有工具难以处理的运算方式的全新体系——例如,在四元数的运算中,乘法运算的顺序,会直接影响最终的运算结果,这在传统的算术体系中,原本被视为一种错误,但在描述空间旋转这类具体问题时,却恰恰反映了现实中真实存在的规律。哈密顿的这一贡献,表明:为了能够准确描述更为复杂的现实现象,数学有时必须主动突破此前习以为常的某些运算规则,乃至某些看似天经地义的对称性假设。 与哈密顿同一时期,格拉斯曼的研究工作,同样具有深远的意义,只是在当时并未获得充分的理解与认可。他致力于构建一套能够描述任意维度空间、任意叠加运算的理论语言,使"方向"“面积"“体积"等原本仅存在于几何直觉之中的概念,也能够被纳入系统的代数表达框架之中。他的这套理论,在当时较少为学界所理解和重视,直到此后数学发展真正需要向量空间、外代数等理论工具时,人们才逐渐意识到:格拉斯曼早已为这些后来的理论,奠定了相当完整的基础。 不过,随着新的数学工具与表达体系不断涌现,研究领域日趋复杂,另一种现实的风险也随之出现:在处理日益复杂的问题时,若缺乏必要的约束与控制,便容易在计算或推理过程中出现难以察觉的偏差。正是在这一背景下,切比雪夫的研究工作,显得格外重要。他所展现出的治学气质,体现为一种审慎而稳健的态度:他所关注的,并非追求某种理论上绝对精确、却往往难以真正实现的完美结果,而是致力于在面对复杂问题时,依然能够给出可靠的上下界估计、合理的误差控制,以及有效的逼近方法。许多深层次的数学问题,往往并不存在简洁的封闭表达式,切比雪夫的研究,教会了后来的数学家一种极为重要的现代研究习惯:即便无法精确求解每一个具体问题,也应当致力于确保整体结果,始终处于可靠而可控的范围之内。 综合来看,雅可比为代数研究建立起了可以系统训练的研究方法,哈密顿拓展了数学工具所能够描述的对象范围,格拉斯曼提前构建了后世才被充分理解的理论语言,切比雪夫则为处理复杂问题提供了稳健可靠的方法论基础。代数学由此不再仅仅是一套抽象的理论体系,而逐渐发展成为一套具备完整研究工具、系统方法与可靠保障的成熟学科。 四、逻辑的代数化与几何的谱系:布尔与克莱因 到十九世纪后期,代数学已经拥有了描述对称关系的系统语言、丰富多样的理论工具,以及审慎可靠的研究方法。但一个领域的持续繁荣,有时也会带来新的困扰:随着研究方向与理论体系日益增多,人们反而不易清楚地把握,这些不同的研究方向之间,究竟存在着怎样的内在联系。几何学发展出了多个不同的分支,代数学也衍生出了多种不同的结构体系,函数理论与几何学之间的联系,也日趋复杂。这一时期的数学发展,迫切需要两项重要的工作:一是需要有人梳理清楚,这些不同的理论体系之间,究竟存在着怎样的内在关联;二是需要把"推理"这一过程本身,也纳入系统化、可操作的理论框架之中。 乔治·布尔在这一方面完成了极具开创性的工作。他在《思想的法则》一书中,完成了一项在当时看来颇为大胆、此后却被证明极为自然的理论创新:把逻辑推理这一此前主要依靠语言与修辞展开的过程,转化为一套系统的代数运算。此前的逻辑推理,主要依靠语言的表述与论辩技巧来展开;而布尔则致力于,把这些推理过程,转化为可以依照明确规则加以运算、检验的符号系统。这并非要否定思想本身所具有的复杂性,而是为逻辑推理这一活动,提供了一套可以被清晰记录、系统操作的表达方式,使得"判断"这一过程,也能够像具体的运算一样,被组合、简化、变形与检验。 此后,费利克斯·克莱因在几何学领域,完成了另一项极具整合意义的重要工作。当几何学发展出多个此前看似彼此独立、甚至相互对立的分支体系时,克莱因提出了一种极为精妙的整合方式:与其把这些不同的几何体系,视为相互排斥的对立学派,不如把它们理解为各自遵循不同规则、却同样自洽的理论体系——每一种几何体系,实际上都对应着某一类特定的变换群,而这一几何体系所真正关心的,正是在这些特定变换之下,始终保持不变的性质。依照这一思路重新审视,欧几里得几何、射影几何、非欧几何等此前看似彼此孤立的理论体系,便呈现出一种清晰的谱系关系:它们并非彼此否定,而是各自选择了不同的变换群与不变量,来加以研究。克莱因的这一理论框架,把此前较为分散的几何学各分支,重新整合成了一幅条理清晰的整体图景。 回顾这一时期代数学的整体发展脉络:勒让德与高斯,使整数理论中蕴含的内在规律,变得系统而可靠;戴德金,把这套理论体系,进一步扩展至更为广阔的数域;阿贝尔,证明了某些方程无法通过根式求解这一深刻结论;伽罗华,揭示出这些方程内部所蕴含的对称结构;凯莱,把这一对称结构,提炼为具有普遍意义的"群"这一概念;雅可比、哈密顿、格拉斯曼与切比雪夫,则分别在研究方法、理论工具与稳健性等方面,为这一学科的持续发展,奠定了坚实的基础;而布尔与克莱因,则进一步把逻辑推理与几何学本身,也纳入了系统化的代数框架之中。这一系列进展表明:十九世纪的代数学,正在经历一场深刻的转变——从此前较为零散的具体技艺,逐步发展成为一套具有严密内在逻辑的完整表达体系。 五、迈向二十世纪:哈代与李特伍德 这一时期的代数与数论发展,最终走到了新世纪的门槛前。在这一历史节点上,约翰·恩瑟·李特伍德的工作值得一提:他与哈代之间长期而富有成效的合作,已经展现出颇具现代特征的科研模式——数学研究不再仅仅依靠某位学者的孤立探索,而更多依靠持续的相互协作。 哈代1877年生于萨里郡的克兰利,父母都是教师;他先入温彻斯特公学,1896年考入剑桥三一学院。李特伍德比他小八岁,1885年生于肯特郡,同样在三一学院求学。两人性情相去甚远:哈代拘谨自持,终生以"纯粹数学家"自居,对应用数学抱有近乎洁癖的疏离感;李特伍德则随性得多,兴趣广泛,球类运动尤其出色。但这份差异丝毫没有妨碍他们此后延续三十余年的合作——从第一次世界大战之前直到1947年哈代去世,两人联名发表的论文近百篇,无论数量还是分量,在数学史上都难找到可以相提并论的先例。以至于剑桥当时流传一句玩笑:英格兰真正一流的数学家只有三位——哈代、李特伍德,以及"哈代-李特伍德”。 更有意思的是他们合作的具体方式。两人常年分居两地——李特伍德多在剑桥,哈代一度在牛津任教——彼此更愿意通信而非当面讨论,据哈拉尔德·玻尔记述,他们曾半开玩笑地为这种合作定下几条"公理”:信中所说的对错无关紧要,因为唯有如此才能毫无顾虑地畅所欲言;收到对方来信后,没有义务去读,更没有义务回复;两人应尽量避免同时琢磨同一个细节;至于论文署名,即便某一方对某篇文章毫无贡献,也应一并列名,以免因贡献多寡而生嫌隙。这几条不成文的约定,与其说是效率安排,不如说是一种建立在充分信任之上的分工默契——它使两人可以各自保有节奏与自由,又能在整体上产出远超单人之力的成果。哈代自己也不乏轶事流传:一次从丹麦搭船返英,海上风浪颇大,他索性寄出一张明信片,宣称自己已经证明了黎曼猜想——他半开玩笑地解释,倘若沉船,此举便可让他的名字与这道难题一同流传;而他料定,上天不会甘心让他就此获得这份殊荣,因而也就不会让船沉没。 这一时期的数论研究,也愈发呈现出一种系统训练的特点:各类估计方法、边界条件的确定、平均值的计算,以及对波动现象的有效控制,逐渐成为这一领域研究者所必须掌握的基本功——这并非单纯的技巧展示,而更接近一种扎实的训练:使研究者即便身处复杂而难以把握全貌的具体问题之中,依然能够保持稳健可靠的判断与推进能力。 六、结语 十九世纪的代数与数论,表面上看似日趋抽象,与日常生活的距离,似乎也越来越远;但其内在所完成的工作,实则相当朴素:这门学科,在为数学发展出一套更为系统的表达语言、更为广阔的研究范围,以及更为可靠的研究方法。它使整数不再仅仅是简单的计数工具,而具备了内在的规律与结构;使方程求解不再只是寻找具体答案的练习,而成为深入探究其内在对称结构的系统研究;使代数运算不再局限于此前熟悉的少数几种运算规则,而拓展至能够描述空间旋转、多维叠加等复杂现象的全新领域;使逻辑推理不再仅仅停留于语言层面的辩论,而能够被转化为清晰、可操作的符号体系;最终,又借助克莱因等学者的整合性工作,把这些看似分散的理论体系,重新纳入了一幅条理清晰的整体图景之中。当这一切逐渐汇聚成形,二十世纪的数学,也已经站在了新的起点之上。

August 15, 2026

《数学的故事》第十九章:数学王子高斯:把世界拧到更准的人

十九世纪的数学有三条主脉络:在分析这条脉络上,微分方程的应用日益广泛;在代数方面,方程的"根"开始展现出更为复杂的内在结构;在几何这条脉络上,平行公设受到了前所未有的质疑,空间的性质不再被视为唯一确定的真理。而在这一时期,有一个人几乎同时窥见了这三条主脉络此后的走向,最早为它们勾勒出了大致的轮廓——卡尔·弗里德里希·高斯。 后世称他"数学王子"。这个称号听上去像一顶冠冕,仿佛只需佩戴便足以彰显身份。但深入了解他的一生,会发现这更像一把扳手:高斯没有为数学添上多少装饰性的光彩,他做的是把这门学科的各个部分逐一拧紧——把松动的螺丝拧到恰到好处的力度,把摇晃的梁柱调整至水平,把含糊不清的概念打磨得清晰锋利。十九世纪的数学之所以能发展成一台运转顺畅的机器,能在物理学、天文学与工程学中持续发挥作用,很大程度上正靠这些不起眼却极为关键的紧固工作。 一、一个穷孩子如何把"算术"当作玩具 高斯出身并不显赫。父亲做各类体力劳动,关心的多是当天的具体工钱;母亲是一位持家节俭的普通妇人。这样的家庭通常只培养出谨慎与勤劳这类朴素的品质。但高斯在这样的环境中,展现出一种对数字近乎天然的敏感——旁人家的孩子在院子里嬉戏,他却对数字之间的关系表现出浓厚的兴趣。有人说他三岁时便能纠正父亲计算工钱时的错误;也有人说他学会正式书写之前,心里已经掌握了基本的运算规律。细节未必可考,但数字在他眼中呈现出一种格外清晰的秩序,这一点大体可信。 他的学生时代流传着一则更为可靠的轶事。老师为了让课堂安静下来,出了一道题:把1到100的所有整数逐一相加。老师原本预计这能耗掉一节课,高斯却几乎立刻交出了答案。他的办法后来被概括得极为简洁:把1与100配对,2与99配对,依此类推,每一对的和都是101,一共五十对,总和5050。一道用来消磨时间的题目,在他手里几乎瞬间解决。 这并非仅仅是"聪明"二字能概括的。聪明的人不少,但高斯这种一眼看穿问题内在结构的能力,更接近一种天赋的洞察方向——他总能在复杂中发现对称,在杂乱中找到规律,在混沌的表象之下把握住可以简化的内在结构。而这恰恰是十九世纪数学最需要的一种能力:这个世纪注定要经历一次深刻转变,从"计算正确"走向"论证清晰",从"方法可用"走向"过程可证"。 天赋之外,还需要愿意认可它的人。他的老师注意到这份才能后,没有止步于口头赞许,而是把他当作一颗需要悉心培养的火种,促成了后续的资助——不是传说中充满光环的方式,而是具体而实在的学费与书籍。天赋再突出,也需要恰当的环境才能延续下去。 二、十七边形:一枚硬币的两面 高斯青年时期的第一项重要工作,与古希腊的尺规作图问题有关。自欧几里得以来,数学家们只凭一把没有刻度的直尺与一副圆规,试图把各类几何图形精确地画出来。此后两千年间,人们陆续确定了哪些正多边形可以用尺规作图完成:正三角形、正四边形、正五边形……但正七边形、正九边形以及许多其他边数的正多边形,长期悬而未决。 高斯在这个问题上取得了突破:他证明了正十七边形可以用尺规作图完成。十七是一个特殊的素数,并非人们此前凭直觉认为"应当可行"的边数。这个结果表面上不算惊天动地,但揭示了一个深刻的道理:几何作图问题的背后,隐藏着代数结构的深层规律。 他把这一发现记在自己的日记里,日期是1796年春天,旁边只留下寥寥数字,记录发现时的喜悦。这种克制的记录方式,本身就很能体现他一贯的治学风格——不事张扬,却分量十足。 正十七边形能否作图,根本原因在于17这个数字的结构,与某种特定的代数方程之间存在紧密的对应关系。高斯用这一具体的几何结果告诉学界:几何问题不能再被简单地视为纯粹的图形绘制技艺,其背后往往关联着方程、根的结构,以及某种此前未被充分认识的对称规律。此后,代数与几何将在射影几何、非欧几何、黎曼几何中反复交汇,而高斯关于正十七边形的发现,恰似一枚硬币的两面:正面是古典的尺规作图传统,背面镌刻着现代代数的深层结构。 高斯本人对待发表相当谨慎,不急于把尚未成熟的想法公之于众。他有一句拉丁文格言,后来被反复引用:“少,但成熟。“宁可只呈现少量成果,也要确保每一项都经过充分打磨。这种近乎严苛的完美主义确保了他所发表内容的质量,但也让他的许多思考长期未能及时公开——直到他去世后,人们才从他留下的笔记与手稿中,陆续发现他早已在多个领域完成了极具分量的前瞻性研究。 三、分析那条街:复数、代数基本定理,与"把幽灵变成公民” 复数在数学分析中长期没有获得应有的理论地位。十八世纪,它常被视为一种仅具计算便利、缺乏实际意义的"虚构”,直到十九世纪才逐渐站稳脚跟。高斯在这个进程中扮演的角色相当实际:他没有靠诗意的辩护为复数正名,而是用严谨的证明为它确立了理论地位。 1799年,高斯在博士论文中证明了代数基本定理:任何一个非零的复系数多项式,在复数域中都存在根(更严格地说,这样的多项式可以分解为一次因式的乘积)。说得平实一点,这意味着复数域在代数运算意义上是"闭合"的。在当时,这个证明相当于宣告:此前被部分学者视为可疑、甚至排斥的"虚根",其实有确切的理论地位,共同构成了一个完整而自洽的数学体系。 这项证明此后经过多次改进与重新表述,但它真正的意义不在于某一项具体的证明技巧,而在于其中体现出的一种态度:不该把数学分析仅仅当作服务于具体运算的工具性学科,也不该把复数当作运算过程中的权宜性构造,而应当为每一个数学概念赋予明确而严谨的理论地位。十九世纪分析学走向严密化的进程——柯西与魏尔斯特拉斯所建立的严谨表述——在精神实质上,与高斯在这个问题上的态度是一致的:把此前依靠直觉判断的"应当如此",转化为经过严格证明的"必然如此"。 更重要的是,高斯还为复数构建了直观的几何表达方式。今天人们习惯于在平面上画复平面,实轴水平、虚轴竖直,这看似理所当然,实则是经过众多学者的努力,才把虚数单位"i"从单纯的符号运算,引入到具体的空间表达中的结果。高斯在推广这一表达方式上所做的工作,让复数逐渐摆脱了"怪异构造"的形象,转而成为如同坐标一般自然、可以直接运用的数学工具。此后解析函数、黎曼曲面、椭圆函数的深入研究,正建立在这个理论基础之上。 四、《算术研究》:把数论从分散的探索变成系统的学科 1801年,高斯出版了《算术研究》。这部著作在数论史上的地位,近似于一部系统的理论纲领:它不只是提出一两项精彩的具体结论,而是把此前分散的研究整合起来,建立统一的理论框架与表达语言。在此之前,数论研究大体各自为战:费马、欧拉、勒让德各自取得了重要成果,彼此之间却缺乏统一的理论体系加以贯通。高斯的这部著作,把这些分散的探索整合成一套具有内在逻辑的完整体系:同余算术成为核心表达方式,二次型、二次互反律等主题也在同一理论框架中得到系统阐述。 同余的定义相当简明:若两个整数之差恰好是另一个整数的整数倍,就称这两个整数"同余"。但一旦这个概念被系统化展开研究,便揭示出许多此前依靠直觉处理的整除问题背后的深层规律。许多此前被视为琐碎细节的"余数"问题,在这个理论框架下展现出其在数论研究中的核心地位。 高斯尤其重视二次互反律——一条关于"某个数是否为另一个数的平方剩余"这一深层对称关系的重要定理。他此后为这条定理给出了多种不同的证明方法,反复从不同角度验证,力求让结论在各个层面都经得起检验。这种审慎的态度,与十九世纪数学发展的整体趋势是一致的:此后的数学家不再仅仅满足于得出正确的计算结果,而进一步追问这个结果为何必然成立。 高斯为数论体系设计符号与表达方式时,同样格外注重系统性:他把此前杂乱无章的各类余数关系,整理成条理清晰的符号表达,让内在联系一目了然。这套符号体系此后沿用了相当长的时间,几乎无需改动。 这部著作中,高斯还引入并系统研究了"高斯整数"——形如a加bi的复整数。这类数此前极少受到系统性关注,但高斯发现,这个体系中同样存在"素数"“分解"与"互反"等一系列重要的数论概念。他把整数研究的范围,从一条数轴拓展到了一个更广阔的复平面,使原本局限于一维的因子分解问题,在二维范畴内呈现出新的对称结构。此后代数数论——库默尔、戴德金、希尔伯特等人的工作——正是在这个基础上进一步发展起来的。 五、谷神星:一个人如何用纸笔"找回"一颗星 1801年初,天文学家皮亚齐发现了谷神星。观测才刚刚开始,这颗新天体便因太阳强光的遮蔽,消失在了视野之中。手头只有几周的零散观测数据,天文学家们几乎无法确定它的完整轨道,更谈不上预测它此后会在天空的哪个位置重新出现。 高斯当时二十四岁。他没有更多的数据可用,却设计出一套全新的轨道计算方法,用这些有限的观测点反推出谷神星的运行轨道,并给出了它重新出现的具体位置。天文学家按照这个预测重新搜索天空,果然在预定的区域找到了它。一颗几乎已被认为丢失的行星,靠纸笔和计算被找了回来。 这次成功背后,是高斯发展出的最小二乘法:每一次观测都难免带有偏差,与其纠结于哪一次观测"更准”,不如用数学方法让所有观测数据的整体偏差达到最小。这个方法看似只是一种折衷处理,实则体现出一种颇具现代意味的智慧——承认不确定性的客观存在,再用系统的方法把它驾驭住。 这段历史还有一段插曲:关于最小二乘法的提出,勒让德率先正式发表了论文,高斯此后表示自己早已独立使用过这个方法。类似的优先权争议在数学史上并不罕见。高斯不热衷公开争论,但对于自己确实独立取得的成果,也不愿轻易放弃应有的认可。 十九世纪是数学从追求"绝对确定"逐渐走向重视"概率与统计"的重要阶段。蒸汽机的普及、城市人口的膨胀、统计学的兴起,都表明这个世界的许多现象并非总能被精确描述,而更接近一种带有波动性的整体趋势。高斯关于误差的研究,把这种波动性转化为一条具体的曲线——后来被称为"正态分布"的钟形曲线。这条曲线揭示出一个规律:大多数观测误差较小,极端误差相对罕见;即便无法保证每一次观测都绝对精确,大量观测结果的整体趋势却是可以被把握、被控制的。测量学、天文学、工程学,都从这个成果中获得了处理不确定性的重要方法。 六、在哥廷根:一种"少而熟"的治学生活 高斯成年后的大部分岁月,都与哥廷根这座城市紧密相连。十九世纪的欧洲,学术中心大多集中于巴黎、柏林、维也纳,学者们常常辗转往来于这些重镇之间。高斯却选择长期扎根哥廷根一地,先后担任教授与天文台台长,过着一种规律、近乎行政化的学术生活:批改作业、讲授课程、管理天文观测仪器、撰写观测报告。 这种生活在外人看来或许显得单调,但对高斯而言,这种相对稳定、少受纷扰的日子,恰恰为他深入的学术思考提供了保障。他的个人生活并不轻松:他曾两度丧偶,家庭生活的重担长期压在肩上。即便在研究中始终追求高度的严谨,他同样无法回避现实生活中难以预料的种种变故。 “少而熟"的原则也留下了代价——大量的私人笔记。高斯留下的数学日记大多简短、含蓄,偶尔才有一句表达重大发现的感叹。后人整理这些笔记时发现,其中蕴含着许多此前从未公开的重要成果,说明他实际上已经深入探索过相当广泛的领域,却没有及时公之于众。数学史上因此多次出现这样的情形:某项定理在十九世纪中叶被其他学者"重新发现"并公开发表,人们才在高斯的日记与手稿中,发现他早已对此有所思考。 七、测量汉诺威:他把大地当成一张会弯的纸 高斯的工作并不局限于书斋之内。他参与了汉诺威地区的大地测量,亲自带着测量仪器与三角测量网络,前往山丘与平原实地测绘。他还发明了一种名为"日光反射器"的仪器,把太阳光反射至远处,作为测量中的明显标记,提高远距离测量的精确度。 这种"在大地上绘制几何图形"的实际工作,把他引向了更深入的理论探索:曲面几何。做实地测量的人会自然遇到这样一个问题——如果地球本身是弯曲的,那么在它表面所绘制的三角形,会不会因此"弯曲”?如果某块区域内三角形的内角之和并不恰好是180度,这究竟是因为这块区域嵌入在更大的弯曲空间之中,还是因为这个曲面本身就有内在的曲率? 高斯在这个问题上取得了极为重要的突破。他证明了一个后来被称为"绝妙定理"的结论:曲面的曲率完全可以由曲面自身内部的度量关系来确定,与这个曲面在更高维度空间中的嵌入方式无关。把一张平面纸卷成圆柱形,从外部看,纸的形状似乎弯了,但对生活在纸面上的观察者而言,距离与角度关系其实没有任何改变;球面的情形则截然不同——生活在球面上的观察者会发现,三角形内角之和确实大于180度,这是一种真正意义上、无法通过任何测量手段掩盖的"内在"曲率。 这个发现对此后十九世纪几何学的发展至关重要。非欧几何之所以能真正确立理论地位,正是因为人们逐渐意识到:空间本身的性质同样值得深入研究,不该把传统的平面几何视为唯一确定的真理。高斯关于曲率的思考,为此后黎曼几何的建立奠定了基础:它把几何学研究的重心,从图形的外在形态引向空间自身的内在结构——黎曼此后提出的"度量"“曲率张量"等核心概念,正是在这个基础上进一步发展而成的。 八、非欧几何的沉默:他看见了门,却没有推开 高斯确实深入思考过平行公设之外是否存在其他自洽的几何体系,也做过相关的计算与推演,但他没有把这些成果正式发表。此后罗巴切夫斯基与鲍耶各自独立地把非欧几何构建成完整的理论体系并公开发表,历史因此把这项突破归功于他们,而高斯的相关思考,更多地留在了他与友人的私人通信、以及未曾公开的手稿之中。 后世给出了多种解释:或许是担心这个颠覆性的观点会招致学界的质疑甚至嘲讽;或许是担心动摇欧几里得几何这一长期被视为"绝对真理"的体系,会引发不必要的争议;也或许是出于对自身学术声誉的谨慎考量。这些解释未必能完全说明当时的实际情况,但也从一个侧面反映出,在一个仍然普遍把欧几里得几何视为唯一真理的学术环境中,公开提出一种截然不同的几何体系,确实需要相当的勇气。 这也可以理解为高斯一贯的性格:他过于谨慎,过于讲求成果的成熟与完善,宁可把这扇通往新理论体系的大门留给后来者去推开,自己只在门框上留下若干细致的刻痕。一个人已经窥见了一片崭新的理论领域,却选择不予公开——这固然令人惋惜,但也说明一项重大的理论突破,除了深刻的洞察力,往往还需要率先迈出关键一步的勇气。 在这一点上,高斯的角色与其说是锐意开拓的革命者,不如说是审慎持重的守护者:他致力于维护数学研究的严谨与可靠;而真正打破旧有理论体系、推动学界接受全新观念的这一步,最终留给了后来的学者去完成。 九、磁场与电报:数学家如何在实验中把握不可见的规律 高斯晚年的研究兴趣逐渐转向物理学与实地测量。他深入研究地磁现象,参与建立观测网络,并与韦伯展开了密切合作。两人甚至在哥廷根共同建立起一套早期的电报装置,用导线把不同的实验地点连接起来,让信息能够通过电流快速传递。这套装置比起今天的光纤与卫星通信自然极为简陋,但历史意义不容小觑:从这时起,人类逐渐意识到信息的传递可以摆脱对马匹与船只的依赖,转而借助电流实现更迅捷的传输。 高斯在磁学研究中也提出了许多具有系统数学表达形式的重要成果,此后物理学中的"高斯定律”,正式把他的名字镌刻进了电磁学的核心理论体系。对于一位常被视为"纯粹数学家"的学者而言,这段经历提醒后人:十九世纪的科学发展已经不再允许各个学科彼此孤立。数学与物理学之间的关系,正从相对独立走向紧密的相互支撑。 高斯早年靠数学方法找回了一颗消失在太阳强光背后的行星;晚年,他又靠数学方法把握住了一种难以直接观察的电磁规律。这两段经历,一个指向浩瀚的天体,一个指向具体的地面实验,内在的逻辑却相通:都是借助数学去追踪那些不易被直接观察到的深层规律。 十、他为何被称为"王子":不是因为华丽,而是因为秩序 回到"数学王子"这个称号本身。它不是说他华丽,而是说他管用——像一个走进任何一间乱糟糟的屋子都能立刻看出东西该摆在哪儿的人。 十一岁那年的课堂上,他把1到100配对相加;三十年后,他把成千上万次带着误差的观测数据揉成一条钟形曲线;中年时,他把杂乱无章的余数关系,理成一套沿用至今、几乎无需改动的符号系统。这三件事隔着几十年,做法却是同一个:不满足于算出一个孤立的答案,而是去找那套能被反复使用、搬到别的问题上依然好用的办法。别人解题,他造工具——这也是为什么十九世纪的数学家们后来发现,自己手里常用的那把"扳手",早就是高斯先打好的。 他对"精确"的执念,也不是那种理想主义者的洁癖。大地测量要顶着山风扛仪器,天体轨道只能靠几周残缺的观测数据反推,磁学实验里每一次读数都在晃动——这些活儿肮脏、麻烦,从不完美。高斯的办法不是躲开这些噪声,等一个理想条件出现,而是直接把噪声本身也纳入计算:最小二乘法说到底就是承认"每次测量都会错",然后照样把最接近真相的答案算出来。精确对他而言不是一种美德,是一套能实际操作的手艺。 而他的沉默,是要付代价的。“少,但成熟"这句格言让他几乎从不轻易发表,却也意味着不少本该属于他的发现,被后来者独立重新做了一遍,署上了别人的名字——非欧几何是最明显的一次,正态误差之外的许多手稿也是。人们后来翻他的日记才知道他早就想到过。这笔账不能简单算作"谦逊"两个字:既让人佩服他的深,也让人替他惋惜——一个人明明推开了门,却选择不进去,把钥匙留在了门缝里。 同时代不少数学家忙着公开挑战欧几里得,忙着立旗帜、抢首发,高斯几乎从不参与这类竞速。他更像一个总在后台校对账本的人:别人往前冲的时候,他在确认冲的方向是不是稳的,地基是不是牢的。这种角色不响亮,却是任何一场理论革命都绕不开的——没有人把地基铺平,再多漂亮的构想也立不起来。 十一、三条街的源头与一盏灯 把高斯置于分析、代数、几何这三条主脉络之后来看,道理便逐渐清晰。他的研究工作如同一面镜子:回顾十九世纪数学在这三个方向上取得的丰硕成果,往往会发现,其中不少重要的思想线索,早已在高斯的研究中,以较为初步的形态存在。分析学的严谨精神、代数学的结构化思维、几何学对内在性质的探讨——在他的工作中,这些不是彼此割裂的三项独立成就,而是共同体现出一种统一的治学品格:对这个世界内在秩序的执着追求。 高斯的一生,恰似一位过早开始铺设道路的建设者。当他动工时,街道上尚未聚集太多行人,路灯也还没有安装,甚至这座"城市"本身的轮廓都还未完全成形。此后随着十九世纪的推进,人潮涌入,工业兴起,各类学术观点相互碰撞,几何学的基础遭受质疑,代数学的结构日益丰富,分析学的方法持续革新。众多学者在这一片繁荣而喧嚣的景象中埋头前行,却很少有人留意脚下:那些最坚实、最早被铺就的基石,早已由一位沉静的先行者仔细打磨完成。 数学史上最令人感慨的时刻,往往不在于某一项具体定理的证明本身,而在于人们逐渐意识到:一个人的研究工作,可以如同地下水一般悄然渗透进整座城市的根基之中,长久滋养此后的发展。高斯正是这样一股静水深流般的存在。人们或许难以直接察觉它的存在,却能在此后许多重要的理论成果中,感受到它带来的深远影响——那是一种朴素而清澈的品质:一种致力于使这个世界的认知变得更为准确、更为稳固、也更为值得信赖的深沉追求。

August 10, 2026

《数学的故事》第十八章:微积分的严密化——分析学的诞生

微积分诞生之初,如同一位天赋异禀的少年:力量惊人,反应敏捷,充满活力。它随手一挥,便把古人钻研两千年之久的"切线"“面积"“速度"这些难题逐一化解;它甚至能够追踪天体的运行,把行星的轨道,转化为可以精确推演的数学关系。整个时代都乐于接纳这样一位少年,因为当时的现实迫切需要这样的胜利——工程建设需要精确的桥梁计算,天文学需要可靠的星历推算,军事应用需要准确的弹道预测,航海活动需要精密的经纬定位。 但少年天才往往存在一个共同的弱点:他能够得出正确的结果,却难以清楚地解释自己为何能够如此。他做对一件事的方式,更接近某种依靠灵感、依靠手艺、近乎家传秘方般难以言明的直觉。微积分最初的表达体系中,有一个概念的出现频率极高:无穷小。它在具体的运算过程中,如同一粒尘埃——明明"并非零”,却又小到可以"被当作零"来处理;人们借助它去进行除法运算,随后又在下一步中,把它从结果中直接抹去,如同舞台上突然出场、又突然退场的临时演员。只要最终得出的结果正确,人们便暂时不去深究这一过程背后究竟发生了什么。 直到十八世纪,一位身兼主教与哲学家身份的学者——正是那位以尖锐言辞著称的贝克莱——公开提出了质疑:这些"消逝量的幽灵”,究竟是什么?数学素来以清晰与理性自诩,但其所依赖的这一关键证人,却时而在场、时而缺席,这样的证明方式,又怎能被视为严谨? 这一质疑,并未使微积分因此被推翻,恰恰相反,它如同一根细针,把微积分从少年时代的懵懂状态中唤醒:一门学问不可能永远停留在少年阶段,它必须走向成熟。所谓成熟,意味着把"我能够得出正确结果",进一步转化为"我能够解释自己为何能够得出正确结果",把依靠个人天赋的独白,转化为经得起公开检验的严谨论证。这一走向成熟的过程,在数学史上,被称为"分析学"的诞生。 分析学的确立,并非仅仅是某一项定义的更新,也并非仅仅是几个符号的发明,而近似于一座城市从无到有的整体建设:需要有人打下地基,有人确立规则,有人修筑道路,有人建立相应的制度体系,最终还需要建立起一套最高层级的检验标准——这一更为宏大的体系建设,要到二十世纪才真正推进到极致(届时希尔伯特将在其中扮演重要角色),但在此之前,整个十九世纪,都必须先把这座城市从最初的混沌状态中,逐步建立起来。 一、幽灵与誓言:玻尔察诺、柯西,以及"极限"如何成为严谨的定义 若把分析学比作一部逐步确立的宪法,那么最早参与起草这部宪法的学者,往往并非以宏大声势著称的人物,而更接近一批严谨细致的立法者与记录者:他们所擅长的,并非取得某种引人瞩目的突破,而是把已有的成果,转化为可以被反复验证、反复复现的严密程序。 在这批学者之中,最早展现出这种"现代"治学风格的,是玻尔察诺。 玻尔察诺的学术经历,与常见的学院传奇颇为不同。他并未身处巴黎或伦敦这类当时的学术中心,而是在布拉格从事研究——一个文化背景与政治环境都更为复杂、也更为敏感的城市。他兼具神职人员与学者的双重身份,坚信理性本身,也是道德的重要组成部分:一旦宣称完成了某项证明,便必须把每一个具体的推理步骤,都清楚地陈述出来,而不能仅仅依靠图形本身所带来的直观印象,或是"看起来理应如此"这类模糊的判断,来说服读者。他对"证明"这一概念,抱有近乎严苛的要求:证据链条必须完整无缺,所使用的语言,也必须经得起反复的审查。 这种严谨的治学态度,在不同的历史时期,往往会得到截然不同的评价。玻尔察诺恰好生活在对此并不宽容的年代:他在社会与政治立场上表现得较为直言不讳,关注贫困问题,关注社会改革,也关注教育事业的发展,其言论触及了当时较为敏感的议题,因而被剥夺了公开授课的资格,被迫陷入长期的沉默。他的处境,近似于在洪水尚未到来之前,便坚持修筑排水渠道的人——当时的人们或许认为这种做法过于多虑,甚至因此将他排斥在外;但这些排水渠道的设计构想,并未因此而消失,而是被暂时搁置,直到城市真正面临水患的威胁时,人们才重新意识到,早已有人预见到了这一必要性。 玻尔察诺在分析学历史中的意义,近似于埋下了这座建筑最初的钢筋结构:他尝试以一种今天看来颇为熟悉的方式,去处理连续性与存在性这两个此前较为模糊的概念。他并不满足于"曲线在图形上看起来会穿过某条直线"这样直观的判断,而要求借助严密的逻辑,来解释这一现象为何必然成立。他的研究风格,并不以耀眼夺目见长,而以坚实牢固为特点——他所追求的,并非令读者感到惊叹,而是使读者无法从逻辑上提出反驳。这一点相当重要,因为它表明:数学走向严密化的进程,首先并非依靠某种巧妙的技巧,而是源自一种不愿妥协的治学态度。 此后,这段历史的重心转移到了巴黎。法国大革命与随后的帝国时代,除了带来剧烈的政治变革之外,也建立起了一套极为严格的理工科教育体系。柯西正是从这一体系中成长起来的重要学者。 柯西年轻时的身份,并非纯粹意义上的数学家,而更接近工程师与军事人员的结合体。他接受过极为严格的专业训练,也曾参与过桥梁、港口与防御工事等具体的现实工程建设——在这类实际工作中,“大致如此"的态度是完全不被允许的:图纸上的微小误差,在实际建造的桥梁上,可能演变为整整一条河道的偏差;计算过程中被忽略的一个细小环节,也可能导致炮弹的实际落点,与预期目标产生明显偏离。这样的职业经历,锻炼出他一种特殊的思维习惯:本能地关注并致力于控制各类误差。 这正是柯西把微积分推向"分析学"这一更为严谨阶段的关键所在:他把此前依赖直觉的处理方式,转化为可以被系统控制的严谨程序。他撰写《分析教程》时,其行文风格,近似于制定一套严格的规范体系:极限、连续、收敛——这些概念在他之前虽然已经存在,但大多仅仅作为习惯性的表述使用;而在他的著作中,这些概念,被系统地组织起来,构成了整部著作的理论骨架。此后的学习者,不再仅仅满足于掌握微积分的具体运算方法,还必须在证明过程中清楚地说明:如何把误差控制在预期的范围之内?如何确认某一运算过程,确实逼近了某个特定的数值?在证明过程中调整运算顺序、进行相应的操作时,又该如何保证最终结果依然成立? 柯西所处的时代局势相当动荡:政治格局屡经变迁,王朝更替与革命浪潮交替出现,个人的社会地位,也随之起伏不定。他本人在政治立场上的选择,也确实使他的人生经历,充满了离开与回归、孤立与争议。或许正是因为在现实生活中目睹了太多的不确定性,他才更加坚定地相信:至少在数学证明的领域之中,必须建立起真正可靠的标准。他在著作中反复使用的"必须"“应当"“定义如下"这类表述,并非单纯的教科书式套话,而在相当程度上,折射出他本人在动荡年代中,努力寻求确定性的性格特质。 当然,历史对任何一位"立法者”,都不会给予过分的宽容。柯西并未一次性建立起完美无缺的理论体系,他的论述中,依然保留着此前时代的某些痕迹,在级数与极限的一些细微之处,也确实存在需要进一步完善的漏洞。此后的数学家,借助反例与更为精细的概念分析,逐渐指出了他论述中的这些不足之处:某些地方的论证不够严谨,某些地方在不经意间悄悄更换了前提条件。这一点不必刻意回避,因为它恰恰体现出严密化这一"制度建设"过程的真实面貌:它如同法律体系的发展一样,依靠一个又一个具体案例的积累而不断完善。柯西真正的贡献,并不在于他从未出现过任何疏漏,而在于他使这些疏漏,变得可以被清楚地发现和讨论,使数学界拥有了共同的论证语言,也使整个学界,逐渐达成了这样一项共识:严谨性并非可有可无的装饰,而是这门学科必须坚持的方向。 当极限与收敛这两个概念,被确立为一套严格的制度性标准之后,随之而来的一个问题便自然浮现:数学研究所面对的对象,究竟应当如何界定?这便引出了狄利克雷的相关工作,因为若研究对象本身的边界不够清晰,再完善的规则体系,也难以真正发挥作用。 狄利克雷身上,体现出一种颇具"过渡时代"特征的治学气质:他既不像传统的几何学家那样,过度依赖图形直观,也不像纯粹的形式主义者那样,沉溺于符号系统本身的推演游戏,而更接近一位保持冷静判断的裁决者,格外关注概念本身的边界问题。此前的数学界,往往习惯把"函数"等同于某种具体的表达式,仿佛只有能够写成简洁公式的对象,才配被称为函数。但现实中的诸多问题,却并不总是如此配合:物理学中的具体问题,往往会给出分段变化的规律;某些级数运算,会产生形式颇为特殊的定义;边界条件的限制,也常常会引出一些形式并不美观、却真实存在的研究对象。若继续坚持"函数必须以某种规整公式的形式呈现"这一标准,便会把大量真实存在的研究成果排除在外。 于是,狄利克雷完成了一项看似简单、实则颇具变革意义的工作:他把"函数"这一概念,从"必须表达为某种具体公式"这一限制之中解放出来,重新定义为一种更为宽泛的对应关系——只要给定一个输入值,能够依照某种明确的规则得出相应的输出值,便可以被视为函数,至于这一规则本身,是否能够写成简洁美观的公式形式,则并非必要条件。 这一转变的意义相当深远:从此以后,分析学所研究的对象范围大为扩展,不再局限于形式规整的少数对象,而涵盖了更为广泛、形式各异的研究对象。研究对象的扩展,也随之带来了新的复杂性:此前较少遇到的各类特殊情形逐渐浮现,促使数学家们必须重新审视连续性的定义,重新区分不同类型的收敛方式,重新检验此前被认为理所当然可以互换的各类运算步骤。 至此,读者已经能够看出:玻尔察诺近似于最早埋下理论基础的先行者,柯西近似于建立起严格规范的引路人,狄利克雷则近似于重新界定研究对象边界的裁决者。他们共同把"极限"这一概念,从最初依赖灵感的直觉,逐步转化为经过严格论证的确定表述。但这套理论体系,仍然缺少一项关键的组成部分:它还需要被进一步提炼为一种任何人都能够依照执行的严谨表达方式。否则,这套体系仍然容易停留在原则性的层面,而难以真正落到实处。 真正完成这一提炼工作的,是魏尔斯特拉斯。 二、可以复制的严格:魏尔斯特拉斯与分析学表达方式的确立 魏尔斯特拉斯的学术经历,颇为符合"大器晚成"这一特点。他并非那种早年便被视为天才、被学界迅速接纳的人物,相反,他人生中相当长的一段时期,更接近一位默默无闻的中学教师:备课、授课、批改作业,同时还需操心生计问题,健康状况也时常受到困扰。他并非在学术沙龙的掌声中成长起来的学者,而是在日复一日的教学实践中,逐步锤炼出了自己的学术思想。 这段经历,也塑造了他对待分析学的基本态度:天才式的灵光乍现固然引人入胜,但并不足够可靠;真正可靠的,是能够被系统训练、能够被反复核验的严谨程序。基于这一认识,他完成了分析学历史上极为关键的一步:把"严格"这一原则,转化为一套固定的、可以被反复使用的表达方式。 这套表达方式的核心逻辑相当清晰:若要证明某一变化过程中的误差,能够被控制到任意小的程度,便需要首先给定一个具体的误差范围,无论这一范围被设定得多么严苛,都必须能够进一步找到相应的输入范围,使得只要输入被限定在这一范围之内,所对应的输出偏差,便必然小于事先给定的误差界限。这一逻辑链条,可以被反复地、逐层地加以验证,无论对方提出多么苛刻的误差要求,这套方法,都能够给出相应的、经得起检验的具体回应。 这正是分析学真正进入严谨论证阶段的重要标志:证明不再依赖"看起来如此"这样的直观判断,也不再依赖图形本身所带来的说服力,而依靠一套明确的契约与程序,依靠任何人都能够依照执行、加以核验的具体条款。魏尔斯特拉斯的贡献,某种意义上,是把数学论证的方式,从相对灵活、依赖个人风格的表达,转变为一种更为严谨规范的表达形式——这种表达方式,未必总是显得优雅动人,却难以被随意蒙混过关。 值得关注的是,一旦这样一套严谨的程序被确立起来,各类此前未曾被充分注意的反例,便随之大量涌现。因为这套程序,使人们能够更为清楚地识别出既有理论体系中潜藏的漏洞,而具体的反例,则进一步揭示出这些漏洞究竟严重到何种程度。魏尔斯特拉斯所处的这一时期,分析学出现了一种颇具特点的研究倾向:主动构造各类此前难以想象的"特殊对象”,例如某些函数虽然处处连续,却在任意一点都不可微分——这类结果表明,人们此前习惯性地把"连续"与"平滑"等同起来的直觉,其实存在明显的局限性。分析学在这一阶段,如同经历了一次自我审视的过程,开始主动挑战并修正自身此前所依赖的部分直觉。 这并非无谓的智力游戏,而是这门学科走向成熟的必经过程。一门学科真正走向成熟的标志,往往并不在于它能够证明出多少令人赞叹的漂亮结论,而在于它能够容纳、并妥善处理多少此前被认为"不合常理"的特殊情形。这些特殊情形,促使数学家们把相关概念阐述得更加清晰,也促使他们更为清楚地认识到直觉判断本身所存在的局限。由此,一种颇具现代特征的研究氛围逐渐形成:数学家们不再仅仅满足于寻找美观的例证,而开始把各类"最不利情形”,当作检验理论体系是否严谨的重要场所。这种研究取向,此后将进一步延伸至二十世纪的泛函分析、测度论与拓扑学等领域,但其最初的萌芽,正是在这一时期逐渐形成的。 在魏尔斯特拉斯所营造的这种学术氛围之中,追求严密性,不再仅仅是少数学者个人的治学偏好,而逐渐成为整个学科共同遵循的职业规范:完成一项证明,必须能够清楚说明其中的误差是如何被控制的;宣称某一极限存在,必须能够具体说明其存在的确切程度;在证明过程中交换极限与积分的运算顺序,也必须能够明确列出相应的成立条件。分析学的表达方式,也因此愈发接近现代工业生产的特点:标准化、可复制、可检验。 然而,这套表达方式即便已经趋于标准化,若缺乏坚实的理论根基,依然存在潜在的风险。因为人们逐渐意识到,讨论极限、收敛与连续性等一系列问题时,实际上都在不知不觉中,依赖着一个更为根本的前提——实数系统本身所具备的完备性。当宣称某一数列"应当收敛于某个确定的数值"时,这个数值究竟以何种方式真实存在?当宣称一条直线"连续而没有间断"时,又凭借什么理由确信其中不存在任何缺口?归根结底,分析学此前所建立起来的这套严谨表达方式,最终仍需要落实到一个更为基础的问题之上:必须清楚说明,实数这一研究对象本身,究竟是如何被严格构造出来的。 这便把这段历史,引向了下一个重要阶段:实数的构造与无穷概念的系统整理。 三、连续的构造与无穷的整理:戴德金、康托尔,以及一场关于"何为允许"的争论 若把十九世纪分析学的发展,比作一个不断扩展的知识体系,那么其中最为关键、也最具风险的环节,往往出现在这一体系最基础的部分。此前的研究已经取得了诸多重要突破,但只要最基础的对象——实数——本身的构造方式尚未明确,整个理论体系,便始终存在潜在的隐患。实数看似是一种极为自然、无需特别说明的研究对象,实际上却必须经过严格的构造,才能真正确立其理论基础。 依照日常的直觉,实数被理解为一条连续的直线:可以在尺子上找到相应的位置,也能够在持续的运动过程中感受到它的存在。但这种直观感受,并不足以构成严格的数学论证。真正需要回答的问题是:如何证明这条直线之中,确实不存在任何间断或缺口?如何保证每一个"理应存在的极限",都确实拥有一个明确的归宿?仅仅依靠"直观上看起来如此"这样的理由,显然并不充分。 戴德金正是在这一背景下,完成了极为重要的理论工作。他的治学风格,近似于一位严谨细致的公证人:冷静、耐心,坚信严密的制度能够解决看似模糊的问题。戴德金所完成的工作,本质上是为"连续性"这一概念,提供了一套严格的构造方法:与其依靠直观的图形来证明连续性的存在,不如借助一种更为系统的方式来构造它——把全体有理数分割为左右两个部分,使左边的部分不存在最大值,这样的一处"分割"本身,便可以被定义为代表一个具体的实数。这一构造方式的关键意义在于,它把"连续性"这一概念,从一种基于直观感受的自然认知,转化为一项可以通过严密逻辑构造出来的确定结果。分析学也因此进一步趋近于一门制度严明的学科:它所依赖的,不再是直观的印象,而是严谨的逻辑构造。 与此同时,康托尔在另一个方向上,完成了一项同样具有开创性的工作:他把"无穷"这一此前长期被视为模糊而神秘的概念,纳入了系统化的研究范畴。在传统的认知之中,无穷往往被理解为某种难以触及、笼统而抽象的存在。康托尔却提出,即便是"无穷"这样的对象,也同样可以被纳入严格的分类体系之中:不仅可以笼统地说某个集合"包含无穷多个元素",还可以进一步追问,不同的无穷集合之间,是否存在大小上的差异。他借助元素之间的对应关系,来比较不同集合之间的规模,由此揭示出无穷集合之间,同样存在层级上的区别——例如,全体整数所构成的无穷集合,与全体实数所构成的无穷集合,二者的规模并不相同。至此,“无穷"不再是一个笼统而模糊的概念,而成为一个具有内在层级结构、可以被系统研究的对象。 这一发现,在当时的学界引发了相当大的争议。这种争议,并非仅仅局限于某一特定学派内部的学术分歧,而更触及了一种根深蒂固的传统观念:人们此前习惯于把"无穷"这一概念,视为超越人类理性范畴、专属于神学讨论的对象,而把"有限"视为人类理性所能够真正把握的领域。康托尔的研究,却把"无穷"这一概念,正式纳入了严谨的数学研究之中,为其确立了明确的分类与秩序。这一突破,在当时既引发了部分学者的赞赏与支持,也招致了另一部分学者的强烈质疑,甚至被视为对某种传统观念的冒犯。 由此,学界内部出现了明显的分歧。以克罗内克为代表的一批数学家,持有相对保守的立场,主张数学研究应当立足于整数与有限步骤的运算,而不宜过度深入无穷这一难以完全把握的领域。这场争论,并不仅仅局限于纯粹的学术讨论,还牵涉到具体的大学职位、学术话语权,以及相关学会的认可等现实因素。康托尔在这一过程中,也承受了相当沉重的精神压力——并非每一位在学术上取得开创性突破的学者,都能够始终从容地承受随之而来的种种压力与质疑。但纵观历史的发展进程,往往正是这些勇于开拓、并最终承受住相应压力的学者,推动了整个学科向前迈进:他们率先打开了此前紧闭的大门,此后的学者,才得以在这扇门前,逐步修筑出更为稳妥的通行路径。 对分析学而言,戴德金与康托尔的贡献意义相当明确:他们使"完备性"这一原本仅凭默契理解的概念,转化为一套具有严格根据的理论制度。此后分析学中反复运用的诸多重要结论——例如极限的存在性、实数直线不存在间断、不同的特殊集合之间可以进行严格比较——其理论基础,实际上都建立在这套体系之上。若缺乏对实数与无穷概念的这套严格构造,此前所建立起来的种种严谨表达方式,便终究难以真正落到实处。 而当这一理论基础逐渐稳固之后,分析学的发展,又遇到了另一个亟待解决的问题:积分理论本身的严格化。 四、从初步约定到系统方法:黎曼、勒贝格,以及"几乎处处"的新视角 积分是微积分理论中与微分并重的另一重要组成部分:涉及累积、总量、面积、概率、能量等诸多概念,只要需要把局部的变化,汇总为整体的效果,便离不开积分这一工具。早期关于积分的直观理解相当直接:把研究区域切割为若干细窄的部分,再把各部分的结果相加;切割得越精细,所得结果便越接近真实值,若能无限细分,理论上便能得到精确的结果。但严谨的论证需要进一步追问:凭什么可以断言这一过程最终"等于"某个确定的值?如何保证不同的切割方式,都能得到相同的最终结果?如何确保这一极限过程确实存在?在具体运算中,交换相关运算的顺序,又是否始终合法? 黎曼在这一阶段的研究工作中,展现出典型的十九世纪学者气质:性格安静内敛,并不热衷于社交场合,身体状况也并不算强健,但他在学术思想上,却展现出令人瞩目的胆识——他不仅敢于追问"空间的本质究竟是什么"这一宏大命题(这一部分内容,将在关于他的专门章节中详细展开),也敢于深入追问"积分这一运算,究竟凭借什么理由能够真正成立”。黎曼所提出的积分定义,其核心思路相当明确:不再依赖此前那种含糊不清的"无穷小"概念作为论证的依据,而是依靠一套可以被具体执行的程序作为担保——把研究区间切割得越来越精细,借助简单的近似方法逐一求和,再观察这些求和结果是否逐渐逼近同一个确定的数值;若确实逼近这一数值,便可以确认这一数值,正是所求的积分结果。这一方法的关键之处在于其"可执行性":任何人都能够依照这一程序进行验证,而不必依赖某种难以言明的灵感。 黎曼的这一定义,使积分运算第一次获得了严谨而可靠的理论形式,但这一定义,尚不足以应对更为复杂的现实需求。随着分析学所研究的对象日益丰富多样,学界逐渐发现:某些特殊的函数,依照黎曼的方法难以完成积分运算;某些涉及极限与积分交换顺序的运算,也时常因反例的出现而受到质疑;各类特殊的例外情形不断浮现,使既有的积分理论,逐渐显现出需要进一步完善的迹象。 于是,勒贝格提出了新的解决方案。他的学术经历,颇具从普通教育工作者成长为重要理论创新者的典型意义:他并非出身于显赫的学术世家,而是沿着教育体系的常规路径成长起来的学者,曾长期担任中学教师,依靠持续的钻研与耐心,逐步推进自己的理论思考。他的研究方向,并不像部分学者那样,以探讨宏大的宇宙命题见长,而更接近专注于"如何系统管理大规模、复杂研究对象"这一具体问题。 勒贝格所完成的工作,是对既有积分方法的一次颇具巧思、也颇为系统的改进:他改变了此前"切割"的基本方式。黎曼式的切割,近似于沿着横轴方向,把区间分割为若干细段;而勒贝格式的切割,则更接近依照函数取值的高度,来重新组织研究对象——首先明确各类点集合各自的"大小",再依照这一大小,来进行相应的累积运算。由此,“测度"这一概念应运而生:集合不再仅仅具有"存在与否"这样简单的属性,而拥有了可以被精确量化的大小;“几乎处处"这一表述,也随之出现:不必要求对每一个具体的点都作出严格的说明,但必须对绝大多数的点负责,并且能够对其中的例外情形,给出可以量化的说明。 这一方法看似是一种妥协,实则代表着理论上的进一步成熟。自然界与统计学所涉及的诸多现实问题,本身便并不要求"处处完美"这样理想化的状态,而更看重"可以被合理控制的例外情形”。勒贝格积分的提出,不仅改进了积分这一具体的运算方法,也在一定程度上,改变了整个分析学的研究取向:分析学开始更为贴近现实世界的实际管理方式——承认噪声的存在,承认异常情形的存在,也承认个别的例外点可以脱离一般规律,但必须能够证明这类例外的"规模"是可以被忽略、也是可以被严格证明的。 若用一个较为形象的方式来理解这一转变:黎曼的方法,近似于一位认真细致的商人,对每一段区间都逐一称重核算;而勒贝格的方法,则更接近一套系统的税务管理体系——先对研究对象进行分区与统计,再依据这一统计结果,制定相应的处理规则。个体化的核算方式,能够较好地管理规模较小的具体事务;而系统化的制度设计,则更适合应对更为庞大、更为复杂的整体对象。 勒贝格的工作,把积分理论推向了更为现代的形态,也使分析学的发展,逐渐迈入了二十世纪的门槛:测度、几乎处处、函数空间等一系列概念,此后将在概率论与泛函分析等领域,成为极为重要的基础性工具。发展至此,希尔伯特的工作,便自然而然地进入了这段历史的视野:他近似于站在新世纪门口的整体规划者,审视着十九世纪已经建立起来的这座理论城市,以及其中依然存在的若干裂缝,进而提出了这样一个更为宏大的问题——整个数学体系,应当如何获得更高层级的理论保障?这一部分内容,将在关于他的专门章节中详细展开,这里暂且从简。他此后所推进的工作,正是承接了十九世纪与二十世纪之间的这一发展脉络:把此前较为分散的理论结构,加以系统整合,把分析学所研究的对象,从具体的函数进一步拓展至更为抽象的空间概念,把"严格"这一原则,推向更为宏观的整体理论规划之中。 结语:分析学是微积分的成年礼,也是文明的程序正义 回顾这段历史,微积分的严密化之所以值得如此详尽地讲述,并非因为这仅仅是一段关于符号表达方式如何变得更为精美的技术性历史,而是因为它记录了一段更为深刻的历程:一个学科如何逐渐学会为自身的每一步推理,承担起应有的责任。 微积分的少年时期,依靠的是非凡的胆识:敢于探讨瞬间的变化,敢于运用无穷这一此前令人生畏的概念,敢于把连续的世界,拆解为可以逐步计算的具体片段。它凭借这份胆识赢得了整个时代的信赖,却也因此招致了此前未曾料及的质疑。分析学的确立,如同一场庄重的成人仪式:它要求每一步推理的合法性都必须被清楚地陈述出来,把此前依赖偶然灵感取得的成功,转化为可以被稳定重复的必然结果。 玻尔察诺代表着这一现代证明风格最初的萌芽:他不再依赖图形本身的直观印象,也不再满足于"看起来理应如此"这样的判断,而是依靠严密的逻辑链条来展开论证;他甚至因政治立场问题而遭受排斥,却依然把关键的理论基础,稳稳地埋入了这座理论大厦的地基之中。 柯西把严密性转化为一套系统的制度,把极限、收敛、连续这些概念,正式写入课堂教学的核心内容;他如同一位严格的教官,培养了一整代学者,也在此后不断的修正与完善之中,推动这套理论体系,如同判例法一般持续成长。 狄利克雷把"函数"这一概念,从此前局限于具体公式表达的框架中解放出来,使分析学所研究的对象范围,得以大幅拓展;研究对象一旦丰富多样,理论体系的严密化,也随之需要进一步深入细化。 魏尔斯特拉斯把"严格"这一原则,提炼为一套可以被反复复制的表达方式,使数学证明具备了类似程序正义的特质;由此涌现的各类反例与特殊情形,也成为分析学不断自我检验、持续完善的重要场域。 戴德金为"连续性"这一概念,提供了严格的理论构造,康托尔则为"无穷"这一概念,建立起系统的分类与秩序,二人在种种争议与压力之中,把整个理论体系的根基,推进到了此前从未达到的深度。 黎曼为积分运算提供了一套严谨而可执行的定义方式,勒贝格则进一步建立起更为系统的处理方法,使"累积"这一运算过程,在面对更为复杂的研究对象时,依然能够获得合法而可靠的理论保障。 希尔伯特此后在新世纪的门槛前登场,预示着更为宏大的基础性理论工程,即将全面展开。 微积分最初,依靠的是天才所具备的非凡胆识,得以迅速发展;而分析学的确立,则使这门学科进一步学会了应有的严谨与审慎——从此以后,数学既保留了勇于开拓、大胆探索的能力,也在每一步推进的过程中,留下了足以被任何人反复追溯、核验、并加以继承的清晰印记。

July 30, 2026

《数学的故事》第十七章:欧拉——把新数学变成工具箱

“数学家们都试图在这一天发现素数序列的一些秩序,我们有理由相信这是一个谜,人类的心灵永远无法渗入。” —— 莱昂哈德·欧拉(Leonhard Euler) 如果把数学史想象成一座城市,那么有些人是建造教堂的:他们竖起高塔,让后人得以仰望;有些人是开凿地铁的:他们把地下掏空,为未来铺设好行进的线路;还有极少数人,更像一位手艺极为精湛的铁匠——他并不满足于打造一柄漂亮的剑,而致力于把铁料锻造成一整套趁手的工具,放进每一个人的工具箱里,使后来者在修桥、造船、测星、算利息、设计机器时,都能随手取用。 莱昂哈德·欧拉,正是这样一位人物。他不仅发现了大量定理、公式与方法,更重要的是,他把"新数学"——那套在牛顿与莱布尼茨手中,尚带有初创痕迹、表达方式也尚未统一的微积分——加以系统整理,锻造成一块块结实耐用的基础构件,又把它们打磨成钳子、螺丝刀、量尺、罗盘,使十八世纪的科学家、工程师、航海家、炮兵军官,乃至普通的数学爱好者,都能像使用日常工具一样使用数学。 这听上去似乎有夸张的成分,但欧拉的一生,几乎就是"把抽象转化为可用"这一过程最为充分的注脚。 一、从巴塞尔的河边到彼得堡的冰面 欧拉出生于瑞士巴塞尔附近,那是一处河水清澈、教堂钟声规律的地方。他的父亲是一位牧师,最初希望儿子能够继承神学传统。 但欧拉对数字与形状表现出了更为浓厚的兴趣。他此后结识了当时巴塞尔数学界颇具声望的学者——伯努利家族中的约翰·伯努利。约翰·伯努利不仅为他提供了具体的学术指点,更给予了他一种更为重要的东西:一种对待数学研究的严肃态度。据说约翰·伯努利公务繁忙,无暇逐一为欧拉答疑,便让他每周六下午自己带着一周积攒的问题登门,两人对坐讨论——欧拉后来回忆,那些周六下午的几个小时,比他在大学里正式听课学到的还要多。在约翰·伯努利看来,数学并非消遣,而是一项值得以近乎修行般的专注去从事的事业。 欧拉在青年时期,便已展现出一种颇为罕见的能力:他不仅擅长解决具体的数学问题,还擅长把解题的整个过程,整理成清晰、易教、可以反复运用的方法——他给后人的,从来不只是一条现成的鱼,而是连鱼竿、鱼线、鱼钩,乃至垂钓的手法,都一并整理妥当。 欧拉年轻时其实也认真考虑过别的出路:他一度想成为一名牧师,甚至短暂学习过东方语言,为的是有朝一日能去传教;他还去听过医学和物理学的课程,一度打算走上从医这条路。不久之后,命运把他从瑞士带到了更为遥远、也更为寒冷的地方:俄国的圣彼得堡。约翰·伯努利的儿子丹尼尔·伯努利,此时已经在圣彼得堡科学院谋得职位,是他写信告诉欧拉,那边正缺一个懂生理学和医学的年轻人。于是二十岁出头的欧拉,带着几分医学知识、几分对未知世界的好奇,登上了前往俄国的旅程——他后来笑称,自己是“假装成医生”混进科学院的。等他抵达彼得堡不久,原本要给他安排的生理学职位已经有了别的人选,他索性转而专攻数学与力学,这才算正式踏上了后来那条道路。 圣彼得堡是一座当时正处于快速发展中的新兴帝国城市,如同一艘刚刚下水的巨轮,亟需科学家与工程师协助其装配桅杆、罗盘与火炮等各类装备。彼得堡科学院需要相应的人才,而欧拉,也正需要一个能够充分施展才能的舞台。在彼得堡期间,他所从事的研究工作,大多带有相当明确的实用色彩:船只设计、测量方法、天文观测、力学分析、流体运动……这些研究都紧密关联着现实的需求。也正是在这样的工作环境中,欧拉的数学研究,从一开始便与"实际应用"紧密结合。他并未把应用性的研究,视为某种层次较低的工作,相反,他更像一位擅长精细打磨榫卯结构的匠人:越是需要把研究成果嵌入现实世界之中,就越要把相应的理论形式,打磨得严丝合缝。 二、把符号变成螺丝钉:欧拉的语言革命 在欧拉之前,数学的表达方式更接近一座堆满各类手稿的阁楼:每一位学者大多拥有各自独立的记号系统。阅读某一位学者的著作,如同走进他个人的工作间——里面固然散落着精妙的思路,但外人往往难以判断该从何处入手。 欧拉动手整理了这座阁楼。函数被固定为$f(x)$这一写法;虚数单位$i$,此前长期被视为某种神秘、甚至有点见不得人的存在,在欧拉手里,不再遮遮掩掩,而是被当成一件正经的新工具来使用;圆周率的符号π,其实并非欧拉首创——它最早由英国数学家威廉·琼斯在1706年提出,但当时几乎无人问津,直到欧拉在自己的著作里持续、反复地使用它,π才真正在数学界流通开来,成了今天每个学生都认得的符号。一个符号能否被广泛采用,有时候不在于谁先想出来,而在于谁能把它用顺、用久,直到大家都习惯了。 更为关键的是,欧拉撰写了大量教材性质的著作,写作对象并非仅仅面向天赋卓绝的学者,而更多面向勤于学习的普通读者。阅读欧拉的著作,能感受到一种颇为难得的体贴:他并不急于展现自己的聪明,而是先把工具准备妥当,再一边示范操作,一边提示容易出错的环节。此后欧洲的工程学、天文学与物理学之所以能够迅速发展,一项重要原因,正是当时的学界已经具备了一整套能够系统训练人才的数学语言,而这套语言,相当一部分正是欧拉一个人固定下来的。 三、七座桥与一张看不见的网 普鲁士的柯尼斯堡,一条河流把城市分割为几个区域,河上架有七座桥。有人提出:能否从城中某处出发,恰好经过每一座桥一次,最终回到出发点? 这道题最初是由但泽市长卡尔·埃勒转述给欧拉的——埃勒本人是个数学爱好者,托朋友把问题带给了当时已经声名在外的欧拉。欧拉起初的反应颇为冷淡,他在给朋友的信里说,这个问题跟几何学有点关系,但和他平常从事的数学,其实没什么关系,“我几乎没什么可讲的”。可他还是顺手琢磨了一下,越想越觉得有意思——这道题的关键,其实和桥的长短、河的宽窄毫无关系,只关乎"谁和谁连着"。 于是他把每一块陆地抽象为一个"点",把每一座桥抽象为连接两点的一条"线"。整座城市,由此被转化成一张由点与线构成的骨架图。欧拉给这类由点线构成的网络确立了处理规则,并把这个新方向称为"位置几何学"——这也是图论的起点。今天,从互联网的路由传输,到地铁换乘系统的规划,从物流路径优化,到基因调控网络的研究,都能看到"点与线"这一思路的延伸。人们日常打开导航软件时所依赖的底层逻辑,某种程度上,仍延续着欧拉当年对那七座桥的冷静观察——而这一切,起点不过是一道朋友随口转述、他自己起初还觉得没什么可讲的趣味题。 四、欧拉公式:一张可以折叠的纸 谈及欧拉,很难绕开那条被后世称为"最美公式"的等式:$e^{i\pi}+1=0$。它之所以备受推崇,是因为把数学中五个最基础的常数汇聚在了一起:0与1,是算术的起点与基石;π,代表圆这一几何对象的核心;$e$,代表增长与连续变化;而$i$,则是通向复数世界的入口。 不过,若只把这条公式当作一种形式上的美感来欣赏,便如同站在钟表店橱窗前只赞叹表盘好看,却没想过去看看里面的齿轮是怎么转的。欧拉公式真正的价值,在于它构成了此后诸多实际应用中极为关键的一环:它把指数函数与三角函数联系了起来,使复数不再是令人费解的抽象构造,而成了处理振动、波动、交流电,乃至量子力学中相位问题时,极为自然的表达语言。 它的另一种写法是$e^{ix}=\cos x+i\sin x$,可以把它理解为一张能够折叠的纸:等式左边是指数形式,右边是三角函数形式,二者原本分属两个领域,欧拉在中间架起了一座桥。许多原本繁复的三角恒等式、微积分运算,乃至电路计算,都能借助这条公式,被折叠成更简洁的形式。工程师们尤其看重这种能力:换一种坐标系统、换一种数学语言来描述同一个问题,处理难度往往能大幅降低——欧拉由此提供了一种极为稳定、也颇为优雅的"语言转换"方法。 五、除了公式,还有欧拉的"海洋" 若认为欧拉的成就仅局限于那条广为人知的公式,便如同认为整片海洋不过是一朵浪花那样局限。 他在数论领域同样留下了大量分量十足的研究成果:例如,他成功解决了"巴塞尔问题",把所有正整数平方的倒数相加所构成的无穷级数,精确求出了数值,而这个结果,竟然与圆周率π存在密切关联——在看似平凡的整数序列里,藏着一份与圆相关的深刻印记。他还在微分方程、变分法与力学领域,建立起较为系统的理论框架,让许多物理学定律得以被更精确地表达与求解。在那个尚未出现计算机的年代,他主要依靠手工演算,一页页、一卷卷地把"可计算的物理学"这个方向持续往前推。 欧拉的记忆力,在同代人之中也颇为出名。据同事和学生记述,他能够熟练背诵维吉尔的史诗《埃涅阿斯纪》全篇,且不仅记得开头结尾,还能随口报出某一页的第一行和最后一行分别是什么;他也能心算到令人咋舌的程度,据说曾在没有纸笔的情况下,帮两名学生核对一道复杂级数求和,算到第十七位小数才发现两人算法中一处极细微的分歧。这种记忆力和心算能力,日后在他双目失明时,成了他赖以继续工作的根基。 法国天文学家兼数学家拉普拉斯后来有一句流传甚广的话,大意是:读读欧拉的书吧,读读欧拉的书吧,他是我们所有人共同的老师。这句话是否逐字准确已难以考证,但它道出了一个基本事实:往后一两百年间,几乎每一位重要的数学家和物理学家,都是从翻阅欧拉留下的那几十卷著作开始自己的学术训练的。 他还曾写过一系列致一位德国公主的书信,用极为通俗的方式,把复杂的物理学与数学知识讲得如同日常对话一般自然。欧拉从未把自己的学识局限在少数专业学者的圈子里,他很早就相信,一个文明的持续发展,既需要天才迸发的思想火花,也同样需要能被普通人理解、传承的知识之光。 六、盲眼的工匠:在黑暗中继续雕刻 欧拉右眼失明的起因,还要追溯到1735年前后一桩颇具传奇色彩的往事。当时法国科学院悬赏征集一个天文计算难题的解法——需要推算彗星轨道的相关数据,按照惯常的计算速度,学者们估计怎么也得花上几个月。欧拉却接下了这个挑战,在短短三天之内,几乎不眠不休地把整个计算做完,赶在了截止日期之前交出了答案。据同时代人记述,正是这几天高强度的用眼与演算,引发了一场急性发热,之后他的右眼视力便再未完全恢复。此后又过了三十多年,他的左眼也因白内障逐渐浑浊,1771年接受了一次手术,术后一度略有起色,但不久又因感染而彻底失明——从此,他便完全生活在黑暗之中。 也是在1771年,圣彼得堡发生了一场大火,欧拉当时居住的木屋未能幸免。据记载,是一位名叫彼得·格里姆的瑞士籍工匠冒着浓烟冲进屋子,把当时已经双目失明、行动不便的欧拉背在肩上抢救了出来,欧拉的大部分手稿和藏书也在众人的抢救下得以保全,只是家中的部分财物付之一炬。欧拉后来专门为格里姆申请了一笔抚恤金,以示感激。 失明之后,欧拉的外孙女婿尼古劳斯·富斯,以及他自己的几个儿子,长期充当他的"眼睛"和"手"——欧拉口述,他们记录,把满脑子的演算变成纸上的公式。欧拉一生共有过十三个子女,虽然只有五个活到成年,但家里从来不缺帮他抄写、替他跑腿的年轻人,据说他常常一边逗弄膝上的孙辈,一边口述着下一段证明,孩子的哭闹和数学推导,在他家里似乎从不互相打扰。对他而言,失明似乎只是意味着某种"工作方式的转换":视觉输入没有了,但他的脑子,反而因此更彻底地成为了他从事研究的唯一场所。 还有一则流传甚广的轶事,与法国启蒙思想家狄德罗有关:据说狄德罗到访彼得堡宫廷时公开宣扬无神论,叶卡捷琳娜女皇有意让人"教训"一下这位客人,于是安排欧拉当众发言,煞有介事地说出一句"先生,$(a+b^n)/n=x$,所以上帝存在,请您反驳",狄德罗一时语塞,颜面尽失,随后便匆匆离开了俄国。这个故事流传了两百多年,情节生动,但后世的数学史学者大多认为它很可能是后人杜撰或添油加醋的产物——狄德罗本人精通数学,不太可能被这样一句不知所云的话难住。这则轶事真假难辨,却也从侧面说明了一件事:欧拉在同时代人心目中的形象,早已不只是一位学者,更成了某种"数学本身"的化身,人们乐于把各种关于智慧与机敏的传说,安在他的名字之下。 一位年迈的学者独自坐在房间之中,外界的色彩逐渐在眼前消失,但数学的世界,却依然在他的思维中保持着清晰而明亮的状态。他并非那种偶尔迸发灵感的诗人式人物,而更接近一位每日按时投入工作的工匠——只是他所雕琢的对象,是无穷的概念与高度抽象的理论。 七、尾声:工具箱合上时,世界仍在运转 1783年9月18日傍晚,圣彼得堡。欧拉刚和孙女玩过一下午,正在推算气球升空的运动规律——热气球才发明不久,这是当时最新潮的科学话题。算到一半,他放下笔,跟朋友聊了几句天王星轨道的新发现,随后忽然中风倒地,几小时后去世,享年76岁。法国数学家孔多塞后来写道,欧拉停止了计算,也停止了生命——这两件事在他身上,几乎是同一回事。 这个细节值得记住,因为它道出了欧拉最惊人的地方:他一生几乎没有停止过计算。晚年双目失明后,他靠心算和口述,产出反而更多了——后半生近乎失明状态下完成的论文,占了他全部作品的一大半,数学史学家至今还没编完他的全集,那是一套预计超过八十卷的巨著。 如果把数学发展的历史比作一场接力赛,欧拉不是某一棒跑得最快的人,他更像是中途下车、花了一辈子把整条赛道重新铺过的人——把坑洼填平,把桥架好,把路标钉在该在的位置上。牛顿和莱布尼茨劈开了一片新大陆,但那片大陆上还没有路。欧拉几乎是一个人,把这片蛮荒之地变成了后人可以安心居住、持续耕种的地方。 数学史上也有过不少流星般的人物——年少成名,灵光乍现,然后归于沉寂。欧拉不是这样的人。他更像一座灯塔:不靠某一次耀眼的闪光,而是靠几十年如一日、几乎不知疲倦地,稳定照耀着后来者的路。 今天,他留下的全集仍在编纂之中,两百多年过去了,学者们还没编完。而更多人,其实从未读过他的一行原文,也从未听过他的名字——他们只是打开手机导航,坐进飞机,戴上心脏起搏器,或者刷到一条推荐视频。工具箱早已被打开过无数次,工具也早已散落进了千家万户,至于是谁最先把它们打磨出来,反倒没那么多人记得了。这或许才是欧拉留给世界最好的礼物:一样东西真正有用之后,人们往往会忘记发明它的人是谁——这不是遗憾,而恰恰是它已经彻底融入生活的证明。 而他自己,直到生命最后一刻,手里还握着笔,算着一个热气球该怎样升上天空。

July 29, 2026

《数学的故事》第十六章:微积分之后的扩张——从“新发明”到“欧洲共同语言”

“代数与几何分离时,它们的发展都是缓慢的;当两者结合时,它们便互相赋予新的生命力,并以迅猛的步伐共同迈向完善。” —— 拉格朗日(Joseph-Louis Lagrange) 微积分一旦诞生,便迅速在整个欧洲学界流传开来——有人用它探究天体的运行,有人用它处理曲线的性质,有人用它研究水流与钟摆的规律;也有人围绕着"发明权"与"名誉归属"争执不休,门内门外为此吵作一团。但争议归争议,这套工具本身的实用价值,并不会因此而消失:它依然能够转动此前难以撬开的锁芯,让许多此前悬而未决的问题,重新有了突破的可能。 牛顿式的微积分,更接近一件深藏于研究者个人笔记之中的工具,锋利、沉重,带着浓厚的物理学气息;莱布尼茨式的微积分,则更接近一套面向公众的新语言,轻便、易于书写、便于教学,也便于在不同学者之间交流。到了十八世纪,第一批投身于这一领域的数学家,并未把微积分仅仅视为"哲学家书斋中的思辨对象",而是把它当作一种能够切实解决实际问题、赢得学术声誉的有力工具。 这一章所要讲述的数学家,并非微积分的发明者,却是使这门学问真正"活跃起来"的一批人:他们把一项属于个别天才的创造,逐渐转化为整个时代共享的知识财富。一门新学问能否真正改变世界,往往取决于"第二批人"——那些愿意系统地传播它、讲授它、改进它,并把最初的成果推向更广泛人群的人。 一、巴黎的课桌与巴塞尔的挑战:洛必达与伯努利家族 微积分真正成为"欧洲共同语言",很大一部分功劳并不在于开创者本人,而在于此后从事教学与整理工作的学者。洛必达出身法国贵族,是一位对这门新兴学问抱有浓厚兴趣的爱好者。他所追求的,并非"独自发明某种全新成果"这样的荣誉,而是一个相对朴素的目标:把这门新学问系统地学会、清楚地写出来,并教授给更多的人。 洛必达在数学史上最重要的身份,几乎可以用一个词来概括:教科书的编写者。在一门新学问刚刚诞生的阶段,一部系统的教科书往往具有特殊的意义——它意味着这门学问开始从"少数人所掌握的秘技",转变为"多数人能够学习的技艺"。天才或许能够独自开辟出一条道路,但教科书能够把这条道路加以整理、标注清晰的路标,使普通的学习者也能够沿着这条路走下去,甚至走得更远。 洛必达的著作之所以重要,并非因为他在理论深度上超越了牛顿,也并非因为他的研究早于莱布尼茨,而是因为他把此前分散的各类技巧,系统整理成了一套可供训练的固定程序。他把微分的具体操作、曲线切线的求法、极值问题的处理方法,以及若干常见的疑难问题,依照一定的逻辑顺序加以排列,使学习者能够依循这一顺序,逐步掌握相应的方法。而在他的著作背后,实际上还站着一个更接近"数学工坊"性质的家族——伯努利家族。 如果说牛顿与莱布尼茨是这一领域的两座高峰,那么伯努利家族便是山脚下最为勤勉的一支开拓队伍。这个家族的成员,彼此之间既相互竞争,又相互扶持、相互激励:雅各布与约翰这对兄弟,此后又加入了更为年轻的丹尼尔。他们共同的特质,是极强的好胜心、敏捷的思维,以及对疑难问题近乎痴迷的热情。 微积分刚刚兴起之时,伯努利家族做了一件颇具推动作用的事情:他们不断提出各类难题,公开向欧洲学界发起挑战,邀请各方学者前来应战。微积分正是在这样持续的挑战与应战之中迅速走向成熟——因为一项工具往往只有在实际应用之中,才能真正显现出它的局限与潜力所在。 其中最为著名的一次挑战,是"最速降线问题"。这一问题的表述相当直观:一颗小球在重力作用下,从一点滑向另一点,沿着哪一条轨迹滑行所需的时间最短?若单凭直觉,人们往往会认为直线距离最短,因而耗时也最短;但事实上,直线未必是耗时最短的路径。若考虑到"起始阶段陡一些有助于加速"这一因素,又该如何确定曲线的具体弯曲程度? 这一问题的独特之处在于,它促使数学不再仅仅关注"形状本身",而开始处理"最优选择"这一全新的问题类型:在无数条可能的曲线之中,究竟哪一条才是最优的?这已经超出了传统几何学所擅长的范畴,而更接近一种带有工程学色彩的判断——在无限多种可能性之中,寻求最优的具体方案。这正是此后被称为"变分法"这一研究方向的最初雏形。 伯努利把这一问题公开提出之后,欧洲学界最为杰出的一批学者纷纷应战:有人借助几何学上的巧妙构思,有人则运用新兴的微分方法。其中最富戏剧性的一幕,与牛顿有关:据说他在处理繁忙的公务之余收到这一题目,仅用一夜的时间便完成了求解,次日以匿名的方式将解答寄出——这一举动似乎在表明:他虽已不再主动参与这类学术竞赛,却依然具备赢得比赛的实力。这类轶事的具体细节未必完全可靠,但它确实说明了一点:微积分此时已然成为一处颇具竞技色彩的学术领域,而牛顿即便置身场外,仍被公认为其中最具分量的一位参与者。 对伯努利家族而言,这场竞赛更接近一次系统性的训练过程。他们不仅致力于求解具体的难题,还进一步把求解的过程,整理成可以被反复运用的方法,促使微积分逐渐能够处理更为复杂的问题:变化本身的变化,曲线本身的曲率,以及"最优"与"极值"之间那种颇为微妙的临界状态。 而身处巴黎的洛必达,则把这些分散的研究成果加以系统整理,编写成条理清晰的教材。历史上还留下了一段颇具争议的插曲:洛必达与约翰·伯努利之间曾订立过一项私下协议——由伯努利提供最新的研究成果与相关讲解,洛必达则支付相应的报酬,并获得使用这些成果的权利。这一安排此后引发了关于"成果归属"的争议:某些以洛必达之名流传的著名法则,其原始的研究成果,究竟应当归功于谁?由此可见,微积分这门学问,似乎从诞生之初,便伴随着某种"归属之争"的特质:从牛顿与莱布尼茨之间的争执,到教材与手稿之间的权属问题,学术声誉如同影子一般,始终伴随着这些研究成果。 不过,从文明发展的角度来看,这类争议的出现,恰恰说明微积分已经真正进入了现实社会的知识交换体系之中——它不再仅仅是某一瞬间的灵感闪现,而已经成为一种可以被公开讨论、被广泛应用的知识资产。人们围绕它所展开的种种争夺,恰恰印证了它自身所具备的重要价值。 二、把无限写成可控的近似:泰勒与"展开的思想" 在微积分不断扩张的过程中,除了公开的学术竞争与系统的教材编写之外,还存在着一种更为安静、却同样深刻的推动力量:把复杂的对象转化为可以逐步逼近、可以具体计算的形式。这一方向的代表人物之一,便是布鲁克·泰勒。 此前提到,牛顿所创立的微积分体系,带有一种较为质朴的气质:它坚实可靠,却在符号表达上略显繁重;它思想深邃,却在具体形式上不够灵活便捷。牛顿更倾向于使用"流数"与"流率"这类术语,其思考方式更接近一位专注于观察自然运行规律的哲人,而非一位擅长在符号之间灵活推演的技术专家。这种表达方式,在思想层面固然极具分量,但在具体运算的形式上,却显得较为繁琐。 然而,即便在这一表达方式尚显保守的学术背景之下,仍有敏锐的学者能够洞察出隐藏于既有符号体系背后的更深层规律。泰勒正是这样一位值得关注的学者。 泰勒并非那种以宏大理论体系震动整个学界的革命性人物,而更接近一位耐心细致的研究者。他在牛顿所留下的研究工具基础上,深入钻研,最终发现了一条具有普遍意义的重要规律:任何足够光滑的函数,都可以在某一点的附近,展开为一个无穷级数。这一发现,此后被称为"泰勒展开"或"泰勒级数"。 这看似只是一项技术性的成果,却在无形中深刻地改变了数学的表达方式。它把曲线转化为多项式的形式,把复杂的问题转化为相对简单的问题,把持续的变化过程,拆解为一层层可以逐步计算、逐步逼近的结构。它向人们表明:即便面对的对象无限复杂,依然可以在某一局部找到理解与把握这一对象的切入点。这为此后的数学家提供了极为重要的启示:当面对一个难以直接完整处理的复杂对象时,不必强行把握其整体,而可以在某一具体的点附近,把这一对象拆解为一系列层层递进的近似:先把握住其中最为主要的部分,再逐步添加相应的修正项,进而添加更为精细的修正——如同绘制一幅肖像画:先用较粗的笔触勾勒出整体轮廓,再用中等的笔触添加明暗层次,最后用极细的笔触刻画出神态细节。 这种思路虽然听起来接近艺术创作的方式,实际上却成为近代科学得以运转的重要基础。因为现实世界中充满了各类复杂的现象:天体运行中的摄动问题,弹簧的振动,流体所受到的阻力,热量的传播方式……若一味要求一次性得出"完全精确"的结果,往往会耗费极为漫长的时间,难以取得实际的进展。但若能够采用逐层逼近的方式,便能够把复杂的问题,转化为"可以计算到所需精度"的具体任务。这一思路,在工程实践与天文观测领域,具有极为重要的实用价值:不必追求绝对完美的认知,只需具备足够精确的近似结果,便足以支撑桥梁的建造、航海的导航,以及钟表的校准等各类实际工作。 泰勒所提出的这种展开方法,也在一定程度上改变了微积分本身的性质:它使微积分不再仅仅是一门"求解瞬时变化与累积总量"的学问,而进一步成为一门"把未知转化为可控误差"的学问。数学家们由此逐渐学会了这样一种表述方式:眼下所给出的,或许只是一个较为粗略的答案,但已经掌握了系统改进这一答案的具体方法;误差本身,并非某种令人羞于承认的缺陷,而是一项可以被合理管理、可以被主动控制的"预算"。 这一转变具有相当重要的意义,因为它使微积分真正融入了此后逐渐兴起的计算文化之中:一套理论方法,不仅需要在逻辑层面成立,还需要在具体的数值计算中真正可用。此后,欧洲的数学家们,愈发倾向于以一种接近工程师的态度来处理问题:只要相应的误差能够被合理压缩、能够被准确估计、能够被反复验证,他们便愿意接受结果中所包含的一定误差。 值得关注的是,这一时期还呈现出一个更为宏观的发展趋势:牛顿时代的微积分,更多依靠个别天才的直觉与洞察;而泰勒之后的微积分,则愈发接近一套经过系统训练的、可以被广泛掌握的技术方法。它逐渐形成了固定的思路、明确的步骤,以及可供反复练习的标准方法,从而能够在课堂教学中被大量地传授与复制。文明的进步,在很多情况下,正是通过这样一种方式实现的:把原本仅属于少数人的灵感,转化为多数人皆可掌握的实际技能。 三、逻辑的诘问:贝克莱的质疑与严密化的先声 就在微积分以相当迅猛的速度不断扩张应用范围之时,有一位学者站在这一发展进程的旁侧,提出了颇为尖锐的质疑。贝克莱本身是一位主教兼哲学家,并非数学领域中擅长具体解题的专家,但他所提出的问题,却精准地触及了当时微积分体系中最为敏感、也最为薄弱的一处环节:这套方法所依赖的"无穷小",在运算过程中,有时被当作一个非零的量来参与除法运算,有时却又在得出结果之后,被当作可以忽略不计的部分直接舍去——这种处理方式,究竟能否被称为严格的推理?所谓的"无穷小",究竟是一种真实存在的对象,还是仅仅是一种用后即弃的权宜说法? 这一质疑之所以颇具分量,是因为它并非来自数学领域内部的竞争对手,而是来自逻辑学与宗教信仰领域的重要人物。在当时,数学家们时常以"神学家的论证同样并不严密"这类说法,来回应外界对宗教教义的质疑;而贝克莱则反过来,以同样的逻辑标准,对数学家的推理方式提出诘问,追问这些推理是否真正配得上他们所自诩的清晰性与确定性。 他最为尖锐、也最常被后人引用的一句评论,是把"无穷小"比作"消逝量的幽灵":数学家们前一刻还让这一概念在推理过程中发挥实际作用,转过身却又将其从结果中彻底剔除,宣称"它已不复存在"——这样的处理方式,究竟属于严谨的科学方法,还是某种巧妙的障眼法? 贝克莱恰好站在了一个颇具意义的历史节点之上:此时的微积分,虽已强大到足以解释诸多自然现象,却尚未能够把自身的理论基础完全阐述清楚。这如同一座建造速度极快的建筑:楼上已然住满了人,但楼下的产权文件却尚未完全办妥。贝克莱的质疑,并非意在推倒这座建筑,而更接近一种提醒:无论这座建筑建得多高,其地基,同样需要得到应有的补充与巩固。 这一质疑,并未使当时的数学家们立即改变自己既有的研究方式——毕竟他们对这套工具的实际需求过于迫切,难以轻易放弃。但贝克莱所提出的疑问,如同一粒落入齿轮之中的细沙:数学研究依然能够照常推进,但学界也逐渐意识到,这套方法确实有必要经过更为精细的打磨。从心理层面而言,微积分此后走向理论严密化的历程,确实需要这样一种来自外部的持续压力:有人明确指出,“你们此前所取得的胜利,或许来得过于轻易,理应把这笔账目重新核算清楚。” 四、欧拉:像巨轮一样贯通整个时代 若要为这一时期的微积分寻找一个恰当的比喻,欧拉近似于一台巨大的水车:无论水流来自哪一条河道——微分方程、无穷级数、曲线理论、力学、天文学、数论——这台水车都能借助水流的力量持续转动,再把这股动力,源源不断地分发到无数座磨坊之中。伯努利家族此前为微积分的发展提供了持续的挑战与燃料,而欧拉,则近似于把这些分散的燃料,汇聚成一台运转不息的发动机:微积分自此不再仅仅是两三位大师私下掌握的精深技艺,而逐渐成为一整套能够持续、大规模产出研究成果的完整体系,欧拉正是这台体系之中,转动得最为响亮的那根主轴。 欧拉一生的具体经历与全部贡献,分量极重,值得用专门的篇幅细致展开,本书此后将另辟一章,专门讲述这位数学史上极为重要的人物,此处暂且按下不表。此刻,不妨把目光转向另外两位同样值得关注的人物——达朗贝尔与拉格朗日。他们代表着微积分扩张进程中的另一种成熟形态:从具体解题,走向系统结构;从零散技巧,走向普遍原则。 五、达朗贝尔:把运动写成"可论证的秩序" 达朗贝尔是法国启蒙时代颇具代表性的一位学者:他相信理性能够梳理这个世界,相信数学方程能够驯服自然界的复杂现象,也相信科学研究,需要更为清晰的表达方式与更为严格的论证过程。他所处的时代,学会、沙龙与百科全书式的知识整理工作正蓬勃发展——知识不仅需要在内容上准确无误,还需要能够被系统地写入公共的知识体系,融入整个社会对理性的普遍信心之中。 在微积分不断扩张的历史进程中,达朗贝尔的角色,近似于一位致力于把此前杂乱的研究成果加以系统整理的学者。伯努利家族擅长提出难题、并致力于解决难题;而达朗贝尔则更为关注:能否把这些难题背后所蕴含的内在机制,阐述得更加清晰?能否把某一类运动、某一类振动、某一类力学问题,纳入一套统一的理论结构之中加以表达? 在他的研究中,微积分逐渐呈现出一种类似"自然规律语法"的性质,这一点在振动与波动这类问题的研究中体现得尤为明显:当一根琴弦被拨动之后,它的形态将如何随时间发生变化?声音的高低究竟由何决定?振动又是通过怎样的方式向外传播?若仅仅依靠几何直觉来处理这类问题,往往会被瞬间的局部变化与整体的形态变化所困扰;而微积分则如同一支得力的笔,能够把"每一瞬间所发生的局部变化",系统地连接为"整体随时间推移而呈现的完整演化过程"。达朗贝尔把这一类演化过程,阐述得更接近一条严谨的自然定律,而不仅仅停留在具体的解题技巧层面。 同样值得关注的是,达朗贝尔在治学的整体气质上,已经颇为接近此后数学"严密化"进程的先声。他对级数的收敛性、对极限概念,以及对推理链条的严谨程度,表现出了相当敏锐的关注,这也预示着分析学此后将逐渐从"实际有效",进一步走向"能够清楚说明为何有效"这一更高的要求。这并不意味着他本人已经完成了这一严密化的历史任务(这一使命此后主要由柯西、魏尔斯特拉斯等学者完成),但他的研究,已经使人们隐隐感受到:微积分这把此前锐利的工具,在应用范围不断扩大的同时,也愈发需要对其刀背与刀柄部分进行细致的打磨——否则,这把工具本身,也可能因逻辑上的疏漏而带来新的风险。 六、拉格朗日:把微积分从图形中解放出来 如果说达朗贝尔使微积分更接近一种系统的秩序,那么拉格朗日,则使微积分进一步接近一台纯粹的分析机器。 拉格朗日的重要贡献,在于他把微积分进一步从具体的图形与直观的几何形象中抽离出来,推向一种更为抽象、更具普遍性、也更接近符号逻辑的理论结构。他治学的态度,近似于一位极为严谨的语言学家:不满足于含糊不清的表述,也不容忍逻辑上的例外情形,力求使一切论证,都能够在同一套严密的表达体系中得以呈现。在他看来,几何图形固然直观、易于理解,但图形本身也容易使人产生某种思维上的松懈:仅仅因为"看起来"符合某种规律,便误以为这一规律已经得到了严格的证明;仅仅因为图形绘制得较为逼真,便误以为相关的结论必然正确。拉格朗日更倾向于借助纯粹的分析方法,把全部的论证都严格限定在符号推演的层面:不能依靠直观的图形蒙混过关,而必须依靠系统的推导、严谨的结构,一步一步地把结论真正推导出来。 这一转变,带来了一项颇具历史意义的后果:微积分从此不再仅仅被视为"处理曲线问题的一系列技巧",而更接近"处理各类数量关系的通用引擎"。研究者不必事先绘制出具体的曲线图形,只需明确写出相应的数量关系,微积分便能够依循既定的规则,完成后续的运算与推导。自然现象由此被转化为具体的数量关系,数量关系又被进一步转化为变化的规律,而变化的规律,则被转化为可以直接操作的运算程序——微积分最终发展成为支撑现代科学运转的一套基础性方法体系。 这一转向在力学研究领域,体现得尤为明显。牛顿时代的力学研究,主要处理的是"可以直观感知的力":对物体施加推力或拉力,物体便随之产生相应的运动;只要把作用力明确写出,物体的运动轨迹便可依此确定。而到了拉格朗日的时代,力学研究,则更多地转向"系统结构层面的力":不必逐一关注系统中每一根绳索、每一处铰链的具体状态,而可以在更高的层面上,描述整个系统所受到的约束条件与所具备的能量关系,进而借助系统的分析方法,推导出该系统的运动规律。由此,一个原本极为复杂的机械系统,其运动规律,便得以从"难以逐一想象的具体细节",提升为"可以统一处理的一般形式"。这不仅是数学研究方法上的一次重要突破,也体现出工程思维的一次深刻转变:从关注局部具体的零件,转向关注系统整体的结构。 此外,拉格朗日同样是推动微积分走向理论严密化的重要人物之一。他曾尝试借助级数展开等分析方法,为微积分构建更为坚实的理论基础,试图以一种更接近算术运算的方式,替代此前较为含糊的"无穷小"直觉。虽然从后世更为严格的标准来看,这一尝试,并未能够彻底解决微积分理论基础中存在的全部逻辑问题,但它确实体现出一个重要的发展方向:微积分不再满足于仅仅作为一种实用的计算工具存在,而开始追求成为一套具有法律般严谨性的理论体系;不再满足于"能够得出正确的计算结果",而进一步追求"能够清楚地证明为何这样计算是正确的"。 七、微积分:一种"文明的共同肌肉" 微积分诞生之初,近似于一场天才思想的骤然迸发:牛顿与莱布尼茨各自在相对独立的研究环境中,几乎同时把握住了这一深刻的理论突破。那一时刻,无疑是孤独的、充满思想张力的,也带有某种极具开创性的历史意味。然而,这样的思想突破,若缺乏后续的持续传播,其影响范围终究有限,如同一道闪电,虽足以照亮短暂的瞬间,却难以持续照亮整座城市。真正使这份思想成果,得以广泛流传、持续发挥作用的,正是此后一批学者的共同努力。 洛必达把这门新兴的学问系统整理成教材,使其得以被广泛学习与传播;伯努利家族通过持续提出难题、展开公开的学术竞争,推动这一工具不断得到检验与改进,并由此催生出"最优化"这一全新的研究方向;泰勒把它发展为逐层逼近的系统技艺,使复杂的现实问题能够被计算到所需要的精度;贝克莱则指出了"无穷小幽灵"背后所隐藏的逻辑漏洞,为此后理论层面的严密化敲响了最初的警钟;欧拉几乎贯通了当时数学的各个分支,证明这一工具已经具备了大规模、系统化产出研究成果的能力;达朗贝尔使微积分更接近于对自然规律的一种系统表达;拉格朗日则使它进一步摆脱对具体图形的依赖,发展成为一套更具普遍适用性的抽象分析工具。 微积分由此从少数天才思想的产物,逐渐演变为一场深刻的社会化建设工程:它从两位开创者的书桌,走入千百位学者的课堂、学会、书信与论著之中,最终成为现代世界中一种极为自然的思维方式。一旦掌握了这套方法,人们便会不自觉地借助它来观察这个世界——观察增长的趋势,观察衰减的过程,观察波动的规律,观察最优的选择,观察误差的控制,观察逐步逼近的过程。它不再仅仅是两位开创者个人的思想财富,而成为整个文明共同拥有、共同锻炼的一种思维能力。每一代学者对它的运用,都是对这套方法的一次锻炼;每一个具体问题借助它得到解决,都是对其应用边界的一次拓展。 而随着这一过程的持续推进,贝克莱当年那番质疑的意义,也愈发清晰地显现出来:一套工具的能力越是强大,其自身合法性的问题,便愈发显得紧迫。一把普通的锤子若不慎钉错了位置,至多损坏一块木板;但一套已经深刻渗透进物理学、工程学、经济学乃至哲学各个领域的数学工具,若其内在的逻辑基础尚不牢固,那么建立于其上的诸多理论成果,都可能因此而面临潜在的风险。数学界不能仅仅满足于陶醉在这套工具所展现出的强大威力之中,还必须认真回应关于这套工具自身合法性的追问——这并非不必要的苛求,而正是一个成熟的知识体系,对自身保持诚实态度的重要体现。 此后微积分理论走向严密化的历程,恰如为这座已然建成的宏伟建筑,补齐地基的产权文件、消防安全规范,以及必要的结构验证。柯西与魏尔斯特拉斯等学者,将借助更为严谨的极限定义,把贝克莱当年所提出的"幽灵"问题彻底化解,把极限这一核心概念,阐述得如同法律条文一般严密而清晰。这将是另一段值得讲述的历史,也是数学发展史上又一次艰难而必要的自我修订。但在这一历程真正展开之前,回望这座历经百余年时间才逐步建成的数学大厦,看到它高耸的飞檐与穹顶,也看到其中曾经存在的裂缝与尚待巩固的地基,便不难体会到这样一个道理:伟大的理论成就,从来不是一蹴而就的产物,而是历经数个世纪、由一代又一代学者接续努力所共同铸就的。每一位参与其中的学者,都使这一理论体系,走得更远,也变得更为稳固。

July 26, 2026

《数学的故事》第二十一章:阿贝尔与伽罗华——不可能的证明与群论的诞生

“要想在数学上取得进步,就应当研究大师,而不是大师的学生。” —— 尼尔斯·亨利克·阿贝尔(Niels Henrik Abel) “最有价值的科学著作,是那些清楚指出作者不知道什么的著作;掩盖困难,对读者的伤害最大。” —— 埃瓦里斯特·加罗华(Évariste Galois) 在历史的长河里,有些名字闪烁得像星辰,一瞬的光辉足以照亮后来的航路。十九世纪的某些黎明便由两颗这样的星子划过:一位来自北欧挪威的寂寞天才,一位来自拿破仑余烬中燃烧的法国青年。他们的生命短促而炽烈,像陨石划破夜空,虽短暂却把一条新航道刻进了数学的苍穹。尼尔斯·亨利克·阿贝尔与埃瓦里斯特·伽罗华,名字本身便带着一种悲怆的诗意:他们来得早,走得早,但留下的思想却像河床中的岩层,支持着后来万千年的流水。 一、时代的气味:从古代求根术到十九世纪的结构转向 要理解阿贝尔与伽罗华的伟大,先得把视线拉回到更古老的舞台。数学的心脏曾长时间跳动在"求解"之中:古巴比伦人的表格、希腊人的几何、阿拉伯与印度的代数技巧,直到文艺复兴时期的意大利学者完成了对三次、四次方程的解法,人们便抱有一种耐人寻味的信念:或许所有代数方程都可一一揭示其根的面目——用根号、用加减乘除、用有限次的代数运算来表示。这种"求根"的理想,既是技术的挑战,也是人类对知识控制欲的象征:把混沌变为可读的文字,把未知变为可以书写的表达式。 到了十八、十九世纪,数学家们已意识到事情可能并不简单。形式主义与抽象观念逐渐取代单纯的计算技巧,思想开始从"如何算"转向"为何如此"。在这转向之际,阿贝尔与伽罗华作为两种直觉的孕育者出现——一个以冷峻的代数技巧告诉人们"不可能",另一个以深邃的结构语言描述"不可能"的原因。他们的工作,是对古老求根梦的一次决定性反思:某些梦,注定要被醒来的人温柔且坚定地推翻,然后由新的话语来解释所发生的一切。 二、尼尔斯·亨利克·阿贝尔:一盏北国的灯 世界上有一种人,他们的伟大从不曾在自己活着的时候被好好感受过。他们的名字,要等到墓碑上的字迹风化之后,才真正开始在人们口中传扬。尼尔斯·亨利克·阿贝尔便是这样一个人。 芬德岛上的孩子 1802年,阿贝尔出生在挪威西南海岸芬德岛上一个叫做弗里斯兰的小地方。这座岛屿在当年的地图上只是一处极小的标记,孤悬于北海的风浪之中,居民们世代以捕鱼和耕作为生。冬天的风从大西洋长驱而来,带着盐和寒意,穿过木屋的缝隙在室内呼啸。阿贝尔的父亲索伦·阿贝尔是当地的一名乡村牧师,一个有理想、有热情、却始终无法使生活改善的人。他为挪威独立运动撰写政治文章,参与制宪会议,梦想着一个更公正的世界——然而在家庭的账本上,他留下的常常是拮据与债务。母亲伊丽莎白是个美丽却不那么善于操持家务的女人。家里有七个孩子,食物总是不够充裕,炉火也常常不够旺盛。 在这样的家庭里,尼尔斯·亨利克·阿贝尔慢慢长大。他并非那种自幼便显露出神异色彩的孩子,而是一个安静的孩子,在哥哥和弟妹们的喧闹中常常独自坐着,目光望向某个别人看不见的地方。他不擅长表达自己,但他有一种异乎寻常的耐心——对一件事情,他可以反复端详,直到在脑海中将它翻转成一个他满意的形状。这种耐心,日后成为了他解开数学难题的秘密武器。 伯纳德·霍尔姆伯的发现 转机出现在1815年,阿贝尔十三岁那年进入了奥斯陆(当时称克里斯蒂安尼亚)的大教堂学校。在那里,他遇到了一位名叫伯纳德·霍尔姆伯的数学教师。 霍尔姆伯是个非同寻常的人。在那个年代,中学数学教师的职责大多是让学生背诵公式、完成习题,如同流水线上的工人,将知识整齐地嵌入学生的脑袋。霍尔姆伯却不是这样。他认为数学不是一套需要记忆的程序,而是一门需要感受的艺术。他鼓励学生去读欧拉,读牛顿,读高斯——直接去阅读这些伟大心灵留下的原始文本,而不仅仅是经过删减和简化的教科书版本。 当他第一次看到阿贝尔解题的方式,他愣住了。那不是一个学生在套用公式,那是一个人在思考。霍尔姆伯将阿贝尔的作业留在桌上看了很久,然后把这个十三岁的孩子叫到面前,问他:“你是怎么想到的?“阿贝尔想了一会儿,用他一贯安静的声音回答说,他只是觉得应该这样。 此后,霍尔姆伯开始为阿贝尔单独准备材料。他从自己的薪水中拿出钱来购买数学著作,把它们借给阿贝尔,又在课后花时间与他讨论。他意识到,自己眼前这个来自芬德岛的安静男孩,很可能是他这一生中遇到的最有才华的学生——甚至,是挪威数学史上的一个罕见存在。阿贝尔在日后的信件中,从未忘记提到霍尔姆伯的名字,总是带着那种朴素而深切的感激,就像一棵树记得第一场让自己抽出嫩芽的春雨。 父亲的离去与贫困的重量 然而命运并不打算让阿贝尔的路走得太顺。1820年,父亲索伦·阿贝尔在一场政治风波之后声名狼藉地辞世,留下了一个债台高筑、几乎没有任何经济来源的家庭。长兄汉斯·马修斯患有精神疾病,无法承担家庭重担。于是,照顾母亲和弟妹的责任,悄悄落到了十八岁的阿贝尔肩上。 他用教授私课的微薄收入维持生计。他的学生们后来回忆说,阿贝尔是个极好的老师——不是因为他有什么系统的教学方法,而是因为他在解释一个数学概念时,眼睛会突然发亮,仿佛他自己也在和对方一起重新发现它。学生们喜欢他,尽管他话不多,尽管他常常在讲解到一半时陷入沉默,那是因为他在脑海中突然看见了一条新的路径,忍不住顺着走了一段。 就在这样左支右绌的生活里,阿贝尔开始向数学史上最古老的谜题之一发起挑战:五次方程。对于二次方程,人类很早便有了求根公式——那个后世学生在中学课堂上背得滚瓜烂熟的求根算式。三次、四次方程也在文艺复兴时代被意大利数学家卡尔达诺和费拉里相继攻克,得到了同样以根式表达的求根公式,虽然复杂,但确实存在。于是人们自然地问:五次方程呢? 两百年来,数学家们一次次地尝试,一次次地失败。他们相信公式一定存在,只是还没有人足够聪明找到它,就像在一个巨大的房间里确信钥匙就在某处,只需要翻遍每一个角落。没有人想到,也许根本没有钥匙,也许那扇门,从一开始就不是用钥匙打开的那种门。 阿贝尔是第一个清醒地意识到这一点的人。他的逻辑极为严峻:如果要用有限次加减乘除和开方的组合来表达五次方程的根,本质上是在构造一种特定的代数结构;而一般的五次方程的根,恰好具有一种这种结构永远无法捕捉的对称性。这不是运气不好,不是方法不够巧妙,而是数学本身在说"不”。这是一种全新的思维方式:与其问"答案是什么”,不如问"为什么没有答案"。 1823年,他将这份证明写成论文,兴奋地自费印刷——为了节省纸张,他将证明压缩到了六页,精简到几乎晦涩的程度。他把这份小册子寄给了丹麦数学家德根,希望得到认可。德根的回信是一盆冷水:他认为阿贝尔一定是犯了错误,并建议他用具体数值验算。那一刻,阿贝尔一定感到了某种特殊的孤独:你知道自己是对的,但你无法让别人相信你,因为彼此根本不在同一个理解的层次上。 欧洲的漂泊 1825年,在几位挪威资助者的帮助下,阿贝尔获得了一笔资助,得以前往欧洲大陆游历。这对一个来自挪威边远地区的年轻数学家来说,意味着终于可以接触到真正的数学世界,见到那些他只能通过书页感受的伟大心灵。 他的行程以德国为主,后又辗转来到巴黎。他在柏林结识了奥古斯特·克雷尔——一位充满热忱的数学爱好者和出版人。克雷尔正在筹备一份数学期刊,看到阿贝尔的论文后激动不已,几乎立刻便将阿贝尔视为这份刊物的核心力量。《克雷尔杂志》(即后来著名的《纯粹与应用数学杂志》)的第一期,便收录了阿贝尔的多篇文章,其中包括那份更为完整、严谨的五次方程不可解证明。 阿贝尔在欧洲的这段时光既是他一生中最充实的岁月,也是他最辛苦的岁月。他的资助本就不宽裕,在柏林的花销又远超预算。他给家里的信中,字里行间透着一种努力维持体面的克制——他不怎么直接说钱的事,只是偶尔提到天气很冷,或者某顿饭吃得简单。 在巴黎,他将一篇关于椭圆函数的重磅论文提交给法国科学院,期待得到高斯或柯西等数学权威的审阅。这份论文后来被证明是十九世纪最重要的数学文献之一,然而它被柯西随手搁置在案头,落满灰尘,直到阿贝尔去世后许多年才被重新发现。没有回音,没有评价,甚至没有一封告知收到的信件。阿贝尔等待着,在巴黎阴冷的公寓里,用省下来的钱买便宜的面包,继续在稿纸上写那些没有人看的方程。 椭圆函数与最后的辉煌 即便在漂泊与贫困中,阿贝尔的思想从未停止生长。在欧洲游历期间,他将目光投向了另一片数学疆域:椭圆积分与椭圆函数。这是一个在高斯和勒让德等人手中已有相当积累的领域,但阿贝尔以他特有的方式,从一个完全不同的角度切入——他不去研究积分本身,而是去研究积分的反函数。这个视角的转换,如同人们一直在研究影子,而阿贝尔却突然转身去看那个产生影子的物体本身。这一转变开辟出了全新的数学天地,后来成为整个十九世纪数学发展的核心课题之一。 而与此同时,在德国,年轻的卡尔·雅可比也在独立地研究椭圆函数,并率先发表了成果。数学史上由此出现了一段动人的竞争:两个才华横溢的年轻人,在互不相识的情况下,几乎同时看见了同一片新大陆的轮廓。所不同的是,雅可比活得更长,也因此在身后留下了更为完整的建筑。阿贝尔只能留下草图。 归途与暮色 1827年,阿贝尔带着满满的笔记和空空的口袋回到挪威。他的健康在欧洲的颠簸旅途中已经开始悄悄崩塌。挪威的冬天迎接了他,但那是一个没有职位、没有收入、没有任何机构愿意聘用他的挪威。 他继续靠家教为生,继续写作,继续向欧洲的学术期刊投递论文。克雷尔杂志一直是他最重要的发表渠道,克雷尔本人也一直在帮他奔走,试图为他争取柏林大学的职位。阿贝尔在信中时常表现出某种不稳定的情绪——偶尔是压抑不住的亢奋,描述自己刚刚完成的某个证明;偶尔是沉沉的疲倦,透出那种壮志未酬、年华流逝的隐忧。 他爱上了克里斯蒂娜·坎普,一个聪慧而温柔的女人,两人订了婚。但阿贝尔没有固定收入,婚事便一直搁置。他把对克里斯蒂娜的心意藏在简短的信件里,像他对待数学一样——精确,含蓄,字字都经过掂量。 1828年圣诞节,他去芬德岛探望克里斯蒂娜。那一次旅途穿越了挪威寒冬的风雪,阿贝尔回来时已经发起了高烧。肺结核——那个十九世纪带走了无数年轻生命的疾病——已在他体内悄悄生长了许久。1829年4月6日,尼尔斯·亨利克·阿贝尔在弗罗兰矿区的一间小屋里离世,年仅二十六岁。就在两天后,克雷尔的信从柏林寄到——他终于为阿贝尔争取到了柏林大学的教职。 一盏灯的意义 阿贝尔的遗稿在他身后被整理、出版,在欧洲数学界引起了巨大的震动。高斯、雅可比、埃尔米特……一代代数学家在他留下的基础上继续建造,将"阿贝尔函数"“阿贝尔群"“阿贝尔积分"的名字永久地嵌入数学的语言之中。但最重要的遗产,也许不是某一个具体的定理,而是一种思维方式的转变。 在阿贝尔之前,数学家们问的问题是:怎样求解?他们相信每一个问题都有答案,努力的方向是找到那个答案。阿贝尔教会了数学家另一种提问方式:这个问题,有没有可能根本没有答案?如果没有,为什么没有?这种追问,后来在伽罗华手中发展成群论,成为现代代数的基石,影响了此后两百年数学发展的整个走向。 一个来自北国小岛、活了二十六年、在一生中几乎从未拥有稳定书桌的年轻人,就这样改变了人类理解数学的方式。他的生命像一盏在海风里燃烧的烛火,短暂,但照亮的距离,远比他自己所能想象的更加深远。 今天,人们用阿贝尔奖来纪念他的名字。这项以他命名的最高数学荣誉之一,不只是为了表彰那些改变数学的人,也像是历史迟来的一次致敬:愿后来那些照亮数学世界的人,都能在生前得到应有的尊重,而不必重演阿贝尔的悲剧。 三、埃瓦里斯特·伽罗华:在决斗前夜写完的数学 世界上还有一种人,他们的愤怒与他们的才华以同等的比例燃烧,燃烧得太快,快到世界还没来得及感受温度,火焰便已熄灭。埃瓦里斯特·伽罗华便是这样一个人。他只活了二十岁,却在那二十年里,把一个普通人三辈子的激情都燃烧殆尽。 布尔拉兰的少年 1811年,伽罗华出生在巴黎近郊一个叫做布尔拉兰的小镇。那是个历史正在以惊人速度翻涌的年代:拿破仑的帝国正处于最后的辉煌,整个欧洲被战争与革命的气息浸透,连空气里似乎都带着一种躁动的味道。 他的家庭并不贫穷,却也绝非贵族。父亲尼古拉·加布里埃尔·伽罗华是布尔拉兰的镇长,一个有思想、有原则的共和主义者,在镇上颇受敬重。这位父亲对儿子的影响,远不止于给他提供了一个安稳的童年——他给了伽罗华一种骨子里的东西:对权威的不信任,对正义的执念,以及在任何情况下都不肯低头的倔强。 母亲阿黛拉伊德是个受过良好教育的女性,精通拉丁文,亲自承担了儿子幼年的启蒙教育。她教伽罗华读古典文学,教他思考,也教他用语言清晰地表达自己的想法。后来的人们在阅读伽罗华的数学手稿时,总是惊叹于那种独特的表达方式——那些即便在推导数学公式时也带着某种激情与雄辩气息的文字——那种气质,一半来自他母亲的熏陶,另一半则是他自己性格的自然流露。 然而在伽罗华十二岁那年,他被送进了巴黎路易大帝中学。这是当时法国最声望卓著的学校之一,学生们大多来自上层社会,校园里弥漫着一种他日后永远无法适应的氛围:等级分明,服从权威,强调的是资格与出身,而不是思想与热忱。伽罗华在那里度过了一段不快乐的岁月。 相遇与冲撞 在路易大帝中学的前几年,伽罗华并不出众。他在文学和拉丁文课上表现尚可,但总体来说只是个普通的学生。真正的转变发生在他十五岁那年,当他第一次接触到数学——不是那种中规中矩的算术练习,而是真正的数学,带有抽象之美和逻辑之力的那种。他拿到了勒让德的《几何学原理》,按照正常的教学进度,这本书应该被分成几个学期慢慢消化,伽罗华用两天读完了它。这并非传说的夸张,他的老师们留下的记录显示,伽罗华在数学上的进步速度之快,令他们既惊讶又困惑——有时候是惊叹,更多时候是困惑,因为这个学生的思维方式与课堂上要求的方式完全不同。他不按照规定的步骤推导,他直接看见答案,然后再倒过来把过程补上。这在考试中是个问题:老师们不理解他的解题过程,认为他跳步太多,不够规范,常常给出比他应得的更低的分数。 伽罗华第一次报考巴黎综合理工学院,落榜了。那是一所当时法国最顶尖的理工学校,是每一位有才华的年轻数学家梦寐以求的地方。落榜的原因众说纷纭,但有一个细节被记录下来:在口试中,考官要求他按照步骤解释某道题目的推导过程,伽罗华无法忍受这种繁琐,在中途直接拿起黑板擦,将考官的推导全部抹去,重新用他自己的方式写了一遍。这个故事或许有所夸张,但伽罗华的性格却是确凿无疑的:他的才华与他的脾气以同等的比例生长,他对平庸的忍耐度几乎为零,对权威的服从意愿同样为零。 一个父亲的死与一段仇恨的开始 1827年,伽罗华的父亲尼古拉遭到政治陷害。保守派的对手伪造了几首讽刺诗,冠以他的名字散布出去,使他在镇上声名扫地,最终在巨大的羞辱与压力下精神崩溃,自杀身亡。这一年,伽罗华十六岁。 父亲的死在他心里刻下了一道深深的伤口,而这道伤口的轮廓,恰恰勾勒出了他此后对一切权威与保守势力永不消退的仇恨。他亲眼看见,一个正直的人可以被体制和谎言以最卑鄙的方式消灭;他亲身经历了那种无力感——才华与正直无法保护你,甚至会让你成为打击的靶子。 此后的伽罗华,在政治上越来越激进。他参加共和派的集会,结交革命人士,在公开场合发表煽动性的言论。他不再只是一个数学天才,他成为了一个燃烧着双重火焰的年轻人:一团是对方程与对称的激情,另一团是对压迫与不公的怒火。这两团火焰在他体内并不互相干扰,它们烧的是同一种柴——那种渴望打破现有秩序、看见世界本来面目的执念。 就在这段岁月里,伽罗华的数学思想也在以惊人的速度成熟。他开始思考那个阿贝尔已经部分解答过的问题:五次及更高次方程的根式可解性。但伽罗华的切入角度与阿贝尔截然不同。阿贝尔证明了一般的五次方程不可解,用的是否定性的论证:路不通。伽罗华则要做一件更宏大的事情:他要建立一套语言,让人能够一眼看清,对于任何一个具体的方程,路究竟通不通,以及为什么通或不通。 他注意到,一个方程的根之间存在着一种微妙的对称性。把根互相置换,方程的某些性质保持不变,某些则发生改变。这些置换不是杂乱的,它们形成一种有内在结构的集合——可以把两个置换"合成"得到第三个,这种合成满足一系列规律。伽罗华把这个集合称为方程的"群”。这个词——群——在今天是每一个数学系学生在大一就会学到的概念,但在1830年,它还不存在于任何数学词典里。伽罗华不是在套用已有的概念,他是在创造一种全新的语言,用这种语言去描述一个从未被如此清晰描述过的现象。 他将自己的论文提交给法国科学院,经由著名数学家泊松审阅。泊松的评语简短而刻薄:论文"既难以理解,又无法验证”,建议作者"将论证展开得更为充分后再行提交"。这份退稿,成了伽罗华生命中另一道深深的伤口。多年以后,当数学家们终于理解了那篇论文时,他们重读泊松的评语,忍不住陷入那种历史特有的悲哀:一个时代的局限,使得一位严谨的学者错过了他有生之年所见过的最重要的数学文献。 铁窗内外的数学 伽罗华因政治活动先后两度入狱。第一次是1831年,他在一场共和派的宴会上举杯高呼,被指控以威胁性言论危害国王安全,收监数月。第二次是同年稍后,又因在政治示威中持枪上街被再度逮捕,在圣佩拉日监狱关押了将近一年。 在监狱里,伽罗华并未停止写作。他的狱友后来回忆说,这个年轻人几乎总是伏在一张小桌子上,在粗糙的纸张上飞快地写着什么,有时写到凌晨,有时从天亮写到天黑。同牢的犯人们大多不知道那些密密麻麻的符号是什么,但他们记得他写完之后的样子:有时眉头舒展,带着一种安静的满足;有时皱着眉,把纸揉成一团扔到角落,然后重新开始。就在铁窗之内,伽罗华将他关于群与方程可解性的思想推进到了接近完整的程度。那个他试图向泊松解释却未能成功的理论,在牢房里的沉默与单调中,一点一点打磨成形。他是少有的那种越被压迫越清醒的人。 决斗前夜 1832年5月29日,伽罗华获释出狱后不久,在某个至今仍未完全明了的场合,他接受了一场决斗的挑战。 ...

July 18, 2026

《数学的故事》第十五章:牛顿与莱布尼茨——世纪之争

“我不知道世人怎样看我,可我自己认为,我好像只是一个在海边玩耍的孩子,不时为拾到比通常更光滑的石子或更美丽的贝壳而欢欣,而展现在我面前的是完全未被探明的真理之海。” ——艾萨克·牛顿 “我有如此多的想法,以至于如果有一天,比我更有洞察力的人深入地研究这些想法,并把他们卓越的才智与我的劳动结合起来, 那么它们也许迟早会有些用处。” ——戈特弗里德·威廉·莱布尼茨 微积分是数学史的"第二次巅峰",这并非某一个人独自竖起的旗帜,而是两位学者在不同的路径上,几乎同时抵达了同一片此前无人涉足的领域——“变化"的王国。只是一位来得更早,却也更为沉默;另一位来得稍晚,却更善于把这条路铺成一条众人皆可通行的大道。 然而,正是在这里,出现了一场颇具悲剧色彩的争执:当一项发明的意义大到足以改变整个时代的知识版图,它便不再仅仅是思想本身的结晶,还会牵动名誉、国家的荣誉、学会的权威,乃至整个时代的情绪。于是,数学这门原本最讲求冷静的学问,在十七世纪末到十八世纪初,却上演了一场颇为激烈的争论:往来的书信成了交锋的工具,符号的选择成了阵营的标志,英国皇家学会与法国科学院背后各自牵动着两国的骄傲与猜忌。欧洲最杰出的一批学者,一度把"谁先谁后"“该由谁署名"“发明权归于何处"这类问题,看得几乎和"真理本身"同等重要。这一章要讲述的,正是这两位伟大数学家,以及他们之间那场关于微积分归属权的世纪之争。 一、自然之子:牛顿 牛顿的一生,走的是一条从沉默逐渐通向秩序的道路:他把纷繁复杂的自然现象,逼问到必须给出明确规则的地步,把人类对世界的好奇心,从传说与权威的手中,重新交回给可以被检验、被推演的理性。此后的人们才逐渐建立起这样一种信念:世界并非全然任性,它自有其内在的脊梁——而这段历史,恰恰可以从他早年的经历讲起。 童年与乡间 牛顿出生于英格兰乡间,出生时属于早产,体质相当孱弱。父亲在他出生之前便已去世,母亲此后改嫁,把他留在外祖母身边抚养。这段童年经历,并非只是传记开篇惯常使用的煽情桥段,它实际上构成了牛顿性格的重要底色:冷静、坚韧、耐久,也颇为倔强。 乡村生活并不能提供太多正式的知识教育,却提供了另一种同样重要的资源:大段不受打扰的时间。据后世记载,牛顿童年时期并不特别热衷与同伴嬉戏,而更喜欢独自摆弄各类小型机关,制作风车、日晷,以及各种简单的机械装置。这些活动在旁人看来,或许只是一个聪明孩子的消遣,但对牛顿而言,它们更接近一种早期的训练:训练自己以专注而持久的方式与具体事物相处,不依赖热闹的环境,也不依赖旁人的夸奖,而只是把一个问题持续地思考下去,直到得出结果。 他此后被送入学校就读,最初的学业成绩并不突出,据传还曾受到同学的欺负。相传他在一次冲突之后受到刺激,转而发奋读书,成绩逐渐提升,最终名列前茅。这类记载的细节未必完全可靠,却与牛顿此后展现出的性格颇为吻合:他并非那种一开始便显露出耀眼天赋的人物,而更像一块埋藏于地下的矿石,外表并不起眼,内里却蕴藏着极大的能量,一旦被激发,便难以轻易熄灭。 后世常常乐于讲述"苹果落地"这一广为流传的故事,因为它简单易懂,近乎一则寓言;但真正值得关注的,并非苹果本身,而是一个年轻人逐渐意识到:这个世界并非由某种神秘而任性的力量所主宰,它很可能存在一套可以被计算、被推演、被证明的内在秩序。牛顿最初并不清楚自己将要从事怎样的事业,他只是很早便养成了一种习惯:对"自己尚未理解的事物"保持一种近乎羞愧的不安,同时又对"弄清楚它"这件事,保持着极大的耐心。 剑桥与瘟疫年 牛顿进入剑桥大学就读时,家境并不宽裕,他曾以"减费生”(sizar)的身份入学,需要通过为其他学生提供服务来补贴自己的学费与生活费用。这段经历本身并不浪漫:一个沉默寡言、衣着朴素的年轻人,穿梭于学院的石墙与他人的餐桌之间,内心却持续思索着一系列重大的问题——但正是这样一种朴素、甚至略显卑微的处境,往往孕育着真正深刻的思想变革。 当时的剑桥,在教学上仍然沿用亚里士多德体系的旧有框架,但新的思想已经从欧洲大陆逐渐传入:笛卡尔、伽利略、开普勒等人的学说,如同一阵冷风,悄然吹动着这座古老学府的门窗。牛顿并未像许多同龄的年轻学者那样急于站队,而更接近一位系统的整理者:只要某种观点中蕴含着可以利用的方法,他便加以吸收;只要某种论证中存在明显的漏洞,他便紧紧抓住不放。他读书的目的,并非为了积累博学的名声,而是为了把复杂的问题层层拆解。他拆解得最为彻底的一个问题,正是"运动”:人们说物体在运动,但"运动"这一现象究竟该如何写入数学的语言之中?此前的几何学擅长描绘图形的轮廓,却难以准确地表达"此刻的运动速度有多快”,也难以预测"下一刻将会如何变化"。它更像一套只擅长勾勒边界的画笔,却缺少一把能够真正测量速度的尺子。 1665年,鼠疫在英格兰蔓延,剑桥大学因此关闭,学生们各自返回家乡。对多数人而言,这两年近乎学业生涯中的一段空白期;但对牛顿而言,这段时间却成为他学术生涯中极为关键的阶段。他返回位于伍尔索普的家中,独自一人,凭借一张书桌与有限的几本书籍,持续进行深入的思考。这两年间,他完成了此后被称为奇迹年的几项重要工作:他把关于运动的思考,整理成了可以系统推演的规则;他也在光学领域投入大量精力,把太阳光分解为不同的颜色,又尝试把这些颜色重新合成为白光。而其中意义最为深远的一项工作,是他在这段时间里发展出了一种全新的运算方法——他开始借助"无穷小"这一思路,去把握变化本身。 牛顿把那些随时间持续变化的量称为"流量",把这些量变化的速率称为"流率"。这一术语听起来颇为专业,其实原理相当朴素:物体的位置在持续变化,速度在持续变化,曲线的高度在持续变化,天体之间的距离也在持续变化。既然世间万物都处于持续的变化之中,便需要一种方法,能够在"几乎不存在的极短瞬间"里,准确地把握这种变化——这正是他早期微分思想的核心:不必等待一段完整的时间过去之后再进行计算,而是逼近到某一具体的瞬间,观察该处究竟发生了怎样的变化。与此同时,他也意识到,若能把无数个"极小的变化"逐一累积起来,便能够从"瞬间的变化率",重新还原出"整体的结果"——这正是积分思想最初的雏形:把细小的部分累加为完整的整体,把持续的流动收束为确定的总量。 更为关键的是,这两方面的思路在他手中很快便相互衔接:从一条曲线在某一瞬间的倾斜程度出发,能够推导出这条曲线整体的形态;反过来,从某一整体的累积结果出发,也能够反推出其中某一瞬间的具体变化速率。他当时尚未给这套方法赋予后世教科书中那样正式的名称,但已经把握住了这套方法的核心思路。可以说,鼠疫流行的这两年,并非仅仅是他躲避灾祸的一段空档期,而更像是为他提供了一段不受外界打扰的宝贵时光,使他得以系统地把握住"变化"这一此前难以驾驭的研究对象。 疫情结束后,牛顿返回剑桥,不久便被任命为卢卡斯数学教授。这一教职此后曾由多位杰出学者担任,但牛顿的任职,赋予了这一职位一种象征意义:从此以后,数学不再仅仅是几何学家的一种雅致的智力活动,而将成为自然哲学得以运转的重要引擎——它不仅用于描述这个世界,也将进一步用于推动对这个世界的理解与预测。因为他此时所带回剑桥的,不仅仅是几页手稿,更是一整套全新的研究方法:借助微积分的视角来观察自然界——在瞬间之中捕捉规律,在累积之中把握法则。此后,他在《原理》一书中,把天体运行与地面物体的运动统一在同一条引力定律之下,这一成就在表面上,呈现为几何学的胜利,但支撑这一成就的背后,早已是他在伍尔索普那段时期所锻造出来的这把关键工具。 光学与《自然哲学的数学原理》 牛顿的研究并未止步于运动与力学,他还格外关注光学问题——因为光学现象中,往往存在着许多容易令人产生误解的表象。阳光照射在地面上,人们通常习惯性地认为它"天然呈现白色";牛顿却把阳光引入暗室之中,借助一块三棱镜将其分解,结果发现白光之中,实际隐藏着一系列具有各自特征的色光,这些色光此后不再能够被进一步分解为更细小的成分。旁人看到彩虹时,往往只是单纯地欣赏其美丽,而牛顿所看到的,则是一种可供验证的证据:光并非某种笼统而神秘的"纯白"存在,而是由多种不同性质的光线混合而成的结果。基于这一发现,他还设计并制作出反射式望远镜,摒弃了传统透镜折射所带来的色差问题——这体现出他作为研究者的一个重要特质:他的理论从不停留在纯粹的思辨层面,而必须落实为可以实际验证、可以直接应用的具体成果。此后,他把这些实验结果系统整理,撰写成《光学》一书,将各项实验依次记录,如同为光学现象建立起一份严谨的档案。 牛顿的研究野心,并未止步于对单一光线性质的探究,他更为宏大的目标,是理解整个宇宙运动的规律。十七世纪的欧洲,已经积累了不少重要的科学发现:伽利略对地面物体的落体运动与惯性原理有着深入的研究,开普勒则对天体的运行轨道有着精确的描述,但地面现象与天体现象,长期以来被视为遵循着各自不同的规律。牛顿完成了一项极具突破性的工作:他把这两个领域,统一在同一套数学法则之下。 由此,《自然哲学的数学原理》一书应运而生——这部著作并非以浪漫的笔调写就,而更接近一座扎实的桥梁:阅读起来颇为费力,却真正把地面与天体这两个此前分属不同领域的研究对象连接了起来。书中提出的运动三大定律,如同坚固的钉子,把"力"与"运动"之间的关系,固定为一套可以系统推演的结构;万有引力定律,则如同一条无形的绳索,把苹果的下落与月球绕地球运行这两种看似毫不相关的现象联系在一起——这种联系并非依靠诗意的想象,而是依靠严谨的数学推导。更重要的是,他并非仅仅"猜测"存在这样一种引力,而是把它转化为一套具体的数学表达,能够据此计算出行星运行的椭圆轨道,能够解释潮汐现象的成因,也能够用于追踪彗星的运行轨迹:自然界的运行规律,第一次呈现出如同一部可以被系统推导的法典一般的面貌,人们不必再诉诸神谕,而可以借助严密的推理来理解世界。 在撰写《原理》的过程中,牛顿的性格特点也在这一过程中充分展现出来:敏感、固执、争强好胜,同时又极为担心自己的成果被他人抢先发表。他曾与胡克就光学问题产生过争执,也曾在引力理论的相关问题上受到刺激;而哈雷则以一种颇为执着的态度,把长期把研究成果留存于私人笔记、不愿轻易公开的牛顿,推向了公开发表这一步——牛顿常常习惯把已经完成的研究成果收藏起来,而哈雷则促成了这些成果最终得以问世。此书出版之后,欧洲的自然哲学研究,由此获得了全新的理论基础:科学不再仅仅停留于对现象的"描述",而进一步具备了"预测"的能力;不再仅仅依靠逻辑上的说理,而能够依靠具体的计算得出结论。 权力与晚年 此后的牛顿,其人生轨迹也颇具戏剧性的反差:这位早年曾在学院中以服务他人换取学费的青年,晚年出任皇家造币厂的重要职务,负责货币管理与打击伪币,其严谨审慎的态度,如同他此前审视自然规律时一般,同样体现在对人事的处理之中;他此后又当选为皇家学会会长,成为伦敦学术权力体系的核心人物,并被封为爵士,跻身英国社会体制之内的重要地位。但地位越高,其性格中的争议部分,也愈发显现——尤其是在与莱布尼茨围绕微积分优先权展开的争执中,牛顿那种不愿与他人并列、务求独占荣誉的性格特点,把原本属于学术层面的讨论,逐渐演变为带有阵营色彩的对立。由此可以看出一个颇具意味的事实:牛顿能够把天体的运行规律计算得极为精确,却常常难以同样精确地权衡人心与名誉所带来的复杂代价。 不过,历史对牛顿的评价,最终仍相对公允,因为历史往往并不特别在意个人性格上的种种局限,而更看重一个人最终留给后世的具体成果。牛顿使光学研究学会了依靠严谨的实验证据说话,使自然哲学学会了借助数学语言来确立规律,使《原理》一书把天体与地面的运动,统一记载于同一套理论体系之中。此后数百年间,工程师依靠他所建立的运动定律修筑桥梁、建造船只、设计机械;天文学家依靠他所提出的引力理论计算天体轨道、发现新的行星;每一位相信"这个世界是可以被计算的"的研究者,实际上都在不同程度上,延续着牛顿当年所点亮的那盏冷静而坚定的明灯——它并不喧闹,却能够照亮极为深远的领域。 二、博学通才:莱布尼茨 莱布尼茨从未把自己局限在某一间实验室之中,也从未把一生的精力,仅仅投入到单一的研究方向。他撰写哲学著作,涉足政治事务,从事外交工作,研究法律与神学,同时还顺带发明了一套此后支撑整个近代科学得以顺利运转的符号体系。若仅仅把他视为"微积分的另一位发明者",便如同在博物馆中只专注凝视一把钥匙的外观,却忽略了它实际所能开启的,是一整座城市的大门。他真正引人瞩目之处,在于一种近乎理想主义的宏大抱负:他希望为人类创造出一种共同的语言,使各类争论能够有所减少,使推理的过程,能够如同算术运算一样可靠,也使思想本身,能够如同精密的机械一般有序运转。 图书馆里的少年 莱布尼茨出生于莱比锡,父亲是当地大学的教授,家中藏书颇为丰富。但命运很早便给了他一次沉重的提醒:父亲在他年幼时便已去世。对许多孩子而言,这类经历往往意味着失去重要的依靠;而对莱布尼茨而言,这也意味着获得了一种特殊的自由——他得以自由出入家中庞大的藏书之中,不受既定顺序与固定路径的限制,自主探索各类知识领域。 他很早便养成了一种独特的习惯:把书籍当作可以与之对话的对象来看待。对多数孩子而言,阅读往往只是为了记诵;而对莱布尼茨而言,阅读则意味着持续的追问:作者为何如此表述?其立论的依据何在?这一表达是否可以用另一种更清晰、更不容易产生误解的方式重新呈现?据后世记载,他少年时便能够依靠插图与版式来推测拉丁文的大意——这并非单纯的神童轶事,而更接近他此后一生治学方式的缩影:他天生对"表达的形式"极为敏感,并始终相信,表达的形式,往往在相当程度上决定着思想能否被准确理解与传播。 当时的欧洲学术界,如同一座多层的老式建筑:底层依然保留着亚里士多德体系的旧有框架,而楼上则已经吹进了新的思潮——笛卡尔、伽利略、开普勒、培根等人的学说,各自呼唤着知识体系的更新。年轻的莱布尼茨并未像许多同龄学者那样急于选边站队,而更接近一位系统的整理者:他既不主张全盘抛弃旧有的知识框架,也不主张对新兴学说不加甄别地全盘接受,而只关注一个核心问题——能否把各类分散的知识,纳入同一套更为清晰的规则之中,加以系统的归类与整理? 这一追求初看近似于图书管理员式的兴趣所在,但这种"归档"的意愿,实际上正是推动文明持续积累与进步的重要力量之一。若缺乏系统的分类、索引与统一的记号体系,知识往往只能以零散、口耳相传的方式流传;而一旦具备了这些工具,知识便能够被持续地积累、传承与拓展。莱布尼茨的童年与少年时期,正是在浩瀚的书籍之中,不断锻炼这种"化纷乱为秩序"的能力。 游历中的学者 莱布尼茨的学术生涯,并未沿着一条纯粹的学术道路展开。他曾学习法律,进入官署任职,担任顾问,撰写各类备忘录,处理现实政治与宗教冲突相关的具体事务。这类经历看似与数学研究相距甚远,实则关系密切——他因此长期处于持续的往来奔波之中。相较于终日埋首于书斋的学者,长期在不同地域、不同机构之间往来的经历,反而使他更容易察觉到:这个世界并非以单一线性的方式运转,而更接近一张复杂的网络,网络中的每一个节点,都各自拥有独特的语言、习俗、利益与偏见。若希望知识能够真正在不同节点之间顺畅流通,就必须使"表达方式"本身足够精确、足够精巧,从而能够跨越这些节点之间原本存在的障碍。 他曾在巴黎生活过一段时间,期间结识了当时一流的数学家与物理学家,并曾受到惠更斯等重要学者的指点。巴黎对他而言,并非一座单纯用以游历的城市,而更接近一处大型的知识工坊:新的数学方法、新的物理理论、新的科学仪器、新的学术争论,都在这里持续涌现。此后他又前往伦敦,接触到皇家学会的学术圈子,进一步了解到英国学界那种格外强调依靠实验与计算来支撑论证的研究风格。莱布尼茨如同一位善于学习的旅行者,每到一处,便留意汲取当地最具价值的方法与工具:在此处学习一套具体的运算方法,在彼处记录一套精巧的符号体系;今日聆听一场学术辩论,明日便着手把其中的核心论证,改写得更加简洁清晰。 在政治事务与学术研究之间不断往返,对许多人而言,或许会分散精力,但莱布尼茨却把这种经历,转化为自身独特的优势。他不像牛顿那样,长期专注于某一个具体的研究方向,而更接近一个具备高度整合能力的枢纽:只要某种思想具备价值,他便设法将其纳入自己的知识体系之中;一旦纳入,他便进一步尝试把这些原本分散的思想相互对接、融会贯通。在他身上,能够看到一种颇具现代意味的治学气质:注重跨领域的融合,注重系统性的建构,也格外重视标准化的表达方式。这并非浅尝辄止的兴趣广泛,而正是他真正的学术抱负所在——他所希望完成的,并不仅仅是解决某一个具体的难题,而是发明出一套能够普遍适用于解决各类难题的通用方法。 莱布尼茨深刻地认识到:天文学的研究需要处理天体轨道的持续变化,力学的研究需要处理速度与加速度的关系,几何学的研究需要处理曲线的弯曲程度,工程实践则需要处理各类持续累积的过程……种种现实需求,共同促使数学必须发展出一套全新的处理方式。而莱布尼茨的独特之处在于:他不仅致力于建立这样一套方法,还格外重视为这套方法赋予恰当的名称,设计出简洁实用的符号体系,从而使它能够在整个欧洲的学术共同体中迅速地被理解与传播。 独立创立微积分 微积分的意义,并非仅仅是对既有数学体系的进一步深化,而是把数学研究的疆域,向此前长期难以驾驭的一个领域推进:连续变化。这个世界中最为常见的现象,恰恰正是持续的变化:水流的运动并非以离散的方式跳跃前进,光线的传播并非分段完成,物体的速度也并非每隔一秒才发生一次跳变,曲线的形态更不是由一段段直线简单拼接而成。然而在微积分诞生之前,人们处理这类持续变化的现象时,往往如同隔着一层薄雾观察远山:虽然能够意识到它的存在,却难以精确地把握它在某一瞬间的具体状态,以及由此累积而成的整体结果。 莱布尼茨在这一领域的贡献,体现在两个层面:一是思想层面的贡献,二是符号表达层面的贡献。在思想层面,他同样敏锐地意识到一个关键之处:若能够找到一种方式来准确描述"此刻的变化速率究竟有多快",再借助另一种方式,把无数个"此刻"的变化累积起来,便能够把持续变化的世界,转化为可以进行系统计算的具体对象。但仅有这一思想层面的洞察尚且不够——若缺乏一套便于书写、便于阅读、也便于教学的符号体系,这一思想的传播便会相对缓慢,容易在传播过程中产生误解,后续的研究者也容易在相同的问题上反复遇到困难。 因此,他完成了一项极为聪明、也极为务实的工作:他设计了一套简洁的符号,用以表示"极小的变化量"。他采用一个小写字母"d",来表示某个量所发生的微小增量;又采用一个形似拉长字母"S"的符号,来表示"把无数个微小的量累加起来"这一操作。这两个符号,看起来极为简洁,几乎近乎随意,却如同两把趁手的工具:任何掌握它们的人,都会自然而然地愿意借助它们继续深入研究下去。此后的数学家与物理学家,大多沿用了这套符号体系,这并非出于对莱布尼茨本人的推崇,而是因为这套符号体系确实极为实用:它把复杂的推理过程,压缩为清晰明了的书写形式,使得研究者更容易检查其中可能存在的错误,也更容易把既有的方法,迁移应用到新的问题之中。 莱布尼茨最为突出的才能之一,体现在他善于"替他人节省精力"这一点上。牛顿的"流数"思想及其背后所依托的力学直觉,极为深刻,但其表达方式,更接近个人的研究笔记,不易被他人直接理解与沿用;而莱布尼茨则更接近一位致力于公共建设的工程师,努力修筑出一条众人皆可通行的道路。微积分之所以能够在欧洲大陆迅速开花结果,很大程度上得益于这条"道路"修筑得足够平整:符号体系一旦趋于稳定,相应的教学工作便能够稳定地开展;教学工作稳定,相关的研究人才便能够持续培养;研究人才不断积累,微积分的实际应用范围,便随之迅速扩展。 微积分的贡献,使莱布尼茨在数学史上占据了极为重要的地位,但他的学术抱负,远不止于此。他对"计算"这一活动本身抱有浓厚的兴趣——这并非因为他单纯热衷于解题,而是因为他坚信:人类社会中的许多争执,其根源往往并非源自恶意,而是源自表达与理解上的混乱;若能够使推理的过程,变得如同核对账目一样清晰可查,许多争执便有可能因此得以自然化解。基于这一信念,他提出了一个近乎理想主义的设想:与其持续争论,不如借助严谨的计算来寻求共识。 这一设想背后,是他一生反复探索的一项宏大计划:构建一种"普遍文字",一套能够对各类概念进行拆解、组合与运算的符号体系。这一构想,既可以被理解为一种哲学层面的宏愿,也可以被视为对此后计算机时代的某种预示:把推理的过程加以形式化处理,把各类概念转化为特定的编码,把复杂的问题,转化为一系列可以具体操作的步骤。莱布尼茨当然并不具备现代逻辑学与计算理论那样完备的工具体系,但他已经敏锐地察觉到:符号并非单纯的装饰,而是构成整套思维机器的重要组成部分。 算术机与二进制 正因如此,他对机械计算装置的研究,也投入了相当的精力。他曾设计出能够完成更为复杂运算的计算器,试图借助齿轮装置,替代人类完成大量重复性的计算工作。今天看来,这类装置往往显得较为笨重,操作也不够便捷,容易出现故障;但在当时的历史条件下,“让机器来完成计算"这一构想本身,便已经是对既有世界观的一种挑战——它意味着:计算并非某种神秘不可分解的活动,而是可以被拆解为一系列具体的操作步骤;这些步骤又可以被固化为特定的机械结构;而这些结构,则可以交由铁与铜制成的装置来加以执行。这一构想一旦确立,人类便逐渐开始设想更为复杂的机械装置、更大规模的自动化流程,以及更为广泛的、可以被复制的理性运算能力。此后工业革命中机械运转的轰鸣声里,某种程度上,也回响着莱布尼茨当年的构想。 此外还需提及二进制。莱布尼茨对借助"0"与"1"这两个基本符号来表达一切数字的体系,表现出极为浓厚的兴趣。他不仅把这一体系视为一种数学层面的探索,还试图赋予其哲学层面的意义:即从"无"与"有"这两个最基本的状态出发,构建出整个世界的秩序。这一构想固然带有那个时代特有的形而上学色彩,但值得注意的是:今天广泛使用的电子计算机,其运行原理,正是依靠"开"与"关"这两种基本状态来实现各类复杂的运算。莱布尼茨自然无法预见此后晶体管与集成电路的发展,但他确实敏锐地把握到了一个朴素而重要的事实:极为复杂的系统,完全可以由极其有限的几种基本状态,通过不同的组合方式构建而成。这也正是现代信息技术最为核心的观念之一。 由此可以看出,莱布尼茨如同一位提前投入工作的"未来会计”:他并不满足于解决某一道具体的题目,而更希望能够制定出一套通用的账簿格式;他并不满足于完成某一次具体的推理,而更希望能够发明出用于完成推理的通用机器。牛顿为人类揭示了自然界运行所遵循的定律,而莱布尼茨则始终在追问:人类应当运用怎样的语言,才能更为稳定、更为系统地把握并传承这些定律?一位专注于世界本身如何运转,另一位则专注于人类应当如何思考、如何记录——这两方面的贡献,恰好构成了彼此互补的重要组成部分。 三、世纪之争:微积分发明权 历史学家普遍认可,微积分的发明,几乎是在英国与欧洲大陆同时发生的:牛顿在更早的年份中,便已经具备了微积分的关键思想,但他长期未曾正式公开这些成果;莱布尼茨虽然接触相关问题的时间稍晚,却较早正式发表了自己的研究成果,并借助一套自行设计的符号体系,把这些成果表达得清晰而系统。此后,围绕"究竟谁先提出这一发现"这一问题所展开的争执,逐渐演变为一场持续整个世纪的学术风波:英国学界普遍维护牛顿的地位,欧洲大陆学界则普遍支持莱布尼茨,这场争论之中,还夹杂着浓厚的民族情绪、学术权威的较量、个人名誉的得失,乃至各类学会内部的权力博弈。 1708年,英国学者约翰·基尔公开指控莱布尼茨"窃取"了牛顿的流数法研究成果。这一指控,如同一根点燃的火柴,迅速引发了持续多年的学术争议:此前长期保持沉默的牛顿,此时开始意识到,自己不仅可能被他人抢占了应有的学术功绩,甚至连自身的诚信,也受到了公开的质疑;而莱布尼茨则认为这一指控极不合理——他固然曾经阅读过牛顿的部分通信内容与零星论述,但仅凭这些有限的接触,实难被视为"抄袭"的确凿证据。 这场争论中最为微妙、也最为不体面的一幕,出现在此后所谓的"裁决"过程之中。英国皇家学会为此专门成立了一个委员会,负责对这一争议作出裁定,但当时牛顿本人正担任该学会的会长——也就是说,在这场争议之中,最具权威与影响力的人物,同时兼具"当事一方"与"最终裁决者"这两重身份。1712年前后,皇家学会整理并出版了一份题为《通信集》的报告,将相关的往来书信与各项证据汇编成册,作为这场争议的正式"裁决文件";而这份报告的实际撰写工作,很大程度上,正是由牛顿本人主导完成的。这一处理方式,颇能体现当时英国学界的处理风格:整个程序表面上极为庄重,最终形成的文件也相当详尽,所得出的结论也十分明确——但后世的研究者,仍不免对这一过程的公正性提出质疑,认为若能让当事的另一方也有机会陈述意见,或许更接近一场真正意义上的公正裁决。此后,也确有研究者指出,整个裁决过程,从一开始便明显偏向牛顿一方。 这场争议并不仅仅局限于两位学者之间的个人恩怨,而是迅速演变为带有明显阵营色彩的学术对立:英国学界坚持沿用牛顿所建立的"流数"这一套本国的表述体系,把莱布尼茨所使用的"d"记号与积分符号,视为某种"外来阵营"的标志。牛顿在《原理》一书中,本就偏好采用几何式的表达方式,这使得微积分的具体运算方法,在书中并未被充分展现;争议进一步激化之后,英国数学界更趋于固守牛顿所奠定的几何学与流数传统,由此出现了一种颇为尴尬的局面:牛顿本人固然拥有大量的追随者与崇拜者,却难以持续培养出一批能够运用同一套新兴分析方法,继续推进相关研究的后继学者。再加上与欧洲大陆同行之间的关系,因这场争议而逐渐恶化,学术交流也随之趋冷,整个十八世纪期间,英国数学界在"分析"这一方向上的发展,相对而言,显得较为迟滞。 相较而言,法国以及欧洲大陆的学界,则更倾向于公开的学术讨论、符号体系的持续改进,以及研究成果的广泛传播。莱布尼茨所设计的符号体系简洁而灵活,便于在教学、学术交流与理论拓展等各个方面加以运用。1696年,法国学者洛必达出版了《无穷小分析》一书,被普遍视为第一部系统讲授"微分法"的教材,这部著作明确采用了莱布尼茨的符号体系——这也意味着,这套符号体系已经进一步转化为正式的教材内容、稳定的课堂教学方式,以及学界普遍使用的通行表达。此后,约翰·伯努利与雅各布·伯努利兄弟等欧洲大陆的杰出学者,很快便把莱布尼茨式的微积分方法,锤炼成一套极为精密而实用的研究工具,广泛应用于解决曲线问题、极值问题、变分问题,以及各类微分方程问题。他们如同一批充满热情的工匠,在同一套基础工具之上,不断添加新的研究内容与应用方向。 这两条不同的发展路径,最终导致了截然不同的结果:欧洲大陆的数学研究,如同装配上了全新的动力装置,发展速度显著加快;而英国数学界,则由于优先权争议的持续影响,以及固守本国符号体系所带来的相对孤立局面,在相当长的一段时间内,与欧洲大陆的学术进展之间,出现了一定程度的隔阂。这并非完全归咎于牛顿个人的过失,而更应视为这场争议所带来的连锁反应:一旦某种符号体系被赋予了阵营色彩,便很难再客观地承认对方所使用的方法可能更为便利——即便这一方法在实际应用中,确实展现出更高的效率。 回顾这场持续整个世纪的争议,其中颇具讽刺意味的一点在于:这场争议所争论的核心,是"究竟谁先提出这一发现",而文明的实际发展,真正需要的,却是"哪一种方法能够被更广泛、更便捷地传承下去"。英国学界在名誉层面,坚定地维护了牛顿的历史地位;而法国及欧洲大陆学界,则在具体的研究工具层面,积极采纳了莱布尼茨所设计的符号体系。前者近似于珍视并守护一件传承已久的传家宝物,后者则近似于把一套更为先进的研究工具,广泛地配发给整个学术共同体。历史或许并不会明确评判孰高孰低,但它确实以事实证明:符号体系与学术交流的开放程度,能够切实影响一个国家在数学研究领域的发展速度。 四、天才的晚年:胜利者与远行者 历史往往会呈现出令人深思的对照。 牛顿在英国晚年获得了几乎毫无争议的崇高声誉。他不仅被视为科学领域的杰出人物,也逐渐成为整个国家的象征。他在英国的权力体系中,占据了相当重要的地位:无论是学会内部的地位、社会公众的声望,还是此后在造币系统中所担任的职务(英国皇家造币厂),都使他从一位早年略显孤僻的学者,转变为具有广泛公共影响力的国家人物。但若细究他的性格特点,则不难发现,他未必真正从这种崇高的地位中获得了内心的安定:他更接近一位始终保持高度紧绷状态的人,即便获得了外界所公认的成功,也难以真正放松下来,反而会因此更加警觉——因为声望的提升,往往意味着更多的关注与审视,也意味着必须持续证明自己配得上这份崇高的敬意。 莱布尼茨则在晚年经历了一段相对凄凉的时期。这场持续多年的学术争议,如同一层挥之不去的阴影,长期笼罩着他,许多本可用于学术研究的时间与精力,被迫消耗在为自己辩护的过程之中。他在汉诺威宫廷的日常事务与个人的学术计划之间往返奔波,同时承担着学者、外交人员与宫廷史官等多重身份。他去世之时,场面颇为冷清——那位曾经把整个欧洲的知识网络紧密串联起来的学者,最终离世之际,却并未引起太多人的关注。莱布尼茨真正的成就,并不在于他在世时获得了怎样的荣誉,而在于他所留下的这套研究工具,此后被持续、广泛地沿用:微积分的符号体系,逐渐成为科学界通用的表达语言;“把推理转化为可计算的形式"这一构想,此后在逻辑学、计算理论与编程语言等诸多领域,一次又一次地得到回响;二进制,更是成为此后整个信息时代的基础。今天翻开任何一部现代科学的教材,看到其中那些熟悉的符号与流畅的推导方式,都在某种意义上,印证着莱布尼茨当年确实提前把部分未来,写在了纸面之上。 这并不意味着这场争议就此得出了明确的是非定论,而更提醒后人:在知识发展的历史进程中,围绕优先权所展开的争夺,常常如同一场持续燃烧、消耗巨大的火焰。它会耗费大量宝贵的时间,损害本可维系的情谊,也削弱原本可能存在的合作机会——而这些因素,恰恰是微积分这类重大理论工具,得以进一步发展所必需的土壤。 若要追问,二人之中究竟谁的贡献更大,这一问题本身,便近似于追问"心脏与肺,究竟哪一个更为重要”。牛顿为微积分注入了物理学层面的灵魂,使这套理论方法,能够与自然界的运行规律紧密契合;莱布尼茨则为微积分构建了语言层面的躯体,使这套方法,得以顺利传播、持续发展,并最终成为整个学术界共享的公共工具。若没有牛顿,微积分或许将失去那种深刻揭示自然规律、震撼整个学界的物理内涵;若没有莱布尼茨,微积分则可能长期停留于少数学者所掌握的私人技艺,难以迅速转化为整个欧洲学界共同拥有的知识财富。

July 9, 2026

《数学的故事》第十四章:微积分的诞生——人类理性的顶峰

“数是人类心智的自由创造。” —— 戴德金(Richard Dedekind) 微积分出现之前的数学,像是一座建得极其精致、却主要面向"静物"的城:广场上摆着完美的圆与三角形,石柱上刻着比例与公理,街道笔直,建筑端正,连阴影都像被尺子量过。古希腊的数学家们把这座城修到了近乎神圣的程度——他们教会人类如何证明,如何从少数原则推出无数结论,如何在逻辑的秩序中站稳脚跟。 可到了十七世纪,这座城开始显得局促。因为世界不再像雕像那样静止不动了。炮弹飞行,钟摆摆动,船只航行,行星绕日,潮汐涨落——这些都不是"形状",而是"过程",它们每一刻都在变化,如同风、水与火焰。人们逐渐意识到:此前的数学已经能够描述"是什么",却还不擅长描述"正在变成什么"。可以给一座桥画出静态的图纸,却难以说清它在风中每一瞬间所承受的力;可以画出一条曲线,却难以说清它在某一点上究竟有多陡;可以算出一个多边形的面积,却难以说清一条弯曲边界所围出的那片土地究竟有多大。 于是,数学被时代推到了一处此前从未真正被征服的边界:连续变化。微积分正是诞生于这条边界之上。它并非简单地在原有体系上新添了一条街道,而更接近人类新获得的一种感官——从此,人类能够"触摸"变化,能够把瞬间与累积这两种此前极难把握的东西,转化为纸面上可以操作的对象。 一、两道门:一扇叫"瞬间",一扇叫"累积" 微积分诞生的开端,看似朴素:人们反复叩问着两个此前未能真正解决的问题。 第一个问题关乎"瞬间"。一辆马车在路上行驶,人们自然会说它快或慢。但"快"究竟意味着什么?若把一段路程除以所花费的时间,得到的是平均速度——这近似于一段旅程结束后的总结。但更值得追问的是:马车在某一具体的瞬间究竟有多快?它此刻是在加速还是在减速?同样的问题也出现在曲线的研究之中:一条曲线在某一点的走向是什么?它在这一点上的方向该如何确定?古人称这类问题涉及"切线"——那条与曲线仅在一点接触、却能够代表该点走向的直线。把握住切线,便近似于把握住了变化在某一瞬间所呈现的具体姿态。 第二个问题关乎"累积"。如何计算一条弯曲河岸所围出的面积,一座拱形穹顶的体积,或是一股持续变化的力推动物体所做的总功?这些都并非某一瞬间的状态,而是无数瞬间累加而成的总和。可以把一块区域切割成一条条狭窄的部分,用近似的长方形去逐一覆盖,切割得越细,逼近程度便越高;也可以把一个立体切割成薄片,逐层累加,如同将整个对象逐层剖开。但只要边界本身是弯曲的,这种逼近便始终存在细微的误差:条带再窄,也并非真正的零;切片再薄,也仍然具有厚度。真正需要的,并非一个大致准确的估计,而是一个精确无误的结果。 “瞬间"与"累积"这两个问题,如同两扇紧闭的大门,门缝中却透出同一种性质的光——无限逼近。要解决这两个问题,就必须学会处理"差一点点"这一状态,必须在"越来越小"与"越来越多"之间保持清晰的判断,必须把研究对象拆解为无数细小的部分,同时确信这些部分之和,能够准确地还原为整体。 这听起来近乎一种奇迹,但微积分真正的价值,恰恰在于它把这种看似不可能的操作,转化成了一套可以系统掌握、反复运用的方法。 二、无穷小:细如沙粒,却能堆积成山 微积分的核心思路,是一个相当大胆的设想:如果把变化切割得足够细,细到几近于无,那么在这样的尺度之下,原本复杂的对象反而会呈现出简单的一面。这便是"无穷小"这一概念的核心价值所在。 在日常的尺度上,曲线往往难以处理;但若把观察的范围缩小到极致,曲线在这一极小的范围内,看起来便几乎等同于一条直线——正如蜿蜒的山路,若只看脚下的一两步,也不过是一小段近乎笔直的路径。微积分所依靠的,正是这种"局部近似"的思路:在无限接近的尺度下,复杂的对象暂时呈现出简单的面貌,从而可以借助处理直线的工具,去处理原本属于曲线的问题,借助基础的算术,去处理原本复杂的变化。 由此,瞬时速度不再是一个模糊难解的概念,而转化为"在极短时间内所发生的极小位移"之比;切线也不再依赖图形直觉去猜测,而转化为"当两点被压缩到几乎重合时,连接这两点的直线所呈现出的最终走向”;极值的确定,也不再依靠肉眼判断曲线的最高点或最低点,而转化为"变化的方向由正转负、或由负转正"这一细微的转折点。 与此同时,面积与体积的计算,也借助无穷小的思路得到了系统化的处理:把研究的区域切割成无数条极细的窄带,把研究的立体切割成无数片极薄的切片。每一条窄带、每一片切片,其计算方式都极为简单——长乘以宽,或高乘以底。把这些简单的局部结果相加,便能得到整体的结果,如同用无数根细丝,最终织成一整块布料。 无穷小究竟是什么?它既不等同于零,也不同于一般意义上的数。若把它当作零来处理,许多相关的比值运算便无从进行;若把它当作普通的数来看待,它又小到近乎违背日常的直觉。它更像一个具有双重性质的过渡性概念:既需要借助它的存在来完成中间的推演过程,又希望在最终的结果中,把它的痕迹清除干净,只留下确定而清晰的答案。 这正是早期微积分所带有的那种带着实践气息的矛盾之处:它不像欧几里得几何那样,从一开始便建立在严密的逻辑基础之上,而更接近于在迫切的现实需求之下先行搭建起一座可以通行的桥——先让桥能够承载往来的人流,至于支撑这座桥的完整力学原理,往往要等到桥梁建成、投入使用之后,才逐渐被补充和完善。 十七世纪的学者们,大体上并不回避这种"先能实际应用、再逐步完善理论"的态度,因为当时的现实需求极为迫切:天体的运行规律有待推算,炮弹的弹道有待预测,航海的方向有待校准,机械的运转有待优化。这一切现实问题都在等待答案,而数学也必须及时作出回应。 三、两条河的秘密:微分与积分原是一对"镜像" 微积分之所以被视为一项极为重要的发现,不仅仅是因为它分别解决了切线与面积这两类问题,更在于它揭示了一个此前未曾被充分认识的事实:“瞬间变化"的运算与"累积总量"的运算,实际上互为逆运算。这一发现一经确立,此前分散的诸多研究成果,便由此获得了统一的理解框架。 设想一个人沿着一段起伏的山路行走,行进速度时快时慢。若记录他在每一时刻的具体速度,得到的是一系列"变化的信息”;若只关心他从出发点到终点总共走过的距离,得到的则是一个"累积的结果"。前者近似于一段旋律的具体走向,后者则近似于整支乐曲的总长度。微积分揭示的道理是:只要真正掌握了描述速度变化的曲线,并且懂得如何把这条曲线按微小的时间段逐步累加起来,那么总路程便不再是一个难以求解的问题;反过来,若只知道总路程随时间变化的整体规律,也同样能够从中推导出任意时刻的瞬时速度。 曲线的研究同样遵循这一逻辑:若已知曲线在每一点的陡峭程度,这属于局部的信息;若把这些"陡峭程度"逐段累加起来,便能得到曲线整体的高度变化,以及其下方所围成的面积。微积分把这两类此前被分别处理的问题联系了起来,如同为两片原本相对独立的领域架起了一座桥梁。此前,求解切线是一套方法,求解面积则是另一套方法,彼此之间并无明确的关联;而这一发现表明,二者其实处于同一个理论框架之内,只是研究的方向有所不同。 这正是微积分最为深刻的价值所在:它不仅提供了两类各自独立的运算工具,还进一步揭示出这两类工具之间存在着深层的对偶关系——一方是把整体的变化拆解为无数细小的瞬间,另一方则是把无数细小的瞬间重新累积为整体的结果;一方近似于精细的剖析,另一方则近似于系统的综合。 当这一发现被明确提出、反复验证并广泛应用之后,人类关于数学的基本直觉也随之发生了根本性的转变:不再仅仅把世界看作一系列静止的对象加以研究,而是把它理解为一连串处于持续变化中的关系;不再仅仅关注事物固定的"形态",也开始关注事物持续的"变化"本身。 更重要的是,这种关联性使许多此前长期悬而未决的问题,忽然有了新的突破口:当某一类问题的直接求解较为困难时,往往可以转而求解与之互为逆运算的另一类问题,再借助二者之间的关联,间接得到原本的答案。微积分由此为数学家提供了一种新的研究策略:当正面的路径受阻时,可以尝试从相反的方向寻找突破。 四、从"近似"到"必然":极限思想的确立 然而,任何一项重大的发现在其诞生之初,往往都带有尚未完全成熟的痕迹。早期微积分所面临的最大问题,并不在于它缺乏实用价值,恰恰相反,问题在于它显得过于灵活,乃至有些令人不安——因为它处理"无穷小"这一概念时,常常显得较为随意:有时把它当作一个非零的量参与除法运算,有时又在得出结果后,将其作为可以忽略的部分直接舍去。这种处理方式,从严格性的角度来看,确实存在值得商榷之处;但从实际应用的角度来看,它却屡屡给出正确的结果,其精度足以支持炮兵的实际测算,支持天文学家的观测预测,也支持工程师的具体设计。 因此,数学界有必要为这套方法补充一份更为严谨的理论基础,这便是后来被称为"极限"的思想:不必真的假定存在某种性质暧昧的"无穷小实体",而只需要考察一个持续进行的过程——当某个量不断趋近于零、而相应的运算结果不断逼近某个确定的数值时,这个确定的数值,便是所要求解的答案。这相当于把此前较为直觉化的操作,重新纳入一套可以被清楚陈述、可以被验证、也可以被反复重现的逻辑框架之中。 极限这一思想的核心其实相当朴素:无论事先设定怎样的误差范围,总能够通过把切片切得更薄、把区间划得更细,使最终的结果落在这一误差范围之内。由此,“近似"便不再是一种含糊不清的处理方式,而转变为一种可以被严格控制、可以被证明成立的必然结论。 到这一阶段,微积分在理论层面已经初具雏形:关于无穷小的直觉认识已经相当成熟,处理切线与面积的具体技术已经积累了相当的经验,“瞬间"与"累积"之间的深层联系也已经被初步察觉;与此同时,整个时代对这类工具的现实需求,也已经达到了相当迫切的程度。此时,历史所欠缺的,只是有人能够把这些原本分散的成果加以整合,形成一套完整的理论体系,并为其配备一套足以广泛传播的表达语言,从而使它从少数人所掌握的技巧,转变为整个时代共享的知识财富。 这一步,最终落在了两位学者身上:一位更接近于探究宇宙运行规律的研究者,另一位则更接近于精心设计符号语言的学者。 五、微积分的诞生:牛顿与莱布尼茨 艾萨克·牛顿与戈特弗里德·莱布尼茨各自独立地建立起了微积分的理论体系,二人所走的路径虽有不同,却最终抵达了相近的结论:牛顿的思路,主要源自对运动着的物理世界的研究;莱布尼茨的思路,则主要源自对符号表达系统的探索。 牛顿最初接触"变化"这一问题,并非从优雅的曲线入手,而是从更为具体的自然现象入手:光、力、运动、天体的运行。他对自然界抱有极强的探究热情,不满足于仅仅描述现象本身,而致力于追问现象背后的原因——当他追问运动的规律,追问速度如何随时间改变,追问力如何使天体的运行轨迹发生弯曲时,很快便触及了"瞬间"这一此前难以精确处理的问题。 莱布尼茨的切入点则有所不同。他的研究并非从天体运动出发,而是从表达方式本身出发:如何使推理过程,像计算一样,具有稳定而可靠的形式?如何借助符号,把复杂的关系压缩为便于操作的表达式?他曾在巴黎生活过一段时间,期间接触到荷兰学者克里斯蒂安·惠更斯等人,这些学者习惯把几何、力学与天文学,都纳入同一套理性方法的训练之中。莱布尼茨由此逐渐意识到:真正具有长远价值的,并非某一道具体题目的解答,而是一种能够持续产出解答的普遍方法;并非针对某一条曲线的具体技巧,而是一套具有普遍适用性的运算语言。因此,他从一开始便着力于设计一套系统的符号体系——这套体系并非只服务于个人的研究,而是可以传授给他人、并能够不断扩展的表达语法:只要面对一个具体的变化过程,便能够依循这套语法,判断该如何书写、如何运算、如何把复杂的问题拆解为简单的部分,再把这些简单的部分重新累积为整体的结果。 牛顿把自己的方法称为"流数法”。在他看来,世界并非一幅静止的图景,而更接近一条不断流动的河:各类量并非静止摆放的既定对象,而是随时间持续流动、不断变化的存在。他把这类"处于流动状态的量"称为"流量”——位置、长度、面积,乃至任何随时间变化的量,都可以被视为流量;而这些量变化的速度,他则称为"流率",并采用一种简洁的记法来表示:在代表某个量的字母上方标注一点。 牛顿求解瞬时变化的具体思路,接近于借助一个极短的时间间隔,来推断某一时刻的状态:他并不直接尝试把握转瞬即逝的"瞬间"本身,而是设想给时间增加一个极其微小、几乎难以察觉的增量,通过考察在这一微小增量内所发生的变化,来推断该时刻的具体情况。在这一极短的时间间隔内,各个相关的量都会依照各自的流率发生相应的微小变化。牛顿方法的关键步骤,在于把这些经过微小变化后的新数值,重新代入原有的关系式之中,展开运算,再把其中"更高阶的微小项"——也就是那些相对于所考察的变化而言,可以忽略不计的部分——舍弃掉。之所以可以这样处理,是因为所要求解的并非"这段极短时间内精确到每一处细节的全部变化",而是"该时刻变化的方向与速率"。经过这一系列"代入、展开、舍弃高阶小量"的步骤,便能够得到一个关键的比值:这一比值,反映出曲线在该时刻的倾斜程度,也就是两个相关量各自流率之间的比例关系。 牛顿在处理"累积"问题时,同样体现出鲜明的物理学思路:若某个量代表变化的速度,那么与之对应的另一个量,便代表由这一变化速度所累积产生的总量——已知速度随时间的变化规律,便能够逐步推算出相应的总路程。他把这一类运算称为"求积",其背后所依循的,正是与求解瞬时变化恰好相反的一种逻辑关系:求导是从已知的量,推算出该量在此刻的变化情况;而求积,则是从已知的变化情况出发,反过来推算出对应的量本身。牛顿的研究路径,大体上是先建立起处理"运动与瞬时变化"这一部分的方法,此后才逐渐意识到,“累积"这一部分,其实与前者共享着同一套底层的逻辑。 相比之下,莱布尼茨的切入点显得更为温和:他并不像牛顿那样,首先着眼于天体的运行规律,而是首先着眼于如何建立一套清晰的表达方式。他所关心的核心问题是:能否使推理的过程,如同记账一样,一旦被完整地记录下来,便可以被他人重新核验、重新推演?为此,他把牛顿"标注在字母上方的一点"这一做法,转化为书写在纸面上的两个符号:以"dx"表示某个量"x"所发生的一个极小变化,以"dy"表示相应的量"y"所发生的一个极小变化。由此,“瞬时的变化率”,便可以清晰地表达为dy与dx之比。而对于"把无数个微小的变化累加起来"这一操作,他也设计了一个专门的符号——一个形似拉长字母的记号”∫",其含义正是把分散的微小部分重新汇聚为一个完整的整体。 在莱布尼茨所建立的体系中,微积分不再仅仅是某一位学者个人所掌握的独特方法,而更接近于一套具有普遍适用性的表达工具:借助这套符号系统,任何经过适当训练的人,都能够进入同一套理论体系,展开相应的运算与推理。也正因为这套符号体系在表达上更加系统、也更便于推广,莱布尼茨所设计的微积分符号,此后一直沿用至今,成为现代数学的通行表达方式。 六、微积分:理解世界的新语言 微积分最为深远的成就之一,是它建立起了"变化率"这一表达方式——可以将其理解为一种标准化的方式,用以描述"某个量究竟变化得有多快"。微积分把"曲线"这一概念,从单纯的几何图形之中解放出来,使它能够承载"过程"本身的记录:一条曲线不再仅仅是某种静态的几何形状,它也可以是温度随时间变化的轨迹,可以是人口增长的历史记录,可以是潮汐高度的日常变化,也可以是光线强度的持续起伏。微积分由此使曲线获得了描述世界的另一重语言:此前的语言长于叙述"是什么",而这套新的语言,则专门用以刻画"如何变化"。 由此,数学不再仅仅是研究图形的学问,而进一步成为解释自然规律的重要工具。这也正是近代科学发展的核心特征之一:不再局限于描述世界呈现出的样貌,而进一步致力于描述世界运行的机制。 微积分的确立,可以视为数学史上继古希腊几何之后的又一座高峰。古希腊数学所达到的高峰,是把"证明"这一方法,构建成一套完整而严密的体系;而微积分所达到的高峰,则是把"变化"这一此前难以处理的对象,转化为可以系统操作、反复运用的数学工具。前者使人类学会了在严密的逻辑中站稳脚跟,后者则使人类学会了在持续的变化之中,依然能够保持清晰的把握。 如果说古希腊几何近似于一座静态的殿堂,置身其中,能够感受到秩序与必然;那么微积分则更接近一座持续运转的观测台,置身其中,能够看到运动、增长、弯曲与无限逼近这些此前难以捕捉的现象,如同观察一片按照既定规律持续运行的星群。数学的关注重心,也由此从对"形态"的研究,逐渐扩展到对"变化规律"本身的研究。 微积分并非仅仅是一种"更为复杂的数学",而是一种"更为贴近现实世界运行方式的数学"。它使数学第一次大规模地与物理学、天文学、工程学、经济学、概率论与统计学等领域相互交织、彼此支撑,如同一条河流,携带着丰富的养分,持续滋养着此后几乎所有相关学科的发展;它也如同一盏灯,照亮了此前"连续变化"这一长期难以处理的领域——人们由此能够清楚地把握一条曲线在每一个瞬间的倾斜程度,也能够把此前分散、微小的变化,逐一收集起来,重新汇聚成宏观而完整的整体规律。这也正是微积分一经确立,便迅速在各个领域得到广泛应用的重要原因:它所满足的,不仅是数学家探索抽象规律的兴趣,更是整个文明对"可预测、可掌控"这一目标的持续追求,并由此为此后蒸汽机的轰鸣与电力时代的到来,铺垫下了必要的理论基础。

July 9, 2026