## Adjoining a new isolated point without changing the space

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

Suppose $X$ is a $T_1$ space with an infinite set of isolated points. Show that if $X^\sharp = X \cup \lbrace \infty \rbrace$ is obtained by adding a single new isolated point, then $X$ and $X^\sharp$ are homeomorphic.

I am almost embarrased to raise this, which seems obvious. The proof must be simple, but it eludes me for now. Maybe it is an exercise in some textbook. You can clearly establish a 1-1 equivalence between the isolated points of $X$ and those of $X^\sharp$. But it is not clear how this equivalence would extend to the closure of the isolated points.

The theorem is easy when $X$ is compact $T_2$ and $cl(D) = \beta(D)$, where $D$ is the set of isolated points.

-

## 2 Answers

In my answer to http://mathoverflow.net/questions/26414 I descibed a somewhat simpler-looking example than Nik's, but proving that it works may be harder. Take two copies of $\beta\mathbb N$ and glue each non-isolated point of one copy to the corresponding point of the other copy. Any way of "absorbing" a new isolated point into the two copies of $\mathbb N$ forces a relative shift of those two copies, which forces corresponding shifts of the non-isolated points, which in turn conflicts with the gluing. The perhaps surprising thing about this example is that, if you add two isolated points, the result is (easily) homeomorphic to the original.

-

Yeah, that's cleaner. – Nik Weaver Aug 7 at 20:50
Two good answers.  Thanks. – Fred Dashiell Aug 7 at 23:11

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Well, I think this is false. Start with a family of $2^{2^{\aleph_0}}$ mutually non-homeomorphic connected spaces, and attach them to the non-isolated points of $\beta {\bf N}$. (I.e., start with the disjoint union of $\beta {\bf N}$ and the other spaces, and factor out an equivalence relation which identifies each point of $\beta {\bf N} - {\bf N}$ with a point of one of the other spaces.) Any homeomorphism between $X$ and $X^\sharp$ has to take isolated points to isolated points; taking closures, it takes $\beta{\bf N}$ onto itself; and by connectedness it takes each of the extra spaces onto itself. So it has to fix each point of $\beta {\bf N} - {\bf N}$. Now the question is whether a bijection between ${\bf N}$ and ${\bf N}$ minus a point can fix $\beta {\bf N} - {\bf N}$ pointwise. The answer is no because iterating the map, starting on the missing point, yields a sequence within ${\bf N}$ that gets shifted by the map, and it is easy to see that this shift does not fix the ultrafilters supported on that sequence.

-
{"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": 25, "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": true, "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.9536922574043274, "perplexity_flag": "head"}