実数の連続性

実数の連続性（じっすうのれんぞくせい、continuity of real numbers）とは、実数の集合がもつ性質である。有理数はこの性質を持たない。

実数の連続性は、実数の完備性 (completeness of the real numbers) とも言われる。また、実数の連続性を議論の前提とする立場であれば実数の公理と記述する場合もある。

なお、ここで言う連続性は、関数の連続性とは別の概念である。

実数の連続性と同値な命題 実数の連続性と同値な命題は多数存在する。順序体（位相は順序位相を入れる）において、実数の公理は デデキントの公理 上限性質を持つ 有界単調数列の収束定理 アルキメデス性と区間縮小法の原理 ボルツァーノ＝ワイエルシュトラスの定理 アルキメデス性とコーシー列は収束するという原理 中間値の定理 最大値の定理 ロルの定理 ラグランジュの平均値の定理 コーシーの平均値の定理 ハイネ・ボレルの定理 と同値である。

赤摂也『実数論講義』 には、これらの命題を含めて22個の同値な命題とその証明が記されている。

デデキントの公理

(A,B)を実数の集合の切断とすれば、Aに最大元があってBに最小元がないか、Bに最小元があってAに最大元がないかのいずれかである。

リヒャルト・デーデキントが提示した。

上限性質 は上限性質 (least upper bound property) をもつ。つまり、の空でない上に有界な部分集合は上限を持つ。 これは双対性の原理から次と同値である。 は下限性質 (greatest lower bound property) をもつ。つまり、の空でない下に有界な部分集合は下限を持つ。 これらの上限性質をもつ（つまり、下限性質をもつ）ことをワイエルシュトラスの公理を満たすともいう。

有界単調数列の収束定理 上に有界な単調増加数列は収束する。同様に、下に有界な単調減少数列は収束する。

関連項目 実数 有理数 無理数 デデキント切断 完備性 順序体 アルキメデス性 線型連続体 実数の構成

参考文献

上記の命題が同値であることの証明が書かれている。

第六章において詳しい

外部リンク 実数の定義 数学についてのWebノート デデキントの連続性公理 同上 単調有界数列の収束定理 同上