离散数学-屈婉玲-教学课件ch7.pptVIP

第七章 二元关系 主要内容 有序对与笛卡儿积 二元关系的定义与表示法 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 7.1 有序对与笛卡儿积 定义7.1 由两个元素 x 和 y，按照一定的顺序组成的二元组 称为有序对，记作x,y. 有序对性质: (1) 有序性 x,y?y,x （当x?y时） (2) x,y与u,v相等的充分必要条件是 x,y=u,v ? x=u?y=v. 笛卡儿积 定义7.2 设A,B为集合，A与B的笛卡儿积记作A?B，且 A?B = {x,y| x?A?y?B}. 笛卡儿积的性质 (1) 不适合交换律 A?B ? B?A (A?B, A??, B??) (2) 不适合结合律 (A?B)?C ? A?(B?C) (A??, B??, C??) (3) 对于并或交运算满足分配律 A?(B?C) = (A?B)?(A?C) (B?C)?A = (B?A)?(C?A) A?(B?C) = (A?B)?(A?C) (B?C)?A = (B?A)?(C?A) (4) 若 A 或 B 中有一个为空集，则 A?B 就是空集.