Topological equivalence of discontinuous norms (Q701362)

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.