[Math] the one-point compactification of $\mathbb{Z}_{+}$

compactnessgeneral-topology

The problem arises from the exercise 29.8 of the book "Topology" by Munkres:

Show that the one-point compactification of $\mathbb{Z}_{+}$ is homeomorphic with the subspace $\{ 0 \} \cup \{ 1/n \mid n \in \mathbb{Z}_{+} \}$ of $\mathbb{R}$.

According to the definition of the "one-point compactification",

Definition: If $Y$ is a compact Hausdorff space and $X$ is a proper subspace of $Y$ whose closure equals $Y$, then $Y$ is said to be a compactification of $X$. If $Y-X$ equals a single point, then $Y$ is called the one-point compactification of $X$.

we have that $X$ has the one-point compactification if and only if $X$ is a locally compact Hausdorff space that is not itself compact. In this case, the single point $Y-X$ is a limit point of $X$. Therefore, the task is to find such limit point.

However, how can we find a limit point of $X$ when we have no idea of what the bigger space $Y$ is? And what is the one-point compactification of $\mathbb{Z}_{+}$?

Best Answer

I think you are reading the wrong part of your book. That definition (top of p. 185 in my edition) is immediately preceded by a Theorem 29.1, which is a long explanation of how one can take a noncompact locally-compact Hausdorff space $X$ and embed it into a compact space $\def\Y{X^\ast}\Y$ that has exactly one point more than $X$. This larger space $\Y$ is the one-point compactification of a space $X$, sometimes called the Alexandroff compactification of $X$.

The one-point compactification $\Y$ consists of $X\cup \{\infty\}$, where $\infty$ is some new point that is not an element of $X$. The topology is as follows:

  • If $G$ is an open subset of $X$, then $G$ is also an open set of $\Y$
  • If $C$ is a compact subset of $X$, then $\{\infty\}\cup(X\setminus C)$ is an open set of $\Y$

Theorem 29.1 shows that if $X$ is a Hausdorff space that is locally compact but not compact, then $\Y$, with the topology described above, is a compact Hausdorff space of which $X$ is a subspace. Theorem 29.1 also shows that any one-point compactification of $X$ must be homeomorphic to the $\Y$ described above, so that the one-point compactification of $X$ is essentially unique. This is the construction Munkres wants you to consider.

This construction is the topological formalization of the idea of taking an infinite space $X$ and "adding a point at infinity". We do this, for example, with the complex numbers, to obtain the Riemann sphere. (Ignore this example if you don't know about the Riemann sphere.) A simpler example is that the one-point compactification of $\Bbb R$ is (homeomorphic to) $S^1$, the circle: the two ends at infinity are brought together and joined at the new point $\infty$.

I hope the question makes more sense in this light.

A word of advice: In some subjects, and on standardized tests, you can read the question first, then go back and skim the material looking for something pertinent, and then answer the question without reading all the material. In advanced mathematics, this strategy will not work. You have to adopt a different strategy. First read over the entire chapter, very slowly, taking time to understand and digest each sentence before you move on to the next one. This may take several days, or more. Then do the exercises.

Related Question