# Lebesgue measure is invariant under isometry

Is it true that Lebesgue measure is invariant under isometric map? I mean standard measure of $R^n$.

It is certainly true for interval in $R$ (obvious). I've attempted to prove it in general by induction, and it seems that I succeed in the idea, but don't know how to prove it rigorously. (The idea is to prove that the measure only depends on the mutual distances, which are by definition are equal) Can you, please, give some hints or maybe even solution to this problem, if it's true.

Thank you very much.

-
Hint: an isometry defined on a subset of $\mathbb R^n$ into $\mathbb R^n$ extends to an isometry of the whole space onto itself. Then it has the form of an orthogonal map followed by a translation. – GEdgar Nov 22 '12 at 21:42
If I remember right, there is a theorem one usually proves beforehand, saying that the Lebesgue measure $\lambda$ is the only translation invariant measure on $\Bbb R^n$ satisfying some extra hypothesis (IIRC that the measure of the cube $[0,1]^n$ equals one.) You then take a linear isomorphism $A$ and consider the measure $\mu=A^*\lambda$ defined on measurable sets $X$ via $\mu(X)=\lambda(A^{-1}(X))$, show that it is translation invariant and finite on the cube, so that it is proportional to Lebesgue measure. The constant of proportionality is the absolute value of the determinant of $A$. – Olivier Bégassat Nov 22 '12 at 21:58
Thank you guys very much. I just want to supply your beautiful answers with some links. proof that translation invariant measure is Lebesgue measure up to a constant factor – Sergey Finsky Nov 23 '12 at 5:52