离散数学第六章集合代数.pptVIP

第二部分 集合论 第七章 二元关系（重点） 第六章 集合代数 主要内容 6.1 集合的基本概念 属于、包含、幂集、空集、文氏图等 6.2 集合的基本运算 集合的初级运算：并、交、相对补、绝对补、对称差 集合的广义并与广义交 有穷集合元素的计数 6.3 集合恒等式 集合运算的算律、恒等式的证明方法 6.1 集合的基本概念 1. 集合定义 集合没有精确的数学定义 理解：由离散个体构成的整体称为集合，称这些个体为集 合的元素 常见的数集：N, Z, Q, R, C 等分别表示自然数、整数、有 理数、实数、复数集合 元素与集合 集合与集合 集合与集合之间的关系：?, =, ?, ?, ?, ? 定义6.1 A ? B ? ?x ( x?A ? x?B ) 定义6.2 A = B ? A ? B ? B ? A 定义6.3 A ? B ? A ? B ? A ? B A ? B ? ?x ( x?A ? x?B ) 思考：? 和 ? 的定义 注意 ? 和 ? 是不同层次的问题 空集、全集和幂集 1．定义6.4 空集 ? ：不含有任何元素的集合 实例： { x | x?R ? x2+1=0 } 定理6.1 空集是任何集合的子集。 证 对于任意集合A，??A ? ?x (x???x?A) ?T (恒真命题) 推论 ?是惟一的 6.2 集合的运算 初级运算 集合的基本运算有 定义6.7 并 A?B = {x | x?A ? x?B} 交 A?B = {x | x?A ? x?B} 相对补 A?B = {x | x?A ? x?B} 定义6.8 对称差 A?B = (A?B)?(B?A) 定义6.9 绝对补 ?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 广义并 ?A = { x | ?z ( z?A ? x?z )} 广义交 ? 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 类运算：广义运算和?运算， 运算由右向左进行 混合运算：2 类运算优先于1 类运算 有穷集合元素的计数 1. 文氏图法 2. 包含排斥原理 定理6.2 设集合S上定义了n条性质，其中具有第 i 条性质的 的元素构成子集Ai, 那么集合中不具有任何性质的元素数为 实例 例2 求1到1000之间（包含1和1000在内）既不能被5和6整 除，也不能被8整除的数有多少个？ 实例 方法二 包含排斥原理 |S| = 1000 |A|=?1000/5?=20