Radon-Nikodym theorem

In mathematics, the Radon-Nikodym theorem is a result in functional analysis that states that if a measure is absolutely continuous with respect to another sigma-finite measure then there is a measurable function f, taking values in [0,∞], on the underlying space such that

The function f is commonly written and is called the Radon-Nikodym derivative. The choice of notation and the name of the function reflects the fact that the function is analogous to a derivative in calculus in the sense that it describes the rate of change of probability density of one measure with respect to another. It follows trivially from the definition of the derivative that

where is the expectation operator.

The theorem is named for Johann Radon, who proved the theorem for the special case where the underlying space is in 1913, and for Otto Nikodym who proved the general case in 1930.