- 1、本文档共45页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
第四章
可数集与不可数集3/16/20251
§4.1等势如何比较两个集合中元素的多少呢?3/16/20252
等势定义:设A和B是集合,假设存在A到B的双射,那么称A与B等势,记为A~B.(可形象理解为A与B的元素一样多。)“~”是一个等价关系。(请证之?)例1自然数集N与偶自然数集E是等势的,其中定义N到E的双射?为:?(n)=2n,n∈N.3/16/20253
有限与无限定义:设Nn={0,1,?,n–1},n?1,假设集合A与Nn等势,那么称A为有限集;否那么称A为无限集。3/16/20254
无限多的自然数定理自然数集合N是无限集。证明:设n∈N,n?1,令?是从Nn到N的映射,Nn={0,1,?,n–1},下证?不是双射。令k=1+max{?(0),?(1),?,?(n–1)},于是k∈N,但对任意x∈Nn,均有?(x)≠k,因此,?不是满射,更不是双射。由定义知,N为无限集。啊哈!这下我们知道有无限多个自然数了!3/16/20255
抽屉原理定理任何有限集均不能和其真子集等势此定理也称为抽屉原那么:假设将n+1个物体放入n个抽屉中,那么至少有一个抽屉中放了两个或两个以上的物体。抽屉原那么对无限集并不总是成立,即无限集能够与其真子集等势。这是无限集合的一个非常重要的性质。我们已经看到自然数集合等势于它的真子集,偶数集合。下面我们再给一个例子。3/16/20256
正实数和全体实数一样多令R和R+分别为实数集合和正实数集合,即R+={x∈R|x0},显然,R+?R,即R+是R的真子集。但是R~R+证明:定义映射f如下:f(x)=ex,x∈R于是,对任意的x∈R,存在唯一的y∈R+,使y=ex=f(x);另一方面,对任意的y∈R+,存在唯一的x=lny∈R,使f(x)=ex=elny=y,这说明f是R到R+的一个双射。因此,R~R+。3/16/20257
§4.2集合的基数3/16/20258
几个记号同有限集合中元素的个数的记法一样,集合A的基数用|A|表示。每个有限集合都与某个集合Nn={0,1,?,n–1}等势,其中n?0,N0=?。如果A~Nn,那么A中有n个元素,即|A|=n;假设A为无限集,那么用一个特殊的符号?i(读作阿列夫i,i是一个正整数)来表示它的基数。例如,对于自然数集合N,令|N|=?0(读作“阿列夫零”)。3/16/20259
如何比较集合的大小(1)假设A~B,即存在A到B的双射,那么称它们的基数相等,记为|A|=|B|。(2)假设存在A到B的单射,那么称A的基数小于或等于B的基数,记为|A|?|B|;或称A的基数大于或等于B的基数,记为|B|?|A|。(3)假设两者基数不等且|A|?|B|,那么记为|A||B|。根据集合的基数来比较它们的大小。令A、B为两个集合,那么:3/16/202510
集合大小是可比的定理设A和B为两个集合,总有|A|?|B|或者|B|?|A|。(即任意两个集合总可比较大小。〕像实数一样,任何两个基数都可以比较大小,所以有3/16/202511
等势是集合间的等价关系定理:基数之间的相等关系“=”是一个等价关系,即对任何集合A,B和C,有:(1)|A|=|A|;(2)假设|A|=|B|,那么|B|=|A|;(3)假设|A|=|B|且|B|=|C|,那么|A|=|C|.3/16/202512
基数间的≤是偏序关系定理基数之间的小于或等于关系“?”是一个偏序关系,即对任何集合A,B和C,有:(1)|A|?|A|;(2)假设|A|?|B|且|B|?|A|,那么|A|=|B|;(3)假设|A|?|B|且|B|?|C|,那么|A|?|C|.3/16/202513
几个关于基数的问题我们知道自然数有无限多个。那么自然数集合是不是就是最大集合的呢?如果自然数集合不是最大的,那么比它更大的集合是什么样的呢?是不是存在最大的基数呢?不!不存在最大的集合。山外有山,天外有天。我们的口号是:没有最大,只有更大!3/16/202514
山外青山楼外楼定理对任意集合A,均有|A||?(A)|,其中?(A)为A的幂集。证明:令f:A??(A)。f(
您可能关注的文档
- 高中生物教学中学生表达能力现状及原因分析.doc
- 科学四年级下册11.认识光.ppt
- 第10章-预应力混凝土结构(2014水工).ppt
- 社会形态的更替的一般规律及特殊形式.ppt
- 第0章前言软件工程-2012.ppt
- 社区护理-第二章-环境与健康.ppt
- 神秘访客操作工作手册.ppt
- 生物的生存依赖一定环境.ppt
- 高中语文课本古代诗歌小结.doc
- 高中有机化学复习资料汇总.doc
- 以创模拟之径,启高中职业成熟新程:影响、机制与教育方略.docx
- 破局与重塑:高中语文教师专业化发展的深度审视与路径探寻.docx
- 文化铸魂:高校中华优秀传统文化教育的创新与实践.docx
- 破局与重塑:高中阅读教学对话困境与优化策略探究.docx
- 新课标视域下高中小说教学的创新与实践研究.docx
- 多元视角下中学英语阅读课程资源的创新开发与高效应用.docx
- 睡眠与本能恐惧行为:选择性输出特征及神经机制解析.docx
- 供需匹配视角下大学生创业政策的优化与实践路径研究.docx
- 小学教学楼建设工程项目风险管理研究:以XX小学为例.docx
- 公立普通高中三限政策失真:表征、根源与矫治路径.docx
文档评论(0)