Skip to main content
4 of 4
deleted 2 characters in body
Tom
  • 716
  • 5
  • 14

This is impossible if $f$ is injective, without further assumptions such as bijective, differentiable, etc. Let $Q_1,Q_2$ be probability measures on a measurable space $(\Omega, \mathcal{F})$, and assume $f_* Q_1 = f_* Q_2$ for some injective (bimeasurable) $f : (\Omega,\mathcal{F}) \to (\Xi,\mathcal{G})$. For any $A\in \mathcal{F}$, definitions give

$$ Q_1(A) = f_* Q_1 (f(A)) = f_* Q_2 (f(A)) = Q_2(A). $$

Thus, $Q_1 = Q_2$.

Tom
  • 716
  • 5
  • 14