On the Lebesgue measure of a cartesian product If $X \subseteq \mathbb{R}^{l}$ and $Y \subseteq \mathbb{R}^{r}$ with $l + r = n$, is it true that $\lambda_{n}(X \times Y) = \lambda_{l}(X) \cdot \lambda_{r}(Y)$ (where $\lambda_{m}$ is the Lebesgue measure in $\mathbb{R}^{m}$)? I know the result holds if $X$ and $Y$ are rectangles, but would like to know if it is true for arbitrary sets.
 A: The answer to your particular question is yes, it is true. Two facts are involved:

*

*The product of two Borel $\sigma$-algebras is a Borel $\sigma$-algebra of the product space, i.e., $$\mathcal{B}[\mathbb{R}^n] \times \mathcal{B}[\mathbb{R}^m] = \mathcal{B}[\mathbb{R}^{n\times m}].$$


*Using the fact that (1) result holds for elementary sets and (2) Lebesgue measure is constructed using elementary sets, one can prove that the hypothesis holds for all Borel measurable (and even Lebesgue measurable) sets.
I will leave this and this link to Prof. Tao's exercise from his measure theory book in case you are wondering about the tedious proof.

There are several nice results regarding the generalisation of the topic you are speaking of to abstract measure spaces. One can arrange this results in a neat way. Interestingly, to prove them, you must use your clever observation about rectangles.

*

*Having a pre-measure $\lambda_0$ (i.e., a measure defined on simpler set, e.g. rectangles), you can always extend this measure to a full-blown outer measure by covering any set by elementary sets (old good Pythagoras).
$$\lambda^*(X) 
 = \inf \left\{\sum_{n=1}^{\infty}\lambda_0(X_n) \left| \begin{array}{l} X \subseteq \bigcup_{n=1}^{\infty}X_n\\ \text{$X_n$ are elementary}  \end{array} \right. \right\}$$


*Having an outer measure, you can always restrict your attention to the "nice" measurable sets (Caratheodory-Hahn-Kolmogorov Extension) and the resulting restriction will be a measure.


*You can repeat the above for the product pre-measures (i.e. your elementary sets are now products of the sets from the original spaces). The resulting product measure (which is a Hahn-Kolmogorov extension of the elementary product measure) will be a unique measure satisfying $$\lambda_{X \times Y}(E \times F) = \lambda_{X}(E) \times \lambda_{Y}(F)$$
and by the Extension Theorem it always exists.
Since you were asking for more resources on this topic: You can read more about the technicalities of the construction and uniqueness of product measures on this blog.
