第3章二元关系.pptVIP

思考题关系的性质对于复合运算和逆是否保持封闭？即自反（反自反、对称、反对称、传递）关系的复合关系和逆关系是否仍是自反（反自反、对称、反对称、传递）的？反对称传递对称反自反自反R1-1R1?R2R1,R2反对称不反对称传递不传递对称不对称反自反不反自反自反自反第61页，共121页，星期日，2025年，2月5日3.3关系上的闭包运算例1。2。。31。2。。31。2。。31。2。。3第62页，共121页，星期日，2025年，2月5日定义3.3―2设R是A上的二元关系,若有A上的关系R′,满足：R?R’R’是自反的(对称的、传递的)对于任何A上自反(对称、传递)的关系R”,如果R?R”,就有R’?R” 则称R’是R的自反(对称、传递)闭包。记作r(R)、(s(R)、t(R))(reflexive、symmetric、transitive)R的自反(对称,传递)闭包是包含R并且具有自反(对称,传递)性质的最小关系第63页，共121页，星期日，2025年，2月5日闭包的性质定理3.3―4设R是集合A上的二元关系R是自反的当且仅当r(R)=RR是对称的当且仅当s(R)=RR是传递的当且仅当t(R)=R证明(a)：充分性显然 必要性：由闭包的定义R?r(R) 又R?R，且R是自反的 根据闭包的极小性，有r(R)?R 则r(R)=R第64页，共121页，星期日，2025年，2月5日闭包的计算定理3.3-5~3.3-7设R是非空集A的关系,则r(R)=R∪IAs(R)=R∪R-1 证明(1):设R′=R∪IA. 显然,R′是自反的，且R′?R. 假设R″是A上的自反关系且R″?R. 因R″是自反的,所以R″?IA,又R″?R, 所以R″?R∪IA=R′ 所以,R′=r(R).证毕第65页，共121页，星期日，2025年，2月5日 证明(2):设R′=R∪R-1 (i)显然R?R′ (ii)又(R∪R-1)-1=R-1∪R=R∪R-1 ∴R′是对称的 (iii)假设R″是A上的对称关系且R?R″ 则R-1?R″-1 ∴R′=R∪R-1?R″ 综上，s(R)=R′=R∪R-1第66页，共121页，星期日，2025年，2月5日 证明(3):令R’=R∪R2∪R3∪..., （只需证明t(R)?R’且R’?t(R)） (i)先证t(R)?R’(利用闭包的极小性) 显然R?R’ (再证明R’是传递的) ?x,y,z?A,设有x,y?R’,y,z?R’, 由R’定义得必存在整数i,j使得 x,y?Ri,y,z?Rj,则 x,z?Ri+j?R’,所以x,z?R’,∴R’传递 由闭包的极小性可得t(R)?R’ (ii)再证R’?t(R) ∵R?t(R) ∴R2?t2(R)?t(R) 则R3=R2R?t2(R)t(R)?t2(R)?t(R)… 这个过程可以一直进行下去，即得Ri?t(R) ∴R’?t(R) 综合(i)(ii)R’=t(R)第67页，共121页，星期日，2025年，2月5日例整数集合I上的关系＜的自反闭包是≤,对称闭包是关系≠,传递闭包是关系＜自身整数集合I上的关系≤的自反闭包是自身,对称闭包是全域关系,传递闭包是自身≠的自反闭包是全域关系,对称闭包是≠,≠的传递闭包是全域关系空关系的自反闭包是恒等关系,对称闭包和传递闭包是自身设R是I上的关系,xRy当且仅当y=x+1,那么t(R)是关系＜第68页，共121页，星期日，2025年，2月5日定理3.3―8设R是n元有限集A上的关系,则存在自然数k≤n，使得 证明：显然 只需证 ?a,b?A,若a,b?t(R),则存在自然数p使得a,b?Rp, 即存在序列x1,x2,…,xp-1满足 aRx1,x1Rx2,…,xp-1Rb 若满足上述条件的最小p值大于n，则由于A是有限集， ∴必存在s,t使得xs=xt，其中0≤stp， 因此可得到 aRx1,x1Rx2,…,xsRxt+1,…,xp-1Rb 即a,b?Rp-(t-s),与p是最小的假设矛盾第69页，共121页，星期日，2025年，2月5日例A={1,2,3}，A上关系R1,R2,R3,如下：R1={1,2,1.3,3,2