Proof-check: If two sequences are $\varepsilon$-close, then the first one is bounded if and only if the second is bounded too

68 Views Asked by At

Definitions.

Bounded sequences. Let $(a_n)_{n=0}^\infty$ be a sequence. It is bounded iff there is an $M_0$ such that $|a_n| \leq M_0$.

Eventually $\varepsilon$-close. We say two sequences are eventually $\varepsilon$-close iff, for some $\varepsilon>0$, there exists an $M_1$ such that, for any $n, m \geq M_1$, $|a_m - a_n| < \varepsilon$.

Proposition. Let $\varepsilon > 0$. Show that if $(a_m)_{m=0}^\infty$ and $(b_m)_{m=0}^\infty$ are eventually $\varepsilon$-close, then $(a_m)_{m=0}^\infty$ is bounded if and only if $(b_m)_{m=0}^\infty$ is bounded.

Proof. Assume $(a_m)_{m=0}^\infty$ and $(b_m)_{m=0}^\infty$ are eventually $\varepsilon$-close for some $\varepsilon$. So there exists an $N$ such that, for any $m \geq N$, $|b_m - a_m | < \varepsilon$.

Suppose $(a_m)_{m=0}^\infty$ is bounded. So there exists an $M_0$ such that $|a_m| \leq M_0$.

Then $$|b_m - a_m | + | a_m| < \varepsilon + M_0$$

By the triangle inequality theorem,

$$ |b_m - a_m + a_m | =|b_m| < \varepsilon + M_0 $$

This implies that $(b_m)_{m=0}^\infty$ is bounded by an $M_1$ such that $M_1 = max(b_1, b_2, b_3, ..., \varepsilon + M_0$).

We could show that if $(b_m)_{m=0}^\infty$ is bounded, $(a_m)_{m=0}^\infty$ is bounded too by a reciprocal argument.

1

There are 1 best solutions below

0
On BEST ANSWER

All the pieces are there, here's how to put them together. For $m \geq N$, you start with: $$ |b_m|=|b_m-a_m+a_m|. $$ Then you use the triangle inequality: $$ |b_m - a_m + a_m| \leq |b_m - a_m| + |a_m| < \varepsilon + M_0. $$ By transitivity, this gives you: $$ |b_m| < \varepsilon + M_0. $$ And as you noted, by taking the max of $\{ |b_1|, \ldots, |b_{N-1}|, \varepsilon+M_0 \}$ you get a bound for $(b_n)$.