Topology

Completion of Metric Spaces

Constructs the completion of a metric space from equivalence classes of Cauchy sequences, proves completeness and density of the canonical embedding, and examines completeness under homeomorphism.