Radon–Nikodym theorem
In mathematics, the Radon–Nikodym theorem is a result in measure theory which states that, given a measurable space
, if a σ-finite measure
on
is absolutely continuous with respect to a σ-finite measure μ on
, then there is a measurable function
, such that for any measurable subset
,
The function f is called the Radon–Nikodym derivative and denoted by
.
The theorem is named after Johann Radon, who proved the theorem for the special case where the underlying space is RN in 1913, and for Otto Nikodym who proved the general case in 1930. In 1936 Hans Freudenthal further generalized the Radon–Nikodym theorem by proving the Freudenthal spectral theorem, a result in Riesz space theory, which contains the Radon–Nikodym theorem as a special case.
If Y is a Banach space and the generalization of the Radon–Nikodym theorem also holds for functions with values in Y (mutatis mutandis), then Y is said to have the Radon–Nikodym property. All Hilbert spaces have the Radon–Nikodym property.