🎛️ Observe les termes de la suite se serrer dans un tube de largeur
Réduis et regarde le rang N à partir duquel TOUS les termes restent à l'intérieur du tube. C'est ça, être de Cauchy.
Plus est petit, plus N est grand. Mais N existe toujours.
Rang N suffisant
N = 4
Largeur du tube
2 = 1.0
Limite
ℓ 1.4142
= 0.5 : il suffit de N = 4 pour que TOUS les up avec p N soient dans un tube de largeur 2. Suite Cauchy convergente.
🎯 Le problème : comment prouver qu'une suite converge sans connaître sa limite ?
Tu as une suite (un) définie par u0 = 1 et un+1 = (un + 2/un)/2. Calcule les premiers termes : 1, 1.5, 1.4166…, 1.41421…, 1.41421356… Elle semble converger vers . Mais comment prouver qu'elle converge, alors que tu ne connais pas la limite ?
La définition classique de convergence dit : > 0, N, n N, |un − ℓ| < . Mais cette définition exige de connaître ℓ. Comment faire si on ignore la limite ?
Augustin-Louis Cauchy (1789-1857) a publié la réponse en 1821 dans son célèbre Cours d'Analyse. Son idée : si les termes de la suite finissent par se serrer entre eux (peu importe vers quoi), alors la suite converge.
💡 La définition de Cauchy : se serrer sans cible
Suite de Cauchy
Une suite (un) est de Cauchy si :
> 0, N , p, q N, |up − uq| <
En clair : pour toute marge que tu choisis, il existe un rang N à partir duquel deux termes quelconques (peu importe lesquels) sont distants de moins de .
Notez la différence cruciale avec la convergence classique : ici, on compare les termes entre eux, pas avec une limite. Aucune cible n'apparaît dans la définition.
⚡ Le théorème fondamental de Cauchy (dans )
Dans : suite de Cauchy suite convergente.
Cette équivalence est l'une des propriétés les plus profondes de l'analyse réelle. Elle dit que est complet : toute suite qui « se serre » a effectivement une limite dans . Pas de trous, pas de fuite à l'infini.
Concrètement, pour prouver qu'une suite converge, il suffit de montrer qu'elle est de Cauchy. Tu n'as plus besoin de connaître la limite. C'est la révolution.
🌀 Pourquoi ça marche : l'intuition géométrique
Imagine les termes un alignés sur la droite réelle. La condition de Cauchy dit qu'à partir d'un certain rang, tous les termes sont entassés dans un tube de largeur . En réduisant , le tube rétrécit, et les termes y restent toujours pris dedans.
Le tube se réduit à un point quand 0. Ce point, c'est la limite ℓ. Et cette limite existe parce que ne « fuit » pas — il est complet.
📐 Cauchy au BAC SM : 3 cas où ça aide
1. Suites définies par récurrence avec point fixe
Si un+1 = f(un) et |f'(x)| k < 1 sur un voisinage du point fixe, alors par accroissements finis :
|un+1 − un| k |un − un−1| kn |u1 − u0|
La somme géométrique des écarts converge (série géométrique de raison k < 1), donc la suite est de Cauchy, donc converge. Démonstration sans connaître la limite, classique au bac SM.
2. Critère de Cauchy pour les séries
Une série an converge ssi pour tout > 0, il existe N tel que pour tous p, q N : |ap+1 + ap+2 + … + aq| < . C'est Cauchy appliqué à la suite des sommes partielles. Outil clé pour montrer la convergence d'une série dont on ne connaît pas la somme.
3. Théorèmes de comparaison
Si |up − uq| M min(p,q) avec < 1, la suite est de Cauchy (donc converge). Schéma standard pour les suites adjacentes, dichotomie, méthode de Newton, etc.
⚠️ Le piège : Cauchy ne marche que dans (ou )
La règle Cauchy convergente n'est valable que dans des espaces dits complets. et le sont, ne l'est pas, et certains espaces fonctionnels ne le sont pas non plus.
Au lycée et en classe prépa, tu travailles toujours dans ou : pas de souci, l'équivalence s'applique. Mais retiens que c'est une propriété spécifique aux nombres réels, pas une vérité universelle.
🎓 La grande leçon de Cauchy
Cauchy a fait deux choses révolutionnaires :
- 1. Rigoriser l'analyse. Avant lui, les démonstrations en analyse étaient floues (« quantités infiniment petites », « limites tendant vers… »). Cauchy a introduit les , , N qui donnent un sens précis à tous ces concepts. C'est le langage moderne de l'analyse.
- 2. Donner un outil constructif. Avec Cauchy, tu peux prouver la convergence sans connaître la limite. Cela permet de DÉFINIR de nouveaux objets (comme ) comme limites de suites de Cauchy.
Cantor utilisera plus tard cette idée pour construire à partir de : un réel est, par définition, une classe d'équivalence de suites de Cauchy rationnelles. Cauchy a donc, sans le savoir, posé les bases de la construction rigoureuse des nombres réels.
Vérifie ta compréhension
3 questions courtes pour valider tes acquis. Tu peux réessayer.