Mesure Image (Pushforward)

Étant donné une application mesurable f : (X, Σ_X) → (Y, Σ_Y) et une mesure μ sur X, la mesure image f_*μ sur Y est définie par f_*μ(B)=μ(f^{-1}(B)) pour tout borélien mesurable B⊂Y ; c'est la manière naturelle de transporter la masse par f.