Suite de Cauchy (encyclopédie mathématiques)

Pour les articles homonymes, voir Cauchy.

Augustin Louis Cauchy

En analyse mathématique, une suite de Cauchy est une suite de réels, de complexes, de points d'un espace métrique ou plus généralement d'un espace uniforme, dont les termes se rapprochent à partir d'un certain rang. Ces suites sont celles susceptibles de converger. Elles sont au centre de la définition de la complétude. Les suites de Cauchy portent le nom du mathématicien français Augustin Louis Cauchy.

Cette notion se généralise, dans un espace uniforme, par celle de filtre de Cauchy.

Sommaire

[modifier] Suite réelle ou complexe de Cauchy

Une suite de réels ou de complexes $(r_n) \$ est dite de Cauchy lorsque les termes de la suite se rapprochent uniformément les uns des autres en l'infini au sens où :

$\lim_{n\rightarrow \infty}\sup_{p,q>n}|r_p-r_q|=0$ .

Cette dernière condition se réécrit classiquement à l'aide de quantificateurs universels et existentiels :

$\forall\varepsilon>0,\; \exists N\in \mathbb N,\; \forall p,q>N,\; |r_p-r_q|<\varepsilon\;$ , ou encore : $\forall\varepsilon>0,\; \exists N\in \mathbb N,\; \forall n>N,\; \forall k>0,\; |r_{n+k}-r_n|<\varepsilon\;$ .

L'uniformité dans la définition est importante. En effet, la différence des termes consécutifs de la suite $(\ln(n)) \$ tend vers 0, et, plus précisément :

$\ln(n+1)-\ln(n)=\ln\left(1+\frac{1}{n}\right)=\frac{1}{n}+O\left(\frac{1}{n^2}\right)$ .

Cependant, $\ln(2n)-\ln(n)=\ln(2) \$ ne converge pas vers 0 lorsque n tend vers l'infini. La suite n'est donc pas de Cauchy.

Critère de Cauchy : Une suite $(r_n) \$ de nombres réels (respectivement complexes) converge dans $\R$ (respectivement $\Complex$ ) si et seulement si c'est une suite de Cauchy.

[modifier] Suite de Cauchy dans un espace métrique

[modifier] Définition

Une suite $(x_n)_{n\in\mathbb N}$ dans un espace métrique $(E, d)$ est dite suite de Cauchy (ou de Cauchy) si pour tout réel $ε > 0$ , il existe un entier naturel $N$ tel que pour tous entiers $p,q\geq N$ , la distance $d (x p, x q)$ soit inférieure à $ε$ :

$\forall \varepsilon>0,\; \exists N\in \mathbb N,\; \forall p,q>N,\; d(x_p,x_q)<\varepsilon$ .

Les inégalités autres que $ε > 0$ peuvent être prises indifféremment larges ou strictes. Lorsque certains ouvrages introduisent la notion de suite de Cauchy uniquement pour les suites de réels, c'est exactement la même définition. La distance d est simplement à remplacer par la valeur absolue de la différence.

Intuitivement, les termes de la suite deviennent de plus en plus proches les uns des autres d'une certaine façon qui suggère que la suite doit avoir une limite dans l'espace. Les suites convergentes sont effectivement de Cauchy, mais néanmoins la réciproque n'est pas vraie en toute généralité. Par exemple, il existe des suites de rationnels qui sont de Cauchy mais qui ne convergent pas dans $\mathbb Q$ .

Exemple (sans supposer connu le corps des réels) : s'inspirant de la méthode de Héron, on construit une suite décroissante de rationnels positifs x_n dont les carrés tendent vers 2 : x₀=3/2, x_n+1=(x_n/2)+(1/x_n). La suite (x_n²) est de Cauchy (car convergente), et minorée par 1. On en déduit facilement que la suite de rationnels (x_n) est également de Cauchy. Cependant elle n'a pas de limite rationnelle, car une telle limite b devrait vérifier b²=2, or la racine carrée de 2 est irrationnelle.

C'est la raison pour laquelle un espace métrique dans lequel toute suite de Cauchy converge est dit complet. L'ensemble des nombres réels est complet, et la construction standard de l'ensemble des nombres réels utilise les suites de Cauchy de nombres rationnels (voir la construction des nombres réels à ce sujet).

Article détaillé : espace complet.

[modifier] Propriétés

Dans un espace métrique, toute suite convergente est de Cauchy.

Supposons qu'une suite $x = (x n)$ d'un espace métrique $(X, d)$ converge vers une limite l. Alors, pour tout $ε > 0$ , il existe un entier $N$ suffisamment grand tel que pour tout n>N on a : $d(x_n,l)<\epsilon$ . L'inégalité triangulaire implique que pour p,q>N, on a :

$d(x_p,x_q)\leq d(x_p,l)+d(l,x_q)<2\epsilon$ .

La suite x est donc bien de Cauchy.

Toute suite de Cauchy est bornée.

Soit $(x n)$ une suite de Cauchy. Appliquons la définition pour $\epsilon=1$ . Il existe un entier naturel $N$ vérifiant $d (x p, x q) < 1$ pour $p,q\geq N$ . En particulier, pour p>N, on a : $d (x p, x N) < 1$ . Donc, à partir du rang N, les termes de la suite appartiennent à une boule de rayon 1. Par conséquent, la suite x est bornée.

Une suite de Cauchy a au plus une valeur d'adhérence. Si elle possède une valeur d'adhérence, alors elle converge.

Une suite convergente dans un espace métrique possède une unique valeur d'adhérence, à savoir sa limite. La première affirmation découle donc de la seconde. Soit $x$ une suite de Cauchy de $(X, d)$ admettant une valeur d'adhérence $a$ . Démontrons que $x$ converge vers $a$ . Pour tout ε > 0, il existe (puisque la suite est de Cauchy) un entier $N$ tel que tel que pour tous $p, q > N$ on ait $d (x p, x q) <$ ε, et il existe (puisque $a$ est valeur d'adhérence) des $q > N$ tels que $d (x q, a) <$ ε. Par inégalité triangulaire on en déduit que pour tout $p > N$ , $d (x p, a) < 2$ ε. Un tel entier $N$ pouvant être défini pour tout réel ε > 0, la suite $x$ converge vers $a$ .

L'image d'une suite de Cauchy par une application uniformément continue est de Cauchy.

Soit f une application uniformément continue d'un espace métrique $(X, d X)$ vers $(Y, d Y)$ , et soit x une suite de Cauchy de $(X, d X)$ . Fixons $ε > 0$ . Comme f est uniformément continue, il existe $η > 0$ tel que, pour tous x et x' de X, on a :

$d_X(x,x')\leq \eta\Rightarrow d_Y(fx,fx')\leq \epsilon$ .

Comme x est de Cauchy, il existe un entier naturel N tel que pour tous p, q>N, on a : $d X (x p, x q) < η$ . A fortiori, pour p, q>N, on a par l'implication ci-dessus : $d_Y(fx_p,fx_q)<\epsilon$ . La suite $(f (x n))$ est donc elle-même de Cauchy.

Dans les espaces vectoriels normés, les suites de Cauchy forment un sous-espace de l'espace des suites.

Une homothétie d'un espace vectoriel normé est une application lipschitzienne, donc uniformément continue. L'image d'une suite de Cauchy par une application uniformément continue étant de Cauchy, si x est une suite de Cauchy d'un espace vectoriel normé E et r est un réel, alors r.x est une suite de Cauchy. De même, la somme de deux suites de Cauchy de E est une suite de Cauchy de E : la somme vectorielle définit une application uniformément continue $E\times E\rightarrow E$ .

Dans une algèbre normée, un produit de suites de Cauchy est de Cauchy.

Considérons deux suites de Cauchy x et y dans une algèbre normée $(A,\|.\|)$ . Elles sont bornées (propriété précédemment établie) ; notons alors M un majorant des suites $(x n)$ et $(y n)$ . Considérons leur produit $x y$ (produit terme à terme). Par définition des suites de Cauchy, pour $ε > 0$ , il existe un entier N tel que pour tous p, q>N, on a : $\|x_p-x_q\|<\epsilon$ et $\|y_p-y_q\|<\epsilon$ . Par inégalité triangulaire, il vient, pour p,q>N :

$\|x_py_p-x_qy_q\|\leq \|x_py_p-x_qy_p\|+\|x_qy_p-x_qy_q\|\leq \|x_p-x_q\|.\|y_p\|+\|x_q\|.y_p-y_q\|\leq 2M\epsilon$ .

La seconde inégalité provient de la sous-multiplicativité de la norme. La suite $x y$ est donc de Cauchy.

Dans un espace ultramétrique (X,d), une suite $(x n)$ est de Cauchy si et seulement si $d(x_n,x_{n+1})\rightarrow 0$ .

Seul le sens réciproque n'est pas toujours vérifié et utilise l'inégalité ultramétrique. Supposons donc $d(x_n,x_{n+1})\rightarrow 0$ . Pour $ε > 0$ , il existe un entier naturel N tel que pour tout n>N, on a : $d(x_n,x_{n+1})<\epsilon$ . Par récurrence sur k, on montre que pour tout n>N, $d(x_n,x_{n+k})<\epsilon$ . Cette propriété est vérifiée par choix de N pour k=1. Supposons-la établie au rang n, et regardons l'incrémentation. L'inégalité ultratriangulaire donne :

$d(x_n,x_{n+k+1})\leq \max\left[d(x_n,x_{n+1}),d(x_{n+1},x_{n+1+k})\right]\leq \epsilon$ .

La seconde inégalité provient de l'application de l'hypothèse de récurrence.

[modifier] Approche non standard

En analyse non standard, pour un espace métrique standard $(X, d)$ , il existe une définition équivalente mais pratique de la notion de suite de Cauchy.

Dans un espace métrique standard $(X, d)$ , une suite standard x est de Cauchy si et seulement si pour tous entiers naturels non standards n et p, le réel $d (x p, x q)$ est infiniment petit :

$\forall p,q\in \mathbb N,\; \left[p\simeq \infty\wedge q\simeq \infty \Rightarrow d(x_p,x_q)\simeq 0\right]$ .

En effet, si x est une suite de Cauchy, alors pour tout réel $ε > 0$ , il existe un entier $N (ε)$ tel que pour tous p, q>N, on a : $d (x p, x q) < ε$ . Si $ε$ est un réel standard, le principe de transfert permet d'imposer à $N (ε)$ d'être un entier standard car la suite x est standard. Or tout entier naturel non standard est strictement plus grand que tout entier naturel standard. Donc, si p et q sont des entiers non standards, ils sont plus grands que tous les $N (ε)$ . De suite, $d (x p, x q)$ est strictement inférieurs à tous les réels standards strictement positifs ; c'est donc un infiniment petit.

Réciproquement, supposons que pour tous entiers non standards p et q, le réel $d (x p, x q)$ est un infiniment petit. Fixons dans un premier temps N un entier non standard. Tout entier plus grand que N est aussi non standard. Soit $ε > 0$ un réel standard. Alors pour p et q>N, on a : $d (x p, x q) < ε$ . De fait, l'assertion suivante :

$\exists N\in \mathbb N,\; \forall p,q\in \mathbb N,\; (p,q>N\Rightarrow d(x_p,x_q)<\varepsilon)$

est vérifiée pour tout réel standard strictement positif $ε$ . Par principe de transfert, elle est vérifiée pour tout $ε > 0$ , ce qui signifie exactement que x est de Cauchy.

[modifier] Suite de Cauchy dans un espace uniforme

[modifier] Définitions

Dans un espace uniforme, une suite $(x n)$ est dite de Cauchy lorsque pour tout écart continu d sur X, il existe un entier naturel N tel que pour tout $p, q > N$ , on a : $d (x p, x q) < 1$ .

Dans des exemples pratiques :

Dans un groupe topologique G, une suite $(g n)$ est dite de Cauchy lorsque pour tout voisinage V de l'élément neutre, il existe un entier naturel N tel que pour tous p, q>N on a : $g_p^{-1}.g_q\in V$ .
En particulier dans un espace vectoriel topologique E, une suite de vecteurs $(u n)$ est dite de Cauchy lorsque pour tout voisinage V de 0, il existe un entier naturel N tel que pour tous p, q>N on a : $u_q-u_p\in V$ .

[modifier] Voir aussi

Espace uniforme
Espace complet
Coupure de Dedekind
Construction des nombres réels

[modifier] Notes et références

[modifier] Notes

[modifier] Références

Jean Dieudonné, Eléments d'analyse, t. I : Fondements de l'analyse moderne [détail des éditions]
Georges Skandalis, Topologie et analyse 3e année, Édition Dunod, Collection Sciences Sup, 2001

v · d · m Travaux d’Augustin Louis Cauchy
Règle de Cauchy • Produit de Cauchy • Suite de Cauchy • Critère de Cauchy • Théorème de Cauchy-Lipschitz • Équations de Cauchy-Riemann • Inégalité de Cauchy • Théorème de Cauchy • Loi de Cauchy • Formule de Binet-Cauchy
Théorème de la moyenne de Cauchy • Théorème de Cauchy-Kovalevskaïa • Théorème intégral de Cauchy • Inégalité de Cauchy-Schwarz • Formule intégrale de Cauchy

Suite de Cauchy