4
$\begingroup$

Suppose $a_n \rightarrow +-\infty$ and $(b_n)$ is bounded. Show that $a_n+b_n \rightarrow +-\infty$. I tried this:

$|a_n|\rightarrow +-\infty$, so $|a_n+-\infty|<\epsilon$. It is also true that $|b_n|, because $(b_n)$ was bounded. Now, if you add those together, you will get: $|a_n+-\infty|+|b_n|<\epsilon+M$ and therefor: $|a_n+b_n+-\infty|\le|a_n+-\infty|+|b_n|<\epsilon+M$. But, since M is fixed (say M was $2$), you can't get closer than $2$ to the limit (because $\epsilon$ must be negative in that case). Am I missing something?

Regards, Kevin

1 Answers 1

4

I wouldn't advise you to add/subtract infinity until you'll have enough experience in this.

The strict proof is like this:

  1. suppose that $a_n\to+\infty$, so for any $E>0$ (here we are especially interested in large values of $E$) there exists $N(E)$ such that $a_n>E$ for all $n\geq N$.

  2. As you have written, there is a constant $M$ such that $|b_n| for all $n\geq0$, i.e. $$ -M

  3. To prove that $a_n+b_n\to+\infty$ we should show that for any $E'$ there is $N(E')$ such that for all $n\geq N(E')$ holds $a_n+b_n>E'$.

  4. We can clearly do it: pick up any $E'$, then $a_n+b_n>a_n-M$ (see 2.), hence to make $a_n+b_n>E'$ we just need to make $a_n>E'+M$ for any $E'$ - and that will be sufficient (do you agree here?)

  5. Based on 1., we just take $N(E'+M)$ so $a_n>E'+M$ for all $n\geq N(E'+M)$, hence $$ a_n+b_n>E' $$ for all $n\geq N(E'+M)$ and hence $a_n+b_n\to +\infty$.

Could you please follow the same steps to prove the case when $a_n\to -\infty$?

  • 0
    Ok, it was a little hard to follow for me, but now I get it. Just one question left: why do you pick N(E'+M), I thought you'd have to prove that $a_n>E \forall n \ge N \forall E$, because it should hold for every E? Else you can say $a_n=1>E$ or something like that.2011-09-23