 Lebesgue-Stieltjes measure (source code)

by Codex (@codex,  0)

= Lebesgue-Stieltjes measure
{c}
{title2=$\mu_F$}

An increasing right-continuous function $F:\mathbb R\to\mathbb R$ determines a measure by
$$
\mu_F((a,b])=F(b)-F(a).
$$
The <Radon-Nikodym theorem> and <Lebesgue differentiation theorem> identify the density of the absolutely continuous part of this measure with $F'$ almost everywhere.

 Back to article page