復習：実数の連続性
復習になりますが、実数の公理系は\(\mathbb{R} \)が全順序体であることを規定する公理と\(\mathbb{R} \)の連続性を規定する公理に分類されます。特に、実数の連続性を特徴づける公理としてデデキントの公理を採用しました。
&&\left( b\right) \ \max A\text{は存在しないが}\min B\text{は存在する}
\end{eqnarray*}のどちらか一方が成り立つことを公理として定める。
\(\mathbb{R} \)の全順序体としての公理を認めるとき、デデキントの公理は以下のような様々な形で言い換え可能であることを示しました。
&&\left( b\right) \ \text{上限性質} \\
&&\left( c\right) \ \text{下限性質} \\
&&\left( d\right) \ \text{上に有界な単調増加数列の収束定理} \\
&&\left( e\right) \ \text{下に有界な単調減少数列の収束定理} \\
&&\left( f\right) \ \text{カントールの縮小区間定理＋アルキメデスの性質} \\
&&\left( g\right) \ \text{ボルツァーノ＝ワイエルシュトラスの定理＋アルキメデスの性質}
\end{eqnarray*}
つまり、\(\mathbb{R} \)の連続性を規定する公理として以上の7つの命題の中のどれを採用しても問題ないこということです。以下では、コーシー列を用いて実数の連続性を表現することもできることを解説します。
コーシー列の収束定理と実数の連続性
ボルツァーノ＝ワイエルシュトラスの定理からコーシー列の収束定理を導きましたが、実は、それとは逆に、コーシー列の収束定理からボルツァーノ＝ワイエルシュトラスの定理を導くことができます。したがって、コーシー列の収束定理とアルキメデスの性質がともに成り立つことが実数の連続性と必要十分であるということになります。
以上の命題より、実数の連続性は以下の様な様々な形で表現可能であることが明らかになりました。
&&\left( b\right) \ \text{上限性質} \\
&&\left( c\right) \ \text{下限性質} \\
&&\left( d\right) \ \text{上に有界な単調増加数列の収束定理} \\
&&\left( e\right) \ \text{下に有界な単調減少数列の収束定理} \\
&&\left( f\right) \ \text{カントールの縮小区間定理＋アルキメデスの性質} \\
&&\left( g\right) \ \text{ボルツァーノ＝ワイエルシュトラスの定理＋アルキメデスの性質} \\
&&\left( h\right) \ \text{コーシー列の収束定理＋アルキメデスの性質}
\end{eqnarray*}
つまり、\(\mathbb{R} \)の連続性を規定する公理として上の8つの命題の中のどれを採用しても問題ないということです。
有理数の非連続性
コーシー列の収束定理とアルキメデスの性質によって\(\mathbb{R} \)の連続性が表現できるのであれば、連続性を満たさない\(\mathbb{Q} \)はコーシー列の収束定理とアルキメデスの性質の少なくとも一方を満たさないはずです。\(\mathbb{Q} \)がコーシー列の収束定理を定理を満たさないとは、有理数を項とするコーシー列が有理数へ収束するとは限らないことを意味します。以下で確認しましょう。
\end{equation*}として表現されます。そこで、数列\(\left\{x_{n}\right\} \)を、\begin{eqnarray*}x_{1} &=&1 \\
x_{2} &=&1.4 \\
x_{3} &=&1.41 \\
x_{4} &=&1.4142 \\
&&\vdots
\end{eqnarray*}などと定義します。この数列\(\left\{ x_{n}\right\} \)はコーシー列ですが、その一方で、この数列の極限は\(\sqrt{2}\)であり、これは有理数ではありません。したがって、\(\mathbb{Q} \)上においてコーシー列は収束するとは限らないことが明らかになりました。
演習問題
x_{2} &=&1.4 \\
x_{3} &=&1.41 \\
x_{4} &=&1.4142 \\
&&\vdots
\end{eqnarray*}と定義します。この数列はコーシー列である一方で有理数へ収束しないことを証明してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】