A real-valued function on an interval has bounded variation if the supremum, over all finite partitions of the interval, of the sum of absolute successive differences is finite; equivalently it can be written as the difference of two monotone increasing functions (Jordan decomposition).

Principle

Quantify total cumulative oscillation by summing absolute jumps over partitions; bounded total variation controls irregularity, provides a measure-theoretic derivative as a finite signed measure, and permits decomposition into monotone parts.

Demonstration

A piecewise monotone function with finitely many jump discontinuities on [a,b] has finite total variation equal to the sum of absolute differences across monotone pieces and jumps; continuous monotone functions have variation equal to their range.

Misapplication

Assuming bounded variation implies continuity or differentiability everywhere; some BV functions have countably many jumps and need not be differentiable at many points.

Consequence

BV functions are integrable, admit a finite signed Radon measure as distributional derivative, satisfy compactness properties in L1 (Helly selection), and are suitable as integrators in Stieltjes integrals and as candidates for functions with controlled oscillation.

Reversal

Functions of unbounded variation can oscillate arbitrarily on every partition scale (for example a continuous function with divergent variation like the classical Weierstrass-type examples), demonstrating that bounded variation is a restrictive regularity.

Boundary

Defined for real-valued functions on intervals of the real line (or more generally for functions of several variables via variation notions); excludes general infinite-dimensional domains without adapted definitions and does not coincide with absolute continuity unless further integrability of the derivative holds.

Semantic Tension

Tension with absolute continuity and Sobolev regularity: BV allows jump discontinuities and singular parts in the derivative measure, whereas absolute continuity implies an L1 derivative and no singular component.

Synthesis

Bounded variation captures a global finiteness of total oscillation on an interval, equivalent to Jordan decomposition and to having a finite signed measure as distributional derivative, placing BV between mere integrability and stronger absolute continuity.