{a_n} and {a_n+b_n} converge. Prove {b_n} converges.

$\displaystyle \{a_n\}$ and $\displaystyle \{a_n+b_n\}$ converge. Prove $\displaystyle \{b_n\}$ converges.

Let $\displaystyle \{a_n\}$ and $\displaystyle \{a_n+b_n\}$ converge to $\displaystyle A, \ A+\alpha$, respectively,

Then there is an $\displaystyle \epsilon>0$ and $\displaystyle \exists N\in\mathbb{N}, \ n\geq N$,

$\displaystyle |a_n-A|<\frac{\epsilon}{2}$

and

$\displaystyle |a_n+b_n-(A+\alpha)|\leq \epsilon$

$\displaystyle |a_n+b_n-(A+\alpha)|\leq |a_n-A|+|b_n-\alpha|<\frac{\epsilon}{2}+|b_n-\alpha|<\epsilon$

$\displaystyle \Rightarrow |b_n-\alpha|<\frac{\epsilon}{2}<\epsilon$

Therefore, $\displaystyle \{b_n\}$ converges.

Correct?

Re: {a_n} and {a_n+b_n} converge. Prove {b_n} converges.

It looks good except for this part:

Quote:

Then there is an $\displaystyle \epsilon>0$

You need to say something like "Let $\displaystyle \epsilon>0$ be given."

Otherwise you are saying that there exists an epsilon and N for which the following is true, which is not what you want to prove. By saying that epsilon is given and arbitrary, you essentially show that it is true for any epsilon (greater than zero, of course).

Re: {a_n} and {a_n+b_n} converge. Prove {b_n} converges.

As Joanna said, it needs to be a "for all epsilon", not a "there exists an epsilon". You need to work with

$\displaystyle |b_{n}-\alpha|=|b_{n}+a_{n}-a_{n}+A-A-\alpha|.$

See where that leads. Your proof is incorrect, because you're inserting items in the inequality chain: that's not valid.

Re: {a_n} and {a_n+b_n} converge. Prove {b_n} converges.

Quote:

Originally Posted by

**Ackbeet** As Joanna said, it needs to be a "for all epsilon", not a "there exists an epsilon". You need to work with

$\displaystyle |b_{n}-\alpha|=|b_{n}+a_{n}-a_{n}+A-A-\alpha|.$

See where that leads. Your proof is incorrect, because you're inserting items in the inequality chain: that's not valid.

What is "not valid"?

We know $\displaystyle \{a_n+b_n\}$ converges. So if we let it converge to $\displaystyle A+\alpha$, we have $\displaystyle |a_n+b_n-(A+\alpha)|<\epsilon$

And by the triangle inequality, $\displaystyle |a_n-A|+|b_n-\alpha|\geq |a_n+b_n-(A+\alpha)|$

Since we also know $\displaystyle \{a_n\}$ converges, I can let it converge to some A.

Because it converges $\displaystyle |a_n-A|<\frac{\epsilon}{2}<\epsilon$

Since $\displaystyle |a_n-A|<\frac{\epsilon}{2}$, we can substitute $\displaystyle \frac{\epsilon}{2}$ for $\displaystyle |a_n-A|$ and make the inequality strictly less than.

That yields:

$\displaystyle |a_n-A|+|b_n-\alpha|<\frac{\epsilon}{2}+|b_n-\alpha|$

But we also know that $\displaystyle |a_n+n_n-(A+\alpha)|<\epsilon$.

So $\displaystyle \frac{\epsilon}{2}+|b_n-\alpha|<\epsilon$

I don't see what is wrong in the inequality structure.

Re: {a_n} and {a_n+b_n} converge. Prove {b_n} converges.

Quote:

Originally Posted by

**Ackbeet** $\displaystyle |b_{n}-\alpha|=|b_{n}+a_{n}-a_{n}+A-A-\alpha|.$

See where that leads. Your proof is incorrect, because you're inserting items in the inequality chain: that's not valid.

Right! Missed that for some reason.

Quote:

Originally Posted by

**dwsmith** $\displaystyle \{a_n\}$ and $\displaystyle \{a_n+b_n\}$ converge. Prove $\displaystyle \{b_n\}$ converges.

$\displaystyle |a_n+b_n-(A+\alpha)|\leq \epsilon$

$\displaystyle |a_n+b_n-(A+\alpha)|\leq |a_n-A|+|b_n-\alpha|<\frac{\epsilon}{2}+|b_n-\alpha|<\epsilon$

You cannot say that $\displaystyle \frac{\epsilon}{2}+|b_n-\alpha|<\epsilon$. You know that $\displaystyle |a_n+b_n-(A+\alpha)|<\epsilon$, but you just showed that $\displaystyle |a_n+b_n-(A+\alpha)|<\frac{\epsilon}{2}+|b_n-\alpha|$ so it is possible that $\displaystyle \frac{\epsilon}{2}+|b_n-\alpha|\geq\epsilon$.

Re: {a_n} and {a_n+b_n} converge. Prove {b_n} converges.

I don't agree with you two and here is why:

So if we let $\displaystyle \epsilon>0$. Then $\displaystyle \exists N\in\mathbb{N}, \ n\geq N$

Now, let $\displaystyle \{a_n\}\to A \ \text{and} \ \{a_n+b_n\}\to A+\alpha$

Since those two sequences converge,

$\displaystyle |a_n-A|<\epsilon \ \text{but it is also true then that} \ |a_n-A|<\frac{\epsilon}{2}<\epsilon$

And

$\displaystyle |a_n+b_n-(A+\alpha)|<\epsilon$

By the triangle inequality,

$\displaystyle |a_n+b_n-(A+\alpha)|\leq \underbrace{|a_n-A|}_{|a_n-A|<\frac{\epsilon}{2}}+|b_n-\alpha|<\underbrace{\frac{\epsilon}{2}}_{\text{thi s is + and} \ < |a_n-A|}+|b_n-\alpha|<\epsilon$

Now, we have

$\displaystyle |a_n+b_n-(A+\alpha)|<\frac{\epsilon}{2}+|b_n-\alpha|<\epsilon$

Let's subtract epsilon over 2.

$\displaystyle |b_n-\alpha|<\frac{\epsilon}{2}$

I started with something giving to be true {a_n+b_n} converges, used another true piece {a_n} converges, used the triangle inequality, and made substitution that is true.

If $\displaystyle |a_n+b_n-(A-\alpha)|\leq|a_n-A|+|b_n-\alpha|$, it is $\displaystyle <\frac{\epsilon}{2}+|b_n-\alpha|$ which is by definition less than epsilon.

Re: {a_n} and {a_n+b_n} converge. Prove {b_n} converges.

$\displaystyle \underbrace{|a_n+b_n-(A+\alpha)|\leq |a_n-A|+|b_n-\alpha|<\frac{\epsilon}{2}+|b_n-\alpha|}_{\text{I agree with all of this,}}<\epsilon.$

$\displaystyle |a_n+b_n-(A+\alpha)|\leq |a_n-A|+|b_n-\alpha|<\underbrace{\frac{\epsilon}{2}+|b_n-\alpha|<\epsilon}_{\text{but not this.}}.$

You're essentially saying that because A < B and A < C, that therefore A < B < C. But 4 < 5, and 4 < 6; that does not imply 4 < 6 < 5.

Re: {a_n} and {a_n+b_n} converge. Prove {b_n} converges.

Quote:

Originally Posted by

**dwsmith** $\displaystyle \{a_n\}$ and $\displaystyle \{a_n+b_n\}$ converge. Prove $\displaystyle \{b_n\}$ converges.

I know this has been answered. But here is a flowing proof.

First suppose that $\displaystyle (a_n)\to\alpha~\&~(a_n+b_n)\to \alpha+\beta$.

Suppose that $\displaystyle \varepsilon > 0$. Now use the definition twice.

$\displaystyle \left( {\exists N_1 } \right)\left[ {n \geqslant N_1 \, \Rightarrow \,\left| {a_n - \alpha } \right|} \right] < \frac{\varepsilon }{2}$

$\displaystyle \left( {\exists N_2 } \right)\left[ {n \geqslant N_2 \, \Rightarrow \,\left| {a_n + \beta _n - (\alpha + \beta) } \right|} \right] < \frac{\varepsilon } {2}$.

Note that we need two values of $\displaystyle N$ that we need to insure both condition hold.

So let $\displaystyle N=N_1+N_2$. If $\displaystyle n\ge N$ then

$\displaystyle \begin{array}{rcl}{\left| {b_n - \beta } \right|} & = & {\left| {\left( {a_n + \beta _n } \right) - \left( {\alpha + \beta } \right) + \alpha -a_n } \right|}\\{} & \leqslant & {\left| {\left( {a_n + \beta _n } \right) - \left( {\alpha + \beta } \right)} \right| + \left| {\alpha - a_n } \right|}\\{} & \leqslant & {\frac{\varepsilon }{2} + \frac{\varepsilon }{2} = \varepsilon } \\ \end{array} $

Re: {a_n} and {a_n+b_n} converge. Prove {b_n} converges.

Here's a specific example where your argument fails.

As Plato pointed out, you need an N for each sequence; let $\displaystyle N_{1}$ be such that $\displaystyle n>N_{1}$ implies $\displaystyle |a_{n}-A|<\frac{\epsilon}{2}$ and let $\displaystyle N_{2}$ be such that $\displaystyle n>N_{2}$ implies $\displaystyle |a_{n}+b_{n}-(A+\alpha)|<\epsilon$. Then we can obtain both inequalities with $\displaystyle N=\max\{N_{1}, N_{2}\}$.

Then n>N implies $\displaystyle |a_{n}-A|<\frac{\epsilon}{2}$ and $\displaystyle |a_{n}+b_{n}-(A+\alpha)|<\epsilon$. This is a particular N.

Suppose that we already know that $\displaystyle b_{n}$ converges to $\displaystyle \alpha$. Also suppose that $\displaystyle \alpha - b_{N+1}=\epsilon$ and $\displaystyle a_{N+1}-A=\frac{\epsilon}{3}$ (which is certainly less than $\displaystyle \frac{\epsilon}{2}$).

Then we have

$\displaystyle |a_{N+1}+b_{N+1}-(A+\alpha)|=|a_{N+1}-A-(\alpha - b_{N+1})|=|\frac{\epsilon}{3}-\epsilon|=|-\frac{2 \epsilon}{3}|<\epsilon$ but

$\displaystyle |a_{N+1}-A|+|b_{N+1}-\alpha|=\frac{\epsilon}{3}+\epsilon=\frac{4 \epsilon }{3}>\epsilon$.

The point is that there exists an $\displaystyle n_{1}>N$ such that $\displaystyle |b_{n_{1}}-\alpha|=\epsilon$ and $\displaystyle |a_{n_{1}}+b_{n_{1}}-(A+\alpha)|<\epsilon$. You would need to find a larger N to get $\displaystyle |b_{n}-\alpha|<\epsilon$.