Metric space aimed at its subspace

In mathematics, a metric space aimed at its subspace is a categorical construction that has a direct geometric meaning. It is also a useful step toward the construction of the metric envelope, or tight span, which are basic (injective) objects of the category of metric spaces.
Following (Holsztyński 1966), a notion of a metric space Y aimed at its subspace X is defined.
Informally, imagine terrain Y, and its part X, such that wherever in Y you place a sharpshooter, and an apple at another place in Y, and then let the sharpshooter fire, the bullet will go through the apple and will always hit a point of X, or at least it will fly arbitrarily close to points of X – then we say that Y is aimed at X.
A priori, it may seem plausible that for a given X the superspaces Y that aim at X can be arbitrarily large or at least huge. We will see that this is not the case. Among the spaces, which aim at a subspace isometric to X there is a unique (up to isometry) universal one, Aim(X), which in a sense of canonical isometric embeddings contains any other space aimed at (an isometric image of) X. And in the special case of an arbitrary compact metric space X every bounded subspace of an arbitrary metric space Y aimed at X is totally bounded (i.e. its metric completion is compact).
Definitions
Let (Y,d) be a metric space. Let X be a subset of Y, so that (X,d  X^{2}) (the set X with the metric from Y restricted to X) is a metric subspace of (Y,d). Then
Definition. Space Y aims at X if and only if, for all points y,z of Y, and for every real , there exists a point p of X such that
Let Met(X) be the space of all real valued metric maps (noncontractive) of X. Define
Then
for every is a metric on Aim(X). Furthermore, , where , is an isometric embedding of X into ; this is essentially a generalisation of the KuratowskiWojdysławski embedding of bounded metric spaces X into C(X), where we here consider arbitrary metric spaces (bounded or unbounded). It is clear that the space is aimed at δ_{X}(X).
Properties
Let be an isometric embedding. Then there exists a natural metric map such that :
for every and .
 Theorem The space Y above is aimed at subspace X if and only if the natural mapping is an isometric embedding.
Thus it follows that every space aimed at X can be isometrically mapped into Aim(X), with some additional (essential) categorical requirements satisfied.
The space Aim(X) is injective (hyperconvex in the sense of AronszajnPanitchpakdi) – given a metric space M, which contains Aim(X) as a metric subspace, there is a canonical (and explicit) metric retraction of M onto Aim(X) (Holsztyński 1966).
References
Categories: Metric geometry

Wikimedia Foundation. 2010.
Look at other dictionaries:
Injective metric space — In metric geometry, an injective metric space, or equivalently a hyperconvex metric space, is a metric space with certain properties generalizing those of the real line and of L∞ distances in higher dimensional vector spaces. These properties can … Wikipedia
Category of metric spaces — The category Met, first considered by Isbell (1964), has metric spaces as objects and metric maps or short maps as morphisms. This is a category because the composition of two metric maps is again metric.The monomorphisms in Met are the injective … Wikipedia
Tight span — If a set of points in the plane, with the Manhattan metric, has a connected orthogonal convex hull, then that hull coincides with the tight span of the points. In metric geometry, the metric envelope or tight span of a metric space M is an… … Wikipedia
List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… … Wikipedia
Hyperspace (science fiction) — Hyperspace is a fictional plot device sometimes used in science fiction. It is typically described as an alternate region of subspace co existing with our own universe which may be entered using an energy field or other device. Travel in… … Wikipedia
Nonlinear dimensionality reduction — High dimensional data, meaning data that requires more than two or three dimensions to represent, can be difficult to interpret. One approach to simplification is to assume that the data of interest lies on an embedded non linear manifold within… … Wikipedia
String theory — This article is about the branch of theoretical physics. For other uses, see String theory (disambiguation). String theory … Wikipedia