半连续格上的半Scott拓扑与半Lawson拓扑

在完备格上引入了半Scott拓扑与半Lawson拓扑,讨论了半连续格和强连续格上半Scott拓扑与半Lawson拓扑的一些基本性质。

相容半Scott拓扑

文章给出相容半Scott拓扑的概念,讨论相容半连续格上相容半Scott拓扑的一些基本性质.

模糊半连续格上的广义半Scott拓扑

在模糊完备格上引入了广义半Scott开集,获得了广义半Scott拓扑,证明了完备格视为模糊完备格时,一个单调映射保半素理想并当且仅当它是模糊单调映射且关于广义半Scott拓扑连续.

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

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

半连续dcpo

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

相容半连续dcpo

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

Z-局部半连续格

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

ZC-半连续格

对于广义理想子集系统Z,引入ZC-半连续格,作为连续格和半连续格的推广,在此基础上讨论它的一些基本性质.

相容完备格上的保交映射

首先在相容半素理想的基础上建立了相容完备格的概念,进而在相容完备格上定义了相容半Lawson拓扑,最后讨论了了相容半Lawson拓扑、相容半Scott拓扑及其连续映射。

Z-半连续格

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

相容半连续Domain

引入了相容半连续Domain、相容强连续Domain的概念,给出了一系列性质,讨论了相容半连续Domain、相容强连续Domain与相容连续Domain间的关系。引入了相容半Scott拓扑,并讨论了其相关性质。

Z-模糊半连续格

引入广义模糊理想子系统Z;Z-模糊半连续格;强Z-模糊连续格的概念,讨论它们的基本性质及其函数空间的性质。

相容并半连续Domain

在素滤子和并半连续格的基础上,引入了相容R-半连续Domain和相容并半连续Domain的概念,给出了它们的一些基本性质.并且利用相容R-半scott拓扑刻画了相容并半连续Domain.