One-sided representatives of a one-dimensional BV function

ID: one-sided-representatives-of-a-one-dimensional-bv-function

Both functions represent the same equivalence class. Fubini's theorem shows that the interval-mass function has derivative , so its difference from is constant. Continuity of a finite measure gives left continuity for and right continuity for . Their opposite one-sided limits differ by the measure atom . There are only countably many nonzero measure atoms, since every set of measure atoms above a fixed magnitude threshold is finite.

New to topics? Read the docs here!