Jordan decomposition of a function of bounded variation (source code)

= Jordan decomposition of a function of bounded variation
{c}

Every real function $f$ of <bounded variation> is the difference of two nondecreasing functions. Writing $V_f$ for its cumulative total variation, one may take
$$
f_+=\frac{V_f+f}{2},\qquad f_-=\frac{V_f-f}{2},
$$
up to constants chosen for the desired normalization.