Is {yn} a Cauchy Sequence if {xn} Is?

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 replies · 2K views
bloynoys
Messages
25
Reaction score
0

Homework Statement



Prove the following assertion: Suppose {xn} and {yn} are Cauchy sequences of real number. If {xn} is a cauchy sequence and for every η>0 there exists a pos. int. N such that for every n>N so that abs(xn-yn)<η then {yn} is a Cauchy sequence.


Homework Equations


None



The Attempt at a Solution


We will prove that {yn} is a cauchy sequence by showing that for every ε>0 there exists a pos. int. N so that both n and m >N so that abs(yn-ym)<ε.

Consider ε>0 arbitrary.
Since {xn} is a cauchy sequence and by hypothesis for every η>0 there exists an N so that every n>N abs(xn-yn)<η. Choose such an N.
Consider n,m>N arbitrary.

Then I know I need to get from abs(yn-ym) to ε but unsure how to use what I have to get there correctly and if I have the rest of the proof right.
 
on Phys.org
bloynoys said:

Homework Statement



Prove the following assertion: Suppose {xn} and {yn} are Cauchy sequences of real number. If {xn} is a cauchy sequence and for every η>0 there exists a pos. int. N such that for every n>N so that abs(xn-yn)<η then {yn} is a Cauchy sequence.


Homework Equations


None



The Attempt at a Solution


We will prove that {yn} is a cauchy sequence by showing that for every ε>0 there exists a pos. int. N so that both n and m >N so that abs(yn-ym)<ε.

Consider ε>0 arbitrary.
Since {xn} is a cauchy sequence and by hypothesis for every η>0 there exists an N so that every n>N abs(xn-yn)<η. Choose such an N.
Consider n,m>N arbitrary.

Then I know I need to get from abs(yn-ym) to ε but unsure how to use what I have to get there correctly and if I have the rest of the proof right.

Use the Cauchy sequence {xn} as your bridge, think about triangle inequality, also note that η may be set according to ε