二元关系--偏序关系.pptx

第4章 二元关系 二元关系 4.1二元关系基本概念 (重点) 4.2 关系的运算 4.3 关系的性质 (重点) 4.4 关系的闭包 4.5 等价关系和偏序关系 (重点及难点) 4.6 函数的基本概念 偏序关系 偏序关系 Hasse图（重点） 重要元素（重点） 拓扑排序 偏序关系 定义 偏序关系： 设A上的二元关系R, 如果R是自反的, 反对称的，传递的，则称R为偏序关系，记为“≼”, A, ≼ 称为偏序集。 若x，y∈R，称“x小于等于y”，记作x ≼ y。 偏序关系 例1 几个常见的偏序关系： (1)A上的小于等于关系，A={1,2,3,4,5,6}： Ｒ1 ={x，y｜ x≤y，x，y∈A} (2) A上的整除关系， A={1,2,3,4,5,6} ： Ｒ2＝{x，y｜ x|y，x，y∈A} (3)P(A)上的包含关系， A={1,2,3} ： Ｒ3＝{s1，s2｜s1s2， s1，s2∈P(A)} (4)任务集S={T1,T2, .... , Tn} 上的关系 R4={Ti,Tj|Ti=Tj或Ti必须在Tj之前完成} ≼ ≼ ≼ ≼ 偏序关系 关于例1(4)的一个举例： 如完成室内闪光拍照的任务，任务集T包括任务： 1、打开镜头盖； 2、照相机调焦； 3、打开闪光灯； 4、按下快门按钮。 在T上定义关系R： i,j∈R如果i=j或者任务i必须在任务j之前完成。 则R={1,1,2,2,3,3,4,4,1,2,1,4,2,4,3,4} 偏序关系 定义 设R 为非空集合A上的偏序关系, x, y∈A,则 x与y可比  x ≼ y∨y ≼ x 定义 设R 为非空集合A上的偏序关系, x, y∈A, 则 y盖住x x≺y 且不存在 z∈A 使得 x≺z≺y Hasse（哈斯）图 例2 设A={2,3,6,12,24,36}，“≼”是A上的整除关系R，画出其关系图。 关系图 2 3 6 12 36 24 2 3 6 12 36 24 简化的关系图——Hasse图 Hasse图 简化的关系图——Hasse图（哈斯图） (1)自反性：每个顶点都有自回路，省去。 (2)反对称性：两个顶点间只可能有一个箭头，从小到 大(或从低到高)安置顶点，可省略箭头。 (3)传递性：由于有x，y，y，z∈R，则x，z∈R， 故只画x，y，y，z对应的边，省略边x，z。 Hasse图 Hasse图的画法——“层次”与“连线” (1)极小元放在第一层（最底层）。 (2)若第n层已放好，则第n+1层的元素满足至少能盖住第n层的一个元素。（层次） (3)若y盖住x ，则x，y之间连线。（连线） 注：哈斯图体现了偏序集中元素间的“大小”和“层次”关系。 Hasse图 例3 画出例1中各关系的Hasse图： A＝{1,2,3,4,5,6,7,8,9}, B＝{a,b,c}, S ={1, 2, 3, 4} Ｒ1＝｛x，y｜ x ≤ y，x，y∈A｝ Ｒ2＝｛x，y｜ x | y，x，y∈A｝ Ｒ3＝｛s1，s2｜s1s2， s1，s2∈P(B)｝ R 4={Ti,Tj|Ti=Tj或Ti必须在Tj之前完成且Ti,Tj ∈S} ={1,1,2,2,3,3,4,4,1,2,1,4,2,4,3,4} Hasse图 Ｒ1 Ｒ2 ——全序集 Hasse图 4 3 Ｒ3 Ｒ4 全序关系 定义 全序关系——任意两个元素都可比 设A, ≼是一个偏序集，若对任意x, y∈A，总有x ≼ y或y ≼ x，二者必居其一，则称 “”为全序关系，或者线序关系。称A, ≤为全序集，或者线序集，或者链。 偏序集中的重要元素 设偏序集A, ≼ , B A，b表示相应的特殊元素， B的极小元——B中没有比b 小的元素 b∈B 且 x(x ∈B x ≺ b) B的最小元——B中所有的元素都比b大 b∈B 且 x(x∈B→b ≼ x) 极大元和最大元类似定义。 注：上述元素都在B中寻找。 偏序集中的重要元素 设偏序集A, ≼ , B A，b表示相应的特殊元素， B的上界—B中所有的元素都比b小 b∈A 且 x(x∈B→x ≼ b) B的上确界 上确界——B的上界的最小元 下界和下确界类似定义。 注：上述元素都在A中寻找。 偏序集中的重要元素 例4 设偏序集A,≼，求A的极小元、极大元、最小元、最大元。设B＝{ b,c,d }, 求B的下界、上界、下确界、上确界. 解： 极小元：a, b, c, g； 极大元：a, f, h；