I et vilkårlig metrisk rom vil en konvergent følge alltid være en Cauchy-følge. Det motsatte er ikke generelt tilfelle: en følge kan være en Cauchy-følge uten å være konvergent. I et kompakt metrisk rom vil en Cauchy-følge alltid være konvergent og ha en grenseverdi i rommet.