Completeness Criterion (Metric Spaces)/Proof 1

Proof
Let $\left\langle{x_n}\right\rangle_{n \mathop \in \N}$ be a Cauchy sequence in $S$.

For each $n$ pick a Cauchy sequence $\left\langle{y_{n, m}}\right\rangle_{m \mathop \in \N}$ in $A$ converging to $x_n$ like so:


 * CompletenessCriterionProof.png

Let $N \in \N$ be such that $d \left({x_{n_1}, x_{n_2}}\right) < \epsilon / 3$ for all $n_1, n_2 > N$.

Let $M \in \N$ be such that $d \left({y_{n_i, m}, x_{n_i}}\right) < \epsilon / 3$ for all $m > M$ and all $n_1, n_2 > N$.

Let $m > M$.

Let $n_1, n_2 > N$.

We have:

Therefore $\left\langle{y_{m, n}}\right\rangle_{n \in \N}$ is Cauchy in $A$ for $m > M$.

So $\left\langle{y_{m, n}}\right\rangle_{n \mathop \in \N}$ converges to some limit $y_n \in S$.