complet

Se dit d'un espace métrique sur lequel toute suite de Cauchy est convergente.

MATHÉMATIQUES

ℝ^p est complet, quel que soit p entier non nul. Un espace métrique compact est aussi un espace complet. Par contre, ℚ n'en est pas un. Un sous-espace d'un espace complet est complet si et seulement si il est fermé pour la métrique considérée.