族谱网 头条 人物百科

巴拿赫-塔斯基定理

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:637
转发:0
评论:0
正式叙述设A和B是欧几里得空间的两个子集。如果它们可以分为有限个不相交子集的并集,形如A=∪∪-->i=1nAi{displaystyleA=cup_{i=1}^{n}A_{i}}和B=∪∪

正式叙述

设A和B是欧几里得空间的两个子集。如果它们可以分为有限个不相交子集的并集,形如A=∪ ∪ -->i=1nAi{\displaystyle A=\cup _{i=1}^{n}A_{i}}和B=∪ ∪ -->i=1nBi{\displaystyle B=\cup _{i=1}^{n}B_{i}},且对任意i,子集Ai{\displaystyle A_{i}}全等于Bi{\displaystyle B_{i}},那么这两个子集称为等度分解的(equidecomposable)。于是,这个悖论可以如下叙述:

对球来说,五块就足够做到这点了,但少于五块却不行。这个悖论甚至有个更强的版本:

换句话说,一块大理石可以分成有限块然后重新组合成一个行星,或者一部电话机可以变形之后藏进水百合花里面。在现实生活中这种变形之所以不可行是因为原子的体积不是无限小,数量不是无限大,但其几何形状确实可以这样变形的。如果知道总是可以存在从一个几何体的内部点一一映射到另一个的方法,也许这个悖论看上去就不那么怪异了。例如两个球可以双射到其自身同样级别的无限子集(例如一个球)。同样我们还可以使一个球映射到一个大点或者小点的球,只要根据半径放大系数即可将一个点映射到另一个。然而,这些变换一般来说不能保积,或者需要将几何体分割成不可数无限块。巴拿赫 - 塔斯基悖论出人意料的地方是仅用有限块进行旋转和平移就能完成变换。

使这个悖论成为可能的是无限的卷绕。技术上,这是不可测的,因此它们不具有“合理的”范围或者平常说的“体积”。用小刀等物理方法是无法完成这种分割的,因为它们只能分割出可测集合。这个纯粹存在性的数学定理指出在多数人熟悉的可测集合之外,还有更多更多的不可测集合。

对于三维以上的情形这个悖论依然成立。但对于欧几里得平面它不成立。(以上叙述不适用于三维空间的二维子集,因为这个子集可能具有空的内部。)同时,也有一些悖论性的分解组合在平面上成立:一个圆盘可以分割成有限块并重新拼成一个面积相同的实心正方形。参见塔斯基分割圆问题。

这个悖论表明如果等度分解的子集被认为具有相同体积的话,就无法对欧几里得空间的有界子集定义什么叫做“体积”。

证明是基于费利克斯·豪斯多夫早些时候的工作。他10年前发现一个类似的悖论,事实上,巴拿赫 - 塔斯基悖论正是豪斯多夫所用技术的一个推广应用。

逻辑学家常常对逻辑上不一致的命题使用“悖论”一词,例如说谎者悖论或者罗素悖论。巴拿赫 - 塔斯基悖论并非这种意义上的悖论,它是一个已证明的定理,只因为违反直觉才被称为悖论。由于其证明明确地用到选择公理,这种反常的结论被用作反对使用该公理的理据。

冯纽曼研究这个悖论时,创出了可均群的概念。他发现三维以上情形之所以产生悖论,和这些空间的旋转群的非可均性有关。

证明概要

基本上,寻找这个分球的奇怪方法可以分为4个步骤:

找到把一个具有两个生成元的自由群进行分割的特殊方法

找到一个3维空间中同构于这两个生成元的旋转群

利用这个群的特殊分割方法和选择公理对单位球面进行分解

把这个单位球面的分解推广到实心球

每个步骤的详情如下:

第一步,具有两个生成元a和b的自由群由所有含有a、b、a和b这些符号的有限字符串组成,其中没有a紧挨着a或者b紧挨着b这种现象。两个这样的字符串可以连接在一起,只要将紧挨着的a和a抵销掉(对b一样)。例如ababa连接到ababa得到ababaababa,并可化简为abaaba。我们可以验证这些字符串在这个操作下构成一个群,其单位元是空串e{\displaystyle e}。我们称这个群为F2{\displaystyle F_{2}}。

巴拿赫-塔斯基定理

凯莱图中F2的子集S(a)和aS(a)

群F2{\displaystyle F_{2}}可被进行如下特殊分割:令S(a)为所有以a开头的字符串,同理定义S(a)、S(b)和S(b)。很明显

并且

(aS(a)表示从S(a)取出所有字符串,并在左边连接上一个a,之后所得的所有字符串)证明的关键就在这里了。简而言之,现在我们已经将F2{\displaystyle F_{2}}这个群分成了四块(e{\displaystyle e}忽略也没有问题),然后通过乘上一个a或者b来“旋转”它们,其中两个“重新组合”成F2{\displaystyle F_{2}},另外两个重新组合成另一个F2{\displaystyle F_{2}}。这样的事情,放在球体上就是我们想要证明的东西了。

第二步,为了寻找三维空间旋转群类似于F2{\displaystyle F_{2}}那样的行为,我们取两条坐标轴并设A是绕第一条轴旋转arccos(1/3)弧度而B是绕另一条轴旋转arccos(1/3)弧度。(这一步骤可在二维上完成。)有些琐碎但不太难的是证明这两种旋转的行为正如F2{\displaystyle F_{2}}中a和b两个元素的行为一样,这里就略去。由A和B所生成的这个旋转群命名为H。当然,我们可以按照第一步所述方法对H进行分割。

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

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

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

延伸阅读

"Sur la décomposition des ensembles de points en parties respectivement congruentes",数学基础, 6, (1924), 244-277, 巴拿赫和塔斯基的原始论文(法文)。

莱曼的巴拿赫 - 塔斯基悖论指南(来自 Kuro5hin)

Francis E. Su,"巴拿赫 - 塔斯基悖论"

S. Wagon, 巴拿赫·塔斯基悖论, 剑桥大学出版社, 1986.


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 巴拿赫不动点定理
定理设(X,d)为非空的完备度量空间。设T:X→X为X上的一个压缩映射,也就是说,存在一个非负的实数qX内的x和y,都有:那么映射T在X内有且只有一个不动点x(这就是说,Tx=x)。更进一步,这个不动点可以用以下的方法来求出:从X内的任意一个元素x0开始,并定义一个迭代序列xn=Txn-1,对于n=1,2,3,……。这个序列收敛,且极限为x。以下的不等式描述了收敛的速率:等价地:且满足以上不等式的最小的q有时称为利普希茨常数。注意对于所有不同的x和y都有d(Tx,Ty)(X,d){\displaystylex_{0}\in(X,d)}。对于每一个n∈∈-->{1,2,……-->}{\displaystylen\in\{1,2,\ldots\}},定义xn=Txn−−-->1{\displaystylex_{n}=Tx_{n-1}\,\!}。我们声称对于所有的n∈∈-->{1,2,……-->...
· 库塔-儒可夫斯基定理
升力公式此定理和在二维流场中的翼型(或是翼展无穷大的圆柱)有关,可以计算单位翼展下的升力。当环量ΓΓ-->{\displaystyle\Gamma\,}已知,其升力L{\displaystyleL\,}除以翼展下的单位翼展升力(或表示为L′{\displaystyleL"\,})可以表示为以下的方程式:其中上述环量是沿着一个封闭围道C{\displaystyleC}进行,此围道包覆着翼型或是圆柱,且沿着其正方向(逆时针)进行。其路径需在位流的范围内,不能在圆柱的边界层内。被积分式Vcos⁡⁡-->θθ-->{\displaystyleV\cos\theta\,速度局部流体速度沿着曲线C{\displaystyleC\,}切线方向的分量,且ds{\displaystyleds\,}为曲线C{\displaystyleC\,}的无穷小面积。方程式(1)是库塔-儒可夫...
· 斯特凡·巴拿赫
参照条目巴拿赫空间巴拿赫代数巴拿赫-斯坦豪斯定理巴拿赫-塔斯基悖论哈恩-巴拿赫定理巴拿赫不动点定理
· 巴拿赫空间
例子以下令K为体R或C之一。常见的欧氏空间K(其范数为欧几里德范数,x=(x1,…,xn)的范数定义为||x||=(x1+…+xn))是巴拿赫空间。因此,因为在每一个有限维K向量空间上的所有范数均等价,所以每一个具有任意范数的有限维K向量空间都是巴拿赫空间。考虑一个由定义于闭区间[a,b]上的所有连续函数ƒ:[a,b]→K所组成的空间。这个空间会成为一个巴拿赫空间(标记为C[a,b]),若存在一个定义在此空间中的洽当范数||ƒ||。此类范数可以定义为||ƒ||=sup{|ƒ(x)|:x∈[a,b]},称之为最小上界范数。上述范数是良好定义的,因为定义于闭区间的连续函数都是有界的。若f为一个定义于闭区间上的连续函数,则此函数为有界的,并其定义如上的最小上界可由极值定理取得,因此可以用最大值来取代最小上界。在此例之中,其范数也称为“最大值范数”。上述空间也可推广至由所有连续函数X→K(其中X为...
· 巴拿巴
巴拿巴的家世巴拿巴原名约瑟,是个犹太的利未人,生在塞浦路斯。使徒们给他一个别名——巴拿巴,意思是“劝慰子”(使徒行传4:36)。当时基督教会刚刚成立,巴拿巴很受他人喜爱和尊重。有些学者认为巴拿巴是耶稣的一个早期门徒。(路加福音10:1,2)。公元33年五旬节之后不久,巴拿巴主动卖掉一块土地,把得来的金钱交给使徒。当时耶路撒冷的基督徒凡物公用,使徒“按各人的需要,分给各人”。巴拿巴可能颇为富有,留意到信徒同工的匮乏,却毫不吝啬,于是慷慨解囊。(使徒行传4:34-37)巴拿巴甘心献出自己和财物去推广王国的权益。学者布鲁斯留意到,“只要别人需要鼓励,巴拿巴就义不容辞,施予援手”。从圣经记载的另一件事,可以清楚看出巴拿巴的这个特质。公元36年左右,大数的扫罗(后来的使徒保罗)成为基督徒。他跟耶路撒冷的会众联络,“可是所有人都怕他,不信他是门徒”。保罗怎样说服会众,相信他已真正改弦易辙,而不是借归信...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信