Let μ\mu and ν\nu be σ\sigma-finite positive measures on the same . If νμ\nu\ll\mu, the Radon–Nikodym derivative dν/dμd\nu/d\mu is the μ\mu-almost-everywhere unique X0X\geq 0 such that

ν(S)=SXdμ\nu(S)=\int_S X\,d\mu

for every SS.

Remarks

Existence and almost-everywhere uniqueness follow from the .

In Shale's notation for a Gaussian pushforward, X(T)=dn(T)/dnX(T)=dn(T)/dn plays the role of a measure-theoretic Jacobian.

Examples
  • For ν=fμ\nu=f\mu with f0f\ge0, one has dν/dμ=fd\nu/d\mu=f.