4

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?

flag

3 Answers

1

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).

link|flag
0

$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.

link|flag
These are the same thing if the set is compact. There exist separable, metrizable, totally disconnected spaces of all dimensions. – Andrey Rekalo Aug 14 2010 at 19:58
0

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

link|flag
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 2010 at 10:24
Oops! I missed that condition. Thanks. – Bill Johnson Aug 15 2010 at 14:16
Thanks for that example based on the complete – Garabed Gulbenkian Aug 18 2010 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 2010 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 : few.vu.nl/~dijkstra/research/papers/… – BS Aug 19 2010 at 22:04
show 1 more comment

Your Answer

Get an OpenID
or

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