# How to make open covers disjoint in $\mathbb{R}$?

Say I have some set $E\subset \mathbb{R}$, and an open cover $\cup A_i \supset E$. Is there a general algorithm that makes this cover disjoint?

-
In general, an open cover of $E$ does not have a disjoint subcover. What is meant by making "this" cover disjoint? – André Nicolas Apr 15 '11 at 18:16
I imagine you intended $E\subset R$, not $E \in R$. – André Nicolas Apr 15 '11 at 18:26
In addition to what user6312 wrote, you may want to look at the Vitali covering lemma. – Willie Wong Apr 15 '11 at 18:28

You cannot make the cover pairwise disjoint in general (that is, with $A_i\cap A_j=\emptyset$ if $i\neq j$).

To see this, note that if you can express $E$ as a union of pairwise disjoint open sets, each of which has nonempty intersection with $E$, then $E$ is disconnected: just consider a single $A_i$, and the union $\cup_{j\neq i}A_j$ for a disconnection of $E$; that is, $E$ will have at least as many connected components as the cardinality of the index set.

So, for example, you cannot take an open cover for $[0,1]$ and turn it into a disjoint open cover, unless all but one of the sets don't actually intersect $[0,1]$, because $E$ is connected (has one connected component), so the index set of a pairwise disjoint open cover in which every element of the cover intersects $[0,1]$ must have cardinality at most $1$.

-