离散数学第三章集合论-2nd.pptxVIP

1/34 第三章 集合论 回顾 集合的定义 集合的描述 内涵与外延 集合的基数 集合间的关系 相等 包含、真包含 全集 补集 子集、幂集 集合的交并运算 2/34 3/34 三、差分运算（集合的补） 定义：设A,B是两个集合，所有属于A而不属于B的元素组成的集合，称为A和B的差集或B对A的相对补集。记作A- B 绝对补集： B对E的相对补集叫做绝对补集，简称补集，记作~ B A B A - B 4/34 三、差分运算（集合的补） 例：设A是小于10的素数集合，B是奇数集合，求A-B。 解：A={2,3,5,7} B={1,3,5,7,9} A-B={2} 5/34 三、差分运算（集合的补） 集合的差分运算还具有如下性质： 6/34 三、差分运算（集合的补） 定理3.2-4：设A,B为任意两个集合，则下列关系式成立。 7/34 三、差分运算（集合的补） 定理3.2-5：设A,B为任意两个集合，则下列关系式成立。 8/34 三、差分运算（集合的补） 定理3.2-6：设A,B,C为任意三个集合，则下列关系式成立。 证： 9/34 三、差分运算（集合的补） 10/34 四、对称差分运算 定义：设A、B为任意两个集合。属于A但不属于B的所有元素和属于B 但不属于A的所有元素的并集，称为A和B的对称差集，记作 。 例如：A={1,2,3} B={3,2,4} 则 ={1,4} 11/34 四、对称差分运算 集合的对称差分运算满足如下性质： 12/34 四、对称差分运算 13/34 四、对称差分运算 14/34 四、对称差分运算 上述证明结果可以通过以下文氏图清楚看出。 15/34 3.3集合定律 16/34 3.3集合定律 17/34 3.3集合定律 18/34 3.3集合定律 证明: (39) 转化为假设 为假，证明 为假。 由 为假可知， 和 均 __为假，即 并且 为真，也就是 为真，使得 为假。 19/34 3.4包含排斥原理 集合的运算，可用于有限个元素的技术问题。 设A1,A2是有限集合，用|A1|,|A2|分别表示它们的基数，那么可以推出： 20/34 3.4包含排斥原理 定理3.4-1：设A1,A2是有限集合，|A1|,|A2|为其基数，则 21/34 3.4包含排斥原理 例：假设在10名青年中有5名是工人，7名是学生，其中兼具有工人与学生双重身份的青年有三名，问既不是工人又不是学生的青年有几名？ 解：设工人的集合为W，学生的集合为S，则根据题设应有： 因此既不是工人又不是学生的青年有1人 22/34 3.4包含排斥原理 包含排斥原理在三个有限集和上的推广： 23/34 3.4包含排斥原理 例：某工厂装配30辆汽车，可供选择的设备是收音机﹑空气调节器和对讲机。已知其中15辆 汽车有收音机﹑8辆有空气调节器，6辆有对讲机，而且其中有3辆这三种设备都有。我们希望知道有几辆汽车没有提供任何设备。 解：设A1，A2和A3分别表示配有收音机﹑空气调节器和对讲机的汽车集合，因此由题设知 因为 得 24/34 3.4包含排斥原理 把包含排斥原理推广到n个集合。 定理3.4-2：设A1,A2,…,An为n个有限集合，它们的基数分别为|A1|,|A2|,…,|An|，可得： 25/34 3.4包含排斥原理 例：求1到250之间能被2，3，5和7中任何一个整除的整数个数。 解：设A1表示1到250之间能被2整除的整数集合，A2表示能被3整除的整数集合，A3表示能被5整除的整数集合，A4表示能被7整除的整数集合。x 表示小于或等于x的最大整数。 26/34 3.4包含排斥原理 于是有 27/34 3.5多重序元与迪卡尔乘积 定义：由两个具有固定次序的客体组成的序列，称序偶，记作x,y。 一、序偶 {2,3}={3,2} 28/34 一、序偶 序偶的相等： 序偶a,b中，a称为第一元素，b称为第二元素。两个元素不一定来自同一个集合，他们可以代表不同类型的事务。 29/34 二、多重序元 定义：n重序元是一个序偶，它的第一元素是(n-1)重序元。 3重序元：x,y,z，简单记作x,y,z n重序元：x1,x2,…,xn-1,xn n重序元的相等： 30/34 三、迪卡尔乘积 定义：设A和B是任意两个集合。若序偶的第一个元素是A的一