第三篇 二元关系--第7章特殊关系.pptVIP

* * * 例7.3.7 设A={2,3,6,12,24,36}，“≤”是A上的整除关系R，画出其一般的关系图和哈斯图。 解 由题意可得R={2,2,2,6,2,12,2,24,2,36,3,3,3,6,3,12,3,24,3,36,6,6,6,12,6,24,6,36,12,12,12,24,12,36,24,24,36,36}，从而得出该偏序集A,≤的一般关系图和哈斯图如下： * 例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， （1）都有x≤b,则称b为B的最大元素,简称最大元 （2）都有b≤x,则称b为B的最小元素，简称最小元 （3）满足b≤x?x=b，则称b为B的极大元素,简称极大元； （4）满足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的最大元，最小元，极大元和极小元。 解 A的子集合B1,B2,B3和B4的最大元，最小元，极大元和极小元见下表。 集合 最大元 最小元 极大元 极小元 B1 12 6 12 6 B2 无 无 2,3 2,3 B3 无 无 24,36 24,36 B4 12 无 12 2,3 * 定义7.3.4 设A,≤是偏序集，B是A的任何一个子集。若存在元素a∈A，使得 （1）对任意x∈B，都有x≤a，则称a为B的上界； （2）对任意x∈B，都有a≤x，则称a为B的下界； （3）若元素a′∈A是B的上界，元素a∈A是B的任何一个上界，若均有a′≤a，则称a′为B的最小上界或上确界。记a′=SupB； （4）若元素a′∈A是B的下界，元素a∈A是B的任何一个下界，若均有a≤a′，则称a′为B的最大下界或下确界。记a′=InfB。 * 由定义7.3.4知 （1）子集合B的上、下界和上、下确界可在集合A中寻找； （2）一个子集合B的上、下界不一定存在，如果存在，可以不唯一的； （3）一个子集合B的上、下确界不一定存在，如果存在，一定唯一； （4）一个子集合B有上(下)确界，一定有上(下)界，反之不然。 * 例7.3.9 在例7.3.7中，设B1={6,12}，B2={2,3}是集合A的子集，试求出B1，B2的上界、下界、上确界和下确界。 解 集合B1、B2的各种特殊元素见下表。 集合 上界 下界 上确界 下确界 B1 12,24,36 2,3,6 12 6 B2 6,12,24,36 无 6 无 * 例7.3.10 A={x1,x2,x3,x4}，A上定义偏序集A,≤的哈斯图如图7.3.4所示。求B={x1,x2}和C={x3,x4}上界、下界、上确界和下确界。 解 B、C的各种特殊元见下表。 x1 图7.3.4 x3 x2 x4 集合 上界 下界 上确界 下确界 B 无 x3,x4 无 无 C x1,x2 无 无 无 * 例7.3.11 设集合A={a,b,c,d,e,f,g,h}，对应的哈斯图见图7.3.5。令B1={a,b}，B2={c,d,e}。求出B1，B2的最大元、最小元、极大元、极小元、上界、下界、上确界、下确界。 解B1和B2的各种特殊元素见下表 。 e a b c d f g h 图7.3.5 集合 最大元 最小元 极大元 极小元 上界 下界 上确界 下确界 B1 无 无 a,b a,b c,d,e,f,g,h 无 c 无 B2 无 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的子集。则： （1）若b是B的最大元?b是B的极大元、上界、上确界； （2）若b是B的最小元?b是B的极小元、下界、下确界； （3）若a是B的上确界，且a∈B?a是B的最大元； （4）若a是B的下确界，且a∈B?a是B的最小元。 * 定理7.3.2 设A,≤是一偏序集，B是A的子集。则：