イプシロン-デルタ論法

ε-δ論法（イプシロンデルタろんぽう、）は、解析学において、実数値のみを用いることで（無限を直接に扱うことを回避しながら）関数の極限を厳密に定義する方法である。列の極限を定義する類似の方法にε-N論法（イプシロンエヌろんぽう）があり、本記事ではこれも扱う。
歴史的背景.
ニュートンとライプニッツが創設した微分積分学は、無限小（どんな正の実数よりも小さな正の数）や無限大（どんな実数よりも大きな数）といった実数の範囲では定義できない概念を用いている。このような状況はオイラーによって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は級数の発散や収束に関する定義に無頓着なまま理論を発展させていったため、しばしば誤った結論が導かれてしまうことがあった。
19世紀に入るとコーシーやベルナルト・ボルツァーノらによって、厳密な定義に基づいて微分積分学を再構築しようとする試みがなされるようになる。この時期から収束や連続に関する定義は厳密化されていく。ε-δ論法は1860年代のカール・ワイエルシュトラスの講義によって完成されたもので、これによって無限小や無限大という概念を一切使用せずに収束・連続が定義されるようになった。数学史において、微積分学を完成させたとする評価もあるコーシーは『解析教程』("Cours d'analyse de l'Ecole royale polytechnique") で、ε-δ論法を用いて関数の連続性の定義を行った。しかし、この時点でも、連続と一様連続の区別はなかったためにコーシーは自著の中でそのことに起因する誤りをおかしている。
なお、ε-δ論法の登場により一度は数学から追放された無限小や無限大を用いる解析も現代では超実数を用いることで正当化され、超準解析（Non-standard analysis または古典的に無限小解析 Infinitesimal analysis とも呼ばれる）という分野で研究されている。
数学教育における取り扱い.
微積分学の定理の内、特に関数の極限に関する定理は、この ε-δ論法による定義に基づき証明される。言葉を代えれば、ε-δ論法を用いない微分積分学は厳密な定義に基づかないため、数学界では高校数学の段階で ε-δ論法による定義を教えるべきである、という意見もある。一方で、数学以外の、自然科学・工学・経済学・医学・社会学等においては、ε-δ論法による定義に基づく教育を不要と見なす意見もあり、ε-δ論法による定義を教えることの必要性は、数学教育における古くて新しい論争である。
関数値の収束.
限りなく近付くという極限の概念は、以下に示す、有限の値をとる変数の論理式だけで定義することができる。
実関数 に対して、極限の式
とは、
ことであった。これを ε-δ論法で定義すると
となる。これは
という意味の条件である。ε-δ論法による極限値の定義の妥当性は次のようになる。
 が にいくらでも近づくとは、有限値で表現すると、任意の に対して、 が の 近傍に属するようになっていくということになる。そこで、 の値に応じて が存在し、 が の 近傍に属していれば、それを満たすということになる。
 は無限小でなく有限の値であるが、それぞれいくらでも小さい値を取れるということが極限の概念を明確に定義している。 の一つを とするとき、 に対応する を選べば を成り立たせることができるが、 よりもさらに小さい （例えば ）を考えると、成立しなくなりうる。しかしその分より小さい を適当に取ることで、 が成り立つようにできる。
否定である、極限が存在しないとは、ある で が存在しないとなる。
条件を満たすとき、正の数 は に依存する変数である。 に対する は一般に1つとは限らず無数にあるが、1つでも見つければ存在を示したことになる。例えば
を ε-δ論法で考えると次のようになる。任意の に対して と取れば
ならば
なので
が成り立ち、 のとき となることが ε-δ論法により示されたことになる。
数列の収束.
実数列 の極限値が 
であるとは、 を大きくすれば は に限りなく近づくという意味であった。
これを有限値による論理式で定義すると
となる。これは
が成り立つ、という意味である。この論理式は ではなく を使うため ε-δ論法ではなく ε-"N"論法と呼ばれる。ε-"N"論法による数列の極限の定義の妥当性は次のようになる。
 が にいくらでも近づくとは、有限値で表すと、任意の正の数 に対して が の 近傍に属していくということになる。そこで、十分大きな を取ると、 より大きい全ての番号 に対し、 は の 近傍に入るということになる。ここで は に依存する数である。
例えば のとき となるように を取れば という条件のもとで
となるので
が成り立ち、数列 は に収束することが ε-"N"論法による定義に基づき示される。
関数の連続性.
実関数 が
を満たすとき、 は で連続であるという。この条件は関数の極限を ε-δ論法で表すことで定義される。開区間 上の任意の点 で が連続であるとき、 は 上連続であるという。これを ε-δ論法で定義すると
となる。
このように連続性を ε-δ論法で定義した場合 は と の両方に依存する可能性がある。
連続性の定義の条件の順序を変えて
とした場合、 は のみに依存し、 に依存しない。この時 は 上一様連続であるという。
例えば、 とし、その上で定義された関数 は、連続であるが一様連続ではない。なぜなら、どんな を選んでも、formula_16, のとき
かつ
であるから、 となる に対して条件を満たすような は存在しない。
関数列の収束.
区間 上で定義された実関数の列 に対して"I" 上で定義される実関数 が存在し、各 に対して極限の式
が成り立つとき、関数列 は に各点収束（かくてんしゅうそく）するという。
上記を "ε"-"N" 論法で定義すれば
となる。 は に依存する。 などの特定の値で関数列を見たときに が数列として に収束するという意味である。
条件の順序を変えた
が成立するとき、 関数列 は に一様収束（いちようしゅうそく）するという。
この条件は各点収束と違い、 は と無関係に のみに依る、言い換えると区間 内の全ての に共通の が取れる、という意味である。
例えば 上で定義される は という定数関数に各点収束するが、一様収束はしない。 を より小に取れば、どのように を大きく取っても、例えば と に対して となってしまうためである。