1
$\begingroup$

Recall the irrationality measure of a real number $r$ is $ \mu(r)= \inf \left\{ \lambda\colon \left\lvert r-\frac{x}{y}\right\rvert\lt \frac{1}{y^{\lambda}} \text{ has only finitely many solutions} \right\}$

Does anyone have a reference or proof?

  • 0
    Andre, yes youre right. Sorry, I meant the set of real numbers that have irrationality measure larger than 2.2012-08-21

1 Answers 1

5

A proof of the fact that the set of reals with irrationality measure $\gt 2$ has Lebesgue measure $0$ can be found in several places. I think the result is due to Khinchin, and is in his book on continued fractions.

Here is an online proof by Beukers. It is towards the end of the paper, but independent of the rest, which anyway is worth reading.

It follows that the set of reals in the interval $[0,1]$ with irrationality measure $2$ has Lebesgue measure $1$.