- 1、本文档共15页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Zermelo定理 Cantor-Schroder-Bernstein定理 * * 为了证明两个集合的基数相等,我们必须构造两个集合之间的双射函数,这常常是非常困难的工作。本节将介绍证明基数相等的一个较为简单的方法,但是简单方法的证明是冗长和复杂的,因而我们只给出结论不予证明。为此首先说明基数是如何比较大小的。 六、基数的比较 定理1:设A, B, C是任意集合, 那么 (1)若A?B, 则K[A]?K[B]; (2)若K[A]?K[B], K[B]?K[C], 则K[A]?K[C]. 定义1:若从集合A到集合B存在一个入射,则称A的基数不大于B的基数,记作 K[A]?K[B]. 若从A到B存在一个入射,但不存在双射,则称A的基数小于B的基数,记作K[A]K[B]. 六、基数的比较 定理2: (Zermelo定理或称三岐性定理) 令A和B是任意集合,则以下三条中恰有一条成立: a)K[A]K[B]; b)K[A]K[B]; c)K[A]=K[B]. 六、基数的比较 定理3: (Cantor-Schroder-Bernstein定理) 设A和B是任意集合,若K[A]?K[B], K[B]?K[A], 则K[A]=K[B]. 若存在从A到B和B到A的入射函数,则存在从A到B的双射函数。 它为证明两个集合具有相同的基数提供了有效方法。这是因为构造两个入射函数比构造一个双射函数要容易得多。 六、基数的比较 例4.6.1 证明[0,1]与(0,1)有相同的基数。 证: 因为可作入射f :(0,1)?[0,1], f(x)=x, 故K[(0,1)]?K[[0,1]]; 又可作入射g:[0,1]?(0,1), g(x)=x/2+1/4, 故K[[0,1]]?K[(0,1)]. 由定理3可得,K[[0,1]]=K[(0,1)]. 此两函数的选取方法不唯一,如也可取f (x) =x/2, g(x) =x/3+1/3. 六、基数的比较 例4.6.2设A=N, B=(0,1), K[A]=?0, K[B] =?, 求证:K[A?B]=?. 证: 因为可作入射f :A?B?R, f(n,x)=n+x, 故K[A?B]?K[R]= ?; 又可作入射g:(0,1)? A?B, g(x)=0, x, 故?=K[(0,1)]?K[A?B]. 因此,K[A?B]= ?. 六、基数的比较 又因为N为可数集, (0,1)为不可数集,故N与 (0,1) 之间不存在双射函数 , 又因为在4-4节中证明N是无限集时已证明N与A之间不存在双射函数, 因可定义入射函数 f : Nn?N, f (x)=x, 定理4: 设A是有限集合,则K[A]?0?. 证: 设K[A]=n, 则A~Nn, 故K[A] ?K[N]. 所以K[A]?K[N]. 故K[A]K[N]= ?0. 再因可定义入射函数 g : N?[0, 1], g(n)= 1/(n+1), 故?0??. 所以?0?. 此定理指出了有限集基数、可数集基数和连续统的势之间的关系。 六、基数的比较 定理5:如果A是无限集,那么?0?K[A]. 证: 因为 A 为无限集, 由4-5节的定理2知A必含有一个可数无限子集 B. 因为可作入射函数 f : B?A, 使得 f (x) = x. 故K[A]?K[B]=?0. ?0是无限集中最小的基数。 如果 A 为无限集,那么?0?K[A], ?0?.德国数学家康托尔认为?0与?之间没有其他基数存在,这就是著名的连续统假设。但是到目前为止还没有人能够证明它。 六、基数的比较 定理5: (Cantor定理)设A是任意集合,T=P(A), 则 K[A]K[T]. 证: a)首先证明K[A]?K[T]. 问题:是否存在基数大于?的集合?是否有最大基数的集合? 故K[A]?K[T ]. 因为可作入射函数 f : A?T, f (a)={a}, 六、基数的比较 则有S?A, 记S={x|x?A,x??(x)}, 即
您可能关注的文档
- 计算机学科导论课件:4.4 图像处理与模式识别.ppt
- 计算机组成与结构实验.ppt
- 离散数学课件:1-1 命题的概念及其符号化(含过程化考核要求).ppt
- 离散数学课件:1-2 命题公式及分类.ppt
- 离散数学课件:1-3 公式的等价.ppt
- 离散数学课件:1-4 其它 联 结 词 .ppt
- 离散数学课件:1-5 对 偶 与 范 式.ppt
- 离散数学课件:1-6 公式的蕴含关系.ppt
- 离散数学课件:1-7 推理理论.ppt
- 离散数学课件:2-1 谓词逻辑命题符号化的有关概念与方法.ppt
- 六年级数学下册教学课件《解比例》.pptx
- 8.21.5 鸟类的生殖与发育(课件)八年级生物下册课件(苏教版).pptx
- 钠离子电池项目智能制造方案(范文参考).docx
- 2023-2024学年吉林省吉林市舒兰市七年级(上)期末语文试卷.docx
- 2024年吉林省吉林市丰满区亚桥实验学校中考数学三模试卷.docx
- 2023-2024学年吉林省辽源市东辽县七年级(上)期末英语试卷.docx
- 2023-2024学年吉林四平九年级数学第一学期期末水平检测试卷.docx
- 2023-2024学年吉林市蛟河市三校联考九年级(上)期末英语试卷.docx
- 2023-2024学年吉林松原九年级英语上册考场实战试卷.docx
- 电解液新材料项目智能制造方案.docx
文档评论(0)