Fubini-Tonelli theorem and absolutely Lebesuge integrable functions

638 Views Asked by At

As far as I know, a measurable function is Lebesgue integrable if and only it is absolutely integrable. It is simply because the definition of the integrability requires each of the positive part and the negative part has a finite integral. However, some theorems explicitly state that a function need to be "absolutetly integrable". For example, Fubini-Tonelli theorem says that if one of the iterative integrals or the double integral is absolutely integrable they have the same value. What's the point / importance of the absolute value here? Can I just replace the condition of absolute integrability with just integrability?

1

There are 1 best solutions below

2
On BEST ANSWER

The point in this case is that for $$ \int \int f(x,y) \, dx \, dy $$ to be a well-defined integral, we only need (in addition to measurability requirements) that for (almost) all $y$ $$ \int |f(x,y)| \, dx < \infty $$ and then that $$ \int \bigg| \int f(x,y) \, dx\bigg| \, dy< \infty. $$

Note that this is in general a very different condition than $$ \int \int |f(x,y)| \, dx \, dy<\infty. $$