MHB Cantor Set Numbers: Explaining the Unique Ternary Expansion

Dustinsfl
Messages
2,217
Reaction score
5
Explain why the Cantor set consists precisely of all the numbers between 0 and 1 (including 0 and 1) which can be represented by a ternary expansion in which the digit 1 does not appear anywhere in the expansion.

I believe this has to do with always taking a 3rd away.
 
Physics news on Phys.org
dwsmith said:
Explain why the Cantor set consists precisely of all the numbers between 0 and 1 (including 0 and 1) which can be represented by a ternary expansion in which the digit 1 does not appear anywhere in the expansion.

I believe this has to do with always taking a 3rd away.
At the first stage of the construction, you remove the open interval $(1/3,2/3)$, or in ternary notation $(0.1,0.2)$. That removes all the numbers that have a 1 as the first digit in their ternary expansion. The left-hand endpoint of the interval, the point 0.1, is not removed. At first sight, it looks as though this fails to remove a point with a 1 as the first digit in its ternary expansion. However, the point 0.1 can also be represented as 0.022222... (recurring). So this point can in fact be represented without any 1s in its ternary expansion, and we have only removed those points in the unit interval which must have a 1 as the first digit in their ternary expansion.

Similarly, the second stage of the Cantor construction removes all those points in the unit interval which must have a 1 as the second digit in their ternary expansion, and so on.

Thus the Cantor set consists of all those points in the unit interval which can be represented without a 1 anywhere in their ternary expansion.
 
I posted this question on math-stackexchange but apparently I asked something stupid and I was downvoted. I still don't have an answer to my question so I hope someone in here can help me or at least explain me why I am asking something stupid. I started studying Complex Analysis and came upon the following theorem which is a direct consequence of the Cauchy-Goursat theorem: Let ##f:D\to\mathbb{C}## be an anlytic function over a simply connected region ##D##. If ##a## and ##z## are part of...
Back
Top