Convex metric space

An illustration of a convex metric space.

In mathematics, convex metric spaces are, intuitively, metric spaces with the property any "segment" joining two points in that space has other points in it besides the endpoints.

Formally, consider a metric space (X, d) and let x and y be two points in X. A point z in X is said to be between x and y if all three points are distinct, and

d(x, z)+d(z, y)=d(x, y),\,

that is, the triangle inequality becomes an equality. A convex metric space is a metric space (X, d) such that, for any two distinct points x and y in X, there exists a third point z in X lying between x and y.

Metric convexity:

Examples

A circle as a convex metric space.

Metric segments

Let (X, d) be a metric space (which is not necessarily convex). A subset S of X is called a metric segment between two distinct points x and y in X, if there exists a closed interval [a, b] on the real line and an isometry

\gamma:[a, b] \to X,\,

such that \gamma([a, b])=S, \gamma(a)=x and \gamma(b)=y.

It is clear that any point in such a metric segment S except for the "endpoints" x and y is between x and y. As such, if a metric space (X, d) admits metric segments between any two distinct points in the space, then it is a convex metric space.

The converse is not true, in general. The rational numbers form a convex metric space with the usual distance, yet there exists no segment connecting two rational numbers which is made up of rational numbers only. If however, (X, d) is a convex metric space, and, in addition, it is complete, one can prove that for any two points x\ne y in X there exists a metric segment connecting them (which is not necessarily unique).

Convex metric spaces and convex sets

As mentioned in the examples section, closed subsets of Euclidean spaces are convex metric spaces if and only if they are convex sets. It is then natural to think of convex metric spaces as generalizing the notion of convexity beyond Euclidean spaces, with usual linear segments replaced by metric segments.

It is important to note, however, that metric convexity defined this way does not have one of the most important properties of Euclidean convex sets, that being that the intersection of two convex sets is convex. Indeed, as mentioned in the examples section, a circle, with the distance between two points measured along the shortest arc connecting them, is a (complete) convex metric space. Yet, if x and y are two points on a circle diametrally opposite to each other, there exist two metric segments connecting them (the two arcs into which these points split the circle), and those two arcs are metrically convex, but their intersection is the set \{x, y\} which is not metrically convex.

See also

References

This article is issued from Wikipedia - version of the Monday, July 28, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.