Theorem
Suppose
and
are metric spaces. A sequence of points
of a metric space
is convergent to the point
if and only if
and![]()
Proof
Suppose
then there exists
such that for
given such that for all
and if
then there exists
such that for
given such that for all![]()
Let
then
and![]()
Hence