Table of Contents

The Cantor Set
1. What is the Cantor set?
Cantor set is a set of points that lie on the interval [0,1]. We obtain them by deleting the middle thirds step by step. The Cantor set was introduced by the German mathematician Georg Ferdinand Ludwig Philipp Cantor in 1883, and it was named after him.
2. Construction of the Cantor set.
We construct the Cantor set starting with a line segment [0,1]. Cut it into three identical parts. Delete the middle one. Then, repeat the cutting into thirds and deleting the middle on each of the two remaining segments. Now delete the middle thirds from the remaining four segments. Then, the segments remaining from that, and so forth. A few steps in the construction of the Cantor set are shown in the following picture:
3. The Cantor set has length 0.
Each of the remaining segments in the process above has a length. For example, the length is 1 on the first line; $\frac{2}{3}$ on the second line; $\frac{4}{9}$ on the next. However, at the end of the process, we will end up with no length. Namely, the Cantor set has length 0. To prove this, we have to go into geometric series, which is a subject of Calculus 3.
A good example of geometric series is:
(1)As we let r=$\frac{1}{2}$, we will have
(2)Its sum may be go to $\infty$, or it may converge to an exact value.
In the general geometric series, if r=$\frac{1}{2}$<1, the sum of a geometric series is as follows
(3)Below, we use a graphical proof to show this.
On the graph above, we can find that the angles RQP and PST are right angles, and the angles PRQ and TPS are equal. So the two triangles PQR and TSP are similar. Using this similarity, we obtain that the ratios ST to PS and PQ to QR are the same, or
(4)In other words,
(5)Therefore,
(8)By the definition of geometric series in Calculus 3, we know that
(9)So,
(10)We use this result to measure the length of the complement of the Cantor set:
(11)The series
(14)is a geometric series with $a=1$ and $r=\frac{2}{3}$.
Therefore,
Consequently,
(16)The length of the complement of the Cantor set in the interval [0,1] has length 1, and it follows that the Cantor set has length 0.
We now prove the result in (16)
geometrically:
because,
(21)Therefore,
(24)When $n\to \infty$,
(27)Hence, the measure of the complement of the Cantor set
(28)We proved that the Cantor set has length 0 in two different ways, and it seems that we are left with nothing, but are we? The endpoints of the intervals remain. These are 0, 1, 1/3, 2/3, 1/9, 2/9 7/9, 8/9, … . Are there any additional points left? We answer this question in the next section.
4. How many points are left (in the Cantor set) after we delete the middle thirds?
After deleting the middle thirds, an uncountable set remains. To prove this, we have to show that the cardinalitiy of the interval [0,1] and the Cantor set are actually equal.
What is the cardinality? Roughly speaking, the cardinality is the number of elements of a set.
Finding the cardinality of a finite set is easy, we just need to count the number of elements. But what about the cardinality of an infinite set? For example, $\mathbb{N}=${1, 2, 3, 4, 5, …}, or $\mathbb{Z}=${ …, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, …}, or even worse, the real number interval $[0,1]$.
Cantor and other mathematicians extend the notion of cardinality to include sets of infinite size by using bijective functions. We will briefly go over the definition of a function, and define the meaning of a bijective function, in order to find the cardinality of our set of interest, the Cantor set.
1) What is a function?
A function is a rule that assigns to every value x in a set called the domain, only one element in another set called the codomain.
An injective function
An injective function is a function f that associates to distinct arguments (elements of the domain), distinct values in the codomain. It is also called a onetoone function. An example of an injective function is shown below.
A surjective function
A surjective function is a function f, such that for every y in the codomain, there is at least one x in the domain with $f(x)=y$. It is also called an onto function. The picture shown on the next is an example of a surjective function.
A bijective function
A bijective function is a function f with the property that for every y in the codomain, there is exactly one x in the domain such as f(x)=y. It is both onetoone and onto. The following picture is an example of a bijective function.
If there is a function g from a set A to another set B that is bijective (both onetoone and onto) we say the two sets have the same cardinality. For example, the set $A={a, b, c}$ and the set $B={1,2,3}$ have the same cardinality. Indeed, the function g, which maps a to 1, b to 2 and c to 3 is bijective. Therefore the set A has the same cardinality as B, namely cardinality 3.
This definition of cardinality holds both for finite and for infinite sets, even though it is not as intuitive for infinite sets, as we show below.
2) Which set is bigger, {0, 1, 2, 3, 4, 5, 6, 7, 8, …}, or { …, 4, 3, 2, 1, 0, 1, 2, 3, 4, …}
Intuitively, it seems Z={ …, 4, 3, 2, 1, 0, 1, 2, 3, 4, …} is twice as big as N={0, 1, 2, 3, 4, 5, 6, 7, 8, …}, because it contains both the positive and the negative integers and 0. In fact, we can find a bijective function between both sets.
With this knowledge, we may draw the relationship between set N and set Z as follows:
We find that there is a function
(33)that is bijective if n is even; and there is another function
(34)that is bijective too if n is odd. So, the given sets N and Z have the same cardinality, namely, a countably infinite cardinality (because we find a bijection between the set  Z in this case  and the natural numbers N).
Cantor shows that there are sets (like the real interval [0,1]) that have an infinite number of points, but for which one cannot find a bijection to the natural integers. In fact, sets, like this one, have just too many numbers; therefore, we cannot find an "enumeration" for them. We say that such sets have uncountably infinite cardinalities.
3) So then, what is the cardinality of the Cantor set?
Using the same procedure as above, we show that there is a function f from the Cantor set C to the interval [0,1] that is bijective, in order to prove that their cardinalities are actually equal (namely, uncountably infinite cardinality).
The numbers, such as $0$, $\frac{1}{9}$, $\frac{2}{9}$, $\frac{1}{3}$, $\frac{2}{3}$, $\frac{7}{9}$, $\frac{8}{9}$, $\frac{1}{4}$, $\frac{3}{10}$, and $1$, are in the Cantor set that are not the endpoints of deleted intervals.
4) Decimal Expansion
The decimal expansion of $\frac{1}{4}$ is 0.25. It can be shown as:
(35)Other examples are $\frac{3}{10}= (0.3)_{10}$, $\frac{1}{3}= (0.33333...)_{10}$. They are represented in base 10.
5) Binary expansion
Similarly, every number in [0,1] can be written in binary expansion as well (namely, with base 2).
(37)or
(38)where the first and the second expansions coincide because of the properties of geometric series that we mentioned above.
Namely,
As another example, let's express in binary expansion
(48)6) Tertiary expansion
Also, every number in [0,1] can be written in base 3.
(51)In section 2, we obtained the Cantor set by deleting the middle thirds recursively. The numbers we deleted are therefore numbers in [0,1] whose tertiary expansion have ones (the number 1) at some point in the expansion base 3. In other words, they would be in a middle third at that point. Therefore, the numbers left in the Cantor set have only zeroes and two's in their tertiary expansion.
For this reason, we know that numbers such as $(0.022...)_{3}, (0.200...)_{3}, (0.222...)_{3}$ are in the Cantor set, while $(0.1200...)_{3}$ is not. Therefore we can describe a bijection between the Cantor set and the interval [0,1] by the figure below:
According to the graph above, we find that there is a function
(55)where c is an element of the Cantor set, and the function $f(c)$ is bijective function between C and [0,1].
This bijection can be represented in the following graph:
Conclusion
The Cantor set has the same cardinality as the closed interval [0,1]. Namely, the Cantor set is an uncountably infinite set that has as many points as the interval [0,1], the interval we used to construct the Cantor set. Yet, the Cantor set has length 0!
Bibliography
 Cantor set, available at http://en.wikipedia.org/wiki/Cantor_set
 Ensley and Crawley, Discrete Mathematics, Hoboken, NJ, Wiley, p. 249300.
 Georg Cantor, available at http://www.bigpedia.com/encyclopedia/Georg_Cantor
 Larson, Hostetler and Edwards, Calculus, Boston, MA., Houghton Mifflin, 1998, p. 558641.