Thomas' Calculus 13th Edition

Published by Pearson
ISBN 10: 0-32187-896-5
ISBN 13: 978-0-32187-896-0

Chapter 10: Infinite Sequences and Series - Section 10.1 - Sequences - Exercises 10.1 - Page 572: 132

Answer

Proof given below.

Work Step by Step

The result of exercise 130 tells us that, if $\{a_{n}\}$is convergent, then, given an arbitrarily small positive number $\epsilon$, there is an index N after which the distance between any two terms that follow, is less than $\epsilon$. If we prove that no such N exists for some chosen $\epsilon, $ the sequence would be divergent. Let us define the subsequences as in the problem. Let $f(n)$ and $g(n)$ be integer functions, both ever rising, and let their function values be the indices of two subseqences such that $ a_{f(n)}\rightarrow L_{1} \quad$ and $\quad a_{g(n)}\rightarrow L_{2} \quad$ and $\quad L_{1}\neq L_{2}.$ Since $ a_{f(n)}\rightarrow L_{1} \quad$ and $\quad a_{g(n)}\rightarrow L_{2}$, $| a_{f(n)}-a_{g(n)}|\rightarrow|L_{1} -L_{2} |,$ If we take $\displaystyle \epsilon=\frac{|L_{1} -L_{2} |}{2},$ for any N, however large, we can find two members of the sequence whose inidices are greater than N, and whose distance is greater than $\epsilon$. (one term is a member of $\{a_{f(n)}\}$ and the other of $\{a_{g(n)}\}$, so their distance becomes closer and closer to $ 2\epsilon$ as n grows very large). Such an N (as defined by exercise 130) does not exist for our chosen $\epsilon$. Thus, $\{a_{n}\}$ is divergent.
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.