Ch18格与布尔代数.pptVIP

信息科学与技术学院智能科学系 冯寅 Email：FengYin@xmu.edu.cn * 第18章 格与布尔代数 18.1 格 18.1.1 格的定义 18.1.1 格的定义 格L中的任意二元子集都有最大下界和最小上界。不难证明，格L中的任何有限子集都有最大下界和最小上界。 18.1.1 格的定义 例18.1 （1）考虑偏序集Z+,D,其中Z+是正整数集合，D是一个整除关系，问此偏序集是否是一个格？ 18.1.1 格的定义 解 （1）对任意的a，b∈Z+，有： 18.1.1 格的定义 （3）假设Sn={s1,s2,…,sm}, 其中s1=1及 sm=n分别是n的最小和最大因子(m≤n)。 18.1.1 格的定义 （4）略。 18.1.1 格的定义 例18.2 （1）下面Hasse图所示的八个偏序集都是格： 18.1.1 格的定义 （2）下面Hasse图所示的五个偏序集都不是格： 18.1.1 格的定义 定理18.1 设L,≤是一个格，*和?分别是L上的保交和保联，则*和?满足： 18.1.1 格的定义 18.1.1 格的定义 18.1.1 格的定义 对任意的a,b∈L,有a≤b ? a∧b=a (18-1) 18.1.1 格的定义 证明：首先证明“≤”是一个偏序关系。 18.1.1 格的定义 18.1.1 格的定