- #1
alexmahone
- 304
- 0
Prove that $a_n\to L\implies|a_n|\to|L|$. (Make cases and use Theorem 5.3B)
My attempt:
Given $\epsilon>0$,
$L-\epsilon<\lim\ a_n<L+\epsilon$ for all $n$
$L-\epsilon<a_n<L+\epsilon$ for $n\gg 1$ (Using Theorem 5.3B)
$-\epsilon<a_n-L<\epsilon$ for $n\gg 1$
$|a_n-L|<\epsilon$ for $n\gg 1$
Case 1: $|a_n|\ge|L|$ for $n\gg 1$
$|a_n|-|L|\le|a_n-L|<\epsilon$ for $n\gg 1$
So, $|a_n|\to|L|$
Case 2: $|a_n|<|L|$ for $n\gg 1$
$|L|-|a_n|\le|a_n-L|<\epsilon$ for $n\gg 1$
So, $|a_n|\to|L|$
---------------------------------------------------------
Could someone please check the above proof for me?
Theorem 5.3B: Assuming $\{a_n\}$ converges,
$\lim\ a_n<M\implies a_n<M$ for $n\gg 1$
$\lim\ a_n>M\implies a_n>M$ for $n\gg 1$
My attempt:
Given $\epsilon>0$,
$L-\epsilon<\lim\ a_n<L+\epsilon$ for all $n$
$L-\epsilon<a_n<L+\epsilon$ for $n\gg 1$ (Using Theorem 5.3B)
$-\epsilon<a_n-L<\epsilon$ for $n\gg 1$
$|a_n-L|<\epsilon$ for $n\gg 1$
Case 1: $|a_n|\ge|L|$ for $n\gg 1$
$|a_n|-|L|\le|a_n-L|<\epsilon$ for $n\gg 1$
So, $|a_n|\to|L|$
Case 2: $|a_n|<|L|$ for $n\gg 1$
$|L|-|a_n|\le|a_n-L|<\epsilon$ for $n\gg 1$
So, $|a_n|\to|L|$
---------------------------------------------------------
Could someone please check the above proof for me?