Catalogue Licence
L2 • Topologie
Approfondissement L2
Accès Libre

Espaces de Banach et théorème du point fixe de Banach-Picard

Suites de Cauchy, complétude, applications contractantes, convergence géométrique et méthode des approximations successives

Fils Rouges :Fil 5 — Complétude : fabriquer l'existence
Point d'entrée intuitif

Comment démontrer qu'une équation possède une solution alors qu'aucune formule ne permet de l'écrire — et comment, en prime, obtenir un algorithme qui la calcule avec un contrôle d'erreur ?

Idée en une phrase :
Si chaque application d'une transformation divise les écarts par un facteur fixe inférieur à un, les itérations se resserrent inexorablement vers un point unique.
Généalogie historique du concept :

Picard invente la méthode des approximations successives vers 1890 pour résoudre les équations différentielles : il itère une intégrale et montre que la suite converge. Banach dégage en 1922, dans sa thèse, le principe abstrait sous-jacent, en le séparant complètement du contexte différentiel. Le déplacement est décisif : ce qui était une astuce de calcul devient un théorème d'existence universel, applicable aux équations intégrales, aux systèmes non linéaires, aux fractales et aux chaînes de Markov.

Pourquoi CETTE définition formelle :

Pourquoi exiger un rapport STRICTEMENT inférieur à , et pas seulement une diminution des écarts ? Parce que la stricte contraction est ce qui garantit une convergence GÉOMÉTRIQUE, donc le caractère de Cauchy. Avec à la limite, les écarts diminuent sans se sommer : la fonction rapproche strictement tous les couples de points et n'a pourtant aucun point fixe. Le strict est ici quantitatif, non cosmétique.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Une carte de France posée sur le sol de la France : il existe exactement un point de la carte situé au-dessus du point qu'il représente.

Ce qu'elle capture :

La contraction est le changement d'échelle : réduire la carte divise toutes les distances par un facteur fixe. Le point fixe est le seul endroit où la représentation coïncide avec la réalité.

⚠️ Où l'analogie ment :

L'image suppose implicitement que la carte reste dans le pays. Si l'application n'envoie pas l'espace dans lui-même, il n'y a aucun point fixe — la stabilité du domaine est une hypothèse à part entière, souvent la plus difficile à vérifier en pratique.

Modèle #2

La méthode des approximations successives est une photocopieuse qui réduit : on part de n'importe quelle image, on recopie indéfiniment, et toutes les images convergent vers la même figure limite.

Ce qu'elle capture :

L'indépendance vis-à-vis du point de départ, et le caractère algorithmique : chaque itération est un calcul explicite, et l'erreur est divisée par à chaque tour.

⚠️ Où l'analogie ment :

L'image ne dit pas que la convergence peut être lente : avec , il faut plus de deux cents itérations pour gagner un seul chiffre décimal. La méthode de Newton, elle, double le nombre de décimales à chaque étape — mais elle n'est pas contractante au sens de Banach.

Modèle #3

La complétude est le sol sous les pieds : sans elle, la suite se resserre autour d'un endroit où il n'y a rien.

Ce qu'elle capture :

Le rôle exact de l'hypothèse : elle ne sert pas à faire converger la suite, mais à garantir que la limite EXISTE dans l'espace considéré.

⚠️ Où l'analogie ment :

L'image suggère que l'espace tout entier doit être complet. En réalité, il suffit que le FERMÉ sur lequel on travaille le soit ; on applique constamment le théorème sur une boule fermée d'un espace de Banach, ce qui est bien plus souple.

Les Pièges Conceptuels Classiques

1
Il suffit que pour avoir un point fixe.

Correction :

Faux sans compacité. La fonction sur vérifie pour et n'a aucun point fixe, puisque partout. Il faut un rapport UNIFORME, ou bien un domaine compact — c'est l'exercice du module précédent.

2
La complétude est une propriété de la suite.

Correction :

La complétude est une propriété de l'ESPACE : c'est lui qui contient ou non les limites. La suite des décimales de est de Cauchy dans comme dans ; elle converge dans le second et pas dans le premier. La suite n'a pas changé, l'espace si.

3
Une application contractante en dimension infinie exige que l'espace tout entier soit complet.

Correction :

Il suffit qu'une PARTIE FERMÉE stable soit considérée : un fermé d'un espace complet est complet. En pratique, on applique presque toujours le théorème sur une boule fermée bien choisie, ce qui permet de n'avoir à vérifier la contraction que localement.

4
La convergence uniforme d'une suite de fonctions continues se déduit de la convergence simple.

Correction :

La convergence uniforme est la convergence pour la norme infinie, bien plus forte : elle correspond à une convergence dans l'espace normé des fonctions bornées. La suite sur converge simplement vers une fonction discontinue, sans converger uniformément. C'est précisément parce que l'espace des fonctions continues est COMPLET pour la norme uniforme que la limite uniforme, elle, reste continue.

Glossaire des Notations Mathématiques

rapport de contraction

doit être STRICTEMENT inférieur à $1$ et UNIFORME : c'est lui qui donne la vitesse de convergence

point fixe

limite de la suite des itérées, indépendante du point de départ

norme uniforme

norme du sup ; la convergence associée est la convergence uniforme