离散数学与chapter5 .pptVIP

有限集的概念 有有限个元素的集合称为有限集;否则,称为无限集. 有限集A的元素个数称为A的基数,记为|A|. 集A为非空有限集当且仅当存在n0和双射f:A?{0,1,…,n-1}.(陪域称为N的一个初始段) 证:若A为非空有限集,令 |A|= n 0; n-1?N; 若A={a0,a1,…,an-1}??.定义 f:A?{0,1,…,n-1}, f(ai)=i,i=0,1,…,n-1,则f为双射. 反之,若存在上述双射,则 f-1:{0,1,…,n-1}?A是双射,由此推知 A={f-1(0), f-1(1),…,f-1(n-1)}, f-1(i)两两不同,从而|A|= n,得证A为有限集. 基数的一般概念(有限集基数的推广) 对任意集合A,B,如果存在A到B的双射(表示为A?B)),则称A和B等势或有相同基数:|A|=|B|;如果A与B的一个子集等势(即存在A到B的单射),则|A|?|B|,特别 A?B?|A|?|B|;如果存在A到B的单射但不存在A到B的双射,则|A||B|;如果|A|?|B|且|B|?|A|,则|A|=|B|(Berstein定理). 集合上的等势关系是等价关系?,同一等价类中的集合有相同基数.(双射的逆,合成仍为双射) 记|N|=?0,基数为?0的集称为可数无限集;有限集(包含空集)与可数无限集统称为可数集. A为可数集 ? |A|??0 ? 存在A到N的单射 可数集的性质 A为可数集当且仅当A的元素可列成表(可按{0,1,…,n-1}或N与A元素间的一一对应关系列表),或说A是可枚举的. A,B为可数集,则A?B为可数集. 证:若A或B为空集,则A?B=?,结论成立. 当 A??∧B??时,A?B的元素可列成表(见p.149图5.1-1).由归纳法易见:对任意正整数 n, A1,?,An为可数集 ? A1???An为可数集. 可数集A的任意子集B都是可数集.(把A列成表后再划去表中A-B的所有元素即得B的列表) 可数个可数集的并集都是可数集(∵此并集的双射象是可数集N?????N的子集). ?1,1? ?1,2? ?1,3? ?1,4? ?1,5? ?2,1? ?2,2? ?2,3? ?2,4? ?2,5? ?3,1? ?3,2? ?3,3? ?3,4? ?3,5? ?4,1? ?4,2? ?4,3? ?4,4? ?4,5? ?5,1? ?5,2? ?5,3? ?5,4? ?5,5? 可数无限集的性质及?0的算术 对每个正整数n,n个两两不交的可数无限集的并集是可数无限集,n?0=?0. 可数无限集与其任意n元子集的差集是可数无限集,?0-n=?0(存在双射 f:N-{0,1,…,n-1}?N,其中f(i)=i-n,i?N). N?N?…?N?N,(?0)n=?0,n?I+ 推论:N到m元有限集A的全体函数构成可数无限集AN(∵|AN|?|N|m=(?0)m=?0);可数集到有限集的全体函数构成可数集. 今后将证:|?(N)|=2?0 ?0 ,即 N的幂集不是可数的无限集(见定理5.2-9). 定理5.2-7:可数无限集是最小的无限集:A为无限集 ? |A|??0 证:只需证任意无限集A中一定存在可数无限子集即可.这一结论可推导如下: A不是有限集 ? ?a0(a0?A); A1=A-{a0}不是有限集 ? ?a1(a1?A1?A); A2=A1-{a1}不是有限集 ? ?a2(a2?A2?A); ??? ??? ??? ??? ??n(n?N+ ?An–{a1,…,an}不是有限集)(否则,A1,A2,???,An-1,A是有限集),得证A中含可数无限集{a1,…,an,…,}. 5.1#5 可数无限集的若干实例 ①一元字母集{a}的所有字符串集A={a}*={an|n?N} (∵ 令an对应n可证A?N ? A为可数无限集). ② 在空间直角坐标下所有整坐标点集: A={(x,y,z)|x,y,z?I}(|I|=2|N|-1=2?0-1=?0 ?I为可数无限集;从而|A|=|I?I?I|=(?0)3=?0) ③ 所有整系数多项式的集A={ax+b|a?I-{0}, b?I}(因 ax+b与?a,b?一一对应,故 A?I?I) ④ 具有自然数个结点的所有关系的集A(∵对n?N,具有n个结点的所有关系集An的基数等于n元集的叉积的幂集的元数,即|An|=2n2为有限集,故A=∪n?NAn为可数集,又A显然不是有限集.) (0,1)不是可数集|(0,1)|=|?(N)|?0 证:在不取全为1的无限循环小数的条件下每个正小数x?(0,1)可唯一