Pour tout espace mesuré (X, Σ, μ) et pour 1 ≤ p ≤ ∞, l'espace Lp(μ) des fonctions mesurables de X dans K (prises à égalité près presque partout) et p-intégrables (ou bornées si p = ∞), muni de la norme p associée, est un espace vectoriel normé.
Lorsque μ est la mesure de comptage, on le note plutôt ℓp(X).
Une application ∥⋅∥:E→R+ ‖ ⋅ ‖ : E → R + est appelée une norme si elle vérifie les trois propriétés suivantes : Pour tout x∈E x ∈ E , ∥x∥=0⟺x=0 ‖ x ‖ = 0 ⟺ x = 0 .
Pour tout x∈E x ∈ E et tout λ∈K λ ∈ K , ∥λx∥=λ⋅∥x∥ ‖ λ x ‖ = λ ⋅ ‖ x ‖ (homogénéité).
Pour démontrer qu'une application linéaire u:E→F u : E → F est continue, on cherche une constante C>0 telle que, pour tout x∈E x ∈ E , on ait ∥u(x)∥≤C∥x∥ ‖ u ( x ) ‖ ≤ C ‖ x ‖ (voir cet exercice).