Are there special terms for (non-)bijective isometries?

412 Views Asked by At

An isometry between two metric spaces $(X_1, d_1)$ and $(X_2,d_2)$ is a map $f: X_1 \to X_2$ such that $d_1( y , z) = d_2(f(y),f(z))$ for all $y,z \in X_1$.

Yet on the other hand, two metric spaces are isometric if and only if there exists a bijective isometry between them. And the isometry group consists of all bijective isometries of the space.

(An isometry, as defined above, only has to be injective, not necessarily surjective.)

Question: Would it make more sense to call bijective isometries (as defined above) "isometries" and to call (possibly non-surjective) isometries something else?

Or would it make more sense to invent a new term for bijective isometries, the same way there is a special term for continuous maps with continuous inverse (homeomorphisms)?

Note: To prevent this question from being (too) opinion-based, answers which give pointers to references discussing these definitions would be preferred. I am not necessarily opposed to answers which give the answerer's personal opinion, but such answers might cause the question to be closed as being "primarily opinion-based".

The lack of separate terms for bijective and non-bijective isometries seems to lead to confusion when studying metric spaces (see e.g. here) which is probably unnecessary. It would be like using the same term for continuous maps and homeomorphisms -- possible to distinguish between the two uses depending on the context, but still confusing.

1

There are 1 best solutions below

1
On BEST ANSWER

My personal preference is to use "isometric embedding" (as used, say, in this article), or a "distance-preserving map" (as in "Metric Spaces, Convexity and Nonpositive Curvature" by A. Papadopoulos), when surjectivity is not assumed and "isometry" in the surjective case.

See also page 75 of Burago, Burago, Ivanov, "A course in metric geometry". They use the terminology "isometry" in the bijective case and "isometry onto its image" without the surjectivity assumption. I find "isometric embedding" more concise. It is not optimal since the terminology an "isometric embedding" is used in Riemannian geometry for maps $f: (M_1,g_1)\to (M_2,g_2)$ such that $f^*g_2=g_1$. My take on the latter is that one should treat metric geometry and Riemannian geometry as separate (but related) areas of mathematics, which are then entitled to use the same name for different notions (akin to the fact that the name "normal" has different meaning in different areas of mathematics). When dealing with Riemannian manifolds which, at the same time are regarded as metric spaces, I would suggest using "distance preserving map" to avoid ambiguity.