离散数学与课件第5章 无限集合.ppt

第五章 无 限 集 合 ;5.1 可数和不可数集合 ; 定理5.1-1 自然数集合N是无限的。 ; 证 为了证明N不是有限的, 我们必须证明没有n∈N使从{0,1,2,…,n-1} 到N的双射函数存在。设n是N的任意元素, f是任意从{0,1,…,n-1}到N的函数, ?令k=1+max｛f(0),f(1),…,f(n-1)｝那么k∈N, 但对每一x∈{0,1,2,…,n-1}, f(x)?≠k。 这说明, f不是一个满射函数, 所以f不是一个双射函数。 因为n和f都是任意选取的, 我们得出N是无限的。 证毕。 ; 定理5.1-2 有限集合的每一子集是有限的。 证 设S是有限集T的任一子集, (i) 如果S是空集, 那么存在到S的双射函数——空函数, 根据定义5.1-2, S是有限的。 (ii) 如果S是非空集, 那么T也是非空集。因为T是有限的, 所以存在双射函数使T的每一元素和某个N的初始段中的数对应。 我们把和数i对应的元素就记为ai, 于是T的元素是 a0,a1,a2,…,an-1; 现在我们要造出一个双射函数g, 使某一N的初始段和S的元素对应。构造方法如下: (1) 置i=0, j=0。 (2) 先检查ai是否在S中, 如果在S中, 转第3步。否则转第4步。 (3) 使g(j)=ai, 把j的值加1, 把i的值加1, 加1后如果i＜n转第(2)步, 否则结束。 (4) 把i的值加1, 加1后如果i＜n转第(2)步, 否则结束。 容易看出这样构造的函数g是从初始段{0,1,2,…,j-1}到S的双射函数。按定义5.1-2, S是有限集。 ; 推论5.1-2 设S是T的子集, 如果S是无限集, 那么T是无限集。 本推论是上一定理的逆反。 例1 设A表示永不停机的ALGOL程序集合, 我们通过构造永不停机的程序集合A的一个子集A′, 证明A是无限集合。 begin ; B: go to B ; end 这个程序我们记作p0是A的一个元素。在紧接于begin的后边, 我们插入语句 go to B ; 5.1.2 可数集合 ? 度量集合大小的数叫基数或势。为确定有限集的大小, 我们把称作N的初始段的集合{0,1,…,n-1}作为“标准集合”, 用双射函数做工具, 对它们进行比较。当且仅当从{0,1,2,…,n-1}到集合A存在一双射函数时, 称集合A具有基数n, 记为|A|=n, 记为|A|=n,这就是日常生活中的数数的概念。 现在我们将这种想法加以推广。 通过选取一些新的“标准集合”, 建立无限集合的基数的概念。 ; 定义5.1-3 如果存在一个从N到A的双射函数,那么集合A的基数是 , 记为 。 显然, 存在从N到N的双射函数, 所以, , 读做阿列夫零, 是希伯来文第一个字母。 ;例2; 定义5.1-4 如果存在从N的初始段到集合A的双射函数, 则称集合A是可数的或可列的如果 , 则称集合A是可数无限的; 如果集合A不是可数的, 则称集合A是不可数的或不可数无限的。 ; 定义5.1-5 设A是一集合, A的枚举是从N的初始段到A的一个满射函数f。如果f也是单射的(所以是双射的), 那么f是一个无重复枚举; 如果f不是单射的, 那么f是重复枚举。 枚举函数f通常是用给出序列〈f(0),f(1),f(2),…〉含蓄地指定。 ; 例3 (a) 如果A=, 仅有一个A的枚举, 它是空函数。 (b) 如果A={x,y}, 那么〈x,y,x〉和〈y,x〉都是A的有限枚举, 第一个是重复枚举, 第二个是无重复枚举。 (c) 设A是非负的3的整倍数集合, 那么 〈0,3,6,…〉和〈3,0,9,6,15,12,…〉都是A的无重复枚举, 后者的枚举函数是; 定理5.1-3 一个集合A是可数的当且仅当存在A的枚举。 证 必要性。 如果A是可数的, 那么根据定义, 存在一从N的初始段到A的双射函数, 这证明了存在A的枚举。 充分性。我们考虑两种情况: 情况1 如果A是有限的, 那么根据有