Real Analysis – Show that the Unit Circle is Compact

general-topologymetric-spacesreal-analysis

Quick question. Say we are given the unit circle $\{ (x,y)\in \mathbb{R}^2: x^2+y^2=1 \}$.

Is this set compact? How can I prove that this is closed? Bounded? Do I have to take the complement of the set, showing that that set is open (and so unit circle is closed)? Any other trick?

In addition, how can I show that $\{(x,y) \in \mathbb{R}^2: x^2+y^2 < 1\}$ is not compact? I have to show that this thing is open, how can I do that?

I know that compact is equivalent by saying that the set is bounded and closed, if we are talking about subsets of $\mathbb{R}^n$. I also can see that the unit discs are bounded, because the distance between any two points in the set is bounded. But how to show that those are open/closed?

Thanks for your help! 🙂

Best Answer

The set $\{1\} \subset \Bbb R$ 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$.

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

Since $\{(x,y) \in \Bbb R^2 : x^2 + y^2 = 1\}$ is a closed and bounded subset of $\Bbb R^2$, the Heine-Borel theorem implies that it is compact.

To see that $B = \{(x,y) \in \Bbb R^2 : x^2 + y^2 < 1\}$ is not compact, note that the sequence $x_n = (0, 1 - \tfrac{1}{n})$ in $B$ converges to $(0, 1) \notin B$. Therefore $B$ is not closed. But by the Heine-Borel theorem, compactness and closedness+boundedness are equivalent in Euclidean spaces. Since $\{(x,y) \in \Bbb R^2 : x^2 + y^2 < 1\} \subset \Bbb R^2$ is not closed it cannot be compact.

Related Question