Diophantine approximation deals with the approximation of real numbers by rational numbers.
In the 1840’s Liouville obtained the first lower bound for the approximation of algebraic numbers:
Let α ∈ R be an irrational algebraic number satisfying f(α) = 0 with non-zero irreducible (cannot be reduced) f ∈ Z[x] of degree d. Then there is a non-zero constant C such that for every fraction p/q
The proof utilises the mean value theorem. By this theorem, given p/q, there is a real ξ between α and p/q such that
Since f has integer coefficients and is of degree d, the value of f(p/q) is a rational number with denominator at worst q^d. Since f is irreducible, f(p/q) cannot be equal to 0. Thus
A corollary of this result is that numbers that are well approximable by rational numbers, i.e. in for every d ≥ 1 and positive constant C, there is a rational p/q such that
β is a real, transcendental number.
This is because there is a rational approximation
Analysing this inequality, the ratio
is unbounded as N → +∞, and so β is well approximable by rationals.
A transcendental number is a number that is real or complex, but it not algebraic, meaning that it is not the root of a polynomial with non-zero integer coefficients. For example, √2 is algebraic as it is the solution to the polynomial equation x2 – 2 = 0.
In 1844, Joseph Liouville proved the existence of transcendental numbers and in 1851 he gave the first example of such a number:
(i.e. the nth digit after the decimal point is 1 if n = k! for some k, and 0 otherwise). This number is now known as the Liouville constant.
Only in 1873 was the first ‘non-constructed’ number shown to be transcendental when Charles Hermite proved that e was transcendental. Then, in 1882, Ferdinand von Lindemann proved that π was transcendental.
In fact, proving a number is transcendental is extremely challenging, even though they are known to be very common.
Why are they very common?
The algebraic numbers are countable (the set of algebraic numbers is the countable union of countable sets and so is therefore countable). However, the real numbers are uncountable. Therefore, since every real number is either algebraic or transcendental, the transcendentals must be uncountable. This implies that there are a lot more transcendental numbers than algebraic numbers.
Examples of Transcendental Numbers
- ea if a is algebraic and non-zero
- ab where a,b are algebraic, but a ≠ 0,1
- in particular, the Gelfond-Schenider Constant
- Continued Fraction Constant
If you want to find out more examples, click here.
Would you like to see a blog post specifically on Liouville numbers? M x