《离散数学教学资料》11-序关系.ppt

设A={1,2,3,...,10}，R是A上的整除关系， 求A的极元、最元、界、确界。 例： 极大元：6,7,8,9,10 极小元：11 最大元：无 最小元：1 上界： 无 下界： 1 上确界：无 下确界：1 1 2 9 7 10 5 6 8 4 3 设Z+是正整数集合，R是Z+上的整除关系， A={1,2,3,...,10}，求A的极元、最元、界、确界。 作业： 定义：设 A,≤ 为偏序集 , 若A的任意非空子集都有最小元，则称≤为A上的良序关系，称A,≤为良序集。 六、良序关系 例： N,≤ 是良序集， Z,≤ 、 R,≤ 不是良序集 定理： ① 良序集一定是全序集。 ② 有限的全序集一定是良序集 (无限的全序集不一定是良序集)。 定义：设R是非空集合A上的关系， 若R是反自反和传递的，则称R 为A上的拟序关系。称有序偶 A,R为拟序集。 七、拟序关系 一般将拟序关系记为＜ 将拟序集记为A,＜ x,y?＜ ? x＜ y (读作小于) 若＜是A上的拟序关系， 则＜-1 也是A上的拟序关系，记作＞ A,＜和A,＞都是拟序集 例：拟序关系 (1) 实数集上的小于关系、大于关系 (2) 集合族上的真子集关系、真包含关系 定理：设R是非空集合A上的关系， (1) 若R是拟序关系，则 R∪IA 是偏序关系 (2) 若R是偏序关系，则 R－IA 是拟序关系 序关系，反映了集合中元素的 顺序性。 小结： 3.12　序关系 定义：设R是非空集合A上的关系， 若R是自反、反对称和传递的， 则称R为A上的偏序关系。称有 序偶A,R为偏序集。 一、偏序关系 偏序关系 (1) 集合A={2,3,6,12,24,36}上的 整除关系 (2) 正自然数集N+上的 整除关系、整倍数关系 (3) 实数集R上: 小于等于关系、大于等于关系 (4) 集合A={x,y,z}，集族P(A)上的 子集关系 (5) 集族上的 子集关系、包含关系 例: 例：证明集合A={2,3,6,12,24,36}上 的整除关系是偏序关系。 证明：R={x,y|x,y?A,x|y} 　　　x|y表示：x整除y（y被x整除） ① 对于任意的x?A　∵x|x ∴x,x?R ∴R是自反的 ② 对于任意的x,y?A， 若 x|y 且 y|x 则 x=y 即： 若x,y?R且y,x?R则x=y ∴ R是反对称的 ③ 对于任意的x,y,y,z?R， 有x|y 且 y|z ∴有x|z ∴ x,z?R ∴ R是传递的 综合①、②、③，R是偏序关系 偏序关系一般记为 ≤ 偏序集一般记为 A,≤ x,y?≤ ? x≤y (读作小于等于) 若≤是A上的偏序关系， 则≤-1 (记≥)也是A上的偏序关系, A,≤ 和 A,≥ 都是偏序集。 定义：设≤是非空集合A上的偏序关 系，对于x,y?A : ①若有 x,y?≤ 或 y,x?≤， 则称 x 与 y 可比 ②若有 x,y?≤ 且 y,x?≤， 则称 x 与 y 不可比 ③若有 x,y?≤ 且 x?y ， 则称 x＜y（读作小于） 在偏序集 A,R 中， ?x,y?A，恰符合以下三种情况之一： (1) x与y 不可比 (2) xy (或 yx) (3) x=y 例：{2,3,6,12,24,36} 上的整除关系 : (1) 2与3、24与36不可比 (2) 6与6、6与12、6与3可比 (3) 6≤6、6≤12、3≤6 6＝6、6＜12、3＜6 有穷偏序集的关系图， 可以简化为哈斯图。 二、哈斯图 定义： 设 A,≤ 为偏序集，对于任意 x, y?A，若xy，且不存在 z?A ， 使得 xzy，则称 y 盖住 x 。 例：{2,3,6,12,24,36} 上的整除关系 : 6|36，636，但36没有盖住6， 36盖住12，12盖住6 哈斯图的画法： 对于任意x,y?A，若xy，则 将x画在y的下方 若y盖住x，则用一条线段连接 x和y 对于有穷偏序集，哈斯图是关系图的