双射函数与集合的基数-(精选·公开·课件).ppt

8.3 集合的基数 本章说明 本章内容 8.3.1 集合的等势与优势 8.3.2 集合的基数 本节小结 习题 作业 8.3.1 集合的等势与优势 定义8.8 设A, B是集合，如果存在着从A到B的双射函数，就称A和B是等势（same cardinality）的，记作A≈B。 如果A不与B等势，则记作A B。 等势集合的实例(1) （1）Z≈N。 等势集合的实例(2) （2） N×N≈N。 等势集合的实例(3) （3）N≈Q。 把所有形式为p/q (p,q为整数且q0) 的数排成一张表。 等势集合的实例(4) 等势集合的实例(5) （5）[0,1]≈(0,1)。 其中(0,1)和[0,1]分别为实数开区间和闭区间。 等势集合的实例(6) 例8.10 等势的性质 定理8.6 设A，B，C是任意集合， （1）A≈A。 （2）若A≈B，则B≈A。 （3）若A≈B，B≈C，则A≈C。 若干等势集合 N ≈ Z ≈ Q ≈ N×N R ≈ [0,1] ≈(0,1) 任何的实数区间（开区间、闭区间以及半开半闭的区间）都与实数集合R等势。 问题：N和R是否等势？ 康托定理 定理8.7 康托定理 （1）N R。 （2）对任意集合A都有A P(A)。 康托定理 （1）首先规定[0,1]中数的表示。 对任意的x∈[0,1]，令x = 0.x1x2… , （0 ≤ xi ≤ 9） 注意：为了保证表示式的唯一性，如果遇到0.24999…，则将x表示为0.25000…。 设 f:N→[0,1]是从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与上面列出的任何一个函数值都不相等。 即f不是满射的。 所以，N R。 康托定理 假设A≈P(A)，则必有函数 f : A→P(A)是双射函数。 如下构造集合B： B＝{x| x∈A∧x? f (x)} 可知 B∈P(A)。 于是存在唯一一个元素b∈A，使得 f(b)＝B。 若b∈B，则由B的定义知，b ? f (b)，即 b?B，矛盾。 若b?B，则b ? f (b)，于是由B的定义知， b∈B，矛盾。 康托定理 （2）设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?ran g 即P(A) 中存在元素B，在A中找不到原像。 所以，g不是满射的。 所以， A P(A)。 优势 定义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。 例如： 优势的性质 例题 例题：证明[0,1]与(0,1)等势。 证明：构造两个单射函数 f: (0,1)→[0,1]，f(x)＝x g: [0,1]→(0,1)，g(x)＝x/2+1/4 证明 {0,1}N≈[0,1) 证明 {0,1}N≈[0,1) 总结 8.3.2 集合的基数 上一节我们只是抽象地讨论了集合的等势与优势。 本节将进一步研究度量集合的势的方法。 最简单的集合是有穷集。尽管前面已经多次用到“有穷集”这一概念，当时只是直观地理解成含有有限多个元素的集合，但一直没有精确地给出有穷集的定义。为解决这个问题我们需要先定义自然数和自然数集合。 后继 自然数的定义 归纳集 定义8.11 设A为集合，如果满足下面的两个条件： （1）?∈A （2）?a(a∈A→a+∈A) 称A是归纳集。 自然数n和自然数集合N的定义 定义8.12 自然数 （1）一个自然数n是属于每一个归纳集的集合。 （2）自然数集N是所有归纳集的交集。 说明：根据定义8.12得到的自然数集 N 恰好由?, ?+, ?++, ? +++,…等集合构成。而这些集合正是构造性方法所定义的全体自然数。 举例 P(1)＝P({0})＝{?,{0}}＝{0,1} 23＝{0,1}{0,1,2}＝{f