关系闭包等价关系.pptVIP

* * * * * * * * * * * 商集即划分– 证明 不相等的等价类必然不相交。换句话说，有公共元素的任意两个等价类必然相等。 证明： 假设R(a)?R(b)??, 设c是一个公共元素。 根据等价类的定义，(a,c)?R, (b,c)?R 对任意x?R(a), (a,x)?R, 由R的传递性和对称性，可得(c,x)?R, 由此可知(b,x)?R, 即x?R(b), ?R(a)?R(b) 同理可得：R(b)?R(a)。因此: R(a)=R(b) 根据一个划分定义等价关系 A1 A6 A5 A4 A3 A2 A x y z 给定 A 上一个划分，可以如下定义A 上的等价关系 R : ?x,y?A, (x,y)?R 当且仅当: x,y 属于该划分中的同一块。 显然，关系 R 满足自反性、对称性、传递性。因此：R 是等价关系。 利用等价类解题： 证明： 从1,2,...,2000中任取1001个数，其中必有两个数x,y，满足x/y=2k。 (k为整数)。 想起鸽笼原理没？ 等价关系与划分：一个例子-解 建立1000个集合, 每个集合包括1至2000之间的一个奇数以及该奇数与2的k次幂的乘积, 但最大不超过2000。可以证明这1000个集合的集合是集合{1,2,3,..., 2000}上的一个划分。注意任意两个1到2000之间的正整数x,y在同一划分块中当且仅当x/y=2k。(k为整数)。 定义集合{1,2,3,..., 2000}上的一个关系R，任意x,y，xRy当且仅当x/y=2k。易证这是一个等价关系。其商集即上面的划分。 小结 闭包的定义 闭包的计算公式 传递闭包的Warshall算法 等价关系，等价类 商集，划分 作业 教材[8.4] p. 424-425：23, 28 教材[8.5] p. 430-434：15, 20, 35, 41, 54 * * * * * * * * * * * * * * * * * * * * * * * * “不失一般性，以a为例” 关系的闭包、等价关系 离散数学－集合论 南京大学计算机科学与技术系 回顾 关系：笛卡尔积的子集 关系的运算 集合运算；复合运算；逆 0-1矩阵运算 关系的性质 自反，反自反，对称，反对称，传递 图特征；矩阵特征 函数的定义 子集的像 单射与满射 反函数 函数的复合 函数加法与乘法 提要 闭包的定义 闭包的计算公式 传递闭包的Warshall算法 等价关系 等价类 划分 “闭包” 一个对象 橘黄色圈满足： １．是圆的（性质） ２．包含所给对象 ３．如果有个绿色圆也能　　　　　　　包含该对象，就一定也能包含这个橘黄圈 青色框满足： １．是正方形的（性质） ２．包含所给对象 ３．如果有个红色正方形也能包含该对象，就一定也能包含这个青色框 关系的闭包：一般概念 设R是集合A上的关系，P是给定的某种性质（如：自反、对称、传递），满足下列所有条件的关系R1称为R的关于P的闭包: R?R1 R1 满足性质P 如果存在集合A上的关系R’，R’ 满足性质P 并包含R，则R1?R’ 自反闭包r(R)、对称闭包s(R)、传递闭包t(R) 自反闭包的定义 设 R的是集合A上的关系，其自反闭包r(R)也是A上的关系，且满足： r(R)满足自反性； R ? r(R); 对A上的任意关系R’, 若R’也满足自反性，且也包含R，则r(R)?R’ 例子 令A={1,2,3}, R={(1,1), (1,3), (2,3), (3,2)}。则r(R)={(1,1), (1,3), (2,3), (3,2), (2,2), (3,3)}。 自反闭包的计算公式 r(R) = R?IA, IA是集合A上的恒等关系 (证明所给表达式满足自反闭包定义中的三条性质) 1. 对任意 x?A, (x,x)?IA, 因此, (x,x)?R?IA 2. R?R?IA 3. 设 R’ 集合A 上的自反关系，且R?R’, 则对 任意 (x,y)?R?IA, 有(x,y)?R, 或者 (x,y)?IA。 对两种情况，均有 (x,y)?R’, 因此, R?IA?R’ 对称闭包的计算公式 s(R) = R?R-1, 这里R-1是R的逆关系 s(R)是对称的。对任意 x,y?A, 如果 (x,y)?s(R), 则(x,y)?R 或者(x,y) ?R-1, 即(y,x) ?R-1, 或者 (y,x) ?R, ? (y,x)?s(R) R? s(R) 设R’是集合A上的对称关系, 并且R?R’, 则对任意(x,y)?s(R), 有(x,y) ?R, 或者(x,y) ?R-1. 情况1: (x,y) ?R, 则 (x,y) ?R’ 情况