- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
即 2 1 2 1 A + - £ 1+8u -1+ + - ? 1+8u ? 是自然数,故取 整数部分 由 可知 是可数的 证明: N ? N 是可数集, } , , , { 互质 且 n m N n m n m S ? = 是可数的. 令 是双射的,故 是可数集. 定理: 有理数的全体组成的集合是可数集. 定理:Q可数集 定理: 全体实数构成的集合 R是不可数的. 证明: 双射函数 因此,R ~ S . 令 定理:R不可数 证S是不可数集, 则R也必为 不可数集. (用反证法) 假设S是可数的, 则S 必可表示为: S = {S1 , S2 , S3 , ...}, Si为(0,1)间的任一实数. 设 S1=0.a11 a12 a13 ...a1n … S2=0.a21 a22 a23 ...a2n … … 构造实数 r =0.b1b2b3 ...bn ... bj={ 5 ajj? 5 6 ajj= 5 j = 1,2, … 定理:R不可数 集合(0,1)的基数记为 ?; (0,1) 和R等势, K[R]= ?; ?称作连续统的势. 连续统的势 连续统的势 4.6 基数的比较 定 义 定 理 连续统假设 2.5 基数的比较 若从集合A到集合B存在一个入射, 则称A 的基数不大于B的基数,记作 K[A] ? K[B] ;若从A到B存在一个入射,但不存在双射,则称A的基数小于B 的基数, 记作 K[A] K[B] . 定义 定义 令A,B 是任意集合, 则下列三条中恰有一条成立: 定理 (Zermelo 定理) 定理(Zermelo定理) 设 A和B 为集合, 若 K[A] ? K[B] , K[B] ? K[A], 则 K[B] =K[A]. 定理 (Cantor-Bernstein 定理) 定理(Cantor-Bernstein定理) 例 设 A=N, B = (0,1) , K[A] =?0 , K[B] = ?, 试证 K[A?B] = ?. 证明:定义一个从A?B到正实数的函数 f f : A?B?{ x | x?R+ } f (n,x) = n + x 因为 f 是入射的, 所以 K[A?B] ? K[R+] =? ; 例 例 设 A=N, B = (0,1) , K[A] =?0 , K[B] = ?, 试证 K[A?B] = ?. 再作映射 g: (0,1) ? A?B g (x) = 0, x 因为g是入射的, 故? ? K[A?B]; 所以 K[A?B] = ?. 例 定理 若A是有限集合, 则K[A]?0 ?. 若A是无限集合, 则 ?0 ? K[A]. 设 M 是一个集合, T = P(M) , 则 K[M]K[T]. 没有最大的基数 没有最大的集合 定理 连续统假设 连续统假设 ?0 2?0 = ?, 不存在介于?0和?之间的基数, 即 ?是大于?0的最小基数. 基数排序 0, 1, 2, ···, n, ···, ?0 , ?, ··· * 定义 给定集合 A的后继集为 ? } { A A A = + ,若 为 , 则 可写成如下形式 自然数集合 可简记为 若命名集合 为0,则 {f} = {0} = 1 0 = = + + f }} { , { 1 = {0,1} = 2 = + f f }}} = {0,1,2} = 3 { , { }, { , { 2 = + f f f f 一个集合 的名 L 得到自然数集合 自然数集合 自然数集合 (n -1)+ ={0,1,2,. . . n -1} = n L G.Peano公理 (其中 ) 2) 若 则 }) { ( n n n è = + 3) 若 一子集 具有性质 若 有 则 自然数集合 自然数集合 若自然数集合N 的子集 S 中有数 0 , 且每个属于它的数 n 都有自己的后继数n+, 则子集S 中就包含全体自然数. 满足公理1)和 2)的最小集合是自然数集合N. 极小性 对应 例: 3 是从观察许多只含三个元素的集合的共同特点加以抽象概括出来的. 被观察集合的元素可与集合{f ,{f},{f {f}}}中
您可能关注的文档
最近下载
- 房屋建筑加固改造工程施工重点及难点分析与对策.pdf VIP
- 【基恩士】LR-W500(C) 使用说明书 (简体中文).pdf VIP
- 2025年全国危险化学品经营单位主要负责人考试试题含答案.docx VIP
- 依利特MFD3100多波长荧光检测器用户手册.pdf VIP
- 医疗气体系统施工的质量监控重点及监理措施(可编辑word版).doc VIP
- 《西门子接口模块 ET 200M IM 153 2 产品手册 中文超清版》.pdf VIP
- 压力性尿失禁的护理查房PPT课件.pptx VIP
- 九年级下册化学《金属》习题巩固.doc VIP
- 索尼sony_mdsje480_使用说明书手册.pdf VIP
- 城市管理网格员(中级)考试题库(浓缩300题).docx VIP
文档评论(0)