第二次数学危机：无穷小是「消失量的幽灵」吗

牛顿、莱布尼茨的微积分依赖说不清的无穷小，1734 年贝克莱讥其为「消失量的幽灵」；经柯西、魏尔斯特拉斯两代人力争，极限与 ε-δ 语言使危机化解。

史实 人物：牛顿、莱布尼茨、贝克莱、柯西、魏尔斯特拉斯 年代：17世纪60年代至19世纪70年代

  1. 1665 牛顿创「流数术」，1687 年《自然哲学的数学原理》系统应用 史实
  2. 1684 莱布尼茨发表首篇微积分论文，二者各自独立发明 史实
  3. 1734 贝克莱《分析学家》抨击无穷小逻辑矛盾，史称贝克莱悖论 史实
  4. 1821 柯西《分析教程》以极限为基石重建微积分 史实
  5. 1872 魏尔斯特拉斯的 ε-δ 语言经柏林讲义传播，实数连续性理论由他与戴德金、康托尔等在 1872 年前后确立，危机基本化解 史实

适用前提与边界条件

  1. 会求简单函数的导数
  2. 知道导数是变化率、瞬时速度的定义式

背景

17 世纪下半叶，牛顿与莱布尼茨各自独立创立微积分。用它算瞬时速度、曲线切线、曲边面积，几乎无往不胜——但支撑这些胜利的「无穷小量」，本身却说不清道不明。

求 在某点的导数，牛顿的做法是：给 一个增量（流数术里叫「瞬」），

然后令 「消失」，得 。问题来了： 到底是不是零？ 是零，除法无意义；不是零，结果里那个多余的 就不该扔掉。

史料辨析

史实 1734 年，爱尔兰主教贝克莱出版《分析学家：致一位不虔诚的数学家》，讥讽无穷小是「消失量的幽灵」（ghosts of departed quantities）。他指出：先当非零用、再当零扔，违反矛盾律。这份批评在逻辑上完全成立，史称贝克莱悖论，拉开了第二次数学危机的序幕。

史实 整个 18 世纪，欧拉、拉格朗日等人在基础上各显神通又各留漏洞，微积分的应用却不断胜利。数学史上少见的一幕由此出现：大厦盖得越高，地基的裂缝越刺眼。

史实 19 世纪，危机由两代人接力化解：柯西《分析教程》（1821）确立「以极限定义导数、积分、连续」，摆脱了「无穷小是数」的纠缠；魏尔斯特拉斯再进一步，给出 ε-δ 语言，并在 1860—1870 年代建立实数严格理论（与戴德金、康托尔等人的工作汇流），使极限命题可逐句验证。

数学内核

按现代定义，导数是差商的极限：

重新看 ：当 时

差商只在 时定义，但极限 讨论的是 趋近而不取零的过程——除法在先、取极限在后，逻辑上再无一步矛盾。贝克莱的两难被「极限」一词拆解：谁也不必既是零又是非零。

ε-δ 定义把「趋近」翻译成可检验的不等式：任给误差要求 ，都能找到响应 。无穷小不再是神秘的量，而是一种过程性质的陈述——这正是极限思想的精髓，也是高中数学里「导数」概念的合法性来源。

说法与史实

流传说法史实
贝克莱推翻了微积分他指出的是表述的逻辑漏洞；微积分结果大体有效，危机以严格化告终
牛顿与莱布尼茨为发明权恶斗一生优先权之争确有（主要在两人支持者之间），但不影响二人独立发明的事实
无穷小就是非常小的数实数系中不存在非零无穷小；现代教材用极限过程描述，另有非标准分析为其另立框架
ε-δ 是贝克莱思想的继续它出自柯西—魏尔斯特拉斯的严格化路线，与贝克莱的批评立场完全不同

正例与反例

✅ 正例

  • 用 ε-δ 证 lim⁡x→2x2=4\lim_{x\to2}x^2=4：任给 ε>0\varepsilon>0，取 δ=min⁡{1,ε5}\delta=\min\{1,\frac{\varepsilon}{5}\} 即可

❌ 反例

  • 「增量先不是零、再取为零，所以无穷小自相矛盾」——这是 1734 年前的含混表述，ε-δ 定义后不再如此

高频误解与考试易错

  • 把 ε-δ 语言里的 ε 理解成一个很小的常数（它是任意给定的正数，随后 δ 依赖它而确定）
  • 以为第二次数学危机否定了微积分（只是逻辑基础一度不清，结论大体有效）
  • 把无穷小当成「越来越小且等于零的数」（实数系中没有非零无穷小；现代无穷小另有非标准分析框架）

常见问题

贝克莱悖论指什么？
牛顿求导时先把增量当非零、除完又令其为零，同一对象前后待遇不一致，贝克莱在《分析学家》中以此讥讽无穷小是「消失量的幽灵」。
危机最终怎么解决的？
柯西用极限重定义导数与积分，魏尔斯特拉斯用 ε-δ 语言与实数理论把极限说清楚，微积分从此有了坚实基础。
极限的 ε-δ 定义是什么？
lim⁡x→x0f(x)=A\lim_{x\to x_0}f(x)=A 指任给 ε>0\varepsilon>0，存在 δ>0\delta>0，当 0<∣x−x0∣<δ0<\lvert x-x_0\rvert<\delta 时恒有 ∣f(x)−A∣<ε\lvert f(x)-A\rvert<\varepsilon。

史料出处

  • 贝克莱《分析学家》（1734）
  • 柯西《分析教程》（1821）

相关页面