nested interval theorem.
Hi,
I have a question asking to show that rational numbers in the closed interval [0;1] can be covered by a countable family of open intervals of total length less or equaly to 1/2.
I have some understanding, but I don't know how to solve the issue.
For the question, I thought that as the initial interval is close we can always find a smaller interval (or a disk) that has its center at the boundary point of the interval. Thus, as the interval is closed, we cannot find infinitely smaller disk that are contained in the interval.
Would you guys help me to formalize my thoughts and could you give me some ideas?
Any subset of rational numbers including itself is of measure zero. Indeed any countable set is of measure zero.
Let be a set of rational numbers in [0, 1]. For each positive integer n, choose an open interval containing such that . An infinite union of covers A, i.e .
Since , A is of measure zero.
To get an intuitive idea, just pick a rational point p. Find an arbitrary small open interval containing p. For example, consider an open interval containing p, (p-1/k, p, p+1/k), where 1/k goes to an arbitrarily small number. The length of an open interval containg p can go to an arbitrarily small, but it still contains a point p. As shown above, a countable summation of the length of these arbitrarily small open intervals still remain arbitrarily small.