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.