第7章 特殊关系.pptVIP

* 2 哈斯图 （1）用小圆圈或点表示A中的元素，省掉关系图中所有的环； （因自反性) （2）对任意x,y∈A，若x＜y，则将x画在y的下方，可省掉关系图中所有边的箭头；（因反对称性） （3）对任意x,y∈A(x≠y)，若x≤y，且x与y之间不存在z∈A，使得x≤z,z≤y，则x与y之间用一条线相连，否则无线相连。（因传递性） * 例7.3.6 画出例7.3.5中关系R的哈斯图。 解 例7.3.5中关系R的哈斯图如下图所示。 1 2 3 4 * 例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 * 补充定义 设A,≤是偏序集, ?x,y∈A, 1.如果有x≤y或y≤x，则x和y称作可比的；否则，x与y不可比。 2.若存在z∈A，使得x≤z,z≤y，则称x被y覆盖。 * 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的最大元，最小元，极大元和极小元。 解 见下表。 集合 最大元 最小元 极大元 极小元 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.5 设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.5知 子集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 * 定理7.2.3的证明 证明 1）R是自反的 对?x∈A，因为П(A)是A的一个划分，所以存在一个划分块Ai∈П(A)，使得x∈