不可数集合-吉林大学网络教育学院.pptVIP

不可数集合-吉林大学网络教育学院.ppt

  1. 1、本文档共16页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
不可数集合-吉林大学网络教育学院.ppt

1.3.3 不可数集合 ?前面我们讨论的无穷集合都是可 数集合,并且知道了在数轴上 稠密的有理数集合也可以与自 然数集合建立1-1对应关系, 那么是不是所有的无穷集合都 是可数集合呢? 定理1.3.6 全体实数做成的集合是不可数集合。 证明:由定理1.3.2知,只要证明(0,1)区间内的实数不可数就可以了。 若不然,我们可以把(0,1)区间内的数排成一个序列: 0.a11a12a13… 0.a21a22a23… (2) 0.a31a32a33… ┆ ?我们考虑下面的数: 0.r1r2…rk… (3) 其中? 1,当akk≠1 rk= 2,当akk=1,k=1,2,… 显然,(3)是(0,1)区 间内的数,但它却不是序列(2) 中的任一个数。事实上,对(2) 中任一个数0.ak1ak2…akk…, 因为rk≠akk,故 0.ak1ak2…akk…≠0.r1r2…rk… 与假设矛盾。故(0,1)区间内的实数不可数,所以实数集不可数。 上述定理的证明方法,就是著名的“康托尔对角线法”,该方法在可计算理论中有广泛的应用。 推论 实数集合R,区间(a,+?)、 [a,b]、[a,b)、(a,b],a≠b 都是不可数的,且与区间(0,1) 等浓。 我们仅看构造区间[0,1]与 (0,1)之间1-1映射的例子。 我们知道全体有理数的集合是可数的,于是(0,1)区间中的有理数是可数的,不妨将它们排成形式为(1)的序列。而闭区间[0,1]比区间(0,1)多两个数0,1,它们是有理数,于是可建立闭区间[0,1]中的有理数到区间(0,1)中的有理数的1-1映射σ1如下图。 0, 1, a1, a2,…,an,… … a1,a2, a3, a4,…,an+2,… 令区间[0,1]中的无理数到区间 (0,1)中的无理数的1-1映射σ2 为自己应成自己。则映射σ=σ1∪σ2为区间[0,1]到区间(0,1)的1-1映射。从而区间[0,1]与(0,1)等浓。我们设实数集合的基数为c。 定理1.3.7 设A1,A2,…,An, …是互不相交的集合序列,它们的基数都是c,则 的基数也是c。即可数个基数为c的集合的并集基数仍为c。 证明:设In=[n-1, n),则当m≠n 时,Im∩In=?。因为In (n=1, 2, …)的基数是c,故存 在1-1映射σ1,σ2,…,使得 σn(In)= An。令σ= ,则 σ是 =[0,+?)到 的1-1映射。从而 与[0,+?)等浓,由推论知其基数为c。 实际上还有更进一步的结果:可数个基数为c的集合的直积基数仍为c。从而R2,Rn的基数都是c。 定理1.3.8 集合A的元素不能与A 的所有子集建立1-1映射。 证明:假设σ为A到A的所有子集作 元素的集合上的1—1映射。令 B=?x|x?A并且x?σ(x)? 于是,存在唯一一个元素b?A,使得 σ(b)=B 若b?B,则由B的定义知,b?σ(b),即b?B,矛盾。 若b?B,即b?σ(b),于是由B的定义知,b?B,矛盾。 因此,在A与A的所有子集作元素的集合之间,不能建立1-1映射。 有了这个结论,我们就可以构造基数任意大的集合。如|R|?|2R|?| |? … 。 我们知道集合基数的?关系是一个全序关系,把大于等于?0的基数分别记为?0,?1,?2,?3,… ,满足?0??1??2??3?… 。假设?1=c,著名的“连续统问题”是:即能否找到一实数集的子集,它是不可数集合,但又不能与实数集合建立一一对应。现在已经证明了:证明连续统假设成立是不可能的;证明它不成立也是不可能的。因此,所谓“连续统问题”在现在的数学理论框架之中是不能判定的。 第二章 命题逻辑 数理逻辑是用数学的方法研究 思维规律的一门学科。由于它

文档评论(0)

18273502 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档