- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
2001.10 函 数 离 散 数 学函 数 李 舟 军 主要内容 1.??部分函数 2.??函数的合成 3.? 逆函数 4.??特征函数 5. 基数 6. 基数算术 §3.5 基 数 基数 目的:理解基数的概念;掌握抽屉原则的运用方法、基数和可列集的证明; 重点:抽屉原则的运用方法、基数和可列集的证明; 难点:抽屉原则的运用方法、基数和可列集的证明。 比较两个集合的大小: 1? 计数法:先数出它们的元素个数,再加以比较。 2? 愚人比宝法:每次各取一,看哪个最后取完。 对无限集,方法 1? 失效。 什么叫做数一个集合中元素个数 ? 在该集合与某个自然数之间建立一个双射。 等势 设 A 和 B 为二集合,若存在从 A 到 B 的双射, 则称 A 和 B 对等,或称 A 和 B 等势,记为 A ~ B。 内射、满射和双射 设 f:X→Y, 若 ran f = Y,则称 f 为满射。 若 f 是1-1的,则称 f 为内射。 若 f 既是满射,又是内射,则称 f 为双射。 设 R 为集合 A 上的等价关系,则 ? = {〈x, [x]R〉|x ∈A } 是从 A 到 A / R 的满射,并称 ? 为自然映射。 例子 设 f :X → Y 和 g :Y → Z 若 f 和 g 都是满射,则 g o f 也是满射; 若 f 和 g 都是内射,则 g o f 也是内射; 若 f 和 g 都是双射,则 g o f 也是双射。 定理3.2.5 证明:i) ran (g o f ) || 定理3.2.2 g[ ran f ] || f 满射 g [Y] || g 满射 Z ii) 若 x1,x2 ? X 且 x1 ? x2 ? f 内射 f (x1) ? f (x2) ? g 内射 g ( f (x1) ) ? g ( f (x2) ) 即 ( g o f ) (x1) ? ( g o f ) (x2) 故 g o f 为内射 设 f :X → Y 和 g :Y → Z 若 g o f 是满射,则 g 是满射; 若 g o f 是内射,则 f 是内射; 若 g o f 是双射,则 g 是满射且 f 是内射。 规则: 左满 右内 定理3.2.6 证明:i) 显然 ran g ? Z 又: ran f ? Y g [ ran f ] ? g [Y] = ran g 而: g [ ran f ] = ran ( g o f ) (定理3.2.2) 且: ran ( g o f ) = Z (g o f 满射) 所以: Z ? ran g 因此: Z = ran g,即 g 为满射。 ii) 反证法。 假设 f 不是内射,则有 x1, x2 ? X 且 x1 ? x2 使 f (x1) = f (x2)。 因此 ( g o f ) (x1) = g ( f (x1) ) = g ( f (x2) ) = ( g o f ) (x2) , 这与 g o f 为内射矛盾。 所以假设不成立,即 f 为内射。 作业 习题3.2 3. a) 、 c) 、e) 5. 6. 9. §3.3 逆 函 数 逆函数 目的:了解逆函数的概念;掌握函数逆的证明及相关定理; 重点:函数逆的相关性质和证明思路; 难点:函数逆的相关证明。 关系的合成 ? 函数的合成,那么 关系的逆 ? 函数的逆 ? 例子 设 f :I ? I , f = { i, i2 | i ? I } 则 f –1 = { i2, i , i2, -i | i ?N } (关系的逆) 显然,1, 1, 1, -1 ? f –1, 所以,关系 f –1 不是部分函数。 故 不能把 逆函数 直接定义为 逆关系 。 左逆、右逆、逆 设 X 和 Y
文档评论(0)