本記事の内容
本記事はボルツァーノ-ワイエルシュトラスの定理が本当に成り立つのか？ということを説明するために一例を挙げます。
また、余談として数学を考える上での勘所も少々述べます。
この記事では部分列について知っている必要があるため、以下の記事を参照してください。
ボルツァーノ-ワイエルシュトラスの定理って本当に成り立つの？
ボルツァーノ-ワイエルシュトラスの定理は
という主張だということを前回述べました。
「本当かネ？証拠でもあるのかネ？」と技術開発局長から言われるかもしれないので、1つ例を挙げます。
つまり、「\(\{a_n\}_{n\in\mathbb{N}}\)は収束しないけど、その部分列\(\{b_n\}_{n\in\mathbb{N}}\)は収束しまっせ。」という例です。
例3.
\(\displaystyle a_n=(-1)^n+\frac{1}{n}\)とする。このとき数列\(\{a_n\}_{n\in\mathbb{N}}\)は収束しません(ギザギザと振動する)。
実際、
$$\lim_{n\to\infty}a_n=\lim_{n\to\infty}\left((-1)^n+\frac{1}{n}\right)=\lim_{n\to\infty}(-1)^n+\lim_{n\to\infty}\frac{1}{n}=\lim_{n\to\infty}(-1)^n+0=\lim_{n\to\infty}(-1)^n$$
だからです。
ちなみに、\(\{a_n\}_{n\in\mathbb{N}}\)および\(\{b_n\}{n\in\mathbb{N}}\)が収束するならば、
$$\lim_{n\to\infty}(a_n+b_n)=\lim_{n\to\infty}a_n+\lim_{n\to\infty}b_n$$
という事実を使っていますが、【解析学の基礎シリーズ】実数の連続性編 その11で証明した、
$$\lim_{n\to\infty}(a_n-b_n)=\lim_{n\to\infty}a_n-\lim_{n\to\infty}b_n$$
と同じように証明できるため、是非挑戦してみてほしいです。(練習問題として簡単にではありますが、一番最後に証明しています。)。
また、\(\displaystyle\lim_{n\to\infty}\frac{1}{n}=0\)は【解析学の基礎シリーズ】実数の連続性編 その8で証明を与えているのでそちらを参考にしてください。
さて、\(\displaystyle\lim_{n\to\infty}a_n=\lim_{n\to\infty}(-1)^n\)ですが、
$$a_1=-1,\ a_2=1,\ a_3=-1,\dots$$
というように\(-1\)と\(1\)を交互に行き来するようにギザギザと振動するため、収束しません。
しかしながら、\(\{a_n\}_{n\in\mathbb{N}}\)の偶数番目だけを選んで作った部分列\(\{b_n\}{n\in\mathbb{N}}=\{a_{2k}\}_{k\in\mathbb{N}}\)(すなわち、\(n=2k\))は
$$b_n=a_{2k}=1+\frac{1}{2k}$$
であり、\(n=2k\)なのだから\(n\)が大きくなるとき、\(k\)も大きくならねばならないので、
$$\lim_{n\to\infty}b_n=\lim_{k\to\infty}a_{2k}=\lim_{k\to\infty}\left(1+\frac{1}{2k}\right)=\lim_{k\to\infty}1+\lim_{k\to\infty}\frac{1}{2k}=1$$
となり、収束します。
この定理は「数列が有界であれば、常に収束するような部分列を見つけることができる。」という主張とも言えます。
与えられた数列の複雑さによっては具体的に見つけられないかもしれないが、絶対にある、と言っているわけです。
さらに言えば、「有界でさえあれば、収束していなくてもその数列の一部分を”うまく”取ってくることで収束列が作れる」と言っているわけです。
余談(読み飛ばしてOK)
今回挙げた例3.は誠に簡単な例(筆者がパッと思いついた例)だから、簡単に収束するような部分列を抜き出すことができました。
しかし、毎回このようにパッと分かるようなものでもありません。
以前少々述べたように、「〇〇が存在する」という主張の証明が個人的に最も難しいと考えています。
実は「〇〇が存在する」という主張の証明には2種類あると筆者は思っています。
それは
- “〇〇が存在する”という事実が分かれば良い場合。
- 具体的にどのようにすれば〇〇を見つけることができるかを述べなければならない場合。
前者も前者で難しいのだが、大抵の場合は〇〇以外にすでに存在する(見つけることでできている)△△を使って〇〇を導きます。
例えば、以前証明した\(\displaystyle\lim_{n\to\infty}\frac{1}{n}\)を思い出してみます。
この主張は数列の収束なのだから、とある自然数\(N\)(番号)を見つけてきなさい、という証明の流れでした。
これはアルキメデスの原理によりすでに存在が確定している自然数を\(N\)として採用することで証明しました。
しかし、アルキメデスの原理から”存在する”という事実は分かっていても、その正体は謎です。
言わば「じゃあその\(N\)って何すか？」と言われたときに「アルキメデスの原理を満たす自然数です。」としか答えられないのです。
(“存在する”という事実が分かればよいのでそれで十分です。)
一方で、後者は具体的に見つけてこなければならない場合もあります。
これがクセモノです。
「〇〇とはこれです！」というように具体的に見つけてこなければならないのです。
すなわち、この場合は”〇〇を見つけ出すためのアルゴリズム”を提示する必要があるのです。
例えば、以前証明した区間縮小法において、段々と小さくなる区間を作り出して、その共通部分がどうなっているかを考えることで証明しました。
この場合、”具体的に”区間を提示する必要がありました。
つまり、任意の実数の切断\((A,B)\)と、とある実数の閉区間\([a,b]\)に対して、\(\displaystyle\frac{a+b}{2}\)が\(A\)の要素か\(B\)の要素かで場合分けをして、どんどん区間を小さくするという流れで縮小区間を作りました。
これは具体的に「こうやって縮小する区間を作ります！」という作り方、アルゴリズムを提示しています。
ゆえに「その縮小区間って何すか？」と言われたらば「こうやって作った区間です。」と答えられます。
これが難しいのです。
やはりこの難しさを乗り越えるには多くの事実を正確に知っていなければならないため、勉強している最中は頭を悩まします。
結
今回は、ボルツァーノ-ワイエルシュトラスの定理が成り立つ一例を挙げました。
この場合は簡単に部分列を取ることができたのですが、いつもそうだとは限りません。
また、余談として、筆者の頭の中も書きました。
参考になれば嬉しいです。
次回はボルツァーノ-ワイエルシュトラスの定理の明示と証明を書きます。
乞うご期待！質問、コメントなどお待ちしております！
練習問題の答え
\(\displaystyle\lim_{n\to\infty}a_n=a\)かつ\(\displaystyle\lim_{n\to\infty}b_n=b\)とする。
このとき、\(\displaystyle\lim_{n\to\infty}(a_n-b_n)=a-b\)を示す。
$$(\forall \epsilon>0)(\exists N_1\in\mathbb{N}\ {\rm s.t.}\ \forall n\in\mathbb{N}\ n\geq N_1\Rightarrow |a_n-a|<\frac{\epsilon}{2})$$
かつ
$$(\forall \epsilon>0)(\exists N_2\in\mathbb{N}\ {\rm s.t.}\ \forall n\in\mathbb{N}\ n\geq N_2\Rightarrow |c_n-A|<\frac{\epsilon}{2})$$
が成り立っている。
このとき、\(N=\max\{N_1,N_2\}\)とする。
\(\forall n\geq N\)なる全ての自然数\(n\)対して、
$$|(a_n+b_n)-(a+b)|=|(a_n-a)+(b_n-b)|\leq |a_n-a|+|b_n-b|<\frac{\epsilon}{2}+\frac{\epsilon}{2}=\epsilon$$
となるから、成り立つ。
(Q.E.D.)
コメントをする