离散数学第二章关系.ppt

* 离散数学 定义7. 上确界 下确界 (least upper bound, greatest lower bound) 设(A,?)是半序集，B?A ， z0 ?A 。则我们称 (1)z0是B的上确界 ?(?x?B)(x?z0)?(?z?A)((?x?B)(x?z) ? z0?z) ； (2)z0是B的下确界 ?(?x?B)(z0?x)?(?z?A)((?x?B)(z?x) ? z?z0) ； (3)上确界即是最小上界，记为LUB(B)； 下确界即是最大下界，记为GLB(B)。 * 离散数学 注：?上(下)确界一般不一定存在；即使B(甚或A)是有限集合也未必； ? B的上(下)确界若存在，可以在B中，也可以不在B中； 例14.令：A={ ：n?N?n?1} B={ ：n?N?n?1} X=A?B 则B中每个元素都是集合A的上界,但A无上确界,即LUB(A) 不存在； A中每个元素都是集合B的下界,但B无下确界,即GLB(B) 不存在。 * 离散数学 定理2. 设(A,?)是半序集,B?A。若B有上(下)确界，则必是唯一的。 [证].仿定理1可证。留给学者。 注：?最大(