# Show that $\mathbb{R}$, when equipped with the standard topology, is not compact.

Proof: Let $\mathscr{U}$ := {$U_n$}$_{n \geq 1}$ = {$(n-1,n+1)$}$_{n \geq 1}$ be an open cover of $\mathbb{R}$. Consider finitely many of them, say: $U_{n_1} \ldots U_{n_k}$. Setting $N := \max(n_1 \ldots n_k)$, we get that: $U_{n_i} \subset U_N \implies \bigcup_{i=1}^{k} U_{n_i} = U_N = (N-1,N+1) \subsetneq \mathbb{R}$.

Hence, $\mathscr{U}$ cannot be reduced to a finite subcover of $\mathbb{R}$ so that it is not compact. QED.

How did I do? Thanks.

• You did good. (this text added to satisfy comment length requirement) Dec 9, 2016 at 3:45
• Thank you so much for taking a look and providing me with feedback!! Dec 9, 2016 at 3:47
• Yep, good job. All you needed to do was come up with some open cover that has no finite subcover. This is one of the two main nonexamples for real numbers. The Heine-Borel theorem says that a closed and bounded subset of $\mathbb{R}^n$ is compact, and the reason we need "boundedness" is due to the type fo open cover you came up with. Dec 9, 2016 at 3:53
• With the sets $U_n$ you have not an open cover of R !
– Fred
Dec 9, 2016 at 4:22
• You probably have $\mathscr{U}=\{(-n-1,n+1)\}$ Dec 9, 2016 at 11:03

## 1 Answer

As pointed out in the comments by Fred and Levent, $\mathcal U$ is not an open cover of $\mathbb R$ since $\bigcup_{n\geqslant 1}(n-1,n+1)=(-1,+\infty)$. However, this can be fixed easily: define instead $U_n:=(-n,n)$. Then $\bigcup_{n\geqslant 1}U_n=\mathbb R$ and a finite subcover is contained in an interval of the form $(-R,R)$.

• Ahh I see my error now. Thank you so much for pointing this out to me!! Dec 9, 2016 at 15:52
• According to Wikipedia ,(n-1,n+1) for n$\in$ Z cover R. How about the fact that R is uncountable?
– user960654
Dec 1, 2021 at 15:55