Fonctions Reglées
Fonctions Reglées
Fonctions Reglées
e dune fonction `
a variation born
ee
Soit f : I = [a, b] intervalle compact .
D
efinition 1 f est a
` variation bornee si sa variation totale
X
|f (ti+1 ) f (ti )| [0, ]
V (f ) =
sup
t1 <...<tn I, n2
est finie.
Exemple 2 Si f est croissante, V (f ) = f (b) f (a).
Exemple 3 Si f est lipschitzienne, V (f ) (b a) Lip(f ).
Exemple 4 Si f est un prolongement affine par morceaux sur [0, 1] de la fonction
(2n)1 7 0, (2n + 1)1 7 1 (n 1), V (f ) = .
Remarque 5 V (f ) = || V (f ) et V (f + g) V (f ) + V (g) (V est une seminorme, et une norme sur lensemble des fonctions quotiente par laction additive
de sur limage), donc la difference de deux fonctions croissantes est a` variations
bornees. La reciproque est vraie (admise ici) :
(Ce lemme ne concerne donc pas seulement les fonctions a` variation bornee, ni
meme les fonctions reglees.)
Demonstration Nous allons discretiser les niveaux possibles de discontinuite. Rappelons que loscillation de f en un point x I est
(f, x) = lim sup f (y) lim inf f (y) [, +],
yx inclus
yx inclus
o`
u, contrairement a
` notre habitude, les limites superieure et inferieure sont prises
au point x inclus. Ainsi x est un point de continuite de f si et seulement si (f, x) =
0.
Soit
Dn = {x
I discontinuite de f de premi`ere esp`ece telle que (f, x) 1/n}.
Lensemble des points de discontinuite de premi`ere esp`ece de f est n1 Dn , augmente eventuellement des deux extremites de I si elles sont finies et si f y est
discontinue (mais nous ne nous soucierons pas de ces extremites, qui ne peuvent
de toute facon pas changer le caract`ere denombrable ou pas du nombre de points
de discontinuite de premi`ere esp`ece). Montrons que chaque Dn est denombrable.
Nous allons montrer que Dn na que des points isoles. En effet, soit x un point
daccumulation de Dn : x est limite dune suite (xk ) de points distincts deux a` deux
de Dn . Quitte a` extraire une sous-suite, on peut supposer que (xk ) est monotone,
et par exemple decroissante. Par definition de Dn ,
lim sup f (y) lim inf f (y) 1/n;
yxk inclus
inclus
yxk
2On
montre aussi quune fonction est reglee si et seulement si elle est la limite uniforme
dune suite de fonctions en escalier.
donc, comme
lim inf lim sup f (y) lim sup f
k
yxk inclus
x+ (exclu)
et
lim inf
lim inf
yxk inclus
x+
Bibliographie
[Cho69] Gustave Choquet. Cours de Topologie. Deuxi`eme edition (2000). Dunod, 1969.