Suppose $\Omega\subset \mathbb R^2$ is a bounded domain with smooth boundary and suppose that $$ F: \Omega \to \Omega,$$ is a diffeomorphism that fixes $\partial \Omega$ and such that the pull back of the Euclidean metric under $F$, namely $F^\star e$ is again equal to the Euclidean metric $e$. Can we conclude that $F$ is the identity map?
On diffeomorphisms that preserve the metric
Ali
- 4.1k
- 2
- 13
- 22