To see what remains after the process is completed:
Consider the representation of the unit interval.
and relabel Professor Carothers' diagram.
We next remove middle thirds from the four closed intervals, leaving eight closed intervals
Stated in terms of what we have removed, in the first stage, we remove all points of the form except That is with in the first position after the decimal point, except
In the second stage we remove all points of the form and except and That is with in the second position after the decimal point, except
In the third stage we remove all points of the form , , and except , , and
That is with in the third position after the decimal point, except
And so on....
In the end we are left with all points whose representation is decimal point followed by a string of 's and 's, or a finite string of 's and 's followed by a followed by a string of 's . Thus Cantor's Dust, as a set, is uncountable, it can be put in one to one correspondence with the real numbers. (Think of the strings of 's and 's as strings of 's and 's , binary representations)
In terms of length:
In the first stage, we remove open interval of length .
In the second stage, we remove interval's of length , a total length of .
In the -th stage , we remove interval's of length , a total length of .
In all, we remove
Thus, in a way that can be made precise, Cantor's Dust has length .
Homework, Due Tuesday January 31
Page 14 Problems 2.1, 2.3, and 2.7