The Rational Sequence Topology Is Partially Metrizable
Keywords:
partial metric, rational sequence topology, separation axiom, Tychonoff, regular HausdorffAbstract
In this paper, the rational sequence topology is shown to be partially metrizable. This shows that, contrary to a previously stated conjecture, it is possible to have a non-metrizable Tychonoff partial metric space. Furthermore, new conjectures pertaining to the topological structure of partial metric spaces and their possible metrizability are stated.
References
Samer Assaf and Tom Cuchta, The half disc topology is partially metrizable, Topology Proc. 61 (2023), 139-144.
Samer Assaf and Koushik Pal, Partial metric spaces with negative distances and fixed point theorems, Topology Proc. 49 (2017), 19-40.
Dariusz Bugajewski and Ruidong Wang, On the topology of partial metric spaces, Math. Slovaca 70 (2020), no. 1, 135-146.
Guillaume Geoffroy and Paolo Pistone, A partial metric semantics of higher-order types and approximate program transformations in 29th EACSL Annual Conference on Computer Science Logic. Ed. Christel Baier and Jean Goubault-Larrecq. LIPIcs. Leibniz Int. Proc. Inform., 183. Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2021. Art. No. 23, 18 pp. Available at https://drops.dagstuhl.de/opus/volltexte/2021/13457.
Suzhen Han, Jianfeng Wu, and Dond Zhang, Properties and principles on partial metric spaces, Topology Appl. 230 (2017), 77-98.
Ugur Kadak and Muharrem Özlük, On partial metric spaces of fuzzy numbers with the level sets, Adv. Fuzzy Sets Syst. 16 (2013), no. 1, 31-64
Erdal Karapinar, Weak $\phi$-contraction on partial metric spaces and existence of fixed points in partially ordered sets, Math. Æterna 1 (2011), no. 3-4, 237-244.
Erdal Karapinar and Inci M. Erhan, Fixed point theorems for operators on partial metric spaces, Appl. Math. Lett. 24 (2011), no. 11, 1894-1899.
Erdal Karapinar and Salvador Romaguera, Nonunique fixed point theorems in partial metric spaces, Filomat 27 (2013), no. 7, 1305-1314.
S. G. Matthews, Partial metric topology in Papers on General Topology and Applications (Flushing, NY, 1992). Ann. New York Acad. Sci., 728. New York: New York Acad. Sci., 1994. 183-197.
Volodymyr Mykhaylyuk and Vadym Myronyk, Compactness and completeness in partial metric spaces, Topology Appl. 270 (2020), 106925, 14 pp.
S. J. O'Neill, Partial metrics, valuations, and domain theory in Papers on General Topology and Applications (Gorham, ME, 1995). Ed. Susan Andima et al. Annals of the New York Academy of Sciences, 806. New York: New York Acad. Sci., 1996. 304-315.
Paolo Pistone, On generalized metric spaces for the simply typed lambda-calculus in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway, NJ: IEEE Press, 2021. 1-14.
John E. Porter, ed. 50th Spring Topology and Dynamical Systems Conference contributed problems in set-theoretic topology. Topology Proc. 50 (2017), 351-368.
Lynn Arthur Steen and J. Arthur Seebach Jr., Counterexamples in Topology. 2nd ed. New York-Heidelberg: Springer-Verlag, 1978.
M. R. Ahmadi Zand and A. Dehghan Nezhad, A generalization of partial metric spaces, J. Contemp. Appl. Math. 1 (2011), no. 1, 86-93.
