离散数学格和布尔代数.pptVIP

中圖地质大学本斛监课程 离 ∷第11章格与布尔代数 本章内坐 11.1格的定义与性质 2分配格、有补格与布尔代数 本章总结 作业 11.1格的定义与性质 定义11.1设s,≤是偏序集,如果x,y∈s,{x,y都有最小 上界和最大下界,则称S关于偏序≤作成一个格( lattice) 说明:由于最小上界和最大下界的唯一性,可以把求{x,y的最 小上界和最大下界看成x与y的二元运算V和∧ xVy:表示x与y的最小上界 x∧y:表示x和y的最大下界。 本章出现的∨和∧符号只代表格中的运算,而不再有其它的 含义 指的例 例11.1设n是正整数,S是n的正因子的集合。D为整除关系, 则偏序集S,D构成格。Vx,y∈Sn, ∨y是lcm(x,y),即x与y的最小公倍数 x∧y是gcd(x,y),即x与y的最大公约数。 下图给出了格S3,D,S8,D和S30,D So, D 仞11.2 例11.2判断下列偏序集是否构成格,并说明理由 (1)P(B),,其中P(B)是集合B的幂集。 2),≤,其中Z是整数集,≤为小于或等于关系 (3)偏序集的哈斯图分别在下图给出