Characterization of $T_0$-spaces for quasi-liminf convergence being topological
Abstract
The authors' primary goal in this paper is to extend some important results related to the liminf-convergence and -convergence in domain theory to the setting of -spaces. To that end, we study the quasi-liminf convergence in -spaces and introduce a new kind of -spaces --- weakly locally hypercompact spaces (shortly \emph{WLH}-spaces). It is proved that every locally hypercompact -space is a \emph{WLH}-space, and a -space is a \emph{WLH}-space iff the quasi-liminf convergence in is topological. Hence the quasi-liminf convergence in a locally hypercompact space is topological, and for a quasicontinuous poset , the quasi-liminf convergence is topological and agrees with convergence in the Lawson topology . We also show that a -space is locally hypercompact iff the -convergence in coincides with the convergence in the topology . Therefore, a poset is quasicontinuous iff -convergence in the Scott space of is topological iff -convergence coincides with convergence in the Scott topology . Using the quasi-liminf convergence, we give several characterizations of -spaces and continuous posets.
Keywords
Cite
@article{arxiv.2607.25945,
title = {Characterization of $T_0$-spaces for quasi-liminf convergence being topological},
author = {Xinpeng Wen and Xiaoquan Xu},
journal= {arXiv preprint arXiv:2607.25945},
year = {2026}
}
Comments
24 pages, 3 figures