Es seien ( M , A , μ ) {\displaystyle {}(M,{\mathcal {A}},\mu )} und ( N , B , ν ) {\displaystyle {}(N,{\mathcal {B}},\nu )} σ {\displaystyle {}\sigma } -endliche Maßräume, und es seien
und
messbare nichtnegative integrierbare Funktionen mit den zu diesen Dichten gehörigen Maßen g μ {\displaystyle {}g\mu } und h ν {\displaystyle {}h\nu } . Zeige, dass auf M × N {\displaystyle {}M\times N} das Produktmaß ( g μ ) ⊗ ( h ν ) {\displaystyle {}(g\mu )\otimes (h\nu )} mit dem Maß zur Dichte
bezüglich μ ⊗ ν {\displaystyle {}\mu \otimes \nu } übereinstimmt.