View source for Completeness of the real numbers

{{Short description|Concept in mathematics}}
{{Distinguish|Completeness (logic)}}
{{Use shortened footnotes|date=May 2021}}  
'''Completeness''' is a property of the [[real numbers]] that, intuitively, implies that there are no "gaps" (in Dedekind's terminology) or "missing points" in the [[Real line|real number line]].  This contrasts with the [[rational number]]s, whose corresponding number line has a "gap" at each [[irrational number|irrational]] value.  In the [[Decimal|decimal number system]], completeness is equivalent to the statement that any infinite string of decimal digits is actually a [[decimal representation]] for some real number.

Depending on the [[construction of the real numbers]] used, completeness may take the form of an [[axiom]] (the '''completeness axiom'''), or may be a [[theorem]] proven from the construction.  There are many [[Logical equivalence|equivalent]] forms of completeness, the most prominent being '''Dedekind completeness''' and '''Cauchy completeness''' ([[Complete metric space|completeness as a metric space]]).

==Forms of completeness==
The [[real number]]s can be [[Construction of the real numbers#Synthetic approach|defined synthetically]] as an [[ordered field]] satisfying some version of the ''completeness axiom''.  Different versions of this axiom are all equivalent in the sense that any ordered field that satisfies one form of completeness satisfies all of them, apart from Cauchy completeness and nested intervals theorem, which are strictly weaker in that there are [[Non-Archimedean ordered field|non]] [[Archimedean property|Archimedean fields]] that are ordered and Cauchy complete.  When the real numbers are instead constructed using a model, completeness becomes a [[theorem]] or collection of theorems.

===Least upper bound property===
{{main|Least-upper-bound property}}
The '''least-upper-bound property''' states that every [[nonempty]] subset of real numbers having an [[upper bound]] (or bounded above) must have a [[least upper bound]] (or supremum) in the set of real numbers.

The [[rational number|rational number line]] '''Q''' does not have the least upper bound property.  An example is the subset of rational numbers
:<math>S = \{ x\in \Q \mid x^2 < 2\}.</math>
This set has an upper bound.  However, this set has no least upper bound in {{math|'''Q'''}}: the least upper bound as a subset of the reals would be {{math|√2}}, but it does not exist in {{math|'''Q'''}}.
For any upper bound {{math|''x'' ∈ '''Q'''}}, there is another upper bound {{math|''y'' ∈ '''Q'''}} with {{math|''y'' < ''x''}}.

For instance, take {{math|1=''x'' = 1.5}}, then {{mvar|x}} is certainly an upper bound of {{mvar|S}}, since {{mvar|x}} is positive and {{math|1=''x''{{sup|2}} = 2.25 ≥ 2}}; that is, no element of {{mvar|S}} is larger than {{mvar|x}}. However, we can choose a smaller upper bound, say {{math|1=''y'' = 1.45}}; this is also an upper bound of {{mvar|S}} for the same reasons, but it is smaller than {{mvar|x}}, so {{mvar|x}} is not a least-upper-bound of {{mvar|S}}. We can proceed similarly to find an upper bound of {{mvar|S}} that is smaller than {{mvar|y}}, say {{math|1=''z'' = 1.42}}, etc., such that we never find a least-upper-bound of {{mvar|S}} in {{math|'''Q'''}}.

The least upper bound property can be generalized to the setting of [[partially ordered set]]s.  See [[completeness (order theory)]].

===Dedekind completeness===

[[Dedekind completeness]] is the property that every [[Dedekind cut]] of the real numbers is generated by a real number. In a synthetic approach to the real numbers, this is the version of completeness that is most often included as an axiom.

The [[rational number|rational number line]] '''Q''' is not Dedekind complete. An example is the Dedekind cut
:<math>L = \{ x \in \Q \mid x^2 \le 2 \vee x < 0\}.</math>
:<math>R = \{ x \in \Q \mid x^2 \ge 2 \wedge x > 0 \}.</math>
''L'' does not have a maximum and ''R'' does not have a minimum, so this cut is not generated by a rational number.

There is a [[Construction of the real numbers#Construction by Dedekind cuts|construction of the real numbers]] based on the idea of using Dedekind cuts of rational numbers to name real numbers; e.g. the cut ''(L,R)'' described above would name <math>\sqrt{2}</math>. If one were to repeat the construction of real numbers with Dedekind cuts (i.e., "close" the set of real numbers by adding all possible Dedekind cuts), one would obtain no additional numbers because the real numbers are already Dedekind complete.

===Cauchy completeness===
'''Cauchy completeness''' is the statement that every [[Cauchy sequence]] of real numbers [[convergent sequences|converges]] to a real number.

The [[rational number|rational number line]] '''Q''' is not Cauchy complete.  An example is the following sequence of rational numbers:
:<math>3,\quad 3.1,\quad 3.14,\quad 3.142,\quad 3.1416,\quad \ldots</math>
Here the ''n''th term in the sequence is the ''n''th decimal approximation for [[pi]].  Though this is a Cauchy sequence of rational numbers, it does not converge to any rational number.  (In this real number line, this sequence converges to pi.)

Cauchy completeness is related to the construction of the real numbers using Cauchy sequences.  Essentially, this method defines a real number to be the limit of a Cauchy sequence of rational numbers.

In [[mathematical analysis]], Cauchy completeness can be generalized to a notion of completeness for any [[metric space]].  See [[complete metric space]].

For an [[ordered field]], Cauchy completeness is weaker than the other forms of completeness on this page. But Cauchy completeness and the [[Archimedean property]] taken together are equivalent to the others.

===Nested intervals theorem===
{{main|Nested intervals}}
The '''nested interval theorem''' is another form of completeness.  Let {{math|1=''I<sub>n</sub>'' = [''a<sub>n</sub>'', ''b<sub>n</sub>'']}} be a sequence of closed [[Interval (mathematics)|intervals]], and suppose that these intervals are nested in the sense that
:<math> I_1 \;\supset\; I_2 \;\supset\; I_3 \;\supset\; \cdots </math>
Moreover, assume that {{math|''b<sub>n</sub>'' − ''a<sub>n</sub>'' → 0}} as {{math|''n'' → +∞}}. The nested interval theorem states that the [[intersection (set theory)|intersection]] of all of the intervals {{math|''I<sub>n</sub>''}} contains exactly one point.

The [[rational number|rational number line]] does not satisfy the nested interval theorem.  For example, the sequence (whose terms are derived from the digits of [[pi]] in the suggested way)
:<math>[3,4] \;\supset\; [3.1,3.2] \;\supset\; [3.14,3.15] \;\supset\; [3.141,3.142] \;\supset\; \cdots </math>
is a nested sequence of closed intervals in the rational numbers whose intersection is empty.  (In the real numbers, the intersection of these intervals contains the number [[pi]].)

Nested intervals theorem shares the same logical status as Cauchy completeness in this spectrum of expressions of completeness. In other words, nested intervals theorem by itself is weaker than other forms of completeness, although taken together with [[Archimedean property]], it is equivalent to the others.

===The open induction principle===
The open induction principle states that a non-empty open subset <math>S</math> of the interval <math>[a,b]</math> must be equal to the entire interval, if for any <math>r \in [a,b]</math>, we have that <math>[a,r) \subset S</math> implies <math>[a,r] \subset S</math>.

The open induction principle can be shown to be equivalent to Dedekind completeness for arbitrary ordered sets under the order topology, using proofs by contradiction. In weaker foundations such as in [[constructive analysis]] where the law of the excluded middle does not hold, the full form of the least upper bound property fails for the Dedekind reals, while the open induction property remains true in most models (following from Brouwer's bar theorem) and is strong enough to give short proofs of key theorems.

===Monotone convergence theorem===
The '''[[Monotone convergence theorem#Convergence of a monotone sequence of real numbers|monotone convergence theorem]]''' (described as the '''fundamental axiom of analysis''' by Körner{{r|Körner2004}}) states that every nondecreasing, bounded sequence of real numbers converges.  This can be viewed as a special case of the least upper bound property, but it can also be used fairly directly to prove the Cauchy completeness of the real numbers.

===Bolzano–Weierstrass theorem===
The '''[[Bolzano–Weierstrass theorem]]''' states that every bounded sequence of real numbers has a convergent [[subsequence]].  Again, this theorem is equivalent to the other forms of completeness given above.

===The intermediate value theorem===
The '''[[intermediate value theorem]]''' states that every continuous function that attains both negative and positive values has a root. This is a consequence of the least upper bound property, but it can also be used to prove the least upper bound property if treated as an axiom. (The definition of continuity does not depend on any form of completeness, so there is no circularity: what is meant is that the intermediate value theorem and the least upper bound property are equivalent statements.)

==See also==
* [[List of real analysis topics]]

==References==
{{reflist|refs=
<ref name=Körner2004>{{cite book |last=Körner |first=Thomas William |author-link=Thomas William Körner |date=2004 |title=A companion to analysis: a second first and first second course in analysis |publisher=AMS Chelsea |isbn=9780821834473}}</ref>
}}

==Further reading==
* {{cite book |last1=Aliprantis |first1=Charalambos D. |author-link1=Charalambos D. Aliprantis |last2=Burkinshaw |first2=Owen |date=1998 |title =Principles of real analysis |edition=3rd |publisher=Academic |isbn=0-12-050257-7}}
* {{cite book |author=Browder, Andrew |date=1996 |title=Mathematical Analysis: An Introduction |series=[[Undergraduate Texts in Mathematics]] |location=New York City |publisher=Springer Verlag |isbn=0-387-94614-4 }}
* {{cite book |author1=Bartle, Robert G. |author2=Sherbert, Donald R. |date=2000 |title=Introduction to Real Analysis |edition=3rd |location=New York City |publisher=John Wiley and Sons |isbn=0-471-32148-6 |url-access=registration |url=https://archive.org/details/introductiontore00bart_1 }}
* {{cite book |author=Abbott, Stephen |date=2001 |title=Understanding Analysis |series=Undergraduate Texts in Mathematics |location=New York |publisher=Springer Verlag |isbn=0-387-95060-5 }}
* {{cite book |author=Rudin, Walter |date=1976 |title=Principles of Mathematical Analysis |edition=3rd |series=Walter Rudin Student Series in Advanced Mathematics |publisher=McGraw-Hill |isbn=9780070542358 |url-access=registration |url=https://archive.org/details/principlesofmath00rudi }}
* {{cite book |author1=Dangello, Frank  |author2=Seyfried, Michael |date=1999 |title=Introductory Real Analysis |publisher=Brooks Cole |isbn=9780395959336 }}
*{{cite book |author=Bressoud, David |date=2007 |title=A Radical Approach to Real Analysis |publisher=[[Mathematical Association of America|MAA]] |isbn=978-0-88385-747-2 }}

{{Real numbers}}

[[Category:Real numbers]]