Cauchy-sorozat

Definíció

an

Sorozat Cauchy-sorozat, ha ϵ>0

N:n,mN |anam|<ϵ

Szavakkal: A Sorozat elemei tetszőleges közel vannak egymáshoz elég nagy N után

Minden konvergens sorozat Cauchy-sorozat

ϵ/2

távra tud lenni bármely két eleme elég nagy N

esetén. Háromszög egyenlőtlenség

-ben minden Cauchy-sorozat konvergens

Be kell látni, hogy a Sorozat korlátos. Ezután be kell látni, hogy van c-hez konvergáló Részsorozat (Bolzano-Weierstrass tétel). Mivel a Sorozat Cauchy-sorozat, ezért kellően nagy N esetén a Sorozat elemei bármilyen közel tudnak kerülni egymáshoz. Mivel a Részsorozat bármilyen közel tud kerülni c-hez és a többi elem is bármilyen közel kerül a részsorozatban lévő elemekhez, ezért a Sorozat egésze bármilyen közel tud kerülni c-hez, tehát konvergens.