Theorem
Suppose we have a metric space
Suppose
is a Cauchy sequence in
Define
as follows:
where
is dense in the quotient space
where
is the equivalence relation on the set of Cauchy sequences in
defined by:
if
thenis dense in
Proof
Let
Then
is a Cauchy sequence in
Hence
is the limit of the sequence
in
Henceis dense in