Bildmaß/Unter Produktabbildung/Aufgabe

Es seien ${}(M_{1},{\mathcal {A}}_{1},\mu _{1})$ und ${}(M_{2},{\mathcal {A}}_{2},\mu _{2})$ zwei ${}\sigma$-endliche Maßräume, es seien ${}(N_{1},{\mathcal {B}}_{1})$ und ${}(N_{2},{\mathcal {B}}_{2})$ zwei Messräume und es seien

$\varphi _{1}\colon M_{1}\longrightarrow N_{1}$

und

$\varphi _{2}\colon M_{2}\longrightarrow N_{2}$

zwei messbare Abbildungen, unter denen die Bildmaße ${}(\varphi _{1})_{*}\mu _{1}$ und ${}(\varphi _{2})_{*}\mu _{2}$ ${}\sigma$-endlich seien. Zeige, dass für das Bildmaß unter der Produktabbildung ${}\varphi =\varphi _{1}\times \varphi _{2}$ die Gleichung

${}\varphi _{*}(\mu _{1}\otimes \mu _{2})=((\varphi _{1})_{*}\mu _{1})\otimes ((\varphi _{2})_{*}\mu _{2})\,$

gilt.

Eine Lösung erstellen