The Cantor Set

Let C0=[0,1]. In other words, C0 is the set of all real numbers greater than or equal to zero and less than or equal to one. Let the following be an illustration of C0:


Now, let C1 be equal to C0 with its middle third removed. Mathematically, C1=[0,13][23,1]. Let the following be an illustration of C1:


If we continue in this manner, always removing the middle thirds of the remaining intervals, then we will obtain the following sequence:

C2:


C3:


C4:


Let n be any number in {0,1,2,3,}. Define the Cantor set C as the limit of Cn as n approaches infinity. Mathematically, C=limnCn.

Clearly, Cn comprises 2n intervals of length 3n each (convince yourself of this fact). It therefore follows that the Cantor set C has a length of

limn2n3n=limn(23)n=0.

Intuitively, if an interval has a length of zero, then said interval must contain nothing at all; it must be the empty set, right?

Nevertheless, observe that the endpoints of the intervals are preserved through the sequence. In other words, observe that the points zero and one are preserved; all Cn contain zero and one. It therefore follows that C0 preserves two points, C1 preserves four points, C2 preserves eight points, and so on. Generally, Cn preserves 2n+1 points. Therefore, the Cantor set C preserves

limn2n+1=

points. In other words, a set with a length of zero can have infinitely many points. How can this be?

This exercise clearly demonstrates that our intuition of the mathematical infinity is insufficient to understand it, and that the need for rigorous tools and careful approaches to dissect it are of the utmost essence.