Diameter preserving linear maps and isometries (Q1818250)

From MaRDI portal
Revision as of 23:19, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Diameter preserving linear maps and isometries
scientific article

    Statements

    Diameter preserving linear maps and isometries (English)
    0 references
    12 July 2000
    0 references
    Let \({\mathbb K}\) be \({\mathbb R}\) or \({\mathbb C}\), \(C(X)\) be the space of \({\mathbb K}\)-valued continuous functions on the compact Hausdorff space and \({C_0}(X)\) be the space of \({\mathbb K}\)-valued continuous functions on the locally compact noncompact space \(X\) vanishing at infinity. It is proved that a) a linear bijection \(T: C(X)\to C(X)\) is diameter preserving if and only if there is a homeomorphism \(\varphi : X\to X\), a linear functional \(\mu : C(X) \to \) \({\mathbb K}\) and a number \(\tau \) with \(|\tau |= 1\) and \(\mu (1_X) + \tau \not= 0\) such that \(Tf = \tau f\circ \varphi + \mu (f)1_X\) for every \(f\in C(X)\) (in [1] and [2] in References this result has been proved in the case of first countable compact Hausdorff space \(X\)); b) a linear bijection \(T : {C_0}(X)\to {C_0}(X)\) is diameter preserving if and only if there is a homeomorphism \(\varphi \) of \(X\cup \infty \) and a number \(\tau \) with \(|\tau |= 1\) such that \(Tf = \tau (f\circ \varphi - f(\varphi (\infty))1_{X\cup \infty })\) for each \(f\in {C_0}(X)\); c) the following statements are equivalent: (1) \(X\) and \(Y\) are homeomorphic; (2) \(C(X)\) and \(C(Y)\) are isomorphic; (3) \(C(X)/\ker \rho \) and \(C(Y)/\ker \rho \) are isometric (here \(\rho(f) = \sup \{|f(x) - f(y)|: x,y\in X\}\) for each \(f\in C(X)\)) and (4) there is a (not necessarily continuous) diameter preserving linear bijection \(C(X)\to C(Y)\). By an example is shown that the existence of a diameter preserving bijection between \({C_0}(X)\) and \({C_0}(Y)\) does not imply that \(X\) and \(Y\) are homeomorphic.
    0 references
    0 references
    diameter preserving maps
    0 references
    function spaces
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references