实变函数论5-积分论6-勒贝格积分的几何意义4：定理2

定理2

设 $A,B$ 分别是${\mathbf{R}}^p,{\mathbf{R}}^q$ 中的可测集，则$A\times B$ 是 ${\mathbf{R}}^{p+q}$ 中的可测集且$m(A\times B)$$=mA\cdot mB.$

证明
先证 $A\times B$ 是 ${\mathbf{R}}^{p+q}$ 中可测集，不妨设$A,B$ 有界，$A\subset I,B\subset {\Gamma }^{\ast }(I,{\Gamma }^{\prime }$为有限区间).

由于 $A,B$ 可测，对任何 $\epsilon >0,$ 总存在${\mathbf{R}}^p$ 中的开集 $G$ 及 闭集 $F$ 和${\mathbf{R}}^q$ 中的开集 $G^{\ast }$ 及闭集 $F^{\ast }$ 使

$$F\subset A\subset G\subset I,F^{\ast }$$