分配格的幂格.pdfVIP

第27卷第6期 上饶师范学院学报 Vo1．27．No．6 2O07年12月 JOURNAL OF SHANGRAO NORMAL COLLEGE Dec．20o7 分 配 格 的 幂 格 黎爱平 ，邱爱梅2 (1．上饶师范学院，江西 上饶 334001；2．上饶市信州区第四中学，江西 上饶 334000) 摘 要：研究了分配格土的幂格，给出了格的相对凸子格的概念，得到了分配格土的幂格的一个充要条件。 关键词：分配格；幂格；相对凸子格 中图分类号：O153．1 文献标识码：A 文章编号：1004—2237(2fD7)06—0005—03 在文献[1，2]中，作者给出了幂格的概念，并且得到了它的一些相关性质。本文主要研究分配格上的幂 格，引进了格的相对凸子格的概念，在此基础上，获得了分配格上的幂格的一个充要条件。 本文中P(x)表示非空集合x的幂集，在无特别声明时，(L；V，^)均表示一个格。 定义l[ ]设(L；V，^)是一个格，LCP(L)一{ }，在L中定义运算：VA，BEL， AVB={aVbIaEA，bEB} A^B={aAbI aEA．b∈B} 若(L；V，^)是一个格，则称L为L上的一个幂格。 引理l[1]设(L；V，A)是一个格，LcP(L)一{0}，则( ；V，A)是L上的幂格的充要条件是VA，BEE，如下 四个式子成立： (1) AVB∈L； (2) A^B∈L； (3) AV(A^B)cA； (4) AA(AVB)cA。 注1。：设(L；V，A)是一个格，LCP(L)一{ }，若L为L上的一个幂格，则VAEL，有A是L的子格。 证 因为A^A=A，且AVA=A。 注20：设(L；V，A)是一个格， cP(L)一{ }，令s( )=U A，若 为L上的一个幂格，则s( )是L的一个子 A∈-f 格。 证 V a，bE s( )，则存在A，BEE，使得a∈A，b∈B，从而a^b∈A A BE L，且aV b∈A V BE L，因而a A b∈ s(L)，aVbES(L)，即s(L)是L的一个子格。 定理2 设(L；V，^)是一个分配格，LcP(L)一{0}，则( ；V，A)是分配幂格的充要条件是V A，BE L，如下 四个式子成立： (1) A V BEE； (2) A^BEE； (3) AV(A A B)cA； (4)A^(AV B)cA。 收稿日期12007—08—12 作者简介：黎爱平(1958一)，男，江西丰城市人，上饶师范学院教授，主要从事格论，幂格的研究。 6 上饶师 范学院 学报 2007(第27卷) 证 必要性：显然。 充分性：若条件满足，由引理1知，(L；V，^)是L上的一个幂格。V A，B，CE-L，由于(L；V，^)是一个 分配格，因而有 A^(B V C)c(A^B)V(A^C)和AV(B^C)c(AV B)^(AV C) 另一方面，V xE-(A^B)V(A^C)，设X=(al^b)V(a2^c)，其中al，a2E-A，bE B，cE-C，则x=(al V a2) ^(aI V c)^(bV a2)^(bV c)，因为(L；V，^)是L上的一个幂格，所以(al V a2)EA，从而( I V a2)^(al V c) ∈A，进一步有( l V a2)^(al V c)^(b V a2)E-A，因此xE-A^(B V C)，证明了，(A V B)^(A V C)cA^(B V C)，因而有 A^(B V C)=(A^B)V(A^C) 同理可证，AV(B^C)=(AV B)^(A V C)，因此(L；V，^)是一个分配格，即是说，(L；V，^)是一个分 配幂格。 推论2．1设(L；V，^)是一个分配格，LCP(L)一{ }，则(L；V，^)是分配幂格的