Bildmaß/Allgemeine Transformationsformel/Fakt

Aus Wikiversity
Allgemeine Transformationsformel

Es sei ein -endlicher Maßraum, ein Messraum und

eine messbare Abbildung. Es sei das Bildmaß von unter , das ebenfalls als -endlich vorausgesetzt sei, und es sei

eine -integrierbare Funktion.

Dann ist auch -integrierbar, und es gilt