Lim-inf convergence in partially ordered sets

From MaRDI portal





Using standard methods of replacing the infima of residual subsets of nets by directed sets with elements eventual lower bounds, the authors study a notion of lim-inf convergence of nets in general partially ordered sets. The main result derived is that the lim-inf convergence so defined is topological if and only if the poset in question is a continuous poset. It is not difficult to see, although the authors do not point it out, that the topology generated from their notion of lim-inf convergence is the Scott topology. Closely related results may be found in Chapter II-1 of Continuous lattices and domains by \textit{G. Gierz}, \textit{K. Hofmann}, \textit{K. Keimel}, \textit{J. Lawson}, \textit{M. Mislove} and \textit{D. S. Scott} [Cambridge University Press, Cambridge (2003; Zbl 1088.06001)]. The authors also introduce a weaker form of lim-inf convergence and a corresponding notion of continuity of a poset and again show that convergence is topological if and only if the poset is continuous in this alternative sense.




Cited in
(37)








This page was built for publication: Lim-inf convergence in partially ordered sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2566794)