第4章二元关系.pptVIP

第四章二元关系二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、数据结构、编译原理、软件工程数据库理论、计算理论、算法分析、操作系统等本章主要介绍：关系的概念及表示方法关系的性质关系的运算:关系的复合,逆关系,关系的闭包三种重要关系:等价关系，相容关系,次序关系4-1序偶与集合的笛卡尔积“序偶”概念以前已经用过。例如，用序偶表示平面直角坐标系中一个点(a,b)。设x表示上衣,y表示裤子,(x,y)可以表示一个人的着装。一.序偶与有序n元组1.定义:由两个对象x、y组成的序列称为有序二元组，也称之为序偶，记作x,y；称x、y分别为序偶x,y的第一，第二元素。注意，序偶x,y与集合{x,y}不同：序偶x,y：元素x和y有次序；集合{x,y}：元素x和y的次序是无关紧要的。2.定义：设x,y，u,v是两个序偶，如果x=u和y=v，则称x,y和u,v相等，记作x,y=u,v.3.定义:有序3元组是一个序偶,其第一个元素也是个序偶。有序3元组a,b,c可以简记成a,b,c。但a,b,c不是有序3元组。4.定义:有序n元组是一个序偶,其第一个元素本身是个有序n-1元组,记作x1,x2,?,xn-1,xn。且可以简记成x1,x2,?,xn-1,xn。5.定义：x1,x2,?,xn=y1,y2,·?,yn?(x1=y1)?(x2=y2)???(xn=yn)二.集合的笛卡尔积例如“斗兽棋”的16颗棋子:1.定义:设A、B是集合，由A的元素为第一元素，B的元素为第二元素组成序偶的集合，称为A和B的笛卡尔积，记作A×B，即A?B={x,y|x?A∧y?B}例1设A={0,1}，B={a,b}，求A?B，B?A，A?A。解：A?B={0,a,0,b,1,a,1,b}B?A={a,0,b,0,a,1,b,1}A?A={0,0,0,1,1,0,1,1}可见A×B≠B×A所以，集合的笛卡尔积运算不满足交换律。另外(A?B)?C={a,b,c|a,b?A?B?c?C}A?(B?C)={a,b,c|a?A?b,c?B?C},因a,b,c不是有序三元组,所以(A?B)?C?A?(B?C)。故?也不满足结合律。2.性质1)如果A、B都是有限集，且|A|=m,|B|=n，则|A?B|=mn.证明：由笛卡尔积的定义及排列组合中的乘法原理，直接推得此定理。2)A?Φ=Φ?B=Φ3)?对∪和∩满足分配律。设A,B,C是任意集合，则⑴A?(B∪C)=(A?B)∪(A?C)；⑵A?(B∩C)=(A?B)∩(A?C)；⑶(A∪B)?C=(A?C)∪(B?C)；⑷(A∩B)?C=(A?C)∩(B?C)证明⑴：任取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)所以⑴式成立。其余可以类似证明。4)若C??,则A?B?(A?C?B?C)?(C?A?C?B).证明:必要性：设A?B，求证A?C?B?C任取x,y?A?C?x?A?y?C?x?B?y?C(因A?B)?x,y?B?C所以,A?C?B?C.充分性：若C??,由A?C?B?C求证A?B取C中元素y,任取x?A?x?A?y?C?x,y?A?C?x,y?B?C(由A?C?B?C)?x?B?y?C?x?B所以,A?B.所以A?B?(A?C?B?C)类似可以证明A?B?(C?A?C?B).5)设A、B、C、D为非空集合，则A?B?C?D?A?C∧B?D.证明:首先,由A?B?C?D证明A?C∧B?D.任取x?A，任取y?B，所以x?A?y