4-5-aolm-离散数学.pptVIP

一种重要的关系——序关系。全序关系 偏序关系 序关系: 良序关系 拟序关系， 定义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,≥＞ 的对偶。对于偏序集 ＜X,≤＞，它的盖住关系是唯一的，所以可 以利用盖住的性质画出偏序集合图（又称“哈斯图”），其作图 规则为： (1) 用小圆圈代表元素； (2) 若 x≤y 且 x≠y，则将代表 y 的小圆圈画在代表 x 的小圆圈之上； (3) 若 ＜x,y＞∈COVX，则在 x 与 y 之间用直线连接。 【例4.27】例 4.26 的偏序 R 的哈斯图为如下图所示。 【例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＞＜2,2＞S＜2,2＞，＜3,2＞S＜1,1＞现在来推广这个概念，设 R 是集合 X 上的全序关系，且令P ＝ X∪X2∪…∪Xn ＝ (n＝1, 2, 3, …) 可假定 n 为某个固定值，长度为 p 的串可看成 p 元组。令＜μ1, μ2, …, μp＞与＜ν1, ν2, …, νq＞是 P 中任意两个元素且 p≤q。现在，如下列条件中的任 一个成立：（1）＜μ1, μ2, …, μp＞＝＜ν1, ν2, …, νq＞；（2）μ1≠ν1 而在 X 中有μ1Rν1；（3）μi＝νi，i＝1, 2, …, k (k＜p) 且μk?1≠νk?1 而在 X 中μk?1Rνk?1，则＜μ1, μ2, …, μp＞S＜ν1, ν2, …, νq＞。如这些条件中没有任何一个被满足，则＜μ1, μ2, …, μp＞S＜ν1, ν2, …, νq＞。作为一般的词典编序的特殊情形，考虑英文字母表X＝{a, b, c, …, y, z}。令 R 是 X 上的一个全序关系，其中 a≤b≤…≤y≤z， 且 P＝X1∪X2∪X3，于是 P 是由 X 中三个或少于三个字母的 “词” 所组成。令 S 表示上面所描述的 P 上的词典编序，则有： me S met （条件⑴）； bet S met （条件⑵）； beg S bet （条件⑶）； get S go （依最后规则，此时若比较 go 与 get，则 3 个条件均不满足）。在英文词典中，词出现的顺序是词典编序的一个熟悉例 子，习惯上常用例如 “按词典编序小于或等于” 或 “按词典编序 大于” 等名称来代替使用 S 表示词典顺序。 定义4.30 设 ＜X,≤＞是偏序集，若 X 的子集 P 中任何两个元素之间都是不可比的，则称 P 是一条反链。 定理4.15 设＜X,≤＞是偏序集，若 X 中最长链的长度是 n，那么 P 中的元素能划分成 n 条不相交的反链。 证明：对链的长度用数学归纳法归纳基础：对 n＝1，P 中任何两个元素都没有关系，显然，P 是一条反链。归纳步骤：设最长链的长度为 n?1 时定理成立。设 P 的最长链长度为 n，P 中每一条长度为 n 的链中，必有一个最小元素，P 中所有长度为 n 的链的最小元素，构成一个集合，记为 M。 定义4.31 设＜X,≤＞是偏序集，若存在这样的元素x∈X，使得对于任意的 y∈X 都有 x≤y，则称 x 为集合 X 上关系 ≤ 的最小元。若存在这样的元素 x∈X，使得对于任意的 y∈X 都有 y≤x，则称 x 为集合 X 上关系 ≤ 的最大