Produktsigmaalgebra/Projektionen sind messbar/Fakt/Beweis

Beweis

Dies folgt direkt daraus, dass zu einer messbaren Teilmenge die Urbildmenge

ein Quader ist und daher nach Definition zu gehört.