离散数学-第7章-特殊关系.pptVIP

* 例7.3.7 （续） 关系图 哈斯图 2 3 6 12 36 24 2 3 6 12 36 24 * 3 特殊元素 定义7.3.3 设A,≤是偏序集，B是A的任何一个子集，若存在元素b∈B，使得对任意x∈B， 都有x≤b，则称b为B的最大元素，简称最大元； 都有b≤x，则称b为B的最小元素，简称最小元； 满足b≤x ? x=b，则称b为B的极大元素，简称极大元； 满足x≤b ? x=b，则称b为B的极小元素，简称极小元。 * 定义7.3.3可以符号化为 * 注意 （1）B的最大元、最小元、极大元和极小元如果存在，一定在B中； （2）b是B的最大元 B中所有其它元素都比b小； b是B的最小元 B中所有其它元素都比b大； b是B的极大元 B中没有比b大的元素； b是B的极小元 B中没有比b小的元素。 * 例7.3.8 在例7.3.7中，设B1={6,12}，B2={2,3}，B3={24, 36}，B4={2,3,6,12}是集合A的子集，试求出B1,B2, B3和B4的最大元，最小元，极大元和极小元。 解 见下表。 集合 最大元 最小元 极大元 极小元 B1 B2 B3 B4 2 3 6 12 36 24 12 6 12 6 无 无 无 无 无 2,3 2,3 24,36 24,36 12 12 2,3 * 定义7.3.4 设A,≤是偏序集，B是A的任何一个子集。若存在元素a∈A，使得 对任意x∈B，都有x≤a，则称a为B的上界； 对任意x∈B，都有a≤x，则称a为B的下界； 若元素a′∈A是B的上界，元素a∈A是B的任何一个上界，若均有a′≤a，则称a′为B的最小上界或上确界。记a′=SupB； 若元素a′∈A是B的下界，元素a∈A是B的任何一个下界，若均有a≤a′，则称a′为B的最大下界或下确界。记a′=InfB。 * 由定义7.3.4知 子集B的上、下界和上、下确界必须在集合A中寻找； 子集B的上、下界不一定存在，如果存在，可以不唯一的； 子集B的上、下确界不一定存在，如果存在，则一定唯一； 子集B有上(下)确界，一定有上(下)界；反之不然。 * 例7.3.9 在例7.3.7中，设B1={6,12}，B2={2,3}是集合A的子集，试求出B1，B2的上界、下界、上确界和下确界。 解 见下表。 集合 上界 下界 上确界 下确界 B1 B2 2 3 6 12 36 24 12,24,36 2,3,6 12 6 6,12,24,36 无 6 无 * 例7.3.10 A={x1,x2,x3,x4}，A上定义偏序集A,≤的哈斯图如下图所示。求B={x1,x2}和C={x3,x4}上界、下界、上确界和下确界。 解 见右表。 集合 上界 下界 上确界 下确界 B C x1 x3 x2 x4 无 x3,x4 无 无 x1,x2 无 无 无 * 集合 最大元 最小元 极大元 极小元 上界 下界 上确界 下确界 B1 B2 例7.3.11 设集合A={a,b,c,d,e,f,g,h}，对应的哈斯图见右图。令B1={a,b}，B2={c,d,e}。求出B1，B2的最大元、最小元、极大元、极小元、上界、下界、上确界、下确界。 e a b c d f g h 无 无 a,b a,b c,d,e,f,g,h 无 c 无 无 c d,e c h c,a,b h c * 结论 (设A,≤是一偏序集，B是A的子集) （1）若b是B的最大元，则b一定是B的极大元，上界和上确界；反之，则不然； （2）若b是B的最小元，则b一定是B的极小元，下界和下确界；反之，则不然。 * 定理7.3.1 设A,≤是一偏序集，B是A的子集。则： b是B的最大元 ? b是B的极大元、上界、上确界； b是B的最小元 ? b是B的极小元、下界、下确界； a是B的上确界且a∈B ? a是B的最大元； a是B的下确界且a∈B ? a是B的最小元。 * 定理7.3.2 设A,≤是一偏序集，B是A的子集。则： 若B存在最大元，则B的最大元是惟一的； 若B存在最小元，则B的最小元是惟一的； b是B的最大元 ? b是B的惟一极大元； b是B的最小元 ? b是B的惟一极小元； 若B存在上确界，则B的上确界是惟一的； 若B存在下确界，则B的下确界是惟一的。 * 设集合X={x1,x2,x3,x4,x5}上的偏序关系如下 图所示，求X的最大元、最小元、极大元、极小 元。求子集X1={x2,x3,x4}，X2={x3,x4,x5}，X3={x1, x3,x5}的上界、下界、 上确界、下确界、 最大元、最小元、 极大元和极小元。 例7.3.12 x1 x2 x3 x5 x4 * 例7.3.12 解 X1，X2和X3的各种特殊元见下表。 集