出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2019年6月)
実数の連続性(じっすうのれんぞくせい、continuity of real numbers)とは、実数の集合がもつ性質である。実数の連続性は、実数の完備性 (completeness of the real numbers
) とも言われる。また、実数の連続性を議論の前提とする立場であれば実数の公理と記述する場合もある。また、実数の連続性における連続性とは関数の連続性とは別の概念である。 実数の連続性と同値な命題は多数存在する。順序体(位相は順序位相
実数の連続性と同値な命題
デデキントの公理
上限性質を持つ
有界単調数列の収束定理
アルキメデス性と区間縮小法の原理を満たす
ボルツァーノ=ワイエルシュトラスの定理
次の2条件を満たす
アルキメデス性を持つ
コーシー列は収束する
中間値の定理
最大値の定理
ロルの定理
ラグランジュの平均値の定理
コーシーの平均値の定理
ハイネ・ボレルの定理
と同値である。
赤摂也『実数論講義』 には、これらの命題を含めて22個の同値な命題とその証明が記されている。
デデキントの公理詳細は「デデキント切断」を参照
(A,B)を実数の集合 R {\displaystyle \mathbb {R} } の切断とすれば、Aに最大元があってBに最小元がないか、Bに最小元があってAに最大元がないかのいずれかである。
リヒャルト・デーデキントが提示した。
上限性質
R {\displaystyle \mathbb {R} } は上限性質 (least upper bound property) をもつ。つまり、 R {\displaystyle \mathbb {R} } の空でない上に有界な部分集合は上限を持つ。
これは双対性の原理から次と同値である。
R {\displaystyle \mathbb {R} } は下限性質 (greatest lower bound property) をもつ。つまり、 R {\displaystyle \mathbb {R} } の空でない下に有界な部分集合は下限を持つ。
これらの上限性質をもつ(つまり、下限性質をもつ)ことをワイエルシュトラスの公理を満たすともいう。 上に有界な単調増加数列は収束する。同様に、下に有界な単調減少数列は収束する。 この節には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。(2019年6月)
有界単調数列の収束定理
関連項目
実数
有理数
無理数
デデキント切断
完備性
順序体
アルキメデス性
線型連続体
参考文献
赤摂也『実数論講義』SEG出版。.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 978-4872430455。