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

第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上的等