Medida Imagen (Pushforward)

Natural & Formal Sciences Dictionary
Definición
Dada una aplicación mesurable f : (X, Σ_X) → (Y, Σ_Y) y una medida μ en X, la medida imagen f_*μ en Y se define por f_*μ(B)=μ(f^{-1}(B)) para cualquier B mesurable en Y; es la manera natural de transportar masa mediante f.