极小圈模对与二元域拟阵的特征

研究极小圈模对与二元域拟阵的特征.首先给出拟阵M的极小圈模对,模对的并的秩与相应的超平面的交的秩三者的等价关系.在两个极小圈不等的条件下,证明了满足极小圈消去公理的极小圈是唯一的并且极小圈模对的对称差包含在其中,结合极小圈的对称差的表示,证明了极小圈与基的差的绝对值大于等于2.后面两个证明都把原来的必要条件推广为充要条件.最后,用M上不相同的极小圈,极小圈模对,极小圈的对称差表示,M上不相等的超平面,超平面的并不等于E及满足的秩等式极简单地刻划了二元域拟阵M的特征.     

关于自然偏序集的自然连续性

在自然偏序集中引入自然way-below关系,定义自然偏序集的自然连续性.证明在自然连续的自然偏序集上,自然way-below关系具有插入性,自然Scott开集格是完全分配格.利用(&)*收敛刻画了自然偏序集上的自然way-below关系,自然Scott拓扑和自然连续性.     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

完全分配格与点格

本文第一部分利用完备格上的上拓扑子基,给出完全分配格与点格的若干新刻划,并讨论其上的 Scott 拓扑与 Lawson 拓扑的基与子基的构造.第二部分讨论点格与代数格的关系,证明了 L 是点格当且仅当 L 为代数格且 L~(op)为完全 Heyting代数,并证明了代数偏序集范畴与点格范畴是等价的.     

完全分配格的谱论与拓扑分子格

本文借助于完全分配格的谱理论是首先证明分子格范畴同构于某连续偏序集范畴子范畴,然后利用上述同构,证明分子格上余拓扑同构于其中分子之集上。与分子序密切相关的某分明拓扑,从而就给“重域”“远域”这两个基本概念以合理解释,并证明许多拓扑分子格性质的研究可以化为相应的拓扑空间性质的研究.“重域”概念的引入,使 fuzzy 拓扑学的研究发生了根本变化,导致了有点派的兴起。而“远域”的引入,则导致因更广的拓扑分子格理论的产生,从而把 Fuzzy 拓扑为学纳入了拓扑格的范畴.本文中我们首先建立分子格范畴与连续偏序集范畴某子范畴的同构,从而把二者的研究紧密结合起来,然后借助上述同构把拓扑分子格中的问题的研究化为连续偏序集中问题去考虑,通过这种转化,我们将会看到,“重域”,“远域”等基本概念确为 fuzzy 拓扑学,拓扑分子格中唯一合理的点与集合的邻属关系,而择一原理这条fuzzy 拓扑学中的基本原理成立的原因也就变得很清楚。本文中凡未定义的概念请参看[4].     

HC-偏序集的若干性质

基于超连续格的内蕴式刻画,引入HC-偏序集的概念,讨论了HC-偏序集的一些性质.类似地,作为超代数格的推广,引入了HA-偏序集并讨论其相关性质.     

伪Scott拓扑与伪Scott开滤子

讨论抽象基(特别是偏序集带辅助序)上的伪Scott拓扑与伪Scott开滤子集的一些基本性质, 推广了Domain理论中一些熟知的结论,证明了抽象基上的伪Scott拓扑是完全分配格;若在偏序集P上赋予辅助关系＜, 则其上伪Scott开滤子之集是连续domain.     

偏序集上一致连续性的等价刻画与性质

将一致小于关系移植到一般偏序集上,同时引入了上界小于关系,定义了偏序集的一致连续性和上界连续性.给出了一致连续偏序集的等价刻画,探讨了一致连续偏序集所具有的性质.主要结果有:(1)证明了偏序集上的一致连续性,上界连续性与s-超连续性均等价;(2)在交半格条件下,偏序集的一致连续性等价于它的每一主理想一致连续;(3)在并半格条件下,偏序集的一致连续性蕴含连续性,反之不成立;(4)一致完备的一致连续偏序集均是连续bc-dcpo,且每个主理想均为完全分配格;(5)在一致完备的条件下,一致连续性对主滤子,对闭区间,对Scott S-集以及对一致连续投射像均是可遗传的.文中也构造了若干实用的反例.     

M-模糊化P-基集族和M-模糊化P-圈集族

引入了M-模糊化p-基集族和M-模糊化p-圈集族,并研究了他们的性质.借助于层拟阵结构,得到M-模糊化拟阵可分别由M-模糊化p-基集族和M-模糊化p-圈集族等价刻画这一合理结论.     

格中两类分配等式的关系研究

针对离散数学经典教材中提出的"交运算对并运算的分配等式和并运算对交运算的分配等式是等价的"这一结论,分析了一种常见的错误证明,通过一个反例说明该结论在一般的格中不一定成立,进一步证明这两个分配等式在且仅在模格中是等价的,并提出利用定义判断一个模格是否是分配格的简便算法.作为一个应用,重新证明了该教材中的一条定理.     

任意基数集上的拟阵之单扩张

对于由Betten和Wenzel于2003年提出的任意基数集上的拟阵其相应的秩公理给予了证明,并将此结果用于研究任意基数集上的拟阵的单扩张问题.     

测度拓扑和连续偏序集的刻画

研究偏序集上的测度拓扑以及与其它内蕴拓扑间的关系,利用测度拓扑刻画了偏序集的连续性.构造了反例说明存在完全分配格,其上的测度拓扑不是连续格从而不是局部紧拓扑.     

z-代数偏序集的范畴特征

讨论z-代数偏序集一些性质,主要证明z-代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.     

Z_S-相容连续偏序集及其相关范畴性质

引入了Zs-相客集系统的概念,讨论了Zs-相客连续偏序集的一系列性质.证明了Zs-相容连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴.     

L-Fuzzy Domain及其相关性质

基于[5]提出的L-fuzzy拟序集，引入L-fuzzy集关于L-fuzzy偏序的并，当L是完全分配格时L-fuzzy拟序集上的L-fuzzy定向集等概念，在此基础上定义L-fuzzy domain，证明它是通常Domain的模糊推广，并得到若干相关性质。     

Lawson-Hoffmann对偶定理的推广

本文讨论了Z－连续偏序集的一系列性质，主要证明了Z－连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴．     

关于模糊拟阵的圈子集套

本文主要采用通过导出拟阵来研究模糊拟阵的方法,探讨模糊拟阵模糊圈的性质和构造。这种方法的基本原理是两条:闭模糊拟阵可以由其导出拟阵序列和基本序列唯一确定,而模糊圈可以被分解为导出拟阵的圈和独立子集套。借助这种方法,本文主要做了三方面工作:一是讨论了模糊拟阵的模糊圈集和导出拟阵圈集之间的关系。比如模糊圈、初等模糊圈和最大初等模糊圈与导出拟阵圈之间的关系等;二是基于模糊圈和导出拟阵圈之间的关系,定义了导出拟阵圈函数和导出拟阵圈子集套两个概念。然后,详细研究了利用这两个概念来构造模糊圈的方法。同时,分析了在圈子集套和数列满足什么条件时,这种方法有效;三是分别用导出拟阵圈和圈子集套给出了准模糊图拟阵和精细模糊拟阵的充要条件。     

任意基数集上的拟阵的圈及连通性

通过研究任意基数集上的拟阵圈的性质,继而得出当此拟阵连通时,它可由含任一给定元素的圈集唯一确定的结论.     

半模弱Brandt半群（英文）

全子半群定义为包含所有幂等元的子半群.众所周知,一个半群所有全子半群关于集合的包含关系构成格.一个ample半群称为分配的(模的;半模的),如果其全子半群格为分配格(模格;半模格).本文得到了弱Brandt半群成为半模(模;分配)ample半群的充分必要条件.作为应用,确定了本原半单ample半群何时为模(分配)ample半群.     

拟阵与概念格的关系

本文以构造的方式建立起拟阵与概念格的联系,得到在同构意义下每个拟阵是一个概念格,但反之不然的结论;该结论使得利用概念格的性质研究拟阵成为现实,特别为将建造概念格的算法尤其是已计算机化的算法应用于求取拟阵奠定了基础,也为拟阵论成为研究概念格性质的辅助工具打下基础．