离散数学–3–2集合的运算.pptVIP

第三章 集合与关系 3-2 集合的运算 授课人：李朔 Email:chn.nj.ls@ 集合的运算 以给定的集合为对象,按照确定的规则得到另一些集合。 集合的另一种表示法是文氏图（Venn Diagram）。人们常用文氏图描述集合运算和它们之间的关系。集合的文氏图画法如下： 用矩形表示全集E，在矩形中画一 些圆表示其它集合，不同的圆代表不同 的集合。如果没有特别说明，任何两个 圆彼此相交。例如，A?B的文氏图如图 一、交 P87 定义3-2.1 设A，B是集合，由A与B的公共元素组成的集合，称为A和B的交集，记为A∩B。 A∩B=?x |x?A∧x?B? 交集的定义如图右图所示。 从交集的定义可以得到： A∩B?A，A∩B?B 例1 例2 例3 及性质P87 *如果A与B无公共元素，即A∩B=?，则称A和B是互不相交的。 例如，令A=?a,b,c?，B=?d,e?，则A∩B=?，A和B是互不相交的。 一、并 P88 定义3-2.2 设A，B是任意的集合，由A中的元素或B中的元素组成的集合，称为A和B的并集，记为A∪B。 A∪B=?x |x?A∨x?B? 并集的定义如右图所示。 并集的定义可以得到： A?A∪B，B?A∪B P88 例题 集合并运算性质 定理3-2.1 3-2.2 三、补（差） P90 定义3-2.3 设A，B是集合，属于A的而不属于B的元素组成的集合，称为B对于A的补集，也叫B对于A的相对补集。记为A-B。 A-B=?x |x?A∧x?B? A-B也称集合A和B的差 相对补集定义如右图所示。 例如，令A=??,????，B=?，则 A-B=??,????-?=??,???? 又如，令C=?a?，D= ?a,b?，则 C-D =?a?-?a,b?=? C-C= ? P90 例题3、4 四、绝对补 定义3-2.4 设A是集合，A对于全集E的相对补集，称为A的绝对补，记为~A。 ~A=E-A=?x |x?E∧x?A?=?x | x?A? ~A的定义如图所示。 例如，令全集E=?1,2,3,4?，A= ?1,2,3?，则 ~A=?1,2,3,4?-?1,2,3?=?4? P90 绝对补运算性质 四、绝对补 例设A,B是任意的集合，求证: A-B= A∩(~B) 证明： x?A-B?x?A∧x?B?x?A∧x?~B? x?A∩~B 即 A-B? A∩~B。 x?A∩~B?x?A∧x?~B?x?A∧x?B?x?A-B 故 A∩~B?A-B 所以，A-B= A∩(~B)。 A-B=A∩(~B)是一个重要的公式，在集合的运算中经常用到，它的意义在于将相对补运算转换绝对补和交运算。 P91 定理3-2.5 设A、B为任意两个集合，则下列关系式成立： a)A-B= A∩~B b)A-B=A-(A∩B) P91定理3-2.6 交运算对差运算的分配 P91 定理3-2.7 五、对称差 五、对称差 例 设A,B是任意的集合，求证: A? B=(A-B)∪(B-A)=(A∩~B)∪(B∩~A)。 证明：先证A?B=(A-B)∪(B-A)。 x?A? B?(x?A) (x?B) ?((x?A)∧?(x?B))∨(?(x?A)∧(x?B)) ? (x?A∧x?B)∨(x?A∧x?B) ? x?A-B∨x?B-A ? x?(A-B)∪(B-A) 所以，A? B=(A-B)∪(B-A)。 再证(A-B)∪(B-A)=(A∩~B)∪(B∩~A)。 很容易得到此结论，这里从略。 五、对称差 利用例3.7中的公式可以证明对称差A ? B下列的性质。 设A,B是任意的集合。 ①A? A= ? 证明：A? A=(A-A)∪(A-A) =? ? ?=? ②A? ? = A 证明：A? ?=(A-?)∪(?-A)=A∪? =A