关系的闭包等价关系-南京大学计算机科学与技术系.PDF

关系的闭包、等价关系 离散数学－集合论 南京大学计算机科学与技术系 回顾  关系：笛卡尔积的子集  函数的定义  关系的运算  子集的像  集合运算；复合运算；逆  单射与满射  0-1矩阵运算  反函数  关系的性质  自反，反自反，对称，反对  函数的复合 称，传递  函数加法与乘法  图特征；矩阵特征 提要  闭包的定义  闭包的计算公式  传递闭包的Warshall算法  等价关系  等价类  划分 “闭包” 青色框满足： 一个对象 橘黄色圈满足： １．是正方形的（性质） １．是圆的（性质） ２．包含所给对象 ２．包含所给对象 ３．如果有个红色正方形 ３．如果有个绿色圆也能 也能包含该对象，就 包含该对象，就一定 一定也能包含这个青 也能包含这个橘黄圈 色框 关系的闭包：一般概念  设R是集合A上的关系，P是给定的某种性质（如： 自反、对称、传递），满足下列所有条件的关系R 1 称为R的关于P的闭包:  RR 1  R 1 满足性质P  如果存在集合A 上的关系R’，R’ 满足性质P 并包含R ，则 R R ’ 1  自反闭包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I , I 是集合A 上的恒等关系 A A (证明所给表达式满足自反闭包定义中的三条性质) 1. 对任意x A , (x ,x) I , 因此, (x ,x) RI A A 2. RRIA 3. 设R ’ 集合A 上的自反关系，且RR’, 则对 任意(x ,y ) RI , 有(x ,y ) R, 或者(x ,y ) I 。 A A 对两种情况，均有(x ,y ) R’, 因此, RI R’