- #1
dimitri151
- 117
- 3
In analysis we were shown the existence of non-Lebesgue measurable sets (eg a choice function over the rational equivalence partition of an interval). From the proof it seems that this means you can't assign number to the Lebesgue measure of this set i.e. if you say its measure is zero it's not enough and if you say it's some finite number then it is too much. However the way we learned Lebesgue measure was that Lebesgue measure was Lebesgue outer measure restricted to a certain family if sets. But Lebesgue outer measure is defined for all sets in P(R). So my question is what is the Lebesgue outer measure (what number) of a non-Lebesgue measurable set like the one above?