Let $S = [0,1] \times [0,1]$ and let $D = \{(x,y) \in S : x = y \} \subset S$. Let $\mu \times \nu = \lambda$ be the product of the Lebesgue measure $\mu$ on $[0,1]$ and the counting measure $\nu$ on $[0,1]$ (s.t. if $|E| \in \mathbb{N}$, then $\nu(E) = |E|$ else $\nu(E) = +\infty$). Finally, let $f$ be the characteristic function of $D$ on $S$ (i.e., $f = \chi_D$).
I would like to calculate the following three integrals:
$ (1) \int_{[0,1]} d\mu(x) \int_{[0,1]} f(x,y) d\nu(y) $
$ (2) \int_{[0,1]} d\nu(y) \int_{[0,1]} f(x,y) d\mu(x) $
$ (3) \int_D f(x,y) d\lambda(x,y) $
First,
$ \int_{[0,1]} d\mu(x) \int_{[0,1]} f(x,y) d\nu(y) = 1 \cdot \int_{[0,1]} f(x,y) d\nu(y) = 1 \cdot (\nu([0,1]) \cdot 1) = +\infty $
Second,
$ \int_{[0,1]} d\nu(y) \int_{[0,1]} f(x,y) d\mu(x) = \nu([0,1]) \cdot \int_{[0,1]} f(x,y) d\mu(x) = +\infty \cdot (\mu([0,1]) \cdot 1) = +\infty $
Third and finally,
$ \int_D f(x,y) d\lambda(x,y) = \chi_D \cdot (\mu([0,1]) \cdot \nu([0,1])) = \chi_D \cdot (1 \cdot +\infty) = +\infty $
Now I'm pretty sure I've done something wrong above because the point of this exercise -- I thought -- was to demonstrate that even though these three values don't equal, there is no contradiction here between this and Fubini's Theorem nor Tonelli's Theorem (since neither of their two hypotheses have been satisfied in the above setting). Am I wrong here or am I wrong above?