集合论复习.（周）.ppt

第二部分 集合论 熟练掌握集合的两种表示法 能够判别元素是否属于给定的集合 能够判别两个集合之间是否存在包含、相等、真包含等关系 熟练掌握集合的基本运算（普通运算和广义运算） 掌握证明集合等式或者包含关系的基本方法 空集、全集和幂集 1．空集 ? （Empty Set）：不含有任何元素的集合 空集是任何集合的子集。 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 文氏图 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 注意：在使用方法二的格式时，必须保证每步推理都是充 分必要的 第二部分 集合论 熟练掌握关系的三种表示法 能够判定关系的性质（等价关系或偏序关系） 掌握含有关系运算的集合等式 掌握等价关系、等价类、商集、划分、哈斯图、偏序集等概念 计算A?B, dom R, ranR, fldR, R?1, R?S , Rn , r(R), s(R), t(R) 求等价类和商集A/R 给定A的划分?，求出? 所对应的等价关系 求偏序集中的极大元、极小元、最大元、最小元、上界、下界、上确界、下确界 掌握基本的证明方法 证明涉及关系运算的集合等式 证明关系的性质、证明关系是等价关系或偏序关系 关系的表示 1. 关系矩阵（Zero-One Matrices） 若A={x1, x2, …, xm}，B={y1, y2, …, yn}，R是从A到B的 关系，R的关系矩阵是布尔矩阵MR = [ rij ] m?n, 其中 rij = 1? xi, yj ?R. 2. 关系图（Directed Graph） 若A= {x1, x2, …, xm}，R是从A上的关系，R的关系图是GR=A, R, 其中A为结点集，R为边集. 如果xi,xj属于 关系R，在图中就有一条从 xi 到 xj 的有向边. 注意： 关系矩阵适合表示从A到B的关系或A上的关系（A,B为有穷集） 关系图适合表示有穷集A上的关系 实例 例4 A={1,2,3,4}, R={1,1,1,2,2,3,2,4,4,2}, R的关系矩阵MR和关系图GR如下： 7.4 关系的性质 定义7.11 设 R 为A上的关系, (1) 若 ?x(x∈A→x,x?R), 则称 R 在 A 上是自反（Reflective）的. (2) 若 ?x(x∈A→x,x?R), 则称 R 在 A 上是反自反（Antireflective）的. 关系性质成立的充要条件 定理7.9 设R为A上的关系, 则 (1) R 在A上自反当且仅当 IA ? R (2) R 在A上反自反当且仅当 R∩IA = ? (3) R 在A上对称当且仅当 R=R?1 (4) R 在A上反对称当且仅当 R∩R?1 ? IA (5) R 在A上传递当且仅当 R?R ? R 闭包定义 定义7.14 设R是非空集合A上的关系, R的自反(对称或传递)闭 包（Closure）是A上的关系R?, 使得R?满足以下条件： (1) R?是自反的(对称