华中科技大学软件学院 离散数学CH2－关系.pptVIP

* 这一结果并非偶然。对于复合关系的关系矩阵有下面的定理。 * （2）因为IA ? r(?)，所以r(?) 是自反的。 * * （2）若(a, b) ? s(?) = ? ? ?–1，则(a, b) ? ? 或(a, b) ? ?–1。 若(a, b) ? ?，则(b, a) ? ?–1，因?–1 ? s(?) = ? ? ?–1，从而(b, a) ? s(?)。 若(a, b) ? ?–1，则(b, a) ? ?，因? ? s(?) = ? ? ?–1，故(b, a) ? s(?)。 由此即得，s(?)是对称的。 * 当元素较多时，上述求传递闭包的方法比较麻烦。 * 这里的最大不是指元素的个数最多。 * * * 由下向上（下小上大）：若 a ? b，则结点 a 位于结点 b 的下方。 * * 2.7 偏序关系 讨论对集合中元素进行排序的一种关系。 一、偏序关系的定义 定义2-18 集合 A 上的关系 ? ，如果它是自反的、反对称的、可传递的，则称 ? 是 A 上的偏序关系。 例1 实数集 R 上的 “ ? ” 关系显然是一个偏序关系。 例2 全集合 U 的幂集 2U 上的 “ ? ” 关系也是一个偏序关系。 证明 对于任意 S ? U，有 S ? S，所以 “ ? ” 是自反的。 对任意 Si , Sj ? 2U，若 Si ? Sj 且 Sj ? Si ，则 S