「イプシロン-デルタ論法」の版間の差分
m 記述移動 |
|||
(9人の利用者による、間の23版が非表示) | |||
1行目: | 1行目: | ||
{{脚注の不足|date=2023年6月}} |
|||
'''ε-δ 論法'''(イプシロンデルタろんぽう、(ε, δ)-definition of limit)は、[[解析学]]において、([[有限]]な)[[実数]]値のみを用いて[[極限]]を定義する方法である。 |
|||
'''ε-δ論法'''(イプシロンデルタろんぽう、{{Lang-en|(ε, δ)-definition of limit}})は、[[解析学]]において、[[実数]]値のみを用いることで([[無限]]を直接に扱うことを回避しながら)[[関数の極限]]を厳密に定義する方法である。[[列の極限]]を定義する類似の方法に'''ε-N論法'''(イプシロンエヌろんぽう)があり、本記事ではこれも扱う。 |
|||
== 歴史的背景 == |
== 歴史的背景 == |
||
[[アイザック・ニュートン|ニュートン]]と[[ゴットフリート・ライプニッツ|ライプニッツ]]が創設した[[微分積分学]]は、[[無限小]](どんな正の実数よりも小さな正の数)や[[無限大]](どんな実数よりも大きな数)といった[[実数]]の範囲では定義できない概念を用いている。このような状況は[[レオンハルト・オイラー|オイラー]]によって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は[[級数]]の[[ |
[[アイザック・ニュートン|ニュートン]]と[[ゴットフリート・ライプニッツ|ライプニッツ]]が創設した[[微分積分学]]は、[[無限小]]︵どんな正の実数よりも小さな正の数︶や[[無限|無限大]]︵どんな実数よりも大きな数︶といった[[実数]]の範囲では定義できない概念を用いている。このような状況は[[レオンハルト・オイラー|オイラー]]によって微分積分学が大幅な発展を遂げる18世紀まで継続された。当時の数学者達は[[級数]]の[[発散級数|発散]]や[[収束級数|収束]]に関する定義に無頓着なまま理論を発展させていったため、しばしば誤った結論が導かれてしまうことがあった。
|
||
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'') で、ε-δ論法を用いて関数の連続性の定義を行った。しかし、この時点でも、連続と[[一様連続]]の区別はなかったためにコーシーは自著の中でそのことに起因する誤りをおかしている。 |
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 とも呼ばれる)という分野で研究されている。 |
なお、ε-δ論法の登場により一度は数学から追放された無限小や無限大を用いる解析も現代では'''超実数'''を用いることで正当化され、[[超準解析]](Non-standard analysis または古典的に'''無限小解析''' Infinitesimal analysis とも呼ばれる)という分野で研究されている。 |
||
⚫ | |||
⚫ |
微積分学の定理の内、特に関数の極限に関する定理は、この ε-δ論法による定義に基づき証明される。言葉を代えれば、ε-δ論法を用いない微分積分学は厳密な定義に基づかない |
||
== 関数値の収束 == |
== 関数値の収束 == |
||
限りなく近付くという極限の概念は、以下に示す、有限の値をとる変数の論理式だけで定義することができる。 |
限りなく近付くという極限の概念は、以下に示す、有限の値をとる変数の論理式だけで定義することができる。 |
||
[[ |
[[実数値関数|実関数]] {{math2|''f'': '''R''' → '''R'''}} に対して、[[極限]]の式 |
||
:<math>\lim_{x \to a}f(x) = b</math> |
:<math>\lim_{x \to a}f(x) = b</math> |
||
とは、 |
とは、 |
||
21行目: | 19行目: | ||
:<math>{}^{\forall} \varepsilon >0,\; {}^{\exist} \delta >0 \;;\; {}^{\forall} x \in \mathbb{R} \; [0 < |x-a| < \delta \rArr |f(x)-b| < \varepsilon]</math> |
:<math>{}^{\forall} \varepsilon >0,\; {}^{\exist} \delta >0 \;;\; {}^{\forall} x \in \mathbb{R} \; [0 < |x-a| < \delta \rArr |f(x)-b| < \varepsilon]</math> |
||
となる。これは |
となる。これは |
||
:任意の[[正の数と負の数|正]]の数 {{mvar|ε}} に対し、ある適当な正の数 {{mvar|δ}} が存在して、{{math2|0 < {{abs|''x'' − ''a''}} < ''δ''}} を満たす全ての[[実数]] {{mvar|x}} に対し、{{math2|{{abs|''f''(''x'') − ''b''}} < ''ε''}} が成り立つ。
|
:[[全称記号|任意]]の[[正の数と負の数|正]]の数 {{mvar|ε}} に対し、ある適当な正の数 {{mvar|δ}} が[[存在記号|存在]]して、{{math2|0 < {{abs|''x'' − ''a''}} < ''δ''}} を満たす全ての[[実数]] {{mvar|x}} に対し、{{math2|{{abs|''f''(''x'') − ''b''}} < ''ε''}} が成り立つ。
|
||
という意味の[[論理包含|条件]]である。 |
という意味の[[論理包含|条件]]である。ε-δ論法による極限値の定義の妥当性は次のようになる。 |
||
{{math|''f''(''x'')}} が {{mvar|b}} にいくらでも近づくとは、有限値で表現すると、<u>任意の</u> {{math2|''ε'' > 0}} に対して、{{math|''f''(''x'')}} が {{mvar|b}} の {{mvar|ε}}近傍に属するようになっていくということになる。そこで、{{mvar|ε}} の値に応じて {{math2|''δ'' > 0}} が存在し、{{mvar|x}} が {{mvar|a}} の {{mvar|δ}} 近傍に属していれば、それを満たすということになる。
|
{{math|''f''(''x'')}} が {{mvar|b}} にいくらでも近づくとは、有限値で表現すると、<u>任意の</u> {{math2|''ε'' > 0}} に対して、{{math|''f''(''x'')}} が {{mvar|b}} の {{mvar|ε}}近傍に属するようになっていくということになる。そこで、{{mvar|ε}} の値に応じて {{math2|''δ'' > 0}} が存在し、{{mvar|x}} が {{mvar|a}} の {{mvar|δ}} 近傍に属していれば、それを満たすということになる。
|
||
28行目: | 26行目: | ||
{{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}}}} が成り立つようにできる。
|
{{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}}}} が成り立つようにできる。
|
||
[[否定]]である、極限が存在しないとは、ある {{mvar|ε}} で {{mvar|δ}} が存在しないとなる。
|
|||
条件を満たすとき、正の数 {{mvar|δ}} は {{mvar|ε}} に依存する変数である。{{mvar|ε}} に対する {{mvar|δ}} は一般に1つとは限らず無数にあるが、1つでも見つければ存在を示したことになる。例えば
|
|||
:<math>\lim_{x \to 3} x^2 = 9</math> |
:<math>\lim_{x \to 3} x^2 = 9</math> |
||
を ε-δ |
を ε-δ論法で考えると次のようになる。任意の {{mvar|ε}} に対して {{math2|''δ'' {{=}} {{sqrt|''ε'' + 9}} − 3}} と取れば |
||
:<math>0<|x-3|< \delta = \sqrt{\varepsilon+9}-3</math> |
:<math>0<|x-3|< \delta = \sqrt{\varepsilon+9}-3</math> |
||
ならば |
ならば |
||
38行目: | 36行目: | ||
なので |
なので |
||
:<math>{}^{\forall} \varepsilon >0,\; {}^{\exist} \delta >0 \;;\; x \in \mathbb{R} \; [0 < |x-3| < \delta \rArr |x^2-9| < \varepsilon]</math> |
:<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}} となることが ε-δ |
が成り立ち、{{math2|''x'' → 3}} のとき {{math2|''x''{{sup|2}} → 9}} となることが ε-δ論法により示されたことになる。
|
||
== 数列の収束 == |
== 数列の収束 == |
||
実[[数列]] {{math2|''a''{{sub|1}}, ''a''{{sub|2}}, …, ''a{{sub|n}}'', …}} |
実[[数列]] {{math2|''a''{{sub|1}}, ''a''{{sub|2}}, …, ''a{{sub|n}}'', …}} の極限値が |
||
:<math>\lim_{n \to \infty}a_n = b</math> |
:<math>\lim_{n \to \infty}a_n = b</math> |
||
であるとは、{{mvar|n}} を大きくすれば {{mvar|a{{sub|n}}}} は {{mvar|b}} に限りなく近づくという意味であった。
|
|||
これを |
これを有限値による論理式で定義すると |
||
:<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> |
:<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}} が存在し、{{mvar|N}} より大きい全ての自然数 {{mvar|n}} に対して {{math2|{{abs|''a{{sub|n}}'' − ''b''}} < ''ε''}} |
||
⚫ | |||
が成り立つ、という意味である。 |
|||
{{mvar| |
{{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|ε}} に依存する数である。
|
||
⚫ | |||
⚫ |
|
||
⚫ | |||
例えば {{math2|''a{{sub|n}}'' {{=}} {{sfrac|''n'' + 1|''n''}}}} のとき {{math2|''N'' > {{sfrac|1''|ε''}}}} となるように {{mvar|N}} を取れば {{math2|''n'' > ''N''}} という条件のもとで |
例えば {{math2|''a{{sub|n}}'' {{=}} {{sfrac|''n'' + 1|''n''}}}} のとき {{math2|''N'' > {{sfrac|1''|ε''}}}} となるように {{mvar|N}} を取れば {{math2|''n'' > ''N''}} という条件のもとで |
||
63行目: | 60行目: | ||
== 関数の連続性 == |
== 関数の連続性 == |
||
[[関数 (数学)|実関数]] ''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|δ}} が存在しないことが分かる。
|
||
:このように有界な区間上で定義された連続な関数で無限大に発散しているようなものなどが、連続 |
:このように有界な区間上で定義された連続な関数で無限大に発散しているようなものなどが、連続だが一様連続ではない例としてよく用いられる。 |
||
== 関数列の収束 == |
== 関数列の収束 == |
||
105行目: | 101行目: | ||
:''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)}} とは連続ではない。こういった事情が、各点収束なのに一様収束ではないという性質と繋がっている。
|
:''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}} |
||
== 脚注 == |
== 脚注 == |
||
120行目: | 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}} |
||
== 関連項目 == |
== 関連項目 == |
||
125行目: | 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日閲覧。