集合論 on kenji.blog

リシャールのパラドックス：無限の小数と「対角線論法」が引き起こす矛盾

Thu, 10 Sep 2026 12:00:00 +0900

1. 言葉で定義できる数字のリスト

フランスの数学者ジュール・リシャールが1905年に発表した「リシャールのパラドックス」は、先ほど紹介した「ベリーのパラドックス」の親戚のような存在です。しかし、こちらはより数学的で、無限の彼方を覗き込むような深い矛盾を含んでいます。

まず、**「日本語の文章で完全に定義できる、0から1の間の実数（小数）」**をすべて集めてくることを想像してください。

たとえば、次のような数字です。

「ゼロ・ポイント・ゴ」 $\rightarrow$ $0.5$
「さんぶんのいち」 $\rightarrow$ $0.333333...$
「えんしゅうりつのしょうすうだいいちいからさきをならべたかず」 $\rightarrow$ $0.14159265...$

日本語で表現できる文章の組み合わせは、辞書に載っている文字を並べ替えるだけなので、「順番」をつけることができます。（たとえば、文字数が少ない順に並べ、同じ文字数ならあいうえお順に並べる、といった具合です。）

こうして、「日本語で定義できるすべての実数」に、1番目、2番目、3番目……と**無限に続く番号（リスト）**を作ることができました。

$$ \begin{align*} r_1 &= 0.\mathbf{3}333... \\ r_2 &= 0.5\mathbf{0}00... \\ r_3 &= 0.14\mathbf{1}5... \\ r_4 &= 0.777\mathbf{7}... \\ &\vdots \end{align*} $$

このリストの中には、「日本語で定義できるありとあらゆる実数」が、一つ残らず完璧に網羅されているはずです。

2. 悪魔のテクニック「対角線論法」

ここで、リシャールは恐ろしい操作を行います。リストの中にあるすべての数字を避けて通るような、**「全く新しい数字 $X$」**を人工的に作り出してしまうのです。

作り方は簡単です。

リストの1番目の数字の、小数点以下1桁目を見る（上の例なら $3$）。それに $1$ を足した数を、$X$ の1桁目にする（$3+1=4$）。
リストの2番目の数字の、小数点以下2桁目を見る（上の例なら $0$）。それに $1$ を足した数を、$X$ の2桁目にする（$0+1=1$）。
リストの3番目の数字の、小数点以下3桁目を見る（上の例なら $1$）。それに $1$ を足した数を、$X$ の3桁目にする（$1+1=2$）。

※もし元の数字が $9$ だったら $0$ に戻すとします。

graph TD subgraph "リスト化された実数たち" R1["r1 = 0.[3]33..."] R2["r2 = 0.5[0]0..."] R3["r3 = 0.14[1]..."] R4["r4 = 0.777[7]..."] end subgraph "新しく作られた数字 X" X["X = 0.4128..."] end R1 -->|1桁目を+1| X R2 -->|2桁目を+1| X R3 -->|3桁目を+1| X R4 -->|4桁目を+1| X style X fill:#aaffaa,stroke:#333,stroke-width:2px

この方法で作られた新しい数字 $X$（上の例なら $X = 0.4128...$）は、リストの中のどの数字とも絶対に一致しません。なぜなら、$n$ 番目の数字とは必ず「小数点以下 $n$ 桁目」の数字が意図的にズラしてあるからです。（この手法は、天才数学者カントールが実数の無限の大きさを証明するために編み出した**「対角線論法」**と呼ばれます。）

3. リシャールのパラドックスの完成

さて、ここからがパラドックスです。

私たちはたった今、新しい数字 $X$ を作り出しました。そして、この $X$ を作り出すための「ルール」は、今、私が上で書いた日本語の文章によって完璧に説明（定義）されています。

つまり、$X$ は**「日本語で定義できる実数」**なのです。

しかし、最初の前提を思い出してください。「日本語で定義できる実数」は、すべて最初のリスト（$r_1, r_2, r_3...$）の中に網羅されているはずでした。それなのに、$X$ はリストの中のどの数字とも一致しないように作られています。

$X$ はリストの中に存在しなければならない（日本語で定義されたから）。
$X$ はリストの中に存在してはならない（対角線論法でリスト内のすべての数と違うように作られたから）。

完璧な矛盾です！これがリシャールのパラドックスです。

4. なぜ論理が崩壊したのか？（メタ言語の罠）

このパラドックスが生まれた原因も、ベリーのパラドックスと同様に「言語の階層」を混同してしまったことにあります。

数学を厳密に行うためには、「対象となる数字のリスト（対象言語）」と、「そのリストの性質について外側から語るルール（メタ言語）」を明確に分けなければなりません。

リシャールのリストは、「計算可能な数字の定義」を集めたものです。しかし、新しい数 $X$ を作り出すための「リストの $n$ 番目の数字の $n$ 桁目を見る」というルールは、リストそのものを外側から俯瞰しなければ実行できない「メタ言語」の操作です。

リシャールのパラドックスは、「リストを外側から操作して作ったメタ言語的な数字 $X$」を、こっそりと「内側のリスト」の中に紛れ込ませようとしたため、自己矛盾を起こして爆発してしまったのです。

5. ゲーデルへのバトンタッチ

このリシャールのパラドックスは、当時の数学界に大きな衝撃を与えました。「人間の言葉（や論理体系）は、気をつけないとすぐに自己矛盾を起こしてしまう。数学を完璧で矛盾のないものにするにはどうすればいいのか？」

1931年、この問題に最終的な決着をつけたのが、弱冠25歳の天才数学者クルト・ゲーデルでした。ゲーデルは、リシャールが「日本語の曖昧さ」を使って引き起こしたこのパラドックスの構造を、**「厳密な数学の数式（ゲーデル数）」**を使って完璧に翻訳・再現してみせました。

その結果導き出されたのが、かの有名な**「ゲーデルの不完全性定理」**です。「どんなに厳密に数学のルールを作っても、そのルールの中には『証明も反証もできない真理』が必ず発生してしまう（数学は不完全である）」という、人類の知の限界を証明する大発見でした。

リシャールのパラドックスは、単なる矛盾した言葉遊びから始まり、やがて数学という学問そのものの「絶対性」を打ち砕くための最強の武器へと進化したのです。

ヒルベルトの無限ホテル：満室のホテルに、さらに無限人の客を泊める方法

Thu, 10 Sep 2026 06:00:00 +0900

1. 究極のホテルへようこそ

ドイツの偉大な数学者ダフィット・ヒルベルトは、「無限」という概念がいかに人間の直感からかけ離れているかを説明するために、次のような面白い思考実験を考案しました。

想像してください。宇宙のどこかに**「ヒルベルトの無限ホテル」というホテルがあります。このホテルには、1号室、2号室、3号室……と、番号のついた客室が無限個**存在しています。

ある日のこと、宇宙中で大イベントがあり、この無限ホテルはすべての部屋に客が入って**「満室」**になってしまいました。そこへ、疲れ切った1人の旅人がやってきて、「部屋を1つ空けてもらえませんか？」とフロントに尋ねました。

普通のホテルなら「申し訳ありません、満室です」と断るしかありません。しかし、ここは無限ホテルです。支配人は「かしこまりました。すぐにお部屋をご用意します」と微笑みました。満室なのに、どうやって新しい客を泊めるのでしょうか？

2. ケース1：1人の新しい客を泊める方法

支配人は館内放送で、すでに泊まっているすべての客に次のようにアナウンスしました。

「お客様にお願いいたします。現在の部屋番号に『プラス1』した番号の部屋へ移動してください。」

するとどうなるでしょうか？

1号室の客は、2号室へ移動します。
2号室の客は、3号室へ移動します。
3号室の客は、4号室へ移動します。
$n$号室の客は、$n+1$号室へ移動します。

部屋は無限にあるので、「一番最後の部屋の客が追い出される」ということは起こりません。全員が1つ隣の部屋に無事に引っ越すことができます。そして見事、1号室が空室になりました。 新しい旅人は、無事に1号室に泊まることができたのです。

無限の世界では、$\infty + 1 = \infty$ が成り立ちます。「全体（無限）」の中から「1つ」を取り出しても、全体の大きさは変わらないのです。

3. ケース2：無限人の新しい客を泊める方法

さて、翌日。ホテルは再び満室状態に戻りました。そこへ今度は、なんと**「無限人の乗客」を乗せた無限バス**が到着しました。バスから降りてきた客たちは、「全員分の部屋を用意してくれ！」とフロントに詰め寄ります。

昨日と同じように「プラス1」の移動をお願いしていては、永遠に時間がかかってしまいます。しかし、支配人は慌てません。再び館内放送を入れました。

「お客様にお願いいたします。現在の部屋番号を『2倍』した番号の部屋へ移動してください。」

するとどうなるでしょうか？

1号室の客は、2号室へ移動します。
2号室の客は、4号室へ移動します。
3号室の客は、6号室へ移動します。
$n$号室の客は、$2n$号室へ移動します。

この移動によって、すでに泊まっていた無限人の客は、「すべての偶数番号の部屋」にすっぽりと収まりました。そして奇跡的なことに、「すべての奇数番号の部屋（1号室、3号室、5号室…）」が完全に空室になったのです！

graph LR subgraph "現在の宿泊客" G1["客1"] -->|2倍| R2["2号室"] G2["客2"] -->|2倍| R4["4号室"] G3["客3"] -->|2倍| R6["6号室"] end subgraph "バスの新しい客（無限人）" N1["新客1"] -->|奇数へ| R1["1号室 (空)"] N2["新客2"] -->|奇数へ| R3["3号室 (空)"] N3["新客3"] -->|奇数へ| R5["5号室 (空)"] end style R1 fill:#aaffaa,stroke:#333 style R3 fill:#aaffaa,stroke:#333 style R5 fill:#aaffaa,stroke:#333

奇数も無限に存在しますから、支配人は無限バスの乗客の先頭から順番に、1号室、3号室、5号室…と案内していけば、全員を泊めることができます。

無限の世界では、$\infty + \infty = \infty$ が成り立ちます。無限に無限を足しても、やっぱりサイズは同じ「無限」のままなのです。

4. ケース3：無限台の無限バスが到着したら？

さらに翌日。またしてもホテルは満室です。そこへなんと、**「無限人の乗客を乗せた無限バスが、無限台」**連なって到着しました。

バス1号車に無限人、バス2号車に無限人、バス3号車に無限人……これが無限台続きます。さすがの支配人もパニックになりそうですが、彼は数学の天才でした。「素数」を使うことを思いついたのです。

支配人は次のように指示を出しました。

すでにホテルに泊まっている客の移動 現在の部屋番号を $n$ としたとき、「$2^n$ 号室」に移動してもらう。（1号室 $\rightarrow$ 2号室、2号室 $\rightarrow$ 4号室、3号室 $\rightarrow$ 8号室…）これで現在の客は全員収まりました。
バス1号車の客（無限人）の案内 客の座席番号を $n$ としたとき、「$3^n$ 号室」に案内する。（3号室、9号室、27号室…）
バス2号車の客（無限人）の案内 次の素数である 5 を使い、「$5^n$ 号室」に案内する。（5号室、25号室、125号室…）
バス $k$ 号車の客（無限人）の案内 $k+1$ 番目の素数 $P$ を使い、「$P^n$ 号室」に案内する。

「素因数分解の一意性（どんな数も素数の掛け算の組み合わせは1通りしかない）」という数学の強力な定理により、$2^n, 3^n, 5^n, 7^n \dots$ の部屋番号が他の誰かと重複することは絶対にありません。

こうして支配人は、**「無限 $\times$ 無限」**という途方もない人数の客を、1つの無限ホテルに見事に収容してしまったのです！

5. 無限には「大きさ」の違いがある（カントールの定理）

ヒルベルトの無限ホテルが教えてくれるのは、「可算無限（1, 2, 3…と番号を振って数えられる無限）」は、いくら足し合わせても、掛け合わせても、結局は同じサイズの『可算無限』の枠に収まってしまうという事実です。

しかし、数学者ゲオルグ・カントールは、さらに恐ろしい事実を発見しました。「自然数」や「分数」は、すべてこの無限ホテルに泊めることができます。しかし、「実数（無理数を含むすべての小数）」の客がやってきた場合、この無限ホテルを使っても絶対に全員を泊めることができないのです。

実数の数は、無限ホテルの部屋の数（可算無限）よりも根本的に「大きい（レベルの高い）無限」であることが証明されています。「無限」という言葉でひとくくりにされがちですが、実は無限の中にも「小さな無限」と「絶対にたどり着けないほど大きな無限」という階層構造（濃度）が存在するのです。

6. まとめ：人間の直感を破壊する「無限」

ヒルベルトの無限ホテルは、私たちの日常生活で培われた「有限の常識」がいかに「無限の世界」では通用しないかを、鮮やかに描き出しています。

「全体は部分よりも大きい」「満室のホテルには誰も入れない」「無限に無限を足したら、もっと大きくなる」

こうした当たり前の直感は、すべて見事に裏切られます。無限の世界は、パラドックス（直感に反する真理）の宝庫です。数学者たちはこのパラドックスを恐れるのではなく、論理の力でねじ伏せ、分類し、現代の集合論という美しい体系を作り上げました。

次に「ホテルが満室です」と断られたときは、ぜひ「もしこのホテルがヒルベルトの無限ホテルだったらな」と想像してみてください。

バナッハ＝タルスキのパラドックス：1つの球を切り刻むと、同じ大きさの球が2つになる？

Thu, 10 Sep 2026 02:00:00 +0900

1. 魔法のような定理：1 = 1 + 1 ?

もし目の前に1つの純金の球（ボール）があるとします。この球をナイフでいくつかのパーツに切り分けます。そして、それらのパーツをパズルのように組み合わせていきます。パーツを伸ばしたり、曲げたり、新しい金を付け足したりはいっさいしません。ただ移動させてくっつけるだけです。

ところが、完成したパズルを見ると、**「元の球と全く同じ大きさの純金の球が、2つ」**できあがっているのです。

「そんな馬鹿な！質量保存の法則に反しているし、錬金術師の妄想だ！」と思うでしょう。現実の物理世界では絶対にありえません。しかし、純粋な数学（幾何学・集合論）の世界では、これが論理的に100%正しい定理として証明されているのです。

これが、1924年にステファン・バナッハとアルフレト・タルスキという2人の数学者によって証明された**「バナッハ＝タルスキのパラドックス」**です。

2. パラドックスの主張を正確に理解する

バナッハとタルスキが証明した定理を、数学的に正確な言葉で表現すると次のようになります。

バナッハ＝タルスキの定理 3次元空間内にある任意の球体 $S$ は、有限個の断片に分割することができる。そして、それらの断片を（回転と平行移動のみによって）再配置することで、元の球体 $S$ と全く同じ半径を持つ2つの球体を作り出すことができる。

さらに驚くべきことに、この定理を応用すると次のようなことも言えます。

1つのエンドウ豆を有限個のパーツに分割し、それを組み立て直すことで、太陽と全く同じ大きさの球を作ることができる。（別名：エンドウ豆と太陽のパラドックス）

なぜ、こんな魔法のようなことが数学的に許されるのでしょうか？その秘密は、**「無限」と「選択公理」**という2つのキーワードに隠されています。

3. 「無限」の不思議な性質

このパラドックスを理解するための第一歩は、「無限集合」の奇妙な性質を知ることです。

私たちが普段扱っている「有限」の世界では、全体は部分よりも必ず大きくなります。例えば、1から10までの数字（10個）の中から、偶数（5個）を取り出すと、数は半分に減ってしまいます。

しかし、「無限」の世界ではこの常識が通用しません。すべての「自然数」（1, 2, 3, 4, …）と、すべての「偶数」（2, 4, 6, 8, …）は、どちらの方が多いでしょうか？直感的には、偶数は自然数の半分しかないので、自然数の方が多い気がします。しかし、以下のようにペアを作ってみてください。

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

このように、すべての自然数に対して、ちょうど2倍にした偶数を必ず1つずつペアにすることができます（一対一対応）。余る数はありません。つまり数学的には、「自然数の個数（無限）」と「偶数の個数（無限）」は全く同じ大きさなのです！

全体（自然数）の中から半分（偶数）を取り出したはずなのに、大きさは元のまま変わっていない。無限集合においては、**「部分が全体と等しくなる」**ことが起こり得るのです。バナッハ＝タルスキの定理は、この「無限の魔法」を3次元空間の「点」の集合に適用した究極の形と言えます。

4. 空間の点は「非可測」に切り刻まれる

現実の物体（金やリンゴ）を包丁で切った場合、パーツには必ず「体積」が存在します。しかし、数学における球は、体積を持たない**「無限個の点の集まり」**です。

バナッハとタルスキは、この無限個の点を、非常に特殊で複雑な方法でグループ分け（分割）しました。その分け方は、あまりにも複雑で散らばっているため、もはや「体積を測ることができない（非可測集合）」状態になります。

各パーツが「体積を持たない（測れない）」モヤモヤした点の集まりになってしまえば、「パーツを足し合わせたら元の体積と同じにならなければならない」という物理のルール（測度の加法性）の縛りから抜け出すことができます。

そして、それらのモヤモヤした点のパーツを回転させて上手く組み合わせると、「無限の魔法」によって、元の球と全く同じ点がギッシリ詰まった球が2つ完成してしまうのです。実際には、元の球をたった 5つのパーツ に分割するだけで、この「1つの球から2つの球を作る」操作が可能であることが証明されています。

5. すべての元凶：「選択公理」とは何か？

では、なぜ「体積を測ることができないほど複雑な分割」が数学的に可能なのでしょうか？それは、現代数学の基礎となっている**「選択公理（Axiom of Choice）」**というルールを認めているからです。

選択公理とは、ざっくり言うと次のようなルールです。

選択公理のイメージ たくさんの箱の中にそれぞれモノが入っているとき、**「各箱から1つずつモノを選び出して、新しいセット（集合）を作ることができる」**というルール。

箱の数が有限個なら、誰でも普通にできます。しかし、箱の数が「無限個」あった場合、人間が「1つずつ選ぶ」操作を無限回終わらせることはできません。それでも、「選んで作ったセットが存在するとして良い」と認めるのが選択公理です。

この公理は、現代の数学を構築する上で非常に便利で不可欠なものでした。数学者のほとんどは「まあ、当たり前だよね」とこのルールを受け入れました。

しかし、この選択公理を認めると、先ほどの「体積が測れないほど散らばったモヤモヤの点の集合（非可測集合）」の存在を認めることになってしまいます。そして、その結果として「1つの球が2つになる」というバナッハ＝タルスキの定理が、論理的必然として導き出されてしまうのです。

6. まとめ：数学が描き出す「直感を超えた世界」

バナッハ＝タルスキのパラドックスは、「論理に矛盾がある」という意味でのパラドックス（逆説）ではありません。論理は100%正しいのに、導き出された結論が人間の直感や物理法則と激しく矛盾しているという意味でのパラドックスです。

この定理が発表されたとき、一部の数学者たちは「こんな非常識な結論が出るなら、選択公理は間違っているに違いない！」と主張しました。しかし現在では、多くの数学者が選択公理を受け入れ、バナッハ＝タルスキの定理も「3次元空間と無限集合が持つ、奇妙だけど美しい性質」として受け入れています。

私たちが暮らす物理世界は原子という「大きさのある粒（有限）」でできているため、エンドウ豆を太陽の大きさにすることはできません。しかし、人間の頭脳が創り出した「数学」というキャンバスの上では、点のサイズはゼロであり、無限の操作が許されます。

バナッハ＝タルスキのパラドックスは、「無限」という概念が、人間の素朴な直感をどれほど軽々と飛び越えていくかを教えてくれる、現代数学の最高傑作の一つと言えるでしょう。