清华离散数学(第2版)：4.1-2.pptVIP

第4章 关系 第4章 关系 4.1 关系的定义及其表示 4.2 关系运算 4.3 关系的性质 4.4 等价关系与偏序关系 4.1 关系的定义及其表示 4.1.1 有序对与笛卡儿积 4.1.2 二元关系的定义 4.1.3 二元关系的表示 有序对 定义4.1 由两个元素，如x和y，按照一定的顺序 组成的二元组称为有序对，记作 x,y 实例：点的直角坐标 (3,?4) 有序对的性质 有序性 x,y?y,x （当x? y时） x,y与u,v相等的充分必要条件是 x,y=u,v ? x=u ? y=v 例1 2,x+5=3y?4,y，求 x, y. 解 3y?4=2, x+5=y ? y=2, x= ?3 笛卡儿积 笛卡儿积的性质 有序 n 元组和 n 阶笛卡尔积 二元关系的定义 实例 例3 (1) R={x,y | x,y?N, x+y3} ={0,0, 0,1, 0,2, 1,0, 1,1, 2,0} (2) C={x,y | x,y?R, x2+y2=1}，其中R代表实数集合， C是直角坐标平面上点的横、纵坐标之间的关系， C中的所有的点恰好构成坐标平面上的单位圆. (3) R={x,y