Lebesgue-Stieltjes measure (${\mu }_F$)

An increasing right-continuous function $F:\mathbb{R}\to \mathbb{R}$ determines a measure byThe Radon-Nikodym theorem and Lebesgue differentiation theorem identify the density of the absolutely continuous part of this measure with $F^{\prime }$ almost everywhere.