Diophantine approximation

Basic concepts

Central notions include the quality of approximation measured by inequalities of the form |α − p/q| < ψ(q) for some function ψ, and classifications of numbers by how well they can be approximated. Rational numbers are trivially approximated by themselves; irrational numbers display a hierarchy from badly approximable to very well approximable. Continued fractions give canonical best approximations, while measures such as approximation exponent quantify the asymptotic rate at which denominators must grow to improve accuracy.

Major results and history

Classical theorems set the foundation: Dirichlet's box principle provides elementary existence of good rational approximations for any real number. Improvements and refinements followed, including results that characterize which algebraic numbers admit exceptionally close approximations. A landmark result states that algebraic irrational numbers cannot be approximated 'too well' by rationals, a theorem that reshaped the interaction between Diophantine approximation and transcendence theory.

Techniques and variants

• Continued fractions — produce best approximants and explain periodicity for quadratic irrationals.
• Geometry of numbers and lattice methods — give multidimensional and simultaneous approximation results.
• Metric theory — studies approximation properties for almost all real numbers using measure and probability.

Applications and notable distinctions

Diophantine approximation connects to the solution of Diophantine equations, transcendence proofs (distinguishing algebraic from transcendental numbers), dynamics on homogeneous spaces, and even aspects of cryptography and quasi-Monte Carlo methods. Variants include inhomogeneous approximation, simultaneous approximation of several reals, and approximation on manifolds, each with distinct phenomena and challenges.

For further reading and background on the broader field see links to number theory, historical context about Diophantus, introductions to real numbers, rational ratios, and the role of integers in Diophantine problems.