91Ó°ÊÓ

In measure theory, the Radon-Nikodym derivative plays a crucial role, especially when dealing with absolutely continuous measures. It provides a way to "differentiate" one measure with respect to another, similar to how we differentiate functions.
Given two measures, if one is absolutely continuous with respect to another, the Radon-Nikodym theorem guarantees the existence of this derivative.

• It is denoted as \( \frac{dQ}{dP} \), where \( Q \) is absolutely continuous with respect to \( P \).
• The Radon-Nikodym derivative is a function, which is non-negative and \( P \)-almost everywhere defined lower measurable.

Understanding this concept is essential because it allows us to transform problems involving measures into problems involving functions. This transformation often makes analyzing and solving measure theoretic problems more approachable.

When we say two measures are equivalent, denoted as \( Q \sim P \), it's a special relationship between them. They provide a structure where neither measure "misses out" on capturing any sets of positive measure that the other detects.
This relationship implies:

• \( Q \ll P \), meaning \( Q \) is absolutely continuous with respect to \( P \).
• \( P \ll Q \), meaning \( P \) is absolutely continuous with respect to \( Q \).
• No set has a positive measure in one measure while having zero measure in the other.

Equivalence of measures assures that the Radon-Nikodym derivatives exist for both \( Q \) with respect to \( P \) and \( P \) with respect to \( Q \).
This equivalence ensures that the derivatives satisfy significant positive almost everywhere conditions.
Such equivalence makes the interplay between these measures manageable and predictable, as each can be expressed in terms of the other.

Absolute continuity is a fundamental concept that underlies the relationships between measures.
The notation \( Q \ll P \) implies \( Q \) is absolutely continuous with respect to \( P \). But what does this mean? In simple terms, it means whenever \( P \) "sees" no mass (or has a measure zero), \( Q \) also "sees" no mass there.
In more formal terms, for any measurable set \( A \), if \( P(A) = 0 \), then \( Q(A) = 0 \).

• Conversely, \( P \ll Q \) means \( P \) is absolutely continuous with respect to \( Q \).
• When both conditions hold, the measures are equivalent, signified by \( Q \sim P \).

This concept is crucial to understanding why the Radon-Nikodym derivative exists and why it's almost always positive, as absolute continuity ensures there's no "gap" where one measure is non-zero but the other is zero.
Having this underlying principle allows us to express one measure in terms of the other and utilize derivatives effectively in measure theory.