首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到18条相似文献,搜索用时 796 毫秒
1.
作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格(不要求定向完备性)范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.  相似文献   

2.
可数逼近偏序集是连续偏序集的一种推广,讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质,结果表明:可数逼近偏序集具有许多类似于连续偏序集的良好性质.  相似文献   

3.
张春波  徐晓泉 《江西科学》2008,26(3):353-355
在Z-连续偏序集的基础上对其上一些映射性质作了进一步的探讨。利用伴随给出了Z-连续偏序集的等价刻划。  相似文献   

4.
给出了Z-连续偏序集和广义Z-连续偏序集的一些拓扑性质.文章主要证明了若P是一个强的Z-交连续的广义Z-连续偏序集,则它的Lawson拓扑λZ(P)是一个T3拓扑.  相似文献   

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

6.
通过对偏序拟阵的偏序集性质和广义拟阵通的偏序集性质的分别研究,得到了偏序集拟阵和广义拟阵二的关系,即每个偏序集拟阵均为广义拟阵,但反之不然。又利用这种关系得出拟阵中的贪心算法能够推广到偏序集拟阵进而组合格式中,并阐述了利用这种关系对于研究偏序集拟阵理论和广义拟阵理论的一些其他作用。  相似文献   

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

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

9.
相容连续偏序集及其定向完备化   总被引:21,自引:1,他引:20  
引入了相容连续偏序集及其定向完备化等概念,证明了相容连续偏的定向完备化是连续偏序集;利用主理想及Scott拓扑刻画了相容连续偏序集,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序也当且仅当它的Scott拓扑是一个完全分配格;考察了相容性连续偏序集的定向完备化的范畴意义,得到相容连续偏序集范畴以连续偏范畴作为为满的反射子范畴。  相似文献   

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

11.
本文研究了Mobius交错偏序集,给出该类偏序集的纤维构造定理,并讨论其在积和区间运算下的保持情况.本文将Baclawski有关CM偏序集的一些性质推广到Mobius交错偏序集上.  相似文献   

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

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

14.
给出Z-完备集上的一个扩张定理.证明范畴ZP是一个笛卡儿闭范畴.  相似文献   

15.
偏序集上Z—态射的刻划   总被引:6,自引:3,他引:3  
该文引入了Z-Scott连续映射的概念,证明了Z-完备偏序集上的映射为Z-连续映射当且仅当它为Z-Scott连续映射,并由此得到了偏序集上Z-态射的刻划定理。  相似文献   

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

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

18.
如果一个有限偏序集P的Hasse图在图论意义上同构于一条路,那么称这个有限偏序集P为路偏序集,令f(n)表示n个元素不同构的路偏序集的个数,作者证明了。  相似文献   

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

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