# Completeness of the real numbers

Completeness of the real numbers is the property that every nonempty subset of \( \mathbb{R} \) that is bounded above has a least upper bound in \( \mathbb{R} \), equivalently that every [Cauchy sequence](https://www.edgepedia.org/cauchy-sequence) of real numbers converges to a real number. It is the single feature that separates the real line from the rationals, and it is the axiom on which the theorems of real analysis rest.<sup>[1](https://notes.amittai.studio/real-analysis/sequences-series/cauchy-completeness)</sup>

| Key fact | Detail |
|---|---|
| Least-upper-bound form | Every nonempty set bounded above has a supremum in \( \mathbb{R} \); the dual statement for infima is equivalent.<sup>[2](https://www2.math.upenn.edu/~gressman/analysis/01-completeness.html)</sup><sup> • </sup><sup>[3](https://youyuanwu.github.io/misc-docs/math/04-analysis/01-real-numbers.html)</sup> |
| Cauchy form | A sequence of real numbers is Cauchy if and only if it converges; this equivalence is often taken as the definition of completeness.<sup>[1](https://notes.amittai.studio/real-analysis/sequences-series/cauchy-completeness)</sup> |
| Other equivalent forms | Every nested sequence of closed intervals has a nonempty intersection.<sup>[4](https://maa.org/math-values/calculus-for-teachers-completeness/)</sup> |
| What fails for \( \mathbb{Q} \) | \( \mathbb{Q} \) and \( \mathbb{Q}(\sqrt{2}) \) are ordered fields but not complete: around \( \sqrt{2} \) the rationals close in from both sides with no rational at the boundary to serve as supremum.<sup>[5](https://www.math.cmu.edu/~gautam/c/2026-269/notes/realnumbers.html)</sup><sup> • </sup><sup>[6](https://notes.amittai.studio/real-analysis/foundations/ordered-fields-completeness)</sup> |
| Uniqueness | There exists an order-complete field and it is unique up to isomorphism, so \( \mathbb{R} \) is characterized as the complete ordered field.<sup>[5](https://www.math.cmu.edu/~gautam/c/2026-269/notes/realnumbers.html)</sup> |
| Metric-space form | \( \mathbb{R} \) with the usual metric is a complete metric space, and the Cauchy definition is the one adopted for metric spaces generally.<sup>[7](https://www2.math.upenn.edu/~gressman/analysis/08a-completions.html)</sup><sup> • </sup><sup>[1](https://notes.amittai.studio/real-analysis/sequences-series/cauchy-completeness)</sup> |

## The least-upper-bound property

A set \( E \subset \mathbb{R} \) is bounded above when some real number \( M \) satisfies \( x \leq M \) for all \( x \in E \); such an \( M \) is an upper bound. The completeness axiom states that every nonempty set bounded above has a least upper bound, called the supremum and written \( \sup E \). The supremum is characterized by two properties: it is itself an upper bound, and it is less than or equal to every other upper bound, which determines it uniquely.<sup>[2](https://www2.math.upenn.edu/~gressman/analysis/01-completeness.html)</sup> Taking negatives converts the statement into its dual: every nonempty set bounded below has an infimum, and the two statements are equivalent.<sup>[3](https://youyuanwu.github.io/misc-docs/math/04-analysis/01-real-numbers.html)</sup>

In many textbook treatments this property is taken as an axiom of the real number system rather than proved, because it cannot be derived from the ordered-field axioms alone. When the real numbers are instead constructed from the rationals, the [least-upper-bound property](https://www.edgepedia.org/least-upper-bound-property) becomes a theorem: in the Cauchy-sequence construction it follows from rational approximation.<sup>[8](https://github.com/antoniolupetti/algebrica/blob/main/sets-and-numbers/real-numbers.md?plain=1)</sup>

## The Cauchy-sequence form

A sequence \( (x_n) \) is Cauchy when, for every \( \epsilon > 0 \), there is an \( N \) such that \( |x_n - x_k| < \epsilon \) for all \( n, k \geq N \); its terms cluster arbitrarily closely together. Cauchy sequences are bounded, and in the real numbers a sequence is Cauchy if and only if it converges.<sup>[1](https://notes.amittai.studio/real-analysis/sequences-series/cauchy-completeness)</sup> The intuitive reading is that every sequence meant to approximate something does in fact approximate an actual real number, so the line has no holes.<sup>[9](https://lpde.maths.qmul.ac.uk/a.shao/teaching/misc/irrat.pdf)</sup>

The two formulations are interchangeable. The theorem that \( \mathbb{R} \), equipped with the least-upper-bound property, is Cauchy-complete has a converse: an ordered field in which \( \mathbb{Q} \) is dense and every Cauchy sequence converges necessarily has the least-upper-bound property. One can therefore build \( \mathbb{R} \) either by cutting \( \mathbb{Q} \) into pieces with a least upper bound, or by adjoining just enough points to \( \mathbb{Q} \) to make every Cauchy sequence of rationals converge; the resulting field is the same.<sup>[1](https://notes.amittai.studio/real-analysis/sequences-series/cauchy-completeness)</sup>

A chain of implications connects the standard forms: the least-upper-bound property implies the Bolzano-Weierstrass theorem, which in turn implies that every Cauchy sequence converges.<sup>[10](https://math.csudh.edu/~pong/a1/Week_08.html)</sup> The monotone convergence principle and the least-upper-bound property each also derive the [Archimedean property](https://www.edgepedia.org/archimedean-property) on their own.<sup>[11](https://rikai.mugen-giken.com/en/mathematics/real-analysis/completeness-and-cauchy)</sup>

## Equivalent formulations

Several statements are equivalent definitions of completeness, and showing that each implies all the others is a standard exercise:<sup>[4](https://maa.org/math-values/calculus-for-teachers-completeness/)</sup>

- Every Cauchy sequence of real numbers converges.<sup>[4](https://maa.org/math-values/calculus-for-teachers-completeness/)</sup>
- Every nonempty subset bounded above has a least upper bound in \( \mathbb{R} \).<sup>[12](https://www.cs.cmu.edu/~cache/knowledge/completeness.html)</sup>
- Every infinite sequence of closed, nested intervals, each lying inside the previous one, has a nonempty intersection.<sup>[4](https://maa.org/math-values/calculus-for-teachers-completeness/)</sup>

More broadly, many key facts of single-variable real analysis are not merely dependent on completeness but actually equivalent to it.<sup>[13](https://arxiv.org/abs/1507.03919)</sup>

## Why the rationals are not complete

The ordered-field and order axioms alone do not deliver completeness. \( \mathbb{Q} \) is an ordered field, and so is \( \mathbb{Q}(\sqrt{2}) = \{a + b\sqrt{2} : a, b \in \mathbb{Q}\} \), but neither is a complete ordered field.<sup>[5](https://www.math.cmu.edu/~gautam/c/2026-269/notes/realnumbers.html)</sup> The standard example is the set of rationals whose square is less than 2: those with \( x^2 < 2 \) can be pushed upward and those with \( x^2 > 2 \) pushed downward, and no rational sits at the boundary to serve as the supremum.<sup>[6](https://notes.amittai.studio/real-analysis/foundations/ordered-fields-completeness)</sup> Whatever rational number is proposed as an upper bound for such a set, a slightly smaller rational is still an upper bound, so the least one never arrives.<sup>[14](https://www.math.vanderbilt.edu/~schectex/courses/thereals/)</sup>

## Constructions of the reals

Two classical constructions produce a complete ordered field from \( \mathbb{Q} \). In Dedekind's construction, a real number is identified with the set of all rationals to its left, a cut of the rational line.<sup>[15](https://www.nbow.io/en/products/ai-powered-research/treatise-of-physics/chapter/appendices/07-reals-complete.html)</sup> In Cantor's construction, published in 1872 in the *Mathematische Annalen* (volume 5, pages 123 to 132, under the title "Ueber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen"), each real number is represented as a Cauchy sequence of rationals, and two sequences represent the same real number exactly when their difference converges to zero.<sup>[16](https://www.maths.tcd.ie/pub/HistMath/People/Cantor/Ausdehnung/)</sup> Cantor introduced this construction to generalize a uniqueness theorem about trigonometric series representations.<sup>[16](https://www.maths.tcd.ie/pub/HistMath/People/Cantor/Ausdehnung/)</sup>

The two constructions agree. The Cauchy-sequence reals and the Dedekind-cut reals are isomorphic as ordered fields via a unique isomorphism that preserves addition, multiplication, 0, 1, inverses, and the order, and restricts to the identity on the common rationals.<sup>[17](https://alphabetamath.cc/real-analysis/foundations-of-the-real-numbers)</sup> More generally, any two complete ordered fields are isomorphic via a unique ordered-field isomorphism fixing \( \mathbb{Q} \), which is why one speaks of *the* real numbers rather than a real number system of one's choosing.<sup>[17](https://alphabetamath.cc/real-analysis/foundations-of-the-real-numbers)</sup><sup> • </sup><sup>[5](https://www.math.cmu.edu/~gautam/c/2026-269/notes/realnumbers.html)</sup> In practice, the analysis built on top never uses the internal details of the construction, only the least-upper-bound property.<sup>[3](https://youyuanwu.github.io/misc-docs/math/04-analysis/01-real-numbers.html)</sup>

## Scope and limits of the equivalence

The Cauchy formulation has one decisive advantage: it never mentions order, only the distance \( |x_n - x_k| \). It therefore transplants verbatim to any setting with a notion of distance, and it is the definition of completeness adopted for metric spaces, of which \( \mathbb{R} \) with the usual metric is the basic complete example.<sup>[1](https://notes.amittai.studio/real-analysis/sequences-series/cauchy-completeness)</sup><sup> • </sup><sup>[7](https://www2.math.upenn.edu/~gressman/analysis/08a-completions.html)</sup>

Outside the Archimedean setting the two forms of completeness separate. Completeness is also not purely topological: some homeomorphisms can change whether a space is complete, so the property depends on the metric, not just the topology.<sup>[12](https://www.cs.cmu.edu/~cache/knowledge/completeness.html)</sup> Completeness does guarantee fixed points for contractions, the setting of the Banach contraction principle, although completeness is not a necessary condition for every contraction to have a fixed point.<sup>[18](https://arxiv.org/abs/1508.05173)</sup>

## References

1. [Cauchy Sequences and the Completeness of the Reals, study. (Amittai)](https://notes.amittai.studio/real-analysis/sequences-series/cauchy-completeness)
2. [Completeness and the Supremum, Advanced Analysis, University of Pennsylvania](https://www2.math.upenn.edu/~gressman/analysis/01-completeness.html)
3. [The Real Numbers and Completeness, youyuanwu](https://youyuanwu.github.io/misc-docs/math/04-analysis/01-real-numbers.html)
4. [Calculus for Teachers: Completeness, Mathematical Association of America](https://maa.org/math-values/calculus-for-teachers-completeness/)
5. [The real numbers, CMU course notes](https://www.math.cmu.edu/~gautam/c/2026-269/notes/realnumbers.html)
6. [Ordered Fields and the Completeness Axiom, study. (Amittai)](https://notes.amittai.studio/real-analysis/foundations/ordered-fields-completeness)
7. [Some Topics: Completions, Advanced Analysis, University of Pennsylvania](https://www2.math.upenn.edu/~gressman/analysis/08a-completions.html)
8. [Real numbers, algebrica (antoniolupetti, GitHub)](https://github.com/antoniolupetti/algebrica/blob/main/sets-and-numbers/real-numbers.md?plain=1)
9. [The Need for Real Numbers, Queen Mary University of London teaching notes](https://lpde.maths.qmul.ac.uk/a.shao/teaching/misc/irrat.pdf)
10. [Week 8 notes, CSU Dominguez Hills](https://math.csudh.edu/~pong/a1/Week_08.html)
11. [Completeness of the Real Numbers and Cauchy Sequences, Rikai](https://rikai.mugen-giken.com/en/mathematics/real-analysis/completeness-and-cauchy)
12. [Completeness, CMU knowledge base](https://www.cs.cmu.edu/~cache/knowledge/completeness.html)
13. [Would Real Analysis be complete without the Fundamental Theorem of Calculus? (arXiv:1507.03919)](https://arxiv.org/abs/1507.03919)
14. [What are the 'real numbers,' really? Vanderbilt](https://www.math.vanderbilt.edu/~schectex/courses/thereals/)
15. [Completeness of the Real Numbers, Treatise of Physics appendix](https://www.nbow.io/en/products/ai-powered-research/treatise-of-physics/chapter/appendices/07-reals-complete.html)
16. [Cantor, G., "Ueber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen," Mathematische Annalen 5 (1872), TCD archive](https://www.maths.tcd.ie/pub/HistMath/People/Cantor/Ausdehnung/)
17. [Foundations of the Real Numbers for Analysis, Alphabeta Math](https://alphabetamath.cc/real-analysis/foundations-of-the-real-numbers)
18. [Fixed points and completeness in metric and in generalized metric spaces (arXiv:1508.05173)](https://arxiv.org/abs/1508.05173)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Arithmetic and number systems › Number systems › Real and complex number constructions › Completeness of the real numbers*

*Initially written Sep 17, 2026 · Reviewed: Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license