For faster navigation, this Iframe is preloading the Wikiwand page for 実数の連続性.

実数の連続性

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。(2019年6月)

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

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

実数の連続性と同値な命題

[編集]

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

  1. デデキントの公理
  2. 上限性質を持つ
  3. 有界単調数列の収束定理
  4. アルキメデス性と区間縮小法の原理を満たす
  5. ボルツァーノ=ワイエルシュトラスの定理
  6. 次の2条件を満たす
  7. 中間値の定理
  8. 最大値の定理
  9. ロルの定理
  10. ラグランジュの平均値の定理
  11. コーシーの平均値の定理
  12. ハイネ・ボレルの定理

と同値である。

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

デデキントの公理

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

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

上限性質

[編集]
  • は上限性質 (least upper bound property) をもつ。つまり、の空でない上に有界な部分集合は上限を持つ。

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

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

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

有界単調数列の収束定理

[編集]

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

関連項目

[編集]

参考文献

[編集]
この節には参考文献外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 脚注を導入して、記事の信頼性向上にご協力ください。(2019年6月)
  • 赤摂也『実数論講義』SEG出版。ISBN 978-4872430455 
    • 上記の命題が同値であることの証明が書かれている。
  • 斎藤正彦『数学の基礎』東京大学出版会。ISBN 978-4130629096 
  • 松坂和夫『代数系入門』岩波書店。ISBN 4000056344 
    • 第六章において詳しい

外部リンク

[編集]
{{bottomLinkPreText}} {{bottomLinkText}}
実数の連続性
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?