离散数学第六章的课件.pptVIP

第二部分 集合论 主要内容 集合的基本概念 属于、包含 幂集、空集 文氏图等 集合的运算 有穷集的计数 集合恒等式 集合运算的算律、恒等式的证明方法 6.1 集合的基本概念 1. 集合定义 集合没有精确的数学定义 理解：由离散个体构成的整体称为集合，称这些个体为集 合的元素 常见的数集：N, Z, Q, R, C 等分别表示自然数、整数、有 理数、实数、复数集合 元素与集合 集合与集合 集合与集合之间的关系：?, ?, =, ?, ?, ?, ? 定义6.1 设A，B为集合，如果B中的每个元素都是A中的元素，则称B是A的子集合，简称子集。这时也称B被A包含，或A包含B，记作B ? A。如果B不被A包含，则记作B ? A。 符号化表示为：B ? A ? ?x ( x?B ? x?A ) B ? A ? ?x ( x?B ? x?A ) 例如N ? Z ? Q ? R ? C，但Z ? N。显然对任何集合A都有A ? A。 定义6.2 设A，B为集合，如果A ? B且B ? A，则称A与B相等，记作A＝B。 如果A与B不相等，则记作A≠B。符号化表示为： A = B ? A ? B ? B ? A 定义6.3 设A，B为集合，如果B ? A且B≠A，则称B是A的真子集，记作B ? A。如果B不是A的真子集，则记作B ? A。符号化表示为： B ? A ? B ? A ? B ? A 例如N ? Z ? Q ? R ? C，但N ? N。 注意： ? 和 ? 是不同层次的问题，如A={a,{a}}和{a} 空集、全集和幂集 定义6.4 空集 ? ：不含有任何元素的集合 符号化表示为： ? ={x | x ≠ x } 实例： { x | x?R ? x2+1=0 } 定理6.1 空集是任何集合的子集。 证 对于任意集合A， ??A ? ?x (x???x?A) ?1(恒真命题) 推论 ?是惟一的 证明：假设存在空集?1 和 ?2 ，由定理6.1有： ?1 ? ?2 和 ?2 ? ?1 根据集合相等的定义，有?1 = ?2 所以得出结论： ?是惟一的 。 空集、全集和幂集 含有n个元素的集合简称n元集，它的含有m（m≤n）个元素的子集叫做它的m元子集。任给一个n元集，怎样求出它的全部子集呢？ 空集、全集和幂集 6.2 集合的运算 初级运算 集合的基本运算有并，交，相对补和对称差 定义6.7 设A，B为集合，A与B的并集A∪B，交集A∩B，B对A的相对补集A－B分别定义如下： 并 A?B = {x | x?A ? x?B} 交 A?B = {x | x?A ? x?B} 相对补 A?B = {x | x?A ? x?B} 例如：A={a,b,c}，B={a}，C={b,d} A?B= {a,b,c}, A?B ={a}, A?B={b,c} , B-A= ?, B ? C= ? 若两个集合的交集为? ，则称这两个集合是不交的 6.2 集合的运算 定义6.8 设A，B为集合，A与B的对称差集A ? B定义为： 对称差 A?B = (A?B)?(B?A) 另一种定义是：A?B = (A?B) ?(A?B) 例如：A={a,b,c}，B={b,d},A?B ={a,c,d} 定义6.9 在给定全集E以后，A ? E，A的绝对补集～A定义如下： 绝对补 ?A = E?A = {x|x∈E∧x?A} = {x|x ? A} 例如：E＝{a，b，c，d}，A＝{a，b，c}，则～A＝{d}。 文氏图 几点说明 并和交运算可以推广到有穷个集合上，即 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 设A为集合，A的元素的元素构成的集合称为A的广义并，记为∪A