- 1、本文档共47页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第11讲 基数 北京大学计算机系离散数学讲义(ppt版)
《集合论与图论》第11讲 第11讲 基数 内容提要 等势, 优势, 劣势, 绝对优势, 绝对劣势 Cantor定理, Schr?der-Bernstein定理 基数(势), ?0, ? 有穷集, 无穷集, 可数集(可列集) 基数运算 两个基本过程 匹配(matching): 多少,大小(基数)----双射 {a} ? {0}=1 {a,b} ? {0,1}=2 {a,b,c} ? {0,1,2}=3… 计数(counting): 首尾,先后(序数)----良序 0?1?2?3?… a?b c?b?a …… 无穷之迷 许多关于无穷的悖论 无穷是否“存在”? 人是否“理解”无穷? 无穷大, 无穷小, 无限可分性 极限 有穷与无穷的区别? 芝诺悖论(Zeno’s paradox) 芝诺悖论: 阿基里斯(Achilles)追不上乌龟 阿基里斯比乌龟快一倍 乌龟在阿基里斯前面起跑 等势(same cardinality) 等势: A?B ? ?双射 f:A?B 优势,劣势: A??B ? ?单射 f:A?B ? B比A优势 ? A比B劣势 绝对优势,绝对劣势: A??B ? A??B ? A?B ? B比A绝对优势 ? A比B绝对劣势 等势关系是等价关系 自反: A?A IA :A?A双射 对称: A?B ? B?A f :A?B双射 ? f -1:B?A双射 传递: A?B ? B?C ? A?C f :A?B, g:B?C双射 ? g○f:A?C双射 证明等势 ? 构造双射 直接构造双射: N?N?N, R?(0,1), [0,1]?(0,1), (0,1)?2N P(A)?2A, A?(B?C)?(A?B)?C 间接构造双射: 传递性: A?B ? B?C ? A?C S-B定理: A??B ? B??A ? A?B R?(0,1) [0,1]?(0,1) N?N-{0,1,2}, {-2,-1}?N?N [0,1]?(0,1) (0,1)?2N N 0, 1, 2, 3, … S1 0, 1, 1, 0, … S2 1, 0, 1, 0, … ? 0, 0, 0, 0, … N 1, 1, 1, 1,… 0.0110…, 0.1010…, 0.0000…, 0.1111… 问题: 0.0111111…=0.1000…, 非单射! 解决: ? P(A)?2A 证明: 令f:P(A)?2A, f(B)=?B, 其中?B是B的特征函数, ?B:A?{0,1}, ?B(x)=1?x?B. (1) f是单射. 设A1?A2, 则?x?A, 使得 ?A1(x)??A2(x), 故?A1??A2. (2) f是满射. 任给?:A?{0,1}, 令 B = { x?A | ?(x)=1 }?A, 则?B=?. # 回忆: 2A = A?2 ={ f | f:A?2 } (全函数) A?(B?C) ? (A?B)?C 证明: 令F: (A?(B?C)) ? ((A?B)?C), F(f)=g, 其中 f:A?(B?C), g:(A?B)?C, g(a,b)=(f(a))(b), 注意 f(a):B?C. A?(B?C) ? (A?B)?C 证明(续): (1) F是单射. 设f1?f2, F(f1)=g1, F(f2)=g2. 下证g1?g2. 因f1?f2, 故?a?A, 使得f1(a)?f2(a), 故又?b?B, 使得 (f1(a))(b)?(f2(a))(b), 即g1(a,b)?g2 (a,b), 所以g1?g2. A?(B?C) ? (A?B)?C 证明(续): (2) F是满射. 任给g:(A?B)?C, 下证?f:A?(B?C),使得 F(f)=g. 令f:A?(B?C), ?a?A, f(a):B?C, ?x?B, (f(a))(x) =g(a,x), 则F(f)=g. # S-B定理 Schr?der-Bernstein定理: A??B ? B??A ? A?B 证明: 设f :A?B, g:B?A单射, 要构造h:A?B双射. S-B定理 S-B定理 S-B定理 证明不等势: 归纳法, 对角化 n,m?N ? n?m ? n?m N?P(N) A?P(A) n,m?N ? n?m ? n?m 定理: 不存在与自己的真子集等势的自然数. 说明: {0,1,…,n-1} ? {0,1,…,m-1,…,n-1} 证明: (数学归纳法)令 S ={ n?N | ?f( f:n?n ? f单射 ? f满射
您可能关注的文档
- 第11章 图形设计 Visual Basic(VB) 教学课件.ppt
- 第11章 土壤养分.doc
- 第11章 图像复原 数字图像处理 教学课件.ppt
- 第11章 在险价值 金融工程课件.ppt
- 第11章 复位、时钟和省电方式控制 《单片微型计算机原理及接口技术》课件.ppt
- 第11章 微扰理论 电磁场理论.pdf
- 第11章 收入、费用和利润 财务 会计学 课件 ppt.ppt
- 第11章 数据库保护 数据库技术与应用教程-课件.ppt
- 第11章 数组 计算机软件技术基础教程 教学课件.ppt
- 第11章 水与无机盐代谢 生物化学检验 教学课件.ppt
- 专题02+时事热点(精讲课件)2025年中考地理二轮复习讲练测(安徽专用).pptx
- 专题10+经济建设 2025年中考道德与法治二轮复习讲练测(广东专用).pptx
- 专题02+西游记【名著概览】+-+2025年中考语文必读名著演练.pptx
- 专题七+认识国家(课件)-【省心备考】2025年中考地理一轮复习优质课件.pptx
- 第22课《礼记》二则——《大道之行也》(课件)-2024-2025学年八年级语文下册同步备课精品资源.pptx
- 跨学科实践15:制作“龙骨水车”(课件)-2024-2025学年八年级物理下学期项目化课程案例.pptx
- 第13课_辽宋夏金元时期的对外交流(课件)2024-2025学年七年级历史下册同步教学课件.pptx
- 选择题专项讲解——综合类(课件)2025年初中道德与法治中考选择题练习.pptx
- 第21课《庄子》二则——《北冥有鱼》(课件)-2024-2025学年八年级语文下册同步备课精品资源.pptx
- 7.3+感受澳大利亚(第二课时)-2025学年七年级地理下册同步精品课堂(晋教版2024).pptx
文档评论(0)