完备强对偶原子分配格上的不可约极小并分解及其应用.pdfVIP

数学年刊 2009，30A(6)：811-828 完备强对偶原子分配格上的不可约 极小并分解及其应用水木 屈小兵木 王学平，．c 提要在完备强对偶原子分配格上引入了不可约极小并分解的概念，给出了元素存在不可约极小并分 解的一些充要条件．证明r当元素恰有一个下邻时，该元素就足完全并既约元；有两个下邻时，元素 的不可约极小并分解与不可约完全并既分解足等价的；下邻多于两个时，元素的不可约极小并分解不 一定足不可约完全并既分解．最后证明了模糊关系方程有极小解的充要条件是方程左边有大于等于右 手项的系数或右手项系数有不可约极小并分解． 关键词完备格，分配格，强对偶原子格，不可约极小并分解，模糊关系方程，极小解 MR(2000)主题分类06815，06D05，03E72 中图法分类0153．1，0159 文献标志码A 文章编号1000-8314(2009)06-0811—18 1引 言 殊链条件和非半模格中元素的完全并既分解问题，得到了对偶紧生成格中每一个元素都 有完全并既分解，对偶紧生成的强对偶原子格中每一个元素都有不可约完全并既分解， 以及对偶紧生成的强对偶原子格是有惟一不可约完全并既分解和有可替换的不可约完全 并既分解的一些充要条件等重要结论．在这之后，文[4-9】等先后在一定条件下刻画了具 有惟一不可约完全并既分解的格．最近， Semyonovaf10，111也对有惟一不可约完全并 既分解的格进行了讨论．不仅如此，格上元素的分解问题在格代数系统很多其它理论的 研究中也占有重要地位，如格上关系方程的求解等(见【12])．设A=(aq)jב，为取值于 B=(bi)i∈J为取值于完备Brouwer格L上的列向量，则称矩阵方程 Aox=B (1．1) oX=B)． 合成．满足方程(1．1)的x称为方程(1．1)的解，记。筋={x=(％)J∈‘，：A 方程(1．1)的一种特殊形式为 AoX=b (1．2) 或 Axi)=b， V(ai iEl 本文2008年9月16日收到，2008年12月26日收到修改稿． ·四Jll师范大学数学与软件科学学院，成都610066． E-mail：quxiaobin92002@hotmail．corn；xpwangl@hotmail．corn }}国家自然科学基金(No与四川省青年基金(No．05ZQ026-003)资助的项目． 万方数据 812 数学年刊 30卷A辑 A 记彤={X=(xi)i∈J：b=V(ai L ， iE， 【13】，研究表明：如果甄≠a，则％是有最大元的并半格(见【13】)；当，与J均为有限 指标集，并假定右手项系数B的每个分量b{或b有不可约有限并既分解时，文【14，15】 分别给出了方程的解集，文【16，17】证明了在解集非空时每一个解有极小解，甚至给出 了形中极小元的个数公式； 2003年，文[12】证明了方程(1．2)在解集非空时每一解有 极小解的充要条件就是b有某种并分解．我们要IXJ的是该并分解到底是什么?为此，文 [18，19]在完备格上提出了连续并既约元及连续并既分解的概念，并应用它们的性质刻画 了方程(1．2)的解集．但不难看出b有连续并既约元及连续并既分解仅是我们能刻画方程 (1．2)解集的一个充分条件，不能回答前面的问题．本文将在完备强对偶原子分配格上深 入讨论元素的并分解M题，首先讨论元素的并分解与不可约并分解