Fonction à variation bornée

En analyse, une fonction est dite à variation bornée quand elle vérifie une certaine condition de régularité. Cette condition a été introduite en 1881 par le mathématicien Camille Jordan pour étendre le théorème de Dirichlet sur la convergence des séries de Fourier. Soit f une fonction définie sur un ensemble totalement ordonné T et à valeurs dans un espace métrique (E, d). Pour toute subdivision σ = (x, x, ... , x) d'un intervalle quelconque de T, on définit V(f, σ) par : On appelle variation totale de f sur T la valeur V(f) ∈ définie par : On dit que f est à variation bornée si cette borne supérieure V(f) est finie, autrement dit si l'« arc » (non nécessairement continu) défini par f est rectifiable au sens de Jordan. Les fonctions monotones forment une classe importante de fonctions en analyse. Cependant elle présente l'inconvénient de ne pas être invariante pour des opérations algébriques basiques : la somme de deux fonctions monotones par exemple n'est pas nécessairement monotone. Comme toute fonction à variations bornées est somme de deux fonctions monotones et réciproquement, les fonctions à variations bornées peuvent être vues comme une généralisation des fonctions monotones mais avec l'avantage que l'ensemble des fonctions à variations bornées muni de l'addition ou de la multiplication forme un anneau : la somme et le produit de deux fonctions à variations bornées est à variations bornées. La variation totale (finie ou infinie) d'une fonction f continue sur un segment réel [a, b] est non seulement la borne supérieure des V(f, σ) quand σ parcourt les subdivisions de [a, b], mais aussi leur limite, quand le pas de la subdivision σ tend vers 0. On en déduit que pour une fonction continue à variation bornée f, l'application t ↦ V(f) est continue. Si φ est une bijection croissante d'un autre ensemble totalement ordonné S vers T, la variation totale de f∘φ sur S est égale à celle de f sur T. Pour tout espace vectoriel normé E, les fonctions à variation bornée forment un sous-espace vectoriel de l'espace des fonctions de T dans E.