Metric space Definition and 198 Threads

In mathematics, a metric space is a set together with a metric on the set. The metric is a function that defines a concept of distance between any two members of the set, which are usually called points. The metric satisfies a few simple properties. Informally:

the distance from



A


{\displaystyle A}
to



B


{\displaystyle B}
is zero if and only if



A


{\displaystyle A}
and



B


{\displaystyle B}
are the same point,
the distance between two distinct points is positive,
the distance from



A


{\displaystyle A}
to



B


{\displaystyle B}
is the same as the distance from



B


{\displaystyle B}
to



A


{\displaystyle A}
, and
the distance from



A


{\displaystyle A}
to



B


{\displaystyle B}
is less than or equal to the distance from



A


{\displaystyle A}
to



B


{\displaystyle B}
via any third point



C


{\displaystyle C}
.A metric on a space induces topological properties like open and closed sets, which lead to the study of more abstract topological spaces.
The most familiar metric space is 3-dimensional Euclidean space. In fact, a "metric" is the generalization of the Euclidean metric arising from the four long-known properties of the Euclidean distance. The Euclidean metric defines the distance between two points as the length of the straight line segment connecting them. Other metric spaces occur for example in elliptic geometry and hyperbolic geometry, where distance on a sphere measured by angle is a metric, and the hyperboloid model of hyperbolic geometry is used by special relativity as a metric space of velocities. Some of non-geometric metric spaces include spaces of finite strings (finite sequences of symbols from a predefined alphabet) equipped with e.g. a Hamming's or Levenshtein distance, a space of subsets of any metric space equipped with Hausdorff distance, a space of real functions integrable on a unit interval with an integral metric



d
(
f
,
g
)
=

∫

x
=
0


x
=
1



|

f
(
x
)
−
g
(
x
)

|


d
x


{\displaystyle d(f,g)=\int _{x=0}^{x=1}\left\vert f(x)-g(x)\right\vert \,dx}
or probabilistic spaces on any chosen metric space equipped with Wasserstein metric.

View More On Wikipedia.org