Category:Pushforward Measures

This category contains results about Pushforward Measures.
Definitions specific to this category can be found in Definitions/Pushforward Measures.

Let $\struct {X, \Sigma}$ and $\struct {X', \Sigma'}$ be measurable spaces.

Let $\mu$ be a measure on $\struct {X, \Sigma}$.

Let $f: X \to X'$ be a $\Sigma \, / \, \Sigma'$-measurable mapping.

Then the pushforward of $\mu$ under $f$ is the mapping $f_* \mu: \Sigma' \to \overline \R$ defined by:

$\forall E' \in \Sigma': \map {f_* \mu} {E'} := \map \mu {f^{-1} \sqbrk {E'} }$

where $\overline \R$ denotes the extended real numbers.