离散数学第2版课件作者尤枫第09章节格与布尔代数.PPTVIP

9章 格与布尔代数 9.1.1 偏序集定义的格 9.1.2 代数系统定义的格 9.1.3 子格与格的同态 9.2.1 分配格 9.2.2 有补格 9.3.1 布尔代数 9.3.2 布尔表达式 9.1.3 子格与格的同态 第9章 格与布尔代数 【例9-8】设L,≤是一个格，a∈L，S∈L定义为 S={x|x∈L,a≤x}，则S,≤是L,≤的 子格。 证明 对于任意x1,x2∈L，有x1∨x2∈L，x1∧x2∈L 和a≤x1，a≤x2，可得a≤x1∨x2， a≤x1∧x2，因此有x1∨x2∈S，x1∧x2∈S， 故S,≤是L,≤的子格。 9.1.3 子格与格的同态 第9章 格与布尔代数 【例9-9】设L,≤是格， 其中L={a,b,c,d,e,f,g,h,}， 哈斯图如右： 取 S1={a,b,d,f}，S2={c,e,g,h}， S3={a,b,c,d,e,g,h} 从哈斯图容易得知，S1,≤和S2,≤都是L,≤ 的子格，而S3,≤虽然是格，但它却不是L,≤ 的子格。因为b∧d=f，而f?S3。 a f d b c h g e 9.1.3 子格与格的同态 第9章 格与布尔代数 定义9