Theorem
Supposeand
are metric spaces. A sequence of points
of a metric space
is convergent to the point
if and only if
and
Proof
Supposethen there exists
such that for
given such that for all
and if
then there exists
such that for
given such that for all
Letthen
and
Hence