离散数学第2章 关系.pptVIP

矩阵的逻辑乘运算 矩阵的逻辑乘运算 * 证明略: (1) 每个等价类非空; (2) 不同的等价类不相交; (3) 所有等价类的并就是A. 例 (P(X), ?) Proof (sup) 例 (N+, |) 作业  习题2.7 P76 : 8, 14 * 中任意两个元素均存在上确界和下确界 * Remark 由后面函数的关系定义知, dom R和ran R与函数的定义域与值域一致. * 除关系的集合表示外, 还可以有下列两种表示方法. * 函数是如何转换成关系? * A到B的关系f 满足什么条件成为A到B的函数? * 讨论关系的运算是为了从已知的关系得出新的关系. * 为何考虑关系的逆运算? 若x是y的老师,则y是x的学生, … * 为何考虑关系的复合运算? 若x是y的母亲, y是z的妻子, 则x是z的岳母, … * 可以利用关系矩阵计算关系的复合. * 由于篇幅限制和侧重点不同, 再此不作讨论. 但为了后面讨论子格的方便, 用较小的篇幅介绍关系限定运算中的一种特殊情况: 关系在一个子集上的限定. * 前面定义的关系是一般的关系,但在实际问题中,我们感兴趣的是具有某种或同时具有某几种特殊性质的关系.设R是集合A上的关系, 常见的关系的性质有5种 * 上面介绍的是常见的5种关系的性质, 在实际问题中可能会遇到其他性质的关系(参见习题).下面的例子是根据所给定的关系, 判断R具有的性质. * 通过关系的一些运算可以得到新的关系. 对于A上的关系R, 希望R具有某些有用的性质,如自反性. 若R不具有自反性,通过在R中添加一些有序对使其变成自反关系, 这样也可以得到一些新的A上的关系. * 由于(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)}传递了. * 证明略 * P59, 第7题 * 证明是否需要? * 由于关系的闭包运算在计算机其他专业课中很有用,下面再对多重闭包问题进行简单讨论. * 在实际应用时，具有某几种性质的关系是有用的. 接下来的三节，我们分别介绍集合A上的等价关系、相容关系和序关系. * 证明略: (1) 每个等价类非空; (2) 不同的等价类不相交; (3) 所有等价类的并就是A. * 在解决实际问题时, 我们常依据某个标准对事物进行比较, 同时按这个标准对两个事物之间的先后进行排序. 在计算机科学中, 对数据进行排序是十分有意义的工作. 偏序关系是最基本、最常用的一种序关系, 它本质上是两实数之间的小于等于关系“ ? ”的一种推广.本节在偏序的基础上, 介绍偏序集中的特殊元素. 借用数的 ? 表示偏序(理由?) * 线性序关系是最常见、最简单的一种偏序关系. * 在偏序的关系图中, 每个点处都有环,可以不必画出来. 又因为它的反对称性和传递性,其边的方向是一致的, 通常都是从下到上方向,更主要的是可去掉由于传递出现的边,同时去掉边的方向. 按这种方式得到的图就是哈斯图(Hasse diagram), 是以德国数学家Helmut Hasse的名字命名的. * 从另一个角度定义Hasse图. 先介绍: 元素y盖住元素x? * Cf. P175(格与布尔代数常用到!) * 借助于非空集合S的最小元素的概念,可以给出良序关系的定义. * 若 A 是有限集, 利用这个结论可以在集合A上定义一个与“?”一致的线性序, 进而将A进行拓扑排序. * 下例说明, 即使子集S的上(下)界存在,子集S的上(下)确界也不一定存在. * 由于篇幅限制和侧重点不同, 再此不作讨论. 但为了后面讨论子格的方便, 用较小的篇幅介绍关系限定运算中的一种特殊情况: 关系在一个子集上的限定. 对称闭包: 设 R ? A ? A, 最小的包含 R 的对称关系, 记为s(R). 对称闭包 s(R) 满足3个条件: (1) 包含 R； (2) 对称性； (3) 最小性. Theorem 问题 对称闭包 s(R)的关系图? * 2.4.2 对称闭包 有边必须为双向边 证： 关系矩阵？ 传递闭包: 设 R ? A ? A, 最小的包含 R 的传递关系, 记为 t(R). 传递闭包 t(R)满足3个条件: (1) 包含 R; (2) 传递性; (3) 最小性. 例 设 A = {a,