离散数学2_4_1(等价关系)[2014_10_8](all).pptVIP

* * * 由于偏序关系是自反的，关系图中的每个顶点都有自回路，为了简化图形，以后在偏序关系的图形表示中不再画出各顶点的自回路；又由于偏序关系是传递关系，当x,y∈R,y,z ∈R时，必有x,z ∈R,所以在偏序关系的图形表示中仅画出x到y的有向边，y到z的有向边，而把x到z的有向边省略。如果把各点放在适当的位置，使图中各有向边的箭头都是朝上的，那么可以把图中各边的箭头也省略。偏序关系的这种图形表示称为偏序关系的哈斯图表示 * * * * * * * * * * * * * * * * * * * 偏序集中的特殊元素—8大元 例2.73:对于例2.70中偏序关系①，集合B1= {1, 6}、B2= {1, 2, 3}、B3= {4, 6, 12}、B4= {2, 4, 6}、B5= {1, 2, 6, 12}和B6= {1, 2, 3, 4, 6, 12} 都是集合A 的子集，试求出B1、B2、B3、B4、B5和B6的极大元和极小元。 解: 对于集合B1= {1, 6}，极大元为6，极小元为1； 对于集合B2= {1, 2, 3}，极大元为2和3，极小元为1； 对于集合B3= {4, 6, 12}，极大元为12，极小元为4和6； 对于集合B4= {2，4，6}，极大元为4和6，极小元为2； 对于集合B5= {1, 2, 6, 12}，极大元为12，极小元为1； 对于集合B6= {1, 2, 3, 4, 6, 12}，极大元为12，极小元为1。 课堂练习 例2.74:对于例2.70中偏序关系③，集合B1= {6, 12}、B2= {2, 3}、B3= {12, 36}、B4= {2, 3, 6}、B5= {2, 3, 6, 12}和B6= {2, 3, 6, 12, 24, 36} 都是集合A 的子集，试求出B1、B2、B3、B4、B5和B6的极大元和极小元。 例2.70中偏序关系③的哈斯图如下 偏序集中的特殊元素—8大元 定义2.32:对于偏序集A, ?和集合A的任意子集B，如果存在元素a?A，使得任意x?B都有x?a，则称a为子集B的上界（upper bound）；如果存在元素a?A，使得任意x?B都有a?x，则称a为子集B的下界（lower bound）。 说明： 偏序集A, ?的任意子集B的上（下）界，不一定是集合B中的元素。 偏序集中的特殊元素—8大元 例2.75:对于例2.70中偏序关系①，集合B1= {1, 6}、B2= {1, 2, 3}、B3= {4, 6, 12}、B4= {2, 4, 6}、B5= {1, 2, 6, 12}和B6= {1, 2, 3, 4, 6, 12} 都是集合A 的子集，试求出B1、B2、B3、B4、B5和B6的上界和下界。 解: 对于集合B1= {1, 6}，上界为6和12，下界为1； 对于集合B2= {1, 2, 3}，上界为6和12，下界为1； 对于集合B3= {4, 6, 12}，上界为12，下界为1和2； 对于集合B4= {2, 4, 6}，上界为12，下界为1和2； 对于集合B5= {1, 2, 6, 12}，上界为12，下界为1； 对于集合B6= {1, 2, 3, 4, 6, 12}，上界为12，下界为1。 课堂练习 例2.76:对于例2.70中偏序关系③，集合B1= {6, 12}、B2= {2, 3}、B3= {12, 36}、B4= {2, 3, 6}、B5= {2, 3, 6, 12}和B6= {2, 3, 6, 12, 24, 36} 都是集合A 的子集，试求出B1、B2、B3、B4、B5和B6的上界和下界。 例2.70中偏序关系③的哈斯图如下 偏序集中的特殊元素—8大元 定义2.33:对于偏序集A, ?和集合A的任意子集B，如果存在子集B的上界a，使得B的任意上界x都有a?x，则称a为子集B的最小上界（least upper bound）或上确界，记为 sup(B) = a；如果存在子集B的下界a，使得B的任意下界x都有x?a，则称a为子集B的最大下界（greatest lower bound）或下确界，记为inf(B) = a。 说明：如果C是B的所有上界的集合，则C的最小元c称为B的最小上界或上确界；如果C是B的所有下界的集合，则C的最大元c称为B的最大下界或下确界。 偏序集中的特殊元素—8大元 例2.77:对于例2.70中偏序关系①，集合B1= {1, 6}、B2= {1, 2, 3}、B3= {4, 6, 12}、B4= {2, 4, 6}、B5= {1, 2, 6, 12}和B6= {1, 2, 3, 4, 6, 12} 都是集合A 的子集，试求出B1、B2、B3、B4、B5和B6