Un espace de Banach est un espace vectoriel normé complet pour la distance issue de sa norme. Comme la topologie déduite de sa distance est compatible avec sa structure d’espace vectoriel, c’est un ...