离散数学及其应用-08 格与布尔代数.pptx

8.1格的概念与性质

8.2布尔代数的概念与性质

;类似于环和域,格是另外一种具有两个二元运算的特殊代数系统。关于它的定义有两种形式,一种是从代数系统角度的定义,另一种是从偏序集的角度进行定义。

格的相关定义

设L是非空集合,*和·是L上的两个二元运算,如果*和·满足交换律、结合律和吸收律,则称L,*,·构成格(lattice),也称为代数格。

;设在自然数集N上定义两个运算*和·,其中x*y=max(x,y),x·y=min(x,y),试证明N,*,·构成了一个代数格。

证明

(1)证明*和·满足交换律。

?x,y∈N

x*y=max(x,y)=max(y,x)=y*x

x·y=mi