Théorème du point fixe de Banach

Théorème du point fixe de Banach

Application contractante

En mathématiques, une application contractante est une application k-lipschitzienne avec 0\leq k <1. Les applications contractantes sont la matière de base du théorème de point fixe le plus simple et le plus utilisé.

Sommaire

Théorème du point fixe pour une application contractante

Théorème du point fixe pour une application contractante — Soit E un espace métrique complet (non vide) et f une application contractante de E dans E. Il existe un point fixe unique x * de f dans E, c'est-à-dire tel que f(x * ) = x * . De plus toute suite d'éléments de E vérifiant la récurrence xn + 1 = f(xn) converge vers x * .


Démonstration

Soit (E,d) un espace métrique non vide et soit f:E \rightarrow E une application contractante de rapport k, avec 0\leq k <1.

Existence

Soit x_0\in E et soit (x_n)_{n \in \mathbb N} la suite définie par son premier terme (x0) et la récurrence xn + 1 = f(xn) pour tout n \in \mathbb{N}. Il s'agit d'une suite de Cauchy de E. En effet,

\forall m \in \mathbb N^*,\ d(x_{m+1},x_m)=d(f(x_m),f(x_{m-1}))\le k d(x_m,x_{m-1});

et par récurrence

d(x_{m+1},x_m) \le k^m d(x_1,x_0).

On en déduit par application réitérée de l'inégalité triangulaire :

\begin{array}{ll} \forall n \in \mathbb N,\ \forall p \in \mathbb N^*,\ d(x_{n+p},x_n) & \le d(x_{n+1},x_n)+d(x_{n+2},x_{n+1})+\ldots+d(x_{n+p},x_{n+p-1})\\ & \le (k^n+k^{n+1}+\ldots+k^{n+p-1}) d(x_1,x_0)\\& \le \displaystyle k^n\frac {1-k^p}{1-k} d(x_1,x_0) \quad (*).\end{array}

Ce dernier membre tend vers zéro quand n tend vers l'infini, donc on a bien une suite de Cauchy.

Comme E est complet, cette suite de Cauchy converge vers une limite x * . De plus de xn + 1 = f(xn), on déduit en passant à la limite et en utilisant la continuité de f (car c'est une application lipschitzienne) que f(x * ) = x * , ce qui montre l'existence.

Unicité

Soit x * et x * * deux points fixes de f. On a alors

0\leq d(x^*,x^{**}) = d(f(x^*),f(x^{**}))\leq k d(x^*,x^{**}).

Et puisque 0\leq k <1, on a alors 0\leq (1-k)d(x^*,x^{**}) \leq 0, d'où d(x * ,x * * ) = 0, puis x * = x * * , ce qui montre l'unicité.

Approximations successives

Ce résultat donne un algorithme de calcul du point fixe (c'est la méthode des approximations successives) contrairement à d'autres théorèmes de point fixe qui nous assurent seulement de l'existence de points fixes sans indiquer comment les déterminer. De plus en passant à la limite pour p dans l'inégalité (*) et en utilisant la continuité de la distance d, on obtient (sans connaître exactement x * ) un majorant (souvent "pessimiste") de l'erreur:

d(x^*,x_n) \leq \frac {k^n}{1-k} d(x_1,x_0).

Applications classiques

  • Portail de la géométrie Portail de la géométrie
Ce document provient de « Application contractante ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème du point fixe de Banach de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Théorème du point fixe — Théorèmes de point fixe En analyse, un théorème de point fixe est un résultat qui permet d affirmer qu une fonction f admet sous certaines conditions un point fixe. Ces théorèmes se révèlent être des outils très utiles en mathématiques,… …   Wikipédia en Français

  • Theoreme du point fixe de Schauder — Théorème du point fixe de Schauder Le théorème de Schauder, prouvé en 1930 par le mathématicien polonais Juliusz Schauder est un puissant théorème du point fixe intervenant dans la démonstration de l existence de solutions à une équation… …   Wikipédia en Français

  • Théorème du point fixe de schauder — Le théorème de Schauder, prouvé en 1930 par le mathématicien polonais Juliusz Schauder est un puissant théorème du point fixe intervenant dans la démonstration de l existence de solutions à une équation différentielle. Énoncé Soit E un espace… …   Wikipédia en Français

  • Théorème du point fixe de Brouwer — En 1886 Henri Poincaré démontre un résultat équivalent au théorème du point fixe de Brouwer. L énoncé exact est prouvé pour la dimension trois par Piers Bohl pour la première fois en 1904, puis par Jacques Hadamard dans le cas général en 1910.… …   Wikipédia en Français

  • Théorème du point fixe de Schauder — Le théorème du point fixe de Schauder, prouvé en 1930 par le mathématicien polonais Juliusz Schauder est un puissant théorème du point fixe intervenant dans la démonstration de l existence de solutions à une équation différentielle. Énoncé Soit E …   Wikipédia en Français

  • Theoremes de point fixe — Théorèmes de point fixe En analyse, un théorème de point fixe est un résultat qui permet d affirmer qu une fonction f admet sous certaines conditions un point fixe. Ces théorèmes se révèlent être des outils très utiles en mathématiques,… …   Wikipédia en Français

  • Théorèmes de point fixe — En analyse, un théorème de point fixe est un résultat qui permet d affirmer qu une fonction f admet sous certaines conditions un point fixe. Ces théorèmes se révèlent être des outils très utiles en mathématiques, principalement dans le domaine de …   Wikipédia en Français

  • Banach — Stefan Banach Buste de Stefan Banach à Cracovie Stefan Banach (1892 1945) est un mathématicien polonais. Il a donné son nom aux espaces de Banach. Sommaire …   Wikipédia en Français

  • Theoreme de Cauchy-Lipschitz — Théorème de Cauchy Lipschitz Pour les articles homonymes, voir Cauchy. Cauchy développe une première version du théorème de l article. Le …   Wikipédia en Français

  • Théorème de Picard-Lindelöf — Théorème de Cauchy Lipschitz Pour les articles homonymes, voir Cauchy. Cauchy développe une première version du théorème de l article. Le …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”