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-连续格和双Z-Scott拓扑的性质

在完备格上定义了双Z-连续格和双Z-Scott拓扑,讨论了双Z-Scott拓扑的格序性质.得到了当P是Z-拟连续时,双Z-Scott拓扑是T2的;证明了双Z-连续格在保Z-双小于关系和对偶Z-双小于关系的双Z-Scott连续映射下的像仍是双Z-连续格.

Z-连通连续偏序集的权的一些性质

引入Z-连通偏序集的基的概念,给出其一些等价刻划,讨论了Z-连通连续偏序集的权与相应Z-连通Scott拓扑空间的权之间的关系,并且进一步讨论其与相应的Z-连通Lawson拓扑空间的权之间的关系。最后给出了在Z-连通连续偏序集中w(Λ(P))=w(P)=w(Σ(P))。

Z-拟代数Domain

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

Z-连通连续偏序集的若干性质

对于Z-连通连续偏序集,证明了其上Z-连通Lawson拓扑空间是完全正则的,讨论了其可度量化的一个充分条件。

Z-连通极小集及其应用

引入Zc-极小集的概念,给出Zc-连续偏序集及保Zc-集的并且保<<Zc的映射的Zc-极小集刻画,最后得到保Zc-集的并且保Zc的映射的扩张定理.

Z-完备偏序集上诱导的拓扑

在Z-完备偏序集中引入诱导拓扑概念,找到了诱导拓扑的一个基,并给出了它一个相应的等价刻画;同时证明了诱导拓扑映射是可以复合并且是严格单调的。

Z广义连续格

利用Z 子集系统引入Z 广义连续格的概念 ,并研究了这类格的映射及拓扑性质 .

Z-相容连续Domain及其相关性质

对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.

Z-相容连续Domain及其相关性质

对一般子集系统Z,引入了Z-相容连续Domain的概念.在Z-相容连续Domain中引入Z-相容基和局部Z-相容基,利用Z-相容基和局部Z-相容基来刻画Z-相容连续Domain.并且给出了Z-相容连续Domain上的Z-相容Scott拓扑和Z-相容Lawson拓扑,讨论了它们之间的关系.

Z-局部半连续格

引入广义局部理想子集系统、Z-局部半连续格和强Z-局部连续格的概念,讨论了它们的基本性质,并给出了Z-局部半连续格的若干内部刻画.此外,探讨了Z-局部半连续映射与Z-局部半连续格上的函数空间,推广了相关文献的结论.

Z-半代数格及Z-半Scott拓扑

在Z-双小于关系的基础上定义了Z-紧元并依此引入了Z-半代数格及强Z-代数格的概念,证明了一定条件下Z-半代数格的闭包算子的像还是Z-半代数格,强Z-代数格与其Z-紧元集的Z-理想集是同构的。最后,研究了Z-半连续格和Z-半Scott拓扑的基本性质。

Z-半连续格

作为连续格和半连续格的公共推广,引入了广义理想子系统Z、Z-半连续格及强Z-连续格的概念,讨论了它们的基本性质和Z-半连续格的函数空间的结构,给出了强Z-连续格到方体的嵌入,证明了当子系统Z满足一定条件时,Z-半连续格范畴SCLZ是笛卡儿闭的。