イプシロン-デルタ論法
表示
ε-δ 論法︵イプシロンデルタろんぽう、(ε, δ)-definition of limit︶は、解析学において、︵有限な︶実数値のみを用いて極限を定義する方法である。
歴史的背景
ニュートンとライプニッツが創設した微分積分学は、無限小︵どんな正の実数よりも小さな正の数︶や無限大︵どんな実数よりも大きな数︶といった実数の範囲では定義できない概念を用いている。このような状況はオイラーによって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は級数の発散や収束に関する定義に無頓着なまま理論を発展させていったため、しばしば誤った結論が導かれてしまうことがあった。 19世紀に入るとコーシーやベルナルト・ボルツァーノらによって、厳密な定義に基づいて微分積分学を再構築しようとする試みがなされるようになる。この時期から収束や連続に関する定義は厳密化されていく。ε-δ論法は1860年代のカール・ワイエルシュトラスの講義によって完成されたもので、これによって無限小や無限大という概念を一切使用せずに収束・連続が定義されるようになった[注釈 1][1]。数学史において、微積分学を完成させたとする評価もあるコーシーは﹃解析教程﹄(Cours d'analyse de l'Ecole royale polytechnique) で、ε-δ論法を用いて関数の連続性の定義を行った。しかし、この時点でも、連続と一様連続の区別はなかったためにコーシーは自著の中でそのことに起因する誤りをおかしている。 なお、ε-δ論法の登場により一度は数学から追放された無限小や無限大を用いる解析も現代では超実数を用いることで正当化され、超準解析︵Non-standard analysis または古典的に無限小解析 Infinitesimal analysis とも呼ばれる︶という分野で研究されている。数学教育における取り扱い
微積分学の定理の内、特に関数の極限に関する定理は、この ε-δ論法による定義に基づき証明される。言葉を代えれば、ε-δ論法を用いない微分積分学は厳密な定義に基づかない[2]ため、数学界では高校数学の段階で ε-δ論法による定義を教えるべきである、という意見もある。一方で、数学以外の、自然科学・工学・経済学・医学・社会学等においては、ε-δ論法による定義に基づく教育を不要と見なす意見もあり、ε-δ論法による定義を教えることの必要性は、数学教育における古くて新しい論争である。関数値の収束
限りなく近付くという極限の概念は、以下に示す、有限の値をとる変数の論理式だけで定義することができる。 実関数 f: R→ Rに対して、極限の式 を ε-δ論法で定義すると となる。これは 任意の正の数 ε に対し、ある適当な正の数 δ が存在して、0 < |x − a| < δ を満たす全ての実数 xに対し、|f(x) − b| < ε が成り立つ。 という意味の式である。極限の式は、この ε-δ 論法によって定義される。 この式が成り立っているとすると、x を aに近づけ xと aの差を δ 未満にさえすれば、f(x) と bの差は ε 未満になる。ε > 0 は任意であるから、f(x) は bにいくらでも近づくことになる。 ε, δ は無限小でなく有限の値であるが、それぞれいくらでも小さい値を取れるということが極限の概念を明確に定義している。ε > 0 の一つを ε1 とするとき、ε1 に対応する δ1 を選べば 0 < |x − a| < δ1 ⇒ |f(x) − b| < ε1 を成り立たせることができるが、ε1 よりもさらに小さい ε2︵例えば ε1/10︶を考えると、成立しなくなりうる。しかしその分より小さい δ2 を適当に取ることで、0 < |x − a| < δ2 ⇒ |f(x) − b| < ε2 が成り立つようにできる。 逆に、ある ε で δ が存在しない場合、極限が存在しないことになる。 正の数 ε を任意に取ったとき、条件を満たす正の数 δ は ε に依存する変数である。ε に対する δ は一般に1つとは限らず無数にあるが、1つでも見つければ存在を示したことになる。例えば を ε-δ 論法で考えると次のようになる。任意の ε に対して δ = √ε + 9 − 3 と取れば ならば なので が成り立ち、x → 3 のとき x2→ 9 となることが ε-δ 論法により示されたことになる。数列の収束
実数列 a1, a2, …, an, … が極限の式 を満たすとは、n を大きくすれば anは bに限りなく近づくという意味である。 これを 論理式で定義すると となる。 任意の正の数 ε に対し、ある適当な自然数 Nが存在し、N より大きい全ての自然数 nに対して |an − b| < ε が成り立つ。 という意味である。 N をうまく取れば、番号 nが Nより大きければ、an は、b から高々 ε 程度しか離れられないようにできる。ε の任意性により、an は bにいくらでも近づく。 数列の極限に関する定義は δ ではなく Nを使うため ε-δ論法ではなく ε-N論法と呼ばれる。 ε-δ論法では ε が小さくなるにつれて δ も小さくなっていくが、ε-N論法では ε が小さくなれば Nを大きくしていかなければならない。 例えば an= n+ 1/n のとき N> 1/ε となるように Nを取れば n> Nという条件のもとで となるので が成り立ち、数列 anは 1に収束することが ε-N論法による定義に基づき示される。関数の連続性
実関数 f: R→ Rが を満たすとき、 f(x) は x= aにおいて連続であるという。この極限の式は ε-δ 論法を用いて関数値の極限として定義される。開区間 I= (p,q) 上の任意の点 a∈ Iにおいて f(x) が連続であるとき f(x) は I上で連続であるという。 これを ε-δ 論法で定義すると となる。 s.t.句の最初に現れる ∀x ∈ Iという条件によって Iが閉区間 [p, q] の時もその端点での f(x) の片側連続性 が定義される。半開区間 [p,q) や (p, q] などのときも同様である。 このように連続性を ε-δ 論法で定義した場合 δ は ε と aの両方の選び方に影響を受ける可能性がある。 連続性の定義の条件の順序を変えて とした場合、 δ は ε の選び方だけから制限をうけ、 aの取り方によらない数である。この時 f(x) は I上で一様連続であるという。 例えば、 I= (0,1] とし、その上で定義された関数 f(x) = 1⁄x は、連続であるが一様連続ではない。なぜなら、どんな δ を選んでも、 , x= a⁄(1+a) のとき かつ であるから、ε ≤ 1 となる ε に対して条件を満たすような δ は存在しない。 この1というのは本質的ではなく、この場合は、どんな ε に対しても条件を満たすような δ が存在しないことがわかる。 このように有界な区間上で定義された連続な関数で無限大に発散しているようなものなどが、連続でも一様連続ではない例としてよく用いられる。関数列の収束
区間 I上で定義された実関数の列 f0(x), f1(x), f2(x), …, fn(x), … に対してI 上で定義される実関数 f(x) が存在し、各 x∈ Iに対して極限の式 が成り立つとき、関数列 {fn(x)} は f(x) に各点収束︵かくてんしゅうそく︶するという。 上記を ε-N 論法で定義すれば となる。 Nは ε と xの選び方によって制限を受ける。 x= cなどの特定の値で関数列を見たときに f0(c), f1(c), f2(c), …, fn(c), … が数列として f(c) に収束するという意味である。 条件の順序を変えた が成立するとき、 関数列 {fn(x)} は f(x) に一様収束︵いちようしゅうそく︶するという。 この条件は各点収束と違い、N は xと無関係に ε のみに依る、言い換えると区間 I内の全ての xに共通の Nが取れる、という意味である。 例えば I= (0,1) 上で定義される fn(x) = xnは f(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 とは連続ではない。こういった事情が、各点収束なのに一様収束ではないという性質と繋がっている。
参考文献
●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"の省略として用いている。
出典
(一)^ “My question is not about who was first with this notation, but rather:”. mathoverflow.net. math over flow. 2020年1月26日閲覧。
(二)^ “かつての教育課程では、厳密でない定義に基づく証明を堂々と載せていた。”. saitei.net. saitei.net (2017年6月29日). 2020年1月25日閲覧。