Développement : Espace des fonctions lipschitziennes de [0,1] dans R

Détails/Enoncé :

On montre que l'espace $Lip([0,1],\mathbb{R})$ est un espace vectoriel normé, non complet pour la norme infinie, mais complet pour une autre norme.