第3章集合解析.ppt

离 散 数 学 戎 玫 2005－9 第3章 集合 3.1 集合的基本概念 3.2 集合的运算 3.3 集合恒等式 3.4 集合的覆盖与划分 3.5 笛卡尔积 3.1集合的基本概念 一些确定的、能区分的对象的全体是集合，通常用大写的英文字母表示。 组成集合的对象叫做集合的元素或成员，常用小写的英文字母表示。 集合的元素必须是确定的。所谓确定的，是指任何一个对象是不是集合的元素是明确的、确定的，不能模棱两可。 集合的元素又是能区分的，能区分的是指集合中的元素是互不相同的。如果一个集合中有几个元素相同，算做一个。例如集合?1,2,3,3?和?1,2,3?是同一集合。 3.1.1集合的表示法 集合有三种表示法。 第一种表示法是列举法：在花括号“??”中列举出该集合的元素，元素之间用逗号隔开。例如： I5=?1,2,3,4,5? S=?T,F? 第二种表示法是描述法：用谓词界定集合的元素。例如： Q=?x | x是有理数? A=?x | x ?I∧0＜x∧x＜5?若用P(x)表示x是有理数，那么Q又可表示为： Q=?x | P(x) ? 3.1.1集合的表示法 一般地说，集合可用描述法表示为： S=?x | A(x) ? 其中，A(x)是谓词 在离散数学中，认为自然数是由0 开始的，即 N=?0,1,2,3, …? 我们把这种由0 开始的自然数集叫做扩展的自然数集。离散数学中使用扩展的自然数集。 具有有限个元素的集合叫有限集，否则叫无限集。有限集元素的个数称为该集合的基数，也叫集合的势。有限集A的基数记为|A|。如：设 A=?a,b,c?，A 是有限集，A的基数|A|=3。 3.1.2子集和集合的相等 定义3.1.1 设A，B是任意的集合，当A的每一元素都是B的元素时，则称A是B的子集，也称A包含在B内或B包含A。记为A?B或B?A。 当A不是B的子集时，记为A ? B。 A?B用谓词公式表示为：A?B?(?x)(x?A→x?B) A ? B用谓词公式表示为： A?B?(?x)(x?A∧x?B) 集合的包含有下列性质： ①自反性。即对任意集合A，A?A。 ②传递性。即对任意集合A、B、C，当A?B和B?C 时，A?C。 3.1.2子集和集合的相等 定义3.1.2 设A，B是集合，如果A?B且B?A，则称A与B相等。记为A=B。如果A与B不相等，记为A≠B。 集合相等也可用谓词公式表示为： A=B?A?B∧B?A ?(?x)(x?A→x?B)∧(?x)(x?B→x?A) ?(?x)(x?A?x?B) 集合相等有下列性质： ①自反性: 即对任意集合A，A=A。 ②对称性: 即对任意集合A、B，当A=B时，B=A。 ③传递性: 即对任意集合A、B、C，当A=B和B=C时，A=C。 3.1.2子集和集合的相等 定义3.1.3 设A，B是集合，如果A?B且A≠B，则称A是B的真子集。记为A?B。如果A不是B的真子集，记为A?B。 真子集用谓词公式表示为： A?B?A?B∧A≠B ?(?x)(x?A→x?B)∧(?x)(x?B∧x?A) 例如：设 A=?a?，B=?a,b?，C=?a,b,c? 则 A?B，B?C，A?C A?A 3.1.2子集和集合的相等 定义3.1.4 不包含任何元素的集合叫空集。记为?。 空集可以表示为： ?=?x | P(x)∧?P(x) ? 其中，P(x)为任意谓词 空集?是不包含任何元素的集合，所以，|?|=0。 定理3.1.1 空集是任意集合的子集。证明：设A是任意集合。对任意对象x，由空集的定义知， x??为假， 由条件联结词的定义知，x??→x?A为真。 根据全称推广规则有 (?x)( x??→x?A)为真， 故??A 3.1.2子集和集合的相等 一般地说，任意集合A至少有两个子集，一个是空集?，另一个是它本身A。 推论 空集是惟一的。证明：设有两个空集?1和?2，由定理3.1.1有?1??2和?2??1，根据集合相等的定义知，?1=?2。 3.1.3幂集合 定义3.1.5 设A是集合，A的所有子集构成的集合称为A的