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}$ ?
E can be covered by a countable subset?
1
$\begingroup$
real-analysis
-
0you are right.Actually I should add up that the intervals are non-empty interiors. – 2012-09-24
1 Answers
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\}$.
- Prove that $\mathscr{J}_0$ is countable.
- Show that for each $J\in\mathscr{J}_0$ there is a $\lambda(J)\in\Lambda$ such that $J\subseteq\lambda(J)$.
- 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.