Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I recently learned of so-called 'far' numbers at a talk. In the talk, it was proven that there is a dense subset of the interval $[0,1]$ of far numbers (however, far numbers were only a minor point of the talk, so we quickly went on to bigger and better things).

A number $x$ might be called far if there is a positive constant $c$ s.t. $\displaystyle \left\| \;x - \frac{k}{2^n} \right \| \geq \frac{c}{2^n}$ for all $k, n \in \mathbb{N}$.

It is not so bad to see that for any odd prime $p$, $1/p$ is a far number. For that matter, for most rationals, it's not so hard to see that they are far. It happens to be that the set of far numbers has measure $0$. But I began to wonder:

Is there a 'far' irrational number?

share|improve this question
    
I think that any number which is not Liouville number is a far number. Since Liouville numbers have measure zero, there exists irational numbers which are not Liouville, and those are far.... –  N. S. Feb 14 '12 at 18:08
7  
@N.S. "any number which is not Liouville number is a far number"+"Liouville numbers have measure zero"+"It happens to be that the set of far numbers has measure zero"... –  Ilya Feb 14 '12 at 18:16
    
Shouldn't this have a number-theory tag too? –  Aryabhata Feb 14 '12 at 18:45

1 Answer 1

up vote 17 down vote accepted

Consider $x = \sum_{j=1}^\infty a_j/4^j$ where each $a_j$ is either $1$ or $2$. Thus the binary expansion of $x$ consists of two-digit blocks which are either $10$ or $01$. Then $x$ is far. But there are uncountably many choices, so all but countably many of them are irrational.

share|improve this answer
    
I think this is a great solution! It's one of things that I should have thought of first, so that I could claim it as my own. –  mixedmath Feb 14 '12 at 23:07
    
A specific example is $\vartheta_3(0,1/4)/2 - 1/6$ where $\vartheta_3$ is a Jacobi theta function: in Maple's notation $\text{JacobiTheta3}(z, q) = 1+2 \sum_{n=1}^\infty q^{n^2} \cos(2 n z)$ –  Robert Israel Feb 15 '12 at 23:45

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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