Les espaces de suites classiques (sur K, indexés par N) :
ℓp={x=(xn):∥x∥p=(n∑∣xn∣p)1/p<∞}(1≤p<∞),
ℓ∞={x:∥x∥∞=sup∣xn∣<∞},
et c0={x:xn→0} muni de ∥⋅∥∞. Que ∥⋅∥p soit une norme suit de l’inégalité de Minkowski, prouvée dans le cas discret exactement comme dans le Chapitre 12 (ou en sommant l’inégalité de dimension finie de deuxième année). Tous sont des espaces de Banach, et c0 est un sous-espace fermé de ℓ∞ (Exercice 8.3).