バナッハ＝タルスキーのパラドックス

バナッハ＝タルスキーのパラドックス  は、球を3次元空間内で、有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができるという定理。この操作を行うために球を最低5つに分割する必要がある。バナッハ＝タルスキーの証明では、ハウスドルフのパラドックスが援用され、その後、多くの人により証明の最適化、様々な空間への拡張が行われた。

結果が直観に反することから、定理であるが「パラドックス」と呼ばれる。証明の1箇所で選択公理を使うため、選択公理の不合理性を論じる文脈で引用されることがある。ステファン・バナフとアルフレト・タルスキが1924年に初めてこの定理を述べたときに選択公理を肯定的にとらえていたか、否定的にとらえていたか、判断することは難しい。なお、選択公理よりも真に弱いハーン–バナッハの定理からバナッハ＝タルスキーのパラドックスを導くことができる。また似たような話題としてシェルピンスキー・マズルキーウィチのパラドックスがあるがこちらは選択公理に依存しない。

この定理は次のように述べることも出来る。

球は、それ自身と同じ球二つと分割合同である。ただし、分割合同とは以下のように定義される://A// と //B// をユークリッド空間の部分集合とする。//A// と //B// が有限個の互いに交わらない部分集合の合併として

つまり、

//A// = //A//1 ∪ ... ∪ A//n// , //B// = //B//1 ∪ ... ∪ B//n//と表すことができ、全ての //i// について、 と が合同であるとき、//A// と //B// を分割合同という。

さらに、この定理から次のより強い形の系を導くことが出来る。

3次元ユークリッド空間の有界な部分集合で、内部が空でないものを任意に二つ選んだとすると、それらは分割合同である。言い換えると、ビー玉を有限個に分割して組み替えることで月を作ったり、電話を組み替えて睡蓮を作ったり出来る、ということである。 この定理の証明で、点集合は選択公理を使ってつくられる選択集合で構成されており、各断片はルベーグ可測ではない。すなわち、各断片は明確な境界や通常の意味での体積を持たない。物理的な分割では可測な集合しか作れないので、現実にはこのような分割は不可能である。 しかしながら、それらの幾何学的な形状に対してはこのような変換が可能なのである。

この定理は 3次元以上の全ての次元においても成り立つ。2次元ユークリッド平面においては成り立たないものの、2次元においても分割に関するパラドックスは存在する:円を有限個の部分に分割して組替える事で、同じ面積の正方形を作ることが出来るのである。これはタルスキーの円積問題として知られている。

2次元ユークリッド平面においては、合同変換ではなく面積を保つ変換に条件をゆるめると、バナッハ＝タルスキーのパラドックスと同様な定理が成立することを、1929年にジョン・フォン・ノイマンが証明した。この定理は次のように述べることが出来る。

//A// と //B// を2次元ユークリッド空間の内点を持つ有界な部分集合とする。 //A// と //B// が有限個の互いに交わらない部分集合の合併としてと表すことが出来る。ここで、全ての //i// について、面積を保つ変換 が存在して

とする事が出来る。

1. 証明の概要
--------

定理の証明を与える。ここでの方法はバナッハとタルスキーによるものと似ているが全く同一ではない。証明は本質的に4つのステップに分かれる。

2つの生成元を持つ自由群の「パラドキシカルな分割」を見つける。
自由群と同型な3次元の回転群を見つける。
2で作った回転群のパラドキシカルな分割と選択公理を用いて2次元球面の分割を作る。
3の2次元球面の分割を3次元球の分割に拡張する。それぞれのステップの詳細について述べる。

1.1. ステップ1
----------

2つの生成元//a//と//b//から生成される自由群は4つの文字//a//、//a//−1、//b//、//b//−1からなる有限の長さを持つ文字列から構成される。ここで//a//が//a//−1の直前直後に現れるような文字列は許されない。//b//についても同様である。2つのこのような文字列があったとき、それらの積をそれらの文字列をつなげたものと定義する。ただしそれにより「許されない文字列」が生じたときは、その部分を「空の文字列」で置き換えることで対処する。例えば//abab//−1//a//−1と//abab//−1//a//の積は//abab//−1//a//−1//abab//−1//a//となるが、これは//a//−1//a//という「許されない文字列」を含むため、この部分を「空の文字列」で置き換えて//abaab//−1//a//となる。このような文字列の集合はここで定義した演算によって、「空の文字列」を単位元//e//に持つ群になることが確かめられる。この群を//F//2と書く。//F//2の要素は有限の長さを持つ文字列であるので、//F//2は可算集合である。

群は以下のようにして「パラドキシカルな分割」が可能である: //S//を//a//で始まるの文字列全体の集合とする。//S//、//S//、//S//についても同様である。明らかに、

一方

および

である。//aS//という表記は、//S//の元の左に//a//をかけた文字列の全体である。

最後の行がこの証明の核心である。例えば集合はという文字列を含む。はの直前直後に現れてはいけないというルールにより、この文字列はとなる。同様に、はで始まる全ての文字列を含む。このようにして、は, , で始まる全ての文字列を含む。

1.2. ステップ2
----------

3次元空間の回転群でちょうどと同じように振る舞う群を見つけるために、直交する2つの軸、//x//および//z//をとる。そして//a//を「//x//軸を回転軸とした1ラジアンの回転」//b//を「//z//軸を回転軸とした1ラジアンの回転」に対応させる。2つの回転//a//、//b//が操作の合成を積としてと同型になることの証明はやや煩雑だが難しくはないので、この部分は省略する。//a//と//b//によって生成される回転群をHとする。すると、ステップ１で得たパラドキシカルな分割をHに対しても適用することが出来る。Hは//F//2と同型であるから可算集合である。

1.3. ステップ3
----------

単位球面//S//2は群Hの作用を考えることにより軌道の集合に分けることが出来る。すなわち、//S//2の2つの点は、一方の点を他方に移すような回転がHに存在するとき、またそのときに限り同じ軌道に属すると定めるのである。同じ軌道に属するという関係は//S//2上の同値関係であり、その同値関係による同値類が軌道である。このようにして類別された軌道全ての集合を Λ}} とする。 &bigcup; sub であるから、選択公理により、ある選択関数 φ : Λ → //S//sup が存在し、 ∀    φ ∈ λ}} とできる。 //M// =}} φ と置く。//M//はすべての軌道からちょうど1個の点を選んで集めた //S//2 の部分集合である。//S//2 のすべての点は、ある//M//の点に、あるHの元を作用させることによって得ることが出来る。つまり H //M// = //S//2 が成り立つ。したがって、Hのパラドキシカルな分割は以下のように//S//2の4つの部分集合//A1//, //A2//, //A3//, //A4//への分割を与える。

ここで

である。

今、球面は4つの部分集合に分割されている。以下のように、これらのうち2つの集合を回転させることで最初の2倍の球面を得ることが出来る。

したがって

および

1.4. ステップ4
----------

最後に、//S//2上のすべての点と原点とを結ぶ線分を考えると、ステップ3で考えた//S//2の分割は自然に球から中心点を除いた集合の分割へと拡張される。

2. 脚注
-----

3. 参考文献
-------

4. 外部リンク
--------

[1]
[2]カテゴリ:群論カテゴリ:測度論カテゴリ:パラドックスカテゴリ:数学に関する記事