Pour démontrer qu'un espace vectoriel normé E est un espace de Banach, la méthode usuelle est la suivante : on considère une suite (xn) de Cauchy de E . on fabrique une limite possible de la suite (xn) , que l'on notera x .
Bien souvent, pour ce point, on utilise qu'un autre espace est complet.
Un espace vectoriel normé qui est complet s'appelle espace de Banach.
Par exemple, (R,⋅) , (C,⋅) sont complets.
Par définition de ·∞, un ensemble X est borné s'il est inclus dans un pavé [−a,a]N, qui est compact.
Si de plus X est fermé, c'est un fermé dans un compact, donc il est compact.