<style type="text/css">
<!--
@page
{margin:2cm}
p
{margin-bottom:0.21cm}
-->
</style>
初看上去,这个定理确实荒唐,一个球体怎么会变成两个球体?这岂不是把一个西瓜变成了两个西瓜?实际上,这是一条数学定理,请不要少见多怪。
请看下图所示:
这条几何学定理叫巴拿赫-塔尔斯基(Banach
Tarski)定理,是1924年发表的。Tarski就是无穷小微积分作者J.Keisler的博士论文指导老师。
该定理是说,可以将一个刚性球体剖分为许多小块,使这些小块在空间中发生旋转(Rotation)与位移(Translation),而保持体积、形状不变,然后可以拼装出两个体积大小完全相同的刚性球。完全类似地,两个球变4个球,......如上图所示。这岂不怪栽?
1904年,Ernst Zermelo为证明”良序定理“(Well
ordering theorem)把选择公理引入数学。实际上,良序定理等价于选择公理。自然数就是良集合。由此可见,微积分离不开选择公理。回顾历史,在1908年,Zermelo首先创立了公理化集合论,直到1922年,经过Abraham
Fraenkel的补充,形成了公理化集合论的公理系统ZF,后来加入选择公理,最终成为正式的集合论ZFC公理系统,由此建立起整个现代数学的大厦。
实际上,巴拿赫-塔尔斯基定理是选择公理的自然推论。也就是说,将刚性球剖分为无数的碎片,形状怪异,不可测度,然后,利用选择公理AC(Axiom
of Choice)将其拼装成两个同样的刚性球。简单地说,选择公理保证:在一个集合族里面,从各个集合中各选取一个元素,这些元素可以构成一个新的集合。
在数学上,连续统假设CH,不真也不假,而选择公理AC,既是真的,又是假的(因为AC能够推出一个球变成两个球的怪论)。有人说,我们放弃选择公理AC行不行?不行,放弃了选择公理AC,数学将变得更加奇怪。数学存在这种毛病,大家见怪不怪也。
上述巴拿赫-塔尔斯基定理还可以推出更奇怪的结论:一颗豌豆可以变成硕大无比的太阳。现代数学的这个毛病,我们不要当众宣传,免得让数学家们丢面子。在这里,我只是悄悄地说话,而不是大声地嚷嚷。谈到这里,在同学面前,我有点不好意思了。
说明:A.Robinson的非标准分析(NSA)就是在ZFC大树上发出的新树枝,J.
Keisler的无穷小微积分是更细小的嫩枝丫。我们想把中国的微积分教育移植到ZFC大道上,溯本清源,使其名正言顺。
分享到:
相关推荐
基础几何学之一:三、圆与三角学.doc 香港科技大学项武义讲义之一. 总共四个部分(已上传,请分别下载): (1)目录+引言.doc (2)一、连结、分隔与对称.doc (3)二、平行性与定量平面几何基础理论.doc (4)三、...
对于正整数,对于p的正整数,如果p不除a,我们将提供一个直观令人满意的费马结果的几何证明。 这就是费马小定理。 该证明是新颖的,它使用了将着色应用于规则多边形的想法来建立数论结果。 传统上(如果模棱两可)...
副标题: 平面几何500名题暨1000条定理 出版年: 2010-7-1 页数: 1138 定价: 138.00元 装帧: 平装 ISBN: 9787560330129 内容简介 · · · · · · 几何瑰宝:平面几何500名题暨1000条定理(上、下),ISBN:...
我们对量规和重力理论的树级散射幅度之间的颜色运动学对偶性进行了几何解释。 使用它们的表示作为相交数,我们展示了如何以建设性的方式获得Bern-Carrasco-Johansson分子作为模空间边界周围的残差。 用这种语言,...
俄罗斯数学教材选译-现代几何学:方法与应用(第3卷):同调论引论(第2版)-[俄]B.A.杜布洛文-高等教育出版社-2007
作为一个定理证明器,《几何专家》使用作者的获奖研究成果,不仅可以证明大部分平面几何定理、产生简短可读的证明,还可以自动发现几何图形的所有可能的性质、为使用者自动生成几何图形的题库。《几何专家》不仅可以...
相对于传统几何学的研究对象为整数维数,如,零维的点、一维的线、二维的面、三维的立体乃至四维的时空。分形几何学的研究对象为非负实数维数,如0.63、1.58、2.72、log2/log3(参见康托尔集)。因为它的研究对象...
高等几何 作者: 钟集/唐素兰/叶木秀编 出版社: 武汉大学出版社 出版年: 2005-2 页数: 322 定价: 16.00元 装帧: 简裝本 丛书: 面向21世纪本科生教材 ISBN: 9787307044289 内容简介 · · · · · · 本书可用做高等...
广州大学 动态几何实验三:几何变换zjz原件.zip
他们都有各种自然比例规律,这些规律为许多艺术家和设计...《设计几何学》用它的细节简图,不仅解释了测量科学怎样提供信息,甚至创造自然界和艺术作品中的美,但更重要的是如何运用这些技术在我们自己的设计中创造美。
高中数学立体几何判定定理及性质大全PPT课件.pptx
微分几何学习指导》是中国科学技术大学出版社出版的《微分几何》的配套书,它可帮助读者熟练地掌握微分几何的内容和方法,《高校核心课程学习指导丛书:微分几何学习指导》对《微分几何》一书的全部习题做了详细的...
第2章引进了第1基本形式、第2基本形式、Gauss(总)曲率、平均曲率、Weingarten映射、主曲率、曲率线、测地线等重要概念,给出了曲面的基本公式和基本方程、曲面论的基本定理,以及著名的Gauss绝妙定理等曲面的局部...
密克定理是几何学中关于相交圆的定理.pdf
几何学简史,几何学简史爱好几何学的朋友看看
基础几何学之一:目录+引言.doc 香港科技大学项武义讲义之一. 总共四个部分(已上传,请分别下载): (1)目录+引言.doc (2)一、连结、分隔与对称.doc (3)二、平行性与定量平面几何基础理论.doc (4)三、圆与...
广州大学 动态几何实验二:平面几何zjz原件.zip
副标题: 平面几何500名题暨1000条定理 出版年: 2010-7-1 页数: 1138 定价: 138.00元 装帧: 平装 ISBN: 9787560330129 内容简介 · · · · · · 几何瑰宝:平面几何500名题暨1000条定理(上、下),ISBN:...
基础几何学之一:二、平行性与定量平面几何基础理论.doc 香港科技大学项武义讲义之一. 总共四个部分(已上传,请分别下载): (1)目录+引言.doc (2)一、连结、分隔与对称.doc (3)二、平行性与定量平面几何基础...
全书共分五章:前四章是根据克莱因的变换群观点,以射影变换为基本线索,介绍一维和二维射影几何的基本内容和射影观点下的仿射几何与欧氏几何理论,其中重点讨论二次曲线的射影、仿射和度量理论,以明确各几何学的...