3 CONVEXIT ´
E. 2
Th´eor`eme 2.1 Une fonction r´eelle d´efinie et monotone sur un intervalle I, de Ra l’ensemble
de ses points de discontinuit´e au plus d´enombrable. De plus elle est born´ee sur tout compact
inclus dans l’int´erieur ˚
I, de I, et admet en tout point de cet int´erieur, une limite finie `a droite
et `a gauche.
On utilise pour la preuve de celui-ci la s´eparabilit´e de la droite r´eelle. On a, ´egalement, en
durcissant un peu le caract`ere monotone :
Th´eor`eme 2.2 Une fonction r´eelle, f, d´efinie, continue et strictement monotone sur un inter-
valle I, r´ealise une bijection de Isur son image par f. En outre la fonction r´eciproque, f−1est
aussi continue et strictement monotone et de mˆeme monotonie que f.
2.2 Monotonie et diff´erentiabilit´e.
Une fonction monotone sur un intervalle admet une propri´et´e plus forte que la continuit´e.
En effet, Lebesgue a prouv´e un th´eor`eme c´el`ebre, dont on peut consulter une preuve dans le
livre de Roger V. JEAN au chapitre ”Diff´erentiation.” :
Th´eor`eme 2.3 (LEBESGUE). Une fonction monotone sur un intervalle est presque partout
d´erivable.
Applications simples de la monotonie.
1. Inversion de fonctions classiques.
2. Comparaison s´erie-int´egrale.
Une application importante de la monotonie est en fait l’obtention de propri´et´es de r´egularit´e
des fonctions convexes.
3 Convexit´e.
Pour cette partie je me suis fortement inspir´e du premier chapitre du livre de Robert
WAYNE et Dale VARBERG.
3.1 D´efinitions et premi`eres propri´et´es.
D´efinition 3.1 Soit fune fonction r´eelle d´efinie sur un intervalle I, de la droite r´eelle. On
dit que fest convexe sur Ilorsque pour tous xet yde Iet tout λde [0,1], on a :
f(λx + (1 −λ)y)≤λf(x) + (1 −λ)f(y).(1)
On reprend les notations pr´ec´edentes, on se donne xdans Iet on d´efinit, pour tout
y6=xde I:
δxf(y) = f(x)−f(y)
x−y.
Puis Epi(f) = {(x, y)∈I×R|y≥f(x)}, l’´epigraphe de f. On a alors la caract´erisation suiv-
ante des fonctions convexes, toujours en reprenant les mˆemes hypoth`eses que dans la d´efinition
pr´ec´edente.
Th´eor`eme 3.1 fest convexe sur Isi et seulement si elle v´erifie l’une des deux propri´et´es
´equivalentes suivantes :
•(In´egalit´e des trois pentes). Pour tous x < z < y de I, on a : δxf(z)≤δxf(y)≤δzf(y).