极限到底是什么：ε 与 δ

为什么「越来越接近」还不够好

我们说 1/n → 0。直觉上，各项 1, 1/2, 1/3, … 「越来越接近」0。可如果有人声称它们越来越接近 −0.0001，听起来也像那么回事——它们在那附近徘徊了好一阵。「越来越接近」这句话分不清一个真正的极限和一次擦肩而过，而且它从不说*有多*接近、*多快*接近。我们需要一个没有任何回旋余地的定义。

数列定义，逐步做出来

形式上，ε–N 定义是：a_n → L 意思是，对每一个 ε > 0，都存在一个分界点 N，使得对所有 n > N 都有 |a_n − L| < ε。把它读成两人对弈。挑战者说出 ε；我必须拿出一个奏效的 N。我们就来真的把 1/n → 0 这局赢下来。

Claim:   lim_{n->inf} 1/n = 0.

Goal (the definition):  for every eps > 0, find N so that
                        n > N  ==>  |1/n - 0| < eps.

Scratch work (find N).  We want  |1/n - 0| = 1/n < eps.
  Since n > 0,  1/n < eps  is the same as  n > 1/eps.
  So any N at least 1/eps will do. Pick N = 1/eps.

Clean proof.
  Let eps > 0 be arbitrary.        <- challenger hands us eps
  Choose N = 1/eps.                <- our response
  Suppose n > N = 1/eps.
  Then  n > 1/eps,  so  1/n < eps.
  And since n > 0,   |1/n - 0| = 1/n < eps.        QED for this eps.

The N depended on eps (smaller eps forces larger N) -- exactly right.
Because eps was ARBITRARY, the promise holds for ALL eps. Limit = 0.

Contrast the FALSE claim  1/n -> -0.0001 :
  take eps = 0.0001. We would need |1/n - (-0.0001)| = 1/n + 0.0001 < 0.0001,
  i.e. 1/n < 0, impossible. The promise FAILS for this one eps -> claim dead.

一个完整的 ε–N 证明。量词的顺序就是整局游戏：ε 先出（挑战），然后选出 N 来应答它。

函数的定义：δ 应答 ε

对函数来说，「接近」必须在两个轴上都受控，于是分界点 N 被换成输入上的一个半径 δ。函数极限的ε–δ 定义：lim_{x→a} f(x) = L 意思是，对每一个 ε > 0，都存在一个 δ > 0，使得 0 < |x − a| < δ 就强制 |f(x) − L| < ε。你要求输出落在 L 的 ε 范围内；我找出 a 周围一个宽度为 δ 的窗口，在其中我能守住这个承诺。

Claim:   lim_{x->3}  (2x + 1)  =  7.

Goal:  for every eps > 0, find delta > 0 so that
       0 < |x - 3| < delta  ==>  |(2x+1) - 7| < eps.

Scratch work.  Simplify the output gap:
  |(2x+1) - 7| = |2x - 6| = 2|x - 3|.
  We want  2|x - 3| < eps,  i.e.  |x - 3| < eps/2.
  So choosing delta = eps/2 should work.

Clean proof.
  Let eps > 0 be arbitrary.
  Choose delta = eps/2 > 0.
  Suppose 0 < |x - 3| < delta = eps/2.
  Then |(2x+1) - 7| = 2|x - 3| < 2 * (eps/2) = eps.        QED.

The input window (delta) shrinks in proportion to the demanded output
precision (eps). That proportionality IS the slope 2 made rigorous.

一个函数极限的 ε–δ 证明。我们在草稿里从 ε 反推出 δ，再把干净的正向论证写出来。

现在有两个习惯清晰可见，值得一辈子保留。第一，*草稿是倒着走的*（从目标 |f(x) − L| < ε 出发，反解出输入窗口），而*写出来的证明是正着走的*（先声明 δ，再推出结论）。第二，答案 δ 允许依赖于 ε——这种依赖正是极限概念的定量核心。把这局游戏练到家，分析学后面的每一条定理，都只是同一招式的加长版。