Show that unit circle is compact?
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! :-)
Solution 1:
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.
Solution 2:
Let $$f: \Bbb R \longrightarrow \Bbb R^2,$$ $$\theta \mapsto (\cos\theta,\sin\theta),$$ then $f$ is continuous, and the unit circle is $f([0,2\pi]$) and so it's a compact set of $\Bbb R^2$ as image of the compact $[0,2\pi]$ by the continuous function $f$.
Solution 3:
Hint: One way to do this is to note that the continuous image of a compact set is compact (Why?)
So to show that the unit circle is compact, you can find some continuous $f:[0,1] \rightarrow C$. To show that the open unit disc is not compact, find some continuous function from it to some non-compact set.