离散数学文档.docVIP

第三章　　集合论 集合论是现代数学的基础，是数学不可或缺的基本描述工具。可以这样讲，现代数学与离散数学的“大厦”是建立在集合论的基础之上的。 集合论的研究起源于对数学的基础研究：对数学的对象、性质及其发生、发展的一般规律进行的科学研究。德国数学家康托尔从1874年始，发表了一系列集合论方面的著作，从而创立了集合论。 在自然科学中，除了研究处于孤立的个体之外，更重要的是将一些相关的个体放在一起进行研究，这就直观地产生了引入集合这一概念的要求。随着计算机时代的到来，集合的元素已由传统的“数集”和“点集”拓展成包含文字、符号、图形、图表和声音等多媒体信息，构成了各种数据类型的集合。从而集合论在编译原理、开关理论、信息检索、形式语言等各个领域得到了广泛的应用。 3.1 集合 一个集合是作为整体识别的、确定的、互相区别的一些事物的全体。严格地讲，这只是一种描述，不能算是集合的定义。类似于几何中的点、线、面等概念，在朴素集合论中，集合也是一种不加定义而直接引入的最基本的原始概念(一给出定义就要引入悖论)。而集合论中的其他概念，则都是从它出发给予了严格的定义。构成集合的每个事物称为这个集合的元素或成员。集合一般用大写字母表示，元素用小写字母表示。但这也不是绝对的，因为一个集合可以是另外一个集合的元素。 ［例3.1.1］　英文字母的集合，C语言的基本字符集，全体实数，计算机内存单元集合。 ［例3.1.2］　｛1，2，3｝＝｛2，1，3｝＝｛3，1，2｝。 ［例3.1.3］　常用集合：N，I(I＋，I－)，P，Q(Q＋，Q－)， R(R＋，R－)，C。 集合的表示： (1)枚举法； (2)性质描述法：S＝｛x | P(x) ｝； (3)文氏图法：用于描述集合间的关系及其运算，其特点是直观、形象、信息量大且富有启发性。一般用矩形表示全集U，用圆表示U的子集A，B，C等等。 集合中的事物称为集合的元素，通常用小写英文字母表示。如果x是集合S的一个元素，则称x属于S，记作xS；否则称x不属于S，记作xA。 集合有三个重要的特性：互异性、无序性和确定性。 ［例3.1.4］　1N，0.5Q，3.0R，－1N，Q。 定义3.1.1 设A是任意集合，A中元素的个数称为A的基数或势，用|A|表示。 (1)基数为有限的集合称为有限集，否则称为无限集； (2)若｜A｜＝0，则称A为空集，记作或｛｝。否则称A是非空集合。 ［例3.1.5］　N，I，Q＋，R，C都是无限集；大于3且小于1的整数集是空集，H＝｛x | xR 且x2+x+1=0｝|=0，|{0,1}|=2，|{}|=1，|N|=，|R|=。 定义3.1.2 设A和B是两个集合。若A中的每个元素都是B的元素，　则称A是B的子集或称B包含A、A包含于B，记作AB。若AB但AB，则称A为B的真子集，记作AB，B称为A的扩集或超集。 空集是任何集合的子集(对任一集合A，有A)。 对任一非空集合A，它至少有两个不同的子集和A，称它们为A的平凡子集。 ［例3.1.6］　NQRC。 集合的包含关系有如下性质：(1)自反性：AA；(2)反对称性：AB，BAA＝B；(3)传递性：AB，BCAC。 而集合的真包含关系则只有传递性：AB，BCAC。 定义3.1.3 设 A和B是两个集合。若AB且BA，则称A与B相等，记为A＝B，否则称A与B不等，记为AB。 ［例3.1.7］　A＝｛x | x2-x=0 且xR｝，，，，，，， 定义3.1.4 在一定范围内，若所有集合均为某一集合的子集，则称该集合为全集，记为U。 3.2　集合的运算 3.2.1　集合的运算 定义3.2.1 设有集合A与B，则 (1)　称由A与B的公共元素组成的集合为A与B的交集，记作AB，即AB＝｛x | xA且xB｝B＝，则称A与B不相交。 (2)　称由A与B的所有元素组成的集合为A与B的并集，记作AB，即AB＝｛x | xA 或xB｝A且xB｝。 ＝，。 ［例3.2.1］　设A＝{2，3}，B＝{1，5，8}，C＝{3，6}，U＝{1，…，10}，求AB，CB，A－B，B－A，。 定理3.2.1 (集合运算的性质)对全集U和任意集合A,B,C，有 AAB，BAB；ABA，ABB； A－BA；A－B=A； AC，BCABC；AB，ACABC； AB。 ［例3.2.2］　设A，B是任意集合，证明下列条件相互等价： 　　(1)AB；　　(2)AB＝B；　(3)A＝AB。 定义3.2.2 设A与B是集合，则称由属于A但不属于B的元素或属于B但不属于A的元素组成的集合为A与B的对称差，记作AB，即AB=｛x | (xA且xB)或(xB且xA)｝(B－A)。 ［例3.2.3］　设A＝{2，3}，B＝{1，5，8}，U＝{1，…，10}，求AB，BA，A