关系性质离散数学.pptVIP

离散敖学 Discrete Mathematics 2/25/2019 Discrete Math huang liujia  第七章 元关系 71有序对与笛卡儿积 72二元关系 73关系的运算 74关系的性质 75关系的闭包 76等价关系与划分 77偏序关系 2/25/2019 Discrete Math huang liujia  §71有序对与笛卡尔积 定义71由两个元素x和y(允许x=y)按一定顺序排列成的二 元组叫做一个有序对,记为x,y。 注:有序对的性质 1.当x≠y时,x,y≠y,x 2.x,y=u,v的充分必要条件是x=u且y=v。 定义7.2设A,B是集合。由A中元作为第一元素,B中元作为第 二元素组成的所有有序对的集合,称为集合A与B的笛卡尔积, 记为AXB。即A×B={x,yx∈A∧y∈B}e 2/25/2019 Discrete Math huang liujia  §71有序对与笛卡尔积 注:笛卡尔积的性质 1.A×Φ=①,d×A=①; 2.A×B≠B×A,除非A=或B=西或A=B 3.(A×B)×C≠A×(B×C),除非A=西或B=①或C=① 4.A×(B∪C)=(A×B)∪(A×C); (B∪C)xA=(B×A)∪(C×A); A×(BC(A×B)∩(4XC); (BC×A=(B× An(CXA); 5.(ACCA(BCD)=(A)C(CXD). 2/25/2019 Discrete Math huang liujia  §71有序对与笛卡尔积 例证明A×(BUC)=(A×B)∪(A×C) 证:任取xy: X,y∈A×(BUC)分x∈A∧ye∈(BUC) ∈A∧(y∈B∨y∈C 台(X∈A∧yeB)V(x∈A∧y∈C) ∈AXB)V(x,y X,y∈(A×B)U(A×C) A×(BUC)=(A×B)∪(AxC) 例72设A={1,2},求P(A)×A。 解:P(A)×A O,(1},{2},{1,2}}×{1,2} ={0,1,0,2,{1},1,{1},2,{2},1, {2},2,{1,2},1,{1,2,2 25/2019 Discrete Math huang liujia 5  §71有序对与笛卡尔积 例7.3设A,B,C,D为任意集合,判断下列命题是否为真。 (1)A×B=AXC→B=C (2)A-(BXC)=(A-B)X(A-C) (3)(A=B)∧C=D)→AXC=BXD (4)存在集合A,使AcA×A 解:(1)不一定为真,当A=①,B={1},C={2,3}时,便不真。 (2)不一定为真,当A=B=(1},C=(2时, A(B×C={1}{1,2}={1},而(A-B)X(AC=Φ×{1}=Φ (3)为真。等量代入。 (4)为真。当A=①时,使AcA×A 2/25/2019 Discrete Math huang liujia  §72二元关系 基本概念 定义7.3如果一个非空集合的元素都是有序对,则称该集合为一个二 元关系。特别地,空集也是一个二元关系。 注:对一个二元关系R,如果x,y∈R,则记为xRy; 如果xygR,则记为xRy 定义7.4设A,B为集合,AXB的任何子集所定义的二元关系称为从A 到B的二元关系。特别地,当A=B时,称为A上的二元关系。 定义7.5对任何集合A (1)称空集Φ为A上的空关系。 (2)A上的全域关系EA={X,y|x∈A∧y∈A}=A×A (3)A上的恒等关系I={Xxx∈A} 2/25/2019 Discrete Math huang liujia  §72二元关系 关系的表达方式 1.集合表达式:列出关系中的所有有序对。 例74设A={1,2,3,4},试列出下列关系R的元素。 (1)R={Xyx是y的倍数} 2)R={x,y(x-y)2∈A} 3)R={X,yxy是素数} (4)R={x2yA (5)R={xy(xy∈A)∧(xy)} 解:(1)R={4,4,4,2,4,1,3,3,3,1,2,2,2,1,1,1} (2)R={2,13,2,4,3,3,1,4,22,4,1,3,3,4,2,31,2} 3)R={2,1,3,1,4,2} (4)R=EA1={1,21,3,1,4,2,1,2,3,2,4, 3,1,3,2,3,4,4,1,42,4,3} (5)R={1,2,1,3,1,4,2,3,2,4,3,4} 2/25/2019 Discrete Math huang liujia  §72二元关系 2.关系矩阵法: 设A={x1