离散数学第2章关系解析.ppt

A = {张三, 李四, 王五}; B = {英语, C语言, 离散数学, 数据结构, 汇编语言}; C = {优, 良, 合格, 不合格}. Chapter 2 关系 世间万物都存在着联系—哲理. 在信息科学中,数据与数据之间总存在一定的关系. 借助于集合可以给出刻划这种联系的数学模型. 关系这些内容对今后学习数据结构以及数据库等很多课程都是很重要的. 我们不以个别特殊关系为研究对象,而是关注关系的一般特性. 2.2 关系的运算—集合运算 讨论关系的运算是为了从已知的关系得出新的关系. 例 设A={a,b,c},集合A上的关系R={(a,b),(b,c),(c,a)}，试计算Rn(n为正整数)。 解：R1={(a,b),(b,c),(c,a)} R2={(a,c),(b,a),(c,b)} R3={(a,a),(b,b),(c,c)}=IA R4=R3 R=IA R=R R5=R4 R=R3 R2=R2 当n=3k时，Rn= IA 当n=3k+1时，Rn= R 当n=3k+2时，Rn=R2 2.3 关系的性质 前面定义的关系是一般的关系,但在实际问题中,我们感兴趣的是具有某种或同时具有某几种特殊性质的关系. 设R是集合A上的关系, 常见的关系的性质有5种, 分别介绍如下. 2.4 关系的闭包 通过关系的一些运算可以得到新的关系. 对于A上的关系R, 希望R具有某些有用的性质,如自反性. 若R不具有自反性,通过在R中添加一些有序对使其变成自反关系, 这样也可以得到一些新的A上的关系. 2.5 等价关系 在实际应用时，具有某几种性质的关系是有用的. 等价关系是一种非常重要的特殊关系，它是相等关系“=”、全等关系“?”等的一种推广.等价关系基于某种观点将不同的事物看成是同一类，例如研究整数时，基于能否被2整除观点将整数分为奇数和偶数两类，进而有“奇数加偶数是奇数”的结论. 等价关系以及根据它对集合进行划分是粗糙集理论的基础, 粗糙集理论是智能信息处理的重要方法之一. 2.6 相容关系 在实际问题中, 两个事物具有某种共同的性质, 但与等价关系不同的是这种共性可能不具有传递性. 例 设A = {set, logic, algebra, graph}, R = {(x, y)|x, y ? A, x 和 y有相同的字母}, 试验证R具有自反性和对称性,但不具有传递性. (set, algebra) ? R, (algebra, graph) ? R, 但(set, graph) ? R. 2.7 偏序关系 在解决实际问题时, 我们常依据某个标准对事物进行比较, 同时按这个标准对两个事物之间的先后进行排序. 在计算机科学中, 对数据进行排序是十分有意义的工作. 偏序关系是最基本、最常用的一种序关系, 它本质上是两实数之间的小于等于关系“?”的一种推广. 本节在偏序的基础上, 介绍偏序集中的特殊元素. 3. 传递闭包t(R) Def 设R ? A ? A, 称最小的包含R的传递关系为R的传递闭包, 记为t(R). t(R)满足3个条件: (1)包含R； (2)传递性； (3)最小性. 例 设A = {a, b, c}, R = {(a, b), (b, c), (b, a)}, 求t(R). 解 t(R) = {(a, b), (b, c), (b, a), (a, c), (a, a), (b, b)}. 3. 传递闭包t(R) Remark 由于(a, b), (b, c) ? R, 要保证传递必须添加(a, c), 但仅添加(a, c)是不够的. 因为{(a, b), (b, c), (b, a), (a, c)}不传递. 根据(a, b)和(b, a), 还要加(a, a); 根据(b, a)和(a, b), 还要加(b, b), 这时{(a, b), (b, c), (b, a), (a, c), (a, a), (b, b)}传递了. 传递闭包t(R) 的关系图? 3. 传递闭包t(R) 例: A = {a, b, c, d} R = {(a, b), (b, c), (c, d)} t(R)={(a, b), (b, c), (c, d), (a, c), (b, d), (a, d)} 3. 传递闭包t(R) Theorem Theorem (1) (2) (3) Remark 关系的闭包运算与其他运算之间的联系 Theorem (1)R自反, 则r(R), s(R)及t(R)自反. (2)R对称, 则r(R), s(R)及t(R)对称. (3)R传递, 则r(R), t(R)传递, s(R)不一定传递.