方世昌离散数学第三版教材课件第7章格与布尔代数.pptVIP

第7章 格与布尔代数 7.1 格 7.2 格是代数系统 7.3 特殊的格 7.4 布尔代数 7.1 格 在第三章曾讨论过偏序集合,定义了有关的术语。并曾证明过:(1)一个偏序集合的子集,如果存在最小上界(lub),则它是唯一的,如果存在最大下界(glb),则它也是唯一的;(2)如果偏序集合拥有最小元素,则它是唯一的,如果偏序集合拥有最大元素,则它也是唯一的。我们就以这些知识为基础介绍格的概念和有关性质。 7.1.1 格的定义 定义7.1―1 设〈L,≤〉是一个偏序集合,如果L中每一对元素a,b,都有最大下界和最小上界,则称此〈L,≤〉为格。 通常用ab表示｛a,b｝的最大下界,用a b表示｛a,b｝的最小上界。即 a * b=glb｛a,b｝ a b=lub｛a,b｝ 例7.1-1 (a)设D是正整数集合I+中的整除关系,则〈I+,D〉是格,因为对任意a,b∈I+, a*b=glb｛a,b｝=GCD{a,b} (a,b的最大公因数) a b=lub｛a,b