Isometry
In the sense of @needham2021visual, an isometry of a surface
In general, given two pseudo-Riemannian manifolds
If
Related: symmetry of a pseudo-Riemannian manifold.
The Euclidean plane
In the special case of Euclidean space, which is a very simple example of a Riemannian manifold, an isometry is often called a "rigid motion". These include translations, rotations, reflections and glide reflections, which preserve distances between points. They constitute the Euclidean group.
Steps to "see" the isometry group of the Euclidean plane
- The geodesics of this Riemannian manifold can be shown to be straight lines.
- Given two points, there is only one straight line joining them.
- The geodesic distance can be explicitly proven to be $$d(p,q)=\sqrt{(q_1-p_1)^2+(q_2-p_2)^2}$$ which is the the Euclidean norm formula.
- Isometries preserve geodesics, so they preserve this distance. We are now in the context of an Euclidean affine space.
- In the context of an affine space, it is well-known that the distance-preserving maps are only translations, rotations, and reflections. Is basic linear algebra.
.
Surfaces in
Having said that, given two surfaces in
A counterexample for that is the exponential horn (