离d散数学ppt8.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 等势的性质 定理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]中数的表