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é).
Si (E,∥⋅∥) est un espace vectoriel normé, l'application d:E×E→R+ d : E × E → R + définie par d(x,y)=∥x−y∥ d ( x , y ) = ‖ x − y ‖ est appelée distance associée à la norme ∥⋅∥ sur E .