# Cauchy Sequences

A sequence $a_n$ **converges** to $a$ if for every $\epsilon > 0$, $\exists$ an $N$ such that if $n > N$ then $\left| a_n - a \right| < \epsilon.$

A sequence is called a **Cauchy sequence** if for every $\epsilon > 0, \exists\ N$ such that if $ m,n \geq N$ then $\left| a_n - a_m \right| < \epsilon.$ This is saying all the elements in a Cauchy sequence come closer to each other as the sequence progresses.

All convergent sequences are Cauchy sequences, but not all cauchy sequences are convergent. All convergent and Cauchy sequences are **bounded** which means $\forall n,a_n \leq M.$

Take for example the square root of two which can be considered the sequence 1, 1.4, 1.41, 1.414$\ldots .$ This number is a cauchy sequence, but it doesn't converge to any particular number since the sequence is nonrepeating which brings us to the definition of complete.

An ordered field is **complete** if every Cauchy sequence in the field is closed. This means that every Cauchy sequence must converge to value that is member of the ordered field. Since the above mentioned sequence of the square root of two is composed of rational numbers, but does not converge to a rational number the set of rational numbers is not complete.