「イプシロン-デルタ論法」の版間の差分
ε-δ論法は定義であるため、議論とある箇所を定義に改めた |
|||
15行目: | 15行目: | ||
:<math> \lim_{x \to a}f(x) = b </math> |
:<math> \lim_{x \to a}f(x) = b </math> |
||
を ε-δ 論法で |
を ε-δ 論法で定義すると |
||
:<math> \forall\ \varepsilon > 0,\ \exist\ \delta > 0\ \mathrm{s.t.}\ \forall\ x \in \mathbb{R}\ [0 < |x-a| < \delta \rArr |f(x)-b| < \varepsilon]</math> |
:<math> \forall\ \varepsilon > 0,\ \exist\ \delta > 0\ \mathrm{s.t.}\ \forall\ x \in \mathbb{R}\ [0 < |x-a| < \delta \rArr |f(x)-b| < \varepsilon]</math> |
||
21行目: | 21行目: | ||
:任意の[[正の数と負の数|正]]の数 ε に対し、ある適当な正の数 δ が存在して、 0 < |''x'' − ''a''| < δ を満たす全ての[[実数]] ''x''に対し、 |''f''(''x'') − ''b''| < ε が成り立つ。
|
:任意の[[正の数と負の数|正]]の数 ε に対し、ある適当な正の数 δ が存在して、 0 < |''x'' − ''a''| < δ を満たす全ての[[実数]] ''x''に対し、 |''f''(''x'') − ''b''| < ε が成り立つ。
|
||
という意味の式である。極限の式 |
という意味の式である。極限の式は、この ε-δ 論法によって定義される。 |
||
この式が成り立っているとすると0< |''x'' − ''a''| < δ の範囲で実数 ''x'' を動かしているうちは、どのように動かしても ''f''(''x'') と ''b'' との差は高々 ε 程度でしかない。 ''x'' を ''a'' に近付ける |
この式が成り立っているとすると0< |''x'' − ''a''| < δ の範囲で実数 ''x'' を動かしているうちは、どのように動かしても ''f''(''x'') と ''b'' との差は高々 ε 程度でしかない。 ''x'' を ''a'' に近付ける操作を行っている場合でも同様である。 ε は任意に選べば、それに応じて δ が必ず存在し ''x'' が0< |''x'' − ''a''| < δ を満たす限り、 ''f''(''x'') は ''b'' からせいぜい ε しか離れてない範囲に留まり続ける。
|
||
ε は[[無限小]]とは異なり有限の値であるが、 |
ε は[[無限小]]とは異なり有限の値であるが、いかに小さな値であっても δ が必ず存在するという条件が極限の概念を明確に定義している。世界中の人が選んだ ε の中で最も小さい数を ε<sub>1</sub> としたとき、ε<sub>1</sub> に対応する δ<sub>1</sub> を選べば 0 < |''x'' − ''a''| < δ<sub>1</sub> ⇒ |''f''(''x'') − ''b''| < ε<sub>1</sub> を成り立たせることができるが、ε<sub>1</sub> よりもさらに小さい ε<sub>2</sub> = ε<sub>1</sub>/10 という数を考えても同様に対応する δ<sub>2</sub> が存在し 0 < |''x'' − ''a''| < δ<sub>2</sub> ⇒ |''f''(''x'') − ''b''| < ε<sub>2</sub> を成り立たせるようにできる。
|
||
ここで、ε<sub>1</sub>より小さいε<sub>2</sub>のみ考慮するのは、ε<sub>1</sub> < ε<sub>2</sub> を満たす場合、 ε<sub>2</sub> に対して δ<sub>1</sub> によって |
|||
:<math>0 < |x-a| < \delta |
:<math>0 < |x-a| < \delta _1 \rArr |f(x)-b| < \varepsilon _1 < \varepsilon _2</math> |
||
より、δ<sub> |
より、δ<sub>1</sub> が ε<sub>2</sub> に対する δ としても使えるからである。つまりある ε で δ を与えられるなら、より大きい ε に対しても δ を与えられる。逆に ある ε で δ が存在しない場合、任意の ε に対して、適当な δ が存在するという条件を満たさないため、他の ε に対してどうであろうと、極限の存在を示すことはできない。
|
||
: |
:上記の論理式だけで、限りなく近付くという極限の概念を有限の値をとる変数だけで定義できる。 |
||
正の数 ε を任意に選んだとき、条件を満たす正の数 δ が存在する |
正の数 ε を任意に選んだとき、条件を満たす正の数 δ が存在するので、 δ は ε によって制約を受けている変数である。一般に δ は1つとは限らず無数にあるが1つでも見つければ、存在を示したことになる。例えば
|
||
:<math> \lim_{x \to 2} x^2 = 4 </math> |
:<math> \lim_{x \to 2} x^2 = 4 </math> |
||
を ε-δ 論法で考えると、 任意の ε に対して δ = √<span style="text-decoration:overline">ε +4</span> −2 と選べば |
を ε-δ 論法で考えると、 任意の ε に対して δ = √<span style="text-decoration:overline">ε +4</span> −2 と選べば |
2020年6月17日 (水) 23:27時点における版
歴史的背景
ニュートンとライプニッツが創設した微分積分学は、無限小︵どんな正の実数よりも小さな正の数︶や無限大︵どんな実数よりも大きな数︶といった実数の範囲では定義できない概念を用いている。このような状況はオイラーによって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は級数の発散や収束に関する定義に無頓着なまま理論を発展させていったため、しばしば誤った結論が導かれてしまうことがあった。 19世紀に入るとコーシーやベルナルト・ボルツァーノらによって、厳密な定義に基づいて微分積分学を再構築しようとする試みがなされるようになる。この時期から収束や連続に関する定義は厳密化されていく。ε-δ 論法は1860年代のカール・ワイエルシュトラスの講義によって完成されたもので、これによって無限小や無限大という概念を一切使用せずに収束・連続が定義されるようになった[注釈 1][1]。数学史において、微積分学を完成させたとする評価もあるコーシーは﹃解析教程﹄(Cours d'analyse de l'Ecole royale polytechnique) で、ε-δ 論法を用いて関数の連続性の定義を行った。しかし、この時点でも、連続と一様連続の区別はなかったためにコーシーは自著の中でそのことに起因する誤りをおかしている。 なお、ε-δ 論法の登場により一度は数学から追放された無限小や無限大を用いる解析も現代では超実数を用いることで正当化され、超準解析︵Non-standard analysis または古典的に無限小解析 Infinitesimal analysis とも呼ばれる︶という分野で研究されている。数学教育における取り扱い
微積分学の定理の内、特に関数の極限に関する定理は、このε-δ 論法による定義に基づき証明される。言葉を換えれば、ε-δ 論法を用いない微分積分学は厳密な定義に基づかない[2]ため、数学界では高校数学の段階でε-δ 論法による定義を教えるべきである、という意見もある。一方で、数学以外の、自然科学・工学・経済学・医学・社会学等においては、ε-δ 論法による定義に基づく教育を不要と見なす意見もあり、ε-δ 論法による定義を教える事の必要性は、数学教育における古くて新しい論争である。関数値の収束
実関数 f: R→ Rに対して、極限の式数列の収束
実数列 a1, a2, … , an, … が極限の式関数の連続性
実関数 f: R→ Rが関数列の収束
区間 I上で定義された実関数の列 f0(x), f1(x), f2(x), …, fn(x), … に対してI 上で定義される実関数 f(x) が存在し、各 x∈ Iに対して極限の式参考文献
●John R. Taylor 著、林 茂雄, 馬場 凉 (訳) 編﹃計測における誤差解析入門﹄東京化学同人、2000年。ISBN 480790521X。 ●吉永 悦男﹃初等解析学―実数+イプシロン・デルタ+積分﹄1994年。ISBN 4563002305。より深く知りたい人のための参考書の例
●中根美知代‥﹁ε-δ論法とその形成﹂、共立出版、ISBN 978-4320019331︵2010年︶。 ●原惟行、松永秀章‥﹁イプシロン・デルタ論法 完全攻略﹂、共立出版、ISBN 978-4320110120︵2011年︶。 ●田中降幸‥﹁ε-δ論法と論理学﹂、東京図書出版、ISBN 978-4866411217︵2018年︶。 ●宮島静雄‥﹃微分積分学Ⅰ﹄、共立出版、2003年。脚注
注釈
- ^ εは"error"、δは"distance"の頭文字であると理解するのが妥当である。実際、コーシーは彼の著作の中でεを"error"の省略として用いている。