巴拿赫-塔斯基定理

✍ dations ◷ 2025-04-04 11:14:53 #群论,测度论,数学悖论,数学定理,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中有些旋转会刚好对应于刚好一些特殊的轴线,这时需要加以特殊处理。但一方面,这些情况的总数是可数的因此没有影响,另一方面,即使相关的这些点也是可以加以修正以符合定理的。对球心点这个特殊点以上同样适用。

相关

  • 人际关系人际关系是指社会人群中因交往而构成的相互依存和相互联系的社会关系,又称为人缘,属于社会学的范畴,也被称为“人际交往”,包括朋友关系、同学关系、师生关系、雇佣关系、战友关
  • 西奥多·冯·卡门卡尔曼·托多尔(匈牙利语:Kármán Tódor,全名Szőllőskislaki Kármán Tódor),德文西奥多·冯·卡门(Theodore von Kármán,1881年5月11日-1963年5月6日),匈牙利裔美国工程师和
  • 法线三维平面的法线是垂直于该平面的三维向量。曲面在某点P处的法线为垂直于该点切平面(tangent plane)的向量。法线是与多边形(polygon)的曲面垂直的理论线,一个平面(plane)存在无限个
  • 35号州际公路35号州际公路(Interstate 35,简称I-35)是美国州际公路系统的一部分。北起明尼苏达州杜鲁日,南端终点位于德克萨斯州拉雷多。全长1568.38英里(2524.06公里)。始于1956年,1992年完工
  • 马来西亚料理马来西亚料理或马来西亚菜(马来语:Masakan Malaysia),是马来西亚的乡土料理,以其风味独特而且多元化闻名于世。主要从马来系各原住民部落、中国系移民、印度系移民、阿拉伯人等族
  • 涌现涌现(英语:emergence)或称创发、突现、呈展、演生,是一种现象,为许多小实体相互作用后产生了大实体,而这个大实体展现了组成它的小实体所不具有的特性。许多人都曾定义过“涌现”
  • 蝎蝽科蝎蝽科(Nepidae),俗称“水蝎科”,属于半翅目的水生昆虫。整体外型类似螳螂与蝎子之间,呈扁平状与偏长,可以用特化的镰刀般前脚捕捉鱼和蝌蚪等水生动物,注入消化液腐蚀内部后吸取猎
  • 费尔南·布劳岱尔费尔南·布劳岱尔(Fernand Braudel,1902年8月24日-1985年11月27日),法国年鉴学派第二代著名的史学家。1920年入巴黎大学文学院攻读历史,1923年毕业,经过一段在海外中学教书的经历之
  • 加利福尼亚甜灰蝶加利福尼亚甜灰蝶(),又名加里福尼亚戈灰蝶,是一种已灭绝的灰蝶。它们栖息在旧金山的海岸地区。它们相信是美国第一种因城市开发而灭绝的蝴蝶。最后的加利福尼亚甜灰蝶是于1941年
  • 四川贵州总督四川贵州总督,为明朝成化年间设立的一个暂时总督职位,由兵部尚书程信兼任总督。目的是平叛四川南部与贵州交界处民变。