> *Definition 2*: a metric space $(X,d)$ is **complete** if every Cauchy sequence in $X$ is convergent.
Therefore, in a complete metric space every Cauchy sequence is a convergent sequence.
> *Proposition 1*: let $M \subset X$ be a nonempty subset of a metric space $(X,d)$ and let $\overline M$ be the closure of $M$, then
>
> 1. $x \in \overline M \iff \exists (x_n)_{n \in \mathbb{N}} \text{ in } M: x_n \to x$,
> 2. $M \text{ is closed } \iff M = \overline M$.
??? note "*Proof*:"
To prove statement 1, let $x \in \overline M$. If $x \notin M$ then $x$ is an accumulation point of $M$. Hence, for each $n \in \mathbb{N}$ the ball $B(x,\frac{1}{n})$ contains an $x_n \in M$ and $x_n \to x$ since $\frac{1}{n} \to 0$ as $n \to \infty$. Conversely, if $(x_n)_{n \in \mathbb{N}}$ is in $M$ and $x_n \to x$, then $x \in M$ or every neighbourhood of $x$ contains points $x_n \neq x$, so that $x$ is an accumulation point of $M$. Hence $x \in \overline M$.
Statement 2 follows from statement 1.
We have that the following statement is equivalent to statement 2: $x_n \in M: x_n \to x \implies x \in M$.
> *Proposition 2*: let $M \subset X$ be a subset of a complete metric space $(X,d)$, then
>
> $$
> M \text{ is complete} \iff M \text{ is a closed subset of } X
> $$
??? note "*Proof*:"
Let $M$ be complete, by proposition 1 statement 1 we have that
$$
\forall x \in \overline M \exists (x_n)_{n \in \mathbb{N}} \text{ in } M: x_n \to x.
$$
Since $(x_n)$ is Cauchy and $M$ is complete, $x_n$ converges in $M$ with the limit being unique by statement 1 in [lemma 1](). Hence, $x \in M$ which proves that $M$ is closed because $x \in \overline M$ has been chosen arbitrary.
Conversely, let $M$ be closed and $(x_n)$ Cauchy in $M$. Then $x_n \to x \in X$ which implies that $x \in \overline M$ by statement 1 in proposition 1, and $x \in M$ since $M = \overline M$ by assumption. Hence, the arbitrary Cauchy sequence $(x_n)$ converges in $M$.
> *Proposition 3*: let $T: X \to Y$ be a map from a metric space $(X,d)$ to a metric space $(Y,\tilde d)$, then
>
> $$
> T \text{ is continuous in } x_0 \in X \iff x_n \to x_0 \implies T(x_n) \to T(x_0),
> $$
>
> for any sequence $(x_n)_{n \in \mathbb{N}}$ in $X$ as $n \to \infty$.
??? note "*Proof*:"
Suppose $T$ is continuous at $x_0$, then for a given $\varepsilon > 0$ there is a $\delta > 0$ such that
Clearly $x_n \to x_0$ but $(Tx_n)$ does not converge to $Tx_0$ which contradicts $Tx_n \to Tx_0$.
## Completeness proofs
To show that a metric space $(X,d)$ is complete, one has to show that every Cauchy sequence in $(X,d)$ has a limit in $X$. This depends explicitly on the metric on $X$.
The steps in a completeness proof are as follows
1. take an arbitrary Cauchy sequence $(x_n)_{n \in \mathbb{N}}$ in $(X,d)$,
2. construct for this sequence a candidate limit $x$,
3. prove that $x \in X$,
4. prove that $x_n \to x$ with respect to metric $d$.
> *Proposition 4*: the Euclidean space $\mathbb{R}^n$ with $n \in \mathbb{N}$ and the metric $d$ defined by
A similar proof exists for the completeness of the Unitary space $\mathbb{C}^n$.
> *Proposition 5*: the space $C([a,b])$ of all **real-valued continuous functions** on a closed interval $[a,b]$ with $a<b \in \mathbb{R}$ with the metric $d$ defined by
>
> $$
> d(x,y) = \max_{t \in [a,b]} |x(t) - y(t)|,
> $$
>
> for all $x, y \in C$ is complete.
??? note "*Proof*:"
Will be added later.
While $C$ with a metric $d$ defined by
$$
d(x,y) = \int_a^b |x(t) - y(t)| dt,
$$
for all $x,y \in C$ is incomplete.
??? note "*Proof*:"
Will be added later.
> *Proposition 6*: the space $l^p$ with $p \geq 1$ and the metric $d$ defined by