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

関数の極限の厳密な定義

まずは，イプシロンデルタ論法による関数の極限 $\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$

（イプシロンエヌ論法）

$\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つ例を紹介します。

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

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

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