バナッハ=タルスキーのパラドックス: 球を適当に分割して、組み替えることで、元と同じ球を2つ作ることができる。 バナッハ=タルスキーのパラドックス (Banach-Tarski paradox) は、球を3次元空間内で、有限個の部分に分割し、それらを回転・平行移動操作のみを使ってうまく組み替えることで、元の球と同じ半径の球を2つ作ることができるという定理(ただし、各断片は通常の意味で体積を定義できない)。この操作を行うために球を最低5つに分割する必要がある。 バナッハ=タルスキーの証明では、ハウスドルフのパラドックスが援用され、その後、多くの人により証明の最適化、様々な空間への拡張が行われた。 結果が直観に反することから、定理であるが「パラドックス」と呼ばれる。証明の1箇所で選択公理を使うため、選択公理の不合理性を論じる文脈で引用されることがある。ステファン・バナフ(バナッハ)とアルフレト
![バナッハ=タルスキーのパラドックス - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/739288d423e1f6074fe2fbd0aeb25590fdd5b1d1/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2Fa%2Fa7%2FDoubling_of_a_sphere%252C_as_per_the_Banach-Tarski_Theorem.png%2F350px-Doubling_of_a_sphere%252C_as_per_the_Banach-Tarski_Theorem.png)