Liouville numbers

A Liouville number is a real number that can be approximated by rationals extraordinarily well — so well that it violates the approximation bounds that constrain algebraic numbers. Formally, α is Liouville if for every positive integer n, there exist integers p, q > 1 such that |α − p/q| < 1/q^n. This means the number admits rational approximations better than any power-law bound, making it the extreme opposite of a badly approximable number.

Joseph Liouville proved in 1844 that all such numbers are transcendental — they are not roots of any non-zero polynomial with integer coefficients. This was the first proof that transcendental numbers exist at all, and it established Diophantine approximation as the primary engine for constructing explicit transcendental numbers. The Liouville construction is simple: numbers of the form Σ 10^(−k!) are Liouville because their rapidly decreasing decimal expansions admit trivial rational approximations by truncation.

The significance of Liouville numbers extends beyond transcendence proofs. They form a set of Lebesgue measure zero but Hausdorff dimension one — a recurring pattern in the metric geometry of exceptional sets. They are the worst-case approximable numbers, and their existence shows that the hierarchy of approximation exponents is not merely a theoretical classification but a real stratification of the number line.

Liouville numbers belong to the broader field of transcendental number theory, where they occupy the boundary between the constructible and the unrepresentable.