共查询到20条相似文献,搜索用时 15 毫秒
1.
引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集). 相似文献
2.
3.
偏序集上的Mobius反演公式(续)万哲先(中国科学院)5局部有限偏序集上的关联代数和推广的Mobius反演公式局部有限偏序集P上的Mobius函数可以看作是P上的关联代数中的元素,现在先给出关联代数的定义.定义7设P是局部有限偏序集,R是有单位元1... 相似文献
4.
5.
6.
给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴. 相似文献
7.
8.
唐照勇 《高校应用数学学报(A辑)》2022,(3):315-322
为研究偏序集的连通性,文中通过定义偏序集的上集列,进而给出上集列连通分支的概念.以上集列连通分支为工具刻画偏序集以及子偏序集的连通性.指出连通关系是一个等价关系,而一个类的本质就是一个上集列连通分支.揭示上集列连通分支的特征是一个连通分支并.还证明了偏序集可唯一地分解为连通分支的不交并.最后探究了在保序同构映射下连通子集的像(原像)仍然具有连通性.特别地,连通分支的像(原像)也是连通分支. 相似文献
9.
定义L-模糊偏序集上的L-核系统,给出了任一L-模糊偏序集上的L-核算子与L-核系统之间的一一对应关系,从而推广了有界完备L-模糊偏序集的情形,并使得模糊的情况与分明的情况更加协调。另外,也给出了L-闭包算子与L-闭包系统的相关结论。 相似文献
10.
11.
分层偏序集指的是一个偏序集,且具有其交为已知偏序的按包含递减的偏序族[10]。本文仿照[1]的思路,在分层偏序集上定义了不可约拓扑,讨论了该拓扑的基本性质,特别是限制到偏序集上即得Scott拓扑。不同于一般偏序集上的Scott拓扑恰为Alexandroff拓扑的不可约拓扑,本文通过例子表明分层偏序集上的广义Scott拓扑并非广义Alexandroff拓扑的不可约拓扑。 相似文献
12.
13.
14.
将一致小于关系移植到一般偏序集上,同时引入了上界小于关系,定义了偏序集的一致连续性和上界连续性.给出了一致连续偏序集的等价刻画,探讨了一致连续偏序集所具有的性质.主要结果有:(1)证明了偏序集上的一致连续性,上界连续性与s-超连续性均等价;(2)在交半格条件下,偏序集的一致连续性等价于它的每一主理想一致连续;(3)在并半格条件下,偏序集的一致连续性蕴含连续性,反之不成立;(4)一致完备的一致连续偏序集均是连续bc-dcpo,且每个主理想均为完全分配格;(5)在一致完备的条件下,一致连续性对主滤子,对闭区间,对Scott S-集以及对一致连续投射像均是可遗传的.文中也构造了若干实用的反例. 相似文献
15.
《中国科学:数学》2016,(9)
Dunstan等在1972年首先提出了超拟阵的概念,用以将定义拟阵的承载集合从有限集推广到偏序集.Barnabei等在1998年研究了另一种偏序集上的拟阵结构,即偏序集拟阵.由有限分配格和有限偏序集之间的对应关系可知,偏序集拟阵就是分配格上的超拟阵.本文研究超拟阵的公理系统,建立模格上的超拟阵的独立元公理,证明模格上超拟阵的中间基性质和基的交换性质并用这两个性质分别刻画了模超拟阵.最后指出了Barnabei等给出的分配超拟阵圈公理中的一个错误,重新提出并证明分配超拟阵的圈消去性质并建立了分配超拟阵的圈公理.作为圈消去性质的一个应用,本文证明了分配超拟阵中覆盖基的元素包含唯一的圈. 相似文献
16.
17.
偏序集上的滤子极大理想 总被引:3,自引:1,他引:2
在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。 相似文献
18.
n项非增非负整数序列是可图的,若是某个阶简单图的度序列.所有项和为2m、迹为f的n项可图序列的集合Gn,m,f在优超关系下是一个偏序集.本文刻划了偏序集Gn,m,f的极小元,并确定各种可图序列偏序集中极小元的个数. 相似文献
19.