离散数学ch8v0413讲述.ppt

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

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 等势的性质 定理8.6 设A, B,C是任意集合, (1) A≈A (2) 若A≈B,则B≈A (3) 若A≈B,B≈C,则A≈C. 证明思路:利用等势的等义. (1) IA是从A到A的双射 (2) 若 f:A?B是双射,则f ?1:B?A是从B到A的双射. (3) 若 f:A?B,g:B?C是双射,则f?g:A?C是从A到C的双射 * 有关势的重要结果 等势结果 N ≈ Z ≈ Q ≈ N×N 任何实数区间都与实数集合R等势 不等势的结果: 定理8.7 (康托定理) (1) N ? R; (2) 对任意集合A都有A?P(A) 证明思路: (1) 只需证明任何函数 f:N→[0,1]都不是满射的. 任取函数 f:N→[0,1], 列出 f 的所有函数值,然后构造一个[0,1]区间的小数b,使得b与所有的函数值都不相等. (2) 任取函数 f:A?P(A),构造B?P(A),使得B与 f 的任何函 数值都不等. * Cantor定理的证明 证 (1) 规定[0,1]中数的表示. 对任意的x∈[0,1], 令  x = 0. x1 x2 … , 0 ≤ xi ≤ 9 规定在 x 的表示式中不允许在某位后有无数个1的情况. 设 f: N→[0,1]是任何函数,列出 f 的所有函数值: f(0) = 0.a1(1)a2(1)… f(1) = 0.a1(2)a2(2)… … f(n?1) = 0.a1(n)a2(n)… … 令 y 的表示式为0.b1b2…, 并且满足bi ≠ ai(i), i=1,2,…, 那么 y?[0,1], 且y与上面列出的任何函数值都不相等. 这就推出 y?ranf, 即 f 不是满射的. * (2) 我们将证明任何函数 g:A→P(A)都不是满射的. 设 g:A→P(A)是从A到P(A)的函数, 如下构造集合B:  B={x| x∈A∧x?g(x)} 则B∈P(A), 但对任意x∈A都有 x∈B ? x?g(x) 从而证明了对任意的 x∈A都有 B≠g(x). 即B?rang. 注意:根据Cantor定理可以知道N?P(N),N?{0,1}N. Cantor定理的证明 * 集合的优势 定义8.9 (1) 设A, B是集合, 如果存在从A到B的单射函数, 就 称B优势于A, 记作A??B. 如果B不是优势于A, 则记作A??B. (2) 设A, B是集合, 若A??B 且 A?B, 则称 B 真优势于A, 记作 A??B. 如果 B 不是真优势于A, 则记作A??B. 实例 N??N, N??R, A??P(A), R??N N??R, A??P(A), 但N??N 定理8.8 设 A, B, C是任意的集合, 则 (1) A??A (2) 若A??B且B??A, 则A≈B (3) 若A??B且B??C, 则A??C * 应用:证明等势 证 设x?[0,1), 0. x1x2… 是 x 的二进制表示. 规定表示式中不 允许出现连续无数个1. 对于x,如下定义 f:[0,1)→{0,1}N, f(x) = tx, 且 tx:N→{0,1}, tx(n) = xn+1, n = 0,1,2,… 例如 x = 0.1 0 1 1 0 1 0 0…, 则对应于x 的函数 tx是: n  0 1 2 3 4 5 6 7… tx(n) 1 0 1 1 0 1 0 0… tx∈{0,1}N, 且对于x,y∈[0,1), x≠y, 必有tx≠ty, 即 f(x)≠f(y). 这就证明了f:[0,1)→{0,1}N是单射的. 例8 证明 {0,1}N≈[0,1).

文档评论(0)

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

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

1亿VIP精品文档

相关文档