安徽大学《离散数学》课件-第5章.pptVIP

第五章 无限集合 §5.1 可数和不可数集合 §5.2 基数的比较 讲少部分 §5.3 基数算术 不讲 有限集的概念 有有限个元素的集合称为有限集;否则,称为无限集. 有限集A的元素个数称为A的基数,记为|A|. 有限集的等价条件 定理: 集A为非空有限集当且仅当存在n0和双射f:A?{0,1,…,n-1}.(此陪域称为N的一个初始段) 证:若A为非空有限集,令|A|=n0; 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)为1元集且两两不同,从而|A|=n?. 枚举 定义: N的一个初始段{0,1,…,n-1}到(非空)有限集A的一个满射函数 f: {0,1,…,n-1}? A 称为A的一个有限枚举;若f是双射则称为有限无重复枚举. 定理:集A为非空有限集当且仅当存在A的一个有限无重复枚举. 注: N到集A的一个满射函数f: N ? A 称为A的一个无限枚举. 基数一般概念(有限集元素数的推广) 对任意集合A,B,如果存在A到B的双射(表示为A?B)),则称A和B等势,或有相同基数,记为|A|