离散数学 元关系.ppt

第四章 二元关系 一、序偶与有序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,