[Math] union of a collection of open interval containing the rationals in $[0,1]$

lebesgue-measuremeasure-theoryreal-analysis

I have a question regarding union of some finite collection of open interval (say $ \bigcup _{k=1}^n I_i$, where each of $I_i$ is an open interval ) containing the rational numbers in the interval $[0,1]$.

Basically I am trying to show that the summation of each outer measure (i.e. $\displaystyle\sum_{i=1}^{k} m^*(I_k) \geq 1$ ) of the union of the collection of those open intervals has a measure of at least one.

I basically try to use the fact that the outer measure of the irrational (denoted say by $IQ$) has an outer measure of 1 i.e. $m^*(IQ)=1$ in the interval $[0,1]$.

I am guessing that the set of IQ is a subset of $ \bigcup _{k=1}^n I_i$, so that by monotonicity and countable sub-additivity of the outer measure, I can say $ \sum_{i=1}^{k} m^*(I_k) \geq 1$.

But I have not able to come up with a proof that shows the set of irrational in [0,1] is a subset of the union of the above collection of open intervals yet.

I was trying to show the above subset "guess", by doing this:

that given an irrational number say $iq_i$ in $[0,1]$, then for an arbitrary $\epsilon >0$, we have a rational (say denoted as q) in the interval of $(iq_i -\epsilon, iq_i +\epsilon)$, and then try to say that open interval belongs to one of the $I_k$, but somehow not successful yet as I cannot "concretely" prove it yet (i.e. using delta epsilon style proof). Or other concrete way of doing it yet.

If anyone can give some suggestions, it would be great.

thank you

Best Answer

The thing you're trying to prove is incorrect - e.g. $(-1, {\pi\over 4})\cup({\pi\over 4}, 2)$ is a pair of open intervals which cover $[0, 1]\cap\mathbb{Q}$, but which don't contain every irrational (in particular, they don't contain ${\pi\over 4}$). Your argument is going to have to be more complicated.

In particular, note that if we allow infinite collections of intervals, then we can make do with total measure much less than $1$: cover $q_n$ with an interval of width ${1\over 2^n}$, for some fixed listing $\{q_n: n\in\mathbb{N}\}$ of the rationals. So your argument is going to need to use something special about finite covers.

There are two approaches I know of here:

  • Use induction on the number of intervals. This is a bit trickier than it first appears - this is one of those problems where you have to strengthen the inductive hypothesis . . .

Or you can

  • Show that every irrational which is not an endpoint of one of the intervals is in the union of the intervals; since there are only finitely many intervals, this means all but finitely many irrrationals are in the union of the intervals, and this is enough to conclude that the total size of the intervals is $\ge 1$.
Related Question