11
$\begingroup$

We know that all numbers that belong to the Cantor set have a ternary representation with only 0's and 2's but, for example, $\frac{1}{3}=(0.1)_3$ and $\frac{1}{3}$ belong to the Cantor set. I don't understand and I have already read tons of sources. Can somebody explain to me what is going on?

$\endgroup$
  • 1
    $\begingroup$ The answers below are, of course correct. Perhaps another way to go is to realize that we only delete open intervals in the usual iterated construction. So, first we delete $(1/3,2/3)$ which leaves 1/3 in the set and it never gets subsequently deleted. $\endgroup$ – Eric Towers Jul 8 '15 at 20:57
33
$\begingroup$

$(0.1)_3 = (0.0222\ldots)_3$, just as $0.1 = 0.0999\ldots$ in base $10$.

$\endgroup$
  • 4
    $\begingroup$ lol you win by 4 seconds. =) $\endgroup$ – user21820 Jul 8 '15 at 7:03
  • 6
    $\begingroup$ @user21820 Apparently you typed too many $2$s :) $\endgroup$ – Hagen von Eitzen Jul 8 '15 at 21:58
  • $\begingroup$ @HagenvonEitzen: Yea.. all because I wanted to make an infinitesimal attempt to emphasize the infinite ternary expansion. $\endgroup$ – user21820 Jul 9 '15 at 13:44
21
$\begingroup$

$0.02222222222222222222..._3 = 0.1_3$

$\endgroup$
  • 24
    $\begingroup$ Either you wrote too many $2$s or infinitely too few $2$s. I can't decide. $\endgroup$ – Akiva Weinberger Jul 8 '15 at 7:12
  • 3
    $\begingroup$ @columbus8myhw: Hahaha.. I held down the 2 on my keyboard for about one second. $\endgroup$ – user21820 Jul 8 '15 at 7:15
  • 2
    $\begingroup$ @columbus8myhw No, it's not too many. The notation means there is 18 twos, and then a two infinitely repeating. That's perfectly true (despite other notations, like $0.022222222\dots_3$ or $0.0222\dots_3$ or $0.022\dots_3$, which result in the same meaning). $\endgroup$ – CiaPan Jul 8 '15 at 8:17
  • 4
    $\begingroup$ @CiaPan: Haha columbus8myhw was joking.. $\endgroup$ – user21820 Jul 8 '15 at 8:19
  • 5
    $\begingroup$ @Brian Another way would be 7. $\endgroup$ – Paulpro Jul 8 '15 at 18:35
1
$\begingroup$

Any endpoint of removed intervals belongs to Cantor set.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.