Rudin性质与拟Z-连续Domain

对一般子集系统 Z,引入了 Rudin性质,给出了它的映射式刻划,作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了 Rudin性质及其映射式刻划在拟 Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟 Z-连续 Domain情形。     

拟Z-极小集及其应用

定义了拟Z-极小集,并证明了拟Z-连续Domain的每个元都有拟Z-极小集,在拟Z-连续Domain中,给出了保拟Z-极小集映射的几个等价刻画,并且在此基础上,运用Rudin性质,得到了拟Z-连续Domain上的两个相应扩张定理.     

Z-半代数偏序集

引入了Z-半代数偏序集的定义,讨论了Z-半连续偏序的性质,给出了Z-半代数偏序集的刻划定理。证明了Z-半代数偏序集在保Z-并的闭包算子下的像仍是Z半代数偏序集。     

C_Z-偏序集

我们将强Z-连续偏序集推广到了CZ-偏序集,并讨论了CZ-偏序集和强Z-连续偏序集之间的关系。同时我们定义了CZ-偏序集上的CZ-连续映射,得到CZ-偏序集在该映射下的像集仍是CZ-偏序集。最后,我们讨论了CZ-偏序集上的基及其相关性质。     

WZ-Domain与WZ-Scott拓扑

引入WZ-双小于关系, 以此为基础给出WZ-Domain的概念, 讨论它的基本性质, 证明当子集系统Z满足一定条件时, WZ-Domain上的WZ-双小于关系具有插入性.其次, 在Z-完备偏序集上定义WZ-Scott拓扑, 证明在一定条件下一个映射关于该拓扑是连续映射当且仅当该映射保定向的Z集之并. 最后对WZ-Domain上的WZ-Scott拓扑的性质进行研究, 证明对一类子集系统,WZ-Scott拓扑空间是Sober空间当且仅当该拓扑空间具有Rudin性质.     

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σZ(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σZ(P)是Sober的当且仅当σZ(P)具有Rudin性质,P贼予Z-Lawson拓扑λZ(P)是pospace,且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λZ(P))为严格完全正则序空间.     

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。     

一致极小集及其对一致连续偏序集的应用

对于一致极小集,讨论了它的一些性质及与一致连续偏序集的关系,给出了一致连续偏序集中保一致极小集映射的一些等价刻划。最后,得到了关于保一致极小集映射的扩张定理。     

拟连续Domain的拟基及其权

在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。     

Z-连通连续偏序集的特征和浓度

引入了Z-连通连续偏序集的局部基和稠密子集的概念,给出了局部基的一些刻画,在此基础上定义了Z-连通连续偏序集的特征和浓度。证明了Z-连通连续偏序集的特征和浓度与Z-连通连续偏序集带上Scott拓扑时的拓扑空间的特征和浓度相等,它们分别小于Z-连通连续偏序集带上Lawson拓扑时拓扑空间的特征、浓度。