التمرين 1
Exercice 1 — Mesure image et théorème de transfert
Soient un espace mesuré et un espace mesurable. Soit une fonction mesurable. Pour , on pose .
- (3 pts) Vérifier que est une mesure sur . On l'appelle mesure image de par .
- (3 pts) On suppose dans cette question que (où est un réel fixé) et que . Déterminer .
- (4 pts) On revient au cas général, et on fixe mesurable. Démontrer que est intégrable par rapport à si et seulement si est intégrable par rapport à , et que dans ce cas
◀الحل
1.
. Pour des disjoints, les sont disjoints et , donc par -additivité de :
Donc est une mesure.
2.
. Donc
3.
On procède par les étapes standard :
Indicatrices : pour , (car ).
Fonctions étagées : par linéarité.
Fonctions positives : par convergence monotone (limite croissante d'étagées).
Cas général : en décomposant , est -intégrable ssi ssi ssi est -intégrable, et alors