Topological equivalence of discontinuous norms (Q701362)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Topological equivalence of discontinuous norms
scientific article

    Statements

    Topological equivalence of discontinuous norms (English)
    0 references
    0 references
    0 references
    9 October 2003
    0 references
    The purpose of this article is to show the following interesting result about infinite dimensional topology: For every \(1<p<\infty\) and every open covering \({\mathcal V}\) of the countable infinite product \(\mathbb{R}^\mathbb{N}\) of real lines there is a sign preserving homeomorphism \(g:\mathbb{R}^\mathbb{N}\to\mathbb{R}^\mathbb{N}\) which is \({\mathcal V} \)-close to \(H^p_\infty\) such that, for all \(x\in \mathbb{R}^N\), the \(l_p\)-norm \(\|g(x)\|_p\) coincides with the sup-norm \(\|x\|_\infty\) of \(x\). The sign of \(r\in\mathbb{R}\) is defined by \(\text{sgn} (0):=0\), \(\text{sgn}(r): =r/|r|\). The map \(f:\mathbb{R}^\mathbb{N}\to\mathbb{R}^\mathbb{N}\) is called sign preserving if \(f((x_n)_n)=:(y_n)_n\) satisfies \(y_n=0\) or \(\text{sgn}(y_n) =\text{sgn}(x_n)\) for each \(n\). The map \(H^p_\infty:\mathbb{R}^\mathbb{N}\to\mathbb{R}^\mathbb{N}\) is the uniquely determined sign preserving map with the property that, if \(H^p_\infty((x_n)_n): =(y_n)_n\), then \(\|(y_1,\dots, y_n, 0,\dots) \|_p= \|(x_1, \dots,x_n,0, \dots)\|_\infty\) for all \(n\). This map is a surjection such that the preimage of every compact set in \(\mathbb{R}^N\) is also compact in \(\mathbb{R}^\mathbb{N}\). The proof of the main result is based on a powerful tool from geometric topology called the Bing shrinking criterion. It is used to approximate \(H^p_\infty\) by norm preserving homeomorphisms.
    0 references
    0 references
    infinite dimensional topology
    0 references
    norm preserving homeomorphisms
    0 references

    Identifiers