I was given a problem, which was to show that two functions are equal almost everywhere, where one function is measurable and the other is not.
My problem is that the set where the equality fails is not measurable, although it is a subset of a set of measure zero (the measure space is not complete). Thus, I feel like I'm trying to prove a contradiction, because by definition, the set where the equality fails should be of measure zero. How do you show this?
I've looked around, and I read somewhere that the set where the equality fails doesn't have to be of measure zero, as long as it's a subset of a set of measure zero, but no proof was given. I'm assuming it was a modified version of the definition I was given. Intuitively, it makes sense ... but is there an actual proof for this?
P.S. In case you want more details, the measurable function was the constant function 0, and the non-measurable function was the characteristic/indicator function (where the value is 1 on the non-measurable set).
(and I was told this way as well )A nonmeasurable set is considered null if it is a subset of a null measurable set. Some references require a null set to be measurable; however, subsets of null sets are still negligible for measure-theoretic purposes.
@Drexel : the OP has a problem with the definition of null-measure, your sequence of propositions is not precise enough. Or so I guess.
Because you precisely can't talk about the measure of a non-measurable set. Even if its measure is globally 0, it's not correct to write the measure of this set.
But for our convenience, I think it's admitted that if a set is included in a set of null measure, then its measure is 0 (thanks to the sub-additivity of the measure, we have the right intuition)
@Drexel: There was no specific measures/measure space, and in fact, the example you gave me is exactly why I'm having trouble, because the in your example is the non-measurable set that's a subset of a measure zero set. In any case, thank you! You basically confirmed my doubts of the validity of the question I was given.
@Moo: So, basically we can sort of abuse measurability by saying that non-measurable sets that are subsets of measure zero sets are also measure zero? (at least according to wiki and whoever told you)
Suppose is a measure space then there exists a -algebra and a measure such that and is complete.
This completness property is exactly what we want to have to be able to hand-wave a.e. differences, however not all measures have it: The Borel -algebra on has elements, while there are subsets of Lebesgue measure zero. So Lebesgue measure restricted to the former is not complete, and it's one of the reasons we wanto to extend this measure.
Basically what you're being asked to prove is one of the reasons why we want our measures to be complete, they behave weirdly otherwise.
Thanks! I was thinking about that also, extending the -algebra to be complete, and thus it would be measure zero.
I found out that our teacher gave us a different definition from what I've been reading, and it works for that (basically f=g a.e. if the complement of a set where it works has measure zero). But what he's been saying is what I've been reading, hehehe. Very sorry to cause all this trouble
Thank you everyone! I love mathhelpforum.com