月号离散数学.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