巴拿赫-塔斯基定理

✍ dations ◷ 2025-06-08 14:24:15 #群论,测度论,数学悖论,数学定理,1924年面世

巴拿赫-塔斯基定理(Banach–Tarski paradox,或称豪斯多夫-巴拿赫-塔斯基定理,又名“分球怪论”),是一条数学定理。1924年,斯特凡·巴拿赫和阿尔弗雷德·塔斯基首次提出这一定理,指出在选择公理成立的情况下,可以将一个三维实心球分成有限(不可测的)部分,然后仅仅通过旋转和平移到其他地方重新组合,就可以组成两个半径和原来相同的完整的球。

巴拿赫和塔斯基提出这一定理原意是想拒绝选择公理,但该证明很自然,因此数学家认为这仅意味着选择公理可以导致少数令人惊讶和反直觉的结果。有些叙述中这条定理被看成是悖论,但是定理本身没有逻辑上不一致的地方,实际上不符合悖论的定义。

设和是欧几里得空间的两个子集。如果它们可以分为有限个不相交子集的并集,形如 A = i = 1 n A i {\displaystyle A=\cup _{i=1}^{n}A_{i}} 和的自由群由所有含有、、-1和-1这些符号的有限字符串组成,其中没有紧挨着-1或者紧挨着-1这种现象。两个这样的字符串可以连接在一起,只要将紧挨着的和-1抵销掉(对b一样)。例如-1-1连接到-1得到-1-1-1,并可化简为-1。我们可以验证这些字符串在这个操作下构成一个群,其单位元是空串 e {\displaystyle e} ()为所有以开头的字符串,同理定义(-1)、()和(-1)。很明显

并且

((-1)表示从(-1)取出所有字符串,并在左边连接上一个,之后所得的所有字符串)证明的关键就在这里了。简而言之,现在我们已经将 F 2 {\displaystyle F_{2}} 或者来“旋转”它们,其中两个“重新组合”成 F 2 {\displaystyle F_{2}} 是绕第一条轴旋转arccos(1/3)弧度而是绕另一条轴旋转arccos(1/3)弧度。(这一步骤可在二维上完成。)有些琐碎但不太难的是证明这两种旋转的行为正如 F 2 {\displaystyle F_{2}} 和两个元素的行为一样,这里就略去。由和所生成的这个旋转群命名为H。当然,我们可以按照第一步所述方法对H进行分割。

第三步,单位球面2可被群H中的操作分成一些轨道:两个点属于同一个轨道当且仅当H中某个旋转将第一个点移到第二个。我们可以利用选择公理在每个轨道中选出来一个点。将这些点合起来组成集合。现在2中(几乎)所有点都可以通过H中合适的元素相应的转动移到中。因此,H的分割也就可以应用到2上面去。

第四步,最后,将每个2的点连到原点,对2的分割便可以应用到实心单位球上去。(球心处会有些特殊,但这个简要证明中忽略它。)

总结,这个简要证明到此结束。H中有些旋转会刚好对应于刚好一些特殊的轴线,这时需要加以特殊处理。但一方面,这些情况的总数是可数的因此没有影响,另一方面,即使相关的这些点也是可以加以修正以符合定理的。对球心点这个特殊点以上同样适用。

相关

  • 同性恋同性恋在古罗马是一种公认的社会文化,在极盛时期以不同的形式出现在许多文学、艺术、和诗歌中。古罗马的同性恋文化最初发展于罗马共和国时期,但受到社会普遍的谴责,被认为是古
  • 量子信息量子信息是以量子力学基本原理为基础,把量子系统“状态”所带有的物理信息,进行计算、编码和信息传输的全新信息方式。量子信息最常见的单位是为量子比特(qubit)——也就是一个
  • The Rise and Fall of the Great Powers《大国的兴衰:1500年到2000年的经济变迁和军事冲突》(英语:The Rise and Fall of the Great Powers: Economic Change and Military Conflict From 1500 to 2000),是英国历史学家
  • 埃罗德बाप तहसील घंटियाली 城镇埃罗德(Erode),是印度泰米尔纳德邦Erode县的一个城镇。总人口151,184(2001年)。该地2001年总人口151184人,其中男性76726人,女性74458人;0
  • 北冰洋会议首届北冰洋会议于2008年5月27日至29日在格陵兰的伊卢利萨特召开。加拿大、丹麦、挪威、俄罗斯和美国五国在会议上针对与北冰洋相关的关键问题展开讨论。 此次会议因为其有关
  • 谢大光谢大光,当代散文作家。1943年出生,山西临猗人,1962年开始创作。著有散文集《落花》,报告文学《天鹅之歌》。《小说家》编辑部副主任、主编,《中外散文选萃》主编,副编审。中国散文
  • 铭安铭安(1828年-1911年),字鼎臣,谥文肃,叶赫那拉氏,内务府满洲镶黄旗人,清朝政治人物、进士出身。咸丰六年(1856年)丙辰科进士,改翰林院庶吉士,后任翰林院编修。同治年间,任詹事府少詹事。同
  • Google眼镜Google眼镜(Google Glass)是一款配有光学头戴式显示器(OHMD)的可穿戴式电脑,由Google开发,其目标是希望能制造出供给大众消费市场的普适计算设备。Google眼镜以免手持、与智能手机
  • 米奥德拉格·日夫科维奇 (雕塑家)米奥德拉格·日夫科维奇(塞尔维亚语西里尔字母:Миодраг Живковић,塞尔维亚语拉丁字母:Miodrag Živković,1928年2月1日-2020年7月31日),南斯拉夫及塞尔维亚雕塑家,贝
  • 二十五点纲领二十五点纲领(德语:25-Punkte-Programm)是德国纳粹党(国家社会主义德国工人党,德语:Nationalsozialistische Deutsche Arbeiterpartei)的政治纲领。1920年2月24日,在慕尼黑皇家宫廷