离散数学-缓-44等价关系与偏序关系.pptVIP

课件 4.4 等价关系与偏序关系 4.4.1 等价关系 4.4.2 等价类和商集 4.4.3 集合的划分 4.4.4 偏序关系 4.4.5 偏序集与哈斯图 等价关系的定义与实例 模3等价关系的关系图 等价类 等价类的性质 性质的证明 性质的证明（续） 商集 集合的划分 等价关系与划分的一一对应 例 4 实例 偏序关系 相关概念 偏序集与哈斯图 哈斯图实例 哈斯图实例（续） 偏序集的特定元素 偏序集的特定元素(续) 实例 偏序集的特殊子集 定义4.30 设A,?为偏序集, B?A. (1) 如果?x,y?B，x与y都是可比的，则称B是A中的一条 链，B中的元素个数称为链的长度； (2) 如果?x,y?B，x?y，x与y都是不可比的，则称B是A 中的一条反链，B中的元素个数称为反链的长度. 实例：在偏序集{1,2,…,9},|中，{1,2,4,8}是长为4的 链，{1,4}是长为2的链，{2,3}是长为2的反链. 对于单元 集{2}，它的长度是1，既是链也是反链. 分解为反链 算法4.2 偏序集反链分解算法 输入：偏序集A 输出：A中的反链B1, B2, … 1．i?1 2．Bi?A 的所有极大元的集合（显然Bi是一条反链） 3．令A?A?Bi 4．if A?? 5． i?i+1 6． 转2 拓扑排序 算法4.3 拓扑排序 输入：偏序集A 输出：A中元素的排序 1. i?1 2. 从A中选择一个极小元 ai 作为最小元 3．A?A?{ai} 4．if A?? 5． i?i+1 6． 转2 实例 * 课件 课件 定义4.18 设R为非空集合上的关系. 如果R是自反的、对称的和传递的, 则称R为A上的等价关系. 设 R 是一个等价关系, 若x,y∈R, 称 x等价于y, 记做x～y.? 例1 设 A={1, 2, …, 8}, 如下定义 A上的关系R： R={x,y| x,y∈A∧x≡y (mod 3)}其中 x≡y (mod 3) 叫做 x与y 模3相等, 即 x 除以3的余数与 y 除以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={1, 2, …, 8},  R={ x,y| x,y∈A∧x≡y (mod 3) } R 的关系图如下： 课件 定义4.19 设R为非空集合A上的等价关系, ?x∈A，令 [x]R = { y | y∈A∧xRy } 称 [x]R 为x关于R 的等价类, 简称为 x 的等价类, 简记为[x].  实例 A={ 1, 2, … , 8 }上模 3 等价关系的等价类： [1]=[4]=[7]={1,4,7} [2]=[5]=[8]={2,5,8} [3]=[6]={3,6} 课件 定理4.8 设R是非空集合A上的等价关系, 则 (1) ?x∈A, [x] 是A的非空子集. (2) ?x, y∈A, 如果 xRy, 则 [x]=[y]. (3) ?x, y∈A, 如果 x y, 则 [x]与[y]不交. (4) ，即所有等价类的并集就是A.  课件 由等价类定义可知, ?x∈A有[x]?A. 由自反性有xRx，因此x∈[x], 即[x]非空. 任取z, 则有z∈[x] ? x,z∈R ? z,x∈R z,x∈R∧x,y∈R ? z,y∈R ? y,z∈R 从而证明了z∈[y]. 综上所述必有[x]?[y]. 同理可证[y] ? [x]. 这就得到了[x]=[y]. (3) 假设[x]∩[y]≠?, 则存在z∈[x]∩[y], 从而有 z∈[x]∧z∈[y], 即x,z∈R∧y,z∈R 成立. 根据R 的对称性和传递性必有x,y∈R, 与x y矛盾 课件 (4) 先证 . 任取y,  y∈ ? ?x (x∈A∧y∈[x]) ? y∈[x]∧[x]?A ? y∈A 从而有 . 再证A? . 任取y, y∈A ? y∈[y]∧y∈A ? y∈ 从而有A? 成立. 综上所述