Vous êtes sur la page 1sur 8

Christophe Bertault Mathmatiques en MPSI

CONTINUIT
Les fonctions quon tudie en analyse sont souvent dfinies sur des intervalles, mais souvent aussi sur des runions
dintervalles comme R ou [0, 1[[2, 3]. Dans ce chapitre, pour simplifier, les lettres D, E. . . dsigneront
i toujours
h des runions

finies dintervalles mais on pourrait gnraliser certaines runions infinies dintervalles comme , +Z. On notera
2 2
par ailleurs K lun des corps R ou C.

1 DFINITIONS ET PREMIRES PROPRITS

On traite dans cette partie le cas des fonctions complexes en mme temps que celui des fonctions relles, mais nos figures
illustreront bien entendu seulement le cas rel.

1.1 DFINITIONS DE LA CONTINUIT

Dfinition (Continuit en un point ou sur une runion raisonnable dintervalles) Soient f : D C une fonction.
Soit a D. On dit que f est continue en a si lim f EXISTE. On sait dans ce cas, f tant dfinie en a, que :
a
lim f = f (a). On peut donc dire que f est continue en a si :
a

> 0, > 0/ x D, |x a| < = f (x) f (a) < .

f (a) b

f (a) b bc bc

f (a) b

a a a
f est continue en a. f nest pas continue en a. f nest pas continue en a.

On dit que f est continue sur D si f est continue en tout point de D.


On note C (D, K) lensemble des fonctions continues sur D valeurs dans K.

Exemple La fonction valeur absolue | | est continue sur R.




Dmonstration Soit a R. Montrons que || est continue en a. Soit > 0. Pour tout x R : |x||a| |x a|


daprs lingalit triangulaire gnralise, donc pour = : x R, |x a| < = |x| |a| < .

Le rsultat suivant est la version continue dun rsultat analogue sur les limites du chapitre Limites dune fonction .

Thorme (Caractrisation de la continuit partir des parties relle et imaginaire) Soient f : D C une
fonction et a D.
f est continue en a (resp. sur D) si et seulement si Re( f ) et Im( f ) le sont.

Exemple La fonction t 7 eit est continue sur R car les fonctions sinus et cosinus le sont.

1
Christophe Bertault Mathmatiques en MPSI

Dfinition (Continuit gauche/ droite en un point) Soient f : D C une fonction et a D. On suppose f


dfinie au voisinage de a gauche et droite.
On dit que f est continue gauche en a si f est continue en a, i.e. si : lim f = f (a).
D],a] a

On dit que f est continue droite en a si f est continue en a, i.e. si : lim f = f (a).
D[a,+[ a+

f est continue en a f est continue en a


f (a) b bc

gauche, bc
f (a) b droite,
mais pas droite. mais pas gauche.
a a

Le rsultat suivant est la version continue dun rsultat analogue sur les limites du chapitre Limites dune fonction .

Thorme (Caractrisation de la continuit laide des continuits gauche/ droite) Soient f : D C une
fonction et a D. On suppose f dfinie au voisinage de a gauche et droite.

f est continue en a si et seulement si f est continue gauche et droite en a.

Exemple La fonction partie entire est continue en tout point non entier, mais seulement continue y = x
b

b bc

droite en n pour tout n Z.


b bc

Dmonstration Soit n Z. Pour tout x [n, n+1[ : x = n, donc : lim x = n = n,


xn+ b bc

donc est continue droite en n. Au contraire, pour tout x [n1, n[ : x = n1, donc :
b bc

lim x = n 1 6= n = n, donc f nest pas continue gauche en n.


xn bc

1.2 PROLONGEMENT PAR CONTINUIT EN UN POINT

Dfinition-thorme (Prolongement par continuit en un point) Soient a, b R avec a < b et f : ]a, b[ C une
fonction.
On dit que f est prolongeable par continuit en a si lim f existe et est FINIE. Le y = f (x)
a f (a) b

prolongement f de f obtenu en posant : f (a) = lim f est alors continu en a.


a

Les fonctions f et f sont distinctes en toute rigueur car elles nont pas le mme y = f (x)
bc

ensemble de dfinition, mais on choisit gnralement de noter encore f le pro- a


longement f par souci de simplicit.
On dispose bien sr dun rsultat analogue au voisinage dun point gauche.
a

Dmonstration Nous devons montrer que f est continue en a, i.e. que : lim f = f (a). Par dfinition de f ,
a
f et f concident sur ]a, b[, donc lgalit : lim f = f (a) peut tre crite ainsi :
a

> 0, > 0/ x ]a, b[, |x a| < = f (x) f (a) < .

Cest presque le rsultat mais pas tout fait car f est dfinie en a. Or on peut
videmment
remplacer ]a, b[ par
[a, b[ dans : > 0, > 0/ x [a, b[,
|x a| < = f (x) f (a) < .

Exemple
La fonction x 7 x ln x nest pas dfinie en 0 mais on peut la prolonger par continuit en ce point en lui donnant la
valeur 0 en 0, car : lim x ln x = 0.
x0
sin x sin x
La fonction x 7 nest pas dfinie en 0, mais comme : lim = 1, on peut la prolonger par continuit
x x0 x
en ce point en lui donnant la valeur 1 en 0.
Pour tout > 0 : x = e ln x 0, donc en posant : 0 = 0, on prolonge la fonction x 7 x , a priori
x0
dfinie sur R+ , en une fonction continue sur R+ tout entier.

2
Christophe Bertault Mathmatiques en MPSI

1.3 OPRATIONS SUR LA CONTINUIT

Que ce soit en un point ou sur un intervalle, la somme et le produit de deux fonctions continues sont continus. Mme
chose pour linverse dune fonction qui ne sannule pas ainsi que pour la compose de deux fonctions composables. Ces
rsultats dcoulent immdiatement des rsultats analogues que nous avons prouvs sur les limites de fonctions.

1 2
Exemple La fonction x 7 ln x 2 + e x est dfinie et continue sur R .

Dmonstration Attention, pour la composition, il faut bien prciser les domaines manipuls !
1
La fonction x 7 est continue sur R ( valeurs dans R ) et la fonction x 7 e x lest sur R , donc
x
1
par composition x 7 e x est continue sur R .
1
La fonction x 7 x 2 est continue sur R, donc sur R . Par somme, x 7 x 2 + e x est continue sur R .
1
La fonction x 7 x 2 + e x est continue sur R valeurs dans R+ et x 7 ln x est continue sur R+ , donc
1
par composition x 7 ln x 2 + e x est continue sur R ( valeurs dans R ).
Enfin, la fonction x 7 x 2 est continue sur R . Le rsultat dcoule donc dune dernire composition.

1.4 CARACTRISATION SQUENTIELLE DE LA CONTINUIT

Le rsultat suivant est la version continue dun rsultat analogue sur les limites du chapitre Limites dune fonction .

Thorme (Caractrisation squentielle de la continuit en un point) Soient f : D C une fonction et a D. Les


assertions suivantes sont quivalentes :
(i) f est continue en a.

(ii) Pour toute suite (un )nN de limite a valeurs dans D, la suite f (un ) nN a pour limite f (a).


 Explication  En rsum : Pour une fonction CONTINUE : f lim . . . = lim f (. . .).
n+ n+

 En pratique  Ce thorme est le plus souvent utilis dans le contexte des suites dfinies par une relation de
rcurrence un+1 = f (un ) . SI (un )nN CONVERGE vers un rel et si f est dfinie et CONTINUE en , alors : f () = .

Le rsultat suivant est une application ultra-classique de la caractrisation squentielle de la continuit et de la densit
de Q dans R.

Thorme (quation fonctionnelle des fonctions linaires) Les fonctions f C (R, R) telles que pour tous x, y R :
f (x + y) = f (x) + f ( y) sont exactement les fonctions x 7 x, dcrivant R, i.e. les fonctions linaires de R.

Dmonstration Les fonctions linaires sont bien sr solutions du problme tudi. Rciproquement, soit f
C (R, R). On suppose que pour tous x, y R : f (x + y) = f (x) + f ( y).
1) Montrons que f est impaire. 
Pour tout x R : 0 = f (0) = f x + (x) = f (x) + f (x), donc en effet f (x) = f (x).
2) Montrons que pour tous x R et n N : f (nx) = n f (x). On fixe x R.
Initialisation : f (0.x) = f (0) = f (0 + 0) = f (0) + f (0) = 2 f (0.x), donc : f (0.x) = 0 = 0. f (x).
Hrdit : Soit n N. On suppose que : f (nx) = n f (x). Alors aussitt :

f (n + 1)x = f (nx + x) = f (nx) + f (x) = n f (x) + f (x) = (n + 1) f (x).

3
Christophe Bertault Mathmatiques en MPSI

3) Montrons que pour tous x R et n Z : f (nx) = n f (x). Daprs 2), il nous reste seulement montrer
 1)  2)
le rsultat pour n Z \ N : f (nx) = f (n)x = f (n)x = (n) f (x) = n f (x).
nN
p 
4) On pose : = f (1). Montrons que : f = IdQ . Soit r = Q avec p Z et q Z \ 0 . Alors :
Q q
p
q f (r) = f (qr) = f (p) = f (p.1) = p f (1) = p daprs 3), donc : f (r) = = r.
q
5) Montrons que : f = IdR . Soit x R. Comme Q est dense dans R, nous pouvons nous donner une
suite de rationnels (rn )nN de limite x. Par continuit de f en x et daprs la caractrisation squentielle de
4)
la continuit : f (x) = lim f (rn ) = lim rn = lim

rn = x.
n+ n+ n

2 TROIS THORMES DE CONTINUIT GLOBALE

$ ATTENTION ! $ Les thormes de ce paragraphe ne concernent que les fonctions RELLES. La continuit globale
dsigne la continuit sur un intervalle par opposition la continuit locale en un point.

2.1 RETOUR SUR LA NOTION D INTERVALLE



Rappelons que, par dfinition, pour tous a, b R ventuellement : [a, b] = x R/ axb ,

[a, b[ = x R/ ax<b , et on dfinit de manire analogue ]a, b] et ]a, b[.

Ces ensembles sont tous appels des intervalles, mais du coup la notion dintervalle ne semble pas avoir une dfinition
unique, il faut distinguer des cas. Nous donnons ci-dessous une redfinition sans cas de la notion dintervalle, puis une
caractrisation selon laquelle les intervalles nouveaux ainsi dfinis sont bien exactement ceux que nous connaissions.

Dfinition (Intervalle de R)
On appelle intervalle de R toute partie I de R telle que : x, y I , xy = [x, y] I .

 Explication  Un intervalle de R est ainsi une partie de R qui contient toutes les valeurs intermdiaires des
points quelle contient. On sent que le TVI approche. . .

Exemple Pour tous a, b R avec a b, les ensembles [a, b], [a, b[, ]a, b] et ]a, b[ sont des intervalles au sens de la
dfinition sans cas prcdente.
Dmonstration Pour [a, b[, soient x, y [a, b[ avec x y. Nous devons montrer que : [x, y] [a, b[. Or
pour tout t [x, y] : a x t y < b, donc en effet : t [a, b[.

Le thorme suivant nonce que la rciproque de lexemple prcdent est vraie.

Thorme (Caractrisation des intervalles de R) Les intervalles de R sont exactement les ensembles [a, b], [a, b[,
]a, b] et ]a, b[, a et b dcrivant R avec a b.

Dmonstration Soit I un intervalle de R. La proprit de la borne infrieure/suprieure DANS R montre que


I possde une borne infrieure a et une borne suprieure b. Distinguons plusieurs cas.
Cas o a I et b I : Montrons que : I = [a, b].
Montrons que : [a, b] I . Or I est un intervalle et contient a et b, donc oui : [a, b] I .
Montrons que : I [a, b]. Or pour tout x I , comme a minore I et b majore I , : a x b,
i.e. : x [a, b].

4
Christophe Bertault Mathmatiques en MPSI

Cas o a I et b / I : Montrons que : I = [a, b[.


Montrons que : [a, b[ I . Soit x [a, b[. Comme : x < b et b = sup I , x ne majore pas
I , donc : x < b pour un certain b I . Alors : a x b avec a I et b I , donc comme I
est un intervalle : x I .
Montrons que : I [a, b[. Soit x I . Comme a minore I et b majore I : a x b. Mais :
x I alors que : b / I , donc : a x < b, i.e. : x [a, b[.
Cas o a
/ I et b I : Dans ce cas : I = ]a, b]. Adapter la preuve du cas prcdent.
Cas o a / I et b
/ I : Montrons que : I = ]a, b[.
Montrons que : ]a, b[ I . Soit x ]a, b[. Comme : a < x et a = inf I , x ne minore pas
I , donc : a < x pour un certain a I . Comme : x < b et b = sup I , x ne majore pas I ,
donc x < b pour un certain b I . Alors : a x b avec a I et b I , donc comme I est un
intervalle : x I .
Montrons que : I ]a, b[. Soit x I . Comme a minore I et b majore I : a x b. Mais :
x I alors que : a / I et b / I , donc : a < x < b, i.e. : x ]a, b[.

2.2 LE THORME DES VALEURS INTERMDIAIRES

Thorme (Thorme des valeurs intermdiaires, version existence dun antcdent ) Soient a, b R avec
a b et f C [a, b], R . Tout rel compris entre f (a) et f (b) possde alors AU MOINS un antcdent par f dans [a, b].

Dmonstration (n 1) On suppose
pour simplifier que: f (a) y f (b) raisonnement analogue dans
lautre cas et on pose : X = t [a, b]/ f (t) y .
Comme f (a) y : a X , donc X est une partie non vide de R, par
ailleurs majore par b. La proprit de la borne suprieure nous garantit f (b) b

ainsi lexistence de sup X , que nous notons x. Nous allons prouver lga-
lit : y = f (x) en prouvant successivement que : f (x) y et y = f (x)
f (x) y. La figure ci-contre illustre le bien-fond de cette dmarche. y b b b

Comme : x = sup X , x est la limite dune suite (x n )nN dlments de


X , et comme : f (x n ) y pour tout n N, la caractrisation squen-
f (a) b

tielle de la continuit montre que : f (x) = lim f (x n ) y.


n+

Si x = b : f (x) = f (b) y
par hypothse. Supposons donc x < b. a X x b
1 1
Pour n assez grand, on peut alors dire que : x + [a, b], mais par ailleurs : x + / X . Pour de tels
n n
1
n: f x+ > y donc aprs passage la limite et utilisation de la continuit de f en x : f (x) y.
n

Dmonstration (n 2, par dichotomie) Ici aussi, on suppose pour simplifier que : f (a) f (b) et on pose :
a0 = a et b0 = b. partir de lintervalle [a0 , b0 ] = [a, b], il sagit de construire par rcurrence de nouveaux
intervalles intressants plus petits [a1 , b1 ], [a2 , b2 ], . . . Plus prcisment, soit n N. Supposons quon ait dj
construit des rels a0 , . . . , an , b0 , . . . , bn pour lesquels :
ba
(i) a = a0 . . . a n , bn . . . b0 = b et pour tout k 0, n : bk a k = ,
2k
(ii) pour tout k 0, n : f (ak ) y f (bk ).
On dfinit alors au rang n + 1 les rels an+1 et bn+1 de la manire suivante :

a n + bn a n + bn
an+1 = an et bn+1 = si f y
2 2

a + bn a n + bn
an+1 = n et bn+1 = bn si f < y.
2 2
Je vous laisse dmontrer que ces rels an+1 et bn+1 satisfont les assertions (i) et (ii) au rang n + 1 faites-le !
Les suites (an )nN et (bn )nN ainsi construites sont finalement adjacentes daprs (i), donc possdent une limite
finie commune x [a, b]. Or si nous passons la limite dans (ii), la caractrisation squentielle de la continuit
montre que : f (x) y f (x), i.e. que : y = f (x).

5
Christophe Bertault Mathmatiques en MPSI

f (b) b

y b
Le rel x construit
y = f (x) par dichotomie
f (a) b
x
a = a0 b0 = b
a1 b1
a2 b2
a3 b3
..
.
La version du TVI nonce ci-dessous est une nouveaut pour vous mais pourtant aussi importante que la prcdente.

Thorme (Thorme des valeurs intermdiaires, version image dun intervalle ) Limage dun INTERVALLE par
une fonction continue est un INTERVALLE.

$ ATTENTION ! $ Si I est un INTERVALLE et f : I R une fonction continue, cette version nouvelle du TVI affirme
que f (I ) est galement un INTERVALLE, mais pas que I et f (I ) sont de mme nature. Il se peut que I soit ouvert et f (I ) un
segment, ou bien que I soit semi-ouvert et f (I ) ouvert, etc.
bc

bc

b f (I ) bc f (I ) b

Pas un intervalle b

I I
Un intervalle I ouvert, f (I ) ferm. I semi-ouvert, f (I ) ouvert.
Dmonstration Soient I un INTERVALLE et f C (I , R). Pour montrer que f (I ) est un intervalle, donnons-nous
u, v f (I ) avec : u v et y [u, v], et montrons que : y f (I ). Ce qui est sr, cest que : u = f (a)
et v = f (b) pour certains a, b I , la version prcdente du TVI montre donc que pour un certain x compris
entre a et b : y = f (x). En particulier : x I car I est un intervalle, et enfin : y = f (x) f (I ).

Thorme (TVI strictement monotone) Soient a, b R avec : a < b. Nous nous contenterons de quelques versions
du thorme.
(i) Soit f : [a, b] R une fonctionCONTINUE et STRICTEMENT CROISSANTE.
Alors f est bijective de [a, b] sur f (a), f (b) .
(ii) Soit f : [a, b[ R une fonction CONTINUE et STRICTEMENT DCROISSANTE.
Alors f est bijective de [a, b[ sur lim f , f (a) .
b
(iii) Soit f : ]a, b[ R une fonction  CONTINUEet STRICTEMENT CROISSANTE.
Alors f est bijective de ]a, b[ sur lim f , lim f .
a b
(i) (ii) (iii)
f (b) b
f (a) b lim f bc

f (a) b lim f bc lim f bc

b a

a b a b a b

Dmonstration
 Dans le cas o f est strictement
 croissante
 sur [a, b[, f est bijective de [a, b[ sur son image
f [a, b[ mais a-t-on bien : f [a, b[ = f (a), lim f ? En tout cas, daprs le TVI, f [a, b[ est un intervalle.
b
  
Comme : f (a) f [a, b[ et comme f (a) minore f [a, b[ par croissance de f : f (a) = min f [a, b[ .
 
Ensuite, daprs le thorme de la limite monotone : lim
f = sup f [a, b[ , donc f [a, b[ est lun des in-
    b 
tervalles f (a), lim

f ou f (a), lim
f . Peut-on avoir : lim
f f [a, b[ ? Il existerait dans ce cas un rel
b b b
x [a, b[ pour lequel : f (x) = lim f ,
et aussitt f serait constante gale lim f sur [x, b[, ce qui contredi-
b  b   
rait la STRICTE croissance de f . Conclusion : lim f
/ f [a, b[ , et enfin : f [a, b[ = f (a), lim f .
b b

6
Christophe Bertault Mathmatiques en MPSI

2.3 LE THORME DES BORNES ATTEINTES

Thorme (Thorme des bornes atteintes)

Toute fonction continue sur un SEGMENT y est borne et atteint ses bornes.

Autre version :
Limage dun SEGMENT par une fonction continue est un SEGMENT.

 Explication  Nous avons vu que la continuit ne prserve pas la forme des intervalles en y = f (x)
gnral, mais en tout cas une chose est sre, un segment est toujours transform en un segment. b

$ ATTENTION ! $ Sur un intervalle born qui nest pas un segment, une fonction continue na b

i h
b

aucune raison dtre borne en gnral. Pensez la fonction tangente sur , .


2 2
a b
 
Dmonstration Soient a, b R avec : a b et f C [a, b], R . Daprs le TVI, f [a, b] est un intervalle.
Nous montrerons seulement que f possde un maximum pour un minimum,  remplacer f par f . La proprit
de la borne suprieure DANS R nous autorise poser : s = sup f [a, b] avec peut-tre s = +. Nous

savons que s est la limite dune suite dlments de f [a, b] . Nous pouvons donc nous donner une suite (x n )nN
dlments de [a, b] pour laquelle : lim f (x n ) = s.
n+

Si (x n )nN tait convergente, disons de limite x [a, b], on pourrait aussitt affirmer que : f (x) = s par conti- 
nuit, ce qui montrerait que s R et donc que f est majore mais mme mieux, que : s = max f [a, b] .
Le problme, cest que (x n )nN na aucune raison dtre convergente. Si jamais f atteint un maximum en deux
points u et v distincts, on peut trs bien imaginer que les x n sont tantt autour de u, tantt autour de v. Il faudrait
pouvoir forcer les x n saccumuler tous autour de u ou tous autour de v mais comment faire ?

Bolzano-Weierstrass videmment ! La suite (x n )nN tant borne, elle possde une suite extraite x (n) nN conver-

gente, disons de limite x [a, b]. Or par continuit de f et extraction : f (x) = lim f x (n) = s, donc
n+ 
dune part : s R ce qui montre que f est majore mais dautre part : s = max f [a, b] .

f
Exemple La fonction x 7 x ln x possde un minimum sur ]0, 1].
Dmonstration On pourrait bien sr tudier les variations de f , mais le thorme des bornes atteintes permet
de lviter. Prolonge par continuit en 0 par la valeur 0, f est continue donc possde un minimum sur le SEGMENT
[0, 1]. Ce minimum est en fait atteint sur ]0, 1] car f y est strictement ngative et : f (0) = 0.

Exemple Toute fonction continue priodique dfinie sur R tout entier est borne.
Dmonstration Soient T > 0 et f C (R, R) T -priodique. La fonction f est borne
sur [0, T ] daprs le
thorme des bornes atteintes, donc il existe K 0 tel que pour tout x [0, T ] : f (x) K. Ainisi, pour tout
x jxk x jxk  j x k 

x R, puisque : 1 < , alors : 0 x T < T , donc : f (x) = f x T K.
T T T T T
Cela montre bien que f est borne sur tout R.

2.4 CONTINUIT DUNE RCIPROQUE

Nous avons dj rencontr ce thorme au chapitre Rappels et complments sur les fonctions en version light. Nous
en donnons prsent la version intgrale avec dmonstration.

Thorme (Continuit dune rciproque) Soient I un INTERVALLE et f C (I , R). On note J lintervalle f (I ).


Les assertions suivantes sont quivalentes :

(i) f est strictement monotone sur I . (ii) f injective sur I donc bijective de I sur J .

Dans ces conditions, f 1 est continue et strictement monotone de mme sens de variation que f sur J .

7
Christophe Bertault Mathmatiques en MPSI
y=x

 Explication  Les graphes de f et f 1 sont symtriques lun de lautre par rapport la droite
y = f (x)
dquation y = x. Si le graphe de f peut tre trac sans quon ait lever le crayon, comment le graphe
de f 1 ne le serait-il pas ?
y = f 1 (x)
Fonction injective,
$ ATTENTION ! $ Le moindre point de
NON monotone NON continue.
discontinuit ruine la validit de limplication b

Injective = Strictement monotone . bc

Dmonstration
Pour lquivalence des assertions (i) et (ii), nous savons dj que (i) implique (ii) sans hypothse de conti-
nuit. Pour la rciproque, raisonnons par contraposition en supposant que f nest pas strictement mono-
tone. La fonction f nest alors ni croissante ni dcroissante, donc pour certains x, y, x , y I : x < y
et f (x) > f ( y) dune part, et : x < y et f (x ) < f ( y ) dautre part.
Remarquons ensuite que pour tout [0, 1], le rel (1)x +x est compris entre x et x , donc appartient
I PUISQUE I EST UN INTERVALLE, et il en va de mme du rel (1 ) y + y .
 
Nous pouvons ainsi noter la fonction continue 7 f (1 )x + x f (1 ) y + y de [0, 1]
dans R. Comme : (0) = f (x) f ( y) > 0 et (1) = f (x ) f ( y ) < 0, (0 ) = 0 pour un certain
0 ]0, 1[ daprs le TVI, i.e. : f (10 )x +0 x = f (10 ) y +0 y . Cette galit montre comme
voulu que f nest pas injective car par ailleurs : (1 0 )x + 0 x 6= (1 0 ) y + 0 y dans le cas
contraire, on aurait : (1 0 )(x y) = 0 ( y x ).
| {z } | {z }
<0 >0
Supposons prsent f strictement monotone sur I par exemple strictement croissante. Alors f ralise
une bijection de I sur son image J un intervalle daprs le TVI et f 1 : J I est croissante sur J .
Soit b J . Sous lhypothse que f 1 est dfinie au voisinage de b gauche, nous montrerons seulement
que f 1 est continue gauche en b mme travail droite. Daprs le thorme de la limite monotone,
la limite lim f 1 ( y) existe, notons-la . Comme : lim f (x) = f () par continuit de f en , alors :
yb x

lim f f 1 ( y) = f () par composition, i.e. : f () = b, et enfin : lim f 1 = = f 1 (b).
yb b

Exemple En dbut danne, lexistence des fonctions arcsinus, arccosinus et arctangente a dcoul du TVI strictement
monotone et leur continuit du thorme de continuit dune rciproque.

La preuve de continuit de f 1 peut tre adapte la recherche des limites aux bornes dune rciproque. Voyons cela sur
un exemple. Ingrdient majeur le thorme de la limite monotone.

Exemple Soit f C (R+ , R). On suppose que f est strictement croissante sur R+ et que : lim f = R. Alors f est
+
1
bijective de R+ sur [0, [ et : lim f = +.

Dmonstration Le TVI strictement monotone garantit la bijectivit de f de R+ sur [0, [. Ensuite, f 1 tant
croissante, le thorme de la limite monotone nous assure lexistence de la limite lim f 1 ( y), notons-la L. Que
y
 
1 1
vaut L ? Par composition : f f (x) L, mais par ailleurs : f f (x) = x +, donc :
x+ x+
L = +.