Fubini's theorem

In mathematics, Fubini's theorem, named in honor of Guido Fubini, states that if

the integral being taken with respect to a product measure on the space over which the pair of variables (x, y) ranges, then

the first two integrals being iterated integrals, and the third being an integral with respect to a product measure.

A standard example showing that the assumption of finiteness cannot be dispensed with is

Obviously the sign gets reversed if the order of iterated integration gets reversed, i.e., if "dy dx" replaces "dx dy". But the value of the integral is not zero, and so the values of the two iterated integrals differ from each other. Therefore, by the contrapositive of Fubini's theorem, we must have

For details of the evaluation of this integral, see an elegant rearrangement of a conditionally convergent iterated integral.