In measure theory, a pushforward measure (also known as push forward, push-forward or image measure) is obtained by transferring ("pushing forward") a measure from one measurable space to another using a measurable function.

Given measurable spaces ${\displaystyle (X_{1},\Sigma _{1})}$ and ${\displaystyle (X_{2},\Sigma _{2})}$, a measurable function ${\displaystyle f\colon X_{1}\to X_{2}}$ and a measure ${\displaystyle \mu \colon \Sigma _{1}\to [0,+\infty ]}$, the pushforward of ${\displaystyle \mu }$ by ${\displaystyle f}$ is defined to be the measure ${\displaystyle f_{*}(\mu )\colon \Sigma _{2}\to [0,+\infty ]}$ given by

This definition applies mutatis mutandis for a signed or complex measure. The pushforward measure is also denoted as ${\displaystyle \mu \circ f^{-1}}$, ${\displaystyle f_{\sharp }\mu }$, ${\displaystyle f\sharp \mu }$, or ${\displaystyle f\#\mu }$.

Theorem: A measurable function g on X₂ is integrable with respect to the pushforward measure f_∗(μ) if and only if the composition ${\displaystyle g\circ f}$ is integrable with respect to the measure μ. In that case, the integrals coincide, i.e.,

Note that in the previous formula ${\displaystyle X_{1}=f^{-1}(X_{2})}$.

Pushforwards of measures allow to induce, from a function between measurable spaces ${\displaystyle f:X\to Y}$, a function between the spaces of measures ${\displaystyle M(X)\to M(Y)}$. As with many induced mappings, this construction has the structure of a functor, on the category of measurable spaces.

For the special case of probability measures, this property amounts to functoriality of the Giry monad.

In general, any measurable function can be pushed forward. The push-forward then becomes a linear operator, known as the transfer operator or Frobenius–Perron operator. In finite spaces this operator typically satisfies the requirements of the Frobenius–Perron theorem, and the maximal eigenvalue of the operator corresponds to the invariant measure.