I'm reading about one point compactifcation in Munkres. I follow the proof saying that locally compact Hausdorff spaces have one point compactifications. However, I don't understand why the compactification only needs to be one point. Does the same idea work for finitely many added points (or even adding in countably many, or arbitrary amount of points) and assigning the appropriate topology?
One Point Compactification – Why just one
general-topology
Related Solutions
If you start with a Hausdorff space $X$ and want to consider a compactification, which by definition is a pair $(Y, f)$ where $Y$ is a compact space (let's be the most general and not require Hausdorff) and $f: X \to Y$ is an embedding and $f[X]$ is dense in $Y$.
Trivial example: if $X$ is already compact (and not even Hausdorff) then $(X, 1_X)$, where $1_X$ is the identity on $X$, is a compactification.
Also, for any space $X$, define $Y = X \cup \{p\}$, with $p \notin X$, with the topology defined by $\mathcal{T}_X \cup\{{Y}\}$ (the original topology on $X$ with just the whole set $Y$ added, which indeed is a topology on $Y$, as is easily checked), and let $f(x) = x$ be the obvious map from $X$ into $Y$. Then $f$ is an embedding, the only neighborhood of $p$ is $Y$ and this implies both that $f[X]$ is dense in $Y$ and that $Y$ is compact as well. In fact we can add more than just one point, we can add as many as we like... The resulting spaces are all compact for trivial reasons, and even if we start with a nice metrisable space, the compactifications are at most $T_1$ and never $T_2$. So allowing all spaces $Y$ allows for all sorts of trivialities.
This is the reason that most texts assume that $Y$ is Hausdorff as well, and so even $T_4$ by standard results. Note then that $X$, being homeomorphic to $f[X] \subset Y$ is at least required to be Tychonoff (a.k.a. $T_{3\frac{1}{2}}$) itself in that case, and because every Tychonoff space embeds into some product $[0,1]^I$, it always has a compactification (take $Y$ the closure of the embedded copy of $X$, essentially). So allowing only Hausdorff only compactifications, we get that we restrict to Tychonoff spaces, all of which actually have Tychonoff (even normal) compactifications, so we stay inside the same class of spaces, as opposed to the trivial example spaces above.
The one-point compactification case then becomes a bit clearer too: if we just take any space $X$ and call $(Y,f)$ a one-point compactification when $Y \setminus f[X]$ has one point, then a (even Hausdorff locally compact) space $X$ can have more then one non-homeomorphic one-point compactification: $\mathbb{R}$ has the circle, as usual, and its trivial extension from above, and more as well.
If $X$ is Hausdorff and we assume that all compactifications are Hausdorff, we get as a theorem that a one-point Hausdorff compactification $Y$ exists iff $X$ is locally compact and then it is essentially unique as well (as all such $Y$ must be homeomorphic).
If $X$ is just Hausdorff, we can define a space $Y = X \cup \{p\}$ (where $p \notin X$) with the topology $$\mathcal{T}_X \cup \left\{ \{p\} \cup (X \setminus K): K \mbox{ compact and closed in } X \right\}$$ and this space is such that the $Y$ is indeed compact but it needs not be Hausdorff: in fact this space is Hausdorff only if $X$ was locally compact to begin with. If however $X$ is locally compact, it is the same unique Hausdorff compactification as before, so this space is the natural generalisation of the Hausdorff compactification. But as said, it's not unique outside of the Hausdorff setting, though it is IMHO the most natural one.
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.
Best Answer
It does not need one point. One point suffices to compactify a locally compact space. A compactification can add a lot of extra points (extreme examples are some Cech Stone compactifications) but locally compact spaces are special because they alone have a "minimal compactification". Having only one point in this so-called "remainder" (the "extra point(s)" we have added) is often handy (we can easily extend some continuous functions from $X$ to its one-point compactification e.g., which is used in functional analysis etc) and intuitive (Riemann sphere for the complex plane e.g.). If a space has a compactification with a closed remainder (e.g. a finite one) then $X$ must have been a locally compact (as $X$ is then homeomorphic to an open subset of a compact (Hausdorff) space to start with.