Real Analysis – Unit Circle Not Homeomorphic to the Real Line

compactnessgeneral-topologyreal-analysis

Show that $S^1$ is not homeomorphic to either $\mathbb{R}^1$ or $\mathbb{R}^2$

$\mathbf{My \ solution}$:

So first we will show that $S^1$ is not homeomorphic to $\mathbb{R}^1$.
To show that they are not homeomorphic we need to find a property that holds in $S^1$ but does not hold in $\mathbb{R}^1$ or vice-versa.
$S^1$ is compact however $\mathbb{R}^1$ is not compact.

The set $\{1\} $ is closed, and the map
$$f: \Bbb R^2 \longrightarrow \Bbb R,$$
$$(x, y) \mapsto x^2 + y^2$$
is continuous. Therefore the circle
$$\{(x,y) \in \Bbb R^2 : x^2 + y^2 = 1\} = f^{-1}(\{1\})$$
is closed in $\Bbb R^2$.

Set $S^1$ is also bounded, since, for example, it is contained within the ball of radius $2$ centered at 0 of $\Bbb R^2$ (in the standard topology of $\Bbb R^2$).

Hence it is also compact.

However real line $\Bbb R^1$ is not because there is a cover of open intervals that does not have a finite subcover. For example, intervals (nāˆ’1,ā€‰n+1)ā€‰, where n takes all integer values in $\mathbb{Z}$, cover $\mathbb{R}$ but there is no finite subcover.

Hence $S^1$ can not be isomorphic to $\mathbb{R}^1$.

How to show now that $S^1$ is not homeomorphic to $\mathbb{R}^2$? Can i show it now in the same way?
They can not be homeomorphic since $S^1$ is compact however $\mathbb{R}^2$ not.
How to show that $\mathbb{R}^2$ is not compact?

Best Answer

You can certainly show these using compactness. The following proofs, however, I find simpler:

The removal of any one point from $\Bbb R$ results in a disconnected space, but if you remove one point from $S^1$, you still have a connected space.

The removal of any two points from $S^1$ results in a disconnected space, but if you remove two points from $\Bbb R^2$, you still have a connected space.

Related Question