网站大量收购独家精品文档,联系QQ:2885784924

离散数学-4-5 可数集与不可数集.ppt

  1. 1、本文档共16页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学-4-5 可数集与不可数集

第三章 集合与关系 4-5 可数集与不可数集 授课人:李朔 Email:chn.nj.ls@ 1 、可数集 在上节中,我们提到自然数集N是无限的。但是并非所有无限集都可与自然数集建立一一对应。 定义4-5.1 与自然数集合等势的任意集合称为可数的,可数集合的基数用?0 表示。 (?是希伯莱文的第一个字母,读成“阿列夫” ) 例如,A={1,4,9,16,…,n2,…} B={1,8,27,64,…n3,…} C={3,12,27,…,3n2,…} D={1,1/2,1/3,…,1/n,…} 均为可数集? 我们把有限集和可数集统称为至多可数集。 2 、可数集的性质 定理4-5.1 A为可数集的充分必要条件是可以排列成 ????????????????????A={a1,a2,…,an,…} 的形式。 证明:若A可排成上述形式,那么将A的元素an与足标n对应,就得到A与N之间的一一对应,故A是可数集。 ????反之,若A为可数集,那么在A与N之间存在一种一一对应关系f,由f得到n的对应元素an,即A可写为{a1,a2,…,an,…}的形式。 定理4-5.2 任一无限集,必含有可数子集。 ????证明: 设A为无限集合,从A中取出一个元素a1,因为A是无限的,它不因取出a1而耗尽,所以从A-{a1}可取元素a2,则A-(a1,a2)也是非空集,所以又可取一元素a3,如此继续下去,就得到A的可数子集。 2 、可数集的性质 定理4-5.3 任一无限集合必与其某一真子集等势。 证明 设无限集合M,按定理4-5.2,必含有可数子集A={a1,a2,…,an},设M-A=B,我们定义集合M到其自身的映象,f:M→M-{a1},使得f(an)=an+1(n=1,2,…)且对于任何b∈B,有f(b)=b。这个f是双射的。 ????这个定理亦可用下图所示。 ????设线段AB,其上有线段CD,则线段 AB与CD上所有的点,可作成一一对应。其作法是:把CD移出与AB平行,联AC、BD延长交于G,则AB上任意点E与G的联线EG必与CD交于F。 ????反之,CD上任意点F,与G的联线FG延长必交AB于E,上述E,F的对应作法,即说明AB~CD。 2 、可数集的性质 ?定理4-5.4 可数集的任何无限子集是可数的。 证明: 设A为可数集合,B?A为一无限子集,如将A的元素排成a1,a2,…,an,…,从a1开始,向后检查,不断地删去不在B中的元素,则得到新的一列ai1,ai2,…,ain,…,它与自然数一一对应,所以B是可数的。 2 、可数集的性质 定理4-5.5 可数个两两不相交的可数集合的并集,仍然是一可数集。 证明:设 , , … 是可数个两两不相交的可数集。 的并集用外延的方法表示出来,即从开始,按下图箭头所示路径排出其元素,每一斜方向上元素的下标之和相同,故 是一个可数集。 2 、可数集的性质 ?定理4-5.6 设自然数集合N,则N×N是可数集。 证明:将N×N的元素枚举下图所示,用0,1,2,…标记它们,从直观上说明N×N与N之间存在着双射f。 2 、可数集的性质 作函数f:N×N?N, 则f是从N×N到N的双射函数(f (m , n)看作序偶m , n的标号)。 (1) f是入射 任给序偶m , n?N×N, 而 ,所以, 2 、可数集的性质 即有 此式表明对任意序偶m , n?N×N,在N中有唯一的自然数在f下为m , n的象。 (2) f是满射 任意u?N,有唯一的m , n?N×N,使得 所以, 且 2 、可数集的性质 令v = m + n ,于是 化简得: 对 求根得: 对 求根得: 因为v = m + n?N,故v不能取负值且为整数,于是合适的v必须满足条件 且v为正整数。 取 (其中[x]表示不超过x的最大整数)。 令 ,则有 , 2 、可数集的性质 于是,m,n?N,m,n由u唯一确定,故在f下,u有唯一的原象m , n?N×N与之对应。 由(1)和(

文档评论(0)

yan666888 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档