"Are there simple properties that
You are necessary and sufficient?"asking for conditions on a metric space $X$ for which any distance preserving map $X\to X$ is bijective. (Usually isometry is defined as bijective distance preserving map).
Well, there are arbitrarily bad spaces $X$ such that the only distance preserving map $X\to X$ is identity. In this case distance preserving maps (well, the only one) form the trivial group.
So, I do not see a language which could be used to formulate such a necessary and sufficient condition. For sufficient conditions:
- Compactness;
- Proper + cocompact isometric group action. (proper=bounded closed sets are compact)
- Any complete connected space for which the domain invariance theorem holds; in particular complete connected Riemannian manifolds without boundary.
|
3 | added 115 characters in body | ||
|
|
||||
|
|
2 | added 72 characters in body; added 20 characters in body; added 2 characters in body; added 14 characters in body | ||
Well, there are arbitrary arbitrarily bad spaces $X$ such that the only distance preserving map $X\to X$ is identity. In this case distance preserving maps (well, the only one) form the trivial group. So, I do not see a language which could be used to formulate such a necessary and sufficient condition. For sufficient conditions:
|
||||
|
|
1 |
|
||
Well, there are arbitrary bad spaces $X$ such that the only distance preserving map $X\to X$ is identity. In distance preserving maps (well, only one) form the trivial group. So, I do not see a language which could be used to formulate such a necessary and sufficient condition. For sufficient conditions:
|
||||
