イプシロン-デルタ論法

解析学において、**ε-δ論法**（イプシロンデルタろんぽう、）とは、実数値のみを用いることで（無限を直接に扱うことを回避しながら）関数の極限を定義する方法である。本来は使用する文字は何でも良いが、慣例的に「ε」「δ」が使用されることが多いので、このような名称が付けられた。

「異なる値を取りながら、限りなく近づく」という定義が忌避されるのは、厳密性に欠けるからではなく、「限りなく（＝無限）」を直接に扱っているからである。

列の極限を定義する類似の方法に**ε-N論法**（イプシロンエヌろんぽう）があり、本記事ではこれも扱う。

## 歴史的背景
ニュートンとライプニッツが創設した微分積分学は、無限小（どんな正の実数よりも小さな正の数）や無限大（どんな実数よりも大きな数）といった実数の範囲では定義できない概念を用いている。このような状況はオイラーによって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は級数の発散や収束に関する定義に無頓着なまま理論を発展させていったため、しばしば誤った結論が導かれてしまうことがあった。

19世紀に入るとコーシーやベルナルト・ボルツァーノらによって、厳密な定義に基づいて微分積分学を再構築しようとする試みがなされるようになる。この時期から収束や連続に関する定義は厳密化されていく。ε-δ論法は1860年代のカール・ワイエルシュトラスの講義によって完成されたもので、これによって無限小や無限大という概念を一切使用せずに収束・連続が定義されるようになった。数学史において、微積分学を完成させたとする評価もあるコーシーは『解析教程』(*Cours d'analyse de l'Ecole royale polytechnique*) で、ε-δ論法を用いて関数の連続性の定義を行った。しかし、この時点でも、連続と一様連続の区別はなかったためにコーシーは自著の中でそのことに起因する誤りをおかしている。

なお、ε-δ論法の登場により一度は数学から追放された無限小や無限大を用いる解析も現代では**超実数**を用いることで正当化され、超準解析（Non-standard analysis または古典的に**無限小解析** Infinitesimal analysis とも呼ばれる）という分野で研究されている。

## 関数値の収束
限りなく近付くという極限の概念は、以下に示す、有限の値をとる変数の論理式だけで定義することができる。

実関数  に対して、極限の式
:\lim_{x \to a}f(x) = b
とは、
:（もし） を  に限りなく近づけさえすれば、 は（必ず） に近づく
ことであった。これを ε-δ論法で定義すると
:{}^{\forall} \varepsilon >0,\; {}^{\exist} \delta >0 \;;\; {}^{\forall} x \in \mathbb{R} \; [0 
となる。これは
:任意の正の数  に対し、ある適当な正の数  が存在して、 を満たす全ての実数  に対し、 が成り立つ。
という意味の条件である。ε-δ論法による極限値の定義の妥当性は次のようになる。

 が  にいくらでも近づくとは、有限値で表現すると、任意の  に対して、 が  の 近傍に属するようになっていくということになる。そこで、 の値に応じて  が存在し、 が  の  近傍に属していれば、それを満たすということになる。

 は無限小でなく有限の値であるが、それぞれいくらでも小さい値を取れるということが極限の概念を明確に定義している。 の一つを  とするとき、 に対応する  を選べば  を成り立たせることができるが、 よりもさらに小さい （例えば ）を考えると、成立しなくなりうる。しかしその分より小さい  を適当に取ることで、 が成り立つようにできる。

否定である、極限が存在しないとは、ある  で  が存在しないとなる。

条件を満たすとき、正の数  は  に依存する変数である。 に対する  は一般に1つとは限らず無数にあるが、1つでも見つければ存在を示したことになる。例えば
:\lim_{x \to 3} x^2 = 9
を ε-δ論法で考えると次のようになる。任意の  に対して  と取れば
:0
ならば
:|x^2-9|=|x+3||x-3| 
なので
:{}^{\forall} \varepsilon >0,\; {}^{\exist} \delta >0 \;;\; x \in \mathbb{R} \; [0 
が成り立ち、 のとき  となることが ε-δ論法により示されたことになる。

## 数列の収束
実数列  の極限値が 
:\lim_{n \to \infty}a_n = b
であるとは、 を大きくすれば  は  に限りなく近づくという意味であった。

これを有限値による論理式で定義すると
:{}^{\forall} \varepsilon >0,\; {}^{\exist} N \in \mathbb{N} \;\mathrm{s.t.}\; {}^{\forall} n \in \mathbb{N} \; [n>N \rArr |a_n-b| 
となる。これは
:任意の正の数  に対し、ある適当な自然数  が存在し、 より大きい全ての自然数  に対して 
が成り立つ、という意味である。この論理式は  ではなく  を使うため ε-δ論法ではなく **ε-''N''論法**と呼ばれる。ε-*N*論法による数列の極限の定義の妥当性は次のようになる。

 が  にいくらでも近づくとは、有限値で表すと、任意の正の数  に対して  が  の 近傍に属していくということになる。そこで、十分大きな  を取ると、 より大きい全ての番号  に対し、 は  の 近傍に入るということになる。ここで  は  に依存する数である。

:ε-δ論法では  が小さくするにつれて  を小さくとらなければならないが、ε-*N*論法では  を小さくするにつれて  を大きくしなければならない。

例えば  のとき  となるように  を取れば  という条件のもとで
:\left| \frac{n+1}{n} -1 \right| = \frac{1}{n} 
となるので
:{}^{\forall} \varepsilon >0,\; {}^{\exist} N \in \mathbb{N} \;\mathrm{s.t.}\; {}^{\forall} n \in \mathbb{N} \; [n > N \rArr |a_n-1| 
が成り立ち、数列  は  に収束することが ε-*N*論法による定義に基づき示される。

## 関数の連続性
実関数  が
:\lim_{x \to a}f(x) = f(a)
を満たすとき、 は  で**[[連続 (数学)|連続]]**であるという。この条件は関数の極限を ε-δ論法で表すことで定義される。開区間  上の任意の点  で  が連続であるとき、 は  上連続であるという。これを ε-δ論法で定義すると
:{}^{\forall} \varepsilon >0,\; {}^{\forall} a \in I,\; {}^{\exist} \delta >0 \; \mathrm{s.t.}\; {}^{\forall} x \in I\; [|x-a| 
となる。
:s.t.句の最初に現れる  という条件によって  が閉区間  の時もその端点での  の片側連続性
::\lim_{x \to p+}f(x) = f(p)
::\lim_{x \to q-}f(x) = f(q)
:が定義される。半開区間  や  などのときも同様である。
このように連続性を ε-δ論法で定義した場合  は  と  の両方に依存する可能性がある。

連続性の定義の条件の順序を変えて
:{}^{\forall} \varepsilon > 0,\; {}^{\exist} \delta > 0 \;\mathrm{s.t.}\; {}^{\forall} a \in I, {}^{\forall} x \in I\; [|x-a| 
とした場合、 は  のみに依存し、 に依存しない。この時  は  上**[[一様連続]]**であるという。

例えば、 とし、その上で定義された関数  は、連続であるが一様連続ではない。なぜなら、どんな  を選んでも、a = \min(\delta,1),  のとき
:\left| x-a \right| =\left| \frac{a} {1+a} - a \right| = \frac{a^2}{1+a} 
かつ
:\left| \frac{1}{x} - \frac{1}{a} \right| = \left| \frac{1+a}{a} - \frac{1}{a} \right| = 1
であるから、 となる  に対して条件を満たすような  は存在しない。
:この  というのは本質的ではなく、この場合は、どんな  に対しても条件を満たすような  が存在しないことが分かる。
:このように有界な区間上で定義された連続な関数で無限大に発散しているようなものなどが、連続だが一様連続ではない例としてよく用いられる。

## 関数列の収束
区間  上で定義された実関数の列  に対して*I* 上で定義される実関数  が存在し、各  に対して極限の式
:\lim_{n \to \infty} f_n(x) = f(x)
が成り立つとき、関数列  は  に**各点収束**（かくてんしゅうそく）するという。

上記を *ε*-*N* 論法で定義すれば
:{}^{\forall} \varepsilon >0,\; {}^{\forall} x \in I,\; {}^{\exist} N \in \mathrm{N} \;\mathrm{s.t.}\; {}^{\forall} n \in \mathbb{N}\; [n > N \rArr |f_n(x)-f(x)| 
となる。 は  に依存する。 などの特定の値で関数列を見たときに  が数列として  に収束するという意味である。

条件の順序を変えた
:{}^{\forall} \varepsilon >0,\; {}^{\exist} N \in \mathbb{N} \; \mathrm{s.t.}\; {}^{\forall} x \in I,\; {}^{\forall} n \in \mathbb{N};\ [n > N \rArr |f_n(x)-f(x)| 
が成立するとき、 関数列  は  に**一様収束**（いちようしゅうそく）するという。

この条件は各点収束と違い、 は  と無関係に  のみに依る、言い換えると区間  内の全ての  に共通の  が取れる、という意味である。

例えば  上で定義される  は  という定数関数に各点収束するが、一様収束はしない。 を  より小に取れば、どのように  を大きく取っても、例えば  と  に対して  となってしまうためである。
:*I* の両端点まで含めた区間 （ の閉包）上で考えると、 は  では  に各点収束し、 では常に  で、 とは連続ではない。こういった事情が、各点収束なのに一様収束ではないという性質と繋がっている。

## 数学教育における取り扱い
微積分学の定理の内、特に関数の極限に関する定理は、この ε-δ論法による定義に基づき証明される。言葉を代えれば、ε-δ論法を用いない微分積分学は厳密な定義に基づかないため、数学界では高校数学の段階で ε-δ論法による定義を教えるべきである、という意見もある。一方で、数学以外の自然科学を含む多くの分野ではε-δ論法により定義されるほどの厳密さを用いなくても、(過程はともかく)結果的には正しい結論に至ることが多く、それらの分野においては大学教育であっても不要と見なす意見もあり、ε-δ論法による定義を教えることの必要性は、数学教育における古くて新しい論争である。

## 脚注
### 注釈

### 出典

## 参考文献

* 
* 
* 
* 
* 
* 

## 関連項目
* 連続 (数学)
* 極限
* はさみうちの原理
* 0.999...