No.1ベストアンサー
- 回答日時:
バナッハ-タルスキーの定理。
これについては、そのものずばり「(砂田利一)バナッハ・タルスキーのパラドックス」という秀逸な一般向け解説書があります。この定理のキモである「選択公理」や「無限」「存在証明」を丁寧に解説してあります。さて....●「3次元の実数空間(つまり(x,y,z): x,y,zは実数)の中で、半径1の球体(中身が詰まっている)を考えます。この球体を(ある内緒の方法で)有限個の部分集合に分割します。(つまり重複も余りもないように分けます。)そして、これらの部分集合それぞれの形は全く変えずに、ただ(ある内緒の方法で)向きを変え、並べ替えて上手に組み合わせると、半径1の球体(中身が詰まっている)を2個作れます。」
これがバナッハ-タルスキーの定理です。
金でできた球体を2倍に増やす方法を早く知りたい、と思うのはあなただけではありません。実は「ある内緒の方法」というのは「存在することは証明できるが、やり方は分からない。」不可知なんです。
●金の球体は、たかだか有限個の金の原子の集まりです。実数の個数どころか、自然数の個数どころか、たかが有限個に過ぎない。数学的な球体とは全然別物です。だから仮に「ある内緒の方法」が分かったとしても、金の球には使えませんね。
●また、体積という概念も実はええかげんなものです。実際、金の原子の並んでいる間隔を変えるだけで球は大きくなる。加熱してやればいいんですね。ましてや、表面積なんてものは(原子や素粒子のサイズまで考えれば)幻想としか言いようがない。
●3次元の実数空間や、幾何学図形は、我々の住む空間や物の形のモデルとしてとても役に立ちますが、適用出来る限度というものがあるようだ。そういうことです。
なお、バナッハ-タルスキーの定理を「球体を有限個の部分に切り分けて並べ替えると....」と表現することがありますが、たとえば数直線を「小数点以下1桁目が1のもの」と「それ以外」に分けると、(集合としては2つに分けたんですが)手に持てるような部品2個にはならず、ばらばらに切れた無限個の「部分」になってしまいますよね。「バナッハ-タルスキーの定理において、有限個の、連結した部分集合に分けられる」という証明があるんでしょうか?これは知りません。(多分無理だと思います。)
おおっと、おあとが宜しいようで...
この回答への補足
stomachmanさん、ほんとに、ほんとに、すみませんでした。そして、ありがとうございました。無理なお願いをきいていただいて。
自分なりに理解できたら、またお礼の投稿をさせていただきます。
さっぱり理解できません。(あたりまえですね)でも、面白くてしょうがないです。
(例によってひとり言です)
本当に球体の体積が2倍になるのですか? どこかにオチのあるパラドックスなのですか?
「バラして組み合わせる」というのがトリックなのかな? 無限級数なんかは順序を入れ替えると
結果がぜんぜん違うことがあるから。(やっぱりちゃんと本を読みます)
ありがとうございました。
No.2
- 回答日時:
選択公理を認めた以上は、紛れもない定理です。
オチがないんですよ。これは幾らなんでも直感に合わない。パラドックスじゃないの、というんで、選択公理に制限を加えてみたり、色々な試みがなされています。しかし現代では、選択公理を平気で使う、というのが主流のように思えます。
同様に「連続体仮説」も、肯定も否定もできない、つまり公理として加えるかどうかで数学のパワーが変わる、という種類の命題(独立な公理)であることが知られています。
おっとと:
連続体仮説=「「可算無限個(自然数の個数=濃度Aと言う)の要素を持つ集合」のあらゆる部分集合を要素とする集合」の要素の数は、非可算無限個(実数の個数=濃度Cという)と一致する。」
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- カラオケ 原曲キー設定で歌った事を原曲キーと言ってはいけないんでしょうかね? 5 2023/06/01 23:00
- Windows 10 BitLocker回復キーを知りたいのですが、手順を教えて下さい。 2 2023/03/16 14:21
- クラシック 楽譜の読み方についての質問 10 2022/09/07 15:00
- その他(コンピューター・テクノロジー) プリントスクリーンについて 6 2022/11/23 11:17
- マウス・キーボード フリーゲームの移動キーについて 1 2022/09/05 07:50
- Word(ワード) IMEパッドがショートカットキーで開かないのですが。。。 5 2023/06/11 09:23
- カラオケ 原曲キー設定で歌った事を原曲キーと言ってはいけないんでしょうかね? 5 2023/05/01 20:00
- カラオケ 音楽的にオク下やオク上であっても「設定したキー」で歌えば「そのキー」で歌った事になるんでしょうか? 2 2023/08/01 23:00
- マウス・キーボード HPのパビリオンのキーボード異常 2 2023/07/25 11:40
- カラオケ 原曲キー設定で歌ったら原曲キーで歌ったと言って良いって事でしょうかね? 1 2023/07/01 23:00
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
完全数はどうして「完全」と名...
-
直角三角形じゃないのに三平方...
-
円周角の定理を使う問題につい...
-
至上最難問の数学がとけた
-
行列のn乗について
-
数A nは自然数とする。n , n+2 ...
-
数IIIの定理、受験で使っていい...
-
合同方程式13x≡7(mod84)の答え...
-
大学の記述入試で外積は使えま...
-
十分性の確認について
-
「整数係数方程式の有理解の定...
-
合同式の性質についてです。 な...
-
非正規形の微分方程式
-
lim[x→+∞](x^n/e^x)=0 の証明
-
三角形の3辺の長さの性質の証明
-
x^100を(x+1)^2で割ったときの...
-
ディリクレ指標について( mod=5...
-
モーレの定理
-
3以上9999以下の奇数aで、(a^2)...
-
複素関数と実関数のテーラー展...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
定理と法則の違い
-
至上最難問の数学がとけた
-
実数の整列化について
-
十分性の確認について
-
AとBはn次正方行列とする。 積A...
-
ほうべき(方巾)の定理について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
オイラーの多面体定理の拡張
-
微分形式,微分幾何学の参考書
-
ディリクレ指標について( mod=5...
-
x^100を(x+1)^2で割ったときの...
-
nを整数とする。このとき、n^2...
-
大学数学 解答
-
4.6.8で割るとあまりはそれぞれ...
おすすめ情報