3 ms·
> Thm 9.32.4) If f is of bounded variation on [a, b], then f can be represented as the difference between two nondecreasing functions on [a, b]. reminds me of
by 082349872349872 2y ago
> Thm 9.32.4) If f is of bounded variation on [a, b], then f can be represented as the difference between two nondecreasing functions on [a, b].
reminds me of double-entry accounting.
(or of using xor to get non-monotonic functions out of ratchets — although to have a useful notion of xor one must first have a useful notion of [in]equality)