第六章离散.pptVIP

§6.3 次序关系 重点: 偏序关系 画哈斯图 求偏序集合中的特殊元素 例6.10 设集合A＝｛a,b,c,d｝, A上的关系R＝｛〈a,b〉,〈b,a〉,〈b,c〉,〈c,d〉｝，试画出t(R)关系图。 R关系图 a b c d t(R)关系图 b a c d 次序关系包括：偏序关系，全序关系，严格偏序关系，良序关系。 定义6.9（偏序关系）集合P上的关系R称为P上的偏序关系，当且仅当R是自反的、反对称的和传递的。 例：〈N , ≤〉,〈N , ≥〉,〈P(A) , ? 〉都是偏序集合。 定义6.10（全序关系）设〈P , ≤〉是一个偏序集合，如果对于每一个x ，y∈P，或者有x≤y ，或者y≤x，则称≤为P上的全序或线序，并称〈P , ≤〉为全序集合或链。即 (?x) (?y)(x∈P∧y∈P?x≤y∨y≤x) 用“≤”表示偏序关系，并用〈P , ≤〉表示偏序集合。 如果x , y∈P 且x≤y，则称“ x 小于或等于y ”或“ x 在 y 之前 ”。 对于偏序集合〈P , ≤〉，如果两元素 x , y ∈P，或者有x≤y 或者有y≤x，就说P的元素 x 和 y 是可比的。 例：〈N , ≤〉,〈N , ≥ 〉都是全序集合。 它们中的任意元素 x 和 y 都是可比的 定义6.11（严格偏序关系） R是集合P上的严格偏序关系，当且仅当R是反自反的和传递的。 用“＜”表示严格偏序关系，并称“ x 小于y ”， 称〈P , ＜〉为严格偏序集合。 例： 〈N , ＜〉,〈N , ＞〉,〈P(A) , ? 〉都是严格偏序集合。 例：证明 若R是P上严格偏序关系，则R是反对称的。 证明：假设R不是反对称的，则存在x , y∈P且x≠y，使得 〈x , y〉∈R 且 〈y , x〉 ∈R 因为R是传递的，所以 〈x , x〉 ∈R ，这与R是反自反的矛 盾。 由上述证明可知， P上的严格偏序关系和偏序关系有如下关系： ＜＝≤－ I P x＜y ? x ≤y∧x≠y y遮盖x ? x＜y∧ ? ?z (z∈P∧x＜z∧z＜y) 遮盖： 例：P＝｛1，2，3，4｝，≤是P上的小于或等于关系，则称4遮盖了3 ，3遮盖了2 ，2遮盖了1 .若≤是P上的大于或等于关系，则上述遮盖关系恰好相反。 哈斯图： 在偏序集合〈P , ≤〉中，对于任何两个元素 x , y∈P，如果 x＜y 并且不存在任何其它的元素 z∈P，使得 x＜z 和 z＜y，则称 y 遮盖x . 偏序集合通常用简化的关系图来表示，这种关系图称为偏序集合图或哈斯图. 哈斯图具体画法如下：集合的每一个元素用一个点表示，对于 x , y∈P ，如果 x＜y ，则点 x 画在点 y 之下，如果 y 遮盖 x ，就在 x 和 y 之间画一条直线，在哈斯图中省略了自环，并约定弧的指向向上，不画箭头 . 例：画出满足下列条件的哈斯图 . ⑴ Pa＝｛1，2，3，4｝，并设 ≤是Pa上的小于或等于关系 . 1 2 3 4 ｛a , b , c｝ ｛a , b｝ ｛a｝ ? ⑵ Pb＝｛ ? ,｛a｝,｛a , b｝,｛a , b , c}}, 并设? 是Pb上的包含关系。 解：见右图 解：见右图 例：设 X=｛2，3，6，12，24，36｝，≤为整除关系，如果 x 整除 y ，便有 x≤y . 画出〈X , ≤〉的哈斯图 . 3 36 2 6 12 24 解：见右图 解：见右图 例：设A={a，b，c}， ? 是幂集?（A）上的包含关系，画出〈 ?（A） ， ? 〉的哈斯图 {a,b,c} {a,b} {a, c} {b,c} {a} {b} {c} ? ⑴ b是B的最大元 ? b∈B ∧ ? x (x∈B ? x≤b) ⑷ b是B的最大下界 ? b是B的下界且对每一个B的下界x都有x≤b 偏序集合中的特殊元素： 定义6.12 设〈A , ≤〉是偏序集合，并且B ? A，则 ⑴ b是B的最大元 ? b∈B ∧ ? x (x∈B ? x≤b) ⑵ b是B的最小元 ? b∈B ∧ ? x (x∈B ? b≤x) ⑶ b是B的极大元 ? b∈B ∧ ? ? x (x∈B