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.

Références utilisées dans les versions de ce développement :

Oraux X-ENS Analyse 3, Francinou, Gianella, Nicolas (utilisée dans 17 versions au total)