On considère la fonction définie sur par . Pour tout , on note la composée de avec elle-même fois, avec la convention .
Pour la question 1, effectuer un changement de variable pour transformer la relation de récurrence en une forme plus simple, par exemple en étudiant la suite .
Pour la question 2, remarquer que si contient un entier , alors pour tout , est un entier.
Pour la condition suffisante, utiliser le résultat de la question 1 pour montrer que l'on peut approcher uniformément n'importe quelle constante par des éléments de sur l'intervalle considéré.
Dynamique d'une suite récurrente (points fixes, stabilité).
Lien entre convergence des coefficients et convergence uniforme.
Densité des dyadiques et théorème de Weierstrass.
Résolution.
Discontinuité de la limite simple aux bornes empêchant la convergence uniforme sur l'intervalle fermé.
La densité de Z[X] dans C([a,b], R) nécessite l'absence d'entiers dans l'intervalle.