离散数学 第2版 作者 王元元 离散第28讲 闭包及等价关系.ppt

第28讲 等价关系 闭包与等价关系 关系特性闭包 对本不具备某种特性的关系做最“经济”的扩充，使其具有这种特性。 定义：R是集合A上的二元关系，若R’满足下列条件，则称R’为R的自反闭包（对称闭包、传递闭包）： （1）R’自反（对称、传递） （2）R?R’ （3）对任意A上关系S，若S满足（1）（2），则R’ ? S R的自反闭包：r(R) R的对称闭包：s(R) R的传递闭包：t(R) 举例 关系特性闭包 定理：设R为集合A上的二元关系 r(R) = s(R) = 关系特性闭包 定理：设R为集合A上的二元关系 t(R) = 说明 若R为A上的二元关系，且|A| = n，则t(R) = 由闭包的最小性可知R自反（对称、传递）当且仅当R = r(R) （R = s(R)、R = t(R)） 关系特性闭包 定理：设R为集合A上二元关系 若R自反，则s(R)、t(R)均自反 若R对称，则r(R)、t(R)均对称 若R传递，则r(R)传递 关系特性闭包 定理：若R为A上的二元关系，那么 rs(R) = sr(R) rt(R) = tr(R) st(R) ? ts(R) 引言 等价关系 (equivalent relation) 定义：如果集合A上的关系R满足自反性、对称性、传递性，则称R为等价关系 等价类(equivalent class) 定义： 设R为集合A上的等价关系，对每一a?A，如下定义的[a]R（或简记为[a]）叫做a的等价类，a称为[a]R的代表元素 [a]R = {x | x?A∧xRa} 等价类 对任何集合A， EA有|A|个不同的等价类，每个等价类都是单元素集； 对任何集合A，A?A只有一个等价类A； 对每一元素a?A，任何A上的等价关系R，[a]R≠?，因为R自反，恒有a?[a] R； 同一等价类可以有不同的代表元素，即不同的元素可能有相同的等价类 等价类的性质 定理：设R是集合A上的等价关系，对任意a，b?A，aRb当且仅当[a]R = [b]R 等价类的性质 定理：设R是集合A上的等价关系，对任意a，b?A，或者[a]R=[b]R，或者[a]R∩[b]R＝? 等价类的性质 本讲小结 主要内容 关系特性闭包的概念 关系特性闭包的求取、性质 等价关系的定义：自反、对称、传递 等价类的概念及性质 作业 P184 18(2)(4)、25、30、32 * 理工大学指挥自动化学院 计算机专业基础课程 授课人：王元元 单位：计算机理论教研室 理工大学指挥自动化学院 在线教务辅导网： 教材其余课件及动画素材请查阅在线教务辅导网 QQ:349134187 或者直接输入下面地址： PowerPoint Template_Sub 1 二元关系 2 等价关系 3 序关系 《离散数学》第28讲 Page 168 to 174 设A={1, 2, 3, 4}，R是A上的关系 R={1,2, 2,3, 3,4} 求R的自反、对称、传递闭包 t(R) = 1,2 , 1,3 , 2,3 , 2,4 , 3,4 { , 1,4 } r(R) = { 1,2 , 2,3 , 3,4 , 1,1 , 2,2 , 3,3 , 4,4 } s(R) = { 1,2 , 2,3 , 3,4 , 2,1 , 3,2 , 4,3 } EA∪R R∪R~ a) ∵(R∪R~)~ = R~∪R~ ~ = R~∪R = R∪R~ ∴R∪R~对称 b) R ? R∪R~ c) 若有S满足以上两个条件，则对任意x,y?R~，由y,x?R，R ? S知y,x?S，又因为S对称，所以x,y?S。 由此，得R~ ? S，所以R∪R~ ? S 综上，s(R) = R∪R~ a) R ? b) 设x,y? ，y,z? ，则存在正整数i，j，使得x,y?Ri，y,z?Rj，所以x,z? Ri? Rj = Ri+j，从而x,z? 。所以传递。 c) 若有S满足以上两个条件，则只需证明对任一正整数n，均有Rn ? S。设x,y?Rn，则存在u1，u2，…，un=y?A，使得xRu1，u1Ru2，…，un-1Run。因为R ? S，所以xSu1,u1Su2,…,un-1Sun，又因为S传递，所以x,y?S。Rn ? S得证。从而 ? S。 综上，t(R) = ∵ R对称 ∴ R = R~ ∴ r(R) ~ = (EA∪R) ~ = EA~∪R~ = EA∪R= r(R) ∴ r(R)对称 又∵ 对任意自然数n，(Rn) ~ = (R~) n = Rn ∴ Rn对称 ∴ t(