离散数学 第七章的课件.ppt

第七章 二元关系 主要内容 有序对与笛卡儿积 二元关系的定义与表示法 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 7.1 有序对与笛卡儿积 定义7.1 由两个元素 x 和 y(允许x = y)，按照一定的顺序组成的二元组称为有序对或序偶，记作x,y. 其中，x是它的第一个元素，y是它的第二个元素。 有序对的性质: (1) 有序性 x,y?y,x （当x?y时） (2) x,y与u,v相等的充分必要条件是 x,y=u,v ? x=u?y=v. 注意：区别二元集{x,y}与有序对x,y 例7.1 已知x+2,4=5,2x+y，求x和y。 解 由有序对相等的充要条件有x+2=52x+y=4解得x=3,y=-2。 笛卡儿积 定义7.2 设A,B为集合，用A中元素为第一元素，B中元素为 第二元素构成有序对.所有这样的有序对组成的集合叫做 A与B的笛卡儿积,记作A?B. 笛卡儿积的符号化表示为: A?B = {x,y| x?A?y?B}. 笛卡儿积的性质 (1) 若 A 或 B 中有一个为空集，则 A?B 就是空集. A?? = ??B = ? (2) 不适合交换律 A?B ? B?A (当A?B ? A?? ? B??时