Soit muni de la norme uniforme; pour , on note la translatée de par , ie la fonction , et l’ensemble des translatées de .
1
Montrer que si est périodique, est compact (considérer l’application ).
2
Soit une limite uniforme sur de fonctions périodiques; montrer que est précompact.
3
On suppose cette fois précompact; on va montrer que est uniformément continue.
4
De toute suite de on peut extraire une sous-suite convergente dans .
5
Si tend vers , montrer que n’a qu’une valeur d’adhérence ; en déduire que tend vers .
6
Montrer que est uniformément continue.