Développement : Théorème de prolongement des fonctions uniformément continues

Détails/Enoncé :

Démonstration du théorème de prolongement des fonctions uniformément continues et application dans le cadre des applications linéaires continues sur un espace vectoriel normé.

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

Mathématiques pour l'agrégation : Analyse et Probabilités , Jean-François Dantzer (utilisée dans 31 versions au total)
Analyse réelle et complexe , Rudin (utilisée dans 59 versions au total)