2

ε-N論法を理解する.

496
0

§1.数列の極限"limnan"とは何なのか?

「数列の極限とは,ある数列anに対してこの添字であるnを限りなく大きくした時,どのような値に近づくかを表したものである.

……高校までの数学では数列の極限についてこのように習ったのではないのでしょうか?実際,高校までの数学ならこれで定義としては十分だったかもしれません.

しかし冷静になって定義を吟味すると「nを限りなく大きくする」という文章が何を意味するのかが不明瞭ですね.

n100のとき,nは限りなく大きくなったとみなせますか?それとも10000のときですか?あるいは無量大数の時ですか?

皆さんもご存じの通り数の世界は無限に広がっています.「どの整数が一番大きいか?」という問いがいかに無意味なものであるか,お判りでしょう.(巨大数の研究をしている人たちに怒られそうですが)

さて,nが限りなく大きくなる」だの「nは無限大に限りなく近づく」だのと言った文言が数学的にいかに無意味であるかが分かったところで本題に入りましょう.

この記事の最大の目的は「ϵN論法を理解して数列の極限についての理解を深める」ことです.少し難しそうですか?実際,数学に慣れてない人にとってϵN論法を大まかな主張だけでも理解することはかなり難しいです.

なぜならϵN論法は数学の言葉を使って定義されるものだからです.「数学の言葉」とは何でしょうか?実際に見てもらいましょう.

数列の収束(ε-N論法)

任意の正の実数ϵに対して,次の条件を満たす正整数Nが必ず存在するとき,数列anaに収束するという.
条件)n>NnZ+|ana|<ϵ

これが数列の収束の定義です.定理ではなくて,定義です.

初見だと「ϵって何?任意のってどういう意味?下の式って何なの??」といった疑問を覚えるかもしれません.一つ一つ,読み解いていきましょう.

§2.実際の例limn1n=0を示すには.

数学的な概念を理解するときに具体的な例を持ち出してきて吟味するのは有効な方法の一つです.本セクションでは見出しの通りlimn1n=0を示していきたいと思います.

まず,定義1に数列an=1nを当てはめてみましょう.

1nの収束

任意の正の実数ϵに対して,次の条件を満たす正整数Nが必ず存在するとき,1n0に収束する.

条件)n>NかつnN+|1n|<ϵ

上の例を用いてan=1n0に収束することを示しましょう.

任意のϵとはあなたが好きに決めていい数です.100でもいいですし,πでも0.1でも正の実数であれば何でも構いません.例えば0.1をとってみたとしましょう.この時,n>NかつZ+|1n|<0.1」となるNを探せばいいわけです.例えばN=3ではどうでしょう?

……駄目ですね.例えばn=5のとき,nは仮定を満たしますが|1n|=15>0.1となってしまいます.ではN=10ならどうでしょう?

このとき,仮定からn>10となるので逆数をとって1n<110=0.1となります.おや,良さそうな感じですね!これでϵ=0.1のときはN=10としてやればよいことがわかりました!

,まだ終わりではありません.ϵは任意の正の実数とあるので,どんなϵが来てもそれに対応できるNが存在することを示さなければならないのです.つまり,ϵを用いてNを定式化してやる必要があるのです.やってみましょう.

それではまず不等式ϵ>0を用意します.この時ϵの逆数をとって1ϵ>0となりますね.そして任意の正の実数にはそれより大きい正の整数が必ずあります.これらの整数のうち一番小さいものをNとしてみましょうか.この時N>1ϵ>0かつNZ+となります.

先のために少し変形してϵ>1N>0としてあげましょう.

さて,このNがちゃんと1nが0に収束することを示すためのNとしての役割を果たしてくれるのか実際に確認してみましょう.

n>NnN+のとき,1N>1n>0となりますね.先ほど用意した式と組み合わせると,ϵ>1N>1n>0が得られます.また,|1n|=1n なので以上から,ϵ>|1n|が示されました.

これで証明終了です.お判りいただけましたか?初めてだと少し難しい議論かもしれません.理解できるまでじっくり吟味して,自分でノートに証明を書いてみるなどするとよいでしょう.

最後に例題を一つ.

limnn+2n=1を示せ

ぜひ解いてみてください.解答は こちら から!

投稿日:20201129
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

北大1年生向けのアカウントです。北大の線形代数・微積分の履修範囲や興味のある範囲について情報を流していきます。質問も出来る限り対応します。一緒に活動してくれる人募集中です。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. §1$.$数列の極限"$\displaystyle \lim_{n \to \infty} a_{n} $"とは何なのか?
  2. §2$.$実際の例$ \displaystyle \lim_{n \to \infty} \frac{1}{n}=0 $を示すには$.$