Lebesgue decomposition from a sum-measure density
ID: lebesgue-decomposition-from-a-sum-measure-density
Use the Hilbert-space construction of dominated measure densities with . The set is a null set for . Put on and elsewhere. Then and . This is the Lebesgue decomposition into a density part and a part concentrated on a -null set.
New to topics? Read the docs here!