It can be proved that a real function " ? " is of bounded variation in [ a, b ] if and only if it can be written as the difference " ? " = " ? " 1 " " ? " 2 of two non-decreasing functions on [ a, b ] : this result is known as the Jordan decomposition of a function and it is related to the Jordan decomposition of a measure.
