Prove something is Lebesgue measurable

  • Thread starter Thread starter SNOOTCHIEBOOCHEE
  • Start date Start date
  • Tags Tags
    Measurable
SNOOTCHIEBOOCHEE
Messages
141
Reaction score
0
Let A be a subset of [0, 1].
And B is [0, 1] - A.
Assume m_e(A) + m_e(B) = 1.
Prove that A is Lebesgue measurable.


m_e denotes the standard outer measure.

Homework Equations



A subset E of R^n is said to be lebesgue measurable, or simply measurable, if given epsilon, there exists an open set G such that E is in G and |G - E|_e < epsilon.

The Attempt at a Solution



I'm trying to use Caratheodory's Theorem, but with no avail. I am now completley lost on this problem...

Please Reply Over!... Mike
 
Last edited:
Physics news on Phys.org
I'd try to use the fact that G - A has to be a subset of B.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top