Interlude: A Strange Closed Set

The Construction of the Cantor Middle Third Set

______________________________________________________________

Cantor's Dust:

To see what remains after the process is completed:

Consider the MATH representation of the unit interval.

MATHand relabel Professor Carothers' diagram.

We next remove middle thirds from the four closed intervals, leaving eight closed intervals

MATH

 

Stated in terms of what we have removed, in the first stage, we remove all points of the form MATH except MATHThat is with $\QTR{Large}{1}$ in the first position after the decimal point, except MATH

 

In the second stage we remove all points of the form MATH and MATH exceptMATH and MATH That is with $\QTR{Large}{1}$ in the second position after the decimal point, except MATH

 

In the third stage we remove all points of the form MATH , MATH MATH , and MATHexceptMATH , MATH MATH , and MATH

That is with $\QTR{Large}{1}$ in the third position after the decimal point, except MATH

And so on....

 

In the end we are left with all points MATH whose MATH representation is decimal point followed by a string of $\QTR{Large}{0}$'s and $\QTR{Large}{2}$'s, or a finite string of $\QTR{Large}{0}$'s and $\QTR{Large}{2}$'s followed by a $\QTR{Large}{1}$ followed by a string of $\QTR{Large}{0}$'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 $\QTR{Large}{0}$'s and $\QTR{Large}{2}$'s as strings of $\QTR{Large}{0}$'s and $\QTR{Large}{1}$'s , binary representations)

In terms of length:

In the first stage, we remove MATH open interval of length MATH.

In the second stage, we remove MATH interval's of length MATH , a total length of MATH.

In the $\QTR{Large}{n}$-th stage , we remove MATH interval's of length MATH , a total length of MATH.

In all, we remove MATH

MATH

Thus, in a way that can be made precise, Cantor's Dust has length $\QTR{Large}{0} $.

__________________________________________________________

Homework, Due Tuesday January 31

Page 14 Problems 2.1, 2.3, and 2.7