<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>選択公理 on kenji.blog</title><link>http://kenji.blog/tags/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86/</link><description>Recent content in 選択公理 on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>ja</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 02:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/tags/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86/index.xml" rel="self" type="application/rss+xml"/><item><title>バナッハ＝タルスキのパラドックス：1つの球を切り刻むと、同じ大きさの球が2つになる？</title><link>http://kenji.blog/p/banach-tarski-paradox/</link><pubDate>Thu, 10 Sep 2026 02:00:00 +0900</pubDate><guid>http://kenji.blog/p/banach-tarski-paradox/</guid><description>&lt;img src="http://kenji.blog/p/banach-tarski-paradox/img/banach_tarski.jpg" alt="Featured image of post バナッハ＝タルスキのパラドックス：1つの球を切り刻むと、同じ大きさの球が2つになる？" />&lt;h2 id="1-魔法のような定理1--1--1-">1. 魔法のような定理：1 = 1 + 1 ?
&lt;/h2>&lt;p>もし目の前に1つの純金の球（ボール）があるとします。
この球をナイフでいくつかのパーツに切り分けます。そして、それらのパーツをパズルのように組み合わせていきます。パーツを伸ばしたり、曲げたり、新しい金を付け足したりはいっさいしません。ただ移動させてくっつけるだけです。&lt;/p>
&lt;p>ところが、完成したパズルを見ると、**「元の球と全く同じ大きさの純金の球が、2つ」**できあがっているのです。&lt;/p>
&lt;p>「そんな馬鹿な！質量保存の法則に反しているし、錬金術師の妄想だ！」と思うでしょう。
現実の物理世界では絶対にありえません。しかし、&lt;strong>純粋な数学（幾何学・集合論）の世界では、これが論理的に100%正しい定理として証明されている&lt;/strong>のです。&lt;/p>
&lt;p>これが、1924年にステファン・バナッハとアルフレト・タルスキという2人の数学者によって証明された**「バナッハ＝タルスキのパラドックス」**です。&lt;/p>
&lt;hr>
&lt;h2 id="2-パラドックスの主張を正確に理解する">2. パラドックスの主張を正確に理解する
&lt;/h2>&lt;p>バナッハとタルスキが証明した定理を、数学的に正確な言葉で表現すると次のようになります。&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>バナッハ＝タルスキの定理&lt;/strong>
3次元空間内にある任意の球体 $S$ は、有限個の断片に分割することができる。そして、それらの断片を（回転と平行移動のみによって）再配置することで、元の球体 $S$ と全く同じ半径を持つ2つの球体を作り出すことができる。&lt;/p>
&lt;/blockquote>
&lt;p>さらに驚くべきことに、この定理を応用すると次のようなことも言えます。&lt;/p>
&lt;ul>
&lt;li>1つのエンドウ豆を有限個のパーツに分割し、それを組み立て直すことで、&lt;strong>太陽と全く同じ大きさの球&lt;/strong>を作ることができる。（別名：エンドウ豆と太陽のパラドックス）&lt;/li>
&lt;/ul>
&lt;p>なぜ、こんな魔法のようなことが数学的に許されるのでしょうか？
その秘密は、**「無限」&lt;strong>と&lt;/strong>「選択公理」**という2つのキーワードに隠されています。&lt;/p>
&lt;hr>
&lt;h2 id="3-無限の不思議な性質">3. 「無限」の不思議な性質
&lt;/h2>&lt;p>このパラドックスを理解するための第一歩は、「無限集合」の奇妙な性質を知ることです。&lt;/p>
&lt;p>私たちが普段扱っている「有限」の世界では、全体は部分よりも必ず大きくなります。
例えば、1から10までの数字（10個）の中から、偶数（5個）を取り出すと、数は半分に減ってしまいます。&lt;/p>
&lt;p>しかし、「無限」の世界ではこの常識が通用しません。
すべての「自然数」（1, 2, 3, 4, &amp;hellip;）と、すべての「偶数」（2, 4, 6, 8, &amp;hellip;）は、どちらの方が多いでしょうか？
直感的には、偶数は自然数の半分しかないので、自然数の方が多い気がします。
しかし、以下のようにペアを作ってみてください。&lt;/p>
&lt;ul>
&lt;li>1 $\rightarrow$ 2&lt;/li>
&lt;li>2 $\rightarrow$ 4&lt;/li>
&lt;li>3 $\rightarrow$ 6&lt;/li>
&lt;li>$n \rightarrow 2n$&lt;/li>
&lt;/ul>
&lt;p>このように、すべての自然数に対して、ちょうど2倍にした偶数を必ず1つずつペアにすることができます（一対一対応）。余る数はありません。
つまり数学的には、&lt;strong>「自然数の個数（無限）」と「偶数の個数（無限）」は全く同じ大きさ&lt;/strong>なのです！&lt;/p>
&lt;p>全体（自然数）の中から半分（偶数）を取り出したはずなのに、大きさは元のまま変わっていない。無限集合においては、**「部分が全体と等しくなる」**ことが起こり得るのです。
バナッハ＝タルスキの定理は、この「無限の魔法」を3次元空間の「点」の集合に適用した究極の形と言えます。&lt;/p>
&lt;hr>
&lt;h2 id="4-空間の点は非可測に切り刻まれる">4. 空間の点は「非可測」に切り刻まれる
&lt;/h2>&lt;p>現実の物体（金やリンゴ）を包丁で切った場合、パーツには必ず「体積」が存在します。
しかし、数学における球は、体積を持たない**「無限個の点の集まり」**です。&lt;/p>
&lt;p>バナッハとタルスキは、この無限個の点を、非常に特殊で複雑な方法でグループ分け（分割）しました。
その分け方は、あまりにも複雑で散らばっているため、もはや「体積を測ることができない（非可測集合）」状態になります。&lt;/p>
&lt;div class="mermaid">graph TD
S["元の球体 S (体積 V)"] -->|特殊な分割| P1["断片 1 (体積測定不能)"]
S --> P2["断片 2 (体積測定不能)"]
S --> P3["断片 3 (体積測定不能)"]
S --> P4["断片 4 (体積測定不能)"]
S --> P5["断片 5 (体積測定不能)"]
P1 -->|回転・移動| S1["新しい球体 1 (体積 V)"]
P2 -->|回転・移動| S1
P3 -->|回転・移動| S1
P4 -->|回転・移動| S2["新しい球体 2 (体積 V)"]
P5 -->|回転・移動| S2
style S fill:#ffddaa,stroke:#333,stroke-width:2px
style S1 fill:#aaddff,stroke:#333,stroke-width:2px
style S2 fill:#aaddff,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>各パーツが「体積を持たない（測れない）」モヤモヤした点の集まりになってしまえば、「パーツを足し合わせたら元の体積と同じにならなければならない」という物理のルール（測度の加法性）の縛りから抜け出すことができます。&lt;/p>
&lt;p>そして、それらのモヤモヤした点のパーツを回転させて上手く組み合わせると、「無限の魔法」によって、元の球と全く同じ点がギッシリ詰まった球が2つ完成してしまうのです。
実際には、元の球をたった &lt;strong>5つのパーツ&lt;/strong> に分割するだけで、この「1つの球から2つの球を作る」操作が可能であることが証明されています。&lt;/p>
&lt;hr>
&lt;h2 id="5-すべての元凶選択公理とは何か">5. すべての元凶：「選択公理」とは何か？
&lt;/h2>&lt;p>では、なぜ「体積を測ることができないほど複雑な分割」が数学的に可能なのでしょうか？
それは、現代数学の基礎となっている**「選択公理（Axiom of Choice）」**というルールを認めているからです。&lt;/p>
&lt;p>選択公理とは、ざっくり言うと次のようなルールです。&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>選択公理のイメージ&lt;/strong>
たくさんの箱の中にそれぞれモノが入っているとき、**「各箱から1つずつモノを選び出して、新しいセット（集合）を作ることができる」**というルール。&lt;/p>
&lt;/blockquote>
&lt;p>箱の数が有限個なら、誰でも普通にできます。
しかし、&lt;strong>箱の数が「無限個」あった場合&lt;/strong>、人間が「1つずつ選ぶ」操作を無限回終わらせることはできません。それでも、「選んで作ったセットが存在するとして良い」と認めるのが選択公理です。&lt;/p>
&lt;p>この公理は、現代の数学を構築する上で非常に便利で不可欠なものでした。数学者のほとんどは「まあ、当たり前だよね」とこのルールを受け入れました。&lt;/p>
&lt;p>しかし、この選択公理を認めると、先ほどの「体積が測れないほど散らばったモヤモヤの点の集合（非可測集合）」の存在を認めることになってしまいます。そして、その結果として「1つの球が2つになる」というバナッハ＝タルスキの定理が、論理的必然として導き出されてしまうのです。&lt;/p>
&lt;hr>
&lt;h2 id="6-まとめ数学が描き出す直感を超えた世界">6. まとめ：数学が描き出す「直感を超えた世界」
&lt;/h2>&lt;p>バナッハ＝タルスキのパラドックスは、「論理に矛盾がある」という意味でのパラドックス（逆説）ではありません。&lt;strong>論理は100%正しいのに、導き出された結論が人間の直感や物理法則と激しく矛盾している&lt;/strong>という意味でのパラドックスです。&lt;/p>
&lt;p>この定理が発表されたとき、一部の数学者たちは「こんな非常識な結論が出るなら、選択公理は間違っているに違いない！」と主張しました。
しかし現在では、多くの数学者が選択公理を受け入れ、バナッハ＝タルスキの定理も「3次元空間と無限集合が持つ、奇妙だけど美しい性質」として受け入れています。&lt;/p>
&lt;p>私たちが暮らす物理世界は原子という「大きさのある粒（有限）」でできているため、エンドウ豆を太陽の大きさにすることはできません。
しかし、人間の頭脳が創り出した「数学」というキャンバスの上では、点のサイズはゼロであり、無限の操作が許されます。&lt;/p>
&lt;p>バナッハ＝タルスキのパラドックスは、&lt;strong>「無限」という概念が、人間の素朴な直感をどれほど軽々と飛び越えていくか&lt;/strong>を教えてくれる、現代数学の最高傑作の一つと言えるでしょう。&lt;/p></description></item></channel></rss>