Topologischer Raum/Halbmetrik/Definition

Halbmetrik

Es sei eine Menge. Eine Abbildung heißt Halbmetrik, wenn für alle die folgenden Bedingungen erfüllt sind:

  1. Für ist .
  2. (Symmetrie), und
  3. (Dreiecksungleichung).