模糊完备格范畴中的乘积和余积

讨论了以L-模糊完备格为对象、以保任意L-模糊集并的映射为态射的L-模糊完备格范畴LSUP中的乘积和余积,给出了乘积和余积的具体结构,推广了经典完备格范畴的结论,为研究此范畴的其他性质打下了基础。     

广义完全分配格的逆极限

利用完备格同态为态射的广义完全分配格范畴的逆极限,讨论了函子保广义完全分配格范畴逆极限的条件,得出了广义完全分配格范畴上的局部连续的自函子保伴随且保满态射和单态射.     

完全分配格上的拓扑结构

本文在完全分配格上建立了T-结构理论(它是拟邻近结构理论在完全分配格上的推广),讨论了拟一致结构、T-结构和余拓扑的相互诱导问题。用范畴的观点讨论了这三种结构的关系,证明了T-分子格范畴同构于全有界拟一致分子格范畴;拓扑分子格范畴同构于交完备T-分子格范畴;一个完全分配格上全体T-结构在集合包含序之下构成完备格。本文的结果完善了完全分配格上的拓扑结构框架,推广了分明拓扑学和不分明拓扑学的相应理论。     

可数余定向极大集的若干性质

基于对偶可数连续格对可数余定向极大集进行研究.讨论了对偶可数连续格的一些内部刻画,获得了对偶可数连续格构成完全分配格的一个充分条件,并探究了完全分配格的若干个内部刻画.     

半Smooth格

该文引入半Smooth格和半Smooth代数格的概念,讨论它们的一些基本性质及与半连续格的关系,证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格.     

强广义连续格的完全链表现

建立强广义连续格的完全链表现定理 ,它包括前人关于完全分配格以及传统连续格的已知结果作为特例     

关于完备格成分理论中两个问题的探讨

研究了完备格成分理论中两个尚未解决的问题：（i)在非分配的完备格中,有限宽元素的成分也是有限宽的吗？（ii)什么样的映射能保持颗粒表示性质或颗粒性质？通过构造反例证明了在非分配的完备格中,有限宽元素的成分不必是有限宽的;还证明了完备格间的同构映射能保持颗粒表示性质和颗粒性质,通过反例证明了同构映射的条件不能减弱,从而解决了以上两个问题。     

完全分配格范畴的完备性与余完备性

证明了完全分配格范畴是完备的和余完备的格范畴。     

广义连续格Ⅰ

基于ｗａｙ－ｂｅｌｏｗ关系引进广义连续格及最大子集系作为研究工具。此类格统一了完全分配格和传统连续格的理论，并在拓扑，代数上有重要应用。     

格值Scott连续映射与Scott诱导L—拓扑（Ⅱ）

本文得到了连续格.超连续格和完全分配格的一组代数刻划和一组拓扑式刻划,对连续格和完全分配格的次直积表示定理的经典证明给出了一个简洁的直接处理,并在更广的框架下建立了一种相当完善的诱导空间理论——Scoot诱导空间理论,表明格值Scott连续映射可在连续格理论、经典格论、一般拓扑学和L-不分明拓扑学之间提供一个重要的连结物.     

完全分配格上的两个代数问题

研究了完全分配格上的矩阵及其行列式的性质，给出了完全分配格上矩阵的行列式的Laplace展开计算式：指出了完全分配格上的矩阵及其伴随矩阵与行列式的关系，并用完全分配格上矩阵的行列式给出了以完全分配格上的元素为系数的线性方程组的Cramer法则。结果表明完全分配格上的矩阵、行列式的一些运算、性质与实数域上的矩阵、行列式相应的运算、性质是不同的。     

关于两个Cartesian闭范畴交的一点注记

讨论了关于双Scott拓扑的一些性质．证明了范畴BICONT（即以双连续格为对象，以双Scott连续映射为态射的范畴）作为两个Cartesian闭范畴BICONTS（即以双连续格为对象，以Scott连续映射为态射的范畴）和BICONTSop（即以双连续格为对象，以对偶Scott连续映射为态射的范畴）的交范畴不是Cartesian闭范畴．     

完备格上的完全素滤子(英文 )

讨论了完备格上完全素滤子的性质,借助于完全素滤子,给出了完全分配格的刻划     

Q-紧性与强T_2分离性

在不分明拓扑学中,紧性是被普遍关心的问题,而且作了较为深入的研究,得到了一系列较好的结果,如文献[1—5],本文目的是在文献[6]中提出的拓扑分子格理论的框架下,首先是借助于完全分配格中元的成分概念把不分明拓扑空间中的Q-紧性概念推广到拓扑分子格中;其次是对于完全分配格中的不可比分子在拓扑分子格中引入了强T_2分离性概念。     

广义直觉模糊软集的格结构

为推广软集理论的应用范围,研究了广义直觉模糊软集的格结构.介绍了广义直觉模糊软集的概念,给出了广义直觉模糊软集的一些算子及其性质.利用定义的4个交并算子,讨论了广义直觉模糊软集的格结构.最后得到了广义直觉模糊软集的两种格结构,并且证得这两种格都为有界分配格.     

M-闭包空间的积、和与商

定义了M-闭包空间以及它们之间的连续映射。证明了M-闭包空间以及它们之间的连续映射所构成的范畴M-CS是一个topological construct但不是笛卡儿闭的(其中M是任一非空指标集),在此基础上给出了乘积M-闭包空间、直和M-闭包空间以及商M-闭包空间的概念,最后指出M-闭包系统和M-弱闭包算子可以相互确定。     

半格序完全正则周期半群

通过研究半格序完全正则周期半群,证明了半格序完全正则周期半群的乘法导出一定是正则纯正密码群。运用偏序关系,给出了半格序完全正则周期半群是半格序正则带和分配格的等价刻画。     

完全分配格上矩阵的若干研究

在完全分配格上定义了格矩阵,以及对称矩阵、幂等矩阵、逆矩阵等,通过给出了格矩阵的若干运算性质,讨论了有关对称矩阵、幂等矩阵的一些性质和定理,并给出证明.     

闭格的性质

对闭格进行研究,给出了闭格的等价刻画,讨论了闭格与Locale的关系,并证明了闭格的笛卡尔乘积仍是闭格.同时,得到了闭格在保任意并的满态射下仍是闭格,最后证明了闭格在闭包运算下的像是闭格.