実数の連続性

実数の連続性（じっすうのれんぞくせい、continuity of real numbers）とは、実数の集合がもつ性質である。実数の連続性は、実数の完備性 (completeness of the real numbers) とも言われる。また、実数の連続性を議論の前提とする立場であれば実数の公理と記述する場合もある。

また、実数の連続性における連続性とは関数の連続性とは別の概念である。

実数の連続性と同値な命題[編集]

実数の連続性と同値な命題は多数存在する。順序体（位相は順序位相を入れる）において、実数の公理は

と同値である。

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

デデキントの公理[編集]

詳細は「デデキント切断」を参照

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

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

上限性質[編集]

$\mathbb {R}$ は上限性質 (least upper bound property) をもつ。つまり、 $\mathbb {R}$ の空でない上に有界な部分集合は上限を持つ。

これは双対性の原理から次と同値である。

$\mathbb {R}$ は下限性質 (greatest lower bound property) をもつ。つまり、 $\mathbb {R}$ の空でない下に有界な部分集合は下限を持つ。

これらの上限性質をもつ（つまり、下限性質をもつ）ことをワイエルシュトラスの公理を満たすともいう。

有界単調数列の収束定理[編集]

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

参考文献[編集]

赤摂也『実数論講義』SEG出版。ISBN 978-4872430455。
- 上記の命題が同値であることの証明が書かれている。
斎藤正彦『数学の基礎』東京大学出版会。ISBN 978-4130629096。
松坂和夫『代数系入門』岩波書店。ISBN 4000056344。
- 第六章において詳しい

外部リンク[編集]

この項目は、解析学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。