11月8号离散数学.pptVIP

第4章 二元关系与函数 4.4 关系的闭包 4.5 等价关系和偏序关系 4.4 关系的闭包 闭包定义 闭包的构造方法 集合表示 矩阵表示 图表示 闭包定义 定义 设R是非空集合A上的关系, R的自反（对称或传递）闭包是A上的关系R?, 使得R?满足以下条件：（1）R?是自反的（对称的或传递的）（2）R?R?（3）对A上任何包含R的自反（对称或传递）关系 R?? 有 R??R??. 一般将 R 的自反闭包记作 r(R), 对称闭包记作 s(R), 传递闭包记作 t(R). 闭包的构造方法1.集合并运算 闭包的构造方法（续）2.利用关系矩阵 闭包的构造方法（续） 4.5 等价关系与偏序关系 等价关系的定义与实例 等价类及其性质 商集与集合的划分 等价关系与划分的一一对应 偏序关系 偏序集与哈斯图 偏序集中的特定元素 等价关系的定义 等价关系的验证 验证模 3 相等关系 R 为 A上的等价关系, 因为自反性 ?x∈A, 有x ≡ x(mod 3)对称性 ?x, y∈A, 若 x ≡ y(mod 3), 则有 y ≡ x(mod 3)传递性 ?x, y, z∈A, 若x ≡ y(mod 3), y ≡ z(mod 3), 则有 x≡z(mod 3) A上模3等价关系的关系图 等价类 等价类的性质 实例 A={ 1, 2, … , 8 }上模 3 等价关系的等价类： [1]=[4]=[7]={1,4,7}， [2]=[5]=[8]={2,5,8}， [3]=[6]={3,6} 以上3 类两两不交， {1,4,7}?{2,5,8}?{3,6} = {1,2, … ,8} 商集 集合的划分 例题 例1 设A＝{a, b, c, d}, 给定π1,π2,π3,π4,π5,π6如下：  π1= { {a, b, c}, {d} }， π2= { {a, b}, {c}, {d} } π3= { {a}, {a, b, c, d} }, π4= { {a, b}, {c} } π5= { ?,{a, b}, {c, d} }, π6= { {a, {a}}, {b, c, d} } 则π1和π2 是A的划分, 其他都不是 A 的划分. 为什么？ 等价关系与划分的一一对应 等价关系与划分之间的对应 实例 实例（续） 根据 x,y 的 x + y = 2,3,4,5,6,7,8 将A?A划分成7个 等价类： (A?A)/R={ {1,1}, {1,2,2,1}, {1,3, 2,2, 3,1}, {1,4, 2,3, 3,2, 4,1}, {2,4, 3,3, 4,2}, {3,4, 4,3}, {4,4} } 偏序关系 相关概念 相关概念（续） 覆盖：设R为非空集合A上的偏序关系, x, y∈A, 如果 x ? y且不存在 z?A 使得 x ? z ? y, 则称 y 覆盖x. 实例：{ 1, 2, 4, 6 }集合上的整除关系, 2 覆盖 1, 4 和 6 覆盖 2. 4 不覆盖 1. 偏序集与哈斯图 哈斯图实例 哈斯图实例（续） 偏序集的特定元素 特殊元素的性质 对于有穷集，极小元和极大元必存在，可能存在 多个. 最小元和最大元不一定存在，如果存在一定惟一. 最小元一定是极小元；最大元一定是极大元. 孤立结点既是极小元，也是极大元. 偏序集的特定元素(续) 特殊元素的性质 下界、上界、下确界、上确界不一定存在 下界、上界存在不一定惟一 下确界、上确界如果存在，则惟一 集合的最小元就是它的下确界，最大元就是它的上确界；反之不对. 实例 作业P114页 4.14 π1,π2和π3分别对应等价关系 R1, R2 和 R3.? R1={2,3,3,2}∪IA，R2={1,3,3,1}∪IA R3={1,2,2,1}∪IA π4 对应于全域关系 EA，π5 对应于恒等关系 IA 例3 设 A={1, 2, 3, 4}，在 A?A上定义二元关系R： x,y,u,v?R ? x+y = u+v， 求 R 导出的划分. 解 A?A={1,1, 1,2, 1,3, 1,