CH4 二元关系和函数 4 偏序关系.pptVIP

离散数学 CH4 二元关系和函数 4 偏序关系 内容回顾:关系的性质 例:A={1,2,3}, A上的关系R={〈1,1〉,〈1,2〉,〈2,2〉,〈2,3〉} 1 2 3 自反性 反自反性 对称性 反对称性 传递性 × × × √ × 内容回顾:关系的性质 例:A={1,2,3}, A上的关系R={〈1,1〉,〈1,2〉,〈2,2〉} 1 2 3 自反性 反自反性 对称性 反对称性 传递性 × × × √ √ 今日内容：偏序关系 偏序关系、偏序集定义 可比和盖住的概念 有穷集哈斯图的画法 最大、最小、极大、极小元、上界、下界、上确界、下确界 1、偏序关系 定义：设R为非空集合A上的关系，如果R是自反的、反对称的和传递的，则称R为A上的偏序关系，简称偏序，记作?。 如果序偶〈x，y〉属于偏序关系?，可记作x?y，读作“x小于等于y“ 这里的小于等于不是指数的大小，而是指它们在偏序关系中的位置先后 例： 集合A={1,2} A上的恒等关系IA ? IA ={1,1,2,2} 具有自反、反对称、传递性 是偏序关系 例：集合A={1,2} 幂集P(A)上的包含关系 ? P(A) ={?, {1}, {2}, {1,2}} P(A) ?={?, ? , ? , {1}, ? ,{2}, ? , {1,2}, {1} ,{1}, {1} ,{1,2}, {2} ,{2}, {2} ,{1,2}, {1,2} ,{1,2}} 具有自反、反对称、传递性 是偏序关系 例：整数集上的小于等于关系R ≤是偏序关系 证明： 1.证自反性 对? x∈整数集 ，因为x≤x，根据定义则x,x ∈ R≤ 。 所以R≤满足自反性 2.证反对称性 已知对? x，y∈整数集（x≠y），如果x ,y ∈ R≤ ， 即x≤y，则y≤x肯定不成立，即y , x 不属于R≤ 。 所以R满足反对称性 3.证传递性 对? x，y，z∈整数集 ， 如果x ,y， y ,z ∈R≤ ， 根据定义有x≤y, y≤z，可得x≤z 即： x ，z ∈R≤ 。 所以R满足传递性 R≤具有自反、反对称、传递性,所以R≤为偏序关系 2、偏序集 定义：一个集合A 和A上的偏序关系R一起叫做偏序集，记作〈A，R 〉。 例如,〈Z，R?〉,〈P(A)，R?〉都是偏序集,其中 R?表示通常的数的小于等于关系 R?表示集合的包含关系 3、可比、盖住 定义：设〈A，?〉为偏序集，对于任意的x，y ∈ A，如果x?y或者y?x成立，则称x与y是可比的; 如果x?y（即x?y∧x≠y），且不存在z ? A使得x?z?y，则称y盖住x 例: A, ? 是偏序集,其中A={1,2,3,4}, ? 是整除关系 ?={1,1,1,2,1,3,1,4, 2,2,2,4, 3,3,4,4} 1和1,2,3,4,都是可比的 2和3是不可比的(2不能整除3, 3也不能整除2) 2盖住1(因为1整除2，并且不存在z ?A使得1整除z并且z整除2） 同样，有4盖住2 但4不盖住1，因为有1 ? 2 ? 4成立 4、哈斯图（有穷偏序集的描述） -----简化的关系图 画出关系图的基础上,如下约定做简化： ①自反性约定：将表示自反性的环去掉 ②反对称性约定：如果x?y，把y画在x之上，则可以把x指向y的箭头去掉（单向边，方向向上） ③传递性约定：如果x和y之间有边，但y不盖住x，则将该边去掉。即如果x?z， z?y ， 则把表示传递关系x?y的边去掉 例:A, ? 是偏序集, 其中A={1,2,3,4},? 是整除关系, 求该偏序集的哈斯图 解： ?={1,1,1,2,1,3,1,4,2,2,2,4, 3,3,4,4} ={1,1,1,2,1,3,1,4,2,2,2,4, 3,3,4,4} 例:求下列关系的哈斯图 设X＝﹛2,3,4,6,24﹜,D为X上的整除关系， 则〈X, D〉的哈斯图: 2 3 4 6 24 练习:求下列关系的哈斯图 设X＝﹛a,b,c,d﹜上的偏序关系为 R＝﹛