In measure theory, the pushforward $f_\ast \mu$ of a measure $\mu$ on a measurable space $X$ along a measurable function $f \colon X \to Y$ to another measure space $Y$ assigns to a subset the original measure of the preimage under $f$ of that subset:
The pushforward of a τ-additive measure along a continuous map is again τ-additive.
If a continuous valuation $\nu$ on a topological space $X$ is extendable to a measure $\nu$, its pushforward (as a valuation) $f_*\mu$ along a continuous map $f:X\to Y$ is again extendable, and it extends to $f_*\nu$.
The pushforward measure along a product projection is called a marginal measure?.
(entropy does not increase under pushforward) Let $f \colon X \longrightarrow Y$ be a measurable function between measure spaces, and let $\mu$ be a probability distribution on $X$. Then the entropy of $\mu$ is larger or equal to that of its pushforward distribution $f_\ast \mu$:
(e.g. Austin, Prop. 2.7)
The construction of pushforward measures is how one can make the Giry monad, or other measure monads, functorial. Given a measurable (or continuous, etc.) map $f \colon X\to Y$, the pushforward gives a well-defined, measurable map $P X\to P Y$ (where $P$ denotes the Giry monad), making $P$ into a functor.
See also
In relation to entropy:
Last revised on May 20, 2021 at 05:02:34. See the history of this page for a list of all contributions to it.