実数の連続性
表示
実数の連続性(じっすうのれんぞくせい、continuity of real numbers)とは、実数の集合がもつ性質である。有理数はこの性質を持たない。
実数の連続性は、実数の完備性 (completeness of the real numbers) とも言われる。また、実数の連続性を議論の前提とする立場であれば実数の公理と記述する場合もある。
なお、ここで言う連続性は、関数の連続性とは別の概念である。
実数の連続性と同値な命題
[編集]実数の連続性と同値な命題は多数存在する。順序体(位相は順序位相を入れる)において、実数の公理は
- デデキントの公理
- 上限性質を持つ
- 有界単調数列の収束定理
- アルキメデス性と区間縮小法の原理を満たす
- ボルツァーノ=ワイエルシュトラスの定理
- 次の2条件を満たす
- 中間値の定理
- 最大値の定理
- ロルの定理
- ラグランジュの平均値の定理
- コーシーの平均値の定理
- ハイネ・ボレルの定理
と同値である。
赤摂也『実数論講義』 には、これらの命題を含めて22個の同値な命題とその証明が記されている。
デデキントの公理
[編集]詳細は「デデキント切断」を参照
- (A,B)を実数の集合の切断とすれば、Aに最大元があってBに最小元がないか、Bに最小元があってAに最大元がないかのいずれかである。
リヒャルト・デーデキントが提示した。
上限性質
[編集]これは双対性の原理から次と同値である。
- は下限性質 (greatest lower bound property) をもつ。つまり、の空でない下に有界な部分集合は下限を持つ。
これらの上限性質をもつ(つまり、下限性質をもつ)ことをワイエルシュトラスの公理を満たすともいう。
有界単調数列の収束定理
[編集]上に有界な単調増加数列は収束する。同様に、下に有界な単調減少数列は収束する。
関連項目
[編集]参考文献
[編集]- 赤摂也『実数論講義』SEG出版。ISBN 978-4872430455。
- 上記の命題が同値であることの証明が書かれている。
- 斎藤正彦『数学の基礎』東京大学出版会。ISBN 978-4130629096。
- 松坂和夫『代数系入門』岩波書店。ISBN 4000056344。
- 第六章において詳しい
外部リンク
[編集]- 実数の定義 数学についてのWebノート
- デデキントの連続性公理 同上
- 単調有界数列の収束定理 同上