大连理工大学软件学院离散数学第三章集合论2nd(免费阅读).ppt

*/34 */34 三、迪卡尔乘积 可见 */34 三、迪卡尔乘积 定理：设有A,B,C三个集合，则 */34 n个集合的迪卡尔乘积 定义：集合A1,A2,…,An的笛卡尔乘积可以表示成 集合A的笛卡尔乘积 记作A2 ,类推 如果所有的集合Ai都是有限集合，则他们笛卡尔乘积的基数为： */34 作业 53页5，6，7（4),8,9，11 57页3，4,5 59页1，2，3，5 */34 第三章 集合论 回顾 集合的定义 集合的描述 内涵与外延 集合的基数 集合间的关系 相等 包含、真包含 全集 补集 子集、幂集 集合的交并运算 */34 */34 三、差分运算（集合的补） 定义：设A,B是两个集合，所有属于A而不属于B的元素组成的集合，称为A和B的差集或B对A的相对补集。记作A- B 绝对补集： B对E的相对补集叫做绝对补集，简称补集，记作~ B A B A - B A ~A */34 三、差分运算（集合的补） 例：设A是小于10的素数集合，B是奇数集合，求A-B。 解：A={1,2,3,5,7} B={1,3,5,7,9} A-B={2} 例：设U=I (I是整数集合) 解： */34 三、差分运算（集合的补） 集合的差分运算还具有如下性质： A ~A */34 三、差分运算（集合的补） 定理3.2-4：设A,B为任意两个集合，则下列关系式成立。 */34 三、差分运算（集合的补） 定理3.2-5：设A,B为任意两个集合，则下列关系式成立。 证明: (b) 设 ，即 且 ，因为 则必有 ，故有 ，即为 。 设 ，则 且 ，即 且 或者 ，显然只能 与 成立。即 。 */34 三、差分运算（集合的补） 定理3.2-6：设A,B,C为任意三个集合，则下列关系式成立。 证： 因此， */34 三、差分运算（集合的补） */34 四、对称差分运算 定义：设A、B为任意两个集合。属于A但不属于B的所有元素和属于B 但不属于A的所有元素的并集，称为A和B的对称差集，记作 。 例如：A={1,2,3} B={3,2,4} 则 ={1,4} A B E */34 四、对称差分运算 集合的对称差分运算满足如下性质： A B E */34 四、对称差分运算 */34 四、对称差分运算 */34 四、对称差分运算 上述证明结果可以通过以下文氏图清楚看出。 E A B C B A C E */34 3.3集合定律 */34 3.3集合定律 */34 3.3集合定律 */34 3.3集合定律 证明: (39) 转化为假设 为假，证明 为假。 由 为假可知， 和 均 __为假，即 并且 为真，也就是 为真，使得 为假。 */34 3.4包含排斥原理 集合的运算，可用于有限个元素的技术问题。 设A1,A2是有限集合，用|A1|,|A2|分别表示它们的基数，那么可以推出： */34 3.4包含排斥原理 定理3.4-1：设A1,A2是有限集合，|A1|,|A2|为其基数，则 */34 3.4包含排斥原理 例：假设在10名青年中有5名是工人，7名是学生，其中兼具有工人与学生双重身份的青年有三名，问既不是工人又不是学生的青年有几名？ 解：设工人的集合为W，学生的集合为S，则根据题设应有： 因此既不是工人又不是学生的青年有1人 */34 3.4包含排斥原理 包含排斥原理在三个有限集和上的推广： */34 3.4包含排斥原理 例：某工厂装配30辆汽车，可供选择的设备是收音机﹑空气调节器和对讲机。已知其中15辆 汽车有收音机﹑8辆有空气调节器，6辆有对讲机，而且其中有3辆这三种设备都有。我