170 Généralités sur les fonctions numériques
Théorème 7.2 Soient fune fonction monotone de Idans Ret gune fonction monotone
définie sur une partie Jde Rqui contient f(I).La fonction g◦fest alors monotone sur I.
Cette fonction est croissante si fet gsont de même sens de variation et décroissante sinon.
Démonstration. Soient x, x0dans Itels que x≤x0.
Si fet gsont croissantes, alors f(x)≤f(x0)et g(f(x)) ≤g(f(x0)) .
Si fet gsont décroissantes, alors f(x)≥f(x0)et g(f(x)) ≤g(f(x0)) .
Si fest croissante et gdécroissante, alors f(x)≤f(x0)et g(f(x)) ≥g(f(x0)) .
Si fest décroissante et gcroissante, alors f(x)≥f(x0)et g(f(x)) ≥g(f(x0)) .
Théorème 7.3 Si fest une application strictement monotone de Idans R,elle réalise alors
une bijection de Isur f(I)d’inverse strictement monotone et de même sens de variation que
f.
Démonstration. En remplaçant éventuellement fpar −f, on peut supposer que fest
strictement croissante. Si x6=ydans Ion a x < y ou y < x (l’ordre de Rest total) ce qui
entraîne f(x)< f (y)ou f(y)< f (x),soit f(x)6=f(y)dans tous les cas. La fonction fest
donc injective et elle réalise une bijection de Isur f(I).
Il est facile de vérifier que la fonction réciproque f−1est également strictement croissante.
Le théorème de la borne supérieure nous permet de montrer le résultat suivant important
dans l’étude des points fixes.
Exercice 7.2 Montrer que toute fonction croissante fde I= [a, b]dans I, admet au moins
un point fixe, c’est-à-dire qu’il existe un réel αdans Itel que f(α) = α.
Solution 7.2 L’ensemble :
E={x∈[a, b]|f(x)≥x}
est non vide (f(a)∈[a, b]entraîne f(a)≥a) majoré par b, il admet donc une borne supérieure
α∈[a, b].
Si α=aalors f(x)< x pour tout x∈I\{a}et pour n0∈N∗tel que a+1
n0≤bon a, du fait
de la croissance de fsur I:
∀n≥n0, a ≤f(a)≤fµa+1
n¶< a +1
n
qui par passage à la limite quand ntend vers l’infini donne a=f(a).
Si α > a, par définition de la borne supérieure, on peut trouver pour tout entier naturel non
nul nun réel xn∈¸α−1
n, α¸∩Eet :
∀n≥1, f (α)≥f(xn)≥xn> α −1
n
qui par passage à la limite quand ntend vers l’infini donne f(α)≥α, c’est-à-dire que αest
dans E.
Si α=balors α≤f(α)≤b=αet α=f(α).
Si α < b, pour nassez grand on a α≤f(α)≤fµα+1
n¶< α +1
nqui par passage à la limite
donne α=f(α).
En définitive αest un point fixe de fdans I.