共查询到10条相似文献,搜索用时 15 毫秒
1.
2.
引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集). 相似文献
3.
给出由偏序集生成的自由Z-domain,讨论自由Z-domain和偏序集的Dedekind-MacNeille完备化的一些性质。 相似文献
4.
一个集合与其上定义的偏序关系构成了一个偏序集,哈斯图简单明了的反映了一个偏序集中元素间的联系.本文从偏序关系的矩阵表示出发,给出了求哈斯图的一种方法. 相似文献
5.
6.
7.
8.
证明φ-完备偏序集是(强)P连续的当且仅当该偏序集的任一主理想是(强)φ-连续的。在φ-完备偏序集中利用φ-S集族生成f-Scott拓扑,并由此引入φ-交连续偏序集概念。证明φ-完备偏序集是P交连续的当且仅当该偏序集的任一主理想是φ-交连续的。 相似文献
9.
给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴. 相似文献