Transport

[ Proposition ]
Soit \(\mu\) une mesure sur un espace mesurable \(X\), et \(f\) une fonction mesurable de \(X\) dans \(Y\) un autre espace mesurable; alors l’application qui à une partie mesurable \(E\) de \(Y\) associe \(\mu(f^{-1}(E))\) est une mesure sur \(Y\). On note \(\mu^f\) cette mesure.
En savoir plus