Real-valued Lipschitz functions and metric properties of functions (Q2304320)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Real-valued Lipschitz functions and metric properties of functions |
scientific article |
Statements
Real-valued Lipschitz functions and metric properties of functions (English)
0 references
9 March 2020
0 references
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.
0 references
Lipschitz spaces
0 references
uniformly continuous function
0 references
Cauchy continuous function
0 references
locally Lipschitz function
0 references
Lipschitz in the small function
0 references