Added to Favorites

Related Searches

Definitions

Nearby Words

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.## References

The monomorphisms in Met are the injective metric maps, the epimorphisms are the dense image metric maps (for instance, the inclusion: $mathbb\{Q\}submathbb\{R\}$, which is clearly mono, so Met is not a balanced category), and the isomorphisms are the isometries.

The empty set (considered as a metric space) is the initial object of Met; any singleton metric space is a terminal object. There are thus no zero objects in Met.

The product in Met is given by the supreme metric mixing on the cartesian product. There is no coproduct.

We have a "forgetful" functor Met → Set which assigns to each metric space the underlying set, and to each metric map the underlying function. This functor is faithful, and therefore Met is a concrete category.

The injective objects in Met are called injective metric spaces. They were introduced and studied first by Aronszajn and Panitchpakdi (1956), who named them hyperconvex spaces. Any metric space has a smallest injective metric space into which it can be isometrically embedded, called its metric envelope or tight span. It is related to the notion of the universal (or maximal) metric space aimed at its subspace.

- Aronszajn, N.; Panitchpakdi, P. (1956). "Extensions of uniformly continuous transformations and hyperconvex metric spaces".
*Pacific Journal of Mathematics*6 405–439. - Isbell, J. R. (1964). "Six theorems about injective metric spaces".
*Comment. Math. Helv.*39 65–76.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Saturday September 20, 2008 at 00:21:40 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Saturday September 20, 2008 at 00:21:40 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2015 Dictionary.com, LLC. All rights reserved.