Abstract
In this paper, we give a novel framework for lim-inf convergence in posets through the concept of T0 enriched closure spaces. More precisely, we define and study Enr-convergence in T0 enriched closure spaces. Especially, we give a sufficient and necessary condition for Enr-convergence in T0 enriched closure spaces to be topological.
Similar content being viewed by others
References
Andradi, H., Ho, W. K.: A topological Scott convergence theorem. Log. Methods Comput. Sci., 15, Paper No. 29, 14 pp. (2019)
Birkhoff, G.: Lattice Theory, American Mathematical Society Colloquium Publications, Vol. 25, American Mathematical Society, Providence, RI, 1940
Davey, B. A., Priestley, H. A.: Introduction to Lattices and Order, Second Edition, Cambridge University Press, New York, 2002
Frink, O.: Topology in lattices. Trans. Amer. Math. Soc., 51(1), 569–582 (1942)
Gierz, G., et al.: Continuous Lattices and Domains, Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press, Cambridge, 2003
Kelley, J. L.: General Topology, Van Nostrand, New York, 1955
Mathews, J. C., Anderson, R. F.: A comparison of two modes of order convergence. Proc. Amer. Math. Soc., 18(1), 100–104 (1967)
McShane, E. J.: Order-Preserving Maps and Integration Process, Annals of Mathematics Studies, Vol. 31, Princeton University Press, Princeton, NJ, 1953
Novak, D.: Generalization of continuous posets. Trans. Amer. Math. Soc., 272(2), 645–667 (1982)
Olejček, V.: Order convergence and order topology on a poset. Internat. J. Theoret. Phys., 38(2), 557–561 (1999)
Poncet, P.: Enriched closure spaces as a novel framework for domain theory, 2017, arXiv:1705.04945
Scott, D.: Continuous lattices, In: Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics, Vol. 274, Springer, Berlin, 1972, 97–136
Sun, T., Li, Q.: Characterization of posets for order-convergence being topological. Math. Slovaca, 68(1), 11–20 (2018)
Sun, T., Li, Q., Fan, N.: \({\cal M}{\cal N}\)-convergence and \(\lim - {\inf _{\cal M}}\)-convergence in partially ordered sets. Open Math., 16, 1077–1090 (2018)
Sun, T., Li, Q., Guo, L.: Birkhoff’s order-convergence in partially ordered sets. Topology Appl., 207(1), 156–166 (2016)
Wang, K., Zhao, B.: Some further results on order-convergence in posets. Topology Appl., 160, 82–86 (2013)
Wolk, E. S.: On order-convergence. Proc. Amer. Math. Soc., 12(3), 379–384 (1961)
Wright, J. B., Wagner, E. G., Thatcher, J. W.: A uniform approach to inductive posets and inductive closure. Theoret. Comput. Sci., 7(1), 57–77 (1978)
Zhao, B., Li, J.: O2-convergence in posets. Topology Appl., 153, 2971–2975 (2006)
Zhao, B., Lu, J., Wang, K.: Irreducible convergence in T0 spaces. Rocky Mountain J. Math., 50, 337–353 (2020)
Zhao, B., Wang, K.: Order topology and bi-Scott topology on a poset. Acta Math. Sin., Engl. Ser., 27, 2101–2106 (2011)
Zhao, B., Zhao, D.: Lim-inf convergence in partially ordered sets. J. Math. Anal. Appl., 309, 701–708 (2005)
Zhou, L., Li, Q.: Convergence on quasi-continuous domain. J. Comput. Anal. Appl., 15(2), 381–390 (2013)
Zhou, Y., Zhao, B.: Order-convergence and \(\lim - {\inf _{\cal M}}\)-convergence in posets. J. Math. Anal. Appl., 325, 655–664 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the National Natural Science Foundation of China (Grant Nos. 11531009, 12101383) and the Fundamental Research Funds for the Central Universities (Grant No. GK202103006)
Rights and permissions
About this article
Cite this article
Zhao, B., Lu, J. A Novel Framework for Lim-inf Convergence in Posets. Acta. Math. Sin.-English Ser. 38, 953–962 (2022). https://doi.org/10.1007/s10114-022-0651-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10114-022-0651-3