# Subspace of Complete Metric Space is Closed iff Complete

## Theorem

Let $\struct {M, d}$ be a complete metric space.

Let $\struct {S, d}$ be a subspace of $\struct {M, d}$.

Then $S$ is closed if and only if $S$ is complete.

## Proof

This will be proved by demonstrating the contrapositive:

- $S$ is not complete if and only if $S$ is not closed.

### Necessary Condition

Suppose that $S$ is not complete.

Then there exists a Cauchy sequence $\sequence {x_n}$ in $S$ such that the limit $\ds x = \lim_{n \mathop \to \infty} x_n$, which exists in the complete metric space $M$, is not a member of $S$.

For all $\epsilon > 0$, there exists an $N \in \N$ such that for all $n \ge N$:

- $\map d {x, x_n} < \epsilon$

Hence $M \setminus S$ is not open.

Therefore, $S$ is not closed.

$\Box$

### Sufficient Condition

Suppose that $S$ is not closed.

Then $M \setminus S$ is not open.

Therefore, there exists a $x \in M \setminus S$ such that for all $\epsilon > 0$, there exists a $y \in S$ such that $\map d {x, y} < \epsilon$.

So there exists a sequence $\sequence {y_n}$ in $S$ such that for all $n \in \N$:

- $\map d {x, y_n} < \dfrac 1 n$

Now, we show that $\sequence {y_n}$ is a Cauchy sequence.

Let $N \in \N$ be such that for all $n \ge N$:

- $\map d {x, y_n} < \dfrac \epsilon 2$

Let $m, n \ge N$.

Then, by the triangle inequality:

- $\map d {y_m, y_n} \le \map d {x, y_m} + \map d {x, y_n} < \epsilon$

Hence $\sequence {y_n}$ is a Cauchy sequence.

Because $\struct {M, d}$ is a complete metric space by assumption, the limit $\ds \lim_{n \mathop \to \infty} y_n$ exists and is in $M$.

Denote this limit by $y$.

By the definition of $\sequence {y_n}$:

- $\ds \lim_{n \mathop \to \infty} \map d {x, y_n} = 0$

From Distance Function of Metric Space is Continuous and Composite of Continuous Mappings is Continuous:

- $\map d {x, y} = 0$

This article, or a section of it, needs explaining.In particular: Which two mappings are being composed here?You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

By definition of a metric, this implies that $x = y$.

Since $y \notin S$, $S$ is not complete.

$\blacksquare$