Cauchy's Convergence Criterion/Complex Numbers/Proof 1

Proof
Let $\left \langle {x_n} \right \rangle$ be a real sequence where:
 * $x_n = \Re \left( {z_n} \right)$ for every $n$
 * $\Re \left({z_n}\right)$ is the real part of $z_n$

Let $\left \langle {y_n} \right \rangle$ be a real sequence where:
 * $y_n = \Im \left( {z_n} \right)$ for every $n$
 * $\Im \left( { z_n} \right)$ is the imaginary part of $z_n$

Necessary Condition
Let $\left \langle {z_n} \right \rangle$ be a Cauchy sequence.

We aim to prove that $\left \langle {z_n} \right \rangle$ is convergent.

By Lemma 1 we know that $\left \langle {x_n} \right \rangle$ and $\left \langle {y_n} \right \rangle$ are Cauchy sequences.

By Real Sequence is Cauchy iff Convergent we know that $\left \langle {x_n} \right \rangle$ and $\left \langle {y_n} \right \rangle$ are convergent.

By Lemma 2 we know that $\left \langle {z_n} \right \rangle$ is convergent.

Sufficient Condition
Let $\left \langle {z_n} \right \rangle$ be convergent.

We aim to prove that $\left \langle {z_n} \right \rangle$ is a Cauchy sequence.

By Lemma 2 we know that $\left \langle {x_n} \right \rangle$ and $\left \langle {y_n} \right \rangle$ are convergent.

By Real Sequence is Cauchy iff Convergent we know that $\left \langle {x_n} \right \rangle$ and $\left \langle {y_n} \right \rangle$ are Cauchy sequences.

By Lemma 1 we know that $\left \langle {z_n} \right \rangle$ is a Cauchy sequence.