If a measure is absolutely continuous with respect to the Lebesgue measure, invariant under orthogonal transformations and translations then this measure is a multiple of the Lebesgue measure.
A measure invariant under orthogonal transformations
2 Answers
All you need is translation invariance, because Lebesgue measure is Haar Measure.
-
0Could you explain that better? What you mean by Haar Measure? – 2012-03-07
-
0Every Lie group admits a unique (up to scaling) left-invariant measure. This measure is called a Haar measure. (c.f. http://en.wikipedia.org/wiki/Haar_measure) – 2012-03-07
-
0If you have a locally compact topological group, there is a translation-invariant measure on it that is unique up to scale. – 2012-03-07
-
0http://en.wikipedia.org/wiki/Haar_measure see this. – 2012-03-07
Let $m$ be the measure given by your measure to the unit cube Then translation invariance allows us to compute the measure of all dyadic cubes —those whose faces are parallel to the coordinate planes and vertices with rational coordinates of the form $n2^m$ with $n$, $m\in\mathbb Z$.
In particular, the area of all these cubes is $m$ times their Lebesgue measure.
Since the completion of the $\sigma$-algebra generated by the dyadic cubes is the Lebesgue $\sigma$-algebra, and your measure agrees (up to a scalar) with the Lebesgue measure on this generating set, we obtain the equality you want by the uniqueness of the procedure of extension of measures —see Halmos's or any other good measure theory book.