Characterization of Posets for Liminf Convergence Being Topological

Ao Shen,Jing Lu,Qingguo Li

DOI: https://doi.org/10.1016/j.topol.2021.107615

IF: 0.583

2021-01-01

Topology and its Applications

Abstract:It is well known in [3] that the liminf convergence is topological in a domain. We supply an example to illustrate that a dcpo in which the liminf convergence is topological may not be continuous in this paper. Naturally, there is a problem raised as follows: in what posets is the liminf convergence topological? First, we show that if the liminf convergence is topological in a poset, then the poset is exact. Second, we prove that a poset L is continuous if and only if L is meet continuous and the liminf convergence is topological in L and the Lawson topology equals the liminf topology. Finally, we introduce the concept of weak* continuous and obtain the result that the liminf convergence is topological in a poset L if and only if L is weak* continuous. This result answers the above problem.