Fractal Folds

Background

Cantor Middle Thirds Set: No Invervals

We begin by computing the lengths of the intervals removed in forming the Cantor set.

The lengths of the gaps for the first three stages of the Cantor middle thirds set.

stagenumber of intervals removedlength of intervals removed
111/3
221/9 = 1/32
34 = 221/27 = 1/33
48 = 231/81 = 1/34
in general
n2n-11/3n

The total length removed is

The series in brackets is a geometric series with ratio 2/3, hence its sum is 1/(1 - (2/3)) = 3.

The length of the intervals removed is 1, the length of the initial interval. Consequently, the Cantor set cannot contain any intervals.

This is the essence of the proof that the Cantor set has (1-dimensional Lebesgue) measure 0.

Some people think Cantor created this set to give an example of an uncountable set with zero measure. However, he first used this set as an example of a set containing no intervals and for which every point is a limit point. The following year he published the result that this is an uncountable set of measure zero.