离散数学-4-5可数集与不可数集.ppt
《离散数学-4-5可数集与不可数集.ppt》由会员分享,可在线阅读,更多相关《离散数学-4-5可数集与不可数集.ppt(16页珍藏版)》请在三一办公上搜索。
1、第三章 集合与关系,4-5 可数集与不可数集授课人:李朔Email:,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为可数集的充分必要条件是可以排列成Aa1,a2,an,的形式。证明:若A可排成上述形式,那么将A的元素
2、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,必含有可数子集Aa1,a2,an,设M-AB,我们定义集合M到其自
3、身的映象,f:MM-a1,使得f(an)an+1(n1,2,)且对于任何bB,有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的对应作法,即说明ABCD。,2、可数集的性质,定理4-5.4 可数集的任何无限子集是可数的。证明:设A为可数集合,BA为一无限子集,如将A的元素排成a1,a2,an,从a1开始,向后检查,不断地删去不在B中的元素,则得到新的一
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 可数 不可数

链接地址:https://www.31ppt.com/p-6010436.html