幾何学 on kenji.blog

ペンキで満たすことはできるが、表面を塗ることはできない？：ガブリエルのラッパ

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

もし「体積は有限なのに、表面積が無限大である」ような容器があったらどうなるでしょうか？直感的にはあり得ないように思えますが、数学の世界には確かにそのような立体が存在します。それが**「ガブリエルのラッパ（Gabriel’s Horn）」、別名「トリチェリのラッパ」**と呼ばれる図形です。

1641年にイタリアの数学者エヴァンジェリスタ・トリチェリによって発見されたこの図形は、当時の数学者や哲学者たちに大きな衝撃を与え、「無限」の本質についての激しい論争を引き起こしました。

ペンキ塗りのパラドックス

この図形が持つ性質を、日常的な「ペンキ」に例えると、次のような奇妙なパラドックスが発生します。

ラッパをペンキで満たす場合：ラッパの体積は有限（正確には $\pi$）なので、たった $\pi$ リットル（約3.14リットル）のペンキを注ぐだけで、ラッパの内部を完全に満たすことができます。
ラッパの表面をペンキで塗る場合：ラッパの表面積は無限大です。したがって、ラッパの内側（または外側）の表面をハケで塗ろうとすると、どれだけ大量のペンキを用意しても永遠に塗り終えることができません。

「3.14リットルのペンキで内部を満たせるのに、表面を塗るためのペンキは無限に必要になる」 この直感に反する事態は、なぜ起こるのでしょうか？

graph TD A["ガブリエルのラッパ"] --> B["体積の計算 (積分)"] A --> C["表面積の計算 (積分)"] B --> B1["体積 = π (有限)"] B1 --> B2["内部をペンキで満たせる"] C --> C1["表面積 = ∞ (無限大)"] C1 --> C2["表面をペンキで塗りきれない"] B2 --> D{"パラドックス！"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

数学的な証明：微積分の魔法

ガブリエルのラッパは、関数 $y = \frac{1}{x}$ のグラフ（ただし $x \ge 1$）を、$x$ 軸の周りに回転させることで作られます。微積分を使って、この立体の体積 $V$ と表面積 $A$ を計算してみましょう。

1. 体積の計算（有限になる理由）

回転体の体積 $V$ は、断面積（半径 $\frac{1}{x}$ の円）を積分することで求められます。

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

この定積分を計算すると：

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

結果は有限の値 $\pi$ に収束します。

2. 表面積の計算（無限になる理由）

一方、表面積 $A$ の計算は次のようになります。

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$ $$ \frac{dy}{dx} = -\frac{1}{x^2} $$

なので、平方根の中身は $1 + \frac{1}{x^4}$ となります。ここで、すべての $x \ge 1$ において $\sqrt{1 + \frac{1}{x^4}} > 1$ であるため、次のような不等式が成り立ちます。

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

自然対数 $\ln x$ は $x \to \infty$ で無限大に発散します。したがって、それよりも大きい表面積 $A$ も当然、無限大に発散することになります。

このパラドックスの「種明かし」

数学的に正しいことは証明できても、現実世界の感覚としては納得がいかないかもしれません。「ペンキで満たせるなら、そのペンキが内側の表面に触れているのだから、表面も塗れているはずではないか？」

この直感のズレは、数学的な概念と物理的な現実の混同から生まれています。

数学の世界では、ペンキの「厚さ」をゼロまで無限に薄くすることができます。ガブリエルのラッパは先に行くほど無限に細くなりますが、数学的なペンキはいくらでも薄くなってその細い先端の奥の奥まで流れ込み、無限の表面積を有限の体積でコーティングすることができます（ただし、ペンキの膜の厚さは先端に向かってゼロに近づいていきます）。

しかし、物理的な現実世界では、ペンキは原子や分子（有限の大きさを持つ粒）でできています。現実のペンキを注いでも、ラッパの管が「ペンキ分子の直径」よりも細くなった時点で、ペンキはそれ以上奥へ進めなくなります。つまり、物理的には先端まで満たすことも、無限の表面を塗ることも不可能なのです。

ガブリエルのラッパは、人間の直感が「有限の世界のルール」に縛られており、「無限」を扱う微積分の世界とは必ずしも一致しないことを教えてくれる美しい例です。

バナッハ＝タルスキのパラドックス：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次元空間と無限集合が持つ、奇妙だけど美しい性質」として受け入れています。

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

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