数Ⅲを勉強した方なら、極限という概念については勉強したと思います。ここでは、高校における極限の定義を確認し、その問題について議論していきます。
関数
この定義は数Ⅲで習うものであり、覚えている人も多いと思います。また、この定義を感覚的に理解することはできるかもしれません。しかし、この定義には問題点があります。その問題点をこの次の節で解説していきます。
この極限の最大の問題点は、「限りなく近づく」という表現の曖昧さです。「限りなく」とは具体的にどの程度近づければ良いのでしょうか。
さらに、高校で数学が得意だった人は次のような疑問を抱くこともあったかもしれません。
なぜ、「限りなく近づく」はずなのに計算のときは代入しているのだろうか、それでは近づくというのはどういうことなのか。
本記事ではその疑問に対する答えにも迫っていこうと思っています。
さっそくε-δ論法による厳密な収束の定義から説明していきます。
任意の
これが定義を厳密にした形です。難しいですね。筆者も数学を突き詰めようと思って、最初に勉強したのがこの概念で難しく感じた覚えがあります。でも、私はこの概念で数学がとても好きになったので、ぜひ理解してみてください。それでは解説していきます。
上記の定義では、
まずは、イメージから捉えていきます。大雑把なイメージは「近づけようと思えばいくらでも近づけることができる」ということです。言い換えれば、
具体例を使って説明するので、イメージを参考に考えてみてください。例えば、
収束の具体例
まず、
となりますが、求めたいのは
以上の議論をまとめれば、
また、同様に考えれば、どんなに小さい
どうでしょうか。この具体例を見た上で、定義の文章は理解できますでしょうか。
収束の証明する上で一番難しいのは
またこの記事は、極限の気持ちを理解するために書いているため説明しませんが、以下のような極限の性質も厳密に証明することができます(簡略化のために細かい条件は省略しています)。
関数
先程の例
連続でない例を以下に出します。
このように
連続でない関数のグラフ
上記に示したグラフを見てもらえばわかる思いますが、連続でない関数は途中で途切れている関数です。
ここで先程の疑問について考えていきます。
なぜ、「限りなく近づく」はずなのに計算のときは代入しているのだろうか、それでは近づくというのはどういうことなのか。
結論から言うと、高校に出てくる関数のほぼ全てが連続関数だからです。すなわち、高校で出てくる関数はほぼ全てが先程の具体例と同じように厳密に、定義域の任意の
いかがだったでしょうか。高校の定義を厳密にしていくのは、難しさが伴いますが、当たり前だと思っていた事実にきちんとした証明がつき、数学という学問の理論に美しさを味わうことができるでしょう。当たり前なものに対する厳密な証明に必要性を感じられなかった人もいたかもしれません。しかし、我々人類が新たな理論を創り出したり、科学を進歩させる上で、厳密に導き出された数学というのは、非常に強力な武器といえるでしょう。では、すばらしい数学ライフを!!