Real-valued Lipschitz functions and metric properties of functions (Q2304320)

Given a property \((P)\) of a mapping between metric spaces the authors explore whether the following holds: \[\begin{gathered} \text{Let \(X\) and \(Y\) be metric spaces and let \(h:X\to Y\).}\\ \text{Then \(h\) has \((P)\) if and only if \(f\circ h\) has \((P)\) for every \(f\in \operatorname{Lip}(Y,\mathbb{R})\).} \end{gathered}\] By a result of \textit{M. I. Garrido} and \textit{J. A. Jaramillo} [Monatsh. Math. 141, No. 2, 127--146 (2004; Zbl 1058.54008)], this is known to be the case for the property \((P)\) of being Lipschitz. The authors observe that this is the case for several other properties \((P)\) (including being bounded, Cauchy continuous, locally Lipschitz, Cauchy-Lipschitz and even some more). In Section 5 they also try to give a meta-theorem which would capture as many general aspects of a class of properties \((P)\) for which their method of proof works as possible. In Section 6 the authors consider another problem. It is well-known that the uniform closure of real-valued Lipschitz functions consists of all the uniformly continuous functions. The authors prove a general theorem (Theorem 6.5, too technical to be rewritten here) which aims at finding a generalization of this phenomenon. As a corollary the authors recover some known results as well as obtaining new ones -- for example given a metric space \(X\), the uniform closure of real-valued locally Lipschitz (resp. Cauchy-Lipschitz) functions is the space of all real-valued continuous (resp. Cauchy continuous) functions.