1
$\begingroup$

Suppose $E\subset R$,if $E$ can be covered by a series of interval $\{I_{\lambda}\}_{\lambda\in \Lambda}$,then E can be covered by a countable subset series which are in $\{I_{\lambda}\}_{\lambda\in \Lambda}$ ?

  • 0
    you are right.Actually I should add up that the intervals are non-empty interiors.2012-09-24

1 Answers 1

1

HINT:. Let $\mathscr{J}$ be the set of all intervals with rational endpoints. For each $x\in E$ there are a $J_x\in\mathscr{J}$ and a $\lambda\in\Lambda$ such that $x\in J_x\subseteq I_\lambda$. Let $\mathscr{J}_0=\{J\in\mathscr{J}:J=J_x\text{ for some }x\in E\}$.

  1. Prove that $\mathscr{J}_0$ is countable.
  2. Show that for each $J\in\mathscr{J}_0$ there is a $\lambda(J)\in\Lambda$ such that $J\subseteq\lambda(J)$.
  3. Let $\mathscr{I}_0=\{I_{\lambda(J)}:J\in\mathscr{J}_0\}$; show that $\mathscr{I}_0$ is countable and covers $E$.

Note: I’m assuming that you’re talking about intervals with non-empty interiors, i.e., those of the forms $(a,b),[a,b),(a,b]$, and $[a,b]$ with $a. If you allow degenerate intervals $[a,a]$, the statement is false.