本記事の内容
本記事は「有界な単調列は収束する。」という命題をワイエルシュトラスの上限公理から証明する記事です。
本記事を読むにあたり、ワイエルシュトラスの上限公理と数列の極限について知っている必要があるので、以下の記事も合わせてご覧ください。
↓ワイエルシュトラスの上限公理
↓数列の極限
有界な単調列は収束する
「有界な単調列は収束する。」という命題はワイエルシュトラスの上限公理から証明することができます。
ワイエルシュトラスの上限公理は何だったかというと、次でした。
ワイエルシュトラスの上限公理のデデキントの定理からの導出は【解析学の基礎シリーズ】実数の連続性編 その5を御覧ください。
主張を明確にしましょう。
- \((\exists S\in\mathbb{R})\ {\rm s.t.}\ (\forall n\in\mathbb{N}\ a_n\leq S)\),
- \((\forall n\in\mathbb{N})\ a_n\leq a_{n+1}\)
実は、この命題の証明は難しくありません。
「上限とは何だったか？」を思い出せば直ちに分かります。
従って、「ちょっと証明してみようかな」と思う方は以下を読む前に一度挑戦してみてほしいです。
証明
仮定から、数列\(\{a_n\}_{n\in\mathbb{N}}\)が上に有界であるので、ワイエルシュトラスの上限公理から、集合\(\{a_n\mid n\in\mathbb{N}\}\)には上限\(S\)が存在します。
\(S\)は\(\{a_n\mid n\in\mathbb{N}\}\)の上限なのだから、
- \((\forall n\in\mathbb{N})\ a_n\leq S\),
- \((\forall \epsilon>0)\ (\exists N_0\in\mathbb{N})\ a_{N_0}>S-\epsilon\).
が成り立ちます。
少々ジャンプしたような気がするので補足しておくと、上記のワイエルシュトラスの上限公理において、\(A=\{a_n\mid n\in\mathbb{N}\}\)です。
従って、上限とは何を満たす実数であるかを思い出し、そのまま書けば、
- \((\forall a_n\in A)\ a_n\leq S\),
- \((\forall \epsilon>0)(\exists a_{N_0}\in A\ {\rm s.t.}\ a_{N_0}>S-\epsilon)\)
となるはずです。
前者の\((\forall a_n\in A)\)という部分は「何番目の\(a_n\)に対しても」という意味ですが、これは単に「どんな\(n\)番目に対しても」と言いかえることができます。
後者の\((\exists a_n\in A)\)という部分も同様に「とある\(N_0\)番目が存在して」と言いかえることができます。
従って、
- \((\forall n\in\mathbb{N})\ a_n\leq S\),
- \((\forall \epsilon>0)\ (\exists N_0\in\mathbb{N})\ a_{N_0}>S-\epsilon\).
となります。
このとき、
$$(\forall \epsilon>0)(\exists N\in\mathbb{N}\ {\rm s.t.}\ (\forall n\in\mathbb{N}) n\geq N\Rightarrow |a_n-S|<\epsilon)$$
を示せば良いです。
今、\((\forall \epsilon>0)\ (\exists N_0\in\mathbb{N})\ a_{N_0}>S-\epsilon\)を満たすような\(N_0\)を見つけることができます。
従って、\(N\)として\(N_0\)を採用すると、\(S-\epsilon<a_N\)を満たしているということです。
このとき、\(n\geq N\)を満たすような任意の\(n\in\mathbb{N}\)に対して、数列\(\{a_n\}_{n\in\mathbb{N}}\)が単調増加数列であることから、\(a_N\leq a_n\)です。
また、\(S\)は集合\(\{a_n\mid n\in\mathbb{N}\)の上限であるので、\(\{a_n\mid n\in\mathbb{N}\)の上界であるから、\(a_n\leq S\)です。
これをまとめれば、\(n\geq N\)なる\(n\in\mathbb{N}\)に対して
$$S-\epsilon<a_N\leq a_n\leq S$$
です。
故に、\(-\epsilon\leq a_n-S\leq 0\)です。
従って、
$$|a_n-S|<\epsilon$$
以上のことから、
$$(\forall \epsilon>0)(\exists N\in\mathbb{N}\ {\rm s.t.}\ (\forall n\in\mathbb{N}) n\geq N\Rightarrow |a_n-S|<\epsilon)$$
が示されたので、上に有界な単調増加数列はその上限に収束します。
証明終わり
同様にして、次の命題も証明することができます。
命題5.と殆ど同じことをするので、下記を読む前に是非一度命題5のマネをして次を証明してみてください。
とはいえ、ワイエルシュトラスの上限公理の下限ver.が必要になるため、それを明示しておきます。
この命題の証明は与えませんが、ワイエルシュトラスの上限公理の証明と同様にして証明ができます。
故に本質的には上限公理が重要なのです。
- \((\exists L\in\mathbb{R})\ {\rm s.t.}\ (\forall n\in\mathbb{N}\ a_n\geq L)\),
- \((\forall n\in\mathbb{N})\ a_n\geq a_{n+1}\)
証明
仮定から、数列\(\{a_n\}_{n\in\mathbb{N}}\)が下に有界であるので、ワイエルシュトラスの上限公理の下限ver.から、集合\(\{a_n\mid n\in\mathbb{N}\)には下限\(L\)が存在します。
\(L\)は\(\{a_n\mid n\in\mathbb{N}\)の下限であるのだから、
- \((\forall n\in\mathbb{N})\ a_n\geq L\),
- \((\forall \epsilon>0)\ (\exists N_0\in\mathbb{N})\ a_{N_0}<L+\epsilon\).
が成り立ちます。
このとき、
$$(\forall \epsilon>0)(\exists N\in\mathbb{N}\ {\rm s.t.}\ (\forall n\in\mathbb{N}) n\geq N\Rightarrow |a_n-L|<\epsilon)$$
を示せば良いです。
今、\((\forall \epsilon>0)\ (\exists N_0\in\mathbb{N})\ a_{N_0}<L+\epsilon\)を満たすような\(N_0\)を見つけることができます。
従って、\(N\)として\(N_0\)を採用すると、\(L+\epsilon<a_N\)を満たしているということです。
このとき、\(n\geq N\)を満たすような任意の\(n\in\mathbb{N}\)に対して、数列\(\{a_n\}_{n\in\mathbb{N}}\)が単調減少数列であることから、\(a_N\geq a_n\)です。
また、\(L\)は集合\(\{a_n\mid n\in\mathbb{N}\)の下限であるので、\(\{a_n\mid n\in\mathbb{N}\)の下界であるから、\(a_n\geq L\)です。
これをまとめれば、\(n\geq N\)なる\(n\in\mathbb{N}\)に対して
$$L<a_n\leq a_N\leq L+\epsilon$$
です。
故に、\(0\leq a_n-L<\epsilon\)です。
従って、
$$|a_n-L|<\epsilon$$ です。
以上のことから、
$$(\forall \epsilon>0)(\exists N\in\mathbb{N}\ {\rm s.t.}\ (\forall n\in\mathbb{N}) n\geq N\Rightarrow |a_n-L|<\epsilon)$$
が示されたので、下に有界な単調減少数列はその下限に収束します。
証明終わり
命題5.と命題6.をまとめることによって、次の定理を得ます。
実数の連続性との関係は？
至ってシンプルです。
定理7.「有界な単調列は収束する。」という定理は「上に有界な単調増加列はその上限に収束し、下に有界な単調減少列はその下限に収束する。」と言い換えられます。
これはまさに「実数の十分近くにまた実数がある」ということなのです。
極限の、特に数列の収束に対する直感的な理解に戻ってみましょう。（そもそも「実数の十分近くにまた実数がある」というのは直感的な理解なので。）
数列の収束は「数列の項の番号を限りなく大きくしていくとき、数列の値がある値に限りなく近づく状態」を数列の収束というのでした。
この”限りなく近づく”という部分がまさに「実数の十分近くにまた実数がある」ということを保証しているのです。
実は、定理7.は以前の記事で紹介した「デデキントの定理」および「ワイエルシュトラスの上限公理」と同値です。
今回に限って言えば、我々はワイエルシュトラスの上限公理を仮定して、定理7.を導きましたが、その逆も成り立つというわけです。
今回はその証明は与えません。
次回の「区間縮小法」を説明し、証明した後に、これら4つがそれぞれ同値であるということを述べます。
※直接的に一個一個証明を与えるのではなく、区間縮小法からデデキントの定理を証明することで間接的に同値性を示します。詳しくは次回です。
結
今回は「有界な単調列は収束する。」という命題をワイエルシュトラスの上限公理から導きました。
「有界な単調列は収束する。」は数列の収束が「数列の項の番号を限りなく大きくしていくとき、数列の値がある値に限りなく近づく状態」と直感的に理解できることから、「実数の十分近くにまた実数があるということを保証している」と、直感的に思えます。
したがって、そういう意味では実数の連続性と関連があります。
さらに、次回に回すのだが、今回まで扱ってきた
- デデキントの定理
- ワイエルシュトラスの上限公理
- 有界な単調列は収束する。
はそれぞれ同値です。
これは、直接一つ一つ示すのではなく、次回の「区間縮小法」を3.から証明し、3.から1.を証明することで、それぞれ同値であることを示します。
次回は「区間縮小法？」です。
乞うご期待！質問、コメントなどお待ちしております！
コメントをする