Math 2.0

Real functions Definition

Bounded variation

Builds on Total variationPartition of an interval

Definition

Let a<ba < b be real numbers and let f ⁣:[a,b]→ℝf \colon [a, b] \to \R be a function. For a partition PP given by a=x0<x1<⋯<xn=ba = x_0 < x_1 < \cdots < x_n = b, put V(f,P)=∑i=1n∣f(xi)−f(xi−1)∣.V(f, P) = \sum_{i=1}^{n} \abs{f(x_i) - f(x_{i-1})}. The total variation of ff on [a,b][a, b] is Vab(f)=sup⁡PV(f,P)V_a^b(f) = \sup_P V(f, P), where the supremum runs over all partitions of [a,b][a, b]. The function ff has bounded variation on [a,b][a, b] if Vab(f)<∞V_a^b(f) < \infty.

Remarks

Example: a nondecreasing function ff on [a,b][a, b] has bounded variation. For every partition the sum telescopes: V(f,P)=∑i(f(xi)−f(xi−1))=f(b)−f(a)V(f, P) = \sum_i (f(x_i) - f(x_{i-1})) = f(b) - f(a), so Vab(f)=f(b)−f(a)V_a^b(f) = f(b) - f(a).

Non-example: let f(0)=0f(0) = 0 and f(x)=xsin⁡(1/x)f(x) = x \sin(1/x) for 0<x≤10 < x \le 1. The function ff is continuous, but it does not have bounded variation. At the points xk=1/((k+12)π)x_k = 1/((k + \frac12)\pi) the values are ±xk\pm x_k with alternating signs, so a partition through x1,…,xNx_1, \dots, x_N gives V(f,P)≥∑k=1NxkV(f, P) \ge \sum_{k=1}^{N} x_k, and this sum diverges like the harmonic series.

The set of functions of bounded variation on [a,b][a, b] is often written BV([a,b])BV([a, b]). Every function of bounded variation is bounded, since ∣f(x)∣≤∣f(a)∣+Vab(f)\abs{f(x)} \le \abs{f(a)} + V_a^b(f).

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Partition of an interval definition
  2. Total variation concept
  3. Bounded variation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Bounded_variation
About this page
TagF34S6P61SW
URIm2://F34S6P61SW
Kinddefinition
WritingW0 stub
MSC26A45
DefinesBounded variation
UsesTotal variation, Partition of an interval
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.