FS-偏序集和连续L-偏序集

引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集).     

C_Z-偏序集

我们将强Z-连续偏序集推广到了CZ-偏序集,并讨论了CZ-偏序集和强Z-连续偏序集之间的关系。同时我们定义了CZ-偏序集上的CZ-连续映射,得到CZ-偏序集在该映射下的像集仍是CZ-偏序集。最后,我们讨论了CZ-偏序集上的基及其相关性质。     

偏序集上的Mobius反演公式（续）

偏序集上的Ｍｏｂｉｕｓ反演公式（续）万哲先（中国科学院）５局部有限偏序集上的关联代数和推广的Ｍｏｂｉｕｓ反演公式局部有限偏序集Ｐ上的Ｍｏｂｉｕｓ函数可以看作是Ｐ上的关联代数中的元素，现在先给出关联代数的定义．定义７设Ｐ是局部有限偏序集，Ｒ是有单位元１...     

Z-半代数偏序集

引入了Z-半代数偏序集的定义,讨论了Z-半连续偏序的性质,给出了Z-半代数偏序集的刻划定理。证明了Z-半代数偏序集在保Z-并的闭包算子下的像仍是Z半代数偏序集。     

强Raney偏序集

引入强Raney偏序集的概念,讨论了强Raney偏序集的一些性质,证明了强Raney偏序集为超代数偏序集,定向完备的偏序集为强Raney偏序集当且仅当它既是Raney偏序集也是A-偏序集.     

S-定向完备偏序集范畴

给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴.     

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

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

偏序集的序连通关系及其序连通分支

为研究偏序集的连通性,文中通过定义偏序集的上集列,进而给出上集列连通分支的概念.以上集列连通分支为工具刻画偏序集以及子偏序集的连通性.指出连通关系是一个等价关系,而一个类的本质就是一个上集列连通分支.揭示上集列连通分支的特征是一个连通分支并.还证明了偏序集可唯一地分解为连通分支的不交并.最后探究了在保序同构映射下连通子集的像(原像)仍然具有连通性.特别地,连通分支的像(原像)也是连通分支.     

L-模糊偏序集上的核算子与核系统

定义L-模糊偏序集上的L-核系统,给出了任一L-模糊偏序集上的L-核算子与L-核系统之间的一一对应关系,从而推广了有界完备L-模糊偏序集的情形,并使得模糊的情况与分明的情况更加协调。另外,也给出了L-闭包算子与L-闭包系统的相关结论。     

Z-连通连续偏序集的特征和浓度

引入了Z-连通连续偏序集的局部基和稠密子集的概念,给出了局部基的一些刻画,在此基础上定义了Z-连通连续偏序集的特征和浓度。证明了Z-连通连续偏序集的特征和浓度与Z-连通连续偏序集带上Scott拓扑时的拓扑空间的特征和浓度相等,它们分别小于Z-连通连续偏序集带上Lawson拓扑时拓扑空间的特征、浓度。     

分层偏序集上的广义Scott拓扑与不可约拓扑

分层偏序集指的是一个偏序集,且具有其交为已知偏序的按包含递减的偏序族[10]。本文仿照[1]的思路,在分层偏序集上定义了不可约拓扑,讨论了该拓扑的基本性质,特别是限制到偏序集上即得Scott拓扑。不同于一般偏序集上的Scott拓扑恰为Alexandroff拓扑的不可约拓扑,本文通过例子表明分层偏序集上的广义Scott拓扑并非广义Alexandroff拓扑的不可约拓扑。     

偏序集的代数完备

引进一个偏序集的代数完备, 并且构造任意偏序集的一个代数完备.有最小元的并半格的代数完备正好是它的理想完备. 一个偏序集的代数完备同构于它的一个由下集作为元的完备格,并且这个完备格包含所有主理想. 基于代数完备的Galois联络的下扩张仍然是一个Galois联络.     

S-超连续偏序集的几个特征

本文在偏序集上引入Scott S-集、S-基、弱逼近元等概念,得到S-超连续偏序集的几个新的刻画。证明了偏序集是S-超连续的当且仅当任不同两点可由主滤子与Scott S-集分离当且仅当它有S-基。证明了有界完备偏序集(简记为bc-poset)L是S-超连续的当且仅当任不同两点可由Scott S-余滤子集分离当且仅当完全双小于关系■具有插值性质,且L中不同点决定的完全双小于下集也不同。     

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

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

超拟阵的独立集公理、基公理和圈公理

Dunstan等在1972年首先提出了超拟阵的概念,用以将定义拟阵的承载集合从有限集推广到偏序集.Barnabei等在1998年研究了另一种偏序集上的拟阵结构,即偏序集拟阵.由有限分配格和有限偏序集之间的对应关系可知,偏序集拟阵就是分配格上的超拟阵.本文研究超拟阵的公理系统,建立模格上的超拟阵的独立元公理,证明模格上超拟阵的中间基性质和基的交换性质并用这两个性质分别刻画了模超拟阵.最后指出了Barnabei等给出的分配超拟阵圈公理中的一个错误,重新提出并证明分配超拟阵的圈消去性质并建立了分配超拟阵的圈公理.作为圈消去性质的一个应用,本文证明了分配超拟阵中覆盖基的元素包含唯一的圈.     

H-代数偏序集

本文引入了H-代数偏序集的概念,讨论了它的一些基本性质.得到如下主要结果:(1)举例说明了代数偏序集未必是H-代数偏序集;(2)偏序集是H-代数偏序集当且仅当强紧元是它的强基;(3)偏序集是H-代数偏序集当且仅当它的局部Scott拓扑是强代数格.     

偏序集上的滤子极大理想

在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。     

可图序列偏序集的极小元

ｎ项非增非负整数序列是可图的,若是某个阶简单图的度序列．所有项和为２ｍ、迹为ｆ的ｎ项可图序列的集合Ｇ_ｎ,ｍ,ｆ在优超关系下是一个偏序集．本文刻划了偏序集Ｇ_ｎ,ｍ,ｆ的极小元,并确定各种可图序列偏序集中极小元的个数．     

偏序集上的强集及其应用

在偏序集上引入并考察强集,从另一个角度给出偏序集上元素之间一种等价关系——连通关系,并进行探究,进而将偏序集分为连通和非连通两类。此外,在不交并偏序集上给出分支、可分分支、不可分分支等概念,并进一步探讨偏序集上强集、非连通偏序集、不交并偏序集之间的关系。     

偏序集的完备化

首先给出了偏序集的一些完备化的具体构造，又给出了关于完备格中完备子集的某些有用的定理，最终解决了关于偏序集的所有可能的完备化问题