非ユークリッド幾何学(平行線は交わる)って証明できますか? 出来るなら教えてください。
|
No.27487 - 2014/06/29(Sun) 22:54:40
| ☆ Re: 証明 / ast | | | 質問するにも知識が必要, という典型例ですかね……. これはいくらマルチポストをしても, どういう文脈での話かもまったくわからないし, 質問内容が数学的に意味を成すものになっていないので, まともな回答は期待できないと思います.
例えば, ユークリッド幾何学などを点や線に関する公理系から演繹的に展開する綜合幾何学の範疇で, いわゆる平行線公準を「任意の平行線は無限遠で交わる」などのような非ユークリッド的公準におきかえたものが「無矛盾」かというような問いなら意味があります. # この場合言えることはユークリッド幾何が無矛盾ならその局所モデルとしての非ユークリッド幾何も無矛盾という程度にしか言えません. なお, この文脈で平行線公準 (ユークリッド的でも非ユークリッド的でも) は他の公理から独立であり, 証明できません. # むしろ, だからこそ, ユークリッド幾何ではない非ユークリッド幾何が存在しても矛盾しない.
あるいは, ユークリッド的な平面幾何に対して, 射影幾何学的な手法 (斉次座標や複比など) を用いて構成した射影平面が非ユークリッド幾何学のモデルになることを証明せよというようなことなら意味があるでしょう. また, そのようなモデルの一つは, (それ自体は平面だが )本質的に球面幾何学と同じものと見做せるというようなものがあります.
こうやって二つ例を挙げてみましたが, 両者は話の中身や見た目の様相は全く異なります. よくわからないまま漠然と訊いても質問者も回答者も誰も得しない.
|
No.27527 - 2014/06/30(Mon) 19:57:44 |
|