4-4 基数的概念的.ppt

推论:凡不能与自身的任一真子集对等的集合为有限集。 凡能与自身的某一真子集对等的集合称为无限集,否则称为有限集。 前面的例子和定理说明了这样的事实： 在无穷大的世界里，部分可能等于全部。 那么是否无穷大数都是相等的？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4-5 可数集与不可数集 定义4-5.1：若存在从N到A的双射, 则称A为可数无限集, 简称可数集或可列集, K[A]=?0。 定理4-5.1：(1) 设A是无限可数集, 若存在从A到B的双射,则B也是可数集。 (2) 集合A是可数集的充要条件是集合A中的元素可以排成一个无穷序列的形式:a0,a1,a2,a3,a4,…。 这里要注意：定理中的“无限”两字不能去掉。这是因为可数集是指可数无限集。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4-4.1 集合的递归定义 定义4-4.1:集合A的递归(归纳)定义由三部分组成: (1)基础:设置某些对象是在所要定义的集合A中的(作为A的基本元素,目的说明集合A是非空的)。 (2)归纳(递归):建立一种由集合A的现有元素产生A中新元素的方法。(实质上就是给出一组规则,以确定如何从集合A的现有元素得到A的其他元素。) (3)闭合：除了有限次应用(1)和(2)产生集合A的元素外,A中再没有其它元素。 4.4 基数的概念 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关于闭合还有其他的等价叙述， 1)除了有限次应用(1)和(2)产生集合A的元素外,A中再没有其它元素。 2)集合A是满足(1)和(2)的最小集合。 3)集合A满足(1)和(2), 但不存在A的真子集能满足(1)和(2), 即若S?A,且S满足(1)和(2), 则S=A。 4)集合A是满足由(1)和(2)给定性质的所有集合之交。 以上四种闭合的说法虽然形式上不同, 但它们是等价的。证明从略。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例：设整数集Z是全集,非负偶整数集E+={x|x≧0,且x=2y,y?Z},它可以递归定义如下: (1)(基础)0?E+。 (2)(归纳)如果n?E+,则n+2?E+。 (3)(闭合)除有限次应用(1)和(2)产生的整数外,再没有其它的整数在E+中。 例：下面的归纳定义所给出的是怎样的集合？ (1)(基础)3?S。 (2)(归纳)如果x,y?S,则x+y?S。 (3)(闭合)除有限次应用(1)和(2)产生的整数外,再没有其它的整数在S中。 答案是3的正整数倍全体。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例：设Σ是一个有限非空字符集,称为字母表。从Σ中选取有限个字符组成的串称为Σ上的字符串或字。 设x是Σ上的一个字, x=a1a2…an,其中ai?Σ,1≦i≦n,n是正整数,表示字的长度 长度为0的字称为空串,记为?。 若x,y是Σ上的两个字,x=a1a2…an, y=b1b2…bm,其中ai,bj?Σ(1≦i≦n, 1≦j≦m), 则由x和y毗连得到新的字记为xy。 即:xy=a1a2…an b1b2…bm。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例:设Σ是一个字母表, Σ上所有的有限非空字符串集合记为Σ+,递归定义如下: (1)(基础)如果a?Σ,则a?Σ+。 (2)(归纳)如果x?Σ+,且a?Σ,则ax?Σ+(ax表示字符a与字x毗连得到的新的字)。 (3)(闭合)除有限次应用(1)和(2)产生Σ+中的字