This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| real numbers | |
|---|---|
| Name | Real numbers |
| Type | Ordered field, complete metric space |
| Related | Complex numbers, Rational numbers, Irrational numbers, Decimal expansion |
real numbers are the set of quantities that extend the rational numbers to include limits of Cauchy sequences and magnitudes represented by continuum-sized line segments. They serve as the standard continuum for measurement in Isaac Newton-style classical analysis, underpin constructions in Augustin-Louis Cauchy-inspired convergence theory and the modern framework of David Hilbert-style spaces. Real numbers appear across applications from Carl Friedrich Gauss-related number theory to Albert Einstein-era physics and are central to formulations by Georg Cantor and Richard Dedekind of continuum concepts.
Several rigorous constructions realize the real-number continuum: Dedekind cuts introduced by Richard Dedekind, equivalence classes of Cauchy sequences developed in the tradition of Augustin-Louis Cauchy and formalized by Karl Weierstrass, and completion procedures applied to metric spaces as in Felix Hausdorff's topology. Each construction yields a complete ordered field isomorphic to the one characterized by axioms promoted in David Hilbert's foundations and discussed in Bertrand Russell's work. Constructions often reference explicit sets and maps studied by Nicolas Bourbaki and formalizers such as Errett Bishop in constructive analysis.
The real numbers form a field satisfying the usual ring axioms used by Évariste Galois and exhibit a total order compatible with field operations, an order type considered in Emil Artin-style algebraic investigations. As an ordered field they obey properties proved in Nikolai Lobachevsky-period algebraic texts and are unique up to isomorphism by classical theorems linked to Hermann Weyl's expositions. These properties underlie comparisons in John von Neumann's set-theoretic constructions and in algebraic treatments by Emmy Noether.
Equipped with the standard metric derived from absolute value, a topology on the real numbers matches the usual Euclidean topology used in Henri Poincaré's analysis and Bernhard Riemann's integration theory. The real line is a one-dimensional manifold in the sense treated in Elie Cartan's differential geometry and serves as the prototypical complete separable metric space (Polish space) studied in Andrey Kolmogorov's probability theory and in Stefan Banach's functional analysis. Compactness, connectedness, and local compactness properties are central in expositions by Marshall Stone and John Nash.
Completeness of the real numbers, expressed as the least upper bound property, was formalized by Richard Dedekind and operationalized by Bernard Bolzano and Augustin-Louis Cauchy through sequence limits and series tests. Dedekind completeness distinguishes the real line from ordered fields like those studied by Leopold Kronecker and nonstandard models developed by Abraham Robinson. Completeness underpins major theorems such as the intermediate value theorem prominent in Karl Weierstrass's curriculum and the Heine–Borel theorem appearing in Henri Lebesgue's measure-theoretic work.
Addition, subtraction, multiplication, and division (except by zero) equip the real numbers with a field structure elaborated in Évariste Galois's algebraic tradition and in modern algebra texts following Emmy Noether. The distributive, associative, and commutative laws reflect axioms codified in David Hilbert's axiomatic systems. Extensions to algebraic closures and to the complex field invoke constructions associated with Carl Friedrich Gauss and Niels Henrik Abel in polynomial theory and in Sofia Kovalevskaya-related analytic contexts.
Within the real numbers lie important subsets studied by Pierre de Fermat and Leonhard Euler: rational numbers, algebraic numbers, transcendental numbers (with key results by Joseph Liouville and Charles Hermite), integers and natural numbers formalized by Giuseppe Peano, and irrationals characterized in work by Johann Heinrich Lambert. Measure-theoretic classifications prominent in Andrey Kolmogorov and Henri Lebesgue distinguish null sets and sets of full measure among subsets of the real line, while algebraic number theory from Richard Dedekind and Ernst Kummer examines algebraic integers within the rationals and reals.
Real numbers admit representations as infinite decimal and continued fraction expansions analyzed by John Wallis and later refined by Leonhard Euler and Srinivasa Ramanujan in approximation methods. Decimal expansions connect to computability perspectives explored by Alan Turing and complexity-theoretic issues later discussed by Stephen Cook. Continued fractions and series expansions feature in analytic number theory treatments by G. H. Hardy and Srinivasa Ramanujan, and approximation theorems by Kurt Mahler and A. O. Gelfond address Diophantine approximation within the reals.
Historical development traces from geometrical magnitudes in Euclid's Elements through irrationality proofs in the tradition of Pythagoras and rigorous reworking by Bernard Bolzano, Augustin-Louis Cauchy, Richard Dedekind, and Georg Cantor. Foundational debates involving Bertrand Russell and David Hilbert influenced formal axiomatics, while constructivist and intuitionist approaches by L. E. J. Brouwer and Errett Bishop offered alternate perspectives. Modern set-theoretic frameworks using Georg Cantor's cardinalities and Kurt Gödel's and Paul Cohen's independence results situate the real numbers within broader logical and foundational contexts.