イプシロン-デルタ論法

出典: フリー百科事典『ウィキペディア(Wikipedia)』
2014年4月21日 (月) 01:41時点におけるHotaruike (トーク)による版
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先: 案内検索

ε-δ 論法(イプシロンデルタろんぽう、(ε, δ)-definition of limit)は、解析学において、無限小無限大といった概念を用いずに、有限実数を値のみを用いて極限を議論することを可能にする方法である。

歴史的背景

アイザック・ニュートンゴットフリート・ライプニッツが創設した微分積分学は、その根底に無限小(どんな正の数よりも小さな正の数)や無限大(どんな数よりも大きな数)といった実数の範囲では定義できない概念を用いたものであり、このような状況はレオンハルト・オイラーによって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は級数発散収束に関する議論に無頓着なまま理論を発展させていったため、しばしば誤った結論が導かれてしまうことがあった。

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

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

数学教育における取り扱い

微積分学の定理の内、特に関数の極限に関する定理の多くは、このε-δ 論法によって証明される。逆に言えば、ε-δ 論法を用いない微分積分学は厳密性に欠ける部分が多くなるため、教育界などでは高校数学の段階でε-δ 論法を教えるべきである、という意見もある。一方で、所謂理系分野の学問であっても数学、物理学以外の分野では、ε-δ 論法で記述するほどの厳密性を考慮しなくても、大抵の議論は結果的には正しい結論を得ることが可能であるため、大学においてすらε-δ 論法を不要と見なす意見もあり、ε-δ 論法を教える事の必要性については、数学教育における古くて新しい論争といえる。

関数値の収束

関数 f(x) に対して、極限の式

<math> \lim_{x \to a}f(x) = b </math>

を ε-δ 論法で書くと

<math> \forall \epsilon > 0,\quad \exist \delta > 0\quad \textrm{s.t.}\quad \forall x \isin \mathbb{R},\quad 0 < |x-a| < \delta \rArr |f(x)-b| < \epsilon</math>

となる。 s.t. は such that の略で ∃ の条件を示し、 s.t. 以後の条件を満たすような正の数 δ が存在するということである。すなわち

任意のの数 ε に対し、ある適当な正の数 δ が存在して、 0 < |xa| < δ を満たす全ての実数 xに対し、 |f(x) − b| < ε が成り立つ。

という意味の式である。極限の式の意味は、この ε-δ 論法によって定義される。

この式が成り立っているとすると0< |xa| < δ の範囲で実数 x を動かしているうちは、どのように動かしても f(x) と b との差は高々 ε 程度でしかない。 xa に近付けるという極限操作を行っている最中でもそうである。 ε は任意に選べるので好きなだけ小さくとっておき、それに応じて δ をちゃんと選べば x が0< |xa| < δ を満たす限り、 f(x) は b からせいぜい ε しか離れてない範囲に留まり続けなければならないのである。

ε は無限小とは異なり有限の値であるが、好きなだけ小さく選んでよいという条件が極限の概念を捉えることを可能にしているのである。世界中の人が選んだ ε の中で最も小さい数を ε1 としたとき、ε1 に対応する δ1 を選べば 0 < |xa| < δ1 ⇒ |f(x) − b| < ε1 を成り立たせることができるが、ε1 よりもさらに小さい ε2 = ε1/10 という数を考えても同様に対応する δ2 が存在し 0 < |xa| < δ2 ⇒ |f(x) − b| < ε2 を成り立たせるようにできるということである。ここで何故、小さい数ばかり考えているのかと言えば、今のように ε2 < ε1 という大小関係を満たす 2 つの 正の数があったときに、 ε2 に対して δ2 を選んでおけば

<math>0 < |x-a| < \delta _2 \rArr |f(x)-b| < \epsilon _2 < \epsilon _1</math>

より、δ2 は ε1 に対する δ としても使えるからである。小さい ε で δ を与えられるなら、それより大きい ε に対しても δ を与えられる。逆に 小さい ε で δ が存在しない場合、任意の ε に対して、適当な δ が存在するという条件を満たさないため、他の ε に対してどうであろうと、極限の存在を示すことはできない。

数学的帰納法のように一つの形式を与えるだけで、先の先まで全て捉えることができ、限りなく近付くという極限の概念を有限の値をとる変数だけで説明しているのである。

正の数 ε を任意に選んだとき、条件を満たす正の数 δ が存在するということなので、 δ は ε によって制約を受けている変数である。しかし普通 δ が存在する場合は 1 つとは限らず無数にある。場合に応じて使いやすい δ を 1 つでも見つければ、その存在を示したことになる。例えば

<math> \lim_{x \to 2} x^2 = 4 </math>

を ε-δ 論法で考えると、 任意の ε に対して δ = √ε +4 −2 と選べば

<math>0 < |x-2| < \delta = \sqrt{\epsilon+4}-2</math>

ならば

<math>|x^2-4| = |x+2||x-2| < (\delta+4)\delta = (\sqrt{\epsilon+4}+2)(\sqrt{\epsilon+4}-2) = \epsilon</math>

なので

<math>\forall \epsilon > 0, \quad \exist \delta > 0 \quad \mbox{s.t.} \quad x \isin \mathbb{R}, \quad 0 < |x-2| < \delta \rArr |x^2-4| < \epsilon</math>

が成り立ち、 x → 2 のとき x2 → 4 となることが ε-δ 論法によって示されたことになる。

数列の収束

数列 a1, a2, … , an, … が極限の式

<math> \lim_{n \to \infty}a_n = b </math>

を満たすとは n を大きくしていけば b に限りなく近づいていくということである。

これを ε-δ 論法(ε-N 論法)で考えると

<math>\forall \epsilon > 0, \quad \exist N \isin\mathbb{N} \quad \mbox{s.t.} \quad \forall n \isin\mathbb{N}, \quad n > N \rArr |a_n-b| < \epsilon</math>

となる。

任意の正の数 ε に対し、ある適当な自然数 N が存在し、N より大きい全ての自然数nに対して|anb| < ε

が成り立つ。 という意味である。

つまり N をうまく選べば、添字 nN より大きな an は、 b から高々 ε 程度しか離れられないようにできるということである。 ε は自由に選ぶことができるので好きなだけ小さい正の実数を取ればよい。これによって anb に近付くという状況を表現できる。

このように数列の極限を扱う場合は δ ではなく N を使うため ε-δ 論法ではなく ε-N 論法と呼ばれたりもする。

多くの場合 ε-δ 論法では ε が小さくなるにつれて δ も小さくなっていくが、 ε-N 論法では ε が小さくなれば N を大きくしていかなければならない。

例えば an = (n+1)/n のとき N > 1/ε となるように N を取れば n > N という条件のもとで

<math> \left|{n+1 \over n} -1\right| = \left|{1 \over n}\right| < {1 \over N} < \varepsilon </math>

となるので

<math>\forall \epsilon > 0, \quad \exist N \isin\mathbb{N} \quad \mbox{s.t.} \quad \forall n \isin\mathbb{N}, \quad n > N \rArr |a_n-1| < \epsilon</math>

が成り立ち、数列 an は 1 に収束するということが ε-N 論法によって示されたことになる。

関数の連続性

実関数 f: RR

<math> \lim_{x \to a}f(x) = f(a) </math>

を満たすとき、 f(x) は x = a において連続であるという。この極限の式は ε-δ 論法を用いて関数値の極限として定義される。開区間 I = (p,q) 上の任意の点 aI において f(x) が連続であるとき f(x) は I 上で連続であるという。 これを ε-δ 論法で書くと

<math>\forall \epsilon > 0, \quad \forall a \isin I, \quad \exist \delta > 0 \quad \mbox{s.t.} \quad \forall x \isin I, \quad |x-a| < \delta \rArr |f(x)-f(a)| < \epsilon</math>

となる。

s.t.句の最初に現れる ∀xI という条件によって I閉区間 [p, q] の時もその端点での f(x) の片側連続性
<math> \lim_{x \to p+0}f(x) = f(p) </math>
<math> \lim_{x \to q-0}f(x) = f(q) </math>
が定義される。半開区間 [p,q) や (p, q] などのときも同様である。

このように連続性を ε-δ 論法で定義した場合 δ は ε と a の両方の選び方に影響を受ける可能性がある。

連続性の定義の条件の順序を変えて

<math>\forall \epsilon > 0, \quad \exist \delta > 0 \quad \mbox{s.t.} \quad \forall a \isin I, \quad \forall x \isin I, \quad |x-a| < \delta \rArr |f(x)-f(a)| < \epsilon</math>

とした場合、 δ は ε の選び方だけから制限をうけ、 a の取り方によらない数である。この時 f(x) は I 上で一様連続であるという。

例えば、 I = (0,1] とし、その上で定義された関数 f(x) = テンプレート:分数 は、連続であるが一様連続ではない。なぜなら、どんな δ を選んでも、 <math>a = \min(\delta,1)</math>, x = テンプレート:分数 のとき

<math>\left|x-a\right| =\left|{ a \over{1+a}} - a\right|=\left|-{a^2 \over{1+a}}\right|={ a^2 \over{1+a}}<a=\min(\delta,1)\le \delta</math>

かつ

<math> \left|{1 \over x} - {1 \over a}\right| = \left|{{1+a} \over a} - {1 \over a}\right| = 1</math>

であるから、ε ≤ 1 となる ε に対して条件を満たすような δ は存在しない。

この 1 というのは本質的ではなく、この場合は、どんな ε に対しても条件を満たすような δ が存在しないことがわかる。
このように有界な区間上で定義された連続な関数で無限大に発散しているようなものなどが、連続でも一様連続ではない例としてよく用いられる。

関数列の収束

区間 I 上で定義された関数の f0(x), f1(x), f2(x), …, fn(x), … に対して関数 f(x) が存在し、各 xI に対して極限の式

<math> \lim_{n \to \infty}f_n(x) = f(x) </math>

が成り立つとき、関数列 {fn(x)} は f(x) に各点収束(かくてんしゅうそく)するという。

この定義を ε-N 論法で書けば

<math>\forall \epsilon > 0, \quad \forall x \isin I, \quad \exist N \isin \mbox{N} \quad \mbox{s.t.} \quad \forall n \isin \mbox{N}, n > N \rArr |f_n(x)-f(x)| < \epsilon</math>

となる。 N は ε と x の選び方によって制限を受ける。 x = c などの特定の値で関数列を見たときに f0(c), f1(c), f2(c), …, fn(c), … が数列として f(c) に収束するという意味である。

条件の順序を変えた

<math>\forall \epsilon > 0, \quad \exist N \isin \mbox{N} \quad \mbox{s.t.} \quad \forall x \isin I, \quad \forall n \isin \mbox{N}, \quad n > N \rArr |f_n(x)-f(x)| < \epsilon</math>

が成立するとき、 関数列 {fn(x)} は f(x) に一様収束(いちようしゅうそく)するという。

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

例えば I = (0,1) 上で定義される fn(x) = xnf(x) = 0 という定数関数に各点収束するが、一様収束はしない。ε を 1 より小に取れば、どのように N を大きく取っても、例えば n = N+1 と ε1/(N+1) < x < 1 に対して |fn(x) − f(x)| = xn = xN+1 > ε となってしまうためである。

I の両端点まで含めた区間[0,1] ( I閉包)上で考えると fn(x) = xn は 0 ≤ x < 1 では f(x) = 0 に各点収束し、x = 1 では常に fn(1) = 1 で f(x) = 0 とは連続ではない。こういった事情が、各点収束なのに一様収束ではないという性質と繋がっている。

参考文献

脚注

テンプレート:Reflist

関連項目

  • εは"error"、δは"distance"の頭文字であると理解するのが妥当である。実際、コーシーは彼の著作の中でεを"error"の省略として用いている。