Soit une fonction continue telle que :
Pour fixé, étudier la suite numérique .
Utiliser la compacité pour extraire des sous-suites si nécessaire, ou plus simplement la continuité et l'unicité du point fixe.
Suite récurrente
Utilisation de la valeur absolue comme fonction de Lyapounov
Argument de compacité/continuité pour la limite
Résolution.
Soit . Posons . Si , alors tous les termes suivants sont nuls car impose .
Supposons que pour tout , . Alors . La suite est strictement décroissante et minorée par 0.
Elle converge donc vers une limite . Puisque est une suite du compact , elle admet au moins une valeur d'adhérence . Par continuité de la valeur absolue, on a .
Comme est continue, converge vers (si on se place sur une sous-suite). On doit avoir .
D'après l'hypothèse sur , cela n'est possible que si . La seule valeur d'adhérence possible pour est donc 0.
Puisque la suite est dans un compact et possède une unique valeur d'adhérence, elle converge vers cette valeur.
Pas de Banach direct
Lien entre point fixe et limites de suites