## More Properties of Integrals

Today we will show more properties of integrals of simple functions. But the neat thing is that they will follow from the last two properties we showed yesterday. And so their proofs really have nothing to do with simple functions. We will be able to point back to this post once we establish the same basic linearity and order properties for the integrals of wider and wider classes of functions.

First up: if and are integrable simple functions with a.e. then

Indeed, the function is nonnegative a.e., and so we conclude that

Next, if and are integrable simple functions then

Here we use the triangle inequality and invoke the previous result.

Now, if is an integrable simple function then

The absolute value is greater than both and , and so we find

which implies the inequality we asserted.

As a heuristic, this last result is sort of like the triangle inequality to the extent that the integral is like a sum; adding inside the absolute value gives a smaller result than adding outside the absolute value. However, we have to be careful here; the integral we’re working with is *not* the limit of a sum like the Riemann integral was. In fact, we have no reason yet to believe that this integral and the Riemann integral have all that much to do with each other. But that shouldn’t stop us from using this analogy to remember the result.

Finally, if is an integrable simple function, is a measurable set, and and are real numbers so that for almost all , then

Indeed, the assumed inequality is equivalent to the assertion that a.e., and so — as long as — we conclude that

which is equivalent to the above. On the other hand, if , then must be zero on all but a portion of of finite measure or else it wouldn’t be integrable. Thus, in order for the assumed inequalities to hold, we must have and . The asserted inequalities are then all but tautological.

[…] for every there is a so that for all measurable with . Indeed, if is an upper bound for , then we can show […]

Pingback by Indefinite Integrals « The Unapologetic Mathematician | May 27, 2010 |

[…] can easily verify that and that , using our properties of integrals. The catch is that doesn’t imply that is identically zero, but only that almost […]

Pingback by The L¹ Norm « The Unapologetic Mathematician | May 28, 2010 |

many of the properties of integrals statisfy those of a measure. could we not view the integral as a special kind of measure ?

Comment by ip | May 30, 2010 |

We could, ip. Look at the next entry, on indefinite integrals to see where that line of thinking goes next.

Comment by John Armstrong | May 30, 2010 |

[…] of all, from what we know about convergence in measure and algebraic and order properties of integrals of simple functions, we can see that if and are integrable functions and […]

Pingback by Properties of Integrable Functions « The Unapologetic Mathematician | June 3, 2010 |