How Math Works
分析与微积分conceptadvanced

极限的 ε–δ 定义

极限是一个承诺:「随你说出多小的误差,我都能满足。」

公式

lim(x→a) f(x) = L ⟺ ∀ε>0, ∃δ>0 : 0 < |x−a| < δ ⟹ |f(x)−L| < ε

怎么读: 无论对方要求输出误差 ε 多小,总能找到一个输入区间 δ,使 f(x) 与 L 的差保持在 ε 以内

ε
允许的输出误差——「靠近到这个程度」的要求
δ
满足这个要求所需的输入区间
|x−a|
输入 x 与 a 之间的距离
|f(x)−L|
输出 f(x) 与目标 L 之间的误差

引子

数学把「无限靠近」这句模糊的话,钉死成了一场「你出题、我应战」的游戏。

通俗地说

无论对方给出多小的误差 ε,只要你都能把输入区间 δ 缩小到让 f(x) 与 L 的差保持在 ε 以内,这个极限就是 L。

直觉

把它想成一场游戏。对手说:「让输出落在 L 的 0.01 以内(这就是 ε)。」你回答:「没问题——只要把输入控制在 a 的 δ 以内就行。」如果无论对方给出多小的 ε,你总能给出对应的 δ,你就赢了,这就是「极限是 L」。靠近不再是一种感觉,而是一条规则。

如何构建

两个部分。ε 是对输出的要求(多接近),δ 是对输入的回应(多窄)。顺序很重要——ε 先给出,δ 再据此选取。通常 δ 依赖于 ε。

示例

证明 lim(x→1)(2x+1)=3。给定 ε=0.1,需要 |2x+1−3|=2|x−1|<0.1,即 |x−1|<0.05,所以 δ=0.05 可行。一般地 δ=ε/2 能应对任意 ε,所以极限是 3。

常见误区

不是先选 δ 再找 ε。ε 永远作为挑战先给出,δ 随后作为回应跟上。顺序一旦颠倒,定义就不成立了。

用在哪里

这个定义是整个微积分的基石——连续性、导数、积分与收敛性都是用这套语言严格化的。去掉模糊性,让数学能够安全地处理无穷。

从何而来

柯西在 19 世纪初埋下了种子,魏尔斯特拉斯用 ε 和 δ 的符号将其完成。它把曾经靠「无穷小」蒙混过关的极限,变成了一场有限的不等式游戏。

前置概念

小测验

对于 lim(x→1)(2x+1)=3,给定 ε=0.2。哪个 δ 能保证 |f(x)−3|<0.2?

  • δ=0.1
  • δ=0.2
  • δ=0.4
  • δ=2

练习

对于 f(x)=3x,lim(x→2)=6。求能保证误差小于 ε=0.3 的最大 δ。

答案: 0.1

解答:
  1. 需要 |3x−6|=3|x−2|<0.3
  2. → |x−2|<0.1,所以 δ=0.1

要点: δ 通常随 ε 按比例变化——这里 δ=ε/3。

对于 f(x)=4x,lim(x→0)=0。能保证误差小于 ε=0.8 的最大 δ 是多少?

答案: 0.2

解答:
  1. 需要 4|x|<0.8
  2. → |x|<0.2,所以 δ=0.2

要点: 斜率越大,同样的 ε 需要越窄的 δ。

对于 f(x)=5x,lim(x→3)=15。用规则 δ=ε/5,满足 ε=1 的 δ 是多少?

答案: 0.2

解答:
  1. δ=ε/5 = 1/5
  2. = 0.2

要点: 对于一条直线,总能用 δ=ε/(斜率) 来回应。

在笔记本上说明为什么「对每个 ε 都存在一个 δ」恰好刻画了「无限靠近」。

答案: undefined

解答:
  1. 「无限靠近」意味着「无论目标误差多小都能达到」
  2. 每个 ε 都有对应的 δ,意味着每个要求都能被满足
  3. 所以没有误差是达不到的 = 真正在靠近

要点: 「每个 ε」刻画了「无限」,「存在一个 δ」刻画了「可达到」。

在应用中继续学习

可拖动的交互组件、自评练习和每日公式——iOS 与 Android 免费。