Definition: Metrik

Sei eine Menge.

Eine Metrik ist eine Abbildung , die folgende Axiome erfüllt:

  • (M1: positive Definitheit)
  • (M2: Symmetrie)
  • (M3: Dreiecksungleichung)

Anmerkung

Tipp

Aus den Axiomen M1 bis M3 folgt außerdem, dass

Denn