Concept

Category of metric spaces

Résumé
In , Met is a that has metric spaces as its and metric maps (continuous functions between metric spaces that do not increase any pairwise distance) as its morphisms. This is a category because the composition of two metric maps is again a metric map. It was first considered by . Arrows The monomorphisms in Met are the injective metric maps. The epimorphisms are the metric maps for which the domain of the map has a dense in the range. The isomorphisms are the isometries, i.e. metric maps which are injective, surjective, and distance-preserving. As an example, the inclusion of the rational numbers into the real numbers is a monomorphism and an epimorphism, but it is clearly not an isomorphism; this example shows that Met is not a . Objects The empty metric space is the initial object of Met; any singleton metric space is a terminal object. Because the initial object and the terminal objects differ, there are no zero objects in Met. The injective objects in Met a
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement