首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到16条相似文献,搜索用时 31 毫秒
1.
给出了Z-连续偏序集和广义Z-连续偏序集的一些拓扑性质.文章主要证明了若P是一个强的Z-交连续的广义Z-连续偏序集,则它的Lawson拓扑λZ(P)是一个T3拓扑.  相似文献   

2.
讨论了广义Z-拟连续偏序集的一些性质.利用伴随给出了广义Z-拟连续偏序集的等价刻画.证明了当Z是具有有限族并性质的Rudin子集系统时,Z-交连续的广义Z-拟连续偏序集是Z-拟连续偏序集.  相似文献   

3.
引入了Z-连续偏序集的基的概念,给出了它的刻画定理.研究了Z-连续偏序集上的Z-Scott开集,Z-Lawson开集,Z-Scott拓扑及Z-Lawson拓扑的一些性质.  相似文献   

4.
Z-半连续偏序集的性质   总被引:1,自引:1,他引:0  
讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划.同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划.  相似文献   

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

6.
对于一般的子集系统Z,引入了Z-极小集的概念,给出了Z-连续偏序集中保Z-极小集与保Z-并和Z间的等价刻划及其有关性质,得到了关于保Z-极小集映射的扩张定理.  相似文献   

7.
广义Z-连续偏序集   总被引:1,自引:0,他引:1  
研究了广义Z连续偏序集在Z连续的闭包算子下的像还是广义z连续偏序集,证明了一个强广义Z连续偏序集在推广的lawson拓扑下是T2的  相似文献   

8.
基于一般子集系统Z,引入了拟Z-连续Domain基的概念,讨论了拟Z-连续Domain基的一些映射性质,将关于拟连续偏序集的一些性质推广到了拟Z-连续Domain.  相似文献   

9.
广义Z—连续偏序偏   总被引:1,自引:0,他引:1  
研究了广义Z=连续偏序集在Z-连续的闭包算子下的像还是广义z-连续偏序集,服一个强广义Z-连续偏序集在推广的lawson拓扑下是T2的。  相似文献   

10.
在偏序集上引入并考察了主理想连续性和闭区间连续性。证明了主理想连续性和通常的偏序集连续性的等价的,构造了反例说明闭区间连续性与通常的偏序集连续性互不涵。证明了连续偏序集如果非空有限集有多值并,则必定是闭区间连集;而闭区间连续性附加入方控制条件,则蕴函通常连结局续性得到了ScottDomain的两个新的等价刻画。  相似文献   

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

12.
众所周知,偏序集理论在研究广义拟阵论中起着重要作用.但是偏序集理论与不同种广义拟阵间的包含关系的直接联系是什么呢?怎样运用偏序集理论的手法去解决该问题呢?为得到答案,首先对于定义在同一集上的全体广义拟阵构造一个偏序关系,运用这种偏序关系讨论不同种的广义拟阵间的包含关系.多数结论是以构造方式给出,因此也使其在理论和运用方面更加简捷明了.  相似文献   

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

14.
偏序集拟阵的基和圈   总被引:1,自引:0,他引:1  
研究了偏序集拟基和圈的一些基本性质,得到了组合概型的一个反链是它的所有圈集的充分必要条件,从而得到了偏序集拟阵的圈公理,同时还纠正了文献[2]中的一个错误。  相似文献   

15.
引入几个偏序范畴的相关概念,如链、偏序范畴之间的函子的矩阵表示等。首先解决了两个n秩偏序范畴之间函子的矩阵表示的存在性问题,其次给出了D4型Dynkin图作为偏序范畴上所有自函子的矩阵刻画。  相似文献   

16.
给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足(ab)→c=a→(b→c),那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号