离散数学ii（李占山）7.4种特殊的格-1.pptVIP

§8.4 几种特殊的格 8.4.1 有 界 格 8.4.2 有 余 格 8.4.3 分 配 格 8.4.4 模 格 8.4.1 有 界 格 引理1 设(L，≤)是一个格。若S是L的任意一个有限非空子集，则S有一个最大下界和一个最小上界。 记集合S的最大下界为inf S； 集合S的最小上界为sup S。 Note: 对于格的一个无穷子集，引理1的结论不 成立。 例.在格（I+，≤）中，所有正偶数组成的集合 记为E+，显然，E+ ? I+，但E+没有最小上界。 定义. 格（L，≤）称为有界格，如果它有一个最大元素（记为1）和一个最小元素（记为0），亦即，对任意a∈L，都有 0≤a≤1 0，1称为格（L，≤）的界。 结论：有限格必是有界格 令L={a1，…，an} , 0 = a1×a2×…×an, 1 = a1⊕a2⊕…⊕an 引理2. 若（L,×,⊕,0,1）是有界格，则对任意a∈L，恒有 a ⊕ 0 = a， a×1 = a， a ⊕ 1 = 1， a×0 = 0。 定义. 在有界格（L，×，⊕，0，1）中，一个元素b∈L，称为元素a∈L的余元素，如果 a×b = 0， a⊕b = 1。