# Product of two Lebesgue measurable set is measurable

Let $A,B \subset \mathbb{R}$ two bounded and Lebesgue measurable sets. I have to show that $A\times B \subset \mathbb{R}^2$ is measurable and \begin{align*} \lambda(A \times B) = \lambda (A) \cdot \lambda (B) \end{align*} where $\lambda$ is the Lebesgue measure.

I tried to show the equality of the measure using the Fubini's Theorem with the indicators function but I'm not sure is the right way and I have no idea how to show that $A \times B$ is measurable.

• math.stackexchange.com/questions/2567276/… – user284331 Apr 20 '18 at 8:22
• @user284331 I have only two measurable and bounded set in $\mathbb{R}$. Is there a way to say that they're also Borel sets? – userr777 Apr 20 '18 at 8:32
• It should not be a problem to approximate the measure of a Lebesgue measurable set by a Borel measurable set. – user284331 Apr 20 '18 at 8:35
• Of course not all Lebesgue measurable sets are Borel measurable, so do not assume them to be Borel one. – user284331 Apr 20 '18 at 8:35
• @user284331 you mean writing e.g. $A = H \setminus N$ where $H$ is a $G_{\delta}$-set (so Borel) and $N$ negligible set? – userr777 Apr 20 '18 at 8:42

$A$ bounded is measurable if and only if for every $\epsilon >0$ there exists $U$ a finite union of intervals such that $m^{\star}(A\Delta U)<\epsilon$. Do this for $B$ too and get $$m^{\star}((A\times B) \Delta (U\times V))< 2M\epsilon$$ Multiplicativity should be easy now, since it works for $U$ and $V$.
• Not sure to have understood the notation; what do you mean with $A \Delta U$ ? – userr777 Apr 21 '18 at 6:34
• @userr777:I also used that $A$, $B$ are each contained in a segment lf length $M$. – Orest Bucicovschi Apr 21 '18 at 7:37
• To the proposer: The first sentence of this Answer is valid $only$ for a bounded set $A\subset \Bbb R.$ But $A\times B=\cup_{n\in \Bbb N}( (A\times B)\cap [-n,n]^2)$ so the main result follows from the result for bounded $A,B$. – DanielWainfleet Apr 21 '18 at 16:54