Soit une fonction continue vérifiant la condition suivante :
Pour la convergence simple, fixer et étudier la suite numérique . Montrer qu'elle est décroissante, minorée, et que sa limite vérifie .
Pour la convergence uniforme, on pourra utiliser le second théorème de Dini : si une suite de fonctions continues décroît vers une fonction continue sur un segment, alors la convergence est uniforme.
Alternativement, pour une preuve directe, montrer que sur tout segment ne contenant pas 0, est "suffisamment" plus petit que par compacité.
Suite récurrente associée à une fonction stable.
Point fixe d'une application continue.
Théorème de Dini pour la convergence uniforme des suites monotones.
Compacité et extremums d'une fonction continue.
Résolution.
Confondre l'hypothèse de contractivité stricte locale avec une contraction globale k-lipschitzienne.
Le théorème de Dini est l'outil privilégié pour passer de la convergence simple à la convergence uniforme en présence de monotonie sur un compact.