Push Forward Equations

指一个映射把测度从一个空间“推”到另一个空间。

设$f:X\rightarrow Y$是可测函数,$\mu$是X上的测度,那么pushforward measure $f_\star\mu$定义为:

$$(f_\star\mu)B=\mu(f^{-1}(B))$$

pushforward euqtion为:

$$f_\star \mu=\nu$$

即测度$\nu$是由测度$\mu$经过映射$f$推出来的。