Produkt von sigmaendlichen Maßräumen/Messbarkeit des Querschnittsmaßes/Fakt

Querschnittslemma

Es seien ${}(M,{\mathcal {A}},\mu )$ und ${}(N,{\mathcal {B}},\nu )$ ${}\sigma$-endliche Maßräume und sei ${}T\subseteq M\times N$ eine messbare Teilmenge.

Dann sind die Funktionen

$M\longrightarrow {\overline {\mathbb {R} }},\,x\longmapsto \nu (T(x)),$

und

$N\longrightarrow {\overline {\mathbb {R} }},\,y\longmapsto \mu (T(y)),$

messbar.

Zum Beweis, Alternativen Beweis erstellen