离散数学结构 第十三章 格与布尔代数.docVIP

第十三章 格与布尔代数 13.1 格的定义与性质 一、格作为偏序集的定义 1．格的定义定义13.1 设S,是偏序集,如果x,yS,{x,y}都有最小上界和最大下界,则称S关于偏序作成一个格。 由于最小上界和最大下界的唯一性,可以把求{x,y}的最小上界和最大下界看成x与y的二元运算∨和∧,即求x∨y和x∧y分别表示x与y的最小上界和最大下界。 ??? 这里要说明一点，本章中出现的∨和∧符号只代表格中的运算，而不再有其它的含义。 2．格的实例 例13.1 设n是正整数,Sn是n的正因子的集合。D为整除关系,则偏序集Sn,D构成格。x,y∈Sn,x∨y是lcm(x,y),即x与y的最小公倍数。x∧y是gcd(x,y),即x与y的最大公约数。图13.1给出了格S8,D，S6,D和S30,D.图13.1 例13.2 判断下列偏序集是否构成格,并说明理由。(1) P(B),,其中P(B)是集合B的幂集。(2) Z,≤,其中Z是整数集,≤为小于或等于关系。(3) 偏序集的哈斯图分别在图13.2中给出。 二．格的性质 1．对偶原理 定义13.2 设f是含有格中元素以及符号=,,,∨和∧的命题。令f*是将f中的替换成,替换成,∨替换成∧,∧替换成∨所得到的命题。称f*为f的对偶命题。 