半连续dcpo

作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下集U半Lawson闭当且仅当U为半Scott闭.最后研究了半连续映射,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.     

局部dcpo上的S-极限

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

Z-拟代数Domain

对一般的子集系统Z,引入Z-拟代数domain的概念,证明了Z-domain P是Z-拟代数的当且仅当P上的Z-Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z-拟代数domain P上的Z-Scottg拓朴σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质．     

广义代数格的可加性与T0拓扑

证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的，进而证明可加广义代数格之范畴等价于T0拓扑空间之范畴。因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用。     

T_0拓扑空间的拟连续性与交连续性

本文在定向空间的基础上通过收敛的方式定义了拟连续空间和交连续空间,推广了Domain理论中的相应结果.主要结果如下:(1)一个T_0空间是拟连续的,当且仅当它是局部强紧的,当且仅当它的开集格在集包含关系下是超连续格,当且仅当它的sober化是拟连续dcpo;(2)一个定向空间是交连续的当且仅当它的闭集格在集包含关系下是一个Frame;(3)一个T_0拓扑空间是c-空间当且仅当它既是交连续的又是拟连续的.     

拟代数Domain的若干性质

基于拟连续Domain的等价定义及其构造，研究了拟代数Domain的一系列性质，并且给出了它的等价刻画，由此得到拟代数Domain一定是拟连续Domain．通过讨论Scott连续闭包算子保持集合与集合之间的Waybelow关系这一特性，证明了拟代数Domain在Scott连续闭包算子下的像仍是拟代数Domain；得到了拟代数Domain上赋予Scott拓扑构成Baire空间，拟代数格上赋予Lawson拓扑构成Priestley空间等结论．     

格效应代数的理想与同态

给出了一些格效应代数的例子,并讨论了其理想.证明了效应代数的一个子集是代数系统F的一个极大效应代数理想,也是F的一个格理想当且仅当它是某个同态映射的核.特别地,单态射的像是一个子效应代数.得到了广义效应代数的真理想是一个子广义效应代数,子广义效应代数也是一个真理想.     

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

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

关于代数L-domain的一个刻画定理

引入了强core紧拓扑空间的概念,给出了代数L-domain的刻画定理,其主要结果是:偏序集D是代数L-domain当且仅当对每个强core紧拓扑空间X,函数空间[X→D]是代数L-domain.     

相容半连续dcpo

作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑:相容半Scott拓扑.