MicrosoftOffice用户-集合论.ppt

集合论 一、本部分的主要内容 集合代数----集合的概念和基本运算 关系----二元关系的表示、运算、性质、特殊的关系 函数----函数定义、性质、运算 二、本部分的基本要求 掌握集合及其相关的基本概念 熟练掌握集合以及关系、函数的基本运算 了解和使用基本的证明方法 集合论 另一个德国数学家蔡梅罗（ERNST ZERMELO）于1908年建立了集合论的公理系统，由这个公理系统，他推出了很多数学上的重要结果。他的公理使数学哲学中产生的一些矛盾基本上得到统一，在此基础上形成了公理化集合论和抽象集合论 集合论 集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证 集合论 集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证 集合论 集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证 第六章 集合代数 主要内容 集合的基本概念----属于、包含、幂集、空集等 集合的基本运算----并、交、补、差等 集合恒等式----集合运算的算律、恒等式的证明方法 与后面各章的关系 是集合论后面各章的基础 第二节：集合的运算与集合恒等式 6.2 集合的运算 运算的优先权规定： 一类运算：广义运算、幂集、绝对补运算，运算由右向左进行 二类运算：并、交、相对补、对称差运算，优先顺序由括号决定 一类运算优先于二类运算 例 A={{a},{a,b}}，则 ??A?(??A???A) = ?{a,b}?(?{a,b}??{a}) = (a?b)?((a?b)?a) = (a?b)?(b?a) = b 作业 8 12 14 30 46（1），（2），（6） * * * * * * * * * * * * * 例： 证明A－B＝A ? ～B 证：对任意的x， x∈(A－B) ? x∈A ∧ x ?B ? x∈A ∧ x ∈～B ? x∈ A ? ～B 所以A－B＝A ? ～B 6.3 集合恒等式 例： 如果A ? B和C ? D，那么(A∪C) ?(B∪D) 证明：设x是属于(A∪C)的任意元素， 那么x∈A ∨ x∈C，现分情况证明： 如果x∈A，因为A ? B，所以x∈B 所以x∈ B∪D； 如果x∈C，因为C ? D，所以x∈D 所以x∈ B∪D 因此，如果x∈ A∪C，那么x∈ B∪D 所以有 (A∪C) ?(B∪D) 6.3 集合恒等式 证明： A∪B=B? A ? B ? A ∩B =A ? A-B= ? 证明:先证A∪B=B ? A ? B。对任意x， x?A ? x?A ∨ x? B ? x?A∪B ?x?B 所以A ? B 再证A ? B ? A ∩B =A ，显然A ∩B ? A ， 对任意x， x?A ? x?A ∧ x? A ? x?A ∧ x? B ?x?A ∩B 所以A ∩B =A 6.3 集合恒等式 再证：A ∩B =A ? A-B= ? A－B＝ A ∩～B ＝(A ∩B ) ∩～B ＝A ∩(B∩～B)= ? 再证： A-B= ? ? A∪B=B 因为(A-B)∪B=A∪B,而A-B= ? ? A∪B=B 6.3 集合恒等式 6.3 集合恒等式 证明： A?B = A?C ? A?B = A?C ? B = C 解题思路 分析命题：含有3个命题： A?B = A?C , A?B = A?C, B = C ① ② ③ 证明要求 前提：命题①和② 结论：命题③ 证明方法： 恒等式代入 反证法 利用已知等式通过运算得到新的等式 6.3 集合恒等式 方法一：恒等式代入 B = B?(B?A) = B?(A?B) = B?(A?C) = (B?A)?(B?C) = (A?C)?(B?C) = (A?B)?C = (A?C)?C = C 方法二：反证法 假设 B ? C，则存在 x (x?B且x?C), 或