Cauchy's Convergence Criterion/Complex Numbers/Proof 1

Lemma
Let $\sequence {x_n}$ be a real sequence where:
 * $x_n = \map \Re {z_n}$ for every $n$
 * $\map \Re {z_n}$ is the real part of $z_n$

Let $\sequence {y_n}$ be a real sequence where:
 * $y_n = \map \Im {z_n}$ for every $n$
 * $\map \Im {z_n}$ is the imaginary part of $z_n$

Necessary Condition
Let $\sequence {z_n}$ be a Cauchy sequence.

We aim to prove that $\sequence {z_n}$ is convergent.

We find:


 * $\sequence {z_n}$ is a Cauchy sequence


 * $\leadsto \sequence {x_n}$ and $\sequence {y_n}$ are Cauchy sequences by Lemma


 * $\leadsto \sequence {x_n}$ and $\sequence {y_n}$ are convergent by Real Sequence is Cauchy iff Convergent


 * $\leadsto \sequence {z_n}$ is convergent by definition of convergent complex sequence.

Sufficient Condition
Let $\sequence {z_n}$ be convergent.

We aim to prove that $\sequence {z_n}$ is a Cauchy sequence.

We find:


 * $\sequence {z_n}$ is convergent


 * $\leadsto \sequence {x_n}$ and $\sequence {y_n} $ are convergent by definition of convergent complex sequence


 * $\leadsto \sequence {x_n}$ and $\sequence {y_n}$ are Cauchy sequences by Real Sequence is Cauchy iff Convergent


 * $\leadsto \sequence {z_n}$ is a Cauchy sequence by Lemma