上海复旦大学赵一鸣离散数学三.pptVIP

2.4 Operations on Relations 1.Inverse relation Definition 2.13: Let R be a relation from A to B. The inverse relation of R is a relation from B to A, we write R-1, defined by R-1= {(b,a)|(a,b)?R} Theorem 2.1：Let R,R1, and R2 be relation from A to B. Then (1)(R-1)-1=R; (2)(R1∪R2)-1=R1-1∪R2-1; (3)(R1∩R2)-1=R1-1∩R2-1; (4)(A×B)-1=B×A; (5)?-1=?; Theorem 2.2：Let R be a relation on A. Then R is symmetric if only if R=R-1. Proof: (1)If R is symmetric, then R=R-1。 R?R-1 and R-1?R。 (2)If R=R-1, then R is symmetric For any (a,b)?R, (b,a)??R 2.Composition Definition 2.14: Let R1 be a relation from A t