# Measure of Image of Linear Map

I am trying to work my way through the proof of the change of variables theorem for Lebesgue integrals. A key lemma in this context is as follows:

If $T:\mathbb{R}^n \rightarrow \mathbb{R}^n$ is a linear map and $A \subset \mathbb{R}^n$ is Lebesgue measurable then $\lambda(T(A)) = |\det T \ | \cdot \lambda (A)$, where $\lambda(X)$ denotes the Lebesgue measure of $X$.

Can anyone provide a reference for a proof of this lemma that clearly references the facts from linear algebra that are necessary to effect the proof? The source I have for this lemma refers to German texts that I am incapable of reading and I have been unsuccessful at finding an alternate proof.

Added For the Benefit of Future Readers: In addition to the excellent references I received in response to this question, I have managed to find an additional reference that also provides a good proof of this fact: Aliprantis and Burkinshaw's Principles of Real Analysis, Third Edition, Lemma 40.4 pp 389-390.

-
Since the map is linear, it suffices to consider the effect of the map when $A$ is the unit cube. –  John M Jul 18 '11 at 13:46
@Theo This is actually Theorem 9.5.25 from Amann and Escher's Analysis III text and the reference the proof makes is to section 2.6 in M. Koecher, Lineare Algebra und analytische Geometrie. –  ItsNotObvious Jul 18 '11 at 13:57
If I see correctly, the results proved there are known in English under the name of Smith normal form. A quick Google search revealed this. Of course, all of this is subsumed in Jyrki's hint 2). –  t.b. Jul 18 '11 at 14:36
@Theo Thanks for looking this up –  ItsNotObvious Jul 18 '11 at 15:34
Jones' "Lebesgue Integration on Euclidean Spaces" contains a thorough proof of this fact (and the necessary linear algebra). –  Mark Jul 18 '11 at 15:38

Hint 1) Enough to show this in the case that $A$ is an $n$-dimensional parallelopiped (as John M pointed out).

Hint 2) Recall from linear algebra that any linear mapping can be written as a composition of elementary linear mappings of three types: (usually expressed in the language of matrices, so I will do the same here) A) swap two rows, B) multiply a row by a scalar, C) add a scalar multiple of one row to another.

Hint 3) Swapping two coordinates is geometrically a reflection with respect to a hyperplane, so type A is easy. Type B amounts to stretching one of the coordinates. Type C is geometrically a shearing, i.e. the type of mapping that turns a rectangle into a parallelogram with same base and height.

-
This "recalling" from linear algebra is the main source of my difficulty here; With respect to Hint (2), I know that any non-singular transformation can be represented by a product of elementary matrices; is this also true for singular transformations or do we need to break this out as a special case (in which case the parallelopiped would be degenerate)? –  ItsNotObvious Jul 18 '11 at 14:58
@3Sphere: Ok. Non-singular mappings use the identity matrix as sort of a base case in the sense that a sequence of elementary transformations turns any non-singular matrix into the identity matrix. You are correct in that with singular matrices this doesn't work. However, you can bring a singular matrix into its reduced row echelon form with a sequence of (invertible) elementary transformation. And that row echelon form will then have one or more rows all zeros, so checking what happens to the measure of a box is not difficult in that case either. –  Jyrki Lahtonen Jul 18 '11 at 15:05