第二十二章 数学史中的多次对象诞生
一、历史不只是今天数学的预备课
如果从一本现代教材回看数学史，过去很容易被排列成一条通向今天的道路：人们先认识自然数，后来逐步补上负数、分数、实数、复数，再发展出越来越一般的空间与结构。这种排列有助于学习，却可能遮蔽创造的困难。身处当时的研究者不知道哪一种扩充会成功，也不知道哪些旧要求必须保留、哪些必须修改。他们面对的是尚未被整理好的问题，而不是等待填空的教材目录。
本章不打算把全部数学史改写为SDE体系的注脚。它选择几类对象发生过程，辨认其中可以用于今天研究的构成问题。我们需要特别警惕事后必然性：一种结构后来广泛使用，不证明当初所有人都应看出其价值；一种方向后来衰落，也不证明其参与者缺乏理性。每个选择都发生在有限信息、有限工具和特定目标之中。
因此，“对象诞生”至少包含几种不同变化。有时是原有运算遇到缺口，需要扩大对象范围；有时是为研究新的活动，重新规定哪些差异重要；有时是放弃一条熟悉的法则，保留另一种更关键的性质；还有时是把许多具体对象之间的变换本身变为对象。这些路径并不互相排斥，却不能被同一句“从低级到高级”充分解释。
对今天的数学家而言，历史最有价值的地方，是把已经显得自然的构成重新变成可以询问的选择。现在看来理所当然的数与空间，也曾需要新的定义、计算技术、证明方式和传播条件。一旦看见这种形成过程，我们就更容易理解：AI封装现有数学能力，并没有取消数学构成的可能性，反而可能使更多候选得到展开。但历史不会替任何当代候选预先签发成功证明。
二、数的扩充：缺口怎样成为新的对象
从自然数进入整数，可以通过“必须允许减法继续进行”来理解一个基本动机。在自然数中，三减五没有同类结果；若把计算活动限制在可完成的减法上，旧体系可以维持；若希望一般地处理差额，就需要新的表示或对象。这里并非只有唯一的哲学解释，但有一个确定的数学问题：怎样扩充而不破坏已经有用的加法关系。
一个教学性的构造，是把有序对看作两笔数量之间的差额表示。将两对视为相同，当且仅当它们交叉相加相等。这样，三与五组成的对，和四与六组成的对，表示同一整数。新对象不是任意增加一个负号，而是通过等价关系把多种表示组织为一个可操作的同一性。加法也必须与等价关系相容，否则结果会依赖偶然选择的代表。
这里已经出现一个贯穿本书的问题：对象同一性由什么活动需要决定。若研究的是两笔账户各自的规模，那么三与五、四与六当然不同；若研究净差额，它们可以被合并。合并并非宣布原来的差异不存在，而是在明确任务下决定哪些差异不再影响相关操作。新对象的成立因此同时包含保留和遗忘。
戴德金在一八七二年的《连续性与无理数》中，通过有理数的分割处理连续性与无理数问题；其后关于数的著作又以系统、映射等概念研究数的基础。这里援引的是他发表的构造方向，不把他的一切哲学主张归入SDE。对本书有启发的，是一个原来缺少相应有理数的分割，可以成为定义新数的入口，而不是永远作为旧体系中的失败操作存在。
我们可以用平方等于二的问题看到这种压力。有理数的有限表达与有理运算十分有效，却不能在其内部给出所需的正根。如果只是要求越来越好的近似，某些计算任务已经能够完成；如果要求一种包含极限对象的完整理论，就要处理近似序列或分割何时代表同一对象。不同构造可以得到相应的实数结构，但它们训练研究者注意的发生问题并不完全相同。
这对新数模型提出一条严格要求。所谓“旧数不够用”，必须说清楚不够完成哪种活动，是表达繁琐、计算困难、信息丢失，还是某项公理要求确实无法满足。只有表达不便，并不能立即证明需要新的数体系；但表达不便也可能暴露重要的组织机会。研究者应先给出对照任务，再决定扩充的层次，避免把每一种附加参数都称为新数。
三、从变化问题到可持续的演算
运动、增长、曲线切线与累积量等问题，使数学家需要处理变化中的关系。现代读者熟悉导数和积分，容易把问题想成：既然有函数，当然可以对它求导。但函数怎样成为研究对象，变化率怎样获得明确含义，以及局部变化怎样联系整体积累，本身经历了长期的发展。牛顿与莱布尼茨的工作是其中的重要部分，后来关于极限、连续性和收敛的理论又改变了论证标准。
牛顿《自然哲学的数学原理》中的定义与运动定律，展示了数学结构如何进入运动研究。但现代教材的全部记号与分析体系，不能直接投射回他的原文。牛顿原著使用的论证组织与今天的微积分教学具有差异。尊重这种差异，才能看见数学能力的封装：后来的记号、定理和教材让研究者无需重复全部历史劳动，却也可能使构成问题从视野中消失。
考虑一个简单的积累过程。只知道某时刻的数值，不一定知道它将怎样继续变化；只知道局部变化率，也不一定立即知道一段时间的总积累。把这些不同问题联系起来，需要规定函数类别、时间范围和相应运算。某些结论在光滑情形中成立，在跳跃、奇异或更弱的正则性条件下需要修订。研究者不是无限增加公式，而是在不同活动要求之间建立可证明的通道。
这种通道一旦成熟，便成为可以封装的能力。工程人员能够调用数值求解器，学生能够使用微积分规则，研究者能够借助成熟定理分析新问题。封装所释放的研究空间，可能向复杂动力系统、随机变化、优化、计算方法等方向展开，也可能仅仅表现为更密集地处理同类练习。数学史中的扩张，从来不只由某个运算技巧本身决定。
从SDE视角看，变化数学的启示在于D不能只被视为已经给定的步骤。一种运行方式怎样被构造、怎样形成可以比较的序列，以及什么量在运行中保持稳定，都是数学问题。但是，不能因为微积分研究变化，就直接断言微积分等同于SDE中的全部差异运行。这里是两个理论层次之间的解释联系，需要通过具体问题逐项建立。
当AI能够迅速给出微分方程候选与数值图形，研究者更应追问变量和时间尺度的选择。一条拟合良好的曲线，可能对应多种生成机制；一个求解器成功运行，也不保证方程具有所需的适定性。封装加快了展开，因而也提高了前端构成判断与后端有效性检验的重要性。
四、几何改变：什么可以作为空间的起点
几何史显示，数学对象的变化并不限于给旧集合增加成员。对空间基本假设的调整，能够改变整个问题组织。欧氏几何、非欧几何以及后来的多种几何研究长期共存，并没有按照简单的淘汰顺序相互消失。一个空间在某类问题上合适，并不要求所有研究活动都采用相同空间。
黎曼一八五四年的就职演讲《论作为几何学基础的假设》，把讨论推进到一般的多维连续广延以及度量关系的构成。这篇演讲的重要性之一，是让几何的基本设定本身成为研究对象。这里不能由此推出黎曼已经提出了本书的发生学，但可以看到一个明确的研究姿态：日常直观中似乎固定的空间属性，可以被分解为需要说明的假设。
对今天的读者，一个容易理解的例子是区分拓扑与度量。两个空间可能具有相同的连续连接方式，却在距离上不同。若研究连通性，某些拉伸并不改变答案；若研究最短路径或能量，拉伸则可能至关重要。选择允许的变换，实质上同时选择了哪些差异被视为结构性的差异。几何对象的身份因此与保留何种性质密切相关。
这种选择不意味着任何空间都同样适用于任何任务。城市路网中的距离、地图上的直线距离和通信中的延迟距离，分别保留不同活动的约束。它们都可以用成熟数学表达，却不应相互替代。研究者需要先明确所研究的互动，再决定哪种数学结构承担工作。这种构成纪律比笼统宣称“世界是几何的”更能产生有效研究。
几何的多元性也提醒我们，新的数学可以通过对应关系继承旧数学。一个较一般框架在特定条件下恢复熟悉结构，能够说明新旧之间如何接续；不同框架之间存在局部翻译，则能支持比较而不强求完全统一。无法翻译的部分也可能有意义，因为它指出两种研究活动保留了不同的差异。
对数学家的职业而言，空间假设的重新开放意味着任务类型的扩大。研究者不仅能证明某个空间中的定理，还能比较空间选择怎样改变可解问题、计算复杂度与实际解释。AI可以帮助展开候选空间中的后果，但决定一个候选值得持续研究，需要数学有效性、问题价值和合作条件共同支持。
五、运算法则也可以成为选择对象
哈密顿在一八四三年十月十七日写给格雷夫斯的信中，追述了四元数构想的形成。信件显示，他尝试扩展复数相关的几何与代数活动，并把模的乘法性质作为重要检验；在这一过程中，乘法的次序不能再被视为无关紧要。四元数的意义并不在于增加了几个神秘符号，而在于新的对象与运算法则共同获得了明确组织。
这一例子特别适合纠正“越一般越保留所有旧性质”的想象。扩充可能要求作出取舍。若研究者希望在新的对象范围内维持某种关键性质，熟悉的另一种性质就可能需要放弃。放弃不是随意破坏规则，而是对目标之间关系作出更准确的判断。交换性在某些结构中极其有用，却不是一切有价值数学的通行证。
在日常操作中，顺序依赖也很容易出现。先旋转再平移，与先平移再旋转，通常产生不同结果。这个事实本身并不新颖，更不足以证明需要一种独创数学；它提示我们在建模时不要因为习惯于实数乘法，就默认所有组合都应交换。适当的既有代数结构可能已经提供良好表达。新的贡献有时是准确识别这种表达，而不是重新命名它。
运算研究还需要区分对象组合与状态更新。把两个影响剖面相加，可以采用交换的叠加；先后把两个事件作用于有记忆的系统，整体效果却可能依赖次序。两种结论并不矛盾，因为它们讨论不同层次的操作。若一个模型把静态叠加和动态更新混写为同一种乘法，便会产生虚假的创新或矛盾。第六编将利用这个区别分析伞模型。
AI参与运算设计时，可以同时检验交换、结合、分配、单位元和逆元等性质，也能够迅速寻找小规模反例。但这些性质不是一份越长越好的勾选表。研究者必须解释为何需要某项性质，以及不满足时会损失何种活动能力。有时一个不满足结合律的操作仍有研究价值，但括号位置必须进入表达，计算和比较也要相应改变。
因此，运算创新的核心并不在于尽量远离传统。它在于让操作规则更准确地承担所研究的活动，同时明确代价。一个结构可能保留较少的熟悉性质，却获得特定领域中的表达优势；也可能牺牲许多便利而毫无收益。只有通过命题、反例与应用对照，才能辨认这两种情况。
六、从具体物体到连接与结构
欧拉关于哥尼斯堡桥梁问题的论文，为连接方式成为研究重点提供了经典案例。城市的详细形状、街道长度与绘图比例，并不是回答特定过桥问题所必需的信息。把相关陆地区域与桥梁的连接保留下来，就可以研究一种与通常长度测量不同的问题。欧拉档案所收论文说明了这项转变；本章采用现代图论语言解释其中的组织意义，不把现代全部术语直接归于原作者。
以一个有限连通图为例，若希望沿路线使用每条边恰好一次，那么每次经过一个中间顶点，进入和离开会成对消耗关联边。由此，除可能的起点与终点外，各顶点的度数必须为偶数。这一必要条件不是对地图外观的描述，而是由路线活动推出的结构约束。研究对象的重新组织，使原来似乎依赖具体城市的问题获得了可迁移表达。
这里的抽象不是把现实“看得不够细”，而是按照问题删除不相关的细节。如果任务改成寻找最快路线，边长、交通状况与等待时间就可能重新进入。一次成功抽象不能永久决定所有后续任务的合法信息。封装后的图算法非常有用，但使用者仍需知道封装保留了什么，遗漏了什么，何时应当重新展开。
结构数学进一步把不同对象之间可保持的关系放到前台。一个研究者可以比较两个代数系统的同态，也可以研究构造之间的自然联系。艾伦伯格与麦克莱恩一九四五年的《自然等价的一般理论》明确组织了范畴、函子和自然变换等概念。这表明，数学不仅扩充被研究的东西，也会把研究不同东西之间的方式提升为新的对象层次。
然而，不能把这种发展简化为“旧数学只看对象，新数学只看关系”。对象和关系在既有数学中始终以不同方式相互进入，新的结构框架也仍需明确对象、态射与组合。SDE若要与结构数学对话，应承认这些成熟成果，进一步询问构造选择怎样进入具体研究活动，以及新的互动条件是否提出了现有框架尚未充分组织的问题。
所谓升维，在这里可以获得一个较具体的理解：原来用于处理对象的变换或构造，成为下一层可以比较、组合与研究的对象。但这不是给层级增加一个名称就算完成。新层级需要自己的同一性、操作和有效问题，否则只是把原有内容重新包装。数学史的启发，在于每一次有成果的层级提升，都伴随着可继续展开的工作。
七、多条历史路径怎样进入今天的实验室
上述案例没有提供一条所有创新都必须遵守的公式，却展示了若干可辨认的路径。数的扩充可以由操作缺口推动；分析可以由变化与积累之间的联系推动；几何可以由基本假设的重新开放推动；代数可以由运算法则的取舍推动；图与结构研究则可以由相关差异的重新选择和构造层级的提升推动。这些路径在实际历史中往往交织，也会受到记号、仪器、出版和共同体交流条件的影响。
人—AI复合体能够把它们转化为具体研究问题。面对一个困难任务，可以询问：是否缺少某类对象，是否混用了不同同一性，是否要求了不必要的运算性质，是否保留了无关细节，是否把某个应当进入状态的历史因素藏在外部说明中。每个追问都应产生候选构造，而候选必须进入计算、反驳与证明，不能停在哲学宣言。
历史同样提醒我们保留失败路线。哈密顿的取舍具有启发性，并不意味着所有违反交换性的系统都值得建立；非欧几何的成功，也不意味着任何更换公理都会形成重大数学。成熟成果之所以重要，恰恰因为它们经过了长期展开，使最初的可能性转化为稳定的研究能力。AI降低部分展开成本，却不能让价值判断失去对象。
因此，多元数学发生应当表现为一种更开放而更严格的研究组织。开放意味着不把今天的对象、规则和标准全部视为不可更动的终点；严格意味着每次更动都承担明确后果，并与已有工作建立可检查的联系。数学家在这种组织中既是继承者，也是构成者。下一章将把历史所暴露的关键问题收紧到三个位置：什么算同一个对象，边界怎样确定，以及单元怎样形成。