No label defined (Q4027464)

[For the entire collection see Zbl 0744.00027.] A (pseudo)metric analogue of a topological space \(X\) is a (pseudo)metric space \(M\) together with an open quotient map \(q: M\to X\) such that whenever \(A\) is a (pseudo)metric space, (1) for any map \(f: A\to X\) there is a map \(g: A\to M\) such that \(f=q\circ g\) and (2) for any two maps \(g,h: A\to M\) such that \(q\circ g=q\circ h\), there is a homotopy \(F: A\times [0,1]\to M\) such that \(F(\cdot,0)=g\), \(F(\cdot,1)=h\), and \(F(a_ 0,\cdot)\equiv m_ 0\), where \(a_ 0\) and \(m_ 0\) are the base points of \(A\) and \(M\) respectively, and for each \(a\in A\), \(q\circ F(a,\cdot)\) is constant. The authors study the class of spaces with a pseudometric analogue and show that (a) every such space is first countable, and (b) every \(T_ 0\)-space whose topology arises from a non-Archimedean quasimetric has a metric analogue.