Es sei V {\displaystyle {}V} ein Vektorraum über K {\displaystyle {}{\mathbb {K} }} mit einem Skalarprodukt ⟨ − , − ⟩ {\displaystyle {}\left\langle -,-\right\rangle } . Dann besitzt der zugehörige Abstand die folgenden Eigenschaften (dabei sind u , v , w ∈ V {\displaystyle {}u,v,w\in V} ).