It is well-known that $[0,1]$ is not a nontrivial disjoint union of closed intervals -- e.g.:
<https://math.stackexchange.com/questions/1195179/the-interval-0-1-is-not-the-disjoint-countable-union-of-closed-intervals>


Using fat Cantor sets, I can construct disjoint unions of closed intervals in $[0,1]$ with arbitrarily large Lebesgue measure. Question: Can full Lebesgue measure be achieved?


Edit: Here is my precise question: Does there exist an infinite collection of disjoint, nonempty, closed intervals $I\_n=[a\_n,b\_n]$
such that $\mu([0,1]\setminus\bigcup\_{n\ge1}I\_n)=0$, where $\mu$ is the Lebesgue measure?



Disjoint union of closed sets
Yes, sure: If you have a finite union of closed intervals, the complement in [0,1] is a finite union of open (in [0,1]) intervals. Hence, you find in this complement a finite union of closed intervals such that, if you add these intervals to your previous collection, the measure of the complement is only half of the measure it was before. Proceeding by induction and taking the union over all intervals you have chosen, you obtain a countable union of disjoint closed intervals of full measure.


