K を実数体 R または複素数体 C(あるいは絶対値を備えた任意の位相体)とし、K 上のベクトル空間 V を考える。このとき任意の a ∈ K と任意の u, v ∈ V に対して、
劣加法性:‖ u + v ‖ ≤ ‖ u ‖ + ‖ v ‖ を満たす関数 ‖ • ‖: V → R; x ↦ ‖ x ‖ を V のノルムと呼ぶ。