Șir Cauchy

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare

În matematică, o secvență sau un șir Cauchy este o secvență în care elementele componente se apropie pe măsură ce aceasta avansează într-o direcție, pe axa numerelor reale. Cu alte cuvinte, pentru orice număr pozitiv dat, se poate renunța la termenii de la începutul șirului, astfel încât, orice diferență între oricare doi termeni consecutivi, dintre cei rămași, să fie mai mică decât numărul ales.

Utilitatea în contextul analizei matematice[modificare | modificare sursă]

Utilitatea acestor șiruri rezidă din faptul că un spațiu metric complet are la bază existența acestor șiruri care converg către o limită. Convergența șirurilor este o proprietate foarte folosită în domeniile proceselor iterative, a căror algoritmi de rezolvare necesită o limitare în timp. De aceea, în foarte multe domenii al fizicii matematice se lucrează în termeni de topologie, prin adoptarea foarte frecvent a spațiilor metrice complete.

Șiruri Cauchy în spații metrice[modificare | modificare sursă]

Într-un spațiu metric, un șir fundamental, numit și șir Cauchy este un șir x_1,x_2,x_3,\ldots de elemente , având proprietatea că, pentru orice \varepsilon>0, există un rang N_\varepsilon\in\mathbb{N} astfel încât \forall m,n\in\mathbb{N} cu m\geq N_\varepsilon și n\geq N_\varepsilon, are loc d(x_m, x_n)<\varepsilon, unde d este funcția distanță.

Un șir convergent este întotdeauna șir Cauchy. Spațiile metrice complete sunt, prin definiție, acele spații metrice în care este adevărată și reciproca (orice șir Cauchy este convergent).

Exemplu de șir Cauchy[modificare | modificare sursă]

Cel mai întâlnit exemplu de șir Cauchy este modul de construcție a unui număr real, prin utilizarea secvențelor de numere raționale. Dacă avem un număr, să zicem cifra 0 și o secvență Cauchy care stă la baza acestui număr(să zicem șirul 1/n), atunci avem o secvență de numere raționale, iar completitudinea spatiului este realizată. Conform proprietății în care, un spațiu metric complet admite numai șiruri Cauchy, atunci orice secvență de numere raționale este un șir Cauchy în domeniul real. În schimb dacă secvența de numere raționale se consideră doar în domeniul numerelor raționale, există posibilitatea ca nu orice secvență să fie Cauchy, tocmai datorită faptului că mulțimea numerelor raționale nu este un spațiu metric complet.

Șirurile Cauchy sunt una din metodele de construcție a mulțimii numerelor reale din mulțimea numerelor raționale. De aici numele lor de șiruri fundamentale.