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.