lawson拓扑相关论文
该文主要研究了完备半格上Lawson拓扑的一些性质,证明了在完备半格上Hausdorff分离性,单调Hausdorff分离性,正规性以及单调正规性......
用范畴语言刻划不同类型的子对象是范畴论的一个重要内容.各种单态(monomorphism)就是由此被引入和定义的,而这些单态在不同的拓扑......
作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系,给出了乘积的下拓扑空间等于下拓扑乘......
引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有:(1)每一FS-偏序集都是有限上集生成的,因而......
在偏序集中引入下极限的概念,利用下极限定义下收敛,讨论下收敛类所生成拓扑的若干性质,利用下收敛(类)刻画连续偏序集的Lawson拓扑......
引入相容连续Domain的权与稠密子集的概念,在此基础上定义相容连续Domain的特征与浓度。给出局部基的刻画,并讨论相容连续Domain的特......
在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念,在此基础上定义了拟连续Domain的特征和浓度.利用局部拟基给出拟连续Doma......
研究了Scott Domain上稳定映射的性主Scott Domain上稳定映射与拓扑之间的联系,给出了Scott Domain上稳定映射的特征定理,得到了Sctoo Domain上的稳定映射下Lawson拓扑之间的关系定理......
引入了连续Domain的局部基和稠密子集的概念,在此基础上定义了连续Domain的特征及浓度. 给出了局部基的刻画,并讨论了连续Domain的......
在图象处理中,我们需要给Rn的全体闭集上建立拓扑结构和度量结构.一种自然的称之为HM拓扑的拓扑结构已经建立,可以证明HM拓扑是紧......
在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与......
在连续格理论的基础上继续探讨连续Domain的权与相应Scott拓扑空间的权之间的关系,并进一步讨论其与相应的Lawson拓扑空间的权之间......
由于dcpo上赋予lawson拓扑后相对于s cot t拓扑会用更好的性质(由于lawson拓扑细于s cot t拓扑)。因此人们对lawson拓扑及lawson开......
偏序集中的下收敛概念在刻画连续偏序集的Lawson拓扑和交连续偏序集的连续性方面有着重要的作用.本文给出了下收敛的一个等价刻画,利......