第六章集合的基数 在前面我们的基数简单的看作集合元素的个数，这 对于有限集来说没有问题，但对于无限集而言， 元素的个数”这个概念是没有意义的，那么两 个集合的“大小”，“相同”的确切含义是什么 呢？形式的描述元素“多少”的概念数学工具是 函数。 先讨论自然数集合，有限集，无限集。 173
1/73 第六章 集合的基数 在前面我们的基数简单的看作集合元素的个数，这 对于有限集来说没有问题，但对于无限集而言， “元素的个数”这个概念是没有意义的，那么两 个集合的“大小”，“相同”的确切含义是什么 呢？形式的描述元素“多少”的概念数学工具是 函数。 先讨论自然数集合，有限集，无限集
第六章集合的基数 定义6.1：设S为任意集合，SU{S}称为S的后继集 合，记为S+,显然S∈，S∈S+。 例：令S=0,则0可以构造出集合序列： 00 10U0} 2{0}U{{0}}={0,{0}} 将上面的集合依次命名为0,1,2，"， 就可构造出自 然数，用：=”来命名；即 0:=0,1=0*={0}={0},2:=1*={0,{0}}={0,1} 3=2*={0,{0},{0,{0}}}={0,1,2 一般地：n+1=n*={0,12,…} 自然数集N{0,1,2,} 2/73
2/73 第六章 集合的基数 • 定义6.1：设S为任意集合，S∪{S}称为S的后继集 合，记为 ，显然 。 例：令 ，则 可以构造出集合序列： 将上面的集合依次命名为0,1,2， …，就可构造出自 然数，用“:=”来命名；即 一般地： 自然数集N={0,1,2， …} + S + + S S , S S S = 2 { } {{ }} { ,{ }} 1 { } 0 = 3: 2 { ,{ },{ ,{ }}} {0,1,2} 0: ,1: 0 { } {0},2: 1 { ,{ }} {0,1} = = = = = = = = = = + + + +1:= ={0,1,2, } + n n
第六章集合的基数 G.Peano将自然数所组成的集合的基本特征描述为 下列公理；设N表示自然数集合，则 (1)0记为0,0∈N,(2)若n∈N,则n∈W (2),若子集S∈N且0∈S,又若n∈S,则n*∈S,则S=N 其中(3)说明了N是满足条件(1)，(2)的最小集合， (3)也称为极小性质 。 ·定义6.2：如存在集合{0,1,2， …,-1}（自然数 n)到A或A到集合{0,1,2，· ",n-1}的双射，则集 合A称为有限集，否则称为无限集。 ·定理6.1：自然数集为无限集。 373
3/73 第六章 集合的基数 • 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为无限集。 S N S n S n S S N N n N n N = + + 若子集 且 ，又若 则 则 记为 若 则 (2), 0 , , (1) 0,0 ,(2)
第六章集合的基数 证明：只要证明N不是有限集，反证法。 设N为有限集，即存在f是[0,1,2，"，n-1}到N的双 射，现令L∈N,L=1+max{f(0),f(I),…,f(n-1)},显 然对i=0,1,…,-1,恒有f(i)<L,这就是说f不是 满射，矛盾。∴不是有限集，是无限集 定理6.2：有限集的任何子集均为有限集。 证明：设S为有限集，因而有双射f,自然数n,f: {0,1,…,n-1}→S,因此S={f(0),f(1),",f(n 1)],若S,为S的任一子集，则S,={f(ao),,f(ak-)} k≤n,a,a1,…ak-1为{0,1,2，…，n-1}中的不同成 员将序列，4，…ak-1看作{0,1,2，…，k-1}到 {ao,a41,…ak-1}=S2的双射，记为g, 4/73
4/73 第六章 集合的基数 证明：只要证明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， L N, L =1+ max{ f (0), f (1), , f (n −1)} S1 { ( ), , ( )} 1 = 0 ak−1 S f a f 0 1 1 , , , n a a ak− k 0 1 1 , , a a ak− 0 1 1 2 {a ,a , ak− }= S
第六章集合的基数 那么：8of:0,12,…,k-1}→S,为双射，因此，A 为有限集。 ·定理6.3：任何含有无限子集的集合必定是无限集 此定理是6.2的逆否命题，所以也成立。 理6.4：无限集必与它的一个真子集存在双射函 数 证明：设S为任一无限集，显然S≠D 可取元素a∈S 考虑S,=S-{a},S仍为非空无限集，又在S中 可取4∈S1,考虑S2.=S-{a,S2仍为非空无限集 同样有a2∈S2,…令B={a,a4,a,显然BcS 且对任-自然数n,总有an∈B,令S。=S-{a,}cS 定义函数f:S→S为： 5/73
5/73 第六章 集合的基数 那么： 为双射，因此，A 为有限集。 • 定理6.3：任何含有无限子集的集合必定是无限集 此定理是6.2的逆否命题，所以也成立。 • 定理6.4：无限集必与它的一个真子集存在双射函 数。 证明：设S为任一无限集，显然 ，可取元素 ，考虑 ， 仍为非空无限集，又在 中 可取 ，考虑 ， 仍为非空无限集 ，同样有 令 ，显然 ，且对任一自然数n，总有 ，令 定义函数 为： 1 g f :{0,1,2, ,k −1}→S S a0 S { } S1 = S − a0 S1 S1 a1 S1 { } S2 = S1 − a1 S2 a2 S2 , { , , , } B = a0 a1 a2 B S an B S0 = S −{a0 } S 0 f : S → S