[Math] Homeomorphism of a compact real line to the real line

compactnessgeneral-topologyreal numbers

Any open interval is homeomorphic to the real line, for example $(-1,1)$, correct? But a one-point compactification of the real line is not homeomorphic to the real line because the real line is open and the one-point compactification of the real line has a compact circumference. Correct? Then is the two point compactification of the real line homeomorphic to the real line? The answer would be no, right? If I define an order on the extended real line of $-\infty\leq a \leq \infty$, the extended real line is a compact Hausdorff space that is homeomorphic to the interval $[0,1]$. But there is no way for it to be homeomorphic to an open interval and thus to the real line, right? I just want to make sure I understood this correctly.

A one-point compactification of the real line is homeomorphic to a circle. What is the two-point compactification of the real line homeomorphic to, $[0,1]$? Thanks.

Best Answer

Every open interval $(a,b)\subseteq \mathbb R$ is indeed homeomorphic to $\mathbb R$. The one-point compactification of $\mathbb R$ is homeomorphic to the unit circle $\mathcal S^1$.

Now, $\mathbb R$ and $\mathcal S^1$ are not homeomorphic because the latter is compact (and the real line isn't). Is that what you mean by "compact circumference"?

The two-point compactification of $\mathbb R$ is homeomorphic to the closed interval $[0,1]$ (or any other closed real interval).

So it looks like you got it right.

[Also, here's a post where you can find a definition of the two-point compactification and also an interesting discussion: Question on compactification ]