第2章 关系~75CB3.ppt

Chapter 2 关系 世间万物都存在着联系.借助于集合可以给出刻划这种联系的数学模型 — 关系(Relation). 在信息科学中,数据与数据之间总存在一定的关系,关系这些内容对今后学习数据结构以及数据库等很多课程都是很重要的. 我们不以个别特殊关系为研究对象,而是关注关系的一般特性. 2.1 关系的概念 1. n元关系的定义 日常生活中存在各种各样的关系, 数学中也学习过很多关系. 引例(P33) A = {张三, 李四, 王五}; B = {英语, 数学实验, 离散数学, 数据结构, 汇编语言}; C = {优, 良, 合格, 不合格}. 2.2 关系的运算 讨论关系的运算是为了从已知的关系得出新的关系. 1.关系的集合运算 Remark 例2-17(P40) 2.3 关系的性质 前面定义的关系是一般的关系,但在实际问题中,我们感兴趣的是具有某种或同时具有某几种特殊性质的关系. 设R是集合A上的关系, 常见的关系的性质有5种, 分别介绍如下. 1. 自反(reflexive)性 2.4 关系的闭包 通过关系的一些运算可以得到新的关系. 对于A上的关系R, 希望R具有某些有用的性质,如自反性. 若R不具有自反性,通过在R中添加一些有序对使其变成自反关系, 这样也可以得到一些新的A上的关系. 1. 自反闭包r(R) 2.5 等价关系 在实际应用时，具有某几种性质的关系是有用的. 接下来的三节，我们分别介绍集合A上的等价关系、相容关系和序关系. 等价关系是一种非常重要的特殊关系，它是相等关系“=”、全等关系“?”等的一种推广.等价关系基于某种观点将不同的事物看成是同一类，例如研究整数时，基于能否被2整除观点将整数分为奇数和偶数两类，进而有“奇数加偶数是奇数”的结论. 等价关系以及根据它对集合进行划分是粗糙集(rough set)理论的基础, 粗糙集理论是智能信息处理的重要方法之一. 2.6 相容关系 在实际问题中, 两个事物具有某种共同的性质, 但与等价关系不同的是这种共性可能不具有传递性. 例2-52 设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 偏序关系 在解决实际问题时, 我们常依据某个标准对事物进行比较, 同时按这个标准对两个事物之间的先后进行排序. 在计算机科学中, 对数据进行排序是十分有意义的工作. 偏序关系是最基本、最常用的一种序关系, 它本质上是两实数之间的小于等于关系“?”的一种推广. 本节在偏序的基础上, 介绍偏序集中的特殊元素. Theorem 对于任意集合A, 集合A上的所有划分组成的集合X与其上的所有等价关系组成的集合Y是对等的. Proof (1)f是单射. (2)f是满射. 课堂 P63, 12. 若R1和R2是A上的等价关系, 则R1?R2是A上的等价关系, 问 作业 习题2.5 2, 4, 6, 8, 9. 相容关系就是对具有这种性质的事物进行的数学描述,根据它可以得出集合的覆盖. 1.相容关系 Def 2-20 设R ? A ? A, 若R具有自反性、对称性则称R为A上的相容关系. 等价关系?相容关系,但相容关系不一定是等价关系, 前例就是这方面的例子. 例2-54(P64) 设R和S为A上的相容关系, R ? S为A上的相容关系? 设R和S是集合A上的两个相容关系,下表列出了相容关系与关系运算的联系: F F F F R ? S R-1 R ? S R - S R ? S R ? S 在上节知道, 由集合A的划分可得出集合A的等价关系,同样,根据集合A的覆盖可产生集合A的相容关系. 先看一个例子. 例 设A = {a, b, c , d}, {A1, A2}是A的覆盖, 其中A1 = {a, b, c}, A2 = {c, d}, 令R = (A1? A1) ? (A2 ? A2), 容易验证R是A上的一个相容关系. Theorem 若{Ai|i ? I}是集合A的覆盖, 则 是A上的相容关系. Remark 集合A的不同覆盖可得出相同的A上的相容关系. 例2-56(P64) 设A = {a, b, c , d}, {{a, b, c}, {c, d}}和{{a, b}, {b, c}, {a, c}, {c, d}}是A的两个不同覆盖, 按上面的方式可得出相同的A上的相容关系. A上相容关系R的简化关系图: 2.相容类 Def 2-