第七章 - 格.pptVIP

第7章格 格与布尔代数 格作为数学中一个很有特色的分支, 大体上说形成于二十世纪的三十到四十年代. 格作为一种理论, 它不只是代数学的一个部分, 而且在近代解析几何, 半序空间等方面也都有重要的作用. 布尔代数的问世比格要早,在十九世纪中叶,由英国数学家乔治·布尔研究并提出。 格与布尔代数 格和布尔代数在计算机科学中有广泛的应用，象有限自动机理论,开关网络理论，逻辑设计等领域都直接地应用了格和布尔代数的结论。 格－偏序集 定义：格的偏序定义 给出一个偏序集L,≤。如果对于任意a,b?L，L的子集{a,b}在L中都有上确界: sup{a,b}, 下确界: inf{a,b}，则称L,≤是一个格。 通常将上确界sup{a,b}记为a?b，将下确界inf{a,b}记为a*b. 格－偏序集 定理： 设L,≤是格，对任意a,b?L，有 ① a*a=a, a?a=a。 （幂等律） ② a*b=b*a, a?b=b?a。 （交换律） ③ a*(b*c)=(a*b)*c a?(b?c)=(a?b)?c （结合律） ④ a*(a?b)=a a?(a*b)=a （吸收律） 格－偏序集 关于格的对偶命题 对偶命题构成规律 格元素名不变,?与?，*与?全部互换。 格－偏序集 对偶原理 设Q是对任意格都成立的命题，将Q中的≤换为≥