イプシロンデルタ論法とイプシロンエヌ論法

まずは，イプシロンデルタ論法による関数の極限 $\displaystyle\lim_{x\to a}f(x)$ の定義です。

赤字の主張は意味がわかりにくいですね。これを理解するために，高校数学における極限の大雑把な意味を思い出してみます。

紫字の主張はわかりやすいです。これを1→2→3の順で徐々に言い換えてみましょう。

1. $|x-a|$ が限りなく $0$ に近づくとき，$|f(x)-A|$ が限りなく $0$ に近づく

2. どんなに小さな正の $\varepsilon$ に対しても $|x-a|$ を十分 $0$ に近づければ $|f(x)-A|<\varepsilon$ となる

3. 任意の正の実数 $\varepsilon$ に対して，ある正の実数 $\delta$ が存在して，$0<|x-a|<\delta$ なら $|f(x)-A|< \varepsilon$

$x$ が限りなく $0$ に近づくとき，$100x$ も限りなく $0$ に近づくことは明らかですが，イプシロンデルタ論法による極限の定義をきちんと確認してみましょう。

$\displaystyle\lim_{x\to a}f(x)=A$ の定義さえきちんと理解できれば，他の定義もすんなり受け入れられる（自分で構成できる）と思います。

関数の極限

$\displaystyle\lim_{x\to a}f(x)=\infty$ （正の無限大に発散）の意味は，

任意の実数 $R$ に対して，ある $\delta> 0$ が存在して，$0<|x-a|<\delta$ なら $f(x) > R$

$\displaystyle\lim_{x\to a}f(x)=-\infty$ （負の無限大に発散）の意味は，

任意の実数 $R$ に対して，ある $\delta> 0$ が存在して，$0<|x-a|<\delta$ なら $f(x) < R$

$\displaystyle\lim_{x\to \infty}f(x)=A$ （無限大に行くときの極限）の意味は，

任意の $\varepsilon >0$ に対して，ある $R> 0$ が存在して，$x>R$ なら $|f(x)-A|< \varepsilon$

数列の極限

$\displaystyle\lim_{n\to\infty}a_n=A$ の意味は，

任意の $\varepsilon > 0$ に対して，ある $N$ が存在して，$n > N$ なら $|a_n-A| <\varepsilon$

※ 任意の $\varepsilon$ に対して $\delta$ を取ってくるのがイプシロンデルタ論法でした。数列の極限では，任意の $\varepsilon$ に対して $N$ を取ってくるのでイプシロンエヌ論法ということが多いです。

$\displaystyle\lim_{x\to -\infty}f(x)=A$ ，$\displaystyle\lim_{n\to\infty}a_n=\infty$ ，$\displaystyle\lim_{n\to\infty}a_n=-\infty$ などについても考えてみてください。

イプシロンデルタ論法に慣れるためにはいろいろな証明を読んだり，自分で問題を解くのが一番です。ここでは3つ例を紹介します。

• 関数の連続性と一様連続性
  イプシロンデルタ論法を用いて，関数の連続性について議論します。

• はさみうちの原理の証明
  イプシロンエヌ論法を用いて（直感的にも当たり前と思える）事実をきちんと証明します。

• チェザロ平均の性質と関連する東大の問題
  イプシロンエヌ論法を用いて（直感的にはすぐには分からないかもしれない）事実をきちんと証明します。

また，いくつか例題を載せた記事もあります。是非チェックしてみてください。

• 攻略！ ε-N/ε-δ 論法～その1～
• 攻略！ ε-N/ε-δ 論法～その2～
• 攻略！ ε-N/ε-δ 論法～その3～

イプシロンデルタ論法は「近傍」によって連続性を理解するものと言えます。これは距離空間というアイデアに拡張されていきます。

詳しくは 距離空間～位相空間論に向けた開集合・閉集合の一般化 を読んでみてください。