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é).