Quasi-Convergence Spaces and Biconvergence Spaces
Keywords:
biconvergence space, bitopological space, convergence space, diagonal axioms, Hausdorff space, limit space, quasi-convergence space, quasi-uniform spaceAbstract
Quasi-convergence spaces and biconvergence spaces generalize bitopological spaces in two different ways and both can be used to study convergence for non-symmetric spaces like quasi-uniform spaces or quasi-metric spaces. Quasi-convergence spaces use the convergence of pairs of filters and biconvergence spaces use convergence of filters, but come with two convergence structures. We show that both resulting categories are isomorphic for limit spaces and that this isomorphy carries over to the subcategories of pretopological and topological spaces, respectively. In particular, a topological quasi-convergence space is generated by a bitopological space. Also, we point out differences between these two approaches. To this end, we look at certain Hausdorff separation axioms for quasi-convergence spaces and for biconvergence spaces in the special case of quasi-uniform spaces.
References
Jiří Adámek, Horst Herrlich, and George E. Strecker, Abstract and Concrete Categories. Pure and Applied Mathematics (New York). New York: John Wiley \& Sons, Inc., 1990.
Maria Manuel Clementino and Dirk Hofmann, Lawvere completeness in topology, Appl. Categ. Structures 17 (2009), no. 2, 175-210.
Maria Manuel Clementino and Dirk Hofmann, On the completion monad via the Yoneda embedding in quasi-uniform spaces, Topology Appl. 158 (2011), no. 17, 2423-2430.
H. R. Fischer, Limesräume, Math. Ann. 137 (1959), 269-303.
Peter Fletcher and William F. Lindgren, Quasi-Uniform Spaces. Lecture Notes in Pure and Applied Mathematics, 77. New York: Marcel Dekker, Inc., 1982.
Gunther Jäger, $\top$-quasi-Cauchy spaces-a non-symmetric theory of completeness and completion, Appl. Gen. Topol. 24 (2023), no. 1, 205-227.
G. Jäger, Completions of T-quasi-Cauchy spaces, Iran. J. Fuzzy Syst. 20 (2023), no. 7, 71-84.
H. H. Keller, Die Limes-Uniformisierbarkeit der Limesräume, Math. Ann. 176 (1968), 334-341.
J. C. Kelly, Bitopological spaces, Proc. London Math. Soc. (3) 13 (1963), 71-89.
D. Kent, Convergence functions and their related topologies, Fund. Math. 54 (1964), 125-133.
D. C. Kent and G. D. Richardson, Convergence spaces and diagonal conditions, Topology Appl. 70 (1996), no. 2-3, 167-174.
Hans-Joachim Kowalsky, Limesräume und Komplettierung, Math. Nachr. 12 (1954), 301-340.
Hans-Peter A. Künzi, An introduction to quasi-uniform spaces in Beyond Topology. Ed. Frédéric Mynard and Elliott Pearl. Contemporary Mathematics, 486. Providence, RI: American Mathematical Society, 2009. 239-304.
William F. Lindgren and Peter Fletcher, A construction of the pair completion of a quasi-uniform space, Canad. Math. Bull. 21 (1978), no. 1, 53-59.
W. J. Pervin and H. J. Biesterfeldt, Jr., Uniformization of convergence spaces.
II. Conjugate convergence structures and bi-structures, Math. Ann. 177 (1968), 43-48.
Gerhard Preuß, Semiuniform convergence spaces, Math. Japon. 41 (1995), no. 3, 465-491.
Gerhard Preuß, Foundations of Topology: An Approach to Convenient Topology. Dordrecht: Kluwer Academic Publishers, 2002.
