1. 高校数学の美しい物語
  2. イプシロンデルタ論法とイプシロンエヌ論法

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

更新日時 2021/03/07

関数や数列の極限を厳密に議論するために必要な,イプシロンデルタ論法,イプシロンエヌ論法について解説します。

目次
  • 関数の極限の厳密な定義

  • 他のいろいろな極限の定義

  • 使用例

関数の極限の厳密な定義

limxaf(x)=A\displaystyle\lim_{x\to a}f(x)=A の意味(定義)は,

xx が限りなく aa に近づくとき,f(x)f(x) は限りなく AA に近づく(高校数学)

xa|x-a| が限りなく小さくなるとき,f(x)A|f(x)-A| が限りなく小さくなる

→ どんなに小さな正の ε\varepsilon に対しても xa|x-a| を十分小さくすれば f(x)A<ε|f(x)-A|<\varepsilon となる

任意の正の実数 ε\varepsilon に対して,ある正の実数 δ\delta が存在して,0<xa<δ0<|x-a|<\delta なら f(x)A<ε|f(x)-A|< \varepsilon(イプシロンデルタ論法による厳密な定義)

簡単な例題

limx0100x=0\displaystyle\lim_{x\to 0} 100x=0 を確認せよ。

解答

任意の正の実数 ε\varepsilon に対して,ある正の実数 δ\delta が存在して,

0<x<δ0<|x|<\delta なら 100x<ε|100x|< \varepsilon (*)

を確認すればOK。

もし ε=1\varepsilon=1 と言われたら,δ=0.01\delta=0.01 とすれば(*)を満たす。

もし ε=0.0314\varepsilon=0.0314 と言われたら,δ=0.000314\delta=0.000314 とすれば(*)を満たす。

より一般に,与えられた ε\varepsilon に対して δ=0.01ε\delta=0.01\varepsilon とすれば(*)を満たすのでOK。

他のいろいろな極限の定義

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

関数の極限

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

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

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

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

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

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

数列の極限

limnan=A\displaystyle\lim_{n\to\infty}a_n=A の意味は,

任意の ε>0\varepsilon > 0 に対して,ある NN が存在して,n>Nn > N なら anA<ε|a_n-A| <\varepsilon

(イプシロンエヌ論法)

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

使用例

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

関数の連続性と一様連続性

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

はさみうちの原理の証明

イプシロンエヌ論法を用いて(直感的にも当たり前と思える)事実をきちんと証明します。

チェザロ平均の性質と関連する東大の問題

イプシロンエヌ論法を用いて(直感的にはすぐには分からないかもしれない)事実をきちんと証明します。

イプシロンアール論法とはあまり言わないです。

  1. 高校数学の美しい物語
  2. イプシロンデルタ論法とイプシロンエヌ論法