- #1
Newtime
- 348
- 0
Homework Statement
Let [tex]f >0 [/tex] a.e. be measurable. If [tex] \int_E f = 0[/tex] for some measurable set [tex]E[/tex] then show [tex]m(E)=0[/tex].
Homework Equations
This is about 10 pages into the chapter on Lebesgue integration, so I'm using the definition, a few immediate corollaries and the lemma that if f is nonnegative and measurable and its integral is 0 then f is 0 a.e.
The Attempt at a Solution
While working on this problem I completed several proofs, all of which had fault assumptions. For example, if I can assume f is integrable, then I can use a separate lemma and complete the proof. But of courses, I cannot make this assumption.
If we define a function g to be f restricted to the set on which it is nonnegative, and replace g in the problem statement with g then I can prove the result as well. So I was trying to get to the implication that if the integral of f against E is zero than the integral of g against E is zero as well. But this doesn't seem lie it needs to be true either.
I think this is a simple problem that I'm over thinking (I hope). In any case, I think a small nudge in the right direction will clear things up. Thanks.