离散数学4.1-205094.pptVIP

第4章 二元关系与函数 4.1 集合的笛卡儿积与二元关系 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义和性质 4.7 函数的复合和反函数 4.1 集合的笛卡儿积和二元关系 有序对 笛卡儿积及其性质 二元关系的定义 二元关系的表示 有序对 定义 由两个元素 x 和 y（允许 x=y），按照一定的顺序组成的二元组称为有序对（也称序偶），记作x,y，其中x是它的第一元素,y是它的第二元素。 实例：点的直角坐标(3,?4) 注:有序对是讲究次序的,例＜1,3＞和＜3,1＞是表示平面上两个不同的点,这与集合不同,{1,3}和{3,1}是两个相等的集合。从而有两个性质。 有序对性质 有序对性质 有序性 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 (n?3) 元组 x1, x2, …, xn 是一个 有序对，其中第一个元素是一个有序 n-1元组，即 x1, x2,