Fubini's theorem equates an integral on a product measure space with repeated integrals when
the integrand is Lebesgue
integrable. Let
and
be measure spaces with sigma-finite
measures, and let
be a measurable function for the product sigma-algebra
. If
, then
where
is the product measure. The sections are Lebesgue
integrable almost everywhere in the outer
parameter. The inner integrals, set to zero on the exceptional
measurable sets of measure
zero, are measurable and Lebesgue
integrable as functions of the outer parameter (Hunter 2011, p. 61).
Tonelli's theorem gives the corresponding equality for nonnegative measurable
functions without requiring the integrals to be
finite. Applying it to
can establish the absolute integrability required by Fubini's theorem (Shapiro 2025,
pp. 57-58).
In particular, if
is continuous on the rectangular region
, then the equality
holds (Thomas and Finney 1996, p. 919).