More on continuously Urysohn spaces (Q409517): Difference between revisions

Proto-metrizable spaces were introduced by \textit{P. J. Nyikos} in [Stud. Topol., Proc. Conf. Charlotte, N. C., 1974, 427--450 (1975; Zbl 0337.54014)] as a natural generalization of non-Archimedian spaces. They have been studied by several authors, e.g., \textit{G. Gruenhage} and \textit{P. Zenor} [Houston J. Math. 3, 47--53 (1977; Zbl 0346.54012)], \textit{L. B. Fuller} [Pac. J. Math. 104, 55--75 (1983; Zbl 0386.54020)] and \textit{P. M. Gartside} and \textit{P. J. Moody} [Topology Appl. 52, No. 1, 1--9 (1993; Zbl 0797.54030)]. In this paper it is shown that every proto-metrizable space \(X\) is continuously Urysohn in the sense of \textit{L. Halbeisen} and \textit{N. Hungerbühler} [Topology Appl. 118, No. 3, 329--335 (2002; Zbl 0986.54048)] and \textit{E. N. Stepanova} [Math. Notes 53, No. 3, 308--314 (1993); translation from Mat. Zametki 53, No. 3, 92--101 (1993; Zbl 0805.54028)], i.e., it has a continuous function \(\varphi: X^2\setminus\Delta\to C(X)\) satisfying \(\varphi(x,y)(x)\neq\varphi (x,y)(y)\), where \(C(X)\) is the space of all bounded real-valued functions with the norm topology. A topological space is said to be locally continuously Urysohn if every point has an open neighborhood which is a continuously Urysohn space. It is shown that every linearly ordered topological space which is paracompact and locally continuously Urysohn is continuously Urysohn. Examples are provided that witness that the property of being continuously Urysohn is neither multiplicative nor preserved by perfect maps. However, the topological sum of continuously Urysohn spaces is continuously Urysohn. Following \textit{P. Zenor} [Proc. Am. Math. Soc. 135, No. 1, 305--312 (2007; Zbl 1111.54015)] a topological space \(X\) is called weakly continuously Urysohn if there is a continuous function \(\theta: (X^2\setminus\Delta)\times X\to\mathbb{R}\) such that \(\theta(x,y,x)\neq\theta(x,y,x)\). Obviously, every continuously Urysohn space is weakly continuously Urysohn, but it is still unknown if there exists a weakly continuously Urysohn space which is not continuously Urysohn. It is shown that every well-ordered weakly continuously Urysohn space is continuously Urysohn. Moreover, the property of being weakly continuously Urysohn is preserved by open perfect maps.