离散数学配套电教案第六章.(周).ppt

第二部分 集合论 主要内容 集合的基本概念 属于、包含 幂集、空集 文氏图等 集合的基本运算 并、交、补、差等 集合恒等式 集合运算的算律、恒等式的证明方法 6.1 集合的基本概念 1. 集合定义 集合没有精确的数学定义 理解：由离散个体构成的整体称为集合（Set），称这些个体为集 合的元素（Element） 常见的数集：N, Z, Q, R, C 等分别表示自然数、整数、有 理数、实数、复数集合 元素与集合 集合与集合 集合与集合之间的关系：?, =, ?, ?, ?, ? 定义6.1 A ? B ? ?x ( x?A ? x?B )（Subset） 定义6.2 A = B ? A ? B ? B ? A 定义6.3 A ? B ? A ? B ? A ? B （Proper Subset） A ? B ? ?x ( x?A ? x?B ) 思考：? 和 ? 的定义 注意 ? 和 ? 是不同层次的问题 空集、全集和幂集 1．定义6.4 空集 ? （Empty Set）：不含有任何元素的集合 实例： { x | x?R ? x2+1=0 } 定理6.1 空集是任何集合的子集。 证 对于任意集合A， ??A ? ?x (x???x?A) ?T (恒真命题) 推论 ?是惟一的 6.2 集合的运算 初级运算 集合的基本运算有 定义6.7 并 （Union） A?B = {x | x?A ? x?B} 交 （Intersection） A?B = {x | x?A ? x?B} 相对补（Difference） A?B = {x | x?A ? x?B} 定义6.8 对称差（Symmetric Difference） A?B = (A?B)?(B?A) 定义6.9 绝对补（Complement） ?A = E?A 文氏图 几点说明 并和交运算可以推广到有穷个集合上，即 A1 ? A2 ? … ? An = { x | x?A1? x?A2 ? …? x?An} A1 ? A2 ? … ? An = { x | x?A1 ? x?A2 ? … ? x?An} A ? B ? A?B = ? A?B = ? ? A?B = A 广义运算 1. 集合的广义并与广义交 定义6.10 广义并（Generalized Union） ?A = { x | ?z ( z?A ? x?z )} 广义交（Generalized Intersection） ? A= { x | ?z ( z?A ? x?z )} 实例 ?{{1}, {1,2}, {1,2,3}}={1,2,3} ?{{1}, {1,2}, {1,2,3}}={1} ?{{a}}={a}， ?{{a}}={a} ?{a}=a， ?{a}=a 关于广义运算的说明 2. 广义运算的性质 (1) ??=?，??无意义 (2) 单元集{x}的广义并和广义交都等于x (3) 广义运算减少集合的层次（括弧减少一层） (4) 广义运算的计算：一般情况下可以转变成初级运算 ?{A1, A2, … , An}=A1?A2?…?An ?{A1, A2, … , An}=A1?A2?…?An 3. 引入广义运算的意义 可以表示无数个集合的并、交运算，例如 ?{{x} | x?R}=R 这里的 R 代表实数集合. 运算的优先权规定 1 类运算：初级运算?, ?, ?, ?， 优先顺序由括号确定 2 类运算：广义运算和?运算， 运算由右向左进行 混合