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 38 versions au total)
Analyse réelle et complexe , Rudin (utilisée dans 61 versions au total)