离散数学第三章讲解.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，且是对称矩阵，为此，可以将矩阵用梯形表示。 关系图上，每个结点都有自回路，且相关结点间的有向边成对出现，