## You are here

Hometotal variation

## Primary tabs

# total variation

Let $\gamma:[a,b]\rightarrow X$ be a function mapping an interval $[a,b]$ to a metric space $(X,d)$. We say that $\gamma$ is of *bounded variation* if there is a constant $M$ such that, for each partition
$P=\{a=t_{0}<t_{1}<\cdots<t_{n}=b\}$ of $[a,b]$,

$v(\gamma,P)=\sum_{{k=1}}^{n}d(\gamma(t_{k}),\gamma(t_{{k-1}}))\leq M.$ |

The *total variation* $V_{\gamma}$ of $\gamma$ is defined by

$V_{\gamma}=\sup\{v(\gamma,P):\textnormal{$P$ is a partition of $[a,b]$}\}.$ |

It can be shown that, if $X$ is either $\mathbb{R}$ or $\mathbb{C}$, every continuously differentiable (or piecewise continuously differentiable) function $\gamma:[a,b]\rightarrow X$ is of bounded variation, and

$V_{\gamma}=\int_{a}^{b}|\gamma^{{\prime}}(t)|dt.$ |

Also, if $\gamma$ is of bounded variation and $f:[a,b]\rightarrow X$ is continuous, then the Riemann-Stieltjes integral $\int_{a}^{b}fd\gamma$ is finite.

If $\gamma$ is also continuous, it is said to be a *rectifiable path*, and $V(\gamma)$ is the length of its trace.

If $X=\mathbb{R}$, it can be shown that $\gamma$ is of bounded variation if and only if it is the difference of two monotonic functions.

## Mathematics Subject Classification

26A45*no label found*26B30

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia