Scribd
Upload
25 views1 page

Completeness of R: S. Kumaresan School of Math. and Stat. University of Hyderabad Hyderabad 500046

This document proves that any Cauchy sequence in the real numbers converges to a limit. It defines a set S of upper bounds for the terms in the sequence, shows S is nonempty and bounded above, and uses the least upper bound property to prove the supremum of S is the limit of the sequence.

Uploaded by

Mridul biswas
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
25 views1 page

Completeness of R: S. Kumaresan School of Math. and Stat. University of Hyderabad Hyderabad 500046

This document proves that any Cauchy sequence in the real numbers converges to a limit. It defines a set S of upper bounds for the terms in the sequence, shows S is nonempty and bounded above, and uses the least upper bound property to prove the supremum of S is the limit of the sequence.

Uploaded by

Mridul biswas
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Completeness of R

S. Kumaresan
School of Math. and Stat.
University of Hyderabad
Hyderabad 500046
[email protected]

Theorem. Any Cauchy sequence in R converges.

Proof. Let (xn ) be a Cauchy sequence in R. Given ε > 0, there exists a positive integer
N such that for all m ≥ N and n ≥ N , we have |xn − xm | < ε/2. In particular we have
|xn − xN | < ε/2 Or, equivalently,

xn ∈ (xN − ε/2, xN + ε/2) for all n ≥ N.

From this we make the following observations:


i) For all n ≥ N , we have xn > xN − ε/2.
ii) If xn ≥ xN + ε/2, then n ∈ {1, 2, . . . , N − 1}. Thus the set of n such that xn ≥ xN + ε/2
is finite.
Let S := {x ∈ R : there exists infinitely many n such that xn ≥ x}. We claim that S is
nonempty, bounded above and that sup S is the limit of the given sequence.
From i) we see that xN − ε/2 ∈ S. Hence S is nonempty.
From ii) it follows that xN + ε/2 is an upper bound for S. That is, we claim that
y ≤ xN + ε/2 for all y ∈ S. If this were not true, then there exists a y ∈ S such that xn ≥ y
for infinitely many n. This implies that xn > xN + ε/2 for infinitely many n. This contradicts
ii). Hence we conclude that xN + ε/2 is an upper bound for S.
By the LUB axiom, there exists ` ∈ R which is sup S. As ` is an upper bound for S and
xN − ε/2 ∈ S we infer that xN − ε/2 ≤ `. Since ` is the least upper bound for S and xN + ε/2
is an upper bound for S we see that ` ≤ xN + ε/2. Thus we have xN − ε/2 ≤ ` ≤ xN + ε/2 or

|xN − `| ≤ ε/2.

For n ≥ N we have

|xn − `| ≤ |xn − xN | + |xN − `|


< ε/2 + ε/2 = ε.

We have thus shown that limn→∞ xn = `.

You might also like