ε-δ 論法（イプシロンデルタろんぽう、(ε, δ)-definition of limit）は、解析学において、（有限な）実数値のみを用いて極限を議論する方法である。アイザック・ニュートンとゴットフリート・ライプニッツが創設した微分積分学は、その根底に無限小（どんな正の数よりも小さな正の数）や無限大（どんな数よりも大きな数）といった実数の範囲では定義できない曖昧な概念を用いたものであり、このような状況はレオンハルト・オイラーによって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は級数の発散や収束に関する議論に無頓着なまま理論を発展させていったため、しばしば誤った結論が導かれてしまうことがあった。19世紀に入るとオーギュスタン＝ルイ・コーシーやベルナルト・ボルツァーノらによって、厳密な議論に基づいて微分積分学を再構築しようとする試みがなされるようになる。この時期から収束や連続に関する議論は次第に厳密性を増していく。ε-δ 論法は1860年代のカール・ワイエルシュトラスの講義によって完成されたもので、これによって無限小や無限大という概念を一切使用せずに収束・連続を議論できるようになった。数学史において、微積分学を完成させたとする評価もあるコーシーは『解析教程』("Cours d'analyse de l'Ecole royale polytechnique") で、ε-δ 論法を用いて関数の連続性の基礎づけを行った。しかし、この時点でも、連続と一様連続の区別はなかったためにコーシーは自著の中でそのことに起因する誤りをおかしている。なお、ε-δ 論法の登場により一度は数学から追放された無限小や無限大を用いる解析も現代では超実数を用いることで正当化され、超準解析（Non-standard analysis または古典的に無限小解析 Infinitesimal analysis とも呼ばれる）という分野で研究されている。微積分学の定理の内、特に関数の極限に関する定理の多くは、このε-δ 論法によって証明される。言葉を換えれば、ε-δ 論法を用いない微分積分学は厳密性に欠ける部分が多くなるため、教育界などでは高校数学の段階でε-δ 論法を教えるべきである、という意見もある。一方で、所謂理系分野の学問であっても数学、物理学以外の分野では、ε-δ 論法が必要となるほどの厳密性を考慮しなくても、大抵の議論は結果だけ見れば正しい結論に行き着くことが可能であるため、大学教育においてすらε-δ 論法を不要と見なす意見もあり、ε-δ 論法を教える事の必要性については、数学教育における古くて新しい論争といえる。関数 "f"("x") に対して、極限の式を ε-δ 論法で書くととなる。 s.t. は "such that" の略で ∃ の条件を示し、 s.t. 以後の条件を満たすような正の数 δ が存在するということである。すなわちという意味の式である。極限の式の意味は、この ε-δ 論法によって定義される。この式が成り立っているとすると0< |"x" − "a"| < δ の範囲で実数 "x" を動かしているうちは、どのように動かしても "f"("x") と "b" との差は高々 ε 程度でしかない。 "x" を "a" に近付けるという極限操作を行っている最中でもそうである。 ε は任意に選べるので好きなだけ小さくとっておき、それに応じて δ をちゃんと選べば "x" が0< |"x" − "a"| < δ を満たす限り、 "f"("x") は "b" からせいぜい ε しか離れてない範囲に留まり続けなければならないのである。ε は無限小とは異なり有限の値であるが、好きなだけ小さく選んでよいという条件が極限の概念を捉えることを可能にしているのである。世界中の人が選んだ ε の中で最も小さい数を ε としたとき、ε に対応する δ を選べば 0 < |"x" − "a"| < δ ⇒ |"f"("x") − "b"| < ε を成り立たせることができるが、ε よりもさらに小さい ε = ε/10 という数を考えても同様に対応する δ が存在し 0 < |"x" − "a"| < δ ⇒ |"f"("x") − "b"| < ε を成り立たせるようにできるということである。ここで何故、小さい数ばかり考えているのかと言えば、今のように ε < ε という大小関係を満たす 2 つの 正の数があったときに、 ε に対して δ を選んでおけばより、δ は ε に対する δ としても使えるからである。小さい ε で δ を与えられるなら、それより大きい ε に対しても δ を与えられる。逆に 小さい ε で δ が存在しない場合、任意の ε に対して、適当な δ が存在するという条件を満たさないため、他の ε に対してどうであろうと、極限の存在を示すことはできない。正の数 ε を任意に選んだとき、条件を満たす正の数 δ が存在するということなので、 δ は ε によって制約を受けている変数である。しかし普通 δ が存在する場合は 1 つとは限らず無数にある。場合に応じて使いやすい δ を 1 つでも見つければ、その存在を示したことになる。例えばを ε-δ 論法で考えると、 任意の ε に対して δ = √ε +4 −2 と選べばならばなのでが成り立ち、 "x" → 2 のとき "x" → 4 となることが ε-δ 論法によって示されたことになる。数列 "a

出典:wikipedia