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.
Un espace métrique est complet si et seulement si toute suite décroissante de fermés non vides dont la suite des diamètres tend vers 0 a une intersection non vide (voir Théorème des fermés emboîtés).