The p-norm thus defined on ℓ p is indeed a norm, and ℓ p together with this norm is a Banach space.
Den ovenfor definerede p-norm på ℓp kan vises at være en norm, og ℓp bliver med denne norm et Banachrum.