Real Valued Lebesgue Intergal
Hello!
I'm trying to show that if f is a measurable function on some space X, and if

then  = \infty\} = 0 )
In other words, trying to show f is real-valued (not infinity) mu-almost everywhere.
I thought maybe the contrapostive would work, ie,
Presume
.
Call the set
(for "big" valued, hehe)
Then 
If I can just show
, then since
,
as well.
So I am just wondering if the above looks alright, and what's left is how to possibly show that
for
and
?!
Thanks very much!
Re: Real Valued Lebesgue Intergal
There's an issue with the way you've set up the argument. You're not assuming that f is a nonnegative function, so it does not follow that the integral over the whole space is necessarily larger than the integral over a measurable subset. This isn't a big issue, but it does require some comment. Otherwise, it looks like you're on the right track. Just remember that in this context, infinity is an extended real number which has a defined set of algebraic rules and is not a limit.