离散数学课件-次序关系(精品·公开课件).pptVIP

离散数学 次序关系 偏序关系 拟序关系 全序关系 良序关系 偏序关系 定义1：R是A上的关系，如果它是自反、反对称和传递的，则称R 是A上的偏序关系。并称A,R是偏序集。 课堂小测验： (1) D={1,2,3,5,6,10,15,30},≤ 是D上整除关系， 求D, ≤ Hasse图， （2）A={a,b,c} ，求P(A),?的Hasse图 偏序集中的特殊元素 一.极小元与极大元 设集合A上有一个偏序关系≤且设B是 A的子集，则 (1）如果存在一个元素b∈B且在B中找不到元素b’有b’ ≠b且b ≤ b’ 则称b是B的极小元 .） （在B中没有比b更小的元素了，b就是极小元） （2）如果存在一个元素b∈B且中找不到元素b’有b’ ≠b且 b’ ≤ b ，则称b是B的极大元 . (在B中没有比b更大的元素了，b就是极大元) 二.最小元与最大元 （1）如果存在一个元素b∈B对每一个b’∈B 均有b ≤ b’ 则称b是B的最小元 (最小元b是B中元素，该元素比B中所有元素都小) （2）如果存在一个元素b∈B对每一个b’∈B 均有b’ ≤ b 则称b是B的最大元 (最大元b是B中元素，该元素比B中所有元素都大) 举例，给定C,≤的Hasse图如图所示： 从Hasse图找最小(大)元：子集中如果只有唯一的极 小(大)元，则这个 极小(大)元，就是 最小(大)元。否则 就没有最小(大)元。 下面介绍最小(大)元的唯一定理。 定理2：A,≤是偏序集，B是A的非空子集，如果B有 最小元(最大元)，则最小元(最大元)是唯一的。 证明：假设B有两个最小元x、y,则 因为x是最小元，y∈B，根据最小元定义，有x≤y; 类似地，因为y是最小元，x∈B，根据最小元定义，有y≤x。因为≤有反对称性，所以有x=y。 同理可证最大元的唯一性。 小结：(A,≤)是偏序集，B是A的非空子集，则 ⑴B的极小(大)元总是存在的，就是子集中处在最下(上) 层的元素是极小(大)元。 ⑵如果有唯一的极小(大)元，则这个极小(大)元就是最小(大)元。否则就没有最小(大)元。 3.上界与下界 (Upper Bound and Lower Bound) (1)设A，≤是偏序集，B?A，若存在a∈A，使得 对 ?b∈B，b≤a,称a为B的上界。 （上界a是A中元素，该元素比B中所有元素都大) (2) 设A，≤是偏序集，B?A，若存在a∈A，使得 对 ?b∈B，a≤b,称a为B的下界。 （下界a是A中元素，该元素比B中所有元素都小) 举例，给定C,≤的Hasse图如图所示： 从Hasse图找上(下)界：注意是在A中找！ 4. 最小上界(上确界)和最大下界(下确界) (Least Upper Bound and Greatest Lower Bound) 1： a是B的上界，并且对B的所有上界a’,都有a≤a’, 则称a是B的最小上界(上确界) 。 即若令C＝{a|a为B的上界}，则C的最小元为B的最小上 界或上确界. (即a是上界中最小的。如果B有上确界，则是唯一的) 2： a是B的下界，并且对B的所有下界a’,都有a’ ≤a 则称a是B的最大下界(下确界) 。 若令D＝{a|a为B的下界}，则称D的最大元为B的最大下 界或下确界. (即a是下界中最大的。如果B有下确界，则是唯一的) 解答：设A＝{a,b,c},幂集是 2A ＝ {{a,b,c} ,{a,b}，{a,c},{b,c}，{a}，{b}， {c}， Ф} 其上的包含关系是一个偏序关系。 （1）设 B={{a,b}，{b,c}， {a,c}, {a}，{b}，{c},Ф} 则它没有最大元素，但有极大元素： {a,b}，{b,c}， {a,c}, ；它 的上界与上确界是相同的即是{a,b,c}。 它的最小元素、极小元素、下界、下确界都相同是Ф。 （2）设B= {{a}，{c}}，则它的最大元素没有，极大元素是{a}，{c}。 上界是{a,b,c} ,{a,b}，{a,c},{b,c}。上确界没有。 最小元素没有，极小元素是{a}，{c}，下界、下确界都 是Ф。 次序关系 偏序关系 拟序关系 全序关系 良序关系 次序关系 偏序关系 拟序关系 全序关系 良序关系 全序(线序、链) 1.定义：A,≤是偏序集，如果对任何x,y∈A，如果x与y都是可比较的（即都有x≤y，或y≤x）则称≤是全序关系(线序、链)。 例1 . B={1,2,4,8}, “ ≤”表示整除关系， 则“≤” 是全序关系，有向图： 例2.正整数集N上的小于或等于关系“≤”也是N上的一个全序；而N上的整除关系就仅是一个偏序而不是全序; 。 【注意】：(1）全序的