Logo
Pattern

Discover published sets by community

Explore tens of thousands of sets crafted by our community.

Radon-Nikodym Theorem

7

Flashcards

0/7

Still learning
StarStarStarStar

Singular Measures

StarStarStarStar

Two measures μ\mu and ν\nu are singular to each other if there exists a measurable set AA such that μ(A)=0\mu(A) = 0 and ν(Ac)=0\nu(A^c) = 0. Singular measures do not have a Radon-Nikodym derivative with respect to each other.

StarStarStarStar

Definition of the Radon-Nikodym Derivative

StarStarStarStar

If ν\nu is absolutely continuous with respect to μ\mu, then there exists a μ\mu-integrable function ff, such that for any measurable set AA, ν(A)=Afdμ\nu(A) = \int_A f d\mu. The function ff is called the Radon-Nikodym derivative of ν\nu with respect to μ\mu, often denoted as dνdμ\frac{d\nu}{d\mu}.

StarStarStarStar

Application to Probability Theory

StarStarStarStar

In probability theory, the Radon-Nikodym theorem allows us to find the density of one probability measure with respect to another. This is particularly useful for changing probability measures or determining how likelihoods change under new measures.

StarStarStarStar

Uniqueness of the Radon-Nikodym Derivative

StarStarStarStar

The Radon-Nikodym derivative is unique up to sets of μ\mu-measure zero. If ff and gg are both Radon-Nikodym derivatives of ν\nu with respect to μ\mu, then f=gf = g μ\mu-almost everywhere.

StarStarStarStar

Lebesgue Decomposition Theorem

StarStarStarStar

Given two σσ-finite measures μ\mu and ν\nu, there exists a unique pair of measures νac\nu_{ac} and νs\nu_s such that ν=νac+νs\nu = \nu_{ac} + \nu_s, where νac\nu_{ac} is absolutely continuous with respect to μ\mu and νs\nu_s is singular with respect to μ\mu. This theorem is essential for the application of the Radon-Nikodym theorem.

StarStarStarStar

Implications for Expected Values

StarStarStarStar

If XX is an integrable random variable with respect to μ\mu, and dνdμ\frac{d\nu}{d\mu} exists, the expected value of XX with respect to ν\nu can be calculated as Eν[X]=Xdνdμdμ\mathbb{E}_{\nu}[X] = \int X \frac{d\nu}{d\mu} d\mu.

StarStarStarStar

Absolute Continuity Condition

StarStarStarStar

The measure ν\nu is said to be absolutely continuous with respect to μ\mu if for every measurable set AA, μ(A)=0\mu(A) = 0 implies ν(A)=0\nu(A) = 0. This is a precondition for the existence of a Radon-Nikodym derivative.

Know
0
Still learning
Click to flip
Know
0
Logo

© Hypatia.Tech. 2024 All rights reserved.