9
$\begingroup$

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.

$\endgroup$
6
  • 4
    $\begingroup$ You did good. (this text added to satisfy comment length requirement) $\endgroup$ Commented Dec 9, 2016 at 3:45
  • $\begingroup$ Thank you so much for taking a look and providing me with feedback!! $\endgroup$
    – Javier
    Commented Dec 9, 2016 at 3:47
  • 2
    $\begingroup$ 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. $\endgroup$
    – stochasm
    Commented Dec 9, 2016 at 3:53
  • 6
    $\begingroup$ With the sets $U_n $ you have not an open cover of R ! $\endgroup$
    – Fred
    Commented Dec 9, 2016 at 4:22
  • 5
    $\begingroup$ You probably have $\mathscr{U}=\{(-n-1,n+1)\}$ $\endgroup$
    – egreg
    Commented Dec 9, 2016 at 11:03

1 Answer 1

7
$\begingroup$

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)$.

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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .