Measure theory MOC Radon-Nikodym theorem The Radon-Nikodym theorem states that given two measures π,π on a measurable space (π,Ξ£) such that ^eq, there exists a measurable function π :π β[0,β) such that for any π΄ βΞ£ measure π(π΄)=β«π΄π(π₯)ππ(π₯) which is unique π-almost everywhere. Such an π is called the Radon-Nikodym derivative, denotes π=ππππ Proof proof develop | en | SemBr