# Variation d'une mesure

En mathématiques et plus particulièrement en théorie de la mesure, la variation est une mesure réelle positive associée à une mesure signée ou complexe.

## Définition
### Mesure signée

Définition (variation d'une mesure signée) — Soit $\sigma$ une mesure signée sur un espace mesurable $(X,{\mathcal {A}})$. Notons $\sigma =\sigma ^{+}-\sigma ^{-}$ la décomposition de Jordan de $\sigma$. La variation de $\sigma$ est alors l'application $\vert \sigma \vert :=\sigma ^{+}+\sigma ^{-}$.

### Mesure complexe

Définition (variation d'une mesure complexe) — Soit $\mu$ une mesure complexe sur un espace mesurable $(X,{\mathcal {A}})$. La variation de $\mu$ est l'application définie par
$\vert \mu \vert (A):=\sup \left\{\sum _{k=1}^{n}\vert \mu (A_{k})\vert :(A_{k})_{k=1}^{n}{\text{ est une partition finie de }}A{\text{ en ensembles }}{\mathcal {A}}{\text{-mesurables}}\right\}$
pour tout $A\in {\mathcal {A}}$.
Il est équivalent, dans la définition de la variation d'une mesure complexe, de prendre le supremum sur l'ensemble des partitions dénombrables, au lieu de finies.
Les deux définitions précédentes, pour les mesures signées et complexes, ne sont pas incompatibles. En effet, il s'avère qu'elles coïncident pour les mesures signées finies.

## Propriétés

* Si $\nu$ est une mesure réelle positive, alors $\vert \nu \vert =\nu$.
* La variation d'une mesure signée ou complexe est toujours une mesure réelle positive. De plus, la variation d'une mesure complexe est une mesure finie.
* Si $\mu$ est une mesure complexe sur $(X,{\mathcal {A}})$, alors $\vert \mu \vert$ est la plus petite mesure réelle positive $\nu$ satisfaisant $\vert \mu (A)\vert \leq \nu (A),\,\forall A\in {\mathcal {A}}$.
* Soit $\rho$ une mesure signée ou complexe sur $(X,{\mathcal {A}})$ et $A\in {\mathcal {A}}$. Alors $\vert \rho \vert (A)=0$ si et seulement si tout sous-ensemble ${\mathcal {A}}$-mesurable $B$ de $A$ vérifie $\rho (B)=0$. Autrement dit, $A$ est nul pour $\vert \rho \vert$ si et seulement si $A$ est totalement nul pour $\rho$.
* Si $\rho$ est une mesure signée ou complexe et $\lambda$ est un scalaire, alors $\vert \lambda \rho \vert =\vert \lambda \vert \vert \rho \vert$.
* Si $\mu _{1},\mu _{2}$ sont deux mesures complexes sur le même espace mesuré, alors $\vert \mu _{1}+\mu _{2}\vert \leq \vert \mu _{1}\vert +\vert \mu _{2}\vert$. L'égalité n'est pas forcément atteinte, en effet, $\mu _{1}=-\mu _{2}\neq 0$ est un contre exemple.
* Soit $\nu$ une mesure réelle positive sur $(X,{\mathcal {A}})$ et $g$ une fonction $\nu$-intégrable à valeurs réelles ou complexes. Si on pose
       $\rho (A)=\int _{A}g(x)d\nu ~~~\forall A\in {\mathcal {A}}$
    alors
       $\vert \rho \vert (A)=\int _{A}\vert g\vert (x)d\nu ~~~\forall A\in {\mathcal {A}}$.

## Variation totale

Définition (variation totale) — Soit $\rho$ une mesure signée ou complexe sur un espace mesurable $(X,{\mathcal {A}})$. La variation totale de $\rho$ est la quantité $\vert \vert \rho \vert \vert _{VT}:=\vert \rho \vert (X)$.
L'ensemble des mesures signées finies (resp. mesures complexes) sur $(X,{\mathcal {A}})$ est un espace vectoriel réel (resp. complexe) où la variation totale définit une norme. Cela justifie la notation $\vert \vert \cdot \vert \vert _{VT}$ et explique pourquoi on trouve parfois l'emploi du terme « norme en variation totale » ou « norme de la variation totale » pour désigner la variation totale.
De plus l'ensemble des mesures signées finies et l'ensemble des mesures complexes sur $(X,{\mathcal {A}})$ munis de la norme en variation totale sont des espaces de Banach.