Proof That a Separable Metric Space is Homeomorphic to a Dense Subspace of a Complete Metric Space


A separable metric spaceis homeomorphic to a dense subspace of a complete metric space.


A space is said to be separable if it contains a countable dense subset.

Any separable metric spacehas a metrizable compactification,say. Ifis compact, then it is complete.