西安交大离散课件第2章.pptVIP

; ; ; ; ; ; ; ; ; ; ;定义3.前域(domain) 后域(codomain) 设A,B是两个非空集合，R ?A×B是一个从A到B的关系。则关系R的 　?前域：? (R) = { a : a ?A?(?b?B)(aRb)}?A ； 　?后域： ? (R) = { b : b?B?(?a?A)(aRb) }?B 。 例9 .设A={1,2,3,4} ，B={2,4,6,8,10} 。 R={(1,2),(2,4),(3,6)}。 ; ;定理2 . 设R1, R2 ? A×B是两个二元关系。则 (1)? (R1 ∪ R2) = ? (R1)∪? (R2) (2)? (R1 ∪ R2) = ? (R1)∪? (R2) (3)? (R1 ∩ R2) ? ?(R1)∩? (R2) (4)? (R1 ∩ R2) ? ? (R1)∩? (R2) [证].只证(1)， (3) (1)先证： ? (R1)∪? (R2) ? ? (R1 ∪ R2) (采用包含法) 　由于　R1 ? R1 ∪ R2， R2 ? R1 ∪ R2 ， 　依定理1，有 ? (R1) ? ? (R1∪R2)， ? (R2) ? ? (R1∪R2