テンプレート:タグベクトルの長さを一般化したもの。スカラーK で定義されるベクトル空間V において、各ベクトル x ∈ V に対して正または零の実数の値を対応させる、次の3つの条件を備えた函数‖x‖ のこと。(1) ‖x‖ = 0 となるのは x = 0 のときに限る。(2) 任意の a ∈ K と x ∈ V に対して ‖ax‖ = |a|‖x‖ を満たす。ただし |･| はスカラーの絶対値。(3) 任意の2つのベクトル x ∈ V と y ∈ V に対して ‖x + y‖ ≤ ‖x‖ + ‖y‖ を満たす。