# Subsets of Non-Measurable sets

• Mar 14th 2010, 07:59 AM
southprkfan1
Subsets of Non-Measurable sets
We know there exists a non-measurable subset in [0,1). Call it P.

P is a non-measurable set constructed by identifying the interval [0,1)
with the unit circle in R^2. If I can find it online, I'll post a link.

Let A be a measurable subset of P. Show that A has (Lebesgue) measure 0.

I must admit I'm stuck as to how to proceed
• Mar 14th 2010, 10:03 AM
Focus
Quote:

Originally Posted by southprkfan1
We know there exists a non-measurable subset in [0,1). Call it P.

P is a non-measurable set constructed by identifying the interval [0,1)
with the unit circle in R^2. If I can find it online, I'll post a link.

Let A be a measurable subset of P. Show that A has (Lebesgue) measure 0.

I must admit I'm stuck as to how to proceed

The usual proof of the non-measurable set is to prove that it has outer measure 1 and inner measure 0. I like this proof, which contains the result you are looking for.