All riemannian isometries between open subsets of $\mathbb{R}^n$ are affine

142 Views Asked by At

I heard that there is a theorem of Liouville (Something like "Liouville's rigidity theorem") which states the following:

Every Riemannian isometry between open subset of $\mathbb{R}^n$ is affine.

Specifically I mean to $\mathbb{R}^n$ with the standard euclidean metric. (And my open subsets are Riemannian submanifolds of $\mathbb{R}^n$).

I would like to see a proof (or merely get a reference for a proof).

1

There are 1 best solutions below

0
On BEST ANSWER

As Jason Devito commented, there is an additional neede assumption of connectedness.

Here is a version of the theorem: Let $\Omega$ be an open connected subset of $\mathbb{R}^n$, and let $\phi:\Omega \to \mathbb{R}^n$ be a differentiable map, such that $d\phi(x) \in O(n) \, \,\forall x \in \Omega $. Then there exists a matrix $Q \in O(n)$ and a vector $v \in \mathbb{R}^n$ such that: $$ \phi(x)=Qx+v $$

A proof can be found in the book "Mathematical Elasticity, Volume 1L Three-dimensional elasticity" by Phillippe G.Cairlet.

The proof is quite elementary, the main idea is to shows $d\phi$ is locally constant, hence (since the domain is connected) globally constant.