第五百五十六章 巴拿赫－塔斯基悖论（集合论） (第2/2页)
个集合挑出一个元素。
看上去非常“无辜”啊——这不就是典型的“正确的废话”么——所以它被叫做“公理”。可是就是这么一个公理，却是魔力惊人，能让我们把实心球一个变俩。这就是数学的魅力！
其实数学家们一开始发现这个结论也觉得这不太可能，包括塔斯基本人也是想利用这个定理来展示出选择公理中存在的某些先天不足，也就是说他们最先想责怪的就是选择公理.
如果放到现在估计一大半的数学家会晕倒！因为他们学的东西里面有太多的定理都是在选择公理的基础上证明的，现在大多数数学家还是承认选择公理的。
但其实我们还忽略了一个问题:?3的子集的体积该怎么定义?
回到“分球定理”中，只有那些比较漂亮的子集我们才给它们定义了体积，比如:一个球，一个立方体等等。如果是一些杂乱无章的点构成的子集，是很难定义其“体积”的。
分球悖论的奥妙之处就在于，将一个球分成几个部分的时候，很多部分都是一些“非常难看”的子集，它们是没有“体积”的.也就是说最终把一个球分成了几个没有“体积”的部分，然后把它们平移、旋转后反而成了两个同等大小的球！