离散数学ch07.pdfVIP

第七章 二元关系 主要内容  有序对与笛卡儿积  二元关系的定义与表示法  关系的运算  关系的性质  关系的闭包  等价关系与划分  偏序关系 1 7.1 有序对与笛卡儿积 定义7.1 由两个元素x 和y ，按照一定的顺序组成的二元组 称为有序对，记作x,y . 有序对性质: (1) 有序性 x,y y ,x （当xy 时） (2) x,y 与u,v相等的充分必要条件是 x,y =u,v  x=uy =v. 2 笛卡儿积 定义7.2 设A ,B为集合，A 与B 的笛卡儿积记作A B ，且 A B = {x,y | x Ay B}. 例1 A={1,2,3}, B={a,b,c} A B ={1,a,1,b,1,c,2,a,2,b,2,c,3,a,3,b,3,c} BA ={a,1,b,1,c,1,a,2,b,2,c,2,a,3,b,3,c,3} A={}, B= P(A)A = {,, {},} P(A)B =  3 笛卡儿积的性质 (1) 不适合交换律 A B  BA (AB, A, B) (2) 不适合结合律 (A B)C A (BC) (A, B, C) (3) 对于并或交运算满足分配律 A (BC) = (A B)(A C) (BC)A = (BA)(CA) A (BC) = (A B)(A C) (BC)A = (BA)(CA) (4) 若A 或B 中有一个为空集，则A B 就是空集. A  = B =  (5) 若|A | = m, |B | = n, 则|A B | = mn 4 性质证明 证明A (BC) = (A B)(A C) 证 任取x,y x,y ∈A ×(B ∪C) x ∈A ∧y ∈B ∪C x ∈A ∧(y ∈B ∨y ∈C)  (x ∈A ∧y ∈B) ∨(x ∈A ∧y ∈C)  x,y ∈A ×B ∨x,y ∈A ×C  x,y ∈(A ×B) ∪(A ×C) 所以有A ×(B ∪C) = (A ×B) ∪(A ×C). 5 实例 例2 (1) 证明A=B,C=D A C=BD (2) A C = BD是否推出A=B,C=D ? 为什么？ 解(1) 任取x,y x,y A C x Ay C x By D  x,y BD (2) 不一定.反例如下： A={1}，