Suppose is an irrational in the interval , and fix a positive integer . Let’s see what I can say about rational approximations to whose denominator is no bigger than .
First of all, lies in one of the intervals , where . Since is irrational, it won’t be an endpoint of such an interval, nor will it be the midpoint. Which is to say, it is closer to one end than the other. More explicitly, we can say that for some .
Instead of requiring the denominator of a rational approximation to actually be , what if we just ask that it be no bigger than ? Then we’re asking how well rationals in the -th Farey sequence, , approximate .
Instead of thinking about , let’s multiply everything by , and so look at (we’ll divide by that again soon enough). So now we’re not asking about rational approximations, as such, but asking about pairs of integers, and with , so that is “pretty close” to the integer .
Let’s re-phrase once more. Consider all of the multiples of . All of these are irrationals, but could now be bigger than 1 (our original was less than 1). I don’t want to think about things bigger than 1, so let me trim all of these multiples down to just the “fractional part”. Which is to say, I’ll now think about all of the values (the “floor” notation picks out the “greatest integer less than”), which are all irrationals in the interval . Now for each I have an integer , and let me denote this integer by . You might note that is always less than .
So now I am thinking about the irrational values in the interval . I’ll think about them in comparison to the rational points , like I did before. Following Rademacher (as most of my content has been and will be), we distinguish two cases.
- Suppose some falls in the interval . Then , and so (since ).
- If is free of our points, then by the pidgeon-hole principle, some interval contains two values, say and (arrange notation so that , forcing also ). Then , which we re-arrange to say that . Letting and , we have , which we again re-write, as in case (1), to say that .
We have, therefore, improved the “order” of our approximation. To begin with, we said that rational approximations could be found with . I think of this as a “order 1″ approximation, since the denominator of the error is a linear function of the denominator of the rational approximation. We have now improved this so that , which I would therefore call an “order 2″ approximation. If you are a little more careful with your inequalities, you can improve the bound to (an error that I think I’ll probably end up mentioning again tomorrow), basically for the same reason there is a coefficient of 2 in the order 1 approximation, I guess.
I should probably be a little (a lot) more careful in what I am saying with the above. I chose an irrational and an integer , and said that an “order 2″ rational approximation could be found. The stronger claim is that, in fact, infinitely many order 2 rational approximations can be found, if you let increase. Suppose your first order 2 approximation gives you , when you have bounded the denominator by . Find a new so that . Then go through the process above, using as the new bound on the denominator. When you find with that process, then you’ve found a new rational approximation (since it is closer to then was) that is still order 2 (since that’s what the process does for you).
So, can order 2 be improved on? Can you find order 3, or higher? It turns out, “no”, in general (and the golden ratio is an example). You can improve the coefficient of 2 in the order 2 approximation to , but that’s apparently the best you can do, in general. There’s more than can be said along these lines. The Roth-Liouville irrationality measure might be fun to talk about (it earned Roth a Fields medal, so it must be ok), as would continued fractions. I’m not sure how much these are related to my stated goal of understanding the link between Farey sequences and the Riemann hypothesis, so for now, perhaps I’ll leave them alone.
For some reason, I thought it might be fun to make a visualization about rational approximations using . Here is a picture of the rationals in , as a subset of :
Here’s a graph of the function taking to “the rational in closest to “: