离散数学课件-格与布尔代数.pptxVIP

格与布尔代数;11.1 格的定义与性质 偏序集A,?:自反性、反对称性、传递性 其中每对元素不一定都有上确界或下确界. 在这一章, 我们将讨论其中每对元素都有上确界和下确界的偏序集, 并将这种偏序集称为格.;定义1. 设S,?是偏序集,如果?x,y∈S, {x,y}都有上确界和下确界, 则称S关于?构成一个格. 注:(1) x∨y表示x和y的上确界(x,y取大) x∧y表示x和y的下确界(x,y取小) (2) S,?是格当且仅当?x,y∈S, x∨y, x∧y存在且x∨y, x∧y?S.;例1. 设n为正整数, Sn为n的正因子的集合, D为整除关系,则Sn, D构成格. ; 例2. 证明偏序集P(A), ?是格. 证明: 对任意的x,y∈P(A), 有 x∨y＝x∪y∈P(A), x∧y＝x∩y∈P(A), 所以P(A),?是格. ;例4. 判断下图中偏序集是否构成格, 并说明理由.;在格L,?中, 对任意的a, b, x∈L都有 (1) a∧b ? a, a∧b ? b; (2) a∨b ? a, a∨b ? b; (3) 若x ? a, x ? b, 则x ? a∧b; (4) 若x ? a, x ? b, 则x ? a∨b. 观察上述不等式可以发现,它们都是有规律的成对出现.这就是我们下面介绍