■バナッハ・タルスキーのパラドックス(余聞)
1914年,ハウスドルフは球面がK=A+B+C+Qに分解される,A,B,C,B+Cは合同,Qは可算集合であることを証明した.これからAの面積は球面の面積の1/3とも1/2ともなるので矛盾する.1953年,シェルピンスキーは,ハウスドルフが考案した逆説を改良し,球面(と球)を有限個の小片に分割し再結合させると元と同じ大きさの2つの球面(と球)を作ることを示しました.したがって,元と同じ球体を好きな個数だけ作ることができることになります.(シェルピンスキーはハウスドルフ,バナッハ・タルスキー両方のパラドックスを改良をしたことになる.)
[補]1947年.ロビンソンは単位球を5つに分解して,組み換えると単位球が2つできることを示した.この5つのうち,ひとつは1点である.さらに,1956年,デッカーとグローはこの分割のどの部分も連結であるようにできることを示した.
[補]タルスキーの問題「円板を有限個の破片に分けて,集めて同じ面積の正方形にすることができるか」は,1990年になっておよそ10^50個の破片を使って可能であることがラスコヴィッチによって証明された.ある意味,円積問題(円の面積に等しい正方形を作図する)は不可能ではなかったことになる.
===================================