2
$\begingroup$

Show that the Lebesgue measurable sets $A,B$ satisfy $|A \times B| = |A||B|$. The approach I was going to use, was to use Tonelli's theorem which says $$ \int \limits_{A \times B}f = \int \limits_{A} \left[ \int \limits_{B}f(x,y) dy \right] dx $$ Then use a theorem that says $$ \int \limits_{A}f = \sum \limits_{i=1}^m a_j |A_{j}| $$ This will get me $$ \sum \limits_{i=1}^m a_j |A_{j} \times B_{j}| = \sum \limits_{j=1}^m \left( \sum \limits_{i=1}^n b_i |B_{i}| \right) _j |A_{j}| $$ but I am not sure how I could manipulate this to remove the summation. The only method I could think of would be to say $f$ is a constant for a certain interval such that $$ \int \limits_{A}f = a |A| $$ then, when $a=b$ $$ a |A\times B| = b |B||A| \Rightarrow |A\times B| = |B||A| $$ Is that a stretch?

Edit: $$ A \times B = \lbrace (x,y)\in A \times B : x\in A , y\in B \rbrace $$

  • 3
    How are you defining $|A \times B|$?2012-10-31
  • 5
    I never understand how it can seem appealing to write "thm" and "const" instead of "theorem" and "constant" when it saves you three or four keystrokes each while forcing several dozen prospective readers to break their reading flow and think about the intended meaning of the abbreviation -- especially when the people at whose expense you're skimping on keystrokes are the ones you're asking for help.2012-10-31
  • 1
    Is that better:)?2012-10-31
  • 0
    Yes, thanks :-)2012-10-31
  • 0
    Maybe you know that $|A\times B|=|A|\cdot |B|$ if $A$ and $B$ are _Borel_ measurable. Do you see why this will be true for _Lebesgue measurable sets?2012-10-31
  • 0
    Not really. We haven't learned what Borel measurable means either.2012-10-31

0 Answers 0