「イプシロン-デルタ論法」の版間の差分
→数学教育における取り扱い: 内容追加 タグ: モバイル編集 モバイルウェブ編集 |
m 記述移動 |
||
(10人の利用者による、間の40版が非表示) | |||
1行目: | 1行目: | ||
{{脚注の不足|date=2023年6月}} |
|||
'''ε-δ 論法'''(イプシロンデルタろんぽう、(ε, δ)-definition of limit)は、[[解析学]]において、([[有限]]な)[[実数]]値のみを用いて[[極限]]を議論する方法である。 |
|||
'''ε-δ論法'''(イプシロンデルタろんぽう、{{Lang-en|(ε, δ)-definition of limit}})は、[[解析学]]において、[[実数]]値のみを用いることで([[無限]]を直接に扱うことを回避しながら)[[関数の極限]]を厳密に定義する方法である。[[列の極限]]を定義する類似の方法に'''ε-N論法'''(イプシロンエヌろんぽう)があり、本記事ではこれも扱う。 |
|||
== 歴史的背景 == |
== 歴史的背景 == |
||
[[アイザック・ニュートン|ニュートン]]と[[ゴットフリート・ライプニッツ|ライプニッツ]]が創設した[[微分積分学]]は、 |
[[アイザック・ニュートン|ニュートン]]と[[ゴットフリート・ライプニッツ|ライプニッツ]]が創設した[[微分積分学]]は、[[無限小]]︵どんな正の実数よりも小さな正の数︶や[[無限|無限大]]︵どんな実数よりも大きな数︶といった[[実数]]の範囲では定義できない概念を用いている。このような状況は[[レオンハルト・オイラー|オイラー]]によって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は[[級数]]の[[発散級数|発散]]や[[収束級数|収束]]に関する定義に無頓着なまま理論を発展させていったため、しばしば誤った結論が導かれてしまうことがあった。
|
||
19世紀に入ると[[オーギュスタン=ルイ・コーシー|コーシー]]や[[ベルナルト・ボルツァーノ]]らによって、厳密な |
19世紀に入ると[[オーギュスタン=ルイ・コーシー|コーシー]]や[[ベルナルト・ボルツァーノ]]らによって、厳密な定義に基づいて微分積分学を再構築しようとする試みがなされるようになる。この時期から収束や[[連続]]に関する定義は厳密化されていく。ε-δ論法は1860年代の[[カール・ワイエルシュトラス]]の講義によって完成されたもので、これによって無限小や無限大という概念を一切使用せずに収束・連続が定義されるようになった<ref group="注釈">ε は"error"、δ は"distance"の頭文字であると理解するのが妥当である。実際、コーシーは彼の著作の中で ε を"error"の省略として用いている。</ref><ref>{{Cite web |url=https://web.archive.org/web/20200125151433/https://mathoverflow.net/questions/82302/why-do-we-use-epsilon-and-delta/82310 |title=My question is not about who was first with this notation, but rather: |website=mathoverflow.net |publisher=math over flow |date= |accessdate=2020-01-26}}</ref>。数学史において、微積分学を完成させたとする評価もあるコーシーは﹃解析教程﹄(''Cours d'analyse de l'Ecole royale polytechnique'') で、ε-δ論法を用いて関数の連続性の定義を行った。しかし、この時点でも、連続と[[一様連続]]の区別はなかったためにコーシーは自著の中でそのことに起因する誤りをおかしている。
|
||
なお、 |
なお、ε-δ論法の登場により一度は数学から追放された無限小や無限大を用いる解析も現代では'''超実数'''を用いることで正当化され、[[超準解析]](Non-standard analysis または古典的に'''無限小解析''' Infinitesimal analysis とも呼ばれる)という分野で研究されている。 |
||
⚫ | |||
⚫ |
微積分学の定理の内、特に関数の極限に関する定理 |
||
== 関数値の収束 == |
== 関数値の収束 == |
||
限りなく近付くという極限の概念は、以下に示す、有限の値をとる変数の論理式だけで定義することができる。 |
|||
⚫ | |||
⚫ | |||
を ε-δ 論法で書くと |
|||
⚫ | :<math> |
||
⚫ | [[実数値関数|実関数]] {{math2|''f'': '''R''' → '''R'''}} に対して、[[極限]]の式 |
||
⚫ | |||
とは、 |
|||
:(もし){{mvar|x}} を {{mvar|a}} に限りなく近づけさえすれば、{{math|''f''(''x'')}} は(必ず){{mvar|b}} に近づく |
|||
ことであった。これを ε-δ論法で定義すると |
|||
⚫ | :<math>{}^{\forall} \varepsilon >0,\; {}^{\exist} \delta >0 \;;\; {}^{\forall} x \in \mathbb{R} \; [0 < |x-a| < \delta \rArr |f(x)-b| < \varepsilon]</math> |
||
となる。これは |
となる。これは |
||
⚫ | |||
という意味の[[論理包含|条件]]である。ε-δ論法による極限値の定義の妥当性は次のようになる。 |
|||
{{math|''f''(''x'')}} が {{mvar|b}} にいくらでも近づくとは、有限値で表現すると、<u>任意の</u> {{math2|''ε'' > 0}} に対して、{{math|''f''(''x'')}} が {{mvar|b}} の {{mvar|ε}}近傍に属するようになっていくということになる。そこで、{{mvar|ε}} の値に応じて {{math2|''δ'' > 0}} が存在し、{{mvar|x}} が {{mvar|a}} の {{mvar|δ}} 近傍に属していれば、それを満たすということになる。
|
|||
⚫ | |||
という意味の式である。極限の式の意味は、この ε-δ 論法によって定義される。 |
|||
{{math2|''ε'', ''δ''}} は[[無限小]]でなく有限の値であるが、それぞれいくらでも小さい値を取れるということが極限の概念を明確に定義している。{{math2|''ε'' > 0}} の一つを {{math|''ε''{{sub|1}}}} とするとき、{{math|''ε''{{sub|1}}}} に対応する {{math|''δ''{{sub|1}}}} を選べば {{math2|0 < {{abs|''x'' − ''a''}} < ''δ''{{sub|1}} ⇒ {{abs|''f''(''x'') − ''b''}} < ''ε''{{sub|1}}}} を成り立たせることができるが、{{math|''ε''{{sub|1}}}} よりもさらに小さい {{math2|''ε''{{sub|2}}}}︵例えば {{math|''ε''{{sub|1}}/10}}︶を考えると、成立しなくなりうる。しかしその分より小さい {{math|''δ''{{sub|2}}}} を適当に取ることで、{{math2|0 < {{abs|''x'' − ''a''}} < ''δ''{{sub|2}} ⇒ {{abs|''f''(''x'') − ''b''}} < ''ε''{{sub|2}}}} が成り立つようにできる。
|
|||
この式が成り立っているとすると0< |''x'' − ''a''| < δ の範囲で実数 ''x'' を動かしているうちは、どのように動かしても ''f''(''x'') と ''b'' との差は高々 ε 程度でしかない。 ''x'' を ''a'' に近付けるという極限操作を行っている最中でもそうである。 ε は任意に選べるので好きなだけ小さくとっておき、それに応じて δ をちゃんと選べば ''x'' が0< |''x'' − ''a''| < δ を満たす限り、 ''f''(''x'') は ''b'' からせいぜい ε しか離れてない範囲に留まり続けなければならないのである。
|
|||
[[否定]]である、極限が存在しないとは、ある {{mvar|ε}} で {{mvar|δ}} が存在しないとなる。
|
|||
ε は[[無限小]]とは異なり有限の値であるが、好きなだけ小さく選んでよいという条件が極限の概念を捉えることを可能にしているのである。世界中の人が選んだ ε の中で最も小さい数を ε<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>2</sub> < ε<sub>1</sub> という大小関係を満たす2つの 正の数があったときに、 ε<sub>2</sub> に対して δ<sub>2</sub> を選んでおけば
|
|||
:<math>0 < |x-a| < \delta _2 \rArr |f(x)-b| < \varepsilon _2 < \varepsilon _1</math> |
|||
より、δ<sub>2</sub> は ε<sub>1</sub> に対する δ としても使えるからである。小さい ε で δ を与えられるなら、それより大きい ε に対しても δ を与えられる。逆に 小さい ε で δ が存在しない場合、任意の ε に対して、適当な δ が存在するという条件を満たさないため、他の ε に対してどうであろうと、極限の存在を示すことはできない。
|
|||
:[[数学的帰納法]]のように一つの形式を与えるだけで、先の先まで全て捉えることができ、限りなく近付くという極限の概念を有限の値をとる変数だけで説明しているのである。 |
|||
条件を満たすとき、正の数 {{mvar|δ}} は {{mvar|ε}} に依存する変数である。{{mvar|ε}} に対する {{mvar|δ}} は一般に1つとは限らず無数にあるが、1つでも見つければ存在を示したことになる。例えば
|
|||
:<math> |
:<math>\lim_{x \to 3} x^2 = 9</math> |
||
を |
を ε-δ論法で考えると次のようになる。任意の {{mvar|ε}} に対して {{math2|''δ'' {{=}} {{sqrt|''ε'' + 9}} − 3}} と取れば |
||
:<math>0 |
:<math>0<|x-3|< \delta = \sqrt{\varepsilon+9}-3</math> |
||
ならば |
ならば |
||
:<math>|x^2- |
:<math>|x^2-9|=|x+3||x-3| < (\delta+6)\delta = (\sqrt{\varepsilon+9}+3)(\sqrt{\varepsilon+9}-3) = \varepsilon</math> |
||
なので |
なので |
||
:<math>\forall |
:<math>{}^{\forall} \varepsilon >0,\; {}^{\exist} \delta >0 \;;\; x \in \mathbb{R} \; [0 < |x-3| < \delta \rArr |x^2-9| < \varepsilon]</math> |
||
が成り立ち、 |
が成り立ち、{{math2|''x'' → 3}} のとき {{math2|''x''{{sup|2}} → 9}} となることが ε-δ論法により示されたことになる。
|
||
== 数列の収束 == |
== 数列の収束 == |
||
実[[数列]] ''a'' |
実[[数列]] {{math2|''a''{{sub|1}}, ''a''{{sub|2}}, …, ''a{{sub|n}}'', …}} の極限値が |
||
:<math> |
:<math>\lim_{n \to \infty}a_n = b</math> |
||
|
であるとは、{{mvar|n}} を大きくすれば {{mvar|a{{sub|n}}}} は {{mvar|b}} に限りなく近づくという意味であった。
|
||
これを |
これを有限値による論理式で定義すると |
||
:<math>\forall |
:<math>{}^{\forall} \varepsilon >0,\; {}^{\exist} N \in \mathbb{N} \;\mathrm{s.t.}\; {}^{\forall} n \in \mathbb{N} \; [n>N \rArr |a_n-b| < \varepsilon]</math> |
||
となる。 |
となる。これは |
||
:任意の正の数 |
:任意の正の数 {{mvar|ε}} に対し、ある適当な自然数 {{mvar|N}} が存在し、{{mvar|N}} より大きい全ての自然数 {{mvar|n}} に対して {{math2|{{abs|''a{{sub|n}}'' − ''b''}} < ''ε''}} |
||
が成り立つ、という意味である。この論理式は {{mvar|δ}} ではなく {{mvar|N}} を使うため ε-δ論法ではなく '''ε-''N''論法'''と呼ばれる。ε-''N''論法による数列の極限の定義の妥当性は次のようになる。
|
|||
が成り立つ。 |
|||
という意味である。 |
|||
{{mvar|a{{sub|n}}}} が {{mvar|b}} にいくらでも近づくとは、有限値で表すと、<u>任意の</u>正の数 {{mvar|ε}} に対して {{mvar|a{{sub|n}}}} が {{mvar|b}} の {{mvar|ε}}近傍に属していくということになる。そこで、十分大きな {{mvar|N}} を取ると、{{mvar|N}} より大きい全ての番号 {{mvar|n}} に対し、{{mvar|a{{sub|n}}}} は {{mvar|b}} の {{mvar|ε}}近傍に入るということになる。ここで {{mvar|N}} は {{mvar|ε}} に依存する数である。
|
|||
つまり ''N'' をうまく選べば、添字 ''n'' が ''N'' より大きな ''a''<sub>''n''</sub> は、 ''b'' から高々 ε 程度しか離れられないようにできるということである。 ε は自由に選ぶことができるので好きなだけ小さい正の実数を取ればよい。これによって ''a''<sub>''n''</sub> が ''b'' に近付くという状況を表現できる。
|
|||
⚫ | |||
このように数列の極限を扱う場合は δ ではなく ''N'' を使うため ε-δ 論法ではなく '''ε-''N'' 論法'''と呼ばれたりもする。 |
|||
⚫ | : |
||
例えば ''a |
例えば {{math2|''a{{sub|n}}'' {{=}} {{sfrac|''n'' + 1|''n''}}}} のとき {{math2|''N'' > {{sfrac|1''|ε''}}}} となるように {{mvar|N}} を取れば {{math2|''n'' > ''N''}} という条件のもとで |
||
:<math> |
:<math>\left| \frac{n+1}{n} -1 \right| = \frac{1}{n} < \frac{1}{N} < \varepsilon</math> |
||
となるので |
となるので |
||
:<math>\forall |
:<math>{}^{\forall} \varepsilon >0,\; {}^{\exist} N \in \mathbb{N} \;\mathrm{s.t.}\; {}^{\forall} n \in \mathbb{N} \; [n > N \rArr |a_n-1| < \varepsilon]</math> |
||
が成り立ち、数列 |
が成り立ち、数列 {{mvar|a{{sub|n}}}} は {{math|1}} に収束することが ε-''N''論法による定義に基づき示される。
|
||
== 関数の連続性 == |
== 関数の連続性 == |
||
[[関数 (数学)|実関数]] ''f'': '''R''' |
[[関数 (数学)|実関数]] {{math2|''f'': '''R''' → '''R'''}} が |
||
:<math> |
:<math>\lim_{x \to a}f(x) = f(a)</math> |
||
を満たすとき、 |
を満たすとき、{{math|''f''(''x'')}} は {{math2|''x'' {{=}} ''a''}} で'''[[連続 (数学)|連続]]'''であるという。この[[論理包含|条件]]は関数の極限を ε-δ論法で表すことで定義される。[[区間 (数学)|開区間]] {{math2|''I'' {{=}} (''p'', ''q'')}} 上の任意の点 {{math2|''a'' ∈ ''I''}} で {{math|''f''(''x'')}} が連続であるとき、{{mvar|f}} は {{mvar|I}} 上連続であるという。これを ε-δ論法で定義すると
|
||
⚫ | :<math>{}^{\forall} \varepsilon >0,\; {}^{\forall} a \in I,\; {}^{\exist} \delta >0 \; \mathrm{s.t.}\; {}^{\forall} x \in I\; [|x-a| < \delta \rArr |f(x)-f(a)| < \varepsilon]</math> |
||
これを ε-δ 論法で書くと |
|||
⚫ | :<math>\forall |
||
となる。 |
となる。 |
||
:s.t.句の最初に現れる |
:s.t.句の最初に現れる {{math2|{{sup|∀}}''x'' ∈ ''I''}} という条件によって {{mvar|I}} が[[区間 (数学)|閉区間]] {{math2|[''p'', ''q'']}} の時もその端点での {{math|''f''(''x'')}} の片側連続性 |
||
::<math> |
::<math>\lim_{x \to p+}f(x) = f(p)</math> |
||
::<math> |
::<math>\lim_{x \to q-}f(x) = f(q)</math> |
||
:が定義される。半開区間 [''p'',''q'') や (''p'', ''q''] などのときも同様である。 |
:が定義される。半開区間 {{math2|[''p'', ''q'')}} や {{math2|(''p'', ''q'']}} などのときも同様である。 |
||
このように連続性を |
このように連続性を ε-δ論法で定義した場合 {{mvar|δ}} は {{mvar|ε}} と {{mvar|a}} の両方に依存する可能性がある。 |
||
連続性の定義の条件の順序を変えて |
連続性の定義の条件の順序を変えて |
||
:<math>\forall |
:<math>{}^{\forall} \varepsilon > 0,\; {}^{\exist} \delta > 0 \;\mathrm{s.t.}\; {}^{\forall} a \in I, {}^{\forall} x \in I\; [|x-a| < \delta \rArr |f(x)-f(a)| < \varepsilon]</math> |
||
とした場合、 |
とした場合、{{mvar|δ}} は {{mvar|ε}} のみに依存し、{{mvar|a}} に依存しない。この時 {{math|''f''(''x'')}} は {{mvar|I}} 上'''[[一様連続]]'''であるという。
|
||
例えば、 |
例えば、{{math2|''I'' {{=}} (0,1]}} とし、その上で定義された関数 {{math2|''f''(''x'') {{=}} {{sfrac|1|''x''}}}} は、連続であるが一様連続ではない。なぜなら、どんな {{mvar|δ}} を選んでも、<math>a = \min(\delta,1)</math>, {{math2|''x'' {{=}} {{sfrac|''a''|1 + ''a''}}}} のとき
|
||
:<math>\left|x-a\right| =\left|{ |
:<math>\left| x-a \right| =\left| \frac{a} {1+a} - a \right| = \frac{a^2}{1+a} < a = \min(\delta,1)\le \delta</math> |
||
かつ |
かつ |
||
:<math> |
:<math>\left| \frac{1}{x} - \frac{1}{a} \right| = \left| \frac{1+a}{a} - \frac{1}{a} \right| = 1</math> |
||
であるから、 |
であるから、{{math2|''ε'' ≤1}} となる {{mvar|ε}} に対して条件を満たすような {{mvar|δ}} は存在しない。
|
||
:この 1 というのは本質的ではなく、この場合は、どんな |
:この {{math|1}} というのは本質的ではなく、この場合は、どんな {{mvar|ε}} に対しても条件を満たすような {{mvar|δ}} が存在しないことが分かる。
|
||
:このように有界な区間上で定義された連続な関数で無限大に発散しているようなものなどが、連続 |
:このように有界な区間上で定義された連続な関数で無限大に発散しているようなものなどが、連続だが一様連続ではない例としてよく用いられる。 |
||
== 関数列の収束 == |
== 関数列の収束 == |
||
区間 |
区間 {{mvar|I}} 上で定義された実関数の[[列 (数学)|列]] {{math2|''f''{{sub|0}}(''x''), ''f''{{sub|1}}(''x''), ''f''{{sub|2}}(''x''), …, ''f{{sub|n}}''(''x''), …}} に対して''I'' 上で定義される実関数 {{math|''f''(''x'')}} が存在し、各 {{math2|''x'' ∈ ''I''}} に対して極限の式 |
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | :<math>{}^{\forall} \varepsilon >0,\; {}^{\forall} x \in I,\; {}^{\exist} N \in \mathrm{N} \;\mathrm{s.t.}\; {}^{\forall} n \in \mathbb{N}\; [n > N \rArr |f_n(x)-f(x)| < \varepsilon]</math> |
||
⚫ | が成り立つとき、関数列 {''f |
||
⚫ | |||
⚫ | |||
⚫ | :<math>\forall |
||
⚫ | |||
条件の順序を変えた |
条件の順序を変えた |
||
:<math>\forall |
:<math>{}^{\forall} \varepsilon >0,\; {}^{\exist} N \in \mathbb{N} \; \mathrm{s.t.}\; {}^{\forall} x \in I,\; {}^{\forall} n \in \mathbb{N};\ [n > N \rArr |f_n(x)-f(x)| < \varepsilon]</math> |
||
が成立するとき、 関数列 {''f |
が成立するとき、 関数列 {{math|{{mset|''f{{sub|n}}''(''x'')}}}} は {{math|''f''(''x'')}} に'''一様収束'''︵いちようしゅうそく︶するという。
|
||
この条件は各点収束と違い、 |
この条件は各点収束と違い、{{mvar|N}} は {{mvar|x}} と無関係に {{mvar|ε}} のみに依る、言い換えると区間 {{mvar|I}} 内の全ての {{mvar|x}} に共通の {{mvar|N}} が取れる、という意味である。
|
||
例えば ''I'' = (0,1) 上で定義される ''f |
例えば {{math2|''I'' {{=}} (0,1)}} 上で定義される {{math2|''f{{sub|n}}''(''x'') {{=}} ''x{{sup|n}}''}} は {{math2|''f''(''x'') {{=}} 0}} という定数関数に各点収束するが、一様収束はしない。{{mvar|ε}} を {{math|1}} より小に取れば、どのように {{mvar|N}} を大きく取っても、例えば {{math2|''n'' {{=}} ''N'' + 1}} と {{math2|''ε''{{sup|1/(''N''+1)}} < ''x'' <1}} に対して {{math2|1={{abs|''f{{sub|n}}''(''x'') − ''f''(''x'')}} = ''x{{sup|n}}'' = ''x''{{sup|''N''+1}} > ''ε''}} となってしまうためである。
|
||
:''I'' の両端点まで含めた区間[0,1] |
:''I'' の両端点まで含めた区間 {{math2|[0,1]}}︵{{mvar|I}} の[[閉包 (位相空間論)|閉包]]︶上で考えると、{{math2|''f{{sub|n}}''(''x'') {{=}} ''x{{sup|n}}''}} は {{math2|0 ≤ ''x'' <1}} では {{math2|''f''(''x'') {{=}} 0}} に各点収束し、{{math2|''x'' {{=}}1}} では常に {{math2|''f{{sub|n}}''(1) {{=}}1}} で、{{math2|''f''(''x'') {{=}} 0 (0 ≤ ''x'' <1)}} とは連続ではない。こういった事情が、各点収束なのに一様収束ではないという性質と繋がっている。
|
||
⚫ | |||
⚫ | |||
⚫ | |||
⚫ | * {{ |
||
⚫ | * {{ |
||
== より深く知りたい人のための参考書の例 == |
== より深く知りたい人のための参考書の例 == |
||
* 中根美知代 |
* {{Cite book|和書 |author=中根美知代 |title=ε-δ論法とその形成 |publisher=[[共立出版]] |isbn=978-4320019331 |year=2010}} |
||
* 原惟行 |
* {{Cite book|和書 |author1=原惟行 |author2=松永秀章 |title=イプシロン・デルタ論法 完全攻略 |publisher=共立出版 |isbn=978-4320110120 |year=2011}} |
||
* 田中降幸 |
* {{Cite book|和書 |author=田中降幸 |title=ε-δ論法と論理学 |publisher=[[東京図書出版]] |isbn=978-4866411217 |year=2018}} |
||
*宮島静雄 |
* {{Cite book|和書 |author=宮島静雄 |title=微分積分学Ⅰ |publisher=共立出版 |year=2003}} |
||
== 脚注 == |
== 脚注 == |
||
122行目: | 115行目: | ||
=== 出典 === |
=== 出典 === |
||
{{Reflist}} |
{{Reflist}} |
||
⚫ | |||
⚫ | * {{Cite book|和書 |author=John R. Taylor |translator=林茂雄、馬場凉 |title=計測における誤差解析入門 |publisher=[[東京化学同人]] |isbn=480790521X |year=2000 |ref=テイラー}} |
||
⚫ | * {{Cite book|和書 |author=吉永悦男 |title=初等解析学―実数+イプシロン・デルタ+積分 |year=1994 |isbn=4563002305}} |
||
== 関連項目 == |
== 関連項目 == |
||
127行目: | 124行目: | ||
* [[極限]] |
* [[極限]] |
||
* [[はさみうちの原理]] |
* [[はさみうちの原理]] |
||
* [[0.999...]] |
|||
{{DEFAULTSORT:いふしろんてるたろんほう}} |
{{DEFAULTSORT:いふしろんてるたろんほう}} |
2023年12月28日 (木) 05:16時点における最新版
![]() |
歴史的背景[編集]
ニュートンとライプニッツが創設した微分積分学は、無限小︵どんな正の実数よりも小さな正の数︶や無限大︵どんな実数よりも大きな数︶といった実数の範囲では定義できない概念を用いている。このような状況はオイラーによって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は級数の発散や収束に関する定義に無頓着なまま理論を発展させていったため、しばしば誤った結論が導かれてしまうことがあった。 19世紀に入るとコーシーやベルナルト・ボルツァーノらによって、厳密な定義に基づいて微分積分学を再構築しようとする試みがなされるようになる。この時期から収束や連続に関する定義は厳密化されていく。ε-δ論法は1860年代のカール・ワイエルシュトラスの講義によって完成されたもので、これによって無限小や無限大という概念を一切使用せずに収束・連続が定義されるようになった[注釈 1][1]。数学史において、微積分学を完成させたとする評価もあるコーシーは﹃解析教程﹄(Cours d'analyse de l'Ecole royale polytechnique) で、ε-δ論法を用いて関数の連続性の定義を行った。しかし、この時点でも、連続と一様連続の区別はなかったためにコーシーは自著の中でそのことに起因する誤りをおかしている。 なお、ε-δ論法の登場により一度は数学から追放された無限小や無限大を用いる解析も現代では超実数を用いることで正当化され、超準解析︵Non-standard analysis または古典的に無限小解析 Infinitesimal analysis とも呼ばれる︶という分野で研究されている。関数値の収束[編集]
限りなく近付くという極限の概念は、以下に示す、有限の値をとる変数の論理式だけで定義することができる。 実関数 f: R→ Rに対して、極限の式数列の収束[編集]
実数列 a1, a2, …, an, … の極限値が関数の連続性[編集]
実関数 f: R→ Rが関数列の収束[編集]
区間 I上で定義された実関数の列 f0(x), f1(x), f2(x), …, fn(x), … に対してI 上で定義される実関数 f(x) が存在し、各 x∈ Iに対して極限の式数学教育における取り扱い[編集]
微積分学の定理の内、特に関数の極限に関する定理は、この ε-δ論法による定義に基づき証明される。言葉を代えれば、ε-δ論法を用いない微分積分学は厳密な定義に基づかないため、数学界では高校数学の段階で ε-δ論法による定義を教えるべきである、という意見もある。一方で、数学以外の自然科学を含む多くの分野ではε-δ論法により定義されるほどの厳密さを用いなくても、(過程はともかく)結果的には正しい結論に至ることが多く、それらの分野においては大学教育であっても不要と見なす意見もあり、ε-δ論法による定義を教えることの必要性は、数学教育における古くて新しい論争である。より深く知りたい人のための参考書の例[編集]
●中根美知代﹃ε-δ論法とその形成﹄共立出版、2010年。ISBN 978-4320019331。 ●原惟行、松永秀章﹃イプシロン・デルタ論法 完全攻略﹄共立出版、2011年。ISBN 978-4320110120。 ●田中降幸﹃ε-δ論法と論理学﹄東京図書出版、2018年。ISBN 978-4866411217。 ●宮島静雄﹃微分積分学Ⅰ﹄共立出版、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日閲覧。