Example 7.4.10(b): Properties of the Lebesgue Integral

If f is Lebesgue integrable over E and A f(x) B then show that
A m(E) E f(x) dx B m(E)
Context Context
We should add the condition that m(E) is finite before we start ...

Now define the simple functions

s(x) = A XE(x)
S(x) = B XE(x)
Because f is bounded by A and B we have
s(x) f(x) S(x)
But then the result follows easily from the properties of the Lebesgue integral:
A m(E) = s(x) dx E f(x) dx S(x) dx = B m(E)

Interactive Real Analysis, ver. 1.9.5
(c) 1994-2007, Bert G. Wachsmuth
Page last modified: Mar 28, 2007