第六章 集合的基数.pptVIP

*/73 */73 第六章 集合的基数 在前面我们的基数简单的看作集合元素的个数，这对于有限集来说没有问题，但对于无限集而言，“元素的个数”这个概念是没有意义的，那么两个集合的“大小”，“相同”的确切含义是什么呢？形式的描述元素“多少”的概念数学工具是函数。 先讨论自然数集合，有限集，无限集。 第六章 集合的基数 定义6.1：设S为任意集合，S∪{S}称为S的后继集合，记为 ，显然 。 例：令 ，则 可以构造出集合序列： 将上面的集合依次命名为0,1,2，…，就可构造出自然数，用“:=”来命名；即 一般地： 自然数集N={0,1,2， …} 第六章 集合的基数 G?Peano将自然数所组成的集合的基本特征描述为下列公理；设N表示自然数集合，则 其中(3)说明了N是满足条件(1)，(2)的最小集合，(3)也称为极小性质。 定义6.2：如存在集合{0,1,2， …，n-1}(自然数n)到A或A到集合{0,1,2， …，n-1}的双射，则集合A称为有限集，否则称为无限集。 定理6.1：自然数集N为无限集。 第六章 集合的基数 证明：只要证明N不是有限集，反证法。 设N为有限集，即存在f是{0,1,2，…，n-1}到N的双射，现令 ，显然对i=0,1,…,n-1，恒有f(i)L，这就是说f不是满射，矛盾。 ∴N不是有限集，是无限集。 定理6.2：有限集的任何子集均为有限集。 证明：设S为有限集，因而有双射f，自然数n，f: {0,1,…，n-1}→S，因此S={f(0),f(1),…，f(n-1)}，若 为S的任一子集，则 为{0,1,2，…，n-1}中的不同成员将序列 看作{0,1,2，…，k-1}到 的双射，记为g， 第六章 集合的基数 那么： 为双射，因此，A为有限集。 定理6.3：任何含有无限子集的集合必定是无限集 此定理是6.2的逆否命题，所以也成立。 定理6.4：无限集必与它的一个真子集存在双射函数。 证明：设S为任一无限集，显然 ，可取元素 ，考虑 ， 仍为非空无限集，又在 中可取 ，考虑 ， 仍为非空无限集，同样有 令 ，显然 ，且对任一自然数n，总有 ，令 定义函数 为： 第六章 集合的基数 易知f为一双射，∴命题成立。 推论：凡不能与自身的任意真子集之间存在双射函数的集合为有限集合。 定义6.3：如果存在从N到S的双射，则称集合S为可数无限集(Conntable Infinite Sets)。其它无限集称为不可数无限集。有限集合和可数无限集统称为可数集(不可数集即不可数无限集)。 显然，N是可数集，N可以排成一个无穷序列的形式：0,1,2，…因此，其它任何可数集合S中的元素也可以排成一个无穷序列 第六章 集合的基数 一个集合是可数集的充要条件是它的元素可以排成一个无穷序列的形式。 定理6.5：整数集为可数无限集。 证：建函数：f:Z→N： 易知f(x)为一双射，∴Z为可数集。 定理6.6：任何无限集必有一个可数子集。 证：类似于6.4，从无限集中依次取出一列元素，构成一个可数集。 第六章 集合的基数 定理6.7：可数集的任何无限子集必为可数集。 证：设S是可数集，S中的元素可以排成： ，设B是S的任一无限子集，它的元素也是S的元素，并且它可排成： ，∴B是可数集。 定理6.8：可数集中加入有限个元素(或删除有限个元素)仍为可数集。 证：设 是可数集，不妨在S中加入有限个元素 ，且它们均与S的元素不相同，得到新的集合B，它的元素也可排成无穷序列： ∴B是可数集。 第六章 集合的基数 定理6.9：两个可数集的并集是可数集。 证：设 均为可数集，不妨设 不相交， 元素可以排成无穷序列： 为可数集。 推论：有限个可数集的并是可数集。 定理6.10：可数个可数集的并集是可数集。 证：不失一般性，设这可数个可数集均非空，且互不相交： 第六章 集合的基数 当 为有限集 时，令 从而 ，S中元素排列为： ∴S为可数集。 N×N是可数集；有理数是可数集(证明见书