拟连续Domain的特征与浓度

在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念,在此基础上定义了拟连续Domain的特征和浓度.利用局部拟基给出拟连续Domain新的等价刻画,并探讨了拟连续Domain的特征、浓度与该拟连续Domain上赋予Scott拓扑或Lawson拓扑时的拓扑空间的特征、浓度之间的关系.证明了拟连续Domain的特征(浓度)等于其上赋予Scott拓扑时的拓扑空间的特征(浓度),且小于等于其上赋予Lawson拓扑时的拓扑空间的特征(浓度).     

函数空间［X→L］上若干拓扑之间的关系

作者讨论在函数空间上Isbell拓扑和Scott拓扑何时一致的问题,给出了以下主要定理:设L 是带有性质m的含最小元的连续domain,则函数空间[X→ L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain.     

函数空间[X→L]上若干拓扑之间的关系

讨论在函数空间上Isbell拓扑和Scott拓扑何时一致是domain理论中很重要的问题。作者给出了两个主要定理：(1) L 是带有性质m 的含最小元的连续domain，则函数空间[X→L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain. (2) L 是含最小元的连续domain，则函数空间[X→L]上Scott拓扑与 Isbell拓扑对于所有RW空间X一致当且仅当L是Lawson紧的。     

循环群偏序集上的拓扑

利用循环群的特殊代数结构,引入了Scott子群拓扑σP(G),讨论了循环群偏序集上3种不同拓扑之间的关系,即循环群拓扑O(G)、Scott拓扑σ(G)和Scott子群拓扑σP(G),并得出若(G,O(G))是T0的紧空间且sub(G)分离G中的点,则CO(G)=σ(G)=σP(G).     

偏序集乘积的拓扑与拓扑乘积

作者讨论了偏序集乘积的下拓扑、Scott拓扑及Lawson拓扑与它们各自对应的拓扑集积之间的关系,给出了乘积的下拓扑空间等于下拓扑乘积空间和乘积的Lawson拓扑空间等于Lawson拓扑乘积空间的充分必要条件,修正了专著《Continuous Lattices and Domains》的若干不正确的结论.     

连续广义度量空间

本文研究了连续广义度量空间的基本性质。首先证明了对于连续的广义度量空间，c-Scott拓扑和广义Scott拓扑相等；其次证明了连续度量空间之间的非扩张映射Yoneda连续当且仅当它关于广义Scott拓扑连续。     

相容连续Domain的特征与浓度

引入相容连续Domain的权与稠密子集的概念,在此基础上定义相容连续Domain的特征与浓度.给出局部基的刻画,并讨论相容连续Domain的特征、浓度与相容连续Domain带上Scott拓扑或Lawson拓扑时拓扑空间的特征与浓度之间的关系.证明相容连续Domain的特征、浓度分别带上Scott拓扑时拓扑空间的特征、浓度相等,它们分别小于相容连续Domain带上Lawson拓扑时拓扑空间的特征与浓度.     

双定向完备偏序集上的双Scott拓扑

本文在双定向完备偏序集上定义了双Scott拓扑,讨论了它的一些性质,得到关于双Scott拓扑紧性的刻画。     

关于积Domain上的Scott拓扑和连续函数Way-below关系的一点讨论

对任意一族具有小元的dcpo{Li}i∈I，证明了若每个σ(Li)是连续格，则ⅡLi上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑，得到了关于连续函数way-below关系的一些结果。     

局部dcpo上的S-极限

在局部dcpo上引入了S-极限的概念，并利用S-极限来刻划Scott拓扑和连续的局部dcpo。其主要结果：证明了U是Scott开集当且仅当U∈O(S)；D是连续的局部dcpo当且仅当，S-收敛是关于Scott拓扑的拓扑收敛。