Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Liste de théorèmes du point fixe
Résumé
En analyse, un théorème du point fixe donne des conditions suffisantes d’existence d’un point fixe pour une fonction ou une famille de fonctions. Plus précisément, étant donné un ensemble E et une famille de fonctions f définies sur E et à valeurs dans E, ces théorèmes permettent de justifier qu’il existe un élément x de E tel que pour toutes les fonctions considérées on ait . Certains de ces théorèmes fournissent même un processus itératif permettant d’approcher un tel point fixe.
Les conditions peuvent porter sur la structure de l’ensemble de définition ou sur les propriétés locales ou globales de la fonction.
Par exemple, la fonction cosinus définie de l'intervalle [–1, 1] (boule unité 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 x = 0,74 et correspond à la solution de l'équation x = cos(x)).
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, à moins d’utiliser le lemme de Sperner.
Théorème du point fixe de Banach, également attribué au mathématicien français Émile Picard
Théorème du point fixe de Browder
Théorème du point fixe de Caristi
Théorème de Poincaré-Birkhoff
Théorème du point fixe de Ryll-Nardzewski
Théorème du point fixe de Bourbaki-Kneser
Théorème du point fixe de Kleene
Théorème de Knaster-Tarski
Théorème du point fixe de Brouwer, qui généralise en dimension quelconque la propriété d’existence d’un point fixe pour une fonction continue d’un segment dans lui-même, propriété découlant
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.