Skip to main content
Mathematics LibreTexts

7.1: Completeness of the Real Number System

  • Page ID
    7958
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Learning Objectives
    • Explain the Real number system

    Recall that in deriving the Lagrange and Cauchy forms of the remainder for Taylor series, we made use of the Extreme Value Theorem (EVT) and Intermediate Value Theorem (IVT). In Chapter 6, we produced an analytic definition of continuity that we can use to prove these theorems. To provide the rest of the necessary tools we need to explore the make-up of the real number system. To illustrate what we mean, suppose that we only used the rational number system. We could still use our definition of continuity and could still consider continuous functions such as \(f(x) = x^2\). Notice that \(2\) is a value that lies between \(f(1) = 1\) and \(f(2) = 4\).

    fig 7.1.1.png

    Figure \(\PageIndex{1}\): Graph of the function \(f(x) = x^2\).

    The IVT says that somewhere between \(1\) and \(2\), \(f\) must take on the value \(2\). That is, there must exist some number \(c ∈ [1,2]\) such that \(f(c) = 2\). You might say, “Big deal! Everyone knows \(c = \sqrt{2}\) works.

    However, we are only working with rational numbers and \(\sqrt{2}\) is not rational. As we saw in Chapter 1 the rational number system has holes in it, whereas the real number system doesn’t. Again, “Big deal! Let’s just say that the real number system contains (square) roots.

    This sounds reasonable and it actually works for square roots, but consider the function \(f(x) = x - \cos x\). We know this is a continuous function. We also know that \(f(0) = -1\) and \(f(\frac{π}{2}) = \frac{π}{2}\). According to the IVT, there should be some number \(c ∈ [0, \frac{π}{2}]\), where \(f(c) = 0\). The graph is below.

    fig 7.1.2.png

    Figure \(\PageIndex{2}\): Graph of \(f(x) = x - \cos x\).

    The situation is not as transparent as before. What would this mysterious \(c\) be where the curve crosses the \(x\) axis? Somehow we need to convey the idea that the real number system is a continuum. That is, it has no “holes” in it.

    How about this? Why don’t we just say that it has no holes in it? Sometimes the simple answer works best! But not in this case. How are we going to formulate a rigorous proof based on this statement? Just like with convergence and continuity, what we need is a rigorous way to convey this idea that the real number system does not have any holes, that it is complete.

    We will see that there are several different, but equivalent ways to convey this notion of completeness. We will explore some of them in this chapter. For now we adopt the following as our Completeness Axiom for the real number system.

    Nested Interval Property of the Real Number System (NIP)

    Suppose we have two sequences of real numbers (\(x_n\))and (\(y_n\)) satisfying the following conditions:

    1. \(x_1 ≤ x_2 ≤ x_3 ≤ ...\) [(\(x_n\)) is non-decreasing]
    2. \(y_1 ≥ y_2 ≥ y_3 ≥ ...\) [(\(y_n\)) is non-increasing]
    3. \(∀ n, x_n ≤ y_n \)
    4. \(\lim_{n \to \infty } (y_n - x_n) = 0\)

    Then there exists a unique number \(c\) such that \(x_n ≤ c ≤ y_n\) for all \(n\). Geometrically, we have the following situation.

    fig 7.1.3.png

    Figure \(\PageIndex{3}\): Number line representation of \(x_n\) and \(y_n\).

    Notice that we have two sequences (\(x_n\)) and (\(y_n\)), one increasing (really non-decreasing) and one decreasing (non-increasing). These sequences do not pass each other. In fact, the following is true:

    Exercise \(\PageIndex{1}\)

    Let (\(x_n\)),(\(y_n\)) be sequences as in the NIP. Show that for all \(n\), \(m ∈N\), \(x_n ≤ y_m\).

    They are also coming together in the sense that \(\lim_{n \to \infty } (y_n - x_n) = 0\). The NIP says that in this case there is a unique real number \(c\) in the middle of all of this [\(x_n ≤ c ≤ y_n\) for all \(n\)].

    fig 7.1.4.png

    Figure \(\PageIndex{4}\): Number line representation of \(c\).

    If there was no such \(c\) then there would be a hole where these two sequences come together. The NIP guarantees that there is no such hole. We do not need to prove this since an axiom is, by definition, a self evident truth. We are taking it on faith that the real number system obeys this law. The next problem shows that the completeness property distinguishes the real number system from the rational number system.

    Exercise \(\PageIndex{2}\)
    1. Find two sequences of rational numbers (\(x_n\))and (\(y_n\)) which satisfy properties 1-4 of the NIP and such that there is no rational number \(c\) satisfying the conclusion of the NIP.
    Hint

    Consider the decimal expansion of an irrational number.

    1. Find two sequences of rational numbers (\(x_n\)) and (\(y_n\)) which satisfy properties 1-4 of the NIP and such that there is a rational number \(c\) satisfying the conclusion of the NIP.

    You might find the name Nested Interval Property to be somewhat curious. One way to think about this property is to consider that we have a sequence of “nested closed intervals” \([x_1,y_1] ⊇ [x_2,y_2] ⊇ [x_3,y_3] ⊇···\) whose lengths \(y_n - x_n\) are “shrinking to \(0\).” The conclusion is that the intersection of these intervals is non-empty and, in fact, consists of a single point. That is, \(\bigcap _{n=1}^{\infty } [x_n, y_n] = \{c\}\).

    theorem \(\PageIndex{1}\)

    Suppose that we have two sequences (\(x_n\)) and (\(y_n\)) satisfying all of the assumptions of the Nested Interval Property. If \(c\) is the unique number such that \(x_n ≤ c ≤ y_n\) for all \(n\), then \(\lim_{n \to \infty } x_n = c\) and \(\lim_{n \to \infty } y_n = c\).

    Exercise \(\PageIndex{3}\)

    Prove Theorem\(\PageIndex{1}\).

    To illustrate the idea that the NIP “plugs the holes” in the real line, we will prove the existence of square roots of nonnegative real numbers.

    theorem \(\PageIndex{2}\)

    Suppose \(a ∈ \mathbb{R}\), \(a ≥ 0\). There exists a real number \(c ≥ 0\) such that \(c^2 = a\).

    Notice that we can’t just say, “Let \(c = \sqrt{a}\),” since the idea is to show that this square root exists. In fact, throughout this proof, we cannot really use a square root symbol as we haven’t yet proved that they (square roots) exist. We will give the idea behind the proof as it illustrates how the NIP is used.

    Sketch of Proof:

    Our strategy is to construct two sequences which will “narrow in” on the number \(c\) that we seek. With that in mind, we need to find a number \(x_1\) such that \(x^2_1 ≤ a\) and a number \(y_1\) such that \(y^2_1 ≥ a\). (Remember that we can’t say \(\sqrt{x_1}\) or \(\sqrt{y_1}\).) There are many possibilities, but how about \(x_1 = 0\) and \(y_1 = a + 1\)? You can check that these will satisfy \(x^2_1 ≤ a ≤ y^2_1\). Furthermore \(x_1 ≤ y_1\). This is the starting point.

    The technique we will employ is often called a bisection technique, and is a useful way to set ourselves up for applying the NIP. Let \(m_1\) be the midpoint of the interval \([x_1,y_1]\). Then either we have \(m^2_1 ≤ a\) or \(m^2_1 ≥ a\). In the case \(m^2_1 ≤ a\), we really want \(m_1\) to take the place of \(x_1\) since it is larger than \(x_1\), but still represents an underestimate for what would be the square root of \(a\). This thinking prompts the following move. If \(m^2_1 ≤ a\), we will relabel things by letting \(x_2 = m_1\) and \(y_2 = y_1\). The situation looks like this on the number line.

    fig 7.1.5.png

    Figure \(\PageIndex{5}\): Number line representation.

    In the other case where \(a ≤ m^2_1\), we will relabel things by letting \(x_2 = x_1\) and \(y_2 = m_1\). The situation looks like this on the number line.

    fig 7.1.6.png

    Figure \(\PageIndex{6}\): Number line representation.

    In either case, we’ve reduced the length of the interval where the square root lies to half the size it was before. Stated in more specific terms, in either case we have the same results:

    \[x_1 ≤ x_2 ≤ y_2 ≤ y_1;\; x^2_1 ≤ a ≤ y^2_1;\; x^2_2 ≤ a ≤ y^2_2\]

    and

    \[y_2 - x_2 = \frac{1}{2}(y_1 - x_1)\]

    Now we play the same game, but instead we start with the interval \([x_2,y_2]\). Let \(m_2\) be the midpoint of \([x_2,y_2]\). Then we have \(m^2_2 ≤ a\) or \(m^2_2 ≥ a\). If \(m^2_2 ≤ a\), we relabel \(x_3 = m_2\) and \(y_3 = y_2\). If \(a ≤ m^2_2\), we relabel \(x_3 = x_2\) and \(y_3 = m_2\). In either case, we end up with

    \[x_1 \leq x_2 \leq x_3 \leq y_3 \leq y_2 \leq y_1;\; x^2_1 \leq a \leq y^2_1;\; x^2_2 \leq a \leq y^2_2;\; x^2_3 \leq a \leq y^2_3\]

    and

    \[y_3 - x_3 = \frac{1}{2}(y_2 - x_2) = \frac{1}{2^2}(y_1 - x_1)\]

    Continuing in this manner, we will produce two sequences, (\(x_n\)) and (\(y_n\)) satisfying the following conditions:

    1. \(x_1 ≤ x-2 ≤ x_3 ≤ ... \)
    2. \(y_1 ≥ y_2 ≥ y_3 ≥ ... \)
    3. \(∀ n\), \(x_n ≤ y_n\)
    4. \(\lim_{n \to \infty } (y_n - x_n) = \lim_{n \to \infty } \frac{1}{2^{n-1}}(y_1 - x_1) = 0\)
    5. These sequences also satisfy the following property: \[∀ n,\; x^2_n ≤ a ≤ y^2_n\]

    Properties 1-4 tell us that (\(x_n\))and (\(y_n\)) satisfy all of the conditions of the NIP, so we can conclude that there must exist a real number \(c\) such that \(x_n ≤ c ≤ y_n\) for all \(n\). At this point, you should be able to use property 5. to show that \(c^2 = a\) as desired.

    Exercise \(\PageIndex{4}\)

    Turn the above outline into a formal proof of Theorem \(\PageIndex{2}\).

    The bisection method we employed in the proof of Theorem \(\PageIndex{2}\) is pretty typical of how we will use the NIP, as taking midpoints ensures that we will create a sequence of “nested intervals.” We will employ this strategy in the proofs of the IVT and EVT. Deciding how to relabel the endpoints of our intervals will be determined by what we want to do with these two sequences of real numbers. This will typically lead to a fifth property, which will be crucial in proving that the c guaranteed by the NIP does what we want it to do. Specifically, in the above example, we always wanted our candidate for \(\sqrt{a}\) to be in the interval \([x_n,y_n]\). This judicious choice led to the extra Property 5: \(∀ n\), \(x^2_n ≤ a ≤ y^2_n\). In applying the NIP to prove the IVT and EVT, we will find that properties 1-4 will stay the same. Property 5 is what will change based on the property we want \(c\) to have.

    Before we tackle the IVT and EVT, let’s use the NIP to address an interesting question about the Harmonic Series. Recall that the Harmonic Series, \(1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots\), grows without bound, that is, \(\sum_{n=1}^{\infty } \frac{1}{n} = \infty\). The question is how slowly does this series grow? For example, how many terms would it take before the series surpasses \(100\)? \(1000\)? \(10000\)? Leonhard Euler decided to tackle this problem in the following way. Euler decided to consider the \(\lim_{n \to \infty }\left (\left ( 1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \right ) - \ln (n+1) \right )\). This limit is called Euler’s constant and is denoted by \(γ\). This says that for \(n\) large, we have \(1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \approx \ln (n+1) + \gamma\). If we could approximate \(γ\), then we could replace the inequality \(1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \geq 100\) with the more tractable in-equality \(\ln ( n + 1) + γ ≥ 0\) and solve for \(n\) in this. This should tell us roughly how many terms would need to be added in the Harmonic Series to surpass \(100\). Approximating \(γ\) with a computer is not too bad. We could make \(n\) as large as we wish in \(\left (1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \right ) - \ln (1+n)\) to make closer approximations for \(γ\). The real issue is, HOW DO WE KNOW THAT

    \[\lim_{n \to \infty }\left (\left (1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \right ) - \ln (n+1) \right )\]

    ACTUALLY EXISTS?

    You might want to say that obviously it should, but let us point out that as of the printing of this book (2013), it is not even known if \(γ\) is rational or irrational. So, in our opinion the existence of this limit is not so obvious. This is where the NIP will come into play; we will use it to show that this limit, in fact, exists. The details are in the following problem.

    Exercise \(\PageIndex{5}\)

    The purpose of this problem is to show that \(\lim_{n \to \infty }\left (\left (1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \right ) - \ln (n+1) \right )\) exists.

    1. Let \(x_n = \left (1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \right ) - \ln (n+1)\). Use the following diagram to show \(x_1 ≤ x_2 ≤ x_3 ≤···\)

    fig 7.1.7.png

    Figure \(\PageIndex{7}\): Diagram for exercise \(\PageIndex{5}\).

    1. Let \(z_n = \ln (n+1) - \left (\frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n+1} \right )\). Use a similar diagram to show that \(z_1 ≤ z_2 ≤ z_3 ≤···\).
    2. Let \(y_n = 1 - z_n\). Show that (\(x_n\)) and (\(y_n\)) satisfy the hypotheses of the nested interval property and use the NIP to conclude that there is a real number \(γ\) such that \(x_n ≤ γ ≤ y_n\) for all \(n\).
    3. Conclude that \(\lim_{n \to \infty }\left (\left (1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \right ) - \ln (n+1) \right ) = \gamma\).
    Exercise \(\PageIndex{6}\)

    Use the fact that \(x_n ≤ γ ≤ y_n\) for all \(n\) to approximate \(γ\) to three decimal places.

    Exercise \(\PageIndex{7}\)
    1. Use the fact that for large \(n\), \(1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \approx \ln (n+1) + \gamma\) to determine approximately how large \(n\) must be to make \[1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \geq 100\]
    2. Suppose we have a supercomputer which can add \(10\) trillion terms of the Harmonic Series per second. Approximately how many earth lifetimes would it take for this computer to sum the Harmonic Series until it surpasses 100?

    This page titled 7.1: Completeness of the Real Number System is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Eugene Boman and Robert Rogers (OpenSUNY) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.