3
$\begingroup$

Let $C\subset \mathbb{R}$ be compact. I am wondering if

$C=\bigcup_{i=1}^n[a_i,b_i]$

then for some $a_i,b_i\in\mathbb{R}$, $a_1\le b_1 < a_2 \le b_2 \dots < a_n \le b_n$. By Heine-Borel, $C$ does indeed lie in some interval $[a,b]$, but is it the finite disjoint union of such intervals?

Could not find a proof for myself yet. Perhaps this is even wrong?

Thank you in advance :)

  • 0
    Of course - I didn't mean this. Thanks for the hint, I've edited the question.2012-07-03

3 Answers 3

7

Note that the interval $[x,y]$ has an interior, that is an open set contained in it, whenever $x.

We know that there are compact sets whose interior is empty and cannot be written as such unions.

One example is $\{0\}\cup\{\frac1n\mid n\in\mathbb N\}$. It is bounded in $[0,1]$ and closed since it is really just a convergent sequence and its limit point.

  • 0
    @Sh4pe: Thank you. About counterexamples, it is often that you see in mathematics simple counterexamples but it takes quite some time before you can produce them on your own. First you need to know a lot of them, then you need to also know a lot about how to do mathematics in order to pinpoint the reason for the counterexample and then you need to have enough knowledge in order to construct a simple counterexample. These things take time...2012-07-04
10

There are many compact subsets of $\Bbb R$ that are not the union of finitely many closed intervals. A very simple example is the set $C=\{0\}\cup\left\{\frac1n:n\in\Bbb Z^+\right\}\;;$ any other convergent sequence with its limit point would do just as well. A more interesting example is the middle-thirds Cantor set, every point of which is a limit point of the set.

  • 0
    @Arturo: But that would mean that the set Brian wrote is $\{0,1\}$, and I was pretty sure this was not what he meant! :-)2012-07-04
8

The Cantor set is closed and bounded, hence compact. But it is not a finite union of intervals.