Space semimetric

In Mathematical, a space semimetric is a particular case of Espace prametric, which has only two of the three properties of a metric Espace, not requiring the checking of the triangular Inégalité.

Definition

A space semimetric \ left (M, \ mathrm D \ right) is the data of a Ensemble M is of a function \ mathrm D: M \ times M \ to \ R^ {+} , called semimetric function (or semimetric ), which checks the following conditions:

  • \ mathrm D \ left (X, there \ right) \ Ge 0 (positivity, inherited);
  • \ mathrm D \ left (X, there \ right) = 0 \ mbox {if and only if} x=y (indiscernibility);
  • \ mathrm D \ left (X, there \ right) = \ mathrm D \ left (there, X \ right) (symmetry)

If the semimétrique one checks the triangular Inégalité, then it is a Métrique, and associated space becomes metric Espace.

Random links:In Ghost Is Born | François-Xavier of Bourbon-Parma | Imbuia | Island of Olkhon | Rene Ribière | Keraunography