Limit of a Sequence in the Quotient Space Defined by Cauchy Sequences

Theorem

Suppose we have a metric spaceSupposeis a Cauchy sequence inso

Defineas follows:where

is a subspace of

Supposeis the limit of the sequence

Proof

The sequenceis a Cauchy sequence in

Hence