41
高校数学解説
文献あり

高校までの極限の問題点とε-δ論法

6192
3

高校までの極限は曖昧

数Ⅲを勉強した方なら、極限という概念については勉強したと思います。ここでは、高校における極限の定義を確認し、その問題について議論していきます。

高校における極限の定義

関数f(x)おいて、xaを限りなくaに近づけたときに、f(x)が特定の値αに限りなく近づくとする。このとき、xaにおいてf(x)αに収束するといい、limxaf(x)=αと表す。

この定義は数Ⅲで習うものであり、覚えている人も多いと思います。また、この定義を感覚的に理解することはできるかもしれません。しかし、この定義には問題点があります。その問題点をこの次の節で解説していきます。

高校における極限の定義の問題点

この極限の最大の問題点は、「限りなく近づく」という表現の曖昧さです。「限りなく」とは具体的にどの程度近づければ良いのでしょうか。a±0.1よりも近づければ良いのでしょうか、それともa±0.01程度にすれば良いのでしょうか。おそらく、この程度については高校の数学では習っていないことだと思います。

さらに、高校で数学が得意だった人は次のような疑問を抱くこともあったかもしれません。

なぜ、「限りなく近づく」はずなのに計算のときは代入しているのだろうか、それでは近づくというのはどういうことなのか。

本記事ではその疑問に対する答えにも迫っていこうと思っています。

厳密な極限とは

極限の定義

さっそくε-δ論法による厳密な収束の定義から説明していきます。

任意のε>0に対して、あるδ>0が存在し、|xa|<δを満たすx=aを除く任意のxR|f(x)α|<εとなるとき、xaにおいてf(x)α収束するといい、limxaf(x)=aと表す。

これが定義を厳密にした形です。難しいですね。筆者も数学を突き詰めようと思って、最初に勉強したのがこの概念で難しく感じた覚えがあります。でも、私はこの概念で数学がとても好きになったので、ぜひ理解してみてください。それでは解説していきます。

事前の注意

上記の定義では、aが無限大になることは考えていません。aが無限大になる場合も厳密に取り扱う方法がありますが、ここでは紹介しません。

イメージ

まずは、イメージから捉えていきます。大雑把なイメージは「近づけようと思えばいくらでも近づけることができる」ということです。言い換えれば、f(x)αの差(|f(x)α|)を小さくしようと思えば、xaの差(|xa|)を小さくすることによって、いくらでも小さくできるということです。

具体例

具体例を使って説明するので、イメージを参考に考えてみてください。例えば、f(x)=x2,a=2とします。このとき、高校数学の知識を踏まえれば、α=4に収束することがわかると思います。そこで、上記のイメージを使ってこのことを説明していきましょう。

収束の具体例 収束の具体例

まず、f(x)αの差(|f(x)α|=|f(x)4|)をε=0.01よりも小さくするために、どの程度xaに近づければ良いのか、つまり|xa|を小さくすれば良いのかを考えます。x=4.01もしくはx=3.99とすれば、ちょうど|f(x)α|=0.01となります。つまり、3.99<x<4.01のときに|f(x)α|<0.01となることが従います。また、xの条件を|xa|を使って表すために以下のように式変形をしていきます。
3.99<x<4.013.992<x2<4.0123.992<x2<4.0120.002502<x2<0.002498
となりますが、求めたいのは|f(x)α|<0.01となるための十分条件であり、必要十分条件ではありません。言い換えれば、|f(x)α|<0.01となるすべてのxを含むような範囲を求める必要はなく、範囲内のxが必ず|f(x)α|<0.01となるような範囲を求めればよいわけです。よって、|x2|<0.002498が求めるべき範囲となります(|x2|<0.002498を満たせば|x2|<0.002502を満たすことに注意)。

以上の議論をまとめれば、f(x)αの差が0.01よりも小さくするための範囲|x2|<0.002498が存在したわけです。この関数の場合は同様に、0.001に対しては範囲|x2|<0.000249980.0001に対しては範囲|x2|<0.000024999が存在します。

また、同様に考えれば、どんなに小さいε>0を持ってきたとしても、δ=4+ε2とすれば、|x2|<δの中では必ず|f(x)α|<εとなるわけです。つまり、任意のε>0に対して、δ=4+ε2が存在し、|xa|<δを満たす任意のxR|f(x)α|<εとなったわけです。これが収束の定義そのものであるため、厳密にlimx2f(x)=4が示されたわけです。

どうでしょうか。この具体例を見た上で、定義の文章は理解できますでしょうか。x=aの取り扱いは次の連続関数の節でわかると思います。わからなかったらコメント欄にコメントお願いします。

余談

収束の証明する上で一番難しいのはδの見つけ方です。先程の例は簡単なものを用いたのでわかりやすかったですが、三角関数や指数関数、対数関数になってくると難易度がすこしあがります。ぜひ、ネットで調べて色々な関数のδの定め方を学んでみてください。

またこの記事は、極限の気持ちを理解するために書いているため説明しませんが、以下のような極限の性質も厳密に証明することができます(簡略化のために細かい条件は省略しています)。
limxa(f(x)+g(x))=limxaf(x)+limxag(x)

連続関数について

連続関数の定義

関数f(x)の定義域内のaに対して、limxaf(x)=f(a)が成り立つとき、関数f(x)x=aにおいて連続であるという。また、定義域内の任意のaf(x)が連続であるとき、関数f(x)連続関数という。

先程の例f(x)=x2で考えると、limx2f(x)=4でしたが、f(2)=4あるため、limx2f(x)=f(2)を満たしているので、x=2で連続です。また、先程の具体例と同様に考えれば、a=2に限らず、任意の点でf(x)=x2は連続であることがわかります。すなわち、f(x)=x2は連続関数であるわけです。

連続でない例を以下に出します。
f(x)={x2(x2)0(x=2)
このようにf(x)を定義すると、limx2f(x)=4であることは先ほどと変わりません。これは収束の定義においてxa=2となっているためです。しかし、f(2)=0であるためx=2で連続とは言えません。

連続でない関数のグラフ 連続でない関数のグラフ

上記に示したグラフを見てもらえばわかる思いますが、連続でない関数は途中で途切れている関数です。

冒頭の疑問について

ここで先程の疑問について考えていきます。

なぜ、「限りなく近づく」はずなのに計算のときは代入しているのだろうか、それでは近づくというのはどういうことなのか。

結論から言うと、高校に出てくる関数のほぼ全てが連続関数だからです。すなわち、高校で出てくる関数はほぼ全てが先程の具体例と同じように厳密に、定義域の任意のaに対して、limxaf(x)=f(a)になることが示せるということです。

おわりに

いかがだったでしょうか。高校の定義を厳密にしていくのは、難しさが伴いますが、当たり前だと思っていた事実にきちんとした証明がつき、数学という学問の理論に美しさを味わうことができるでしょう。当たり前なものに対する厳密な証明に必要性を感じられなかった人もいたかもしれません。しかし、我々人類が新たな理論を創り出したり、科学を進歩させる上で、厳密に導き出された数学というのは、非常に強力な武器といえるでしょう。では、すばらしい数学ライフを!!

参考文献

[1]
杉浦光夫, 解析入門Ⅰ-基礎数学2
投稿日:202083
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

👤 この数学特化の情報共有サービスMathlogを数学に貢献したい一心でつくった情報工学系の東工大生💻/高専の卒研:混合分布を使った環境追従/趣味の数学研究:Moonen予想

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 高校までの極限は曖昧
  2. 高校における極限の定義
  3. 高校における極限の定義の問題点
  4. 厳密な極限とは
  5. 極限の定義
  6. 連続関数について
  7. おわりに
  8. 参考文献