无穷集合的比较

《无穷集合的比较》由会员分享，可在线阅读，更多相关《无穷集合的比较（27页珍藏版）》请在金锄头文库上搜索。

1、无穷集合的大小比较无穷集合的大小比较伽利略悖论伽利略悖论1638年意大利的天文学家伽利略年意大利的天文学家伽利略发现了下面了下面的的问题： N+= 1, 2, 3, n, N(2)=1, 4, 9, n2,我们怎么比较集合的大小我们怎么比较集合的大小l“数得清”的我们就数元素个数。l“无穷”的怎么办？部分=整体双射概念双射概念l双射概念（一一对应法则）：双射概念（一一对应法则）：对于集合A中的每一个元素在集合B中都有唯一的元素与之对应，反之集合B中的每一个元素在集合A中都有唯一的一个元素与之对应，则称集合A、B之间存在一个双射，即一一对应法则。集合的等势关系集合的等势关系等势关系的定义：如果存

2、在从集合A到集合B的双射双射，则称集合A与B等等势势。集合A与B等势记为：AB,否则ABAB意味着：A，B中的元素可以“一一对应一一对应”。要证明AB，找出任意一个从A到B的双射即可。lll所有的正整数与正有理数一一对应., , , , , , , .l所有的正整数与正有理数一一对应., , , , , , , .l有穷与无穷：差别不仅是数量有穷与无穷：差别不仅是数量l伽利略悖论：传统公理：“整体大于部分”伽利略发现：1,2,3,与12,22,32,一一对应。有限集与无限集有限集与无限集lS是有限集合，iff.存在自然数n，使得S与1,2,n等势lS不是有限集合(即：无限集)，iff.存在S的

3、真子集S，使得S与S等势S一定包含一个与自然数集合等势的子集M=a1,a2,a3,(这实际上意味着：自然数集是“最小的”无限集)令S=S-a1，可以定义:SS如下：对于任意xM,(ai)=ai+1；对于任意xS-M,(x)=x显然这是双射，即S与其真子集S等势假设S是有限集，令|S|=n,则给S任意的真子集S,若|S|=m，必有mn,因此从S 到S的任一单射不可能是满射。“宇宙旅馆宇宙旅馆”啊？客满啦？没关系，我让现在住在k 号房间的客人移到k+1号。你就住进第1号房间吧！客满证明无限集等势的例子证明无限集等势的例子l(0,1)与整个实数集等势双射：f:(0,1)R :f(x)=tg(x- )

4、l对任意不相等的实数a,b(ab),0,1与a,b等势双射：f:0,1a,b:f(x)=(b-a)x+a(这实际上意味着：任意长的线段与任意短的线段等势)实数集不是可列集实数集不是可列集l注意：(0,1)与实数集合等势l(0,1)不是可列集“对角线证明法”假设(0,1)中的元素可以线性排列：0.b11b12b13b140.b21b22b23b240.b31b32b33b340.b41b42b43b44则0.b1b2b3b4（bibii）不含在上述序列中直线上的点集与平面上的点集等势直线上的点集与平面上的点集等势0.a1b1a2b2a3b3.0.a1a2a3.0.b1b2b3.这实际上意味着直线

5、上的点与这实际上意味着直线上的点与任意有限维空间的点任意有限维空间的点“一样多一样多”！康托尔定理康托尔定理l任何集合与其幂集不等势即：A(A)证明要点：设g是从A到(A)的函数，构造集合B如下：B=x|xA,但xg(x)则B(A)，但不可能存在xA，能满足g(x)=B，因为，如果有这样的x,则xBiff.xB。因此，g不可能是满射。l康托尔悖论：不存在“一切集合的集合”。集合的集合的“大小大小”有限我们能感觉到的世界可列N0N1点N2曲线我们能想象到的世界？还有什么“家家有本难念的经家家有本难念的经”康托尔，他有许多许多的数，但才用了3个,就没有东西可以数了。大脚，他有许多许多的儿子，但他最

6、多只能数到3。数学史上的数学史上的“三次危机三次危机”l第一次危机芝诺悖论(关于运动的四个悖论，如“飞箭不动”)，导致数学真正严谨性的开始(公理化)l第二次危机微积分悖论(无穷小量等于零吗？“那逝去的量的鬼魂”)，导致极限论的诞生l第三次危机有关一切集合的集合的悖论，导致集合论公理化。集合的优势关系集合的优势关系l如果存在从集合A到集合B的单射单射，则称“集合B优势于优势于集合A”l集合B优势于集合A记为ABl如果集合B优势于集合A，且B与A不等势不等势，则称“集合B真优势于真优势于集合A”，记为ABl实数集合真优势于自然数集l例子：对任意集合A，A的幂集真优势于真优势于集合A集合优势关系的性

7、质集合优势关系的性质l自反性：恒等函数l若AB，且BA，则AB(Cantor-Bernstein定理)l传递性：单射的复合仍然是单射l因此，集合优势关系是偏序关系其实，优势关系是全序优势关系的反对称性用于证明等势优势关系的反对称性用于证明等势l有时候找双射不太容易证明实数集的两个子集(0,1)和0,1。关键是如何安排在0,1中但不在(0,1)中的0和1。想象那个“宇宙旅馆”。我们可以取(0,1)的一个与自然数集合等势的子集(一定有)a1,a2,a3 ,.,“腾出”前两个位置安排0和1优势关系的反对称性用于证明等势优势关系的反对称性用于证明等势(续续)l证明实数集的两个子集(0,1)和0,1。l

8、分别找两个一对一的映射往往比找一个双射容易康托尔康托尔(GeorgCantor1845-1918)l“无限！再没有其它问题如此深刻地打动过人类的心灵。”-戴维。希尔伯特l“由康托尔在1874-1895年创造地集合论的引起争论的题目，象征着19世纪有先见之明的预言家们认为是从物理科学到民主政府的一切事物中，极其合理的原则的总崩溃，这些预言家们预见到了一切，只是没有预见到这场大崩溃。”l“悖论和自相矛盾开始同时出现，这些可能最终是康托尔的理论注定要对数学做出的最大贡献，因为它们就在围绕无穷的逻辑和数学推理的基础中意想不到地存在，是现在整个演绎推论中批判运动地直接启迪。我们希望从这里能得出一个更丰富、更“真实”摆脱了不一致的数学。上述两段摘自E.T.贝尔：数学精英