A question about homeomorphic subsets of Hilbert space - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T19:25:31Z http://mathoverflow.net/feeds/question/37796 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/37796/a-question-about-homeomorphic-subsets-of-hilbert-space A question about homeomorphic subsets of Hilbert space Garabed Gulbenkian 2010-09-05T15:20:12Z 2010-09-05T16:51:18Z <p>Let H be a an infinite dimensional and separable Hilbert space. Let C be a closed and bounded subset of H that is not compact. Does there always exist a closed and unbounded subset of H which is homeomorphic to C?</p> http://mathoverflow.net/questions/37796/a-question-about-homeomorphic-subsets-of-hilbert-space/37801#37801 Answer by Sergei Ivanov for A question about homeomorphic subsets of Hilbert space Sergei Ivanov 2010-09-05T16:23:41Z 2010-09-05T16:51:18Z <p>Yes. Let $A$ be the set in question. We may assume that $0\notin A$ and moreover that $A$ is outside the unit ball centered at the origin.</p> <p>Since $A$ is closed (in a complete space) and not compact, it contains an infinite set <code>$\{p_i\}_{i\in\mathbb N}$</code> of points whose radial projections to the unit sphere are $\varepsilon$-separated for some $\varepsilon>0$. For each $i$, consider a ray <code>$R_i=\{tp_i:t\ge 1\}$</code>. These rays are also $\varepsilon$-separated away from one another. Let $U_i$ denote the $(\varepsilon/3)$-neighborhood of $R_i$. It is easy to construct a homeomorphism $f_i:U_i\to U_i$ which maps $p_i$ to $i\cdot p_i$ and is the identity away from the $(\varepsilon/5)$-neighborhood of $R_i$. The union of these maps $f_i$ and the identity map of $C\setminus \bigcup U_i$ is a homeomorphism from $C$ to itself that sends $A$ to an unbounded set.</p> http://mathoverflow.net/questions/37796/a-question-about-homeomorphic-subsets-of-hilbert-space/37803#37803 Answer by fedja for A question about homeomorphic subsets of Hilbert space fedja 2010-09-05T16:38:01Z 2010-09-05T16:38:01Z <p>Yes. All we need is to construct a continuous on $H$ function $f$ that is unbounded on $C$. After that, <code>$\{x,f(x)\}\subset H\times \mathbb C$</code> is closed, unbounded, and homeomorhic to $C$ (in the obvious way) and $H\times \mathbb C$ is isometric to $H$. Being closed and non-compact in an arbitrary separable metric space $X$ implies the existence of such a function. The simplest construction is to take a countable open cover $U_j$ of $X$ that contains no finite subcover of $C$ and to put $f(x)=\min f_j(x)$ where $f_j(x)=\frac j{\min(1,\operatorname{dist}(x,X\setminus U_j))}$. Separability has actually nothing to do with it but in the non-separable case things become a bit more complicated.</p>