[理学]第六章集合代数.ppt

开复课件网 第二部分 集合论 主要内容 集合的基本概念 属于、包含 幂集、空集 文氏图等 集合的基本运算 并、交、补、差等 集合恒等式 集合运算的算律、恒等式的证明方法 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) 或者 A?B =( A?B) –(A?B ) 定义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. 文氏图法 2. 包含排斥原理 定理6.2 设集合S上定义了n条性质，其中具有第 i 条性质的 元素构成子集Ai, 那么集合中不具有任何性质的元素数为 实例 例2 求1到1000之间（包含1和1000在内）既不能被5和6整 除，也不能被8整除的数有多少个？ 实例 方法二 |S| = 1000 |A|=?1000/5?=200, |B|=?1000/6?=166, |C|=?1000/8?=125 |A?B| = ?1000/lcm(5,6)? = ?1000/30? = 33 |A?C| = ?1000/lcm(5,8)? = ?1000/40? = 25 |B?C| = ?1000/lcm(6,8)? = ?1000/24? = 41 |A?B?C| = ?1000/lcm(5,6,8)? = ?1000/120? = 8 = 1000?(200+166+125)+(33+25+41)?8 = 600 6.3 集合恒等式 集合算律 1．只涉及一个运算的算律： 交换律、结合律、幂等律 集合算律 2．涉及两个不同运算的算律： 分配律、吸收律 集合算律 3．涉及补运算的算律： DM律，双重否定律 集合算律 4．涉及全集和空集的算律： 补元律、零律、同一律、否定律 集合证明题 证明方法：命题演算法、等式置换法 命题演算证明法的书写规范 (以下的X和Y代表集合公式) (1) 证X?Y 任取x， x?X ? … ? x?Y (2) 证X=Y 方法一 分别证明 X?Y 和 Y?X 方法二 任取x，x?X ? … ? x?Y 注意：在使用方法二的格式时，必须保证每步推理都是充 分必要的 集合等式的证明 方法一：命题演算法 例3 证明A?(A?B) = A （吸收律） 证 任取x, x