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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.


share|cite|improve this question
It looks OK the proof! – ILoveMath 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
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|cite|improve this answer

This proof looks correct to me.

share|cite|improve this answer

Your Answer


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.