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?
How to make open covers disjoint in $\mathbb{R}$?
-
1In addition to what user6312 wrote, you may want to look at the [Vitali covering lemma](http://en.wikipedia.org/wiki/Vitali_covering_lemma). – 2011-04-15
1 Answers
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$.