Diffeomorphismus/Transformationsformel für Integrale/Fakt/Beweis

Beweis

Die Zuordnung für messbare Mengen ist ein Maß auf und zwar handelt es sich um das Bildmaß von unter der Umkehrabbildung

Nach Fakt besitzt dieses Maß die Dichte . Daher gilt nach Aufgabe und der allgemeinen Transformationsformel