Lebesgue Measure of Scalar Multiple

Theorem
Let $\lambda^n$ be the $n$-dimensional Lebesgue measure on $\R^n$ equipped with the Borel $\sigma$-algebra $\map \BB {\R^n}$.

Let $B \in \BB$.

Let $t \in \R_{>0}$.

Then:
 * $\map {\lambda^n} {t \cdot B} = t^n \map {\lambda^n} B$

where $t \cdot B$ is the set $\set {t \mathbf b: \mathbf b \in B}$.

Proof
It follows from Rescaling is Linear Transformation that the mapping $\mathbf x \mapsto t \mathbf x$ is a linear transformation.

Denote $t \, \mathbf I_n$ for the matrix associated to this linear transformation by Linear Transformation as Matrix Product.

From Determinant of Rescaling Matrix:


 * $\map \det {t \, \mathbf I_n} = t^n$

From Inverse of Rescaling Matrix, $t \, \mathbf I_n$ is the inverse of $t^{-1} \mathbf I_n$.

Thus, it follows that:

Now recall $\map \det {\paren {t^{-1} \, \mathbf I_n}^{-1} } = \map \det {t \, \mathbf I_n} = t^n$.

Since $t > 0$, $\size {t^n} = t^n$, and the result follows.