[Home]Cantor set

HomePage | Recent Changes | Preferences

The Cantor set is a remarkable construction involving only the real numbers between zero and one. You take the interval [0, 1] and remove the "middle third" (1/3, 2/3) of this interval. Then you take what is left, namely [0, 1/3] U [2/3, 1], and remove the "middle thirds" from these two intervals. Continue this process ad infinitum. Pictorially, the process would look something like this:

   0                         1/3                       2/3                         1
   =================================================================================
   ===========================                           ===========================
   =========         =========                           =========         =========
   ===   ===         ===   ===                           ===   ===         ===   ===
   = =   = =         = =   = =                           = =   = =         = =   = =

The question becomes, what is left when you are done? If you add up the lengths of segments removed, it would calculate out to be:

                                          ∞
    1/3 + 2/9 + 4/27 + 8/81 + ... = (1/3) ∑  2n/3n
                                         n=0
                                  = (1/3) (1 / (1 - 2/3))
                                  = (1/3) (1 / (1/3))
                                  = (1/3) (3)
                                  = 1

(see geometric series).

Using this calculation, you may be surprised if there were anything left - after all, the sum of the lengths of the removed intervals is equal to the length of the original interval. However a closer look at the process reveals that we must have something left, since removing the "middle-thirds" of an interval involved removing open sets (sets that do not include their endpoints). So removing the line segment (1/3, 2/3) from the original interval [0, 1] leaves behind the points 1/3 and 2/3. A little reflection will convince you quickly that they will never be removed, in fact none of the endpoints of any of the intervals at any stage in the process will ever be removed. So we know for certain that the Cantor set is not empty.

The Cantor set is uncountable

It can be shown that there are as many points left behind in this process as there were those that were removed. To see this, consider the points in the [0, 1] interval in terms of base 3 (or ternary) notation. In this notation, 1/3 can be written as 0.1 and 2/3 can be written as 0.2. If we remove everything from 1/3 and 2/3 we are really removing everything between 0.1 and 0.2, or in other words, everything with a 1 in the first position after the point (except for .1 itself, but since .1 = 0.02222222..., we can represent it without using a one in any position). The next step examines the intervals [0, 0.1] and [0.2, 1] and removes their middle thirds. In this case we are removing everything between 0.01 and 0.02 in the first interval and between 0.21 and 0.22 in the second interval, or in other words, everything with a 1 in the second position after the point. By the time you are done, the numbers which remain are those that can be represented in ternary (base 3) notation with no '1' in any position. Stated another way, the Cantor set consists of all the numbers between 0 and 1 that can be represented using only 0's and 2's in ternary notation. Therefore, the numbers in the Cantor set can be mapped onto the numbers in [0, 1] by replacing every 2 in the ternary expansion with a 1, and treating the result as a binary expansion. So there are as many points in the Cantor set as there are in [0, 1], and the Cantor set is uncountable (see Cantor's diagonal argument) . Since the set of endpoints of the removed intervals is countable, there must be uncountably many numbers in the Cantor set which are not interval endpoints. One example of such a number is 1/4, which can be written as 0.02020202020... in ternary notation.

The Cantor set is a fractal

The Cantor set is the prototype of a fractal. It is self-similar, because it is equal to two copies of itself, if each copy is shrunk by a factor of 1/3 and translated. Its Hausdorff dimension is equal to ln(2)/ln(3).

Topological and analytical properties

See the topology glossary for the terms used in this section.

Since the Cantor set is the complement of a union of open sets, it itself is a closed set. Since it is also bounded, the theorem of Heine-Borel says that it must be compact.

Pick any point in the Cantor set. In any arbitrarily small neighborhood, there is some other number that can be represented as a ternary number with only 0's and 2's. Hence every point in the Cantor set is an accumulation point.

A closed sets in which every point is an accumulation point is also called a perfect set in the topological sense.

As the above summation argument shows, its Lebesgue measure is 0.

Again, pick any point in the Cantor set (which is itself a subset of the unit interval). Any arbitrarily small neighborhood around that point contains an open set in the unit interval that is disjoint from the Cantor set. Thus the Cantor set is nowhere dense and totally disconnected.

It is worth noting that as a topological space, the Cantor set is homeomorphic to the product of countably many copies of the space {0, 1}, where each copy carries the discrete topology. It is also homeomorphic to the p-adic integers, and, if one point is removed from it, to the p-adic numbers. More generally, every nonempty totally-disconnected perfect compact metric space is homeomorphic to the Cantor set.


/Talk

HomePage | Recent Changes | Preferences
This page is read-only | View other revisions
Last edited December 18, 2001 12:45 am by AxelBoldt (diff)
Search: