董旭初《离散数学二教学》8.3 格 的 性 质.pptVIP

§8.3 格 的 性 质 8.3.1 对 偶 原 理 8.3.2 格 的 其 它 性 质 8.3.3 格的同态与同构 8.3.1 对 偶 原 理 定义. 集合L中的部分序关系R与其逆关系R-1， 称为互相对偶的两个关系。 对任意x，y∈L， xR-1y yRx。 结论1若R是部分序关系,则R-1也是部分序关系。 证明： 反身性： 因为对任意x∈L,xRx,因此xR-1x。 反对称性:若xR-1y， yR-1x,则有 yRx，xRy， 因此，x=y。 传递性: 若x R-1y， yR-1z， 则有 yRx，zRy， 因此，zRx，即x R-1z。 结论2 (L,R)中sup{a,b}=d (L,R-1)中inf{a,b}=d (L,R)中inf{a,b}=d (L,R-1)中sup{a,b}=d 结论3 如果部分序集（L，R）是格，则部分序集（L，R-1）也是格，反之亦然。 定义.格（L，R）与格（L，R-1）称为 互相对偶的两个格。 设格(L,R)是有最小元素0、最大元素1的格。 格中的表达式 定义. 格(L，R)中的表达式是由如下规则生成的符号串； 1） 0，1及变量X是表达式，X可以是L中任意元素，0，1分别是(L，R)中最小，最大元素。 2）若A，B是表达式，则(A⊕B)，(A×B)是表达式，其中⊕，×分别是格(L，R)中的最小上界和最大下界运算。 3）格(L，R)中所有表达式，都是有限次使用1）～2）生成的符号串。 对偶格中的对偶表达式 定义. 设（L，R）≡(L,⊕1，×1) ； （L，R-1） ≡(L, ⊕2，×2) ； E是格（L，R）中一个表达式。 如果将E中⊕1换为×2，×1换为⊕2， 将所得的格（L，R-1）中的表达式记为E*， 则称E*为E在其对偶格中的对偶表达式。 引理1 若XRY在格（L，R）中成立，则Y*R-1X*在对偶格（L，R-1）中成立，其中X*，Y*分别是表达式X，Y的在对偶格中的对偶表达式。 证明：因为对任意a，b∈L，都有 a⊕1b = a×2b a×1b = a⊕2b。 所以，将X，Y，X*，Y*中每一变量都以L中任意 元素代替，得X0，Y0， X0* ，Y0*，有 X0*= X0， Y0* = Y0 故有X0*RY0*，即有Y0*R-1X0*。 由于代入变量的元素的任意性，故有Y*R-1X*。 对偶原理1 若XRY在格(L,R)中成立,则Y*RX*也在此格中 成立,其中表达式X*,Y*分别是表达式X,Y的对 偶表达式。 证明：因为XRY在(L,R)中成立,所以X’R-1Y’在 （L,R-1）中成立,其中X’,Y’分别是将X,Y中的⊕1换为⊕2，×1换为×2,0换为1(当X或Y中有0时),1换为0(当X或Y中有1时)所得之表达式。 由引理1知,(Y’)*R(X’)*在(L,R)中成立，其中(Y’)*，(X’)*分别是Y’，X’在其对偶格中的对偶表达式。由X’，Y’，(X’)*，(Y’)*的定义知(X’)*=X*，(Y’)*=Y*，其中X*，Y*分别是X，Y的对偶表达式。故Y*RX*在(L，R)中成立。 也就是说，如果从格的公理H1,…,Hm演绎出结论 C,即C在格中成立,那么将此演绎的每一步中， 凡是使用公理Hi（i=1,…,m）的地方,都换成对 偶公理(i=1,…,m),于是演绎出的结论就是C的 对偶关系式C*，即C*在格中也成立。(所谓C的 对偶关系是指将C中的表达式换为对偶表达式， C中的关系换为对偶关系所得的关系式。) 因此，若在条件HRG下，有XRY，将HRG 看做是格中一条新的公理，把HRG的对偶关系 式H*R-1G*也做为新公理加到格中，于是，在 格中，XRY的对偶关系式X*R-1Y*在条件 H*R-1G*下也应该成立。 8.3.2 格 的 其 它 性 质 定理8.3.1 设（L，≤）是一个格，a，b是L中任 意元素，于是 a≤b a×b = a a ⊕ b = b 证明： 若a≤b，因为a≤a，所以a是{a，b}的下界，故a≤a×b。而a×b是{a，b}的最大下界，所以a×b≤a。故a×b=a。 若a×b=a，由吸收律知a⊕b=(a×b)⊕b=b 若a⊕b=b，由a⊕b的定义知，b是{a，b}的 最小上界，当然有a≤b。 定理8.3.2