In mathematics, an irrationality measure of a real number x is a measure of how "closely" it can be approximated by rationals. If a function, defined for t,\lambda>0, takes positive real values and is strictly decreasing in both variables, consider the following inequality: for a given real number x\in\R and rational numbers \frac pq with. Define R as the set of all for which only finitely many \frac pq exist, such that the inequality is satisfied. Then is called an irrationality measure of x with regard to f. If there is no such \lambda and the set R is empty, x is said to have infinite irrationality measure. Consequently the inequality has at most only finitely many solutions \frac pq for all.

Irrationality exponent

The irrationality exponent or Liouville–Roth irrationality measure is given by setting, a definition adapting the one of Liouville numbers — the irrationality exponent \mu(x) is defined for real numbers x to be the supremum of the set of \mu such that is satisfied by an infinite number of coprime integer pairs (p,q) with q>0. For any value n<\mu(x), the infinite set of all rationals p/q satisfying the above inequality yields good approximations of x. Conversely, if n>\mu(x), then there are at most finitely many coprime (p,q) with q>0 that satisfy the inequality. For example, whenever a rational approximation with p,q\in\N yields n+1 exact decimal digits, then for any, except for at most a finite number of "lucky" pairs (p,q). A number with irrationality exponent \mu(x)\le 2 is called a diophantine number, while numbers with are called Liouville numbers.

Corollaries

Rational numbers have irrationality exponent 1, while (as a consequence of Dirichlet's approximation theorem) every irrational number has irrationality exponent at least 2. On the other hand, an application of Borel-Cantelli lemma shows that almost all numbers, including all algebraic irrational numbers, have an irrationality exponent exactly equal to 2. It is for real numbers x and rational numbers r\neq 0 and s. If for some x we have, then it follows. For a real number x given by its simple continued fraction expansion with convergents p_i/q_i it holds: If we have and for some positive real numbers \sigma,\tau, then we can establish an upper bound for the irrationality exponent of x by:

Known bounds

For most transcendental numbers, the exact value of their irrationality exponent is not known. Below is a table of known upper and lower bounds.

Irrationality base

The irrationality base or Sondow irrationality measure is obtained by setting. It is a weaker irrationality measure, being able to distinguish how well different Liouville numbers can be approximated, but yielding \beta(x)=1 for all other real numbers: Let x be an irrational number. If there exist real numbers with the property that for any, there is a positive integer such that for all integers p,q with then the least such \beta is called the irrationality base of x and is represented as \beta(x). If no such \beta exists, then and x is called a super Liouville number. If a real number x is given by its simple continued fraction expansion with convergents p_i/q_i then it holds:

Examples

Any real number x with finite irrationality exponent has irrationality base \beta(x)=1, while any number with irrationality base \beta(x)>1 has irrationality exponent and is a Liouville number. The number has irrationality exponent and irrationality base \beta(L)=1. The numbers ({^{n}a} represents tetration, a=2,3,4...) have irrationality base. The number has irrationality base, hence it is a super Liouville number. Although it is not known whether or not e^\pi is a Liouville number, it is known that.

Other irrationality measures

Markov constant

Setting gives a stronger irrationality measure: the Markov constant M(x). For an irrational number it is the factor by which Dirichlet's approximation theorem can be improved for x. Namely if c<M(x) is a positive real number, then the inequality has infinitely many solutions. If c>M(x) there are at most finitely many solutions. Dirichlet's approximation theorem implies M(x)\ge1 and Hurwitz's theorem gives both for irrational x. This is in fact the best general lower bound since the golden ratio gives. It is also. Given by its simple continued fraction expansion, one may obtain: Bounds for the Markov constant of can also be given by with. This implies that M(x)=\infty if and only if (a k) is not bounded and in particular M(x)<\infty if x is a quadratic irrational number. A further consequence is M(e)=\infty. Any number with \mu(x)>2 or \beta(x)>1 has an unbounded simple continued fraction and hence M(x)=\infty. For rational numbers r it may be defined M(r)=0.

Other results

The values M(e)=\infty and \mu(e)=2 imply that the inequality has for all c\in\R^+ infinitely many solutions while the inequality has for all only at most finitely many solutions. This gives rise to the question what the best upper bound is. The answer is given by: which is satisfied by infinitely many for c>\tfrac12 but not for c<\tfrac12. This makes the number e alongside the rationals and quadratic irrationals an exception to the fact that for almost all real numbers x\in\R the inequality below has infinitely many solutions : (see Khinchin's theorem)

Mahler's generalization

Kurt Mahler extended the concept of an irrationality measure and defined a so-called transcendence measure, drawing on the idea of a Liouville number and partitioning the transcendental numbers into three distinct classes.

Mahler's irrationality measure

Instead of taking for a given real number x the difference |x-p/q| with, one may instead focus on term with and with \deg L = 1. Consider the following inequality: with and. Define R as the set of all for which infinitely many solutions exist, such that the inequality is satisfied. Then is Mahler's irrationality measure. It gives for rational numbers, for algebraic irrational numbers and in general, where \mu(x) denotes the irrationality exponent.

Transcendence measure

Mahler's irrationality measure can be generalized as follows: Take P to be a polynomial with and integer coefficients. Then define a height function and consider for complex numbers z the inequality: with. Set R to be the set of all for which infinitely many such polynomials exist, that keep the inequality satisfied. Further define for all with \omega_1(z) being the above irrationality measure, \omega_2(z) being a non-quadraticity measure, etc. Then Mahler's transcendence measure is given by: The transcendental numbers can now be divided into the following three classes: If for all the value of is finite and \omega(z) is finite as well, z is called an S-number (of type \omega(z)). If for all the value of is finite but \omega(z ) is infinite, z is called an T-number. If there exists a smallest positive integer N such that for all n\ge N the \omega_n(z) are infinite, z is called an U-number (of degree N). The number z is algebraic (and called an A-number) if and only if \omega(z)=0. Almost all numbers are S-numbers. In fact, almost all real numbers give \omega(x)=1 while almost all complex numbers give. The number e is an S-number with \omega(e)=1. The number π is either an S- or T-number. The U-numbers are a set of measure 0 but still uncountable. They contain the Liouville numbers which are exactly the U-numbers of degree one.

Linear independence measure

Another generalization of Mahler's irrationality measure gives a linear independence measure. For real numbers consider the inequality with and. Define R as the set of all for which infinitely many solutions exist, such that the inequality is satisfied. Then is the linear independence measure. If the x_1,...,x_n are linearly dependent over \mathbb\Q then. If are linearly independent algebraic numbers over \mathbb\Q then. It is further.

Other generalizations

Koksma’s generalization

Jurjen Koksma in 1939 proposed another generalization, similar to that of Mahler, based on approximations of complex numbers by algebraic numbers. For a given complex number z consider algebraic numbers \alpha of degree at most n. Define a height function, where P is the characteristic polynomial of \alpha and consider the inequality: with. Set R to be the set of all for which infinitely many such algebraic numbers \alpha exist, that keep the inequality satisfied. Further define for all with being an irrationality measure, being a non-quadraticity measure, etc. Then Koksma's transcendence measure is given by: The complex numbers can now once again be partitioned into four classes A*, S*, T* and U*. However it turns out that these classes are equivalent to the ones given by Mahler in the sense that they produce exactly the same partition.

Simultaneous approximation of real numbers

Given a real number x\in \R, an irrationality measure of x quantifies how well it can be approximated by rational numbers \frac pq with denominator. If x=\alpha is taken to be an algebraic number that is also irrational one may obtain that the inequality has only at most finitely many solutions for \mu>2. This is known as Roth's theorem. This can be generalized: Given a set of real numbers one can quantify how well they can be approximated simultaneously by rational numbers with the same denominator. If the are taken to be algebraic numbers, such that are linearly independent over the rational numbers \mathbb Q it follows that the inequalities have only at most finitely many solutions for. This result is due to Wolfgang M. Schmidt.