MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let H be an infinite dimensional and separable Hilbert space. Let C be a closed and connected subset of H containing more than one point. Can C ever be the countable union of closed and totally disconnected subsets of H?

share|cite|improve this question

Let $E_c$ be the complete Erdös space (Erdös, Annals of Math vol 41 1940), defined as the subspace of $\ell^2(\mathbb{N})$ where all coordinates are irrationals. It is polish (separable and completely metrizable) and totally disconnected, but admits a "connectification" namely a (still polish) topology on $E_c\cup\{p\}$ that makes it connected (and of course induces the one on $E_c$). The crucial point is the fact that any nonempty closed and open subset of $E_c$ is unbounded. Then, as in Bill Johnson's answer $E_c$ is the union of the closed and totally disconnected subspaces $\overline{B}(0,n)\cup\{p\}$, $n\geq 1$. It remains to remark that, like any polish space, $E_c\cup\{p\}$ embeds as a closed subset of $H$ (as remarked in Gerald Edgar's answer).

share|cite|improve this answer

$C$ is simply a connected complete separable metric space with more than one point. Now the union of countably many closed sets of topological dimension zero must again have dimension zero. But I suppose "totally disconnected" is not quite the same as "zero dimensional" so this is not yet a complete answer.

share|cite|improve this answer
These are the same thing if the set is compact. There exist separable, metrizable, totally disconnected spaces of all dimensions. – Andrey Rekalo Aug 14 '10 at 19:58

Let $C$ be an explosion point space such as the Knaster–Kuratowski fan (–Kuratowski_fan) and $p$ the explosion point in $C$.
Set $A_n = \{p\}\cup (C\sim B(p; 1/n))$.

share|cite|improve this answer
Now the K-K fan is not complete (not a $G_\delta$ set in $\mathbb{R}^2$), right? So it cannot be embedded as a closed subset of Hilbert space. – Gerald Edgar Aug 15 '10 at 10:24
Oops! I missed that condition. Thanks. – Bill Johnson Aug 15 '10 at 14:16
Thanks for that example based on the complete – Garabed Gulbenkian Aug 18 '10 at 19:23
Thanks for that example based on the complete Erdos space which answers my question in the affirmative. But I would like to clarify a couple of points. If E is the complete Erdos space and F is the connected metric space in which E is embedded, is F obtained by adjoining a single point p to E? If so, how is F metrized? In other words, how are the distances from p to the other points of F defined? – Garabed Gulbenkian Aug 18 '10 at 19:43
Yes, $F$ is $E$ with one point added. But exhibiting a complete metric on $F$ is not obvious. At least a metric defining the "right" (connected) topology is implicit in the proof of theorem 1 in this reference : – BS. Aug 19 '10 at 22:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.