离散数学集合论部分研究报告.ppt

第二部分 集合与关系 对于从事计算机科学工作的人们来说，集合论是必不可少的基础知识。例如程序设计语言、数据结构、形式语言等都离不开子集、幂集、集合的分类等概念。集合成员表和范式在逻辑设计、定理证明中也都有重要应用。 本部分从集合的直观概念出发，介绍了集合论中的一些基本概念和基本理论。 集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。集合论总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。 集合论的特点是研究对象的广泛性，集合是各种不同对象的抽象，这些对象可以是数或图形，也可以使任意其它事务。 特别注意： ① 集合并不决定于它的元素展示方法。集合的元素被重复或重新排列，集合并不改变，即{a, a ,b, c, d, c}= { a, b, c, d}。 ②集合的元素可以是具体事物，可以是抽象概念，也可以是集体，如一本书，一支笔；集合{1,2,3}可以是集合B={一本书，一支笔，{1,2,3}} 的元素。特别地，以集合为元素的集合称为集合族或集合类如A={{1,2,3}, { 8,9,6}}。 ③集合中元素之间可以有某种关联，也可以彼此毫无关系。 几类特殊集合: N={0,1,2,3,···}，即自然数集合。 Z={···,-2,-1,0,1,2,3,···}，即整数集合。 Z+={1,2,3,···}，即正整数集合。 Q=有理数集合。 R=实数集合。 C=复数集合。 集合的包含关系也可表成 A?B?(?x)(x?A?x?B) 这表明，要证明A?B，只需对任意元素x，有下式 x?A?x?B成立即可。 注意： ?与{?}是不同的。 {?}是以?为元素的集合， 而?没有任何元素，能用?构成集合的无限序列： ?，{?}，{{?}}，··· 该序列除第一项外，每项均以前一项为元素的集合。 全集： 如果一个集合包含了所要讨论的每一个集合，则称该集合为全集，记为E 或 U。它可形式地表为 E ={x | P(x)??P(x)}。其中P(x)为任何谓词公式。 并 A?B = { x | x?A ? x?B }； 交 A?B = { x | x?A ? x?B }； 相对补 A?B = { x | x?A ? x?B }； 对称差 A?B = (A?B)?(B?A) = (A?B)?(A?B) ； 绝对补 ?A = E?A 。 并和交运算可以推广到有穷个集合上，即 A1?A2?…An= {x | x?A1?x?A2?…?x?An} A1?A2?…An= {x | x?A1?x?A2?…?x?An} 某些重要结果： ??A?B?A A?B ? A?B=? A?B=? ? A?B=A 集合的广义交和广义并 设S为集合，S的元素的元素构成的集合称为S的广义并，记为?S，其中 ?S={x??z(z?S?x?z}； 设S非空集合，S的元素的公共元素构成的集合称为S的广义交，记为?S，其中 ?S={x??z(z?S?x?z}。 说明： （1）规定? = ，? 无意义。 （2）若 ，则由定义不难证明 ?S= ?S= （3）并运算和广义并运算的运算符相同，但前者是二元运算， 后者是一元运算，因此在运算过程中不会对?产生误解。 例：设集合A={{a,b,c},{a,c,d},{a,c,e}}，求?A，?A，??A，??A，??A，??A。 解： ?A={a,b,c,d,e}； ?A={a,c}； ??A=a?b?c?d?e； ??A=a?c； ??A=a?c； ??A=a?b?c?d?e 。 优先级 一般地, 一元运算符(补集,幂集,广义并,广义交)优先于 二元运算符(差集,并集,交集,对称差,笛卡儿积)； 二元运算符优先于集合关系符(∈, ,＝, ) 。 此外,许多集合表达式里还使用到联结词,和逻辑关系符以及括号,我们规定: (1) 集合运算优先于逻辑运算； (2) 括号内优先于括号外； (3) 同一括号内,同一优先级按从左至右运算。 集合运算律 幂等律：A∪