バナッハ＝タルスキーのパラドックス
バナッハ＝タルスキーのパラドックス (Banach-Tarski paradox) とは、球を3次元空間内で、有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができるという定理（ただし、各断片は通常の意味で体積を定義できないので注意が必要である）。この操作を行うために球を最低 5 つに分割する必要がある。
この定理は選択公理 (axiom of choice) という公理を用いると証明出来るが、その内容があまりにも直観に反するため、パラドックスと言われる。 ステファン・バナフ（バナッハ）とアルフレト・タルスキが1924年に初めてこの定理を述べたときに意図していたのは、選択公理が正しくないと示すことであったが、この証明は殆どの数学者に、選択公理は奇怪で非直観的な結果を与えるものだ、と解釈された。
この定理は次のように述べることも出来る。
- 球は、それ自身と同じ球二つと分割合同である。
ただし、分割合同とは以下のように定義される: A と B をユークリッド空間の部分集合とする。 A と B が有限個の互いに交わらない部分集合の合併として
- <math>A=\bigcup_{i=1}^n A_i,\quad B=\bigcup_{i=1}^n B_i</math>
と表すことができ、全ての i について、<math>A_i</math> と <math>B_i</math> が合同であるとき、A と Bを分割合同という。
さらに、この定理から次の、より強い形の系を導くことが出来る:
言い換えると、ビー玉を有限個に分割して組み替えることで月を作ったり、電話を組み替えて睡蓮を作ったり出来る（当然のごとく材質は変えられない）、ということである。 このような分割においては、各断片はルベーグ可測ではない。そのため、各断片は明確な境界や通常の意味での体積を持たない。物理的な分割では可測な集合しか作れないので、現実にはこのような分割は不可能である。 しかしながら、それらの幾何学的な形状に対してはこのような変換が可能なのである。
この定理は 3次元以上の全ての次元においても成り立つ。2次元ユークリッド平面においては成り立たないものの、2次元においても分割に関するパラドックスは存在する: 円を有限個の部分に分割して組替える事で、同じ面積の正方形を作ることが出来るのである。これはタルスキーの円積問題(en:Tarski's circle-squaring problem)として知られている。
2次元ユークリッド平面においては、合同変換ではなく面積を保つ変換に条件を弛めると、バナッハ＝タルスキーのパラドックスと同様な定理が成立することを、1929年にジョン・フォン・ノイマンが証明した。この定理は次のように述べることが出来る。
A と B を2次元ユークリッド空間の内点を持つ有界な部分集合とする。 A と B が有限個の互いに交わらない部分集合の合併として
- <math>A=\bigcup_{i=1}^n A_i,\quad B=\bigcup_{i=1}^n B_i</math>
と表すことが出来る。ここで、全ての i について、面積を保つ変換 <math>f_i</math> が存在して
とする事が出来る。
- <math>B_i = f_i ( A_i )</math>
参考文献
- 志賀浩二 『無限からの光芒―ポーランド学派の数学者たち』 日本評論社、1988年。ISBN 4535781613
- 砂田利一 『バナッハ・タルスキーのパラドックス』 岩波書店〈岩波科学ライブラリー〉、1997年。ISBN 4000065491
