olemus
jada väärtustega a₀, a₁, a₂, ...
meetrilises ruumis kaugusfunktsiooniga d,
rahuldab tingimust:
igale reaalarvule ɛ > 0 leidub selline indeks i , et
d(a_k, a_l) < ɛ iga k, l > i korral
=
a sequence whose elements become arbitrarily close to each other as the sequence progresses

näiteid
(i) iga koonduv jada on
ühtlasi ka Cauchy jada,
kuid Cauchy jada ei tarvitse koonduda
(ii) jada a₀, a₁, a₂, ... ,
kus a₀ = 1 ja a_n+1 = a_n/2 + 1/a_n ,
on Cauchy jada, kuid
ei koondu ratsionaalarvude hulgas

ülevaateid
https://en.wikipedia.org/wiki/Cauchy_sequence

http://www.u.arizona.edu/~mwalker/econ519/Econ519LectureNotes/CompleteMetricSpaces.pdf

https://web.yonsei.ac.kr/nipi/lectureNote/Real%20Analysis-Marsden-seo.pdf