Cantor’s ternary set, or more briefly, the Cantor set, is a well-known construction that illustrates some interesting topological properties of the real numbers. To describe it briefly, we define an iterative process as follows: Let be the interval from to . Then is obtained by removing the middle third from , leaving the two intervals from to and to . The set is obtained by removing the two middle thirds from . So will then contain four intervals, each of length In general, the set will contain intervals, each of length . The Cantor set, denoted , is then defined as
The Cantor set satisfies many curious properties. For instance, in a certain sense, it has length zero. This is more or less because at stage , it has a total length of , which approaches as approaches infinity. However, from the perspective of cardinality, it can be shown that the Cantor set is uncountable. This is actually fairly simple to see, using the following argument. In order to be an element of the Cantor set, you must be a member of every set . Going from to , you have to be either ‘left’ or ‘right’ of the middle third. Let’s say hypothetically that you are ‘left.’ Then going from to , again, you must be either ‘left’ or ‘right’ of the middle third. It’s clear that this process repeats indefinitely. If we represent ‘left’ and ‘right’ by and , then we see that elements of the Cantor set can be put into one-to-one correspondence with infinite binary sequences. Thus, by Cantor’s diagonal argument, the Cantor set must be uncountable. So although it has measure zero, it is an uncountable set!
One can also try to “hear” the Cantor set in the following way. Start with a particular frequency, let’s say, middle C. Define as sustaining that frequency for some duration, let’s say, one second. Then choose an interval of modulation, for instance, a tone. Then would be the triplet D-C-D, since we have modulated the outer thirds by a tone. We can proceed similarly to the general form of , and in principle, we could even define the full Cantor set , although it would be difficult to program. The following audio tracks illustrate a few of these ideas.
Here’s Cantor for n = 0, 1, 2, 3, 4:
Cantor with n = 6:
Cantor with the modulation factor as a perfect fourth:
A mash-up of many of these ideas:
I hope this post allows you to hear the Cantor set better!