离散数学 第四章 二元关系和函数.pptVIP

第4章 二元关系与函数 4.1 集合的笛卡儿积与二元关系 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义和性质 4.7 函数的复合和反函数 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 有序 n 元组 定义 一个有序 n (n?3) 元组 x1, x2, …, xn 是一个 有序对，其中第一个元素是一个有序 n-1元组，即 x1, x2, …, xn = x1, x2, …, xn-1, xn 当 n=1时, x 形式上可以看成有序 1 元组. 实例 n 维向量是有序 n元组. 笛卡儿积 笛卡儿积的性质 性质的证明 例题 二元关系的定义 从A到B的关系与A上的关系 A上重要关系的实例 A上重要关系的实例（续） 实例 例如 A = {1, 2, 3}, B ={a, b}, 则 LA