离散数学_集合与关系_关系.ppt

离 散 数 学第三章集合与关系—关系 主讲教师：信息技术系 吴 旭 联系电话电子邮箱：tsx-wuxu@163.com 因为  所以 于是 (2) 若 ，则 ； ， 则 ， 即为若 中 ,则 中 若 中 ，则 中 。这说明 是 的转置矩阵。 根据 的关系矩阵。 于是 （3）因为 ，所以 对任意 ，只要 属于 、 、 、中任何一个关系，则 ， 于是 于是 2. 利用关系图求 的闭包 例8 对例7中的关系 ，利用关系图求其闭包。 ρ的关系图 r(ρ) 的关系图 t(ρ)的关系图 S(ρ)的关系图 练习3-8 1. 从下列各题给出的备选答案中选出正确的答案，并将其代号填入题后面的括号内。 (1) 设A={0,1,2,3}，A上的关系ρ={(0,0),(0,2),(1,1),(1,3),(2,2),(2,0),(3,1)}，则ρ是 自反的 B. 对称的 C. 反对称的 D. 可传递的 ( ) B （2) 设ρ是整数集I上的关系，定义为当且仅当 时 ， ，则ρ是 自反的 B. 对称的 C. 反对称的 D. 可传递的 ( ) A、B 2. 下图给出了{1,2,3}上三个关系的关系图，试对每一个图所表示的关系的性质作出判别，并将选中的性质的代号填入相应的括号内。  若 A. 自反的 B. 对称的 C. 反对称的  D. 可传递 E. 反自反 则 是（ ） 则 是（ ） 则 是（ ） A﹑B A E 3. 设 ，A上的关系 对下列求出的闭包判断正确与否，分别将“Y”或“N”填入后面的括号。 （ ） （ ） （ ） N Y N 等价关系 一、等价关系的定义 1. 等价关系 定义3-25 集合A上的关系ρ，如果它是自反的，对称的，且可传递的，则称ρ是A上的等价关系。 例如 数的相等关系是任何数集上的等价关系。 又例如 一群人的集合中姓氏相同的关系也是等价关系。 但朋友关系不是等价关系，因为它不可传递。 例1 设A是任意集合，则A上的恒等关系和普遍关系UA均是A上的等价关系。 例2 设 ，A上的关系 ρ是A上的等价关系。 2. 元素a与b等价 设ρ是集合A上的等价关系，若元素aρb ，则称a与b等价，或称b与a等价。 3. 等价类 定义3-26 设ρ是集合A上的等价关系，则 A 中等价于元素 a 的所有元素组成的集合称为 a 生成的等价类，用 表示，即 例如 对于例2中的ρ来说 1. 对任意 , 二、等价类的性质 因为对于任意的a∈A,有aρa，所以 。 2. 对任意的a,b∈A 若 aρb ，则 。 由ρ的对称性有xρa ， 证明 若 ，则aρx ， 又由ρ的传递性有xρb ，因此 故 。 类似地可以证明 由上得 3. 对任意a,b∈A，若 ，则 证明（用反证法） 假设 , 则A中至少有一元素 因此 且 ， 即xρa，且xρb, 于是由aρx,xρb，得aρb， 故 与 相矛盾。 定理3-4 设 是由A到B的关系， 是由B到C的关系， 是由C到D的关