大连理工大学软件学院离散数学集合论2nd.pptxVIP

1/34第三章集合论第1页

回忆集合定义集合描述内涵与外延集合基数集合间关系相等包括、真包括全集补集子集、幂集集合交并运算2/34第2页

3/34三、差分运算（集合补）定义：设A,B是两个集合，所有属于A而不属于B元素构成集合，称为A和B差集或B对A相对补集。记作A-B绝对补集：B对E相对补集叫做绝对补集，简称补集，记作~BABA-BA~A第3页

4/34三、差分运算（集合补）例：设A是不不小于10素数集合，B是奇数集合，求A-B。解：A={1,2,3,5,7}B={1,3,5,7,9}A-B={2}例：设U=I(I是整数集合)解：第4页

5/34三、差分运算（集合补）集合差分运算还具有如下性质：A~A第5页

6/34三、差分运算（集合补）定理3.2-4：设A,B为任意两个集合，则如下关系式成立。第6页

7/34三、差分运算（集合补）定理3.2-5：设A,B为任意两个集合，则如下关系式成立。证实:(b)设，即且，因为则必有，故有，即为。设，则且，即且或者，显然只能与成立。即。第7页

8/34三、差分运算（集合补）定理3.2-6：设A,B,C为任意三个集合，则如下关系式成立。证：所以，第8页

9/34三、差分运算（集合补）第9页

10/34四、对称差分运算定义：设A、B为任意两个集合。属于A但不属于B所有元素和属于B但不属于A所有元素并集，称为A和B对称差集，记作。例如：A={1,2,3}B={3,2,4}则={1,4}ABE第10页

11/34四、对称差分运算集合对称差分运算满足如下性质：ABE第11页

12/34四、对称差分运算第12页

13/34四、对称差分运算第13页

14/34四、对称差分运算上述证明成果可以通过如下文氏图清晰看出。EABCBACE第14页

15/343.3集合定律第15页

16/343.3集合定律第16页

17/343.3集合定律第17页

18/343.3集合定律证明:(39)转化为假设为假，证明为假。由为假可知，和均__为假，即并且为真，也就是为真，使得为假。第18页

19/343.4包括排斥原理集合运算，可用于有限个元素技术问题。设A1,A2是有限集合，用|A1|,|A2|分别表达它们基数，那么可以推出：第19页

20/343.4包括排斥原理定理3.4-1：设A1,A2是有限集合，|A1|,|A2|为其基数，则第20页

21/343.4包括排斥原理例：假设在10名青年中有5名是工人，7名是学生，其中兼具有工人与学生双重身份青年有三名，问既不是工人又不是学生青年有几名？解：设工人集合为W，学生集合为S，则根据题设应有：因此既不是工人又不是学生青年有1人第21页

22/343.4包括排斥原理包括排斥原理在三个有限集和上推广：第22页

23/343.4包括排斥原理例：某工厂装配30辆汽车，可供选择设备是收音机﹑空气调整器和对讲机。已知其中15辆汽车有收音机﹑8辆有空气调整器，6辆有对讲机，并且其中有3辆这三种设备均有。我们但愿懂得有几辆汽车没有提供任何设备。解：设A1，A2和A3分别表达配有收音机﹑空气调整器和对讲机汽车集合，因此由题设知由于得第23页

24/343.4包括排斥原理把包括排斥原理推广到n个集合。定理3.4-2：设A1,A2,…,An为n个有限集合，它们基数分别为|A1|,|A2|,…,|An|，可得：第24页

25/343.4包括排斥原理例：求1到250之间能被2，3，5和7中任何一种整除整数个数。解：设A1表达1到250之间能被2整除整数集合，A2表达能被3整除整数集合，A3表达能被5整除