a complete subspace of a metric space is closed
Let be a metric space, and let be a complete subspace of . Then is closed.
Proof
Let be a point in the closure of . Then by the definition of closure, from each ball centered in , we can select a point . This is clearly a Cauchy sequence
in , and its limit is , hence by the completeness of , and thus .