The Urysohn space embeds in Banach spaces in just one way (Q935251)
From MaRDI portal
This is a page for a Wikibase entity. It is used by other Wikibase pages, but it is generally not meant to be viewed directly. See The Urysohn space embeds in Banach spaces in just one way for the user view. |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Urysohn space embeds in Banach spaces in just one way |
scientific article |
Statements
The Urysohn space embeds in Banach spaces in just one way (English)
0 references
6 August 2008
0 references
\textit{C. H. Dowker} [Duke Math. J. 14, 639--645 (1947; Zbl 0029.42203)] proved in 1947 that the Hilbert space \(\ell_2\) is universal for separable metrizable spaces. This means that every separable metric space can be topologically embedded into \(\ell_2\). Prior to this, in 1925, \textit{P. S. Urysohn} [Bulletin. Sc. Math. (2)51, 43--64, 74-9-0 (1927; JFM 53.0556.01)] constructed a universal separable metric space \(U\) up to isometry, i.e. \(U\) contains an isometric (consequently topological) copy of every separable metric space. Let us point out a more recent result which says that \(U\) is homeomorphic to the Hilbert space \(\ell_2\), cf. \textit{V. Uspenskii} [Topology Appl. 139, 145--149 (2004; Zbl 1062.54036)]. On the other side the space \(C[0,1]\) of continuous real functions with the sup metric is also a universal metric space up to isometry, in fact it is the universal separable Banach space up to linear isometry. So \(U\) contains \(C[0,1]\) up to isometry and \(C[0,1]\) contains \(U\) up to linear isometry. The paper under review treats embeddings of \(U\) into Banach spaces proving the following theorem: The linear closure of an isometric copy of \(U\) in \(C[0,1]\) which contains 0 is a uniquely determined separable Banach space \(\overline{U}\) up to linear isometry (and so, because of the known universality of \(C[0,1]\), the linear closure of an isometric copy of \(U\) containing 0 in any Banach space is uniquely determined up to linear isometry).
0 references
Isometry
0 references
universal separable metric space
0 references
Urysohn space
0 references
Banach space
0 references