Definitions
Nearby Words

# Quasimetric space

In mathematics, a quasimetric space is a generalized metric space in which the metric is not necessarily symmetric. Although quasimetrics are common in real life, this notion is rarely used in mathematics, and its name is not entirely standardized.

## Definition

A quasimetric space $\left(M,mathrm\left\{d\right\}\right)$ is a set $M$ together with a function $mathrm\left\{d\right\}:Mtimes Mtomathbb\left\{R\right\}$ (called a quasimetric) which satisfies the following conditions:

1. $,!mathrm\left\{d\right\}\left(x,y\right)ge0$ (non-negativity);
2. $,!mathrm\left\{d\right\}\left(x,y\right)=0mbox\left\{ if and only if \right\}x=y$ (identity of indiscernibles);
3. $,!mathrm\left\{d\right\}\left(x,z\right)lemathrm\left\{d\right\}\left(x,y\right)+mathrm\left\{d\right\}\left(y,z\right)$ (subadditivity/triangle inequality).

If $\left(M,mathrm\left\{d\right\}\right)$ is a quasimetric space, a metric space $\left(M,mathrm\left\{d\right\}\text{'}\right)$ can be formed by taking

$mathrm\left\{d\right\}\text{'}\left(x,y\right)=frac\left\{\left(mathrm\left\{d\right\}\left(x,y\right)+mathrm\left\{d\right\}\left(y,x\right)\right)\right\}\left\{2\right\}$.

## Example

A set of mountain villages with d(x,y) being the average time it takes to walk from village x to village y.

## References

Search another word or see Quasimetric spaceon Dictionary | Thesaurus |Spanish