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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers