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

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

De Morgan偏序集的刻画与同余关系

借助于上集算子和下集算子给出了De Morgan偏序集概念并讨论了它的一些性质,得到了由De Morgan偏序集的弱理想生成的最大同余关系.     

偏序集上的局部弱极大理想

文章在偏序集上引入并考察局部弱极大理想,给出偏序集上的局部弱极大理想的存在性定理和偏序集上弱理想的一个分解定理,特别地,在满足弱理想降链条件的偏序集上弱理想的一个分解定理.这些定理推广有关文献中的相关结果.     

L-偏序集上闭包算子和内部算子的等价刻画

给出L-偏序集上LK-闭包L-系统和LK-内部L-系统的概念.结果表明,在L-偏序集上,LK-闭包L-系统(LK-内部L-系统)和LK-闭包算子(LK-内部算子)之间存在一一对应关系.     

有限偏序集中交族的Sperner型性质

在有限分次偏序集上定义交族,在其上讨论Spemer理论中的各种性质,如Spemer性质、LYM性质以及正规匹配性质等,并给出这些性质之间的关系.     

偏序集拟阵间强映射的交换性质

首先给出偏序集拟阵上秩的概念，并由此产生了偏序集拟阵间(秩)强映射的概念，这种强映射满足交换性质．然而，之后给出的(平坦)强映射却不满足交换性质．说明拟阵间的强映射之交换性质是不能直接推广到偏序集拟阵上．     

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

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

偏序集上的相对余定向集

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

偏序范畴若干问题研究

本文介绍了关系及关系矩阵等概念,并着重讨论了偏序关系及对应的偏序范畴、偏序矩阵,刻划了偏序范畴的始对象、终对象和零对象,偏序范畴的积范畴以及给出相应的矩阵的关系,即积范畴对应的偏序矩阵是原来两个偏序矩阵的张量积;讨论了等价的偏序范畴对应的偏序集之间的关系.     

紧生成的偏序集

本文根据格上紧元的定义,在偏序集中给出了紧元的三种定义方法,并对其等价性进行了证明。在偏序集中紧元定义的基础上,得到证明了紧元的相关性质。然后在偏序集中给出了格中没有的强紧元的定义,在此定义的基础上,分别提出证明了:满足升链条件的偏序集是强紧元的;强紧元的偏序集不一定是紧生成的偏序集。并推广证明了格中紧元的相关性质:如紧生成偏序集的子集一定是紧生成的偏序集;每个紧生成的偏序集P都是弱原子的;若偏序集中的元都是紧元当且仅当偏序集满足升链条件。给出了偏序集中上连续、下连续的概念,并证明了每个紧生成的偏序集都是上连续的。     

Z-连续偏序集的特征与稠密度

该文引入了Z-连续偏序集的局部基和稠密子集的概念,基于此定义了Z-连续偏序集的特征和稠密度;给出了局部基的刻画,并讨论了Z-连续偏序集的特征和稠密度与Z-连续偏序集上Z-Scott拓扑和Z-Lawson拓扑的特征、稠密度之间的关系;证明了Z-连续偏序集上Z-Scott拓扑的特征小于或等于Z-连续偏序集及其Z-Lawson拓扑的特征,Z-连续偏序集的稠密度与其Z-Scott拓扑的稠密度相等,且小于或等丁Z-Lawson拓扑的稠密度.     

W-代数偏序集及其性质

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

偏序集上的局部极大理想

在偏序集上引入并考察了偏序集上的局部极大理想,证明了偏序集上的局部极大理想的存在性定理和偏序集上理想的分解定理,特别地,在满足理想降链条件的偏序集上理想的分解定理.     

拟极小集及其对于连续偏序集理论的应用

本文以拟极小集概念为基础,论述了连续偏序集的刻划问题,对于连续偏序集之间的余态射作了详细的分析。对J.D.Lawson和R.E.Hoffmann所确立的完全分配格与连续偏序集间的对应关系给出了一种新的处理。     

概念格上一类新的序同构关系

在形式背景的对象集合幂集P(G)和属性集合幂集P(M)上定义了偏序关系.证明了偏序集(P(C),≤)或(P(M),≤)与概念格U(K)之间存在序同构关系.给出了一种利用序同构关系构造U(K)中所有概念的内涵和外延的方法.所得的若干定理拓展了文献中的研究结果.     

DEA有效单元的特征及SEA方法

ＤＥＡ有效是数据包络分析最重要的概念之一,ＤＥＡ有效单元与偏序集的极大元之间具有紧密的关系,从偏序集的理论出发,刻画了ＤＥＡ有效单元的本质特征,给出了变换不变性的一个充要条件,同时将ＤＥＡ有铲的定义拓广到偏序集上,给出了ＳＥＡ有交的概念,并得到了一些相关性质 。     

偏序集上的理想极大滤子及其应用

在偏序集上引入了理想极大滤子的概念,同时给出了分配格的一个新的内部刻画.     

超完备连续性质的一个局部特征

有限表示和树性质是研究超性质的重要工具,James利用有限树和有限表示定理给出了超自反空间的重要特征.在研究超自反空间和再赋范问题时,树性质成为行之有效的研究工具,本文引入了可分有限树的概念并利用Banach空间中两个集合之间的有限表示的概念,讨论了完备连续性质和具有超完备连续性质的非空有界闭凸集的性质,给出了超完备连续性质的一个局部特征,并且用可分有限树刻划了具有超完备连续性质的Banach空间.     

关于一致连续偏序集的权的一些性质

引入了一致连续偏序集的基的概念,给出了其一些等价刻画,讨论了一致连续偏序集的权与相应一致Scott拓扑空间的权之间的关系,并且进一步讨论其与相应的一致Lawson拓扑空间的权之间的关系.最后给出了在一致连续偏序集中,有w(Λ(P))=w(P)=w((P)).     

偏序集的主理想连续性和闭区间连续性

在偏序集上引入并考察了主理想连续性(相应地代数性)和闭区间连续性(相应地代数性). 证明了主理想连续性(代数性)和通常的偏序集连续性(代数性)是等价的. 构造了反例说明闭区间连续性与通常的偏序集连续性互不蕴涵. 证明了连续偏序集(代数偏序集)如果非空有限集有多值并，则必定是闭区间连续集(代数集)；而闭区间连续性(代数性)附加下方控制条件，则蕴涵通常连续性(代数性). 得到了Scott Domain的两个新的等价刻画.