分析严密化：从无穷小到实数构造

分析严密化不是因为早期微积分“不能用”。恰恰相反，牛顿、莱布尼茨和欧拉的方法非常有力，能解决运动、曲线、级数和近似问题。严密化的压力来自成功之后：这些方法为什么可靠，边界在哪里？

无穷小和流数给了数学家强大的计算直觉，但也带来逻辑不安。一个量既不是零又可以在某一步被忽略，这种说法在计算中有效，在基础说明中却让人紧张。

柯西把极限、连续、导数和级数收束成更明确的课程语言。虽然他的表述仍保留时代特征，但分析已经从技巧集合走向可教学的严密体系。

魏尔斯特拉斯进一步强调 epsilon-delta 式定义，把极限从图形直觉和运动直觉中抽离出来。连续性、可导性、收敛性由明确量词控制。

戴德金和康托尔处理的是更底层的问题：实数到底是什么。如果没有可靠的实数系统，极限落到哪里都说不清。实数构造因此成为分析严密化的基础环节。

戴德金切割把连续性改写为有理数分界的完备性。它让直线直观退到后面，让数系自身承担连续性的定义。

严密化也改变了反例的地位。处处连续但处处不可导的函数、条件收敛级数的重排、病态集合，都提醒数学家：直觉经验不够，定义必须精确。

这条历史线和极限思想史相邻，但重点不同。极限思想史看方法如何出现；分析严密化看这些方法如何获得现代基础。

读哈代、戴德金和后来的现代分析时，应记住它们不是凭空抽象，而是在微积分长期成功后，对成功原因和边界的再整理。