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!