Integrierbare Funktion/Ausschöpfungsatz/Fakt

Ausschöpfungsatz

Es sei ein -endlicher Maßraum und sei , , eine messbare Ausschöpfung von .

Dann gilt für eine integrierbare messbare numerische Funktion die Beziehung