Proof That if the Quotient Space of the Cauchy Sequences in a Metric Space is a Completion of a Metric Space, then The Quotient Space is Isomorphic to That Space


Suppose we have a metric space


then ifis a completion of some metric spacethenis ismorphic to


is a subspace of

Hence for everythere exists a Cauchy sequenceconverging to

Define a mappingby

The mappingis well defined, since ifconverges tothenso that

Also,is subjective. Supposethenis a Cauchy sequence inButis complete henceconverges toand

Now supposethen there are sequencesinsuch that


Henceis an isometry betweenand