# Real Numbers, Sequences and Series: part 9

Definition.

We call a sequence $(a_{n})_{n=1}^{\infty}$ a Cauchy sequence if for all $\varepsilon >0$ there exists an $n_{0}$ such that $|a_{m}-a_{n}|<\varepsilon$ for all m, $n > n_{0}$.

Theorem:

Every Cauchy sequence is a bounded sequence and is convergent.

Proof.

By definition, for all $\varepsilon >0$ there is an $n_{0}$ such that

$|a_{m}-a_{n}|<\varepsilon$ for all m, $n>n_{0}$.

So, in particular, $|a_{n_{0}}-a_{n}|<\varepsilon$ for all $n > n_{0}$, that is,

$a_{n_{0}+1}-\varepsilon for all $n>n_{0}$.

Let $M=\max \{ a_{1}, \ldots, a_{n_{0}}, a_{n_{0}+1}+\varepsilon\}$ and $m=\min \{ a_{1}, \ldots, a_{n_{0}+1}-\varepsilon\}$.

It is clear that $m \leq a_{n} \leq M$, for all $n \geq 1$.

We now prove that such a sequence is convergent. Let $\overline {\lim} a_{n}=L$ and $\underline{\lim}a_{n}=l$. Since any Cauchy sequence is bounded,

$-\infty < l \leq L < \infty$.

But since $(a_{n})_{n=1}^{\infty}$ is Cauchy, for every $\varepsilon >0$ there is an $n_{0}=n_{0}(\varepsilon)$ such that

$a_{n_{0}+1}-\varepsilon for all $n>n_{0}$.

which implies that $a_{n_{0}+1}-\varepsilon \leq \underline{\lim}a_{n} =l \leq \overline{\lim}a_{n}=L \leq a_{n_{0}+1}+\varepsilon$. Thus, $L-l \leq 2\varepsilon$ for all $\varepsilon>0$. This is possible only if $L=l$.

QED.

Thus, we have established that the Cauchy criterion is both a necessary and sufficient criterion of convergence of a sequence. We state a few more results without proofs (exercises).

Theorem:

For sequences $(a_{n})_{n=1}^{\infty}$ and $(b_{n})_{n=1}^{\infty}$.

(i) If $l \leq a_{n} \leq b_{n}$ and $\lim_{n \rightarrow \infty}b_{n}=l$, then $(a_{n})_{n=1}^{\infty}$ too is convergent and $\lim_{n \rightarrow \infty}a_{n}=l$.

(ii) If $a_{n} \leq b_{n}$, then $\overline{\lim}a_{n} \leq \overline{\lim}b_{n}$, $\underline{\lim}a_{n} \leq \underline{\lim}b_{n}$.

(iii) $\underline{\lim}(a_{n}+b_{n}) \geq \underline{\lim}a_{n}+\underline{\lim}b_{n}$

(iv) $\overline{\lim}(a_{n}+b_{n}) \leq \overline{\lim}{a_{n}}+ \overline{\lim}{b_{n}}$

(v) If $(a_{n})_{n=1}^{\infty}$ and $(b_{n})_{n=1}^{\infty}$ are both convergent, then $(a_{n}+b_{n})_{n=1}^{\infty}$, $(a_{n}-b_{n})_{n=1}^{\infty}$, and $(a_{n}b_{n})_{n=1}^{\infty}$ are convergent and we have $\lim(a_{n} \pm b_{n})=\lim{(a_{n} \pm b_{n})}=\lim{a_{n}} \pm \lim{b_{n}}$, and $\lim{a_{n}b_{n}}=\lim {a_{n}}\leq \lim {b_{n}}$.

(vi) If $(a_{n})_{n=1}^{\infty}$, $(b_{n})_{n=1}^{\infty}$ are convergent and $\lim_{n \rightarrow \infty}b_{n}=l \neq 0$, then $(\frac{a_{n}}{b_{n}})_{n=1}^{\infty}$ is convergent and $\lim_{n \rightarrow \frac{a_{n}}{b_{n}}}= \frac{\lim {a_{n}}}{\lim{b_{n}}}$.

Reference: Understanding Mathematics by Sinha, Karandikar et al. I have used this reference for all the previous articles on series and sequences.

More later,

Nalin Pithwa
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 52, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://madhavamathcompetition.com/tag/indian-statistical-insitute/", "fetch_time": 1638748685000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2021-49/segments/1637964363226.68/warc/CC-MAIN-20211205221915-20211206011915-00440.warc.gz", "warc_record_offset": 436600736, "warc_record_length": 13839, "token_count": 1181, "char_count": 2856, "score": 4.1875, "int_score": 4, "crawl": "CC-MAIN-2021-49", "snapshot_type": "longest", "language": "en", "language_score": 0.6192508935928345, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00062-of-00064.parquet"}