Théorèmes de point fixe

Un article de Wikipédia, l'encyclopédie libre.

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 la résolution des équations différentielles. Le théorème du point fixe de Banach donne un critère général dans les espaces métriques complets pour assurer que le procédé d'itération d'une fonction tende vers un point fixe. Très différent, le théorème du point fixe de Brouwer n'est pas constructif : il garantit l'existence d'un point fixe d'une fonction continue définie de la boule unité fermée euclidienne sur elle-même sans apporter de méthode générale pour le trouver.

Par exemple, la fonction cosinus définie de l'intervalle [-1;1] (boule fermée de l'espace euclidien à une dimension) sur lui-même, est continue : elle doit donc y posséder un point fixe (qui vaut approximativement 0,7390910582853).

Le théorème du point fixe de Lefschetz est très important en topologie algébrique car il permet, d'une certaine manière, de trouver un moyen de compter les points fixes.

Le théorème de Knaster-Tarski est un théorème de point fixe pour une application monotone d'un treillis complet dans lui-même ; il fait figure d'exception car contrairement aux autres il ne s'occupe pas de fonctions continues, en revanche, il est très intéressant dans les manipulations de structures d'ordre.

[modifier] Liste des théorèmes de points fixes

Les théorèmes de points fixes sont nombreux, en voici quelques-uns.

Autres langues