Metric Space
A metric space is a set for which a distance function can be defined.
Not to be confused with a measure space.
Contents
Description
A metric space is a set with a distance (or metric) function as d: M × M -> R.
For any p and q in M, the distance must feature these properties:
d(p,q) ≥ 0, and d(p,q) = 0 only if p = q
Symmetry: d(p,q) = d(q,p)