Assertion: isometry | /r/HasProperty | bijective map
Facets:
value: between metric spaces
type: LOCATION
value: necessarily
type: DEGREE
Source sentences:
text: An isometry is a bijective map from a metric space (often to itself):
text: Between metric spaces, isometries are necessarily injections and bijective isometries necessarily have isometries as inverses, so global isometries between metric spaces are also called surjective isometries; this does not work for Riemannian manifolds (where the inverse of an isometry need not be a morphism of manifolds), nor does it work for pseudometric spaces (where an isometry need not be injective).