Espace complet

Un espace complet est complet, et tout sous-espace complet d'un espace métrique (non nécessairement complet) est fermé. Si X est un ensemble et M un espace métrique complet, alors l'ensemble MX des applications de X dans M, muni de la distance uniforme, est co…