PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
Fubini's theorem for the Lebesgue integral (Theorem)

This is the version of the Fubini's Theorem for the Lebesgue integral. For the Riemann integral, see the standard calculus version.

In the following suppose we will by convention define $ \int_X f d\mu := 0$ in case $ f$ is not integrable. This simplifies notation and does not affect the results since it will turn out that such cases happen on a set of measure 0.

Also if we have a function $ f\colon X \times Y \to {\mathbb{F}}$ then define $ f_x(y) := f(x,y)$ and $ f^y(x) := f(x,y)$.

Theorem 1 (Fubini)   Suppose $ (X,{\mathcal{M}},\mu)$ and $ (Y,{\mathcal{N}},\nu)$ are $ \sigma$-finite measure spaces. If $ f \in L^1(X \times Y)$ then $ f_x \in L^1(\nu)$ for $ \mu$-almost every $ x$ and $ f^y \in L^1(\mu)$ for $ \nu$-almost every $ y$. Further the functions $ x \mapsto \int_Y f_x d\nu$ and $ y \mapsto \int_X f^y d\nu$ are in $ L^1(\mu)$ and $ L^1(\nu)$ respectively and
$\displaystyle \int_{X \times Y} f \, d(\mu \times \nu) = \int_X \left[ \int_Y f... ...nu(y) \right] d\mu(x) = \int_Y \left[ \int_X f(x,y) \,d\mu(x) \right] d\nu(y) .$    

You can now see the reason for defining the integral even where $ f_x$ and $ f^y$ are not integrable since the functions $ x \mapsto \int_Y f_x d\nu$ and $ y \mapsto \int_X f^y d\nu$ are normally only almost everywhere defined, and we'd like to define them everywhere. Since we have changed the definition only on a set of measure zero, this does not change the final result and we can interchange the integrals freely without having to worry about where the functions are actually defined.

Note the difference of this theorem and Tonelli's theorem for non-negative functions. Here you actually need to check some integrability before switching the integral order. A simple application of Tonelli's theorem actually shows that you can prove any one of these equations to show that $ f \in L^1(X \times Y)$

$\displaystyle \int_{X \times Y} \lvert f \rvert \, d(\mu \times \nu) < \infty ,$    
$\displaystyle \int_X \left[ \int_Y \lvert f(x,y) \rvert \,d\nu(y) \right] d\mu(x) < \infty,$    or     
$\displaystyle \int_Y \left[ \int_X \lvert f(x,y) \rvert \,d\mu(x) \right] d\nu(y) < \infty .$    

If we take the counting measure on $ {\mathbb{N}}$, then one can state the Fubini theorem for sums.

Theorem 2 (Fubini for sums)   Suppose that $ f_{ij}$ is absolutely summable, that is $ \sum_{i,j \in {\mathbb{N}}} \lvert f_{ij}\rvert < \infty$, then
$\displaystyle \sum_{i,j \in {\mathbb{N}}} f_{ij} = \sum_{i=1}^\infty \sum_{j=1}^\infty f_{ij} = \sum_{j=1}^\infty \sum_{i=1}^\infty f_{ij} .$    

In the above theorem we have used $ {\mathbb{N}}$ as our index set for simplicity and familiarity of notation. Any summable function $ f_{ij}$ will have only a countable number of non-zero elements and thus the theorem for arbitrary index sets just reduces to the above case.

Bibliography

1
Gerald B. Folland. Real Analysis, Modern Techniques and Their Applications. John Wiley & Sons, Inc., New York, New York, 1999



"Fubini's theorem for the Lebesgue integral" is owned by jirka.
(view preamble)

View style:

See Also: Fubini's theorem, Tonelli's theorem

Other names:  Fubini's theorem

Attachments:
proof of Fubini's theorem for the Lebesgue integral (Proof) by neapol1s
counter-example of Fubini's theorem for the Lebesgue integral (Example) by rmilson
Log in to rate this entry.
(view current ratings)

Cross-references: number, countable, summable function, sums, counting measure, equations, application, Tonelli's theorem, measure zero, almost everywhere, even, integral, measure spaces, function, measure, Riemann integral
There are 6 references to this entry.

This is version 6 of Fubini's theorem for the Lebesgue integral, born on 2004-03-17, modified 2006-01-17.
Object id is 5719, canonical name is FubinisTheoremForTheLebesgueIntegral.
Accessed 9886 times total.

Classification:
AMS MSC28A35 (Measure and integration :: Classical measure theory :: Measures and integrals in product spaces)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)