Theorem
Supposeandare metric spaces. A sequence of pointsof a metric spaceis convergent to the pointif and only if
and
Proof
Supposethen there existssuch that forgiven such that for alland ifthen there existssuch that forgiven such that for all
Letthen and
Hence