De klassieke rijruimten (over K, geïndexeerd door N):
ℓp={x=(xn):∥x∥p=(n∑∣xn∣p)1/p<∞}(1≤p<∞),
ℓ∞={x:∥x∥∞=sup∣xn∣<∞},
en c0={x:xn→0} met ∥⋅∥∞. Dat ∥⋅∥p een norm is, volgt uit de ongelijkheid van Minkowski, in het discrete geval precies zo bewezen als in Hoofdstuk 12 (of door de eindigdimensionale ongelijkheid uit bachelorjaar 2 te sommeren). Alle zijn banachruimten, en c0 is een gesloten deelruimte van ℓ∞ (Oefening 8.3).