微积分让速度不再是模糊的感觉,面积不再只能依靠切割来估算,天体的轨道也不再只是难以捉摸的神迹。十八世纪末到十九世纪初,欧洲学界弥漫着一种"世界可以被计算"的兴奋:航海需要精确的星历,战争需要可靠的弹道,工程需要坚实的桥梁,工业需要提升的效率,甚至公共财政与人口统计,也开始借助数字来加以描述。理性不再仅仅是象牙塔中的谈资,而逐渐成为一种切实的生产力。

然而,就在数学借助微积分迅速向前推进的同时,另一批学者的目光,却重新投向了此前显得较为朴素、甚至有些不起眼的领域:整数、余数、方程、对称,以及运算规则本身。这些对象看起来近乎静态,不像微积分所处理的"变化"那样引人瞩目,但它们同样构成了整个数学体系的地基——地基本身或许并不耀眼,却决定着此后这座建筑,能够建得多高、多稳。十九世纪的代数与数论,正是在这样的背景下重新兴起:它不像分析学那样,更多依靠严谨的证明与裁定来推进,而更接近一种语言与体系的建立——数学家们逐渐发展出新的符号、新的表达方式,使得原本互不相干的各类问题,能够被纳入统一的理论框架之中,加以处理。

这一时期的代数史,涉及众多人物:有人致力于整理此前分散的符号与判断,有人致力于扩展既有的理论框架,有人致力于发明全新的数学对象,有人则致力于把逻辑与几何本身,也纳入代数化的处理之中。这段历史所呈现的,并非简单的人物名录,而是一门学科如何从零散的技艺,逐步成长为一套完整而系统的表达方式。

一、余数的规律:勒让德、高斯与"理想数"的诞生

不妨先从最为朴素的对象说起:余数。在日常生活中,余数近乎找零时留下的零钱,并不引人注意。但在数学之中,余数却蕴含着一种颇为独特的规律——借助同余关系,一个数在某个模数之下所呈现出的性质,往往能够揭示出许多此前难以察觉的内在联系。十九世纪初,数论研究真正致力于完成的工作,并非仅仅发现若干孤立的精彩结论,而是把这类"同余"现象,逐步整理为一套可以被系统传授、可以被反复运用的理论语言。

勒让德在这一进程中,扮演了一位细致整理者的角色。他或许并非这一时期最为耀眼的开创性人物,但他极为擅长把此前分散的各类判断,压缩为简洁而便于使用的符号表达,使这些结论,能够被后来的学者反复引用与运用。这类符号体系的建立看似只是形式上的整理工作,实则极大地推动了此后相关理论的持续发展——清晰而统一的表达方式,能够使原本冗长繁琐的推理过程,变得更为简洁高效。

而在这条脉络的发展进程中,高斯的贡献,具有极为关键的意义(关于他的生平与更为完整的贡献,本书已在专门的章节中详细讲述,此处不再展开)。经由他的系统研究,数论中"同余"这一表达方式,不再仅仅停留于趣味性的观察,而真正成为一种可靠、系统的研究工具:数学家们此后不再只是笼统地讨论某个整数本身的性质,而开始系统地考察它在不同模数之下所呈现出的具体规律,并据此把复杂的整除问题,转化为可以清晰分类、系统求解的具体问题。数论由此不再是一门依靠零星发现积累起来的学问,而逐渐成长为一套具有内在逻辑体系的成熟学科。

不过,当整数理论所适用的范围逐渐扩展至更为广阔的数域之后,一个此前令人安心的重要性质——“唯一分解”——却开始出现动摇。在通常的整数范围内,任何一个整数,都可以被唯一地分解为若干素数的乘积,这一性质被视为理所当然。但当研究范围扩展到某些更为复杂的数域之后,人们逐渐发现:同一个数,在新的数域中,可能存在多种不同的分解方式,此前所依赖的"唯一分解"这一基本性质,在新的理论背景下,不再必然成立。

正是在这一背景下,理查德·戴德金完成了极具开创性的理论工作。当既有的分解方式在更为复杂的数域中,变得不再清晰可靠时,他并未简单地退回到此前较为狭窄的理论范围之内,而是提出了一种更为稳健、也更具普遍适用性的新概念——“理想”。与其执着于要求每一个数,都必须依照传统方式,被唯一地分解为若干"基本单元",不如引入一种更为灵活的结构性概念,使得即便在更为复杂的数域之中,分解这一操作,依然能够保持其应有的清晰性与确定性。戴德金的这一理论创新,把此前局限于普通整数范围内的"唯一分解"这一重要性质,重新以一种更具普遍性的形式,加以恢复和确立,此后也成为代数数论这一研究方向的重要理论基础。

沿着这一脉络回顾,勒让德为此前分散的数论结论,提供了系统的符号表达,高斯把"同余"这一概念,发展成为一套完整而可靠的理论体系,戴德金则进一步把这套理论,扩展到了更为广阔的数域之中。数论由此不再只是一门充满趣味性发现的学科,而逐渐成长为一门具有持续拓展能力的成熟学科。

二、无法用根式表达的方程:阿贝尔与伽罗华

在方程求解这一传统数学问题上,早期数学家已经取得了相当的进展:二次方程存在明确的求根公式,三次方程与四次方程,此后也相继找到了相应的根式解法。由此,人们自然而然地期待:五次方程,理应也能够找到类似形式的求解公式,只需要投入更多的努力,寻找更为巧妙的代数变形方法。

然而,阿贝尔的研究,彻底打破了这一预期。他证明了:一般的五次方程,无法通过根式来求解。这一结论所揭示的,并非此前的数学家们努力不够,而是这一问题本身,已经超出了根式这一特定求解方式所能够处理的范围。这是数学史上一次极为深刻的转变:数学第一次能够以严谨的方式,证明某一类问题"不可能"存在特定形式的解——这并非一种令人沮丧的结论,而恰恰体现出这门学科走向成熟的重要标志:它不再仅仅奖励那些能够给出具体解答的研究者,也开始重视那些能够清楚指出某种方法之根本局限的研究者。

但若这段历史仅仅停留在"无法求解"这一结论本身,代数学的发展,便会因此陷入停滞。正是在这一背景下,伽罗华的研究,把这一问题推向了更为深入的层面:既然某些方程无法通过根式来求解,那么真正值得追问的是——这些方程的内部结构之中,究竟蕴含着怎样的深层规律,使得它无法被这一特定的求解方式所驯服?

伽罗华研究的关键,在于他系统考察了方程的根之间,可能存在的各类置换关系:把一个方程的若干根重新加以排列组合,有些排列方式,并不会改变这些根之间原有的内在关系,而另一些排列方式,则会破坏这种关系。那些能够保持根之间内在关系不变的置换,共同构成了一种此前从未被系统研究过的结构——这便是此后被称为"伽罗华群"的重要概念。由此,一个方程是否能够用根式求解,不再是一个依靠尝试与运气来判断的问题,而转化为对这一置换结构本身性质的系统考察:某些方程的置换结构相对简单,因而能够被根式这一特定的表达方式所容纳;而另一些方程的置换结构则更为复杂,需要借助更为广泛的数学语言,才能够加以充分描述。伽罗华的这一研究,把代数学的重心,从单纯地"寻找具体答案",转向了更为深入的"研究方程本身的内在结构"这一全新方向。

不过,这类源自直觉的深刻洞察,若要真正被这门学科所吸纳,还需要经过系统化的整理,转化为可以被清晰传授的理论体系。凯莱在这一进程中,发挥了极为关键的作用:他把伽罗华所发现的这种"保持内在关系不变的置换"这一具体现象,进一步加以抽象化处理,使其不再仅仅局限于某一特定方程的具体研究,而成为一个具有普遍意义、可以独立加以研究的数学对象——这便是此后在数学中占据核心地位的"群"这一概念。经由这一系统化的理论建构,代数学从此拥有了一套用以描述对称与变换关系的通用语言:此前,数学家们大多只能笼统地说某个对象"具有对称性";而此后,他们则能够清楚地说明,这一对象具体存在哪些变换方式,以及这些变换方式,彼此之间又是如何相互组合的。

三、新工具与新空间:雅可比、哈密顿、格拉斯曼与切比雪夫

十九世纪的代数学,展现出一种颇具建设性的发展态势:它不再仅仅满足于解释此前已有的问题,而开始积极地发明新的数学工具、新的表达方式,以及新的处理方法。

雅可比在这一进程中,扮演了系统建构者的重要角色。他的贡献,并不局限于某一项孤立的杰出成果,而更体现在他成功建立起了一整套具有内在系统性的研究方法:行列式、变换理论、符号运算技巧,以及各类函数对象,在他的研究中,逐渐发展成为一套可以被反复运用、加以推广的系统性工具。数学研究由此变得更接近一种可以被系统训练的技艺:不再仅仅依靠偶然的灵感,而更多依靠经过系统训练后所形成的结构性思维与工具性能力。此外,雅可比的研究,还进一步打通了数论与函数理论这两个此前相对独立的研究领域之间的联系:许多与整数相关的深层问题,实际上与具有周期性、对称性等特征的复杂函数之间,存在着此前未被充分认识的内在关联。

随着这套研究体系日趋成熟,数学家们逐渐遇到了一个更为具体的现实问题:既有的数学工具,在处理某些更为复杂的现实问题时,显得力有不逮。例如,要描述三维空间中的旋转变换,复数这一原本用于处理二维平面问题的工具,便显得难以胜任。正是在这一背景下,哈密顿完成了一项极具开创性的工作:他历经多年的探索,最终发明了"四元数"这一全新的数学对象。四元数并非一件单纯的数学奇观,而是一种能够描述此前既有工具难以处理的运算方式的全新体系——例如,在四元数的运算中,乘法运算的顺序,会直接影响最终的运算结果,这在传统的算术体系中,原本被视为一种错误,但在描述空间旋转这类具体问题时,却恰恰反映了现实中真实存在的规律。哈密顿的这一贡献,表明:为了能够准确描述更为复杂的现实现象,数学有时必须主动突破此前习以为常的某些运算规则,乃至某些看似天经地义的对称性假设。

与哈密顿同一时期,格拉斯曼的研究工作,同样具有深远的意义,只是在当时并未获得充分的理解与认可。他致力于构建一套能够描述任意维度空间、任意叠加运算的理论语言,使"方向"“面积"“体积"等原本仅存在于几何直觉之中的概念,也能够被纳入系统的代数表达框架之中。他的这套理论,在当时较少为学界所理解和重视,直到此后数学发展真正需要向量空间、外代数等理论工具时,人们才逐渐意识到:格拉斯曼早已为这些后来的理论,奠定了相当完整的基础。

不过,随着新的数学工具与表达体系不断涌现,研究领域日趋复杂,另一种现实的风险也随之出现:在处理日益复杂的问题时,若缺乏必要的约束与控制,便容易在计算或推理过程中出现难以察觉的偏差。正是在这一背景下,切比雪夫的研究工作,显得格外重要。他所展现出的治学气质,体现为一种审慎而稳健的态度:他所关注的,并非追求某种理论上绝对精确、却往往难以真正实现的完美结果,而是致力于在面对复杂问题时,依然能够给出可靠的上下界估计、合理的误差控制,以及有效的逼近方法。许多深层次的数学问题,往往并不存在简洁的封闭表达式,切比雪夫的研究,教会了后来的数学家一种极为重要的现代研究习惯:即便无法精确求解每一个具体问题,也应当致力于确保整体结果,始终处于可靠而可控的范围之内。

综合来看,雅可比为代数研究建立起了可以系统训练的研究方法,哈密顿拓展了数学工具所能够描述的对象范围,格拉斯曼提前构建了后世才被充分理解的理论语言,切比雪夫则为处理复杂问题提供了稳健可靠的方法论基础。代数学由此不再仅仅是一套抽象的理论体系,而逐渐发展成为一套具备完整研究工具、系统方法与可靠保障的成熟学科。

四、逻辑的代数化与几何的谱系:布尔与克莱因

到十九世纪后期,代数学已经拥有了描述对称关系的系统语言、丰富多样的理论工具,以及审慎可靠的研究方法。但一个领域的持续繁荣,有时也会带来新的困扰:随着研究方向与理论体系日益增多,人们反而不易清楚地把握,这些不同的研究方向之间,究竟存在着怎样的内在联系。几何学发展出了多个不同的分支,代数学也衍生出了多种不同的结构体系,函数理论与几何学之间的联系,也日趋复杂。这一时期的数学发展,迫切需要两项重要的工作:一是需要有人梳理清楚,这些不同的理论体系之间,究竟存在着怎样的内在关联;二是需要把"推理"这一过程本身,也纳入系统化、可操作的理论框架之中。

乔治·布尔在这一方面完成了极具开创性的工作。他在《思想的法则》一书中,完成了一项在当时看来颇为大胆、此后却被证明极为自然的理论创新:把逻辑推理这一此前主要依靠语言与修辞展开的过程,转化为一套系统的代数运算。此前的逻辑推理,主要依靠语言的表述与论辩技巧来展开;而布尔则致力于,把这些推理过程,转化为可以依照明确规则加以运算、检验的符号系统。这并非要否定思想本身所具有的复杂性,而是为逻辑推理这一活动,提供了一套可以被清晰记录、系统操作的表达方式,使得"判断"这一过程,也能够像具体的运算一样,被组合、简化、变形与检验。

此后,费利克斯·克莱因在几何学领域,完成了另一项极具整合意义的重要工作。当几何学发展出多个此前看似彼此独立、甚至相互对立的分支体系时,克莱因提出了一种极为精妙的整合方式:与其把这些不同的几何体系,视为相互排斥的对立学派,不如把它们理解为各自遵循不同规则、却同样自洽的理论体系——每一种几何体系,实际上都对应着某一类特定的变换群,而这一几何体系所真正关心的,正是在这些特定变换之下,始终保持不变的性质。依照这一思路重新审视,欧几里得几何、射影几何、非欧几何等此前看似彼此孤立的理论体系,便呈现出一种清晰的谱系关系:它们并非彼此否定,而是各自选择了不同的变换群与不变量,来加以研究。克莱因的这一理论框架,把此前较为分散的几何学各分支,重新整合成了一幅条理清晰的整体图景。

回顾这一时期代数学的整体发展脉络:勒让德与高斯,使整数理论中蕴含的内在规律,变得系统而可靠;戴德金,把这套理论体系,进一步扩展至更为广阔的数域;阿贝尔,证明了某些方程无法通过根式求解这一深刻结论;伽罗华,揭示出这些方程内部所蕴含的对称结构;凯莱,把这一对称结构,提炼为具有普遍意义的"群"这一概念;雅可比、哈密顿、格拉斯曼与切比雪夫,则分别在研究方法、理论工具与稳健性等方面,为这一学科的持续发展,奠定了坚实的基础;而布尔与克莱因,则进一步把逻辑推理与几何学本身,也纳入了系统化的代数框架之中。这一系列进展表明:十九世纪的代数学,正在经历一场深刻的转变——从此前较为零散的具体技艺,逐步发展成为一套具有严密内在逻辑的完整表达体系。

五、迈向二十世纪:哈代与李特伍德

这一时期的代数与数论发展,最终走到了新世纪的门槛前。在这一历史节点上,约翰·恩瑟·李特伍德的工作值得一提:他与哈代之间长期而富有成效的合作,已经展现出颇具现代特征的科研模式——数学研究不再仅仅依靠某位学者的孤立探索,而更多依靠持续的相互协作。

哈代1877年生于萨里郡的克兰利,父母都是教师;他先入温彻斯特公学,1896年考入剑桥三一学院。李特伍德比他小八岁,1885年生于肯特郡,同样在三一学院求学。两人性情相去甚远:哈代拘谨自持,终生以"纯粹数学家"自居,对应用数学抱有近乎洁癖的疏离感;李特伍德则随性得多,兴趣广泛,球类运动尤其出色。但这份差异丝毫没有妨碍他们此后延续三十余年的合作——从第一次世界大战之前直到1947年哈代去世,两人联名发表的论文近百篇,无论数量还是分量,在数学史上都难找到可以相提并论的先例。以至于剑桥当时流传一句玩笑:英格兰真正一流的数学家只有三位——哈代、李特伍德,以及"哈代-李特伍德”。

更有意思的是他们合作的具体方式。两人常年分居两地——李特伍德多在剑桥,哈代一度在牛津任教——彼此更愿意通信而非当面讨论,据哈拉尔德·玻尔记述,他们曾半开玩笑地为这种合作定下几条"公理”:信中所说的对错无关紧要,因为唯有如此才能毫无顾虑地畅所欲言;收到对方来信后,没有义务去读,更没有义务回复;两人应尽量避免同时琢磨同一个细节;至于论文署名,即便某一方对某篇文章毫无贡献,也应一并列名,以免因贡献多寡而生嫌隙。这几条不成文的约定,与其说是效率安排,不如说是一种建立在充分信任之上的分工默契——它使两人可以各自保有节奏与自由,又能在整体上产出远超单人之力的成果。哈代自己也不乏轶事流传:一次从丹麦搭船返英,海上风浪颇大,他索性寄出一张明信片,宣称自己已经证明了黎曼猜想——他半开玩笑地解释,倘若沉船,此举便可让他的名字与这道难题一同流传;而他料定,上天不会甘心让他就此获得这份殊荣,因而也就不会让船沉没。

这一时期的数论研究,也愈发呈现出一种系统训练的特点:各类估计方法、边界条件的确定、平均值的计算,以及对波动现象的有效控制,逐渐成为这一领域研究者所必须掌握的基本功——这并非单纯的技巧展示,而更接近一种扎实的训练:使研究者即便身处复杂而难以把握全貌的具体问题之中,依然能够保持稳健可靠的判断与推进能力。

六、结语

十九世纪的代数与数论,表面上看似日趋抽象,与日常生活的距离,似乎也越来越远;但其内在所完成的工作,实则相当朴素:这门学科,在为数学发展出一套更为系统的表达语言、更为广阔的研究范围,以及更为可靠的研究方法。它使整数不再仅仅是简单的计数工具,而具备了内在的规律与结构;使方程求解不再只是寻找具体答案的练习,而成为深入探究其内在对称结构的系统研究;使代数运算不再局限于此前熟悉的少数几种运算规则,而拓展至能够描述空间旋转、多维叠加等复杂现象的全新领域;使逻辑推理不再仅仅停留于语言层面的辩论,而能够被转化为清晰、可操作的符号体系;最终,又借助克莱因等学者的整合性工作,把这些看似分散的理论体系,重新纳入了一幅条理清晰的整体图景之中。当这一切逐渐汇聚成形,二十世纪的数学,也已经站在了新的起点之上。