A question  about  disconnecting a Euclidean space or a Hilbert space

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

By a "totally disconnected" point set I mean one whose only connected subsets are singletons. Can a finite dimensional Euclidean space whose dimension is at least two, be separated by any subset that is "totally disconnected"? Such a subset could not be closed in the space, for then it would be locally compact and therefore zero-dimensional. If we move beyond locally compact spaces, can a separable and infinite dimensional Hilbert space be separated by any subset that is "totally disconnected"?

-

1 Answer

Assume the complement of $S$ in $\mathbb{R}^n$ is not connected, say $A$ and $B$ are relatively closed and disjoint in $\mathbb{R}^n\setminus S$ (and nonempty of course); let $O$ be the complement of the closure of $B$ and $U$ the complement of the closure of $A$, then $O$ and $U$ are disjoint nonempty open subsets of $\mathbb{R}^n$ and the complement of their union, $F$, is closed in $\mathbb{R}^n$, a subset of $S$ and it separates $\mathbb{R}^n$. In short: $S$ contains a closed set that also separates; as you noted that set is zero-dimensional and hence the answer is `no' for Euclidean spaces. I don't know (yet) about Hilbert space.

-

Many thanks for your response and its very nice proof. It looks as if the same line of argument could be used for Hilbert space up to the point where you have to show whether or not a closed and totally disconnected subset of Hilbert space can diconnect it. – Garabed Gulbenkian Aug 27 2010 at 20:16
(To be pedantic one should mention that under the given assumptions $S$ has empty interior). – Wlodzimierz Holsztynski May 10 at 23:04
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 18, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9414757490158081, "perplexity_flag": "head"}