离散数学p9pt.pptVIP

在格L,≤中,我们可以规定： a∨b=sup{a,b} a∧b=inf{a,b} 则∨，∧是格L,≤的两个二元运算，即：L,∨,∧ 是一个代数系统。该代数系统满足 定理１：在格L,≤所诱导的代数系统L,∨,∧ 中，结合律、交换律、幂等律、吸收律成立。 证明：略 命题：设L,∨,∧ 是一个代数系统，其中 ∨,∧ 都是二元运算且满足吸收律，则∨,∧都满足幂等律。 证明：略 定理2：设L,∨,∧ 是一个代数系统，其中∨,∧ 都是二元运算且满足结合律、交换律、和吸收律， 则L上存在偏序关系“≤”，使得L,≤是一个格。 证明：略 定义：设L,∨,∧ 是一个代数系统，其中∨,∧ 都是二元运算且满足结合律、交换律、和吸收律，则称L,∨,∧ 是一个代数格。 注：在偏序格在格L,≤中,我们可以规定： a∨b=sup{a,b} a∧b=inf{a,b}，则L,∨,∧ 是一个代数格，称为是由L,≤所诱导的代数格。 如在代数格L,∨,∧ 中，规定：a≤b?a∧b=a(或a∨b=b)，则L,≤是一个偏序格，称为是由代数格L,∨,∧ 所诱导的偏序格。 格的性质： p.p1 设L,∨,∧ 是一个格，对?a,b,c?L，如果a?b,c?d，则a?c?b?d,a?c?b?d p.p2 设L,∨,∧ 是一个格，对?a,b,c?L，有：a?(b?c)?(a?b)?(a?c) (a?b)