Points de discontinuit

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) :

Proposition 6 (Jordan, [Cho69, p. 104]) f est a` variation bornee si et

seulement si elle est la difference de deux fonctions croissantes.

Demonstration Supposons f : [a, b]

a` variation bornee. Soient

(t) = V (f |[a,t] ) et (t) = (t) + f (t).

est croissante et nous allons voir que aussi ; lidee est que cumule positivement toutes les variations de f , et donc que les variations negatives de f sont
exactement compensees par et que les variations positives de f sont doublees
par . Pour tous a u < v b,
(v) (u) = ((v) (u)) + (f (v) f (u)).
Or (v) (u) = V (f[u,v] ) (additivite de la variation totale vis-`a-vis de lintervalle
de depart), donc
(v) (u) |f (v) f (u)|,
do`
u (v) (u) 0. Donc f = est bien la difference de deux fonctions
croissantes.

Convenons de dire que f a une limite ` au point a si pour tout voisinage V de
` il existe un voisinage epointe U de a tel que f (U ) V. (Lautre convention
possible est de prendre un vrai voisinage, pas epointe. Il nexiste malheureusement
pas de terminologie ni de notation pour distinguer ces deux types de limite.) Ainsi,
la fonction caracteristique de {0} a une limite nulle en 0, qui diff`ere de sa valeur
en 0. (Avec lautre convention, cette fonction na pas de limite en 0.)
D
efinition 7 1 o Un point x
I est une discontinuite de premi`ere esp`ece si les
limites f (x ) et f (x+ ) existent et si lon na pas f (x ) = f (x) = f (x+ ).1
1Le

point x = a (resp. x = b) est un point de discontinuite de premi`ere esp`ece si f (a+ ) (resp.

f (b )) existe mais diff`ere de f (a).
1

2 o f est reglee si ses points de discontinuite sont tous de premi`ere esp`ece.2

3 o f est en escalier sil existe une partition finie de I en sous-intervalles (eventuellement reduits a` un point) sur chacun desquels f est constante.

Proposition 8 ([Cho69, p. 148]) Si f est a` variation bornee, elle est

reglee.

Demonstration Dapr`es le lemme de Jordan, f est la difference g h de deux

fonctions croissantes. Les limites g(x ) = supy<x g(y) et g(x+ ) = inf y>x g(y) existent toujours (et leur analogue pour h), donc les points de discontinuite de g et
ceux de h sont de premi`ere esp`ece. Si x est un point de discontinuite de f , il est
un point de discontinuite de g, de h, ou des deux ; dans les trois cas, les limites
f (x ) = g(x ) h(x ) et f (x+ ) = g(x+ ) h(x+ ) existent donc x est un point de
discontinuite de premi`ere esp`ece de f .

Lemme 9 Lensemble des points de discontinuite de premi`ere esp`ece dune
fonction f : I intervalle est denombrable.

(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

f (y) lim inf f,

x+ (exclu)
par passage a` la limite inferieure quand k tend vers linfini, on obtient
k

lim inf

yxk inclus

lim sup f lim inf f 1/n,

x+ (exclu)
(exclu)

x+

donc f (x+ ) ne peut pas exister, donc x

/ Dn . (Ceci montre quun point daccumulation de Dn est un point de discontinuite de deuxi`eme esp`ece.) Lensemble Dn ,
nayant que des points isoles, est denombrable (et meme fini si I est compact) ;
donc Dn est denombrable.

Corollaire 10 Si f est a` variation bornee, lensemble de ses points de discontinuite
est denombrable.
Reciproquement, lexemple suivant montre que toute partie denombrable de I peut
etre realisee comme ensemble des points de discontinuite dune fonction monotone
f definie sur I.
P
Exemple 11 ([Cho69, p. 149]) Si (an ) est une suite dense dans [0, 1],
n est
une serie a` termes > 0 et de somme egale a` 1 et
X
f (x) =
n ,
an <x

alors f est strictement croissante et Disc (f ) = {an } (et (f, an ) = n ).

Remarque 12 Le lemme precedent est faux pour les applications qui ne sont
pas a` valeurs dans un espace metrique. Considerons par exemple la fonction f :
{1, 2, 3}, x 7 (x, 2). Si lensemble but est muni de la relation dordre
lexicographique, quel que soit x on a f (x ) = (x, 1) < f (x+ ) = (x, 2) ; donc
tous les points x sont des points de discontinuite de premi`ere esp`ece.

Bibliographie
[Cho69] Gustave Choquet. Cours de Topologie. Deuxi`eme edition (2000). Dunod, 1969.