幾何学の相補性
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/17 09:14 UTC 版)
「非ユークリッド幾何学」の記事における「幾何学の相補性」の解説
楕円・放物・双曲の各幾何学は、互いに他を否定する存在ではなく、いわば並行に存在しうる幾何学であることを注意しておきたい。各幾何は、それぞれ他の幾何の中に（少なくとも局所的には）モデルを持ち、したがって互いに他の体系の正当性を保証することになるからである。 特に楕円・放物・双曲の各幾何学はユークリッド幾何学の上にモデルが作られる。よって理論Tに対してTが無矛盾であることとTのモデルが存在することは同値というよく知られた事実により、「ユークリッド幾何学が無矛盾な体系であれば他の幾何学も無矛盾」ということがわかる。 ここでユークリッド幾何学は座標を用いることによって代数的に扱えることからユークリッド幾何学の無矛盾性は実数体の理論の無矛盾性に帰着されることを注意しておく。
※この「幾何学の相補性」の解説は、「非ユークリッド幾何学」の解説の一部です。
「幾何学の相補性」を含む「非ユークリッド幾何学」の記事については、「非ユークリッド幾何学」の概要を参照ください。
ウィキペディア小見出し辞書の「幾何学の相補性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 幾何学の相補性のページへのリンク
