すでに、今までの質問/回答にあるように、ポアンカレ予想の意味のとっても簡単な説明として、「宇宙の中の任意のある一点から長いロープを結んだロケットが宇宙を一周して戻ってきて、ロープの両端を引っ張ってロープを全て回収できた場合、宇宙の形は概ね球体(=ドーナツのような穴がない)と言えるのか」というものがあります。
私には、「ロープを全て回収できる」なら「ドーナツのような穴がない」のは当たり前のように思えます。どなたか、当たり前じゃないことを直感的に説明していただけませんでしょうか?
あと、中に中空がある球形(桃の種を除いた果肉の部分だけ)は、球と同じ分類(同相?)なのでしょうか?
あるいは、このような質問をする数学初心者には、そもそも、何を説明しても無理なんでしょうか?
No.1
- 回答日時:
直感的には当たり前のように思えるのに、理論的に証明しようとするとなかなか出来ないから難問と言われるのではないでしょうか?
数学は直感だけではできません、なんとなくそうなるとか、そうなるのが当たり前だから、ではなく理論的に正しいことを説明出来なければ証明になりません。
当たり前だと思ってしまうことでも、その人がただ勘違いや思い違いをしているだけかもしれませんからね。
質問者様と同じように、「ロープを全て回収できる」なら「ドーナツのような穴がない」のは当たり前と思った数学者は少なくなかったと思います。
たくさんの数学者が当たり前だと思うことなのに、どうやったら絶対に正しいと証明できるかが誰にもわからなかったのでしょう。
数学では、当たり前っぽいのに証明は難しい定理がちらほらあります。
ポアンカレ予想以外の例を挙げると、
『nを自然数とすると、nと2nの間に少なくとも一つ素数が存在する』
この定理もなんとなく当たり前のように思えるのですが、証明はかなり難解(らしい)です。
No.2ベストアンサー
- 回答日時:
当たり前のことのほうが証明は難しいのです.
条件が少なかったり,当たり前という先入観が邪魔をします.
>ポアンカレ予想の意味のとっても簡単な説明として(以下略)
勘違いしてはいけないのは,本来は「三次元球面」ということです.
われわれがイメージする「球面」というのは「二次元球面」です.
二次元球面は表面が二次元ですが,
三次元球面は表面が「三次元」です.
ポアンカレ予想(もう「ペレリマンの定理」か?)は
「単連結でコンパクトな多様体は三次元球面である」ということです.
単連結が「ロープを結んだロケットが宇宙を一周して戻ってきて、ロープの両端を引っ張ってロープを全て回収でき」るという性質です.
そして「多様体」というのが,まあぶっちゃけ「空間」ということです.
「コンパクト」というのが厄介で。。。
これは「限りがある」くらいの意味合いです.
宇宙空間は三次元で,単連結で「膨張宇宙」っていうくらいで
「果てがある」ともいわれてるので「コンパクト」とみなして
よいと考えた場合,宇宙空間には「穴がない」,
つまり「三次元球面」であると考えられるということなんです.
>あと、中に中空がある球形(桃の種を除いた果肉の部分だけ)は、球と同じ分類(同相?)なのでしょうか?
違います.「球面とホモトピック」といいます.
「球」と「球面」は全く別個のものです.
球は中身が詰まったもの,球面は表面だけです.
#「球」は一点に「ホモトピック」なので
#面白い対象ではないです.
「ホモトピック」というのはゴムかなんかで出来てて
伸縮自在だけども,接着や切断は許さないような変形の仕方で
「同じもの」となるようなことをいいます.
「中空がある球形」は「皮」をきゅーーっと平たくすれば
(タネを大きくすれば)皮がぺらぺらになって
「球面」になります.
中空なので,「球」とはホモトピックにはなりません.
===============
>『nを自然数とすると、nと2nの間に少なくとも一つ素数が存在する』
>この定理もなんとなく当たり前のように思えるのですが、証明はかなり難解(らしい)です。
いわゆる
「ベルトランの仮説」「チェビシェフの定理」というやつですね.
超難解な証明のほかに
エルデシュの初等的な証明が知られていますが,
この初等的な証明は相当数学の得意な高校生が
気合をいれて読めば理解できるくらいのものですね.
エルデシュが天才だということが実感できる証明です.
そもそも、「3次元球面」だったのですね。4次元の球があるとして、その皮が3次元の立体構造を持っているという感じに理解しましたが、しずれにしても、この時点で。「直感的に正しいように感じる」ということばを撤回します。
どうもありがとうございました。
No.3
- 回答日時:
直感的に当たり前じゃないことを直感的に説明するのは無理だと思いますけど…
当たり前のように思うあなたの「直感」は正しいと思います。
「直感的に正しい」ことと「数学的に正しい」ことが違うだけです。
数学的に正しいことを証明するためには、既に分かっている正しいことからそれを導き出さなければなりません。
それってそんなに簡単にできないことは数学初心者でも分かると思いますよ(^^)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 宇宙科学・天文学・天気 【ポアンカレ予想】数学のポアンカレ予想は宇宙が丸いか楕円形かドーナツ形が平面か予測す 3 2022/09/17 13:41
- 物理学 宇宙エレベーターのロープの条件。 2 2023/06/10 23:20
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 宇宙科学・天文学・天気 宇宙の外側を、世界初、理論と数式で、発表する。 3 2023/03/05 12:26
- 作詞・作曲 TVアニメ『キャプテンハーロック』の主題歌は来月起きる大災害を予言しているようですが、どうかな? 2 2023/03/30 19:03
- 物理学 ループしている世界で光の思考実験。 3 2023/02/05 07:35
- 哲学 ■死を恐れる必要は皆無?? 11 2022/05/22 08:15
- 物理学 4次元やら まだ見ぬ宇宙やら 物理やら 証明された時点で、それが証明になる…やら。 せもそも 宇宙を 4 2023/01/13 22:55
- 物理学 ブラックホールにロープを投げ込む。 4 2023/02/13 18:46
- 宇宙科学・天文学・天気 人生が複数回あればいいなと思う時がある 鬱になったとかではない 自分が可愛いから自分を死んだら焼くと 2 2023/04/08 02:19
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
次元定理以外で
-
帰納法
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
不完全微分であることの証明
-
中心角の定理
-
四葉のクローバー この言葉一度...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
ブール環
-
元カレと再婚した方ってなかな...
-
フェルマーの最終定理。 数学者...
-
a1=√2,a(n+1)=√(2+an)が単調増...
-
中学2年程度数学3ケタの自然数...
-
47歳、母親の再婚を子供の立場...
-
3,4,7,8を使って10を作る
-
2+3=5
-
結婚して1か月して、初めて主...
-
正解が一つとは限らない数学の...
-
非該当証明書と該非判定書とい...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報