### III.55 Measures

To understand measure theory, and to see why it is useful and important, it is instructive to start with a problem about lengths. Suppose that we have a sequence of intervals in [0, 1] (the closed interval from 0 to 1), of total length less than 1. Can they cover [0, 1]? In other words, given intervals [*a*_{1}, *b*_{1}] [*a*_{2}, *b*_{2}], . . . , with Σ(*b*_{n} - *a*_{n}) < 1, is it possible that their union equals [0, 1]?

One is tempted to answer “no, as the total length is too small.” But this is just to restate the question. After all, why should “total length less than 1” actually imply that the intervals cannot cover [0, 1]? Another tempting answer is to say “just rearrange the intervals so that they go from the left to the right, and then we never ...