I was reading the proof that the Cantor set has measure zero here. It all made sense until the very last step. Basically, the proof goes like this:
First show that the total lengths of all the removed intervals converge to $1$.
Show that as the geometric series of the sum converges to 1, at step N of the removal process, we can always cover the set with the intervals that have yet to be removed.
- The difference between the total lengths of all the intervals that are meant to be removed vs the intervals that have already been removed can be made arbitrarily small (by the convergence of the geometric series).
- We can then cover whatever is in the cantor set by the intervals that have yet to be removed, which can be made arbitrarily small.
Question on 4: How do we know that we can actually cover the cantor set with the intervals that have yet to be removed? I know that the lengths sum up to $1$, but the Cantor set is not empty. Even after you remove all the intervals, there's still something left! Isn't there a contradiction?