《离散数学课件》5性质闭包.pptVIP

*/55 例4 证明(2) rt(R)＝tr(R) rt(R)=t(R)∪△A 而 tr(R)＝t(R∪△A) ＝ ＝(R∪△A)∪(R∪△A)2∪(R∪△A)3 ∪┅ ＝(R∪△A)∪(R2∪R∪△A)∪(R3∪R2∪R∪△A) ∪┅ ＝t(R)∪△A ＝rt(R). ∞ i=1 ∪(R∪△A)i 分配率? (R∪△A)2=R2∪R∪△A 设R1、R2、R都是A上的二元关系, 则有 (R1∪R2) ° R=(R1 ° R) ∪(R2 ° R) R °(R1∪R2) =(R ° R1) ∪(R ° R2) */55 例4 证明(3) st(R) ?ts(R) 因为s(R)?R，所以 t(s(R))?t(R) 又因为t(s(R))有对称性(对称关系的传递闭包仍对称), 即t(s(R))是包含了t(R)的对称关系， 所以 t(s(R))是包含了t(R)的对称闭包s(t(R)) 即有 s(t(R)) ?t(s(R)) 即 st(R) ?ts(R) ts(R) ≠ st(R)的反例: R＝{(1,2)} t(R)＝{(1,2)} st(R)＝{(1,2), (2,1)} 而 s(R)＝{(1,