Os espaços clássicos de sequências (sobre K, indexados por N):
ℓp={x=(xn):∥x∥p=(n∑∣xn∣p)1/p<∞}(1≤p<∞),
ℓ∞={x:∥x∥∞=sup∣xn∣<∞},
e c0={x:xn→0} com ∥⋅∥∞. Que ∥⋅∥p é uma norma decorre da desigualdade de Minkowski, demonstrada no caso discreto exatamente como no Capítulo 12 (ou somando a desigualdade em dimensão finita do segundo ano). Todos são espaços de Banach, e c0 é um subespaço fechado de ℓ∞ (Exercício 8.3).