Sigmaendliche Räume/Nichtnegative Funktion/Fubini/Fakt

Es seien und -endliche Maßräume und sei

eine nichtnegative messbare Funktion. Dann gelten folgende Aussagen.

  1. Für jedes ist die Funktion

    und für jedes ist die Funktion

    messbar.

  2. Die Funktion
    und die Funktion

    sind messbar.

  3. Es gilt