１９１４年，ハウスドルフは球面がＫ＝Ａ＋Ｂ＋Ｃ＋Ｑに分解される，Ａ，Ｂ，Ｃ，Ｂ＋Ｃは合同，Ｑは可算集合であることを証明した．これからＡの面積は球面の面積の１／３とも１／２ともなるので矛盾する．

　１９５３年，シェルピンスキーは，ハウスドルフが考案した逆説を改良し，球面（と球）を有限個の小片に分割し再結合させると元と同じ大きさの２つの球面（と球）を作ることを示しました．したがって，元と同じ球体を好きな個数だけ作ることができることになります．（シェルピンスキーはハウスドルフ，バナッハ・タルスキー両方のパラドックスを改良をしたことになる．）

［補］１９４７年．ロビンソンは単位球を５つに分解して，組み換えると単位球が２つできることを示した．この５つのうち，ひとつは１点である．さらに，１９５６年，デッカーとグローはこの分割のどの部分も連結であるようにできることを示した．

［補］タルスキーの問題「円板を有限個の破片に分けて，集めて同じ面積の正方形にすることができるか」は，１９９０年になっておよそ１０^50個の破片を使って可能であることがラスコヴィッチによって証明された．ある意味，円積問題（円の面積に等しい正方形を作図する）は不可能ではなかったことになる．

［補］WagonのBanach-Tarski Paradox第二版では、内容は大幅に改訂されたようである．そのなかに「Satoの回転」というのがでてくる．１９９５年にK.Satoにより発表された球の回転である．Satoの回転により，球面上の有理点の集合が選択公理なしに逆説的に分解されるとのことである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　四元数ω＝（１＋ｉ＋ｊ＋ｋ）／２は単位四元数である．一方，軸ｎ周りのθ回転は単位四元数

　　ｑ＝（ｃｏｓθ／２，ｓｉｎθ／２ｎ）

で表せるから

　　θ／２＝π／３，ｎ＝（１／√３，１／√３，１／√３）

すなわち，（１，１，１）方向を軸とする１２０°回転に対応している．

　同様に，

　　ω^2＝（−１＋ｉ＋ｊ＋ｋ）／２

はθ／２＝２π／３，ｎ＝（１／√３，１／√３，１／√３）より（１，１，１）方向を軸とする２４０°回転，

　　ω^4＝−（１＋ｉ＋ｊ＋ｋ）／２

はθ／２＝−π／３，ｎ＝（１／√３，１／√３，１／√３）より（１，１，１）方向を軸とする−１２０°回転，

　　ω^5＝（１−ｉ−ｊ−ｋ）／２

はθ／２＝−π／３，ｎ＝（１／√３，１／√３，１／√３）より（１，１，１）方向を軸とする−１２０°回転．

　　ｑ＝±１

はθ／２＝±π，ｎ＝（０，０，０）より無回転（恒等写像）であるが，

　　ｑ＝±ｉ

はθ／２＝±π／２，ｎ＝（１，０，０）より（１，０，０）方向＝ｘ軸を軸とする±９０°回転に対応している．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝