Skalarprodukt/K/Zugehöriger Abstand über Norm/Eigenschaften/Fakt

Es sei ein Vektorraum über mit einem Skalarprodukt . Dann besitzt der zugehörige Abstand die folgenden Eigenschaften (dabei sind ).

  1. Es ist .
  2. Es ist genau dann, wenn .
  3. Es ist .
  4. Es ist