極限到底是什麼：ε 與 δ

為什麼「越來越接近」還不夠好

我們說 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| < ε 出發，反解出輸入窗口），而*寫出來的證明是正著走的*（先聲明 δ，再推出結論）。第二，答案 δ 允許依賴於 ε——這種依賴正是極限概念的定量核心。把這局遊戲練到家，分析學後面的每一條定理，都只是同一招式的加長版。