algebra911.com

Cantor Set

Q: Why is it called the Cantor set?

It is named after the 19th-century German mathematician Georg Cantor, who introduced it in 1883. Cantor used this set to explore groundbreaking ideas about infinity and the nature of the real number line.

Q: Is the Cantor set a fractal?

Yes, it is one of the earliest and most fundamental examples of a fractal. It exhibits perfect self-similarity: if you take the part of the set in the first third, $[0, 1/3]$, and magnify it by 3, you get an exact copy of the original set.

Q: Can you draw the Cantor set?

You can't draw the complete, final Cantor set because it involves an infinite process. We can only draw approximations of the first few steps of its construction. These drawings show how the line breaks into more and more smaller pieces, eventually looking like a fine dust of points.

Q: What is the point of learning about the Cantor set?

The Cantor set is a fantastic educational tool because its properties are so counter-intuitive. It challenges our basic ideas about length and infinity, forcing us to think more deeply. It serves as a gateway to advanced topics in math like topology, measure theory, and fractal geometry.

Q: Is the number 0.5 in the Cantor set?

No, it is not. The number $0.5$ is exactly $\frac{1}{2}$, which lies in the very first interval we remove, $(\frac{1}{3}, \frac{2}{3})$. Since it gets removed at Step 1, it cannot be part of the final set.

Q: Are there other fractals made in a similar way?

Yes, many famous fractals are created by a similar process of recursively removing parts of a shape. Two well-known examples are the Sierpinski triangle (where you remove the middle triangle from a larger one) and the Koch snowflake (where you add triangles to the sides of a line).

Q: Does the Cantor set contain any 'chunks' or line segments?

No, it does not. The final Cantor set contains no intervals, no matter how small. Any two points in the Cantor set, no matter how close, will always have a gap between them that was removed during the construction. This is why it's described as being 'totally disconnected'.

Download as PDF

Welcome to one of the most curious objects in mathematics: the Cantor set. It starts as a simple line segment, but through a process of infinite cuts, it becomes a strange and beautiful collection of points—a 'dust' that is both infinitely detailed and has zero length. Let's explore this mind-bending idea.

Cantor Set — an original Algebra911 reference diagram defining cantor set with its key formula and a worked example. — The Cantor Set: A Journey into Infinite Mathematical Dust

What Is the Cantor Set?

The Cantor set is a special collection of points on a line segment, created by starting with a single segment and repeatedly removing the open middle third of every segment that remains. This process is continued forever, an infinite number of times. The points that are left over—the ones that are never removed—make up the Cantor set. It's a foundational example of a fractal, an object that is self-similar at different scales.

Imagine you have a piece of string of length 1. Here’s how you begin to construct the Cantor set:

Step 0: You start with the entire string. In math, we represent this as the closed interval $[0, 1]$ , which means all the numbers from 0 to 1, including 0 and 1 themselves.
Step 1: You find the middle third of the string, from $\frac{1}{3}$ to $\frac{2}{3}$ , and remove it. You are now left with two smaller pieces of string: $[0, \frac{1}{3}]$ and $[\frac{2}{3}, 1]$ .
Step 2: Now, you take each of those two smaller pieces and remove the middle third from both of them. From the first piece, you remove $(\frac{1}{9}, \frac{2}{9})$ . From the second piece, you remove $(\frac{7}{9}, \frac{8}{9})$ . You are now left with four even smaller pieces.
Step 3 and beyond: You continue this process forever. At each step, you look at all the little pieces of string you have and snip out the middle third of each one.

The Cantor set is the collection of all the points that survive this infinite cutting process. It might seem like nothing would be left, but as we'll see, what remains is infinitely more complex than you might guess.

How Is the Cantor Set Constructed Step-by-Step?

Let's formalize the construction process using mathematical notation. We'll call the set at the beginning $C_{0}$ , the set after the first removal $C_{1}$ , and so on. The final Cantor set, $C$ , is what's left after an infinite number of steps.

Step 0: We start with the closed interval from 0 to 1.
$C_{0} = [0, 1]$
Step 1: Remove the open interval $(\frac{1}{3}, \frac{2}{3})$ .
$C_{1} = [0, \frac{1}{3}] \cup [\frac{2}{3}, 1]$
Step 2: Remove the middle third from the two remaining intervals. These are $(\frac{1}{9}, \frac{2}{9})$ and $(\frac{7}{9}, \frac{8}{9})$ .
$C_{2} = [0, \frac{1}{9}] \cup [\frac{2}{9}, \frac{1}{3}] \cup [\frac{2}{3}, \frac{7}{9}] \cup [\frac{8}{9}, 1]$
Step 3: Remove the middle third from the four remaining intervals.
$C_{3} = [0, \frac{1}{27}] \cup [\frac{2}{27}, \frac{1}{9}] \cup [\frac{2}{9}, \frac{7}{27}] \cup [\frac{8}{27}, \frac{1}{3}] \cup \dots$ and so on.

The Cantor set $C$ is the intersection of all these sets $C_{n}$ as $n$ goes to infinity. In other words, a point belongs to the Cantor set if it is in $C_{0}$ , and in $C_{1}$ , and in $C_{2}$ , and so on, forever. The points that get removed at any stage are not in the Cantor set.

What Happens to the Length and Number of Pieces?

Let's track two important properties as we build the Cantor set: the number of segments and the total length of those segments. This reveals a fascinating paradox.

At each step $n$ , we can count the number of closed intervals (the pieces of string) and calculate their total length.

Step (n)	Number of Intervals	Length of Each Interval	Total Length Remaining
0	1 (which is $2^{0}$ )	1	1
1	2 (which is $2^{1}$ )	$\frac{1}{3}$	$2 \times \frac{1}{3} = \frac{2}{3}$
2	4 (which is $2^{2}$ )	$\frac{1}{9}$	$4 \times \frac{1}{9} = \frac{4}{9}$
3	8 (which is $2^{3}$ )	$\frac{1}{27}$	$8 \times \frac{1}{27} = \frac{8}{27}$
...	...	...	...
$n$	$2^{n}$	$\frac{1}{3^{n}}$	$2^{n} \times \frac{1}{3^{n}} = (\frac{2}{3})^{n}$

Notice the patterns here. The number of intervals doubles at each step, following the pattern $2^{n}$ . The total length is multiplied by $\frac{2}{3}$ at each step, following the pattern $(\frac{2}{3})^{n}$ .

So, what is the total length of the final Cantor set? We need to see what happens to $(\frac{2}{3})^{n}$ as $n$ gets infinitely large. Since $\frac{2}{3}$ is a fraction less than 1, when you multiply it by itself over and over, the result gets smaller and smaller, approaching zero.

lim_{n \to \infty} (\frac{2}{3})^{n} = 0

This leads to our first mind-blowing conclusion: The total length of the Cantor set is 0. We have removed so much material that, in terms of length, nothing is left.

If the Length is Zero, How Many Points Are Left?

This is where the Cantor set gets truly weird. Its length is zero, which might make you think it's an empty set. But it's not! There are points left. In fact, there are infinitely many points left.

How can we be sure? Well, think about the endpoints of the intervals. At Step 1, we create the endpoints $\frac{1}{3}$ and $\frac{2}{3}$ . Are these ever removed? No! To be removed, a point must be in the middle third of some segment. Endpoints are always at the edge, so they always survive. At every step, we create new endpoints (like $\frac{1}{9}, \frac{2}{9}, \frac{7}{9}, \frac{8}{9}$ , etc.), and none of them are ever removed. Since we do this an infinite number of times, there must be an infinite number of endpoints in the Cantor set.

But it's even stranger than that. There are points in the Cantor set that are not endpoints of any removed interval. A famous example is the point $\frac{1}{4}$ . It's not immediately obvious, but $\frac{1}{4}$ is never in any of the middle thirds that we remove.

The amazing truth is that the Cantor set contains an 'uncountably infinite' number of points. This is a higher level of infinity. It means that the Cantor set, despite having zero length, contains just as many points as the original line segment $[0, 1]$ did! It's a collection of infinite points, packed so sparsely that their total length is zero, like a fine dust spread across a line.

Worked Examples with the Cantor Set

Example 1

Calculate the total length of the segments that are removed from the interval $[0, 1]$ to create the Cantor set.

Solution: We can add up the lengths of the pieces we remove at each step.
Step 1: We remove 1 interval of length $\frac{1}{3}$ . Total removed: $\frac{1}{3}$ .
Step 2: We remove 2 intervals of length $\frac{1}{9}$ . Total removed: $2 \times \frac{1}{9} = \frac{2}{9}$ .
Step 3: We remove 4 intervals of length $\frac{1}{27}$ . Total removed: $4 \times \frac{1}{27} = \frac{4}{27}$ .
Step $n$ : We remove $2^{n - 1}$ intervals of length $\frac{1}{3^{n}}$ . Total removed: $\frac{2^{n - 1}}{3^{n}}$ .
The total length removed is the sum of an infinite geometric series:
$S = \frac{1}{3} + \frac{2}{9} + \frac{4}{27} + \dots$ $S = \sum_{n = 1}^{\infty} \frac{2^{n - 1}}{3^{n}}$
This is a geometric series with first term $a = \frac{1}{3}$ and common ratio $r = \frac{2}{3}$ . We can use the formula for the sum of an infinite geometric series, $S = \frac{a}{1 - r}$ .
$S = \frac{\frac{1}{3}}{1 - \frac{2}{3}} = \frac{\frac{1}{3}}{\frac{1}{3}} = 1$
The total length of all the removed pieces is exactly 1. Since we started with a line of length 1, this confirms that the length of the remaining Cantor set must be $1 - 1 = 0$ .

Example 2

Determine if the point $x = \frac{2}{3}$ is in the Cantor set.

Solution: We check step by step to see if $\frac{2}{3}$ is ever removed.
Step 0: The interval is $[0, 1]$ . $\frac{2}{3}$ is in this interval.
Step 1: We remove the open interval $(\frac{1}{3}, \frac{2}{3})$ . This means we remove all numbers strictly between $\frac{1}{3}$ and $\frac{2}{3}$ . The point $x = \frac{2}{3}$ is an endpoint, not inside this open interval. So, it survives. The remaining set is $[0, \frac{1}{3}] \cup [\frac{2}{3}, 1]$ . The point $\frac{2}{3}$ is the left endpoint of the second segment.
Step 2 and beyond: In all future steps, the point $\frac{2}{3}$ will always be an endpoint of one of the remaining segments. Endpoints are never removed.
Therefore, yes, $\frac{2}{3}$ is in the Cantor set.

Example 3

After how many steps is the total length of the remaining segments less than $\frac{1}{10}$ ?

Solution: We found that the total length remaining after $n$ steps is given by the formula $L_{n} = (\frac{2}{3})^{n}$ . We want to find the smallest integer $n$ for which $L_{n} < \frac{1}{10}$ .
$(\frac{2}{3})^{n} < \frac{1}{10}$
We can solve this by testing values of $n$ :
For $n = 1$ : $(\frac{2}{3})^{1} = \frac{2}{3} \approx 0.667$
For $n = 2$ : $(\frac{2}{3})^{2} = \frac{4}{9} \approx 0.444$
For $n = 3$ : $(\frac{2}{3})^{3} = \frac{8}{27} \approx 0.296$
For $n = 4$ : $(\frac{2}{3})^{4} = \frac{16}{81} \approx 0.198$
For $n = 5$ : $(\frac{2}{3})^{5} = \frac{32}{243} \approx 0.132$
For $n = 6$ : $(\frac{2}{3})^{6} = \frac{64}{729} \approx 0.0878$
Since $0.0878$ is less than $\frac{1}{10} = 0.1$ , the first time this happens is at $n = 6$ .
Answer: After 6 steps, the total length is less than $\frac{1}{10}$ .

Common Mistakes and Pitfalls

Thinking Zero Length Means No Points: This is the biggest conceptual hurdle. The idea of 'length' in calculus (called 'measure') is different from just counting points. The Cantor set is a classic example of an uncountably infinite set of points that has a measure of zero. Think of it as points without any 'thickness'.
Believing Only Endpoints Remain: While all the endpoints of the removed intervals are in the set, they are not the only points. Points like $\frac{1}{4}$ and $\frac{3}{4}$ are also in the set, even though they are never endpoints of any of the construction intervals. The set is much richer and more complex than just its endpoints.
Confusing Length Removed with Length Remaining: Be careful with what the question is asking. The length removed at step $n$ is $\frac{2^{n - 1}}{3^{n}}$ (for $n \geq 1$ ). The length remaining after step $n$ is $(\frac{2}{3})^{n}$ . The sum of all removed lengths is 1, while the final remaining length is 0.
Calculating the Number of Points: Do not mistake the number of intervals ( $2^{n}$ ) at a finite step for the number of points in the final set. The number of intervals goes to infinity, but this doesn't capture the true 'size' of the infinity of points in the final set, which is uncountable.

Quick Summary

Here are the key properties of the Cantor set to remember:

Construction: It's created by starting with the interval $[0, 1]$ and infinitely removing the open middle third of each remaining segment.
Self-Similarity: It's a fractal. If you zoom in on the portion of the Cantor set within $[0, \frac{1}{3}]$ , it looks exactly like the entire Cantor set, just scaled down by a factor of 3.
Total Length: The total length of the Cantor set is 0.
Number of Points (Cardinality): The Cantor set contains an uncountably infinite number of points, the same 'amount' of infinity as the original $[0, 1]$ interval.
Contents: It contains no intervals. It is a totally disconnected set of points, often called a 'dust'.

Frequently Asked Questions

Why is it called the Cantor set?

It is named after the 19th-century German mathematician Georg Cantor, who introduced it in 1883. Cantor used this set to explore groundbreaking ideas about infinity and the nature of the real number line.

Is the Cantor set a fractal?

Yes, it is one of the earliest and most fundamental examples of a fractal. It exhibits perfect self-similarity: if you take the part of the set in the first third, $[0, 1 / 3]$ , and magnify it by 3, you get an exact copy of the original set.

Can you draw the Cantor set?

You can't draw the complete, final Cantor set because it involves an infinite process. We can only draw approximations of the first few steps of its construction. These drawings show how the line breaks into more and more smaller pieces, eventually looking like a fine dust of points.

What is the point of learning about the Cantor set?

The Cantor set is a fantastic educational tool because its properties are so counter-intuitive. It challenges our basic ideas about length and infinity, forcing us to think more deeply. It serves as a gateway to advanced topics in math like topology, measure theory, and fractal geometry.

Is the number 0.5 in the Cantor set?

No, it is not. The number $0.5$ is exactly $\frac{1}{2}$ , which lies in the very first interval we remove, $(\frac{1}{3}, \frac{2}{3})$ . Since it gets removed at Step 1, it cannot be part of the final set.

Are there other fractals made in a similar way?

Yes, many famous fractals are created by a similar process of recursively removing parts of a shape. Two well-known examples are the Sierpinski triangle (where you remove the middle triangle from a larger one) and the Koch snowflake (where you add triangles to the sides of a line).

Does the Cantor set contain any 'chunks' or line segments?

No, it does not. The final Cantor set contains no intervals, no matter how small. Any two points in the Cantor set, no matter how close, will always have a gap between them that was removed during the construction. This is why it's described as being 'totally disconnected'.