Ορισµός
Μια ακολουθία xn ονοµάζεται Cauchy, αν για κάθε υπάρχει τέτοιο ώστε για κάθε έχουµε
Ο ορισµός λέει ότι σε µια ακολουθία Cauchy, αν σας δώσουν οποιοδήποτε , από κάποιο δείκτη και µετά όλοι οι όροι τής ακολουθίας απέχουν µεταξύ τους απόσταση µικρότερη από . Θα δείξουµε ότι αυτό είναι στην πραγµατικότητα ισοδύναµο µε το ότι η ακολουθία συγκλίνει.
Θεώρηµα
Μια ακολουθία είναι Cauchy αν και µόνο αν συγκλίνει.
Απόδειξη
΄Εστω ότι για κάποιο . Θα δείξουµε ότι η είναι Cauchy. ΄Εστω . Αφού υπάρχει τέτοιο ώστε