Theorem (Lebesgue decomposition): Any probability distribution \(F\) can uniquely be decomposed as

\[F = F_\text{D} + F_\text{AC} + F_\text{SC},\]

where

  • \(F_\text{D}\) is the discrete component (i.e., probability is given by a sum of point masses)
  • \(F_\text{AC}\) is the absolutely continuous component (i.e., probability is given by an integral with respect to a density function)
  • \(F_\text{AC}\) is the singular continuous component (i.e, it’s neither of the above)

Proof: A First Look at Rigorous Probability Theory, Second Edition (2006), Rosenthal JS. World Scientific.