连通代数domain上相容紧元及范畴的研究

基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件.研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构.最后,证明了连通代数domain范畴与偏序集范畴等价.     

偏序集上的蕴涵

首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念，得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画，又从格论的角度出发；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件．     

Z-半连续偏序集的性质

讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划．同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划．     

W-代数偏序集及其性质

引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定向并的单的核算子下的像是W-代数偏序集。最后得到了每一点有最小局部基的弱Domain是强W-代数Domain,证明了弱Domain上的Scott连续映射保局部基当且仅当它保Weakly way below关系。     

相容双有限domain及相关范畴性质

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题．并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴．还讨论了相容定向完备偏序集及相容代数domain上的几个性质．     

一致连续偏序集理论

给出了一致连续偏序集的概念及其性质和等价刻划。利用一致极小集的方法阐述了映射的连续性、保一致小于关系和保一致极小集之间的联系，并证明了完备格是一致连续格当且仅当每个元都存在一致极小集。     

两类代数Domain范畴的等价

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性，其次通过引入两类新的偏序集即L-偏序集和B-偏序集，构造了范畴LPOSa（由L-偏序集与逼近关系组成）和范畴BPOSA（由B-偏序集与逼近关系组成），并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价．     

自由Dcpo和自由并完备格的结构和性质

给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构，分别讨论了它们的性质，证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格．     

模糊完备格上的模糊同余关系

在模糊完备格中引入模糊完备格同余关系的概念,讨论了模糊完备格同余与模糊闭包算子之间的关系.证明了一个模糊完备格上的模糊同余关系之集构成的模糊偏序集模糊序同构于其上的模糊闭包算子之集构成的模糊偏序集.给出了模糊完备格同余的商的概念,证明了任一模糊完备格满同态的像都模糊序同构于由该模糊完备格同态所诱导的同余关系的商.     

Z—连续偏序集的Z—极小集理论

给出了Ｚ－连续偏序集上Ｚ－极小集的概念及其性质和等价刻划，利用Ｚ－极小集的方法阐述了映射的连续性及保Ｚ－Ｂｅｌｏｗ关系和保Ｚ－极小集之间的联系，并证明了完备格是Ｚ－连续格当且仅当每个元都存在Ｚ－极小集     

偏序半环上的半拟序格

给出了偏序半环的半拟序集构成的格,证明了它是完备的分配格,并讨论了偏序半环的两个特殊的半拟序格,即拟序集构成的格与楄序集构成的格的关系。     

基于偏序集的耦合不动点定理

在相对良序完备集和良序完备集的概念的基础上,利用混合单调映射的迭代方法,给出了偏序集上混合单调映射的耦合不动点的若干存在性定理。     

格上保并映射的若干特征定理

在一般完备格L中引入(L)集族的概念,利用完备格上的“”关系、(L)集族及其完备格之间的一映射作为工具,对完备格及其分子格上的保并映射进行了研究,得到了保并映射的若干新的特征定理.证明了完备格之间的一个映射是保并映射当且仅当它是—映射;完备格L到平凡格{0,1}上的全体保并映射之集是一个分子格当且仅当L是分子格;一个强分子格到另一个强分子格土的保并映射之集构成一个新的强分子格.     

偏序集上Z—态射的刻划

该文引入了Ｚ－Ｓｃｏｔｔ连续映射的概念,证明了Ｚ－完备偏序集上的映射为Ｚ－连续映射当且仅当它为Ｚ－Ｓｃｏｔｔ连续映射,并由此得到了偏序集上Ｚ－态射的刻划定理。     

一类基于R-偏序集的Scott不动点定理的简单变异

对R-完备的R-偏序集,证明了(1)R-连续映射关于偏序族中偏序的最小不动点恰好作成其关于偏序族所逼近的偏序上的最小不动点的逼近序列,这区别于对最小不动点的"对角线"方式逼近;(2)R-连续映射一定是ω-连续映射;(3)关于偏序族中任何偏序都连续的R-连续映射一定是连续映射;(4)最后本文给出了以上结果的简单应用.     

关于半格的几个结果

一个半格可以定义为一个泛代数，也可以定义为一个偏序集．本文中，我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的．为了刻划半格的两种不同定义间的关系，我们建立了两个等式．此外，我们建立了一个充分必要条件．这一充分必要条件反映了两个半格之间的同构与这两个半格的理想格之间的关系．     

条件并半格上的相对极大理想

引入偏序集上的相对极大理想的概念,证明在任意的条件并半格中的一个理想是相对极大理想当且仅当它是理想格中的完全并即约元,最后给出了Heyting代数中相对极大理想的一个等价刻画.     

连续格的极小集刻画

仿照完全分配格中的做法,定义了完备格上的定向极小集和连续格上的定向极小映射,从而得到了连续格的定向极小集刻画,并研究了它们的一些性质。     

基于关系矩阵格的快速判定

利用纯代数的方法,构造了一种新的格的判别方法.由于格定义在偏序集上,利用偏序关系与关系矩阵的对应,分析关系矩阵的性质,定义了一个K阶子矩阵,通过K阶子矩阵判断该偏序集是否构成格,并在Matlab7做了实例验证,该方法思路规范、便于计算机程序化.     

偏序集上的相对余定向集

首先在偏序集上引入相对余定向集的概念,考察其性质,并给出相对余定向集族是完备格的一个充分条件。其次,给出相对余定向完备集的概念,并研究相对余定向完备集、余一致完备集之间的关系。