Let M &#x2282;<!-- ⊂ --> <mrow class="MJX-TeXAtom-ORD"> <mi mathvariant="double-struc

malalawak44

malalawak44

Answered question

2022-07-12

Let M R . Is M × M × Q R 3 measurable? (Lebesgue measurable)
I would say no, because by the definition the the Lebesgue measure, intuitively speaking, what it does is:
We "approximate" our function by continuous functions with a compact support. Then we take the Riemann integral of that in each dimension.
So if M is non-measurable it seems to me that then M × M × Q is too (so e.g. let M be the Vitali set).
On the other hand, I think you could apply Tonelli Fubini:
M M Q 1 M × M × Q = M M 0
since the measure of Q is 0. So the above integral is also 0, so we can apply Tonelli, thus Fubini, and thus 1 M × M × Q is integrable and hence measurable.
Is this correct? So my intuitive understanding is wrong, and instead it should be something like "since we can choose the order of the Riemann integrals, we can first do the one that results in zero, and then it doesn't matter that the other 'dimensions' aren't measurable anymore, since we have 0 everywhere"?

Answer & Explanation

Dobermann82

Dobermann82

Beginner2022-07-13Added 15 answers

You're wrong.
This set is Lebesgue measurable for any M.
For example, if M [ 1 , 1 ] is arbitrary, this is witnessed by the fact that M × M × Q is contained in m U m , where U m := n [ 1 , 1 ] × [ 1 , 1 ] × ( q n 1 / ( m n 2 ) , q n + 1 / ( m n 2 ) ), where ( q n ) n is your favourite sequence of all rationals. Each U m is an open set and its measure is bounded by 4 π 2 3 m (because n = 1 1 n 2 = π 2 6 ), so its outer measure is zero. It easily follows that M is, in fact, measurable.
If M is not contained in [−1,1], your set is covered by a countable union of similar sets.
I'm not sure where you get your intuition from, but it's wrong: Lebesgue measure does not have such a straightforward definition in terms of Riemann integrals.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?