Prove: Cauchy sequences are converging sequences

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 3K views
Mathematicize
Messages
11
Reaction score
0

Homework Statement


I want to prove that if a sequence a[n] is cauchy then a[n] is a converging sequence


Homework Equations


What I know is:
  1. a[n] is bounded
  2. any subsequence is bounded
  3. there exists a monotone subsequence
  4. all monotone bounded sequences converge
  5. there exists a convergent subsequence by the above
 
Physics news on Phys.org
Mathematicize said:

Homework Statement


I want to prove that if a sequence a[n] is cauchy then a[n] is a converging sequence

Homework Equations


What I know is:
  1. a[n] is bounded
  2. any subsequence is bounded
  3. there exists a monotone subsequence
  4. all monotone bounded sequences converge
  5. there exists a convergent subsequence by the above

I assume your sequence is real-valued, since you are talking about monotone subsequences.

What you have done so far is fine, assuming you have proofs for each claim. So now you need to prove that any Cauchy sequence which has a convergent subsequence must converge.

Let [itex]L[/itex] be the limit of the subsequence [itex](a_{n_k})[/itex]. Given [itex]\epsilon > 0[/itex], there exists a natural number [itex]N[/itex] such that [itex]|a_{n_k} - L| < \epsilon[/itex] for all [itex]n_k \geq N[/itex]. There also exists a natural number [itex]M[/itex] such that [itex]|a_n - a_m| < \epsilon[/itex] whenever [itex]n,m \geq M[/itex]. How can you combine these two pieces of information to conclude that [itex]a_n[/itex] converges to [itex]L[/itex]?