4-5-aol离散数学.pptVIP

一种重要的关系——序关系。 全序关系 偏序关系 序关系: 良序关系 拟序关系， 4.5 偏序关系 定义4.26 设 R 是给定集合 X 上的一个二元关系，若它满足自反性，反对称性和传递性，则称 R 是 X 上的偏序关系。偏序关系一般用符号 “≤” 表示。序偶 ＜X,≤＞ 称为偏序集（或半序集）。 (有的资料把反对称性也作为拟序关系定义的一个条件。定理表明，这是不必要的。) 对偏序集 ＜X,≤＞ 来说，若 x,y∈X 且 x≤y，就说 “y 在 x 的后面”（或 “x 小于或等于 y” ）。 定理4.14 设 R 是集合 X 上的一个二元关系，若 R 是一个偏序关系，则其逆关系 R?1 也是一个偏序关系。 证明：因为 R 是一个偏序关系， 则它具有自反性，反对称性和传递性， 容易证明 R?1 也具有自反性，反对称性和传递性。 故 R?1 也是一个偏序关系。 若 R 用 ≤ 表示，则 R?1 用 ≥ 表示，这意味着若 ＜X,≤＞是偏序集，则 ＜X,≥＞ 也是一个偏序集，称 ＜X,≥＞ 为 ＜X,≤＞ 的对偶，显然 ＜X,≤＞ 也是 ＜X,≥＞ 的对偶。 【例4.24】集合 A 的幂集 ?(A) 上的 “?” 关系是自反的、非对称的、传递的。所以它是一个偏序。 【例4.25】整数集合上的 “整除” 关系也是偏序关系。 在偏序集中，任何两个元素 x 和 y 并非都有 x≤y 或 y≤x。若任何两个元素 x 和 y 要么有 x≤y 要么有 y≤x，则称 x 和 y 是可比的，否则是不可比的。 定义4.27 在偏序集 ＜X,≤＞中，如果 x,y∈X，x≤y, 但 x≠y，并且没有其他元素 z∈X 且满足 x≤z, z≤y，那么称元素 y 盖住元素 x。记 COVX ＝ {＜x,y＞ | x, y∈X，y 盖住 x } 【例4.26】集合 X ＝ {2, 3, 6, 8} 上的整除关系 R＝{ ＜2,2＞, ＜3,3＞, ＜6,6＞, ＜8,8＞, ＜2,6＞, ＜2,8＞, ＜3,6＞ }， 显然，该关系是偏序。根据定义4.28我们很容易求出 COVX＝{ ＜2,6＞, ＜2,8＞, ＜3,6＞ }。 对于偏序集 ＜X,≤＞，它的盖住关系是唯一的，所以可 以利用盖住的性质画出偏序集合图（又称“哈斯图”），其作图 规则为： (1) 用小圆圈代表元素； (2) 若 x≤y 且 x≠y，则将代表 y 的小圆圈画在代表 x 的小圆圈之上； (3) 若 ＜x,y＞∈COVX，则在 x 和 y 之间用直线连接。 【例4.27】例 4.26 的偏序 R 的哈斯图为如下图所示。 2 6 3 8 定义4.28 设 ＜X,≤＞ 是偏序集，若对于任意的 x, y∈X 都有 x≤y 或 y≤x，则称 ≤ 是 X 上的全序关系，也可称为 “简单序” 或 “线性序”。＜X,≤＞称为全序集或链。 【例4.28】实数集合上的 “小于或等于” 关系就是一个全序关系，＜R,≤＞ 是一个全序集。 定义4.29 设 R 是集合 X 上的一个二元关系，若 R 是反自反的和传递的，则称 R 是集合 X 上的拟序关系，或简称拟序，并记作，序偶 ＜X, ＞称为拟序集。 【例4.29】实数集合上的 “小于” 关系是拟序关系。 【例4.30】令实数集 X 上的关系≥是通常的“大于或等于”关系。 设 P＝X?X 且 P 上的全序关系 S 定义为： 对于任二序偶 ＜x1,y1＞, ＜x2,y2＞∈P， ＜x1,y1＞S＜x2,y2＞ ?(x1＞x2)∨(x1＝x2)∧(y1≥y2) 若 ＜x1,y1＞ ＜x2,y2＞， 则必有＜x2,y2＞S＜x1,y1＞， 使得 S 是 P 上的全序集。这种关系叫词典编序。 下面是 P 中具有 S 关系的一些序偶的例子： ＜2,2＞S＜2,1＞，＜3,1＞S＜1,5＞ ＜