分子格上伪补的构造

本文给出了分子格上伪补的构造定理，并证明了当一个非平凡分子格上有伪补，其既约因子上并不一定存在伪补，但其准既约因子上一定存在伪补，且任一分子格上的伪补都可表为其准既约因子上伪补的直积．     

完备格上并既约元的性质

首先给出一个连续并既约元的概念,然后在完备格上对并既约元的性质进行了探讨.     

既约真分数的一个性质

文 [1 ]证明了奇分母既约真分数可表成互不相同的奇数分母的单位分数之和 .即 :设 0 <ｍ<ｎ ,(ｍ ,ｎ) =1 ,ｎ为奇数 ,则存在ｋ个互不相同的奇数ｘ1 ,ｘ2 ,… ,ｘｋ,使下列等式成立 :ｍｎ =1ｘ1 +1ｘ2 +… +1ｘｋ本文发现既约真分数的又一个性质 ,即 :任何既约真分数都可表成互不相同的偶数分母的单位分数之和 .它与文 [1 ]结果相映成趣 ,但比文 [1 ]的结论更完备 .我们先证如下命题为真 .命题　设ａ≥ 2是自然数 ,则任何小于 2 ａ·3的正整数都可以写成 2 ａ· 3的不同约数之和 ,且每个约数的质因数分解式中含 2的幂最多 (ａ- 1 )次 .证明…     

完备主因子格

本文引入了主因子格的概念,讨论了完备主因子格中元素的结构.得到了完备主因子分配格有不可约并既分解的一个充要条件,证明了完备下连续的主因子格是有不可约并既分解的.最后讨论了完备主因子格中不可约并既分解的惟一性及可替换性,得到了完备下连续的主因子格有惟一不可约并既分解或者有可替换不可约并既分解的一些充要条件.     

拓扑分子格范畴中的积运算

文[1,2]以近年来发展起来的Fuzzy拓扑学中的工作为基础,建立了完全分配格上的点式拓扑理论。在文[1—3]的基础上,文[4]证明了分子格范畴对乘积运算封闭,并给出了其具体构造。本文进一步证明拓扑分子格范畴也对乘积运算封闭,同时给出了拓扑分子格范畴中的乘积结构。本文还证明这种乘积具有良好的性质,比如:连通性是可乘的最后,给出了这种乘积与L-Fuzzy拓扑空间乘积的关系。     

一类完备格的直积分解与Fuzzy格的构造

本文主要结果为:1.以拓扑空间的连通分支为工具,证明了由并素元生成的完全Heyting代数存在既约的直积分解,并且它的任意两个既约直积分解是等价的,从而推广了[1]的主要结果;2.利用完全分配格的既约直积分解,得到Fuzzy格的一个构造定理,并在此基础上讨论Fuzzy格的直积分解,证明了任一Fuzzy格存在既约直积分解,并在序同构的意义下是唯一的.     

点式拟一致分子格中的拓扑

分子格Ｌ上的一个点式拟一致结构可以诱导出Ｌ上的一个拓扑和一个余拓扑（）。本文证明了下面结论：（１）在拓扑分子格（Ｌ，＊（））中，每个分子皆有一个由（）一开元组成的远域基；（２）在拓扑空间（Ｌ，（））（这里Ｌ是Ｆｕｚｚｙ格）中，每个分子皆有一个由（）一开元组成的＊远域基；（３）若（Ｌ，）是点式一致Ｆｕｚｚｙ格，则（）＝（）。     

每个元有上覆盖的紧生成格的结构

Dilwrorth与Crawleyl973年提出能否去掉上半模格条件来刻画元素的不可约完全交既分解问题以及能否去掉强原子格的条件刻画紧生成格结构的问题,本文首先证明了每个元有上覆盖的紧生成格L中任意元有不可约完全交既分解,从而肯定地回答了Dilworth与Crawley上述第一个问题.之后,在每个元有上覆盖的紧生成格中引入局部强模格与局部强分配格的概念,研究了局部强模格中独立集的特性以及局部强模格与局部分配格的结构,从而部分解决了Dilworth与Crawley上述第二个问题.     

分圆多项式既约因式Φm（x）的快速计算方法

1 引言关于分圆多项式既约因式φm(x)的系数问题,近来《数学通报》连续刊登三篇文章(详见[1]、[2]、[3]进行讨论,为免于如[1]所指出的计算φm(x)时需作大量的多项式除法运算的不足,在文[2]的基础上,本文提出一种速算法,并应用它纠正了文[3]中一个反例φm(x)(m=399)的错误。2 方法     

可适用于退化情况的既约梯度算法

本文讨论了带有线性约束条件的非线性规划问题,提出了一种可以处理退化情况的既约梯度算法。并在目标函数一阶连续可微的较弱条件下证明了算法的全局收敛性。即证明了算法或在有限步内终止于问题的一个Kuhn—Tucker点,或得到一个点列{x~k},其任一聚点均为问题的Kuhn—Tucker点。     

分子格范畴中的极限

本文通过对完备格上“”关系的抽象分析，引入了　完备格及　下集的概念。讨论了下集的一系列性质。证明了一个完备格中所有下集之集构成一个分子格，由此再结合范畴论知识，构造出了分子格范畴中的极限结构。解决了分子格范畴性质这一研究领域中最困难的问题之一。     

格上点式p.q.度量的乘性

本文在可数多个分子格的乘积上构造了一个乘积点式p·q·度量函数,从而证明了点式p·q·度量分子格的可数积是可点式p·q·度量化的.     

对称拓扑分子格的直和

文章给出了对称拓扑分子格的直和概念,给出了拓扑分子格的直和的特征,证明了对称拓扑分子格的分离性Ti(i=-1,0,1,2)及可数性CⅠ,CⅡ是可和性质.     

拓扑分子格的S紧性和S次紧性

利用半开元等半拓扑概念在拓扑分子格中引入S紧性与S次紧性，给出了它们的刻画，推广了文[1]中的紧性与次紧性，证明了拓扑分子格的S紧性，S次紧性，STi分离性(i=-1，0，1，2)与STi^*分离性(i=0，1，2)为半拓扑性质。     

连续并既约元及其在刻画Fuzzy关系方程解集中的应用

本文首先引入连续并既约元(是并既约元但不是完全并既约元的元)的概念,并讨论了它的性质,然后应用连续并既约元的性质去刻画完备Brouwer格上无限Fuzzy关系方程A☉X=b的解集(其中A=(aj)j∈J和b已知,b为连续并既约元,X= (xj)j∈JT未知,“☉”表示“sup-inf”,J为无限集):给出了方程存在可达解与不可达解的充要条件及可达解与不可达解的一些性质,进一步刻画了方程的解集．     

拓扑分子格中的有限余复盖性质

本文以素理想为基本工具，讨论了拓扑分子格中的有限余复益性质，给出了有限余复益性质的若干等价刻划。证明了关于有限余复盖性质的ＴＨＸＯＨＯＢ乘积定理成立；具有有限余复盖性质的Ｔ２拓扑分子格是Ｔ４的；在一定条件下Ｔ２拓扑分子格中的具有有限余复盖性质的元素是闭元。     

Limit分子格

通过在完全分配格上引入理想收敛,给出ｌｉｍｉｔ分子格及其范畴,证明了其是包含拓扑分子格范畴为全反射范畴的笛卡儿闭范畴．     

完备主因子格上的不可约并既分解

讨论了完备主因子格的一些结构性质,得到了完备分配格有不可约并既分解及不可约完全并既分解和不可约连续并既分解的一些充要条件。     

条件交半格中的相对极大滤子

引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元.一个格是分配的当且仅当每一个相对极大滤子都是素滤子.随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格.     

分子格的构造

王国俊同志在[1][2]中定义了分子格和拓扑分子格,对拓扑分子格的分离性进行了一系列的研究。本文拟对分子格的构造作一研究,并将[2]中某些定理进行推广,文中涉及的概念和符号除另有定义者外都按照[1][2]。