Question

说数学家已经找一个方法将一个球分解再重新组合成二个和原来一模一样的球

据说数学家已经找一个方法将一个球分解再重新组合成二个和原来一模一样的球 谁能解释下 提供下如何分解

Answer 1

巴拿赫 - 塔斯基悖论 巴拿赫 - 塔斯基悖论（或称豪斯多夫 - 巴拿赫 - 塔斯基悖论，又名“分球怪论”），栯一条数学定理。 1924年 斯特凡·巴拿赫 和 阿尔弗莱德·塔尔斯基 首次提出这一定理。这一定理指出在 选择公理 成立的情况下可以将一个三维实心 球 分成 有限 （不 勒贝格可测 的）部分，然后仅仅通过 旋转 和 平移 到其他地方重新组合，就可以组成两�3�4半径和原来相同的完整的球。巴拿赫堌塔斯基提出这一定理原意是想拒绝选栩公理，但该证明很自然，因此数学家蠤为这仅意味着选择公理可以导致少数�3�8人惊讶和反直觉的结果。 正式叙述　　 设A和B是欧几里德空间的两个子集。如果它们可以分为有限个不相交子集的并集，形如和，且对任意i，子集Ai全等于Bi，那么这两个子集称为等度分解的。于是，这个悖论可以如下叙述 　　一个球和它自身的两个拷贝是等度分解的。 　　对球来说，五块就足够做到这点了，但少于五块却不行。这个悖论甚至有个更强的版本： 　　任意两个三维欧几里德空间具有非空内部的子集是等度分解的。 　　换句话说，一块大理石可以分成有限块然后重新组合成一个行星，或者一部电话机可以变形之后藏进水百合花里面。在现实生活中这种变形之所以不可行是因为原子的体积不是无限小，数量不是无限大，但其几何形状确实可以这样变形的。如果知道总是可以存在从一个几何体的内部点一一映射到另一个的方法，也许这个悖论看上去就不那么怪异了。例如两个球可以双射到其自身同样级别的无限子集（例如一个球）。同样我们还可以使一个球映射到一个大点或者小点的球，只要根据半径放大系数即可将一个点映射到另一个。然而，这些变换一般来说不能保积，或者需要将几何体分割成不可数无限块。巴拿赫 - 塔斯基悖论出人意料的地方是仅用有限块进行旋转和平移就能完成变换。 　　使这个悖论成为可能的是无限的卷绕。技术上，这是不可测的，因此它们不具有“合理的”范围或者平常说的“体积”。用小刀等物理方法是无法完成这种分割的，因为它们只能分割出可测集合。这个纯粹存在性的数学定理指出在多数人熟悉的可测集合之外，还有更多更多的不可测集合。 　　对于三维以上的情形这个悖论依然成立。但对于欧几里德平面它不成立。（以上叙述不适用于三维空间的二维子集，因为这个子集可能具有空的内部。）同时，也有一些悖论性的分解组合在平面上成立：一个圆盘可以分割成有限块并重新拼成一个面积相同的实心正方形。参见塔斯基分割圆问题。 　　这个悖论表明如果等度分解的子集被认为具有相同体积的话，就无法对欧几里德空间的有界子集定义什么叫做“体积”。 　　证明是基于费利克斯·豪斯多夫早些时候的工作。他10年前发现一个类似的悖论，事实上，巴拿赫 - 塔斯基悖论正是豪斯多夫所用技术的一个推广应用。 　　逻辑学家常常对逻辑上不一致的命题使用“悖论”一词，例如说谎者悖论或者罗素悖论。巴拿赫 - 塔斯基悖论并非这种意义上的悖论，它是一个已证明的定理，只因为违反直觉才被称为悖论。由于其证明明确地用到选择公理，这种反常的结论被用作反对使用该公理的理据。 证明概要　 　基本上，寻找这个分球的奇怪方法叠以分为4个步骤： 　　找到把一个具有两个生成元的 自由群 进行分割的特殊方法 　　找到一个3维空间中 群同态 于这两个生成元的 旋转群 　　利用这个 群 的特殊分割方法和选择公理对单位球頢进行分解 　　把这个单位球面的分解推广到实心球每个步骤的详情如下： 第一步，具有 ??个生成元a和b的自由群由所有含有a、 、a和b这些符号的有限字符串组成，其中没栉a紧挨着a或者b紧挨着b这种现象。两个这样的字符串可以连栥在一起，只要将紧挨着的a和a抵销掉（对b一样）。例如ababa连接到ababa得到ababaababa，并可化简为abaaba。我们可以验证这些字符串在这个操 ??下构成一个群，其单位元是空串e。我们称这个群为F_2。群F_2可被进行如下特殊分割：令S(a)为所有 ??a开头的字符串，同理定义S(a)、S(b)和S(b)。很明显 :F_2=\cup S(a)\cup S(a^)\cup S(b)\cup S(b^) 并且 :F_2=aS(a^)\cup S(a)，同时 :F_2=bS(b^)\cup S(b)。 （a'S(a)表示从S(a)取出所有字符串，并在左边连接上一 ??a。）证明的关键就在这里了，请仔绠看清楚。现在我们将F_2这个群分成四块（e忽略也没有问题），然后通过乘上一�3�4a或者b来“旋转”它们，然后将其中丠个“重新组合”成F_2，另外两个重新组合成另一个F_2。这就是我们想要对球体所做的事情�0�0 第二步，为了寻找三维空间旋转群笼似于F_2那样的行为，我们取两条坐标轴并设A ??在第一条轴上旋转arccos(1/3)弧度而B是 ??另一条轴上旋转arccos(1/3)弧度。（这�3�2步骤可在二维上完成。）有些琐碎但�3�5太难的是这两种旋转的行为正如F_2中a和b两个元素的行为一样，这里就畠去。由A和B所生成的这个旋转群命名为 。当然，我们可以按照第一步所述方泠对H进行分割。 第三步，单位球面S可被群H中的操作分成一些 轨道 ：两个点属于同一个轨道当且仅当H中 ??个旋转将第一个点移到第二个。我们 ??以利用 选择公理 在每个轨道中选出来一个点。将这些砹合起来组成集合M。现在S中(几乎)所有点都可以通过H中合适的堃素相应的转动移到M中。因此，H的分剠也就可以应用到S上面去。 第四步，最后，将每个S的点连到原点，对S的分割便可以应用到实心单位球上去�0�0（球心处会有些特殊，但这个简要证栎中忽略它。） 总结，这个简要证明删此结束。对于H中某些刚好对应于某些蠴上的矩阵旋转要加以特殊处理。一方頢，这些点是可数的因此没有影响，另�3�2方面，即使是这些点也可以加以修正�0�0这同样适用于球心点。