Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $(x_n)_{n∈ℕ}$ and $(y_n)_{n∈ℕ}$ be Cauchy sequences of real numbers.

Show, without using the Cauchy Criterion, that if $z_n=x_n+y_n$, then $(z_n)_{n∈ℕ}$ is a Cauchy sequence of real numbers.

Here's my attempt at a proof:

Let $(x_n)$ and $(y_n)$ be Cauchy sequences. Let $(z_n)$ be a sequence and let $z_n=x_n+y_n$.

Since $(x_n)$ and ($y_n)$ are Cauchy, $∃N∈ℕ$ such that $|x_n-x_m|<ε/2$ and $|y_n-y_m|<ε/2$ for $n,m≥N$.

Let $n,m≥N$ and let $z_n,z_m∈(z_n)$. Then, $$|z_n-z_m|=|x_n-x_m|+|y_n-y_m| <ε/2+ε/2=ε.$$ Therefore, $|z_n-z_m|<ε$ for all $n,m≥N$ and hence, $(z_n)$ is a Cauchy sequence of real numbers.

Is this correct? Any input is appreciated.

Thanks.

share|improve this question
    
It looks OK the proof! –  Chasky Oct 17 '12 at 2:04
    
It's correct except for a minor detail. The triangle inequality results in a $\leq$ not a $=$. –  copper.hat Oct 17 '12 at 2:16
    
Thanks for pointing that out. –  Alti Oct 17 '12 at 2:35

2 Answers 2

up vote 0 down vote accepted

The only thing you have to correct is $$|z_n-z_m|=|(x_n-x_m)+(y_n-y_m)|\le|x_n-x_m|+|y_n-y_m| <ε/2+ε/2=ε.$$

share|improve this answer

This proof looks correct to me.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.