1
$\begingroup$

Does the decimal portion of $n\log_3 2$ include all irrational numbers between 0 and 1 repeatedly, where $n$ is all positive integers?

Oddly enough I ran into this question while fooling around with the Collatz Conjecture.

Lacking an answer, directions as to how to find an answer (what to read up on) would be useful.


Decimal Portion: integer portion → 3 | .141592653 ← decimal portion

repeatedly: cycling through again and again


As a follow-up question, and perhaps the one I should have initially asked:

Would the decimal portion of $n\log_3 2$ include all numbers in the decimal portion of $log_3(n + 1/2)$? (again, n representing all positive integers)

  • 0
    @Didier Ah thank you. I had missed that.2012-05-24

2 Answers 2

2

Let $A=\{\mbox{decimal portion of } n\log_3 2\; |\; n \mbox{ is a positive integer}\}$, and $B=\{a\in[0,1]\;|\;a \mbox{ is irrational}\}$. Set $A$ is countable (there is a trivial one to one correspondence between $A$ and set of natural numbers), but $B$ is uncountable. So $B\nsubseteq A$. But obviously $A\subset B$.

  • 0
    As for the second question, it doesn't have this problem. And to be clear, I assume you mean if $A=\{n\log_3 2-\lfloor{n\log_3 2}\rfloor: n\in \mathbb{Z}^{\geq 0}\},$ and $B=\{ \log_3(n+\frac12)- \lfloor\log_3(n+\frac12\rfloor: n\in \mathbb{Z}^{\geq 0}\},$ then is it true that $A\subseteq B$?2012-05-24
1

Your follow-up question is unclear. I think you are asking whether every fractional part of $\log_3(n+(1/2))$ is also the fractional part of $m\log_32$ for some $m$. In fact, the fractional part of $\log_3(n+(1/2))$ is never the fractional part of $m\log_32$ for any $m$. If it were, it would mean that $m\log_32-\log_3(n+(1/2))$ is an integer. But this is $\log_3(2^{m+1}/(2n+1))$, which can't be an integer, since $2^{m+1}/(2n+1)$ can't be a power of 3.

  • 0
    you're right. I didn't notice that.2012-05-31