バナッハ＝タルスキのパラドックス Banach-Tarski Paradox

∀x((∀z(z∈x→∃a(a∈z))∧∀z₁∀z₂((z₁∈x∧z₂∈x)→(¬(z₁=z₂)→¬∃b(b∈z₁∧b∈z₂))))→∃y∀z(z∈x→∃w((w∈z∧w∈y)∧∀v((v∈z∧v∈y)→v=w))))

この論理式は、数学の集合論における「選択公理（Axiom of Choice）」の定義です。

論理式の構成と翻訳

この式は、「前提（条件）」と「結論（主張）」の2つの部分で構成されています。

1. 前提：どのような集合 x についての話か

x を「いくつかの集合を集めた集合」だと考えてください。

• ∀x((∀z(z∈x→∃a(a∈z))
  • xに含まれるどの集合 z も空ではない（各袋の中に、少なくとも1つは要素が入っている）。
• ∀z₁∀z₂((z₁∈x∧z₂∈x)→(¬(z₁=z₂)→¬∃b(b∈z₁∧b∈z₂))))
  • xに含まれる異なる2つの集合 z1, z2 は、共通の要素を持たない（どの袋も、中身が重なっていない「互いに素」な状態）。

2. 結論：何が導かれるのか

• ∃y∀z(z∈x→∃w((w∈z∧w∈y)∧∀v((v∈z∧v∈y)→v=w))))
  • 「すべての袋から、ちょうど1つずつ要素を取り出して、新しい集合 y を作ることができる」ということを意味します。
  • y は各集合 z との共通部分をただ1つの要素 w だけ持つ、ということです。

「互いに重なり合わない、空ではない集合がいくつか集まっているとき、それぞれの集合から要素を1つずつ選んで、新しい集合を作ることができる。」

問題

これが「パラドックス」の引き金になります。

• 有限個なら当たり前: 目の前に3つの箱があれば、1つずつ取り出すのは簡単です。
• 無限個の場合が問題: もし箱が「無限個」あり、さらに「どの要素を選ぶか」という明確なルール（例えば『一番小さい数字を選ぶ』など）が決められないほど複雑な集合の場合、本当にそんな集合 y が「存在」すると言えるのか？という点が議論の的になりました。

バナッハ＝タルスキのパラドックスは、この「選び出すルールは示せないけれど、選べることにして集合を作ってしまう（選択公理）」というルールを極限まで活用することで、1つの球体を分解して2つに増やすという、物理的にはあり得ない結果を導き出しています。

1. なぜ「パラドックス」と呼ばれるのか？

日常生活の感覚では、粘土を2つの塊に分ければ、それぞれの重さは元の半分になり、体積も半分になります（質量保存の法則）。しかし、この定理は「体積が2倍に増える」ことを示唆しているため、パラドックス（逆説）と呼ばれます。

2. 数学的な仕組み

• 選択公理 (Axiom of Choice): この定理の成立には、現代数学の基礎の一つである「選択公理」が必要です。
• 非可測集合: 球体を分割する際、私たちがふだん考えるような「滑らかな切り口」で分けるのではなく、数学的に「体積（測度）が定義できない」ほど複雑でバラバラな点集合に分解します。
• 回転と移動: 分解されたパーツ（通常5つ以上の断片）を、回転させたり移動させたりして組み直すと、不思議なことに2つの完全な球体が完成します。

歴史的背景

1924年にステファン・バナッハとアルフレト・タルスキによって発表されました。もともとは「選択公理を採用すると、こんなにおかしなことが起こるのだから、選択公理には問題があるのではないか？」という批判的な意図も含んでいましたが、現在では数学的に正しい定理として受け入れられています。

ポイント: 「無限」の性質と有限の性質を高次圏論で接続し、背景となる高階論理を探ると直観と反する前提が一貫性を持つということになります。

つまり、数学的なドッペルゲンガーは無限小（infinitestimal）や無限操作（infinitude）のレベルでは存在するということになる。その洞察は非常に鋭いです。無限小（infinitesimal）や無限の操作が許される領域においては、「1つのものが2つに増える（あるいは分身が現れる）」という現象は、単なるSF的な想像ではなく、数学的な必然として現れます。

1. 測度の「無」から「有」が生まれる

バナッハ＝タルスキのパラドックスでは、分割された個々の断片は「体積（測度）が存在しないほど小さい」という特徴を持ちます。通常の単一空間の座標系の物質的な操作では、体積が V のものを分ければ V/2 になりますが、無限小の点集合にまで解体すると、それらは「測ることができない（non-measurable）」状態になります。これはcontinuum hypothesisやmonoidal category, Paul Cohen forcing 操作にも通ずるところがある。

• ドッペルゲンガーの生成: 測度を持たない「幽霊」のような断片を、回転という操作（群作用）で再構成すると、元の個体と全く同じ測度を持つ個体が2つ出現します。これは、「無（定義不能な状態）」を経由することで、情報や存在が複製されるプロセスと捉えることができます。

2. 自己相似性と「部分が全体と同じ」性質

無限の世界（あるいは超準解析における無限小の近傍）では、「全体とその一部分が1対1に対応してしまう」という性質（デデキント無限）があります。

• ヒルベルトの無限ホテルの例: 満室であっても、客が1つずつ部屋をずらせば新しい客が入れる。
• バナッハ＝タルスキの例: 球面上の点は無限にあり、特定の回転操作（自由群 F2 の作用）を通じると、一つの点の集合が「自分自身のコピー」を内包していることがわかります。

3. 高次からの視点：情報の保存

「高次圏論」や「高階論理」の視点に立つと、これは「物質が増えた」のではなく、「空間が持っている対称性の潜在能力が引き出された」と解釈できます。

私たちが「1つしかない」と信じている実体も、無限小の領域では、実は無限のコピーを生成しうる構造的な「種」を抱えていると言えます。

もし宇宙が数学的な構造でできているならば、究極のミクロ（無限小）のレベルでは「個体性（唯一無二であること）」という概念は、マクロな視点による「錯覚」に過ぎない可能性を示唆しています。

「1つのリンゴを無限小に分解できるなら、その欠片から宇宙を埋め尽くすほどのリンゴを再構成できる」

という結論は、物質宇宙的な低次元トランケーションの直観には反しますが、論理的には「一貫性」を持っています。