4.3-4关系的性质.pptVIP

4.3 关系的性质;;自反性与反自反性;实例;对称性与反对称性;实例;传递性 ;实例;关系性质的充要条件;实例;自反性证明;对称性证明;反对称性证明;传递性证明;运算与性质的关系;4.4 关系的闭包;闭包定义;闭包的构造方法;（3）t(R)＝R∪R2∪R3∪… ;再证t(R)?R∪R2∪…成立，为此只须证明R∪R2∪…是传递的。 任取x,y,y,z，则 y,z∈R∪R2∪… ∧ x,y∈R∪R2∪… ? ?t(y,z∈Rt) ∧ ?s(x,y∈Rs) ? ?t?s(y,z∈Rt ∧ x,y∈Rs) ? ?t?s(x,z∈Rt ? Rs) ? ?t?s(x,z∈Rt+s) ? x,z∈R∪R2∪… 从而证明了R∪R2∪…是传递的。 ;推论 设R为有穷集A上的关系，则存在正整数r 使得 t(R)=R∪R2∪…∪Rr ;闭包的构造方法（续）;闭包的构造方法（续）;实例;R={a,b,b,a,b,c,c,d,d,b}, r(R) = R∪R0 ={a,b,b,a,b,c,c,d,d,b}∪{a,a,b,b,c,c,d,d} ={a,b,b,a,b,c,c,d,d,b,a,a,b,b,c,c,d,d} s(R)= R∪R?1 ={a,b,b,a,b,c,c,d,d,b}∪{b,a,a,b,c,b,d,c, b,d} } ={a,b,b,a,b,c,c,d,d,b ,c,b,d,c,b,d} t(R) = R1∪R2∪R3∪R4 ={a,b,b,a,b,c,c,d,d,b}∪{a,a,a,c,b,b,b,d, c,b,d,a,d,c}∪{a,b,a,d,b,a,b,b,b,c,c,a, c,c,d,b,d,d} ∪{a,a,a,b,a,c,,b,a,b,b,b,c, b,d,c,b,c,d,d,a,d,b,d,c} ={a,a,a,b,a,c,a,d,b,a,b,b,b,c,b,d,c,a, c,b,c,c,c,d,d,a,d,b,d,c,d,d} ; M r= Ms= Mt=;定理7.11 设R是非空集合A上的关系， 则 （1）R是自反的当且仅当r(R)＝R。 （2）R是对称的当且仅当s(R)＝R。 （3）R是传递的当且仅当t(R)＝R。