离散第1讲 集的概念、交并补差幂集.ppt

离散数学的特点与学习要求 特点 　　离散性 　　抽象性 　　逻辑性 　　有难度 要求 　　预习 　　　复习 　　　独立完成作业 -*- ξ第一讲 集合的概念、表示与基本运算 关于分配律和吸收率 分配律 a×(b + c) = a×b + a×c A∪(B∩C) = (A∪B) ∩ (A∪C) A∩(B∪C) = (A∩B) ∪ (A∩C) A∩(B－C) = (A∩B)－(A∩C) 一般而言，A∪(B－C) ≠ (A∪B)－(A∪C) 吸收律 A∩(A∪B) = A A∪(A∩B) = A -*- ξ第一讲 集合的概念、表示与基本运算 关于并、交、差、补运算的几个定理 定理1.6： A – (B∪C) = (A – B)∩(A – C) A – (B∩C) = (A – B)∪(A – C) 定理1.8： (A∪B)ˉ = Aˉ∩Bˉ (A∩B)ˉ = Aˉ∪Bˉ A – B = A∩Bˉ 证明 A – (B∩C) = (A – B)∪(A – C) 对任意x，x? A – (B∩C) ? x? A 且x? B∩C ? x? A 且(x?B或者x?C) ? (x?A且x?B)或者(x?A且x?C) ? x?A – B或者x?A – C ? x? (A – B)∪(A – C) -*- ξ第一讲 集合的概念、表示与基本运算 关于并、交、差、补运算的几个定理 定理1.10： A ? B，A – B = ?，A∪B =B，A∩B = A 四命题等价 定理1.11：对任意集合A、B，若它们满足 1) A∪B = U 2) A∩B = ? 那么B = Aˉ 证明：B = B∪? = B∪(A∩Aˉ) = (B∪A) ∩ (B∪Aˉ) = U ∩ (B∪Aˉ) = (A∪Aˉ) ∩ (B∪Aˉ) = (A∩B ) ∪ Aˉ = ? ∪ Aˉ = Aˉ 第二种证法：相互包含 -*- ξ第一讲 集合的概念、表示与基本运算 集合幂运算 定义1.6：我们把集合A的所有子集组成的集合称为A的幂集（power set），记成ρ(A)，即 ρ(A) = {x | x?A} 例： A={2, 4}, B={{4, 5}, 6, 7}, C= ? ρ(A), ρ(B), ρ(C) -*- ξ第一讲 集合的概念、表示与基本运算 幂集的性质 定理1.12：设A、B为任意集合， A?B 当且仅当ρ(A) ?ρ(B) 证明： 先证必要性。假设A?B，X是ρ(A) 中任一元素，则根据 ρ(A) 定义，X? A。由于A?B，所以X? B，从而X?ρ(B)。 因此ρ(A) ?ρ(B)。 再证充分性。假设ρ(A) ?ρ(B)，x是集合A中任一元素，则 {x} ? A，根据ρ(A) 定义，{x}?ρ(A) 。因为ρ(A) ?ρ(B)， 所以{x} ? ρ(B)，从而{x} ?B，进一步x ?B。因此A?B。 -*- ξ第一讲 集合的概念、表示与基本运算 集合恒等式的证明方法 集合恒等式的证明大体上可以分为以下几种情况： 根据外延公理利用自然语言叙述或等价式推演 利用已经得到证明的恒等式进行代换 利用前面的性质把恒等式的左边和右边都化成只含∪、∩、ˉ三种运算的式子，看右边是否等于左边 可以利用文氏图进行集合恒等式的验证 -*- ξ第一讲 集合的概念、表示与基本运算 本讲小结 主要内容 集合和元素的概念 集合的表示方法 外延公理、子集合 集合的并、交、差、补运算及相关性质 集合幂运算 作业 P6. 7、8 P15. 6（1）（2）、7、8 ξ第一讲 集合的概念、表示与基本运算 计算机专业基础课程 授课人：梁妍 PowerPoint Template_Sub 1.1 集合的概念与表示 1.2 集合运算 1.3 集合的归纳定义 PowerPoint Template_Sub