Problem 89E

89. The Cantor set, named after the German mathematician Georg Cantor (1845-1918), is constructed as follows. We start with the closed interval $[0,1]$ and remove the open interval $\left(\frac{1}{3}, \frac{2}{3}\right)$. That leaves the two intervals $\left[0, \frac{1}{3}\right]$ and $\left[\frac{2}{3}, 1\right]$ and we remove the open middle third of each. Four intervals remain and again we remove the open middle third of each of them. We continue this procedure indefinitely, at each step removing the open middle third of every interval that remains from the preceding step. The Cantor set consists of the numbers that remain in $[0,1]$ after all those intervals have been removed.

(a) Show that the total length of all the intervals that are removed is $1 .$ Despite that, the Cantor set contains infinitely many numbers. Give examples of some numbers in the Cantor set.

(b) The Sierpinski carpet is a two-dimensional counterpart of the Cantor set. It is constructed by removing the center one-ninth of a square of side 1 , then removing the centers of the eight smaller remaining squares, and so on. (The figure shows the first three steps of the construction.) Show that the sum of the areas of the removed squares is $1 .$ This implies that the Sierpinski carpet has area $0$.

Step-by-Step Solution