LebesgueRadonNikodym

The Lebesgue-Radon-Nikodym theorem is a fundamental result in measure theory that relates integration with respect to different measures. It essentially states that if a measure is absolutely continuous with respect to another measure, then there exists a function (the Radon-Nikodym derivative) that allows one to express the integral with respect to the first measure as the integral of this derivative multiplied by the second measure. This is a generalization of the fundamental theorem of calculus, where the derivative of an integral is the integrand itself.

The theorem is named after Henri Lebesgue, Johann Radon, and Otto Nikodym, who made significant contributions to its development. Lebesgue developed the theory of integration and measure, Radon proved a crucial version of the theorem, and Nikodym provided a more general formulation. The theorem has wide-ranging applications in probability theory, functional analysis, and differential geometry. For instance, in probability, it allows for the definition of conditional expectation. In simpler terms, it provides a bridge between abstract measure theory and more concrete notions of integration, showing how one measure can "generate" another through a derivative.