离散数学第三章剖析.ppt

* r(R)自反等价于IA? r(R) ，这个是书P119，练习（2b）的结论。 * 证明iii：任给x, y属于Rc，等价于y, x属于R，可以蕴含得到y, x属于s(R)，由于s(R)对称，又可以蕴含得到x, y属于s(R)，因此得出结论Rc?s(R)。 * 参照教材70页的等价蕴含公式。 * 在证明i的时候，吧R?R2?R3?…看成一个整体，并运用一个隐含定理，就是R是传递的当且仅当R°R?R，这个是书P119，练习（2a）的结论。 在证明ii的时候，隐含了一个定理，就是t(R)传递蕴含得到R°R?t(R)，这个可以由复合运算和传递性的定义得证。 * * * * * * * * * * * * * * * * * * * * * 对于给定偏序集A,，它的盖住关系是唯一的，所以可用盖住的性质画出偏序集合图，或称哈斯（Hasse）图。 * * * * * * * * * * 作业（3-10） P134 (2) (3) (4) (5) 3-10 等价关系与等价类 3-11 相容关系 定义3-11.1[相容关系]：给定集合A上的关系r，若r是自反的，对称的，则称r是相容关系。 我们可以知道，相容关系的关系矩阵的对角线元素都为1，且是对称矩阵，为此，可以将矩阵用梯形表示。 关系图上，每个结点都有自回路，且相关结点间的有向边成对出现，可以把图形简化为：不画自回路，并用单线（无向边）代替双向有向边。 例1：设X={216，2234，379，648，545}，R是X中的二元关系。 R={x,y|x?X，y?X，x和y有相同的数字}，试说明R是一个相容关系，并写出R的关系矩阵，画出关系图。 解：令X中的元素分别为x1~x5，则 R={x1,x1,x1,x2,x1,x4,x2,x1,x2,x2,x2,x3,x2,x4,x2,x5,x3,x2,x3,x3,x4,x1,x4,x2,x4,x4,x4,x5,x5,x2,x5,x4,x5,x5 3-11 相容关系 关系矩阵如下： 1 1 0 1 0 1 1 1 1 1 MR= 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 转化后如下： X2 1 X3 0 1 X4 1 1 0 X5 0 1 0 1 x1 x2 x3 x4 3-11 相容关系 x5 x4 x1 x2 x3 定义3-11.2[相容类]: 设r是集合A上的相容关系，若C?A，如果对于C中任意两个元素a1，a2有a1 r a2，称C是由相容关系r产生的相容类。 上例中的相容类有： {x1,x2},{x1,x4},{x2,x3},{x2,x4},{x2,x5}等。 3-11 相容关系 定义3-11.3 [最大相容类]：设r是集合A上的相容关系，不能真包含于任何其它相容类中的相容类，称作最大相容类。记作Cr。在相容关系图中，最大完全多边形的顶点集合，就是最大相容类。此外，一个孤立结点，以及不是完全多边形的两个结点的连线，也是最大相容类。 例2：见P137 例1。 3-11 相容关系 定理3-11.1：设r是有限集合A上的相容关系，C是一个相容类，那么必存在一个最大相容类Cr，使得C?Cr。 定义3-11.4[A的完全覆盖]：在集合A上给定相容关系r，其最大相容类的集合称作A的完全覆盖，记作Cr(A). 例1中X的完全覆盖是 {{x1,x2,x4},{x2,x4,x5}, {x2,x3}} 3-11 相容关系 已知集合的覆盖，求相容关系 定理3-11.2：给定集合A的覆盖{A1，A2，…, An}，由它确定的关系R=A1?A1 ? A2 ? A2 ?… ? An ? An 是相容关系。 定理3-11.3：集合A上的相容关系r与完全覆盖Cr(A)存在一一对应。 3-11 相容关系 作业（3-11） P139 (1) (2) 3-11 相容关系 3-12 序关系 在这一节中，我们将介绍以下一些序关系： 偏序关系 全序关系 良序关系 拟序关系* 在一个集合上，我们常常要考虑使得元素具有一定的次序的关系，其中很重要的一类关系称作偏序关系。 下面给出一些偏序关系的例子： 实数集上的小于等于（或大于等于）关系。 幂集合中的集合之间的包含关系。 整数集合上的整除关系。 一个单位里，部门之间的责任关系。 3-12 序关系 3-12.1 偏序关系 定义3-12.1[偏序关系] (partial