Critère de Cauchy

Critère de Cauchy
Page d'aide sur l'homonymie Pour les articles homonymes, voir Cauchy.

En mathématiques et en topologie, le critère de Cauchy, ainsi nommé en l’honneur du mathématicien français Augustin Louis Cauchy, est une condition se rapportant à la convergence des suites dans un espace métrique.

Une suite vérifiant ce critère est appelée suite de Cauchy.

Lorsque l’espace est complet, le critère de Cauchy est équivalent à la convergence.


Ce critère est parfois confondu avec la « règle de Cauchy » qui est une autre condition relative à la convergence des séries dans un espace de Banach.

Sommaire

Énoncé

Article détaillé : Suite de Cauchy.

Une suite (s_n)\, dans un espace métrique satisfait le critère de Cauchy (\Leftrightarrow est une suite de Cauchy) si et seulement si

\lim_{n\rightarrow \infty}\sup_{p,q>n}d(s_p,s_q)=0.


Le critère de Cauchy est lié aux deux assertions suivantes :

  1. Dans un espace métrique, une suite convergente est nécessairement de Cauchy.
  2. Dans un espace métrique complet, toute suite de Cauchy est convergente.

Espaces particuliers

L’équivalence est vraie dans \R (où la distance est la valeur absolue), dans \Complex (où la distance est le module), dans \R^n et dans \Complex^n où la distance découle de n’importe quelle norme, ou dans un espace de Banach : tous ces espaces sont métriques et complets.

Par contre, dans le \mathbb{Q}-espace vectoriel normé \mathbb{Q}^n muni de la distance associée à la norme euclidienne, seule la première assertion est vraie car cet espace n'est pas complet. Cependant, toute suite de Cauchy convergera tout de même, mais sa limite appartiendra à \R^n, sans être nécessairement dans \mathbb{Q}^n.

Preuve

Première assertion :

Si une suite (s_n)\, converge vers s\,, alors pour tout réel \epsilon > 0, il existe un entier m tel que d(s_n,s) < \epsilon\ pour tout entier n > m. Par inégalité triangulaire de la distance d(s_p,s_q) \leqslant d(s_p,s) + d(s_q,s) < 2 \ \epsilon pour tout p, \ q > m. La suite est donc de Cauchy.


Seconde assertion :

C’est le fondement de la définition d’espace complet.

Voir aussi



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Critère de Cauchy de Wikipédia en français (auteurs)

См. также в других словарях:

  • Cauchy — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.  Cette page d’homonymie répertorie des personnes (réelles ou fictives) partageant un même patronyme. Patronyme Augustin Louis Cauchy (1789 1857),… …   Wikipédia en Français

  • Critère de Nagumo — Dans le cadre des équations différentielles, le critère de Nagumo est un critère plus faible que le théorème de Cauchy Lipschitz donnant, tout comme le théorème de Cauchy Lipschitz, une condition suffisante pour garantir l existence et l unicité… …   Wikipédia en Français

  • Critere de hurwitz — Polynôme de Hurwitz Un polynôme à coefficients réels, de degré n, est appelé polynôme de Hurwitz si les n racines complexes sont toutes à partie réelle négative. On montre aisément que nécessairement, tous les coefficients du polynôme sont de… …   Wikipédia en Français

  • Critere de routh — Polynôme de Hurwitz Un polynôme à coefficients réels, de degré n, est appelé polynôme de Hurwitz si les n racines complexes sont toutes à partie réelle négative. On montre aisément que nécessairement, tous les coefficients du polynôme sont de… …   Wikipédia en Français

  • Critere de routh-hurwitz — Polynôme de Hurwitz Un polynôme à coefficients réels, de degré n, est appelé polynôme de Hurwitz si les n racines complexes sont toutes à partie réelle négative. On montre aisément que nécessairement, tous les coefficients du polynôme sont de… …   Wikipédia en Français

  • Critère de hurwitz — Polynôme de Hurwitz Un polynôme à coefficients réels, de degré n, est appelé polynôme de Hurwitz si les n racines complexes sont toutes à partie réelle négative. On montre aisément que nécessairement, tous les coefficients du polynôme sont de… …   Wikipédia en Français

  • Critère de routh — Polynôme de Hurwitz Un polynôme à coefficients réels, de degré n, est appelé polynôme de Hurwitz si les n racines complexes sont toutes à partie réelle négative. On montre aisément que nécessairement, tous les coefficients du polynôme sont de… …   Wikipédia en Français

  • Critère de routh-hurwitz — Polynôme de Hurwitz Un polynôme à coefficients réels, de degré n, est appelé polynôme de Hurwitz si les n racines complexes sont toutes à partie réelle négative. On montre aisément que nécessairement, tous les coefficients du polynôme sont de… …   Wikipédia en Français

  • Critère de Sylvester — Matrice définie positive En algèbre linéaire, la notion de matrice définie positive est analogue à celle de nombre réel strictement positif. On introduit tout d abord les notations suivantes ; si a est une matrice à éléments réels ou… …   Wikipédia en Français

  • critère de Nyquist-Cauchy — Nyquist o kriterijus statusas T sritis automatika atitikmenys: angl. Nyquist s criterion vok. Nyquistkriterium, n rus. критерий Найквиста, m pranc. critère de Nyquist Cauchy, m ryšiai: sinonimas – Naikvisto kriterijus …   Automatikos terminų žodynas


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»