Math 2.0

Measure and integration Definition

Radon–Nikodym derivative

Builds on Radon–Nikodym theoremMeasure with densitySigma-finite measureAbsolutely continuous measureAlmost everywhere

Definition

Let (X,Σ)(X, \Sigma) be a measurable space and let μ\mu and ν\nu be σ-finite measures on Σ\Sigma with ν\nu absolutely continuous with respect to μ\mu. By the Radon–Nikodym theorem there is a measurable f ⁣:X→[0,∞)f \colon X \to [0, \infty) with ν(A)=∫Af dμ\nu(A) = \int_A f \, d\mu for all A∈ΣA \in \Sigma, and ff is unique μ\mu-almost everywhere. The Radon–Nikodym derivative of ν\nu with respect to μ\mu is this function ff, determined up to μ\mu-null sets. It is written dνdμ\dfrac{d\nu}{d\mu}.

Remarks

Example: let μ\mu be Lebesgue measure on ℝ\R and ν(A)=∫A2x 𝟏[0,1](x) dx\nu(A) = \int_A 2x \, \mathbf{1}_{[0,1]}(x) \, dx. Then ν\nu is a measure with density, and dνdμ(x)=2x\frac{d\nu}{d\mu}(x) = 2x for x∈[0,1]x \in [0,1] and 00 elsewhere, up to a null set.

Non-example: the Dirac measure δ0\delta_0 has no Radon–Nikodym derivative with respect to Lebesgue measure λ\lambda. Indeed λ({0})=0\lambda(\{0\}) = 0 but δ0({0})=1\delta_0(\{0\}) = 1, so δ0\delta_0 is not absolutely continuous with respect to λ\lambda.

For every measurable g ⁣:X→[0,∞]g \colon X \to [0, \infty], ∫Xg dν=∫Xg dνdμ dμ.\int_X g \, d\nu = \int_X g \, \frac{d\nu}{d\mu} \, d\mu. If ν≪μ≪ρ\nu \ll \mu \ll \rho with all three σ-finite, then the chain rule dνdρ=dνdμ⋅dμdρ\frac{d\nu}{d\rho} = \frac{d\nu}{d\mu} \cdot \frac{d\mu}{d\rho} holds ρ\rho-almost everywhere.

Reading path

To understand this page from the ground up, read these 9 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Absolutely continuous measure concept
  2. Almost everywhere concept
  3. Integral of a non-negative function concept
  4. Measurable function concept
  5. Measure space concept
  6. Measure with density concept
  7. Sigma-finite measure concept
  8. Radon–Nikodym theorem statement
  9. Radon–Nikodym derivative definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Radon–Nikodym_theorem
About this page
TagECDJ8DD9RV
URIm2://ECDJ8DD9RV
Kinddefinition
WritingW0 stub
MSC28A15
DefinesRadon–Nikodym derivative
UsesRadon–Nikodym theorem, Measure with density, Sigma-finite measure, Absolutely continuous measure, Almost everywhere
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.