Hypotheses in Fubini’s theorem cannot be dispensed with

In this post we proved Fubini’s theorem in the sense of Lebesgue measure, which makes it easier to evaluate multi variable integral. But these two classic counterexamples in this post prevent you from using Fubini’s theorem without enough consideration.


So we said $f(x,y)$ has to be integrable. What if $f$ is not? First let’s see this function.

This function is not Lebesgue integrable on $[0,1] \times [0,1]$, since we have

where $D=\{(x,y):\varepsilon^2 \leq x^2+y^2 \leq 1, x \geq 0, y \geq 0\}$. Since $D \subset [0,1] \times [0,1]$, we see the integral of $|f(x,y)|$ is not finite. Fubini’s theorem fails then since


See, everything messes up, the equation disappeared. This function is too ‘large’ for Fubini’s, so is the next one.

Another function is generated by series. First consider the sequence on $[0,1]$ generated by

And a sequence of functions $g_n$ generated by $\int_0^1 g_ndx=1$ with supports in $(\delta_n,\delta_{n+1})$.

Define $f(x,y)$ on $[0,1] \times [0,1]$ such that

The right hand is convergent since for each point $(x,y)$ there is at least one term in this sum that is different from $0$.

An easy computation shows that