Every metric space that is compact ( i.e . every complete sequence of points in the space converges to a point within the space ) and totally bounded is Cauchy .
Every metric space that is complete ( i.e . every Cauchy sequence of points in the space converges to a point within the space ) and totally bounded is compact .