离散数学—第四章二元关系和函数.pptVIP

例题 设偏序集A,?的哈斯图如图4.10所示,求出集合A的偏序?. 解 A = {a,b,c,d,e,f,g,h} ? = {a,c,a,d,a,e,b,c,b,d,b,e,c,e,d,e,f,g}?IA. 由哈斯图可以看出全序集是一条直线. a b c d e f g h 最小元,最大元,极小元,极大元 定义4.20:设A,?为偏序集,B?A. 若?y?B,使得?x(x?B?y?x)成立,则称y是B的最小元; 若?y?B,使得?x(x?B?x?y)成立,则称y是B的最大元; 若?y?B,使得?? x(x?B?xy)成立,则称y是B的极小元. 若?y?B,使得?? x(x?B?yx)成立,则称y是B的极大元. 例题:说出最大/小元和极大/小元 a b c d e f g h 1 7 11 9 3 6 12 2 4 8 5 10 ? {c} {a} {b} {b,c} {a,b} {a,c} {a,b,c} {1,2,...,12},R整除 P({a,b,c}),R? 上界,下界,最小上界,最大下界 定义4.21:设A,?为偏序集,B?A. 若?y?A,使得?x(x?B?x?y)成立,则称y是B的上界; 若?y?A,使得?x(x?B?y?x)成立,则称y是B的下界; 令C={y|y为B的上界},则称C的最小元为B最小上界,或上确界. 令C={y|y为B的下界},则称C的最大元为B最大下界,或下确界. 例题:说出上界/下界等 a b c d e f g h 1 7 11 9 3 6 12 2 4 8 5 10 ? {c} {a} {b} {b,c} {a,b} {a,c} {a,b,c} {1,2,...,12},R整除 P({a,b,c}),R? 谢谢! 例题（２） 设A为非空集合，A上的关系可以是对称的，反对称的，或则两者都是,两者都不是． A={1,2,3} R4 = {1,2,2,1,3,3}(对称) 　 R5 = {1,2,1,3}(反对称) 　 R6 = {1,1}(两者都是) R7= {1,2,2,1,1,3}(两者都不是) 性质 自反/反自反 自反关系包含着恒等关系.即IA?R. 反自反关系R一定与IA不交,即IA ? R=? 如果IA ? R? ? 且IA ?R,则两者都不是. 对称/反对称 A上的对称关系满足R-1=R. 反对称关系满足R?R-1 ?IA. 如果两者都是R ? IA 传递 满足RoR ? R 例题(3) 判断下面关系的性质 1 2 3 1 2 3 1 2 3 关系演算后的性质 自反性 反自反性 对称性 反对称性 传递性 R-1 ? ? ? ? ? R1?R2 ? ? ? ? ? R1? R2 ? ? ? ? ? R1-R2 ? ? ? ? ? R1oR2 ? ? ? ? ? 运算 原有性质 证明(1) 设R1,R2为A上的对称关系,证明R1?R2也是A上的对称关系. 证明:对任意的x,y, x,y? R1?R2 ?x,y?R1?x,y?R2 ? y,x?R1?y,x?R2 ? y,x?R1 ? R2 证明(2) R1,R2是A上的反对称关系,则R1?R2不一定是A上的反对称关系,例如A={x1,x2},R1={x1,x2},R2={x2,x1}. R1?R2 = {x1,x2, x2,x1}. 内容提纲 集合的笛卡尔积与二元关系 关系的运算 关系的性质 关系的闭包 等价关系和偏序关系 函数的定义和性质 函数的复合和反函数 自反闭包,对称闭包,传递闭包 定义4.11: 设R是非空集合A上的关系,R的自反闭包(对称闭包或传递闭包)是A上的关系R’,且R’满足以下条件: R’是自反的(对称的或传递的); R?R’; 对A上的任何包含R的自反关系(对称或传递关系)R’’都有R’ ?R’’. 一般将R的自反闭包记作r(A),对称闭包s(A),传递闭包t(A) 例题 例4.10 设A = {a,b,c,d},R={a,b,b,a,b,c,c,d},则R和r(A),s(A),t(A)的关系图如下: a b c d a b c d a b c d a b c d R r(R) s(R) t(R) 定理 定理4.4:设R为非空集合A上的关系,则有 r(R) = R?R0; s(R) = R ?R-1; t(R) = R ?R2 ?R3 ?.... 求各种闭包 R={a,b,b,a,b,c,c,d},求r(A),s(A),t(A) r(A) = R?R0 = {a,b,b,a,b,c,c,d} ?{a,a,b,b,c,c,d,d}={a,b,b,a,b,c,c,d,a,a,b,b,c,c,d,d}