- Quasimetric space
In
mathematics , a quasimetric space is a generalizedmetric 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. [Quasimetrics are defined in Steen and Seebach (1995). In Rolewicz (1987) they are called "semimetric ". This is unfortunate since this term is already in frequent use for two other generalizations of metrics.]Definition
A quasimetric space is a set together with a function (called a quasimetric) which satisfies the following conditions:
# ("non-negativity");
# ("identity of indiscernibles ");
# ("subadditivity "/"triangle inequality ").If is a quasimetric space, a metric space can be formed by taking:.
Example
A set of mountain villages with "d(x,y)" being the average time it takes to walk from village "x" to village "y".
Notes
References
*
*Citation | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=Counterexamples in Topology | origyear=1978 | publisher=Springer-Verlag | location=Berlin, New York | edition=Dover reprint of 1978 | isbn=978-0-486-68735-3 | id=MathSciNet|id=507446 | year=1995 | oclc=32311847
*
Wikimedia Foundation. 2010.