1
$\begingroup$

Assume that $I$ is a compact interval in $\mathbb R$. Does the following statement (I hope true) follows from compactness or from connectedness of $I$?

For arbitrary family of open in $\mathbb R$ subsets $U_s$, $s \in S$, if $I\subset \bigcup_{s \in S} U_i$ then there are $n \in \mathbb N$ and $s_1, \ldots, s_n\in S$ such that $I\subset U_{s_1} \cup... \cup U_{s_n}$, and $U_{s_i} \cap U_{s_{i+1}}\neq \emptyset$ for $i=1,...,n-1$.

1 Answers 1

0

This follows from compactness. Per definition: If $A$ is a compact set, then there exists for every open cover $(U_i)_{i\in I}$ (with I an arbitrary set) of $A$ a finite subset $J\subseteq\ I$ such that $U_{i_1},\cdots U_{i_n}$ covers whole $A$. The second condition follows from the fact that the sets $U_i$ are open.

  • 0
    Ye$a$h, you can order the intervals in ascending order w.r.t. their left endpoints, and throw out intervals that are contained in other intervals, then the conditions will be satisfied. It is a little messy to write up, though, so I'll let you do it. :)2012-10-29