Pour tout on note le sous-espace de constitué des fonctions lipschitziennes de constante ie des fonctions vérifiant pour tous et dans . On pose aussi .
1
Montrer que contient les fonctions de classe sur , mais que la fonction n’est pas dans .
2
Montrer que pour tout , est un espace de Banach pour la norme uniforme.
3
Montrer qu’il existe une suite de fonction de qui converge uniformément sur vers . En déduire que n’est pas complet pour la norme uniforme.
4
Montrer que si on pose on définit ainsi une norme sur l’espace , pour laquelle l’espace est complet.