A sharp representation of multiplicative isomorphisms of uniformly continuous functions (Q897969)

From MaRDI portal
Revision as of 18:30, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
A sharp representation of multiplicative isomorphisms of uniformly continuous functions
scientific article

    Statements

    A sharp representation of multiplicative isomorphisms of uniformly continuous functions (English)
    0 references
    8 December 2015
    0 references
    The paper under review is devoted to characterizing the multiplicative isomorphisms \(T:U(Y)\to U(X)\), where \(Y\) and \(X\) are complete metric spaces, and \(U(Y)\) and \(U(X)\) denote the families of real-valued uniformly continuous functions on \(Y\) and \(X\), respectively. Recall that \(T:U(Y)\to U(X)\) is said to be a multiplicative isomorphism when \(T\) is a bijection such that \(T(f\cdot g)=T(f)\cdot T(g)\) whenever \(f,g,f\cdot g\in U(Y)\), and the same also happens for \(T^{-1}\). In order to achieve that, the author follows some ideas by \textit{A. N. Milgram} contained in [Duke Math. J. 16, 377--383 (1949; Zbl 0033.28301)] as well as some results by the author himself in collaboration with \textit{F. Cabello Sánchez} [Topology Appl. 160, No. 1, 50--55 (2013; Zbl 1258.54005)]. So, it is proved as a main result that for every multiplicative isomorphism \(T:U(Y)\to U(X)\), there are a uniform homeomorphism \(\tau:X\to Y\), a uniformly isolated set \(S\subset X\) and a map \(p:X\setminus S\to \mathbb R\) satisfying the condition that \(p\cdot h\cdot \log h\) is uniformly continuous for every \(h\in U(X\setminus S, (2,\infty) )\), such that for every \(f\in U(Y)\) and \(x\in X\setminus S\), \[ T(f)(x)=\text{sign}(f(\tau(x)))\cdot|f(\tau(x))|^{1+p(x)}. \]
    0 references
    uniformly continuous functions
    0 references
    multiplicative isomorphisms
    0 references
    Banach-Stone theorems
    0 references
    metric spaces
    0 references

    Identifiers