The Cantor set, C, is the set of real numbers r for which
Tn(r) ϵ [0,1] for all n, where T is the tent
transformation. If we set C0= [0,1], then we can
recursively define a sequence of sets Ci, each of which
is a union of 2i intervals of length 3-i as
follows: Ci+1 is obtained from Ci by removing
the (open) middle third from each interval in Ci. We
then can define the Cantor set by
C= i=0...