42digest首页
具有上确界算子的闭子集格的Scott空间作为拓扑半格

The Scott space of lattice of closed subsets with supremum operator as a topological semilattice

Yu Chen, Hui Kou, Zhenchao Lyu, Weiyu Yang

arXiv
2025年3月23日

我们在温和假设下提出了从C(X)的Scott空间的平方到其自身的上确界函数连续的若干等价条件,其中C(X)表示𝐓_0拓扑空间的闭子集格。我们还通过n-逼近证明了:一个𝐓_0空间是拟连续(拟代数)的,当且仅当其闭子集格是拟连续(拟代数)域。此外,我们给出了拓扑空间具有Scott完备化的必要条件,这使我们能够提供更多不具有Scott完备化的例子。

We present several equivalent conditions of the continuity of the supremum function from the square of the Scott space of C(X) to itself under mild assumptions, where C(X) denotes the lattice of closed subsets of a 𝐓_0 topological space. We also show that a 𝐓_0 space is quasicontinuous (quasialgebraic) iff the lattice of its closed subsets is a quasicontinuous (quasialgebraic) domain by using n-approximation. Furthermore, we provide a necessary condition for when a topological space possesses ...