Vous êtes sur la page 1sur 49

Universit Joseph Fourier, Grenoble

Maths en Ligne

Limites et continuit
Bernard Ycart
Vous avez dj une comprhension intuitive de ce quest la limite dune fonction. Ce
chapitre nen est pas moins le plus important de votre cours danalyse. Cest loccasion
ou jamais de comprendre les epsilons ! Votre travail devrait tre facilit si vous avez
dj assimil le chapitre sur les suites, mais ce nest pas indispensable.

Table des matires


1 Cours
1.1 Vocabulaire . . . . . . . . . . . . . .
1.2 Convergence . . . . . . . . . . . . . .
1.3 Oprations sur les limites . . . . . . .
1.4 Limites unilatrales . . . . . . . . . .
1.5 Convergence des fonctions monotones
1.6 Comparaison de fonctions . . . . . .
1.7 Limites connatre . . . . . . . . . .
1.8 Continuit en un point . . . . . . . .
1.9 Continuit sur un intervalle . . . . .
2 Entranement
2.1 Vrai ou faux . . .
2.2 Exercices . . . . .
2.3 QCM . . . . . . .
2.4 Devoir . . . . . .
2.5 Corrig du devoir

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

3 Complments
3.1 Cauchy et les limites . . . . . . . . . .
3.2 Continuit uniforme . . . . . . . . . . .
3.3 Arguments de continuit . . . . . . . .
3.4 Discontinuits des fonctions monotones
3.5 Pourquoi dfinir la continuit ? . . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

8 novembre 2011

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.

1
1
2
5
7
10
10
15
16
18

.
.
.
.
.

22
22
25
31
34
35

.
.
.
.
.

42
42
43
46
48
49

Limites et continuit

Maths en Ligne

1
1.1

UJF Grenoble

Cours
Vocabulaire

Une fonction f de R dans R est dfinie par son graphe : cest un sous-ensemble
de R R, tel que pour tout x R, au plus un rel y vrifie (x, y) . Sil existe,
ce rel y est limage de x et est not f (x). Lensemble des x qui ont une image par f
est le domaine de dfinition de f . Nous le noterons Df . La notation standard est la
suivante :
f
Df R
x 7 f (x)
Si A est un sous-ensemble de Df , limage de A, note f (A), est lensemble des images
des lments de A.
f (A) = { f (x) , x A }
Si B est un sous-ensemble de R, limage rciproque de B, note f 1 (B), est lensemble
des antcdents des lments de B.
f 1 (B) = { x Df , f (x) B }
Attention la notation f 1 : f 1 (B) est dfini mme si f nest pas bijective. Par
exemple, si f est lapplication valeur absolue, x 7 |x|,
f (] 2, 1[) = [0, 2[ et f 1 ([1, 2]) = [2, 1] [1, 2]
Dfinition 1. Soit f une fonction, de domaine de dfinition Df , valeurs dans R.
On dit que f est :
constante si x, y Df , f (x) = f (y)
croissante si x, y Df , (x 6 y) = (f (x) 6 f (y))
dcroissante si x, y Df , (x 6 y) = (f (x) > f (y))
strictement croissante si x, y Df , (x < y) = (f (x) < f (y))
strictement dcroissante si x, y Df , (x < y) = (f (x) > f (y))
monotone si elle est croissante ou dcroissante
majore si f (Df ) est major
minore si f (Df ) est minor
borne si f (Df ) est born
Le plus souvent, ces dfinitions sappliqueront des restrictions de f un intervalle
I inclus dans Df .
f|I
I R
x 7 f (x)

Limites et continuit

Maths en Ligne

UJF Grenoble

Dfinition 2. Soit f une fonction de R dans R et x Df . Soit P une des proprits


de la dfinition 1. On dit que f possde la proprit P
au voisinage de x sil existe un intervalle ouvert I contenant x, tel que la restriction de f I possde la proprit P .
au voisinage de + sil existe un rel A tel que la restriction de f ]A, +[
possde la proprit P .
au voisinage de sil existe un rel A tel que la restriction de f ] , A[
possde la proprit P .
Par exemple, la fonction valeur absolue x 7 |x|, est :
dcroissante au voisinage de
dcroissante au voisinage de 1
croissante au voisinage de 1
croissante au voisinage de +
borne au voisinage de 0
Les oprations sur les rels stendent aux fonctions de manire naturelle.
addition :
f +g
Df Dg R
x 7 (f + g)(x) = f (x) + g(x)
multiplication :
fg
Df Dg R
x 7 (f g)(x) = f (x)g(x)
multiplication par un rel :
f
Df R
x 7 (f )(x) = (f (x))
comparaison :
f 6 g x Df Dg , f (x) 6 g(x)
Laddition a les mmes proprits que celle des rels : lensemble des fonctions de R
dans R muni de laddition est un groupe commutatif. Muni de laddition et de la
multiplication par un rel, cest un espace vectoriel. Cependant, le produit de deux
fonctions peut tre nul sans que les deux fonctions le soient.

1.2

Convergence

Nous commenons par la convergence en un point, vers une limite finie. Afin dviter
les cas pathologiques, nous supposerons toujours que les fonctions tudies sont dfinies
au voisinage du point considr (cf. dfinition 2).
2

Limites et continuit

Maths en Ligne

UJF Grenoble

Dfinition 3. Soit a un rel et f une fonction dfinie au voisinage de a, sauf peut-tre


en a, et valeurs dans R. Soit l un rel. On dit que f tend vers l quand x tend vers
a, ou que f a pour limite l en a si
> 0 , > 0 ,

(0 < |x a| 6 ) = (|f (x) l| 6 )

(1)

On notera :
ou bien f (x) l .

lim f (x) = l

xa

xa

Tout intervalle centr en l contient toutes les valeurs f (x), pour x suffisamment
proche de a. Observez que f peut trs bien ne pas tre dfinie en a, et admettre quand
mme une limite en a. Voici un premier exemple (figure 1).
f
R R
x 7 f (x) = x sin(1/x)
Pour tout x R , 1 6 sin(1/x) 6 1. Donc si |x| 6 et x 6= 0, alors |x sin(1/x)| 6 :
0.30

f(x)

f(x)=x sin(1/x)

0.24
0.18
0.12
0.06
0.00

-0.06
-0.12
-0.18
-0.24

-0.30
-0.30 -0.24 -0.18 -0.12 -0.06 0.00 0.06 0.12 0.18 0.24 0.30

Figure 1 Graphe de la fonction x 7 x sin(1/x).


f (x) tend vers 0 quand x tend vers 0.
La convergence peut se caractriser en termes de suites.
Thorme 1. Soit a un rel et f une fonction dfinie au voisinage de a, sauf peut-tre
en a, et valeurs dans R. Soit l un rel. La fonction f tend vers l quand x tend vers
a, si et seulement si, pour toute suite (xn ), valeurs dans Df \ {a} et convergeant vers
a, la suite (f (xn )) converge vers l.
Dmonstration : Montrons dabord la condition ncessaire : si f tend vers l au sens
de la dfinition 3, alors pour toute suite (xn ) convergeant vers a, la suite (f (xn )) tend
vers l.
3

Limites et continuit

Maths en Ligne

UJF Grenoble

Soit > 0, et tel que si 0 < |x a| 6 , alors |f (x) l| < . Soit (xn ) une suite
de Df \ {a} convergeant vers a. Il existe n0 tel que pour tout n > n0 , 0 < |xn a| 6 .
Mais 0 < |xn a| 6 entrane |f (xn ) l| 6 , par hypothse. Donc la suite (f (xn ))
converge vers l.
Voici maintenant la condition suffisante, dont nous allons dmontrer la contrapose :
si f ne tend pas vers l, alors il existe une suite (xn ) convergeant vers a telle que la suite
(f (xn )) ne tend pas vers l. Ecrivons donc que f ne tend pas vers l.
> 0 , > 0 ,

x Df ,

(0 < |x a| 6 ) (|f (x) l| > )

Posons = 1/n :
x Df ,

(0 < |x a| 6 1/n) (|f (x) l| > )

Notons xn un des rels dont lexistence est affirme ci-dessus. La suite (xn ) converge
vers a car |xn a| < 1/n, pourtant la suite (f (xn )) ne tend pas vers l, car |f (xn )l| > .

Voici deux consquences faciles de la dfinition.
Proposition 1. Soit f une fonction de R dans R et a un rel.
1. Si f (x) converge quand x tend vers a, alors la limite est unique.
2. Si a Df et si f (x) converge vers l R quand x tend vers a, alors f est borne
au voisinage de a.
Dmonstration :
1. Supposons que f vrifie la dfinition 3 pour deux rels l et l0 distincts. Posons
= |l l0 |/3. Alors les intervalles [l , l + ] et [l0 , l0 + ] sont disjoints. Pour
x suffisamment proche de a, le rel f (x) devrait appartenir aux deux intervalles
la fois : cest impossible.
2. Fixons > 0, et tel que f (x) reste dans lintervalle ]l , l + [ pour tout
0 < |x a| 6 . Alors :
x [a , a + ] Df ,

f (x) 6 l +

x [a , a + ] Df ,

f (x) > l

et
Donc f est majore et minore au voisinage de a.


Limites et continuit

Maths en Ligne

1.3

UJF Grenoble

Oprations sur les limites

La notion de limite se combine avec les oprations sur les fonctions comme on
lattend. Nous noncerons les rsultats dans le thorme 2. Ils peuvent se dduire des
rsultats analogues sur les suites numriques, via le thorme 1. Nous conseillons au
lecteur de le vrifier, puis de comparer cette approche avec les dmonstrations directes
qui suivent. Elles sont bases sur le lemme suivant.
Lemme 1. Soit a un rel. Soient f et g deux fonctions de R dans R, dfinies au
voisinage de a, sauf peut-tre en a.
1. Si
lim f (x) = lim g(x) = 0

xa

xa

alors
lim (f + g)(x) = 0

xa

2. Si f est borne au voisinage de a et


lim g(x) = 0 ,

xa

alors
lim (f g)(x) = 0

xa

Dmonstration :
1. Fixons > 0. Soit 1 tel que pour 0 < |xa| 6 1 , |f (x)| 6 /2. De mme, soit 2
tel que pour 0 < |x a| 6 2 , |g(x)| < /2. Alors, pour 0 < |x a| 6 min{1 , 2 },
|(f + g)(x)| = |f (x) + g(x)| 6 |f (x)| + |g(x)| 6


+ =,
2 2

do le rsultat.
2. Soit 1 et M deux rels tels que
x [a 1 , a + 1 ] ,

|f (x)| 6 M .

Fixons > 0. Soit 2 tel que pour 0 < |x a| 6 2 , |g(x)| 6 /M . Alors, pour
0 < |x a| 6 min{1 , 2 },
|(f g)(x)| = |f (x)| |g(x)| 6 M

=,
M

do le rsultat.

Thorme 2. Soit a un rel. Soient f et g deux fonctions de R dans R, dfinies sur
un intervalle ouvert autour de a.
5

Limites et continuit

Maths en Ligne

UJF Grenoble

1. Si
lim f (x) = l

et

xa

lim g(x) = l0

xa

alors
lim (f + g)(x) = l + l0

xa

2. Si
lim f (x) = l

et

xa

lim g(x) = l0

xa

alors
lim (f g)(x) = ll0

xa

Dmonstration : Pour nous ramener au lemme 1, observons dabord que f (x) tend
vers l quand x tend vers a, si et seulement si f (x) l tend vers 0.
1. Quand x tend vers a, f (x) tend vers l et g(x) tend vers l0 , donc f (x)l et g(x)l0
tendent vers 0. Donc
f (x) l + g(x) l0 = (f + g)(x) (l + l0 )
tend vers 0 daprs le point 1. du lemme 1. Do le rsultat.
2. Nous voulons montrer que f (x)g(x) ll0 tend vers 0. Ecrivons :
f (x)g(x) ll0 = f (x)(g(x) l0 ) + (f (x) l)l0 .
Il suffit de montrer sparment que les deux fonctions f (g l0 ) et (f l)l0 tendent
vers 0, daprs le premier point du lemme 1. Mais chacune de ces deux fonctions
est le produit dune fonction convergeant vers 0 par une fonction borne au voisinage de 0 (f est borne au voisinage de 0 car elle converge). Do le rsultat,
par le point 2. du lemme 1.

Si une application est constante, sa limite en tout point est gale cette constante.
Comme cas particulier du thorme 2, si f (x) tend vers l quand x tend vers a, et est
un rel quelconque, alors la limite en a de f (x) est l.
Le rsultat attendu sur la composition des limites se vrifie, un dtail prs.
Thorme 3. Soient a et b deux rels. Soit f et g deux fonctions dfinies respectivement au voisinage de a et au voisinage de b, g tant dfinie en b. On suppose :
lim f (x) = b

xa

lim g(y) = g(b) .

et

yb

Alors
lim g f (x) = g(b) .

xa

Maths en Ligne

Limites et continuit

UJF Grenoble

Dmonstration : Soit un rel strictement positif. Il existe 1 > 0 tel que


|y b| 6 1 = |g(y) g(b)| 6
Il existe 2 tel que
0 < |x a| 6 2 = |f (x) b| 6 1
Donc :
0 < |x a| 6 2 = |g(f (x)) g(b)| 6


1.4

Limites unilatrales

Une fonction f peut converger vers une limite finie, comme nous lavons vu prcdemment, ou bien + ou . De plus les valeurs de la variable, qui approchaient a
des deux cts dans les dfinitions prcdentes, peuvent ne lapprocher que dun seul
ct : ce sont les notions de limite gauche, et de limite droite. On peut aussi chercher une limite quand x tend vers + et . Au total, ce ne sont pas moins de 15
dfinitions diffrentes que nous devons donner. Vous reconnatrez dans ces dfinitions
un principe gnral : f (x) tend vers l (fini ou infini) quand x tend vers a (fini ou infini),
si pour tout voisinage Vl de l, il existe un voisinage Va de a tel que f (Va \ {a}) Vl . La
dfinition prcise de la notion de voisinage relve de la topologie, et dpasse le cadre de
ce cours. Un voisinage de + sera compris comme un intervalle de la forme [A, +[.
De mme, un voisinage de sera un intervalle de la forme ] , A]. Un voisinage
gauche dun rel a sera un intervalle du type [a , a[, tandis quun voisinage
droite sera de la forme ]a, a + ]. Nous donnons les diffrentes dfinitions sous
forme de tableaux. Plutt que dapprendre les 5 tableaux par cur, il est conseill den
comprendre le principe pour tre capable de retrouver ces dfinitions en cas de besoin.

Notation
lim f (x) = l
xa

Limites bilatrales
Dfinition
Exemple
, 0 < |x a| 6 = |f (x) l| 6 lim x = 0
x0

lim f (x) = + A , 0 < |x a| 6 = f (x) > A

xa

lim f (x) = A , 0 < |x a| 6 = f (x) 6 A

xa

Notation
lim f (x) = l

xa

Limites gauche
Dfinition
, a 6 x < a = |f (x) l| 6

lim f (x) = + A , a 6 x < a = f (x) > A

xa

lim f (x) = A , a 6 x < a = f (x) 6 A

xa

lim 1/|x| = +

x0

lim 1/|x| =

x0

Exemple
lim x/|x| = 1

x0

lim 1/x = +

x0

lim 1/x =

x0

Limites et continuit

Maths en Ligne

Notation
lim+ f (x) = l

xa

UJF Grenoble

Limites droite
Dfinition
, a < x 6 a + = |f (x) l| 6

lim f (x) = + A , a < x 6 a + = f (x) > A

xa+

lim f (x) = A , a < x 6 a + = f (x) 6 A

xa+

Exemple
lim+ x/|x| = +1

x0

lim 1/x = +

x0+

lim 1/x =

x0+

La limite bilatrale des sections prcdentes peut se caractriser en termes de limites


gauche et droite.
Proposition 2. Soit f une fonction de R dans R et a un rel. La fonction f admet l
pour limite en a, si et seulement si elle admet l pour limite gauche et droite en a.
Dmonstration : Nous le dmontrons pour une limite finie. Ce qui suit est facile
adapter une limite infinie. La condition ncessaire est vidente au vu des dfinitions.
Pour la condition suffisante, supposons
lim f (x) = lim+ f (x) = l

xa

xa

Fixons > 0. Il existe 1 et 2 tels que


a 1 6 x < a = |f (x) l| 6 et a < x 6 a + 2 = |f (x) l| 6
Prenons = min{1 , 2 }, alors
0 < |x a| 6 = |f (x) l| 6 .

Voici maintenant les dfinitions des limites en + et .
Notation
lim f (x) = l

Limites en
Dfinition
B , x 6 B = |f (x) l| 6

Exemple
lim 1/x = 0

lim f (x) = + A B , x 6 B = f (x) > A

lim f (x) = A B , x 6 B = f (x) 6 A

x
x

Notation
lim f (x) = l

x+

Limites en +
Dfinition
B , x > B = |f (x) l| 6

lim x = +
lim x =

Exemple
lim 1/x = 0

x+

lim f (x) = + A B , x > B = f (x) > A

x+

lim f (x) = A B , x > B = f (x) 6 A

x+

x+
x+

lim x = +
lim x =

Maths en Ligne

Limites et continuit

UJF Grenoble

Pour chacune de ces dfinitions, il existe une caractrisation en termes de suites, analogue au thorme 1. Par exemple, la limite gauche de f en a vaut si et seulement
si pour toute suite (xn ) convergeant vers a et telle que pour tout n, xn < a, la suite
(f (xn )) tend vers . Nous laissons au lecteur le soin de dmontrer, titre dexercice,
chacune de ces caractrisations, sur le modle du thorme 1.
En ce qui concerne les oprations, le thorme 2 stend aux limites gauche, droite,
en et en +, sans aucune difficult. Les seuls problmes viennent des limites ventuellement infinies. Dans le cas o les limites de f et g peuvent tre infinies, diffrentes
situations peuvent se produire pour la somme et le produit. Nous les rsumons dans
les tableaux 1 et 2. Dans ces deux tableaux, lim dsigne indiffremment une limite
bilatrale, gauche, droite, en ou en + (du mme type pour f et g). Les
points dinterrogations sont des formes indtermines : tous les cas sont possibles. Par
exemple :
f (x) = 1/|x|, g(x) = 1/|x| : f + g tend vers 0 quand x tend vers 0.
f (x) = 1/|x|, vn = 1/x2 : f + g tend vers quand x tend vers 0.
f (x) = 1/|x|, g(x) = sin(1/x) 1/|x| : f + g na pas de limite en 0.
lim f (x) \ lim g(x)
l0
+
l
l + l0 +
+
+ +
?

?
Table 1 Limites possibles de f + g en fonction des limites de f et g.

lim f (x) \ lim g(x) l0 > 0 l0 < 0 l = 0


l>0
ll0
ll0
0
0
l<0
ll
ll0
0
l=0
0
0
0
+
+
?

+
?

+
+

?
+

+
?

Table 2 Limites possibles de f g en fonction des limites de f et g.

Mises part les formes indtermines, chacune des cases des tableaux 1 et 2 rsume 5
thormes : un pour chacun des diffrents types de limites. Il est conseill au lecteur
de les dmontrer, soit directement sur le modle du thorme 2, soit en utilisant la
caractrisation par les suites voque plus haut.
9

Limites et continuit

Maths en Ligne

1.5

UJF Grenoble

Convergence des fonctions monotones

Comme pour les suites, la monotonie entrane lexistence de limites .


Thorme 4. Soit ]a, b[ un intervalle ouvert, et f une fonction croissante sur ]a, b[.
Les limites de f droite en a et gauche en b existent et :
lim f (x) = inf(f (]a, b[))

xa+

lim f (x) = sup(f (]a, b[))

xb

Dmonstration : Supposons dabord que f est minore : f (]a, b[) est une partie minore
de R, elle admet donc une borne infrieure finie, notons-la l. Soit un rel positif fix.
Par dfinition de la borne infrieure, il existe c ]a, b[ tel que l 6 f (c) 6 l + . Mais
alors, puisque f est croissante,
a < x 6 c = l 6 f (x) 6 l +
Donc f admet l pour limite droite en a. Si f nest pas minore, pour tout A, il existe
c ]a, b[, tel que f (c) 6 A. Puisque f est croissante :
a < x 6 c = f (x) 6 f (c) 6 A
Donc la limite droite de f en a est .
Pour la limite gauche en b, on procde de manire analogue, en distinguant le cas
o f est majore, du cas o elle ne lest pas.

Lnonc du thorme 4, reste vrai si a = , ou b = +. Evidemment, le mme
rsultat vaut pour une fonction dcroissante, en inversant le rle de sup et inf. On
retiendra que
toute fonction monotone sur un intervalle admet une limite gauche
et une limite droite en tout point de cet intervalle.
La limite gauche peut trs bien ne pas tre gale la limite droite. Par exemple,
la fonction partie entire est croissante sur R, et pour tout n Z,
lim bxc = n 1 et

xn

1.6

lim bxc = n

xn+

Comparaison de fonctions

Dans cette section, a est un rel quelconque, et nous considrons la limite (bilatrale)
dune fonction f en a, au sens de la dfinition 3. Toutes les fonctions sont supposes
tre dfinies au voisinage de a, sauf peut-tre en a.
Tous les rsultats de la section valent aussi pour des limites gauche, droite, en
et en +. Ladaptation des dmonstrations aux autres types de limite est un
exercice conseill.
Le rsultat de base pour comparer deux limites est le suivant.
10

Limites et continuit

Maths en Ligne

UJF Grenoble

3
2

Figure 2 Graphe de la fonction partie entire x 7 bxc.


Thorme 5. Soient a un rel, f et g deux fonctions dfinies sur un intervalle ouvert
I contenant a. Si pour tout x I, f (x) g(x), alors
lim f (x) 6 lim g(x) .

xa

xa

Dmonstration : Supposons lim f (x) > lim g(x). Alors la limite en a de la fonction f g
est strictement positive. Notons l cette limite. Il existe > 0 tel que 0 < |x a| 6
entrane f (x) g(x) [ 2l , 3l2 ], donc f (x) g(x) > 0, ce qui contredit lhypothse. 
Le fait de supposer f (x) < g(x) ne renforce pas la conclusion : bien que |x| < 2|x|
pour tout x R ,
lim |x| = lim 2|x| = 0 .
x0

x0

Le thorme 5 ne permet pas de dmontrer que lune des deux fonctions f ou g


converge en a. Pour cela, on utilise souvent le rsultat suivant.
Thorme 6. Soient f et g deux fonctions telles que g(x) tend vers 0 quand x tend vers
a. Sil existe un intervalle ouvert I contenant a tel que pour tout x I, |f (x)| 6 |g(x)|,
alors f (x) tend vers 0 en a.
Dmonstration : Pour tout > 0, il existe tel que pour 0 < |x a| 6 :
|f (x)| 6 |g(x)| 6 ,
do le rsultat.

On en dduit le corollaire suivant.

11

Limites et continuit

Maths en Ligne

UJF Grenoble

Corollaire 1. Soient f , g et h trois fonctions telles que quand x tend vers a, f (x)
et h(x) convergent vers la mme limite l. Supposons de plus quil existe un intervalle
ouvert I contenant a, tel que pour tout x I,
f (x) 6 g(x) 6 h(x) .
alors g(x) converge vers l.
Dmonstration : Il suffit dappliquer le thorme 6 aux deux fonctions h g et h f .

Soit par exemple
g
R R
x 7 g(x) = x sin(1/x)

Posons f (x) = |x|, h(x) = |x|. Les deux fonctions f et h tendent vers 0 en 0, et pour
tout x R ,
f (x) 6 g(x) 6 h(x)
Donc g(x) tend vers 0 quand x tend vers 0, comme f et h (cf. figure 1).
La comparaison vaut aussi pour les limites infinies.
Thorme 7. Soient a un rel, f et g deux fonctions dfinies sur un intervalle ouvert
I contenant a. Supposons que, pour tout x I, f (x) g(x).
1.
Si lim f (x) = +
xa

alors

lim g(x) = + .

xa

2.
Si lim g(x) = alors
xa

lim f (x) = .

xa

Dmonstration : Pour tout A, il existe tel que pour 0 < |x a| < :


g(x) > f (x) > A ,
donc g tend vers + si f tend vers +. La dmonstration de lautre affirmation est
analogue.

Le vocabulaire de la comparaison des fonctions est analogue celui des suites, avec
la difficult supplmentaire quil faut toujours savoir de quelle limite il sagit (bilatrale,
gauche, droite, en ou en +). Nous crivons la dfinition ci-dessous pour des
limites bilatrales en a, elle sadapte sans problme aux 4 autres types de limites.
Dfinition 4. Soient a un rel, f et g deux fonctions dfinies sur un intervalle ouvert
I contenant a.
12

Limites et continuit

Maths en Ligne

UJF Grenoble

1. On dit que la fonction f est domine par la fonction g au voisinage de a si :


M R , x I ,

|f (x)| M |g(x)| .

On crit f (x) = O(g(x)), qui se lit f (x) est un grand O de g(x) (au voisinage
de a).
2. On dit que la fonction f est ngligeable devant la fonction g si :
> 0 , ,

0 < |x a| 6 = |f (x)| 6 |g(x)| .

On crit f (x) = o(g(x)), qui se lit f (x) est un petit o de g(x) (au voisinage
de a).
3. On dit que la fonction f est quivalente la fonction g si :
> 0 , ,

0 < |x a| 6 = |f (x) g(x)| 6 |g(x)| .

On crit f (x) g(x), qui se lit f (x) est quivalent g(x) (au voisinage de
a).
Trs souvent, on appliquera ces dfinitions pour une fonction g non nulle au voisinage de a, sauf peut-tre en a ; dans ce cas, la comparaison se lit sur le rapport
f (x)/g(x).
Proposition 3. Soient a un rel, f et g deux fonctions dfinies sur un intervalle ouvert
I contenant a. On suppose que la fonction g ne sannule pas sur I \ {a}.
1. f est domine par g au voisinage de a si et seulement si le quotient f /g est
born :


f (x)


M R , x I \ {a} ,
M .
g(x)
2. f est ngligeable devant g si et seulement si le quotient f /g tend vers 0 :
> 0 , ,

0 < |x a| 6 =



f (x)




g(x)

6.

3. f est quivalente g si et seulement si le quotient f /g tend vers 1 :


> 0 , ,

0 < |x a| 6 =


f (x)


g(x)

6.

Par exemple, au voisinage de 0 :

4x2 + 9x = O( x) , 4x2 + 9x = o(x1/4 ) , 4x2 + 9x 3 x .


Au voisinage de + :

4x2 + 9x = O(x) , 4x2 + 9x = o(x2 ) , 4x2 + 9x 2x .


13

Limites et continuit

Maths en Ligne

UJF Grenoble

Insistons sur la ncessit de bien prciser le type de limite que lon considre. Le plus
souvent, il sagira de limites en + ou de limites droite en 0. On passe des unes
aux autres en remplaant la variable x par y = 1/x. Pour tudier une limite en a, on
se ramne une limite en 0 en posant x a = y. Le changement de variable y = x
permet de passer des limites gauche aux limites droite, des limites en aux
limites en +.
Observons que f (x) = o(g(x)) entrane f (x) + g(x) g(x), ce qui est particulirement utile pour les polynmes. Les quivalents sont souvent utiliss pour le calcul
de limites de produits ou de quotients, car si f1 (x) g1 (x), et f2 (x) g2 (x) alors
f1 (x)f2 (x) g1 (x)g2 (x). Par contre il ne faut pas les utiliser pour des sommes. Par
exemple, au voisinage de + :
f (x) = x + sin(x) x et g(x) = x + sin(x) x
Pourtant, f (x) + g(x) nest pas quivalent 0.
Soit f la fonction dfinie sur ]0, +[ par :

x2 + x + 1
.
f (x) =
3
8x3 + x2
Commenons par les limites droite en 0. Le numrateur tend vers 1 en 0. Pour le
dnominateur 8x3 = o(x2 ), donc f (x) x2/3 :
lim+

x0

f (x)
=1
x2/3

Considrons
maintenant les limites en +.
Puisque x + 1 = o(x2 ), x2 + x + 1 x2 et

3
x2 + x + 1 x. Pour le dnominateur, 8x3 + x2 2x, donc f (x) tend vers 1/2.
lim f (x) =

x+

1
2

Nous admettrons pour linstant les quivalents suivants au voisinage de 0, qui seront
justifis plus loin. Vous devez les connatre par cur.
Thorme 8. Au voisinage de 0, sin(x), ex 1 et ln(1 + x) sont quivalents x.
sin(x)
ex 1
ln(1 + x)
= lim
= lim
=1
x0
x0
x0
x
x
x
lim

Nous rassemblons dans la section suivante dautres limites classiques concernant


lexponentielle et le logarithme, quil est galement bon de connatre.

14

Limites et continuit

Maths en Ligne

1.7

UJF Grenoble

Limites connatre

Les limites tudies dans cette section permettent de comparer exponentielles, logarithmes et puissances de x. Vous connaissez certainement dj le comportement de
ces fonctions au voisinage de 0 et de +.
lim ln(x) = lim x = lim ex = +

x+

x+

x+

Vous connaissez sans doute aussi le rsultat suivant.


Proposition 4. Soit b un rel strictement positif.
lim ebx = 0 .

x+

Dmonstration : Posons f (x) = ebx . La fonction f est dcroissante, donc elle admet
une limite en +. Pour identifier cette limite, il suffit de trouver la limite de la suite
(ebxn ), o (xn ) est une suite particulire tendant vers +. Pour tout n N, posons
xn = n ln(2)/b. Comme ln(2) ' 0.69 et b sont positifs, (xn ) tend vers +. On a

ebxn = 2n , qui tend vers 0 quand n tend vers linfini.
Proposition 5. Soient a et b deux rels strictement positifs.
lim xa ebx = 0 .

x+

Dmonstration : Posons f (x) = xa ebx . Ltude des variations de la fonction f sur


R+ , montre quelle est croissante sur [0, a/b], dcroissante sur [a/b, +[. Comme elle
est minore par 0, elle admet une limite en +. Comme f (x) > 0 sur ]0, +[, la
limite de f en + est positive ou nulle. Il nous reste montrer quelle est nulle. Pour
cela observons que ce que nous avons dit de f reste vrai si on remplace b par b/2 : la
fonction qui x associe xa e(b/2)x admet un maximum en x = 2a/b. On a donc :
f (x) = xa ebx = xa e(b/2)x e(b/2)x 6 (2a/b)a ea e(b/2)x
Or e(b/2)x tend vers 0 quand x tend vers + (proposition 4). Do le rsultat.

Ce rsultat peut paratre paradoxal : si a = 100, x100 crot trs vite (2100 ' 1030 ),
et si b = 0.01, ebx dcrot lentement (e0.02 ' 0.98). Pourtant, cest lexponentielle qui
finit par lemporter et la limite en + est nulle.
On retiendra que :
lexponentielle lemporte sur les puissances de x,
les puissances de x lemportent sur le logarithme.

15

Limites et continuit

Maths en Ligne

UJF Grenoble

Cest un moyen mnmotechnique de lever des indterminations du type 0 dans


les calculs de limite : si lun des facteurs lemporte sur lautre, cest lui qui dicte
la limite. Par exemple, dans la proposition 5, la limite de xa ebx est la mme que celle
de ebx , bien que xa tende vers +. Nous rassemblons dans la proposition ci-aprs
quelques exemples de limites du mme type que celle de la proposition 5. Toutes sen
dduisent par des changements de variables : cest un exercice facile que nous vous
conseillons.
Proposition 6. Soient a et b deux rels strictement positifs.
lim xa ebx = 0

lim xa ebx = +

x+

x+

lim |x|a ebx = +

lim |x|a ebx = 0

lim (ln(x))a xb = 0

lim (ln(x))a xb = +

x+

lim | ln(x)|a xb = + .

lim | ln(x)|a xb = 0

x0+

1.8

x+
x0+

Continuit en un point

Une fonction f est continue en a quand elle admet f (a) comme limite en a.
Dfinition 5. Soit a un rel et f une fonction dfinie au voisinage de a. On dit que f
est :
1. continue en a si
lim f (x) = f (a)

xa

soit :
> 0 , > 0 ,

|x a| 6 = |f (x) f (a)| 6

2. continue gauche en a si
lim f (x) = f (a)

xa

soit :
> 0 , > 0 ,

0 6 a x 6 = |f (x) f (a)| 6

3. continue droite en a si
lim f (x) = f (a)

xa+

soit :
> 0 , > 0 ,

0 6 x a 6 = |f (x) f (a)| 6

Par exemple la fonction partie entire x 7 bxc est continue en a si a nest pas un
entier. Elle est continue droite (mais pas gauche) en a si a est entier : voir figure 2.
On dduit du thorme 1 une caractrisation de la continuit en termes de suites.
16

Maths en Ligne

Limites et continuit

UJF Grenoble

Thorme 9. La fonction f est continue en a, si et seulement si pour toute suite de


rels (xn ) telle que n , xn Df et convergeant vers a, la suite (f (xn )) converge vers
f (a).
Observons que si une fonction est continue en un point, elle est ncessairement
dfinie en ce point. Nous avons vu quune fonction f pouvait admettre une limite en
a, sans tre dfinie en a. Si cest le cas, on appelle prolongement par continuit de f
en a, la fonction f , dfinie sur Df {a}, et telle que
x Df , f (x) = f (x) et f (a) = xa
lim f (x)
Par exemple,
f
R R
x 7 f (x) = x sin(1/x)
Cette fonction peut tre prolonge par continuit en 0 :
f
R R
x 7 f (x) = x sin(1/x) si x 6= 0
0 7 f (0) = 0
Des thormes 2 et 3, on dduit que la somme, le produit, la compose de deux fonctions
continues sont continues.
Thorme 10. Soient f et g deux fonctions. Soit a un rel.
1. Si f et g sont continues en a, alors f + g et f g sont continues en a.
2. Si f est continue en a et g est continue en f (a), alors g f est continue en a.
Ce thorme permet de dmontrer la continuit de toutes les fonctions que vous
aurez examiner, condition dadmettre la continuit des briques de base que
sont les fonctions usuelles.
Toutes les fonctions usuelles sont continues en tout point o elles sont dfinies
Ceci concerne les fonctions puissances, exponentielle, logarithme, sinus, cosinus, mais
exclut bien sr la partie entire et la partie dcimale.
titre dexemple, nous allons le dmontrer pour la fonction x 7 1/x.
Proposition 7. La fonction f qui x associe 1/x est continue en tout point de R .
Dmonstration : Soit a un rel non nul. Soit > 0. Notons
= min{a2 /2, |a|/2}

17

Limites et continuit

Maths en Ligne

UJF Grenoble

Si |x a| 6 , alors |x| > |a|/2. Donc :


1 |x a|
|x a|
=
6 2
x a
|a| |x|
a /2

Donc, |x a| 6 entrane |f (x) f (a)| 6 .

Les fonctions constantes, ainsi que la fonction identit x 7 x sont videmment


continues en tout point de R. Du thorme 10, on dduit quil en est de mme pour
les fonctions polynmes. En utilisant la proposition 7, on obtient que toute fraction
rationnelle (quotient de deux fonctions polynmes) est continue en tout point o son
dnominateur ne sannule pas.

1.9

Continuit sur un intervalle

Dfinition 6. Soit f une fonction dfinie sur un intervalle I ouvert non vide de R.
On dit que f est continue sur I si f est continue en tout point de I.
Cette dfinition comporte une petite ambigut pour les intervalles qui ne sont pas
ouverts. Nous conviendrons quune fonction continue sur [a, b] est continue en tout
point de ]a, b[ et que de plus, elle est continue droite en a et gauche en b.
Le rsultat important de cette section est le thorme des valeurs intermdiaires.
Thorme 11. Soit I un intervalle de R et f une fonction continue sur I. Soit
m = inf{ f (x) , x I }

et M = sup{ f (x) , x I }

Si m < M , alors, pour tout rel y tel que m < y < M , il existe c I tel que f (c) = y.
La figure 3 illustre le thorme des valeurs intermdiaires. Le rsultat est tout
fait intuitif : si une fonction continue prend deux valeurs distinctes sur un intervalle,
elle prend ncessairement toutes les valeurs entre ces deux-l : le graphe dune fonction
continue na pas de saut vertical.
Dmonstration : Par dfinition de la borne infrieure, et de la borne suprieure, il
existe x0 , x1 I tels que
m 6 f (x0 ) < y < f (x1 ) 6 M
Quitte remplacer f par f , nous pouvons supposer sans perte de gnralit que
x0 < x1 . Soit A lensemble des x [x0 , x1 ] tels que f (x) 6 y. Lensemble A est non
vide (il contient x0 ), et major par x1 . Donc il admet une borne suprieure finie. Soit
c cette borne suprieure.
c = sup{ x [x0 , x1 ] , f (x) 6 y }
18

Limites et continuit

Maths en Ligne

UJF Grenoble

Figure 3 Thorme des valeurs intermdiaires.


Nous allons dmontrer que f (c) = y, en utilisant la continuit de f . Soit > 0. Puisque
f est continue en c, il existe tel que |x c| 6 implique |f (x) f (c)| 6 . Or par
dfinition de la borne suprieure, il existe x A tel que |x c| 6 . Fixons un tel x.
Puisque |f (x) f (c)| 6 et f (x) 6 y, alors ncessairement f (c) 6 y + .
Par dfinition de la borne suprieure, c est le plus petit des majorants de A. Fixons
maintenant x tel que c < x < c + . Alors x
/ A, donc f (x) > y, et |f (x) f (c)| .
On en dduit que f (c) > y .
Nous avons donc dmontr que pour tout > 0,
y 6 f (c) 6 y + ,
ce qui entrane f (c) = y.

Les deux rsultats suivants sont des formulations quivalentes du thorme des
valeurs intermdiaires.
Corollaire 2.
Si une fonction continue sur un intervalle prend des valeurs positives et des valeurs ngatives, alors elle sannule sur cet intervalle.
Limage par une application continue dun intervalle est un intervalle.
Il est naturel de se demander si limage par une application continue dun intervalle
est un intervalle du mme type (infini, ouvert. . . ). Le seul rsultat gnral concerne les
intervalles ferms borns.
Thorme 12. Soient a < b deux rels et f une fonction continue sur [a, b]. Soit
m = inf{ f (x) , x [a, b] }

et M = sup{ f (x) , x [a, b] }

Alors m et M sont finies et il existe x1 , x2 [a, b], tels que f (x1 ) = m et f (x2 ) = M :
f ([a, b]) = [m, M ] .
19

Limites et continuit

Maths en Ligne

UJF Grenoble

Dmonstration : elle utilise le thorme de Bolzano-Weierstrass, qui affirme que de


toute suite (xn ), valeurs dans lintervalle [a, b], on peut extraire une sous-suite convergente. Nous traitons la borne suprieure M , la dmonstration est analogue pour m.
Supposons M = +. Pour tout n, il existe xn [a, b] tel que f (xn ) > n. Donc la suite
(f (xn )) tend vers +. De la suite (xn ), on peut extraire une sous-suite convergente.
Soit c la limite de cette sous-suite. Par la continuit de f , les images des termes de
la sous-suite convergent vers f (c), ce qui contredit le fait que (f (xn )) tend vers +.
Donc M est finie.
Puisque la borne suprieure est finie, pour tout n N, il existe xn [a, b] tel que
M

1
< f (xn ) 6 M
n

Donc la suite (f (xn )) converge vers M . De la suite (xn ), on peut extraire une soussuite, convergeant vers c [a, b]. En utilisant nouveau la continuit, on en dduit que
f (c) = M .

En gnral les bornes m et M sont diffrentes des valeurs de f en a et b. Le cas des
fonctions monotones est particulier. Vous avez sans doute dj rencontr le rsultat qui
suit sous le nom de thorme de la bijection.
Thorme 13. Soit f une fonction continue, strictement monotone sur un intervalle
I.
1. f (I) est un intervalle, dont les bornes sont les limites de f aux bornes de I
2. f est une bijection de I vers f (I)
3. la bijection rciproque f 1 est continue sur f (I) et strictement monotone, de
mme sens que f .
Dmonstration : Quitte remplacer f par f , nous pouvons supposer sans perte de
gnralit que f est strictement croissante. Ceci entrane que f est injective. Supposons
que I soit lintervalle ouvert ]a, b[, a et b tant ventuellement infinis. La dmonstration
sadapte sans problme au cas o lintervalle est ferm dun ct ou des deux.
Observons que pour tout x0 ]a, b[
lim f (x) < f (x0 ) < lim f (x)

xa+

xb

Posons
c = lim f (x) et d = lim f (x)
xa+

xb

Soit y ]c, d[. Daprs le thorme des valeurs intermdiaires, il existe x ]a, b[ tel que
f (x) = y. Donc f (]a, b[) =]c, d[, et comme f est injective, cest une bijection de ]a, b[
vers ]c, d[. Pour tout x1 , x2 ]a, b[,
x1 < x2 f (x1 ) < f (x2 )
20

Limites et continuit

Maths en Ligne

UJF Grenoble

Donc la bijection rciproque f 1 est elle-aussi strictement croissante. Il reste dmontrer quelle est continue. Soit y0 ]c, d[ et x0 = f 1 (y0 ). Soit > 0 tel que
a < x0 < x0 < x0 + < b
Posons y1 = f (x0 ) et y2 = f (x0 +). Alors y1 < y0 < y2 . Soit = min{y y1 , y2 y}.
Pour tout y tel que |y y0 | 6 , on a y1 6 y 6 y2 , donc x0 6 f 1 (y) x0 + .
Do le rsultat.

Si f est bijective, tout couple (x, f (x)) du graphe de f , correspond le couple
(f (x), x) du graphe de f 1 : les deux graphes se dduisent lun de lautre par la transformation (x, y) 7 (y, x), qui est la symtrie par rapport la premire bissectrice
(figure 4).
f 1

d
y=f(x)

c
a

x=f 1(y) b
1

Figure 4 Graphe dune bijection monotone et de sa rciproque.

21

Maths en Ligne

Limites et continuit

UJF Grenoble

Entranement

2.1

Vrai ou faux

Vrai-Faux 1. Soit a un rel et f une application dfinie sur un intervalle ouvert contenant a sauf peut-tre en a. Parmi les affirmations suivantes lesquelles sont vraies,
lesquelles sont fausses et pourquoi ?
1.  Si f admet une limite finie en a alors f est borne au voisinage de a.
2.  Si f admet une limite finie en a alors f est monotone au voisinage de a.
3.  Si f admet une limite en a, alors f admet une limite droite en a.
4.  Si f admet une limite gauche et une limite droite en a alors f admet une
limite en a.
5.  f admet l pour limite gauche et pour limite droite en a si et seulement si
f (x) tend vers l quand x tend vers a.
Vrai-Faux 2. Soit f une fonction dfinie sur ]0, +[, valeurs dans R. Parmi les
affirmations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1.  Si f nest pas borne, alors f tend vers linfini quand x tend vers +.
2.  Si f (x) tend vers + quand x tend vers +, alors f est monotone au voisinage
de +.
3.  Si pour toute suite (xn ) convergeant vers +, la suite (f (xn )) converge vers
1, alors f a pour limite 1 en +.
4.  Si la suite (f (n)) converge vers 0 et la suite (f (n + 1/2)) converge vers 1/2,
alors f (x) na pas de limite en +.
5.  Si f est strictement positive au voisinage de +, alors la limite de f en +,
si elle existe, est strictement positive.
Vrai-Faux 3. Soit a un rel et f une application dfinie sur un intervalle ouvert contenant 0. Parmi les propositions suivantes, lesquelles sont quivalentes
lim f (x) = 0

x0

lesquelles ne le sont pas et pourquoi ?


1.  > 0 , > 0 , x 6 ,

|f (x)| 6

2.  ]0, 1[ , ]0, 1[ , 0 < |x| 6 = |f (x)| 6


3.  > 0 , > 0 , x [, ] ,

|f (x)| 6

4.  > 0 , > 0 , x [, 0[]0, ] ,

5.  n N , > 0 , x [, 0[]0, ] ,
6.  n N , m N ,

|f (x)| <
|f (x)| < (1/n)

|x| 6 (1/m) = |f (x)| 6 (1/n)


22

Limites et continuit

Maths en Ligne

7.  n N , m N ,

UJF Grenoble

0 < |x| 6 (1/m) = |f (x)| 6 (1/n2 )

Vrai-Faux 4. Soit f une fonction dfinie sur R telle que


lim f (x) = f (1) = 1

x0

Vous pouvez en dduire que (vrai ou faux et pourquoi ?)


1.  f est borne au voisinage de 0.
2.  f est monotone au voisinage de 0.
3.  f est minore par 1 au voisinage de 0.
4.  f est minore par 0 au voisinage de 0.
5.  f est majore par 2 au voisinage de 0.
6.  la fonction x 7 f (1/x) est borne au voisinage de 0.
7.  la fonction x 7 f (ln(x)) est borne au voisinage de 0.
8.  la fonction x 7 ln(f (x)) est dfinie sur un intervalle ouvert contenant 0.
Vrai-Faux 5. Soit f une fonction dfinie sur R telle que
lim f (x) = 1

x0

Vous pouvez en dduire que (vrai ou faux et pourquoi ?)


1.  lim f (1 x) = 0
x0

2.  lim 1/f (x) = 1


x0

3.  lim 1 1/f (1 x) = 0
x1
q
4.  lim f ( x) = 1
x0

5.  lim f (cos(x)) = 0
x0

6.  lim 1/f (sin(x)) = 1


x0

7.  lim f (ex ) = 1
x0

8.  lim ln(f (ex )) = 0


x+

Vrai-Faux 6. Toutes les affirmations suivantes concernent des comparaisons de fonctions au voisinage de 0. Parmi elles, lesquelles sont vraies, lesquelles sont fausses, et
pourquoi ?

1.  2x3 + x4 + x2 = O(x2 )

2.  2x3 + x4 + x2 = O(x)
q

3.  2x3 + x4 + x2 = o( |x|)
23

Maths en Ligne

Limites et continuit

UJF Grenoble

q
1

=
o(1/
|x|)
2x3 + x4 + x2
1
= O(1/|x|)
5.  3 4
2x + x + x2
6.  ln(|x|) = o(1/|x|)

4. 

Vrai-Faux 7. Toutes les affirmations suivantes concernent des comparaisons de fonctions au voisinage de +. Parmi elles, lesquelles sont vraies, lesquelles sont fausses, et
pourquoi ?

1.  2x3 + x4 + x2 = O(x2 )

2.  2x3 + x4 + x2 = O(x3 )

3.  2x3 + x4 + x2 = o(x2 )
1
= o(1/x2 )
4.  3 4
2x + x + x2
1
5.  3 4
= O(sin(1/x3 ))
2x + x + x2
6.  ln(x) = o(x)
7.  e2x = O(ex )
Vrai-Faux 8. Soit f une application dfinie sur un intervalle ouvert contenant 0. Toutes
les affirmations suivantes concernent les proprits de f au voisinage de 0. Parmi elles,
lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?
1.  Si f (x) est quivalent x, alors f est croissante au voisinage de 0.
2.  Si f (x) est quivalent x, alors f 2 (x) est quivalent x2 .
3.  Si f (x) est un grand O de x, alors f 2 (x) est un petit o de x.
4.  Si f (x) est domin par x, alors f (x) x est ngligeable devant x.
5.  Si f (x) est quivalent x, alors f (x) x est ngligeable devant x.
Vrai-Faux 9. Soit f une application continue sur [0, 1]. Parmi les affirmations suivantes,
lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?
1.  f est borne sur [0, 1].
2.  f ([0, 1]) est un intervalle ferm born.
3.  si le produit f (0)f (1) est strictement positif, alors f est de signe constant sur
[0, 1].
4.  si le produit f (0)f (1) est strictement ngatif, alors f sannule sur [0, 1].
5.  si le produit f (0)f (1)f (1/2) est strictement ngatif, alors f sannule en au
moins deux points distincts de [0, 1].
6.  les produits f (0)f (1/2) et f (1/2)f (1) sont strictement ngatifs, alors f sannule
en au moins deux points distincts de [0, 1].
24

Limites et continuit

Maths en Ligne

UJF Grenoble

7.  pour tout y f ([0, 1]), lquation f (x) = y a au plus une solution dans [0, 1].
Vrai-Faux 10. Parmi les affirmations suivantes, lesquelles sont vraies, lesquelles sont
fausses, et pourquoi ?
1.  Il existe une application continue et surjective de R vers R .
2.  Il existe une application continue et bijective de R vers ] 1, 1[.
3.  Pour tout > 0, il existe une application continue et bijective de R vers
] , +[.
4.  Il existe une application continue et bijective de [1, 1] vers R.
5.  Il existe une application continue et bijective de ] 1, 1[ vers R.
6.  Il existe une application continue et strictement croissante de ] 1, 1[ vers
[1, 1].
7.  Il existe une application continue et strictement croissante de [1, 1[ vers
] 1, 1].
8.  Il existe une application continue et strictement dcroissante de [1, 1[ vers
] 1, 1].

2.2

Exercices

Exercice 1. Soient f et g deux fonctions dfinies sur ]0, 1], valeurs dans R. Dmontrer
les rsultats suivants.
1. La limite droite de f en 0 est + si et seulement si
n N , m N ,

0 < x (1/m) = f (x) > n

2. La limite droite de f en 0 est + si et seulement si, pour toute suite (xn ) de


rels strictement positifs, convergeant vers 0, la suite (f (xn )) tend vers +.
3. La limite droite de f en 0 est + si et seulement si pour tout a R,
lim f (x a) = +

xa+

4. La limite droite de f en 0 est si et seulement si :


lim 1/f (1/x) = 0

x+

5. Si la limite droite de f et de g en 0 est +, alors il en est de mme pour f + g


et f g.
Exercice 2. Soit f une fonction dfinie sur R, valeurs dans R. Soient a et l deux rels.
Pour chacune des proprits suivantes, que peut-on dire de f lorsquelle est vrifie ?
1. > 0 ,

|x a| 6 1 = |f (x) l| 6
25

Limites et continuit

Maths en Ligne

2. > 0 ,

UJF Grenoble

|x a| 6 = |f (x) l| 6 1

3. > 0 , > 0 ,

x a 6 = |f (x) l| 6

4. > 0 , > 0 ,

|x a| 6 = f (x) l 6

5. > 0 , > 0 ,

|x a| 6 = |f (x) l| 6

Exercice 3. Dmontrer que les applications suivantes nont pas de limite droite en 0
(ni finie, ni infinie). On rappelle que si x est une rel, bxc dsigne sa partie entire et
D(x) sa partie dcimale.
1. f : x 7 sin(1/x)
2. f : x 7 D(1/x)
3. f : x 7 tan(1/x)
4. f : x 7 ln(x) cos(1/x)
5. f : x 7 (1)b1/xc
(

1 si x Q
0 si x R \ Q

1/x si 1/x N
0
sinon

6. f : x 7
7. f : x 7

Exercice 4. Dmontrer que les fonctions suivantes nont pas de limite en + (ni finie,
ni infinie).
1. f : x 7 sin(x)
2. f : x 7 tan(x)
3. f : x 7 ln(x) cos(x)
4. f : x 7 (1)bxc
(

1 si x Q
0 si x R \ Q

1 si x N
0 sinon

5. f : x 7
6. f : x 7

Exercice 5. Dmontrer les rsultats suivants.

4x2 + 1
1
4x2 + x3
=
; lim
=1
lim
x0 |2x + x2 |
x0 2x + 3
3
lim

x0

x+

|x|

= 1 ;

x |x|

1+x 1x
lim
=1 ;
x0
x

26

|x| +

|x|
q
lim q
=1
x0 3
|x| |x|

3
1+x 31x
2
lim
=
x+
x
3
3

Limites et continuit

Maths en Ligne

UJF Grenoble

Exercice 6. Dmontrer les rsultats suivants.

3
1
4x2 + 1
x6 + 3x4 + 1

=
lim
=1 ;
lim
x+ 2x 3
x+
2
4x4 3

3
x+ x
x+ x
=1 ;
= 1
lim
lim
x+ 3 x
x+ x
x
x
e2x + 1
=1 ;
x+ (ex + 1)(ex + 2)

x+1 x1=0 ;
lim

e2x + 1
1
=
x (ex + 1)(ex + 2)
2

lim 3 1 + x 3 x 1 = 0

lim

lim

x+

x0

Exercice 7. Dmontrer les rsultats suivants.


1 cos2 (x)
=1 ;
x0
x2
lim

tan(x)
=1 ;
x0
x
lim

lim

x0

1
1 cos(x)
=
2
x
2

tan(x)(1 cos(x))
1
=
3
x0
sin (x)
2
lim

2
ln(1 2x)
=
lim
x0 sin(3x)
3

ex 1
lim
= 2
x0 cos(x) 1

lim (1 + x)1/x = e ;

lim (1 x2 )1/x = 1

x0

x0

Exercice 8. Dterminer les limites suivantes.

lim x2 e

x+

x ln(x)
x+ x2 + 1
lim

lim x4 ln2 (x)e

x+

x2 (ln(x) + cos(x))
x+
x2 + sin(x)
lim

e x
e x
lim
;
lim
x+ x2
x+ x3 ln3 (x)

x
ln2 (x) ln(ln(x))

;
lim
lim
x+
x+ ln2 (x)
x
ln(x)
x+ ln(ln(x))
lim

lim xx

x0+

;
;

ln(ln(ln(x)))
x+
ln(ln(x))
lim

lim | ln(x)|x

x0+

27

Maths en Ligne

Limites et continuit

UJF Grenoble

Exercice 9. Dmontrer les rsultats suivants.


1 x2
lim
=0 ;
x1
1x

1 x2
=4
x1 1
x
lim

1 x2
1 x2

=2 2
lim
= 4 ; lim
x1
x1
x 2x 1
x + 1 3x 1

ln(x)
lim
= 1 ; lim ( x 1) ln(ln(x)) = 0
x1 x 1
x1
1
cos(x)
=
;
lim (1 sin(x)) tan(x) = 0
lim
x/2
x/2 2x
2
sin(x) cos(x)
sin(x) cos(x)
lim
= 2 ;
= 2
lim
x/4
x/4
1 tan(x)
x /4
Exercice 10. Soit f une fonction dfinie sur un intervalle contenant 0. Dmontrer les
rsultats suivants, qui concernent tous des comparaisons au voisinage de 0.
1. Si f (x) = O(x2 ) alors f = o(x).
2. Si xf (x) = O(x2 ) alors f = O(x).

3. Si f (x) = o(x) alors f (x) = o( x).


4. Si f (x) x = o(x) alors f (x) x.
5. Si f (x) x alors f (x) x = o(x).
6. Si f (x) = O(x2 ) alors f (x) x x.
Exercice 11. Soit f une fonction dfinie sur un intervalle de la forme [A, +[. Dmontrer les rsultats suivants, qui concernent tous des comparaisons au voisinage de
+.
1. Si f (x) = O(x) alors f (x) = o(x2 ).
2. Si xf (x) = O(x2 ) alors f = O(x).

3. Si f (x) = o( x) alors f (x) = o(x).


4. Si f (x) x = o(x) alors f (x) x.
5. Si f (x) x alors f (x) x = o(x).

6. Si f (x) = O( x) alors f (x) x x.


Exercice 12. Justifier les quivalents suivants, au voisinage de 0
x3 2x2
2x ;
x2 x

x3 2x2 1
1

2
x x
x

x2 2x3 sin(1/x) x2

e2x 1
x
2 x ;
e 1
28

x + x2 sin(1/x)
1

2
3
x x cos(1/x)
x
ln2 (1 + x)
x
ln(1 x)

Limites et continuit

Maths en Ligne

UJF Grenoble

Exercice 13. Justifier les quivalents suivants, au voisinage de +


x3 2x2
x ;
x2 x
bxc x ;
e2x 2
ex
x
e 1

x3 2x2 1
1

2
4
x x
x
x2 + cos(x)
x
x + sin(x)
e2x 2ex
2ex
x
e 1

Exercice 14. Pour chacune des fonctions f suivantes, dmontrer directement quelle
est continue en tout point de son domaine de dfinition, sans utiliser les thormes du
cours.
1. f : x 7 x2
1
2. f : x 7 2
x

3. f : x 7 x
4. f : x 7

1
x1

Exercice 15. Si x est un rel, on note bxc sa partie entire et D(x) = x bxc sa partie
dcimale. Pour chacune des fonctions f suivantes : dire en quels points de R elle est
continue, continue gauche ou continue droite, et le dmontrer.
1. f : x 7 D(x)
2. f : x 7 D(1 x)
3. f : x 7 D(1/x)
4. f : x 7 xb1/xc
5. f : x 7 bxc + 2D(x)
6. f : x 7 bxc +

D(x)

7. f : x 7 bxc + D(x)2
8. f : x 7

bxc + D(x)

9. f : x 7 (1)bxc (D(x) 1/2)


10. f : x 7 bcos(1/x)c
(

1 si x Q
0 sinon

x si x Q
0 sinon

11. f : x 7
12. f : x 7

29

Maths en Ligne

Limites et continuit

UJF Grenoble

Exercice 16. Pour chacune des fonctions f suivantes : dterminer son domaine de
dfinition, reprsenter son graphe, et montrer quelle se prolonge par continuit en une
fonction dfinie et continue
sur R.
q
2
1. f : x 7 (x + x)/ |x|
2.
3.
4.
5.

f
f
f
f

: x 7 x cos(1/x)
2
: x 7 (1/x2 )e1/x
2
2
: x 7 (1/(x2 1))e1/(x 1)
: x 7 (x2 4) ln(|x2 4|)

Exercice 17.
1. Soit f une fonction dfinie sur R, continue en 0, et telle que
x R ,

f (2x) = f (x)

Dmontrer par rcurrence que


x R , n N ,

f (x) = f (2n x)

En dduire que f est constante.


2. Soit f une fonction dfinie sur R+ , continue en 1, et telle que
f (x2 ) = f (x)

x R ,
Dmontrer par rcurrence que

x R , n N ,

f (x) = f (x1/2n )

En dduire que f est constante.


Exercice 18.
1. Soit f une fonction de R dans R, continue sur R. On dfinit g par
(

g(x) =

0
si x 6 0

f ( x) f ( x) si x > 0

Dmontrer que g est continue sur R.


2. Soit f une fonction de R dans R, continue en 0. On suppose que :
x, y R ,

f (x + y) = f (x) + f (y)

Dmontrer que f est continue sur R.


3. Soit f une fonction de R dans R, continue en 0. On suppose que :
x, y R ,

f (x + y) = f (x)f (y)

Dmontrer que f est continue sur R.


30

Limites et continuit

Maths en Ligne

UJF Grenoble

4. Soit f une fonction de [0, 1] dans R, croissante. On suppose que :


y [f (0), f (1)] , x [0, 1] ,

f (x) = y

Dmontrer que f est continue sur [0, 1].


Exercice 19. Pour chacune des fonctions f suivantes, dfinie sur un intervalle I, et
valeurs dans R : dterminer le sens de variation de f . Dterminer le nombre de solutions
de lquation f (x) = 0 dans I. Donner un intervalle dapproximation damplitude 102
pour chaque solution.
1. I = R, f : x 7 x3 + 1
2. I = R, f : x 7 x5 + 1
3. I = R, f : x 7 x5 5x + 1

4. I =] 2, 0[, f : x 7 2x x + 2 + 1

5. I =] 1, 0[, f : x 7 x2 2 + 1/ x + 1
6. I =]0, 1[, f : x 7 x cos(x)
7. I =]0, /2[, f : x 7 tan(x) x + 2
8. I = [0, +[, f : x 7 2x ln(x) x + 1
Exercice 20. Pour chacune des fonctions f suivantes, dfinie sur un intervalle I, et
valeurs dans R : dterminer le sens de variation de f . Dterminer f (I). Dmontrer que
f est une bijection de I vers f (I).
1. I = [0, +[, f : x 7 x2
2. I = R, f : x 7 x3

x
1 + |x|

x2 + 1
4. I = [0, /2[, f : x 7
cos(x)
5. I = [0, /2[, f : x 7 tan(x) x
3. I = R, f : x 7

2.3

QCM

Donnez-vous une heure pour rpondre ce questionnaire. Les 10 questions sont


indpendantes. Pour chaque question 5 affirmations sont proposes, parmi lesquelles 2
sont vraies et 3 sont fausses. Pour chaque question, cochez les 2 affirmations que vous
pensez vraies. Chaque question pour laquelle les 2 affirmations vraies sont coches
rapporte 2 points.
Question 1. Soit f une fonction dfinie sur R, valeurs dans R. La proposition exprime
le fait que la limite de f en 0 est 1.
A > 0 , > 0 , 0 < |x| < = |f (x) 1| 6 .
31

Limites et continuit

Maths en Ligne

B
C
D
E

UJF Grenoble

Pour toute suite (un ) convergeant vers 0, la suite (f (un )) converge vers 1.
> 0 , > 0 , 0 < |x 1| < = |f (x)| 6 .
Si la suite (f (un )) tend vers 0, alors la suite (un ) tend vers 1.
> 0 , > 0 , 0 < |x| < = |f (x) 1| 6 2 /4 .

Question 2. Soit f une fonction dfinie sur R, valeurs dans R, On considre uniquement des limites quand x tend vers 0.
A Si la limite de f est 1 alors la limite de x 7 xf (x) est 1.
B Si la limite de f est 1 alors la limite de x 7 f (x)/x2 est +.
C Si la limite de f est + alors la limite de x 7 xf (x) est +.
D Si la limite de f est 0 alors la limite de x 7 (1 x)f (x) est 0.
E Si la limite de f est alors la limite de x 7 (1 x)f (x) est 1.
Question 3. Soit f une fonction dfinie sur R, valeurs dans R.
A
B
C
D
E

lim f (x) =

A R , > 0 ,

x0+

lim f (x) = +

x0

lim f (x) = 0

x+

lim f (x) = +

> 0 , A ,


lim f (x) =

x0

A R , > 0 ,

> 0 , A ,

.


(0 < x 6 ) = (f (x) > A)

(x > A) = |f (x)| 6

A R , B R ,

(0 < x 6 ) = (f (x) > A)

.


(x 6 B) = f (x) > A

( 6 x < 0) = f (x) 6 A

Question 4. La proposition est vraie pour toute fonction f de R dans R, dfinie et


croissante sur R.
A La limite de f droite de f en 0 existe et est finie.
B La limite de f en + est +.
C La limite gauche de f en 0 est infrieure ou gale sa limite droite en 0.
D La limite de f en + est positive ou nulle.
E La limite droite de f en 0 est strictement infrieure la limite gauche de f
en 1.
Question 5. Soit f une fonction de R dans R, dfinie et croissante sur R.
A Si pour tout x rel f (x) < x, alors lim f (x) < 0.
x0+

B Si pour tout x rel f (x) < x, alors lim f (x) = .


x

C Si pour tout x rel f (x) < 1, alors lim f (x) < 1.


x+

D Si pour tout x rel f (x) < 0, alors pour tout rel a lim f (x) < 0.
xa+

E Si pour tout x rel f (x) < 1, alors lim f (x) < 1.


x+

Question 6. La relation de comparaison propose est vraie au voisinage de +.


32

Limites et continuit

Maths en Ligne
A 2x2 +
B 2x2 +

UJF Grenoble

x3 ln(x) = O(x2 ).

x3 ln(x) x2 .

2
ln(x)
= O(x2 ).
+
2
3
x
x
ln(x)
2
ln(x)
.
D 2+
3
x
x
x3
ln(x)
2
E 2+
= o(x3/2 ).
x
x3
Question 7.

3
A lim x3 e x/3 = 0.
C

x+

lim x3 e x/3 = 0.
x0+

C lim 3 x ln(x3 ) = .
B

x0+

D
E

lim x1/3 ln3 (x) = 0.

x+

lim exp(x1/3 ) ln3 (x) = 0.

x+

Question 8. La proposition est vraie pour toute fonction f dfinie sur R valeurs dans
R, continue en 0.
A Pour toute suite (un ) de rels tendant vers 0, la suite (f (un )) tend vers f (0).
B f est monotone au voisinage de 0.
C La limite droite de f en 0 est nulle.
D f est borne au voisinage de 0.
E Il existe > 0 tel que f est continue en tout point de lintervalle [, +].
Question 9. La proposition est vraie pour toute fonction f dfinie sur R valeurs dans
R, continue sur R.
A y R , c R , f (c) = y.
B Si pour tout x dans ]0, 1[, f (x) < 0 alors f (1) < 0.
C c R , f (c) = sup{f (x) , x [0, 1]}.
D Il existe un unique rel c tel que f (c) = inf{f (x) , x [0, 1]}.
E Si f (0) < f (1), alors y ]f (0), f (1)[ , c ]0, 1[ , f (c) = y.
Question 10. La proposition est vraie pour toute fonction f dfinie et continue sur R,
strictement croissante sur [0, 1].
A La fonction rciproque f 1 est une bijection de [0, 1] vers lui-mme.
B La fonction rciproque f 1 est strictement croissante.
C Le graphe de f 1 est le symtrique du graphe de f par rapport laxe des x.
D Pour tout x [0, 1], si f (x) = y alors f (y) = x.
E La fonction f est une bijection de [0, 1] vers [f (0), f (1)].
Rponses : 1BD 2BE 3CD 4AC 5BD 6AD 7AD 8AD 9CE 10BE
33

Maths en Ligne

2.4

Limites et continuit

UJF Grenoble

Devoir

Essayez de bien rdiger vos rponses, sans vous reporter ni au cours, ni au corrig. Si
vous souhaitez vous valuer, donnez-vous deux heures ; puis comparez vos rponses avec
le corrig et comptez un point pour chaque question laquelle vous aurez correctement
rpondu.
Questions de cours : Soit f une fonction dfinie sur R+ , valeurs dans R.
1. Donner une dfinition pour :
lim f (x) = + .

x0+

2. Dmontrer que :
1
lim+ = + .
x0
x

3. Quand dit-on que f (x) x au voisinage de 0+ ?

4. Dmontrer que si f (x) x au voisinage de 0+ , alors :


f (x)
= + .
x0
x

5. Dmontrer que si f (0) = 0 et si f (x) = O( x) au voisinage de 0+ , alors f est


continue droite en 0.
Exercice 1 :
1. Soit a un rel strictement positif. Montrer que :
lim+

lim a1/x = 1 .

x+

2. Montrer que, au voisinage de +,


a1/x = 1 +

ln(a)
+ o(1/x) .
x

3. Soit a et b deux rels strictement positifs. Montrer que :


lim

x+

a1/x + b1/x
2

!x

4. Dterminer :
lim

x0+

a2x + b2x
2

ab .

!1/x

Exercice 2 : Soit f la fonction de R dans R qui x associe :


1 x 1
f (x) = ln
.
2
x + 1

34

Limites et continuit

Maths en Ligne

UJF Grenoble

1. Dterminer le domaine de dfinition de f , not Df Montrer que f est continue


sur Df .
2. Vrifier que pour tout x Df , f (x) = f (x), et que pour tout x Df \ {0},
f (1/x) = f (x).
3. Montrer que :
lim f (x) = lim f (x) = 0 .
x

x+

4. Montrer que :
f (x)
= lim xf (x) = lim xf (x) = 1 .
x
x+
x0 x
lim

5. Montrer que :
lim f (x) = + et

x1

lim f (x) = .

x1

6. En admettant que la fonction t 7 ln(t) est strictement croissante, montrer que f


est strictement dcroissante sur lintervalle ] 1, 1[, sans calculer sa drive. En
dduire que f est strictement croissante sur ] , 1[ et sur ]1, +[.
7. Donner une reprsentation du graphe de f , utilisant tous les rsultats des questions prcdentes.
8. On note la restriction de f lintervalle ]1, 1[. Montrer que est une bijection
de ] 1, 1[ dans R.
9. Dmontrer que pour tout a R , lquation f (x) = a a exactement deux solutions
dans R.
10. On considre lapplication 1 f , de Df dans ] 1, 1[. Donner les expressions
de 1 f (x) selon que x appartient ou non ] 1, 1[.
11. Montrer que 1 f est prolongeable par continuit en 1 et en 1.

2.5

Corrig du devoir

Questions de cours :
1. Par dfinition, on dit que lim+ f (x) = + si :
x0

A R , > 0 ,

( 0 < x 6 ) = ( f (x) > A ) .

2. Soit A un rel non nul. Posons =

1
. Alors :
A2

1
1
(0 < x 6 ) = > = A2 > A .
x

35

Limites et continuit

Maths en Ligne

3. On dit que f (x)

UJF Grenoble

x au voisinage de 0+ si :
f (x)
lim+ = 1 .
x0
x

4. Si f (x)

x au voisinage de 0+ , alors :

f (x) 1
f (x)
= lim+ = + ,
x0
x0
x
x x

Car lorsque x tend vers 0 par valeurs positives, f (x)/ x tend vers 1 et 1/ x
tend vers +.

+
5. On dit que f (x) = O( x) au voisinage
born
de 0 , si le rapport f (x)/ x est
sur un certainintervalle ]0,
0 ]. Or x tend vers 0 quand x tend vers 0+ . Donc
le produit de x par f (x)/ x qui est born, tend vers 0 :
lim+

lim f (x) = 0 = f (0) ,

x0+

donc f est continue droite en 0.


Exercice 1 :
1. Pour a > 0 :

1
a = exp
ln(a) .
x
Or quand x tend vers +, 1/x tend vers 0, donc ln(a)/x aussi, et exp(ln(a)/x)
tend vers 1 car la fonction exponentielle est continue en 0.


1/x

2. Daprs le cours, nous savons que :


ey 1
=1.
y0
y
lim

Par composition des limites, on en dduit :


eln(a)/x 1
=1.
x+ ln(a)/x
lim

Donc :

eln(a)/x 1 ln(a)/x
=0,
x+
ln(a)/x
lim

soit,
eln(a)/x 1 ln(a)/x = o(1/x) ,
ou encore,
a1/x = 1 +

ln(a)
+ o(1/x) .
x

36

Limites et continuit

Maths en Ligne

UJF Grenoble

3. Utilisons le rsultat de la question prcdente.

a1/x + b1/x
ln(a) + ln(b)
ln( ab)
=1+
+ o(1/x) = 1 +
+ o(1/x) .
2
2x
x
Daprs le cours,
ln(1 + y)
=1.
y0
y
lim

On en dduit :

a1/x + b1/x
lim x ln
x+
2

= ln( ab) .

Comme lexponentielle est une fonction continue,


a1/x + b1/x
lim exp x ln
x+
2

!!

a1/x + b1/x
2

!x

soit :
lim

x+

= exp(ln( ab)) ,

ab .

4. Quand y tend vers +, x = 1/y tend vers 0+ . Par composition des limites, on
dduit de la question prcdente que :
lim

x0+

ax + b x
2

!1/x

ab .

Il suffit dappliquer le rsultat en remplaant a par a2 et b par b2 pour trouver :


lim

x0+

a2x + b2x
2

!1/x

a2 b2 = ab .

Exercice 2 :
1. La fonction x 7 |x 1|/|x + 1| est dfinie pour tout x 6= 1. Quand elle est
dfinie, elle prend des valeurs strictement positives, sauf en x = 1. Donc f (x) est
dfini pour tout x
/ {1, 1}.
Df = R \ {1, 1} .
Les fonctions x 7 x 1 et x 7 x + 1 sont continues. La fonction y 7 1/y est
continue en tout point de R . Le produit de deux fonctions continues est continue,
donc x 7 (x 1)/(x + 1) est continue sur R \ {1}. La fonction y 7 |y| est
continue sur R, donc x 7 |x 1|/|x + 1| est continue sur R \ {1}. La fonction
y 7 ln(y) est continue sur R+ , donc f est continue en tout point de Df .
37

Limites et continuit

Maths en Ligne

UJF Grenoble

2. Si x Df alors x Df et rciproquement.
1 x 1
1 x 1 1 x + 1
= f (x) .
f (x) = ln
= ln
= ln
2
x + 1
2
x1
2
x + 1

Si x Df \ {0}, alors 1/x est dfini et appartient Df .


1 1/x 1 1 1 x 1 x 1
f (1/x) = ln
= ln
= ln
= f (x) .
2 1/x + 1 2 1 + x 2 x + 1

3. La fonction f est continue en 0 et f (0) = 0. Donc :


lim f (x) = lim+ f (x) = 0 .

x0

x0

Lorsque x tend vers 0 , 1/x tend vers , et lorsque x tend vers 0+ , 1/x tend
vers +. On en dduit :
lim f (1/x) = lim f (1/x) = 0 .
x

x+

Daprs la question prcdente, f (1/x) = f (x). Donc :


lim f (x) = lim f (x) = 0 .
x

x+

4. Montrons dabord que :


f (x)
= 1 .
x
Pour x appartenant lintervalle ] 1, 1[ ,
lim

x0

f (x)
1
=
x
2

ln(1 x) ln(1 + x)

x
x

Or daprs le cours,
lim

x0

ln(1 + x)
= 1 donc
x

lim

x0

ln(1 x)
= 1 .
x

Donc :

f (x)
1
= (1 1) = 1 .
x0 x
2
Pour les limites en + et , on procde comme la question prcdente.
lim

lim xf (x) = lim

f (1/x)
f (x)
= lim
= 1 .
x0
x
x

lim xf (x) = lim+

f (1/x)
f (x)
= lim+
= 1 .
x0
x
x

x0

De mme :
x+

x0

38

Limites et continuit

Maths en Ligne

UJF Grenoble

5. Il suffit de montrer lune des deux limites, la seconde sen dduit en utilisant le
fait que f (x) = f (x).
La fonction x 7 |x 1|/|x + 1| est continue en 1. Donc :


x 1


lim

x1

x+1

=0.

Par composition des limites,


1 x 1
1
lim ln
= lim ln(y) = .

x1 2
y0+ 2
x+1

6. Soient x et y deux rels tels que 1 < x < y < 1. Alors :


1x>1y >0
1/(1 + x) > 1/(1 + y) > 0

1x
1y
>
.
1+x
1+y

Comme la fonction t 7 ln(t) est strictement croissante,


1
1x
1y
1
f (x) = ln
> ln
2
1+x
2
1+y


= f (y) .

Supposons maintenant x < y < 1. Alors 1 < 1/y < 1/x < 0. Or f (1/x) =
f (1/y). En appliquant ce qui prcde,
f (1/x) < f (1/y) = f (x) < f (y) .
Supposons enfin 1 < x < y. Alors 0 < 1/y < 1/x < 1. De mme :
f (1/x) < f (1/y) = f (x) < f (y) .
7. Voir figure 5.
8. La fonction est strictement dcroissante sur ] 1, 1[, et continue en tout point
de ] 1, 1[. De plus :
lim (x) = + et

x1+

lim (x) = ,

x1

donc (] 1, 1[) = R. Daprs le thorme de la bijection, est une bijection de


] 1, 1[ dans R et sa rciproque 1 est une bijection strictement dcroissante et
continue, de R dans ] 1, 1[.
9. Daprs le rsultat prcdent, lquation f (x) = a a une solution et une seule
dans ] 1, 1[. Le changement de variable x 7 1/x montre que la restriction de
f ] , 1[ est une bijection strictement croissante de ] , 0[ dans ]0, +[.
De mme la restriction de f ]1, +[ est une bijection strictement croissante de
]1, +[ dans ] , 0[. Donc :
39

Limites et continuit

Maths en Ligne

f(x)=(1/2)ln(|x1|/|x+1|)

f(x)

UJF Grenoble

4
3
2
1
0

1
2
3
4

5
5

Figure 5 Graphe de la fonction x 7 (1/2) ln(|x 1|/|x + 1|).


si a < 0, lquation a une solution dans ]1, +[ et une dans ] 1, 1[ ,
si a > 0, lquation a une solution dans ] , 1[ et une dans ] 1, 1[ .
10. Par dfinition de la rciproque, si x ] 1, 1[, 1 f (x) = 1 ((x)) = x.
Si x ] , 1[]1, +[, alors :
1 f (x) = 1 (f (1/x)) =

1
.
x

11. Daprs les expressions obtenues prcdemment :


lim 1 f (x) = lim

x1

x1

1
= 1 et
x

lim 1 f (x) = lim + x = 1 .

x1+

x1

Les limites gauche et droite sont gales, donc on peut prolonger la fonction
par continuit, en associant la valeur 1 labscisse 1.
De mme :
1
lim 1 f (x) = lim x = 1 et lim+ 1 f (x) = lim+ = 1 .
x1
x1
x1
x1 x
Les limites gauche et droite sont gales, donc on peut prolonger la fonction
par continuit, en associant la valeur 1 labscisse 1.
40

Maths en Ligne

3
3.1

Limites et continuit

UJF Grenoble

Complments
Cauchy et les limites

Augustin-Louis Cauchy (1789-1857) est lun des plus grands mathmaticiens de


tous les temps, ne serait-ce que par sa production impressionnante : pas moins de 789
articles, rpartis en 27 volumes dans ses uvres compltes. Par contre, il na pas laiss
un souvenir imprissable ses tudiants. Lun deux crit :
Ses cours taient trs confus, sautant brusquement dune ide une autre,
dune formule la suivante, sans aucune tentative pour les connecter. Ses
prsentations taient des nuages obscurs, illumins de temps autre par
des clairs de pur gnie.
Royaliste convaincu, catholique dvot et militant, ses fortes opinions et son caractre
difficile lui attirrent de nombreuses inimitis. Il dut mme sexiler pour un temps
Turin, puis Prague, o lex-roi Charles X lui confia lducation scientifique de son
petit fils. Mais l encore, le prince montrant peu dintrt pour ses sujets. Cauchy
snervait, et se mettrait crier et hurler .
Pourtant les cours polycopis de Cauchy pour les lves de lcole Polytechnique
ont marqu leur temps. On y trouvait de nombreuses notions nouvelles sur lanalyse
relle et complexe, et surtout une exigence de rigueur trs novatrice pour lpoque. Le
texte suivant est extrait du cours dAnalyse algbrique, crit en 1821. Saurez-vous y
reconnatre les notions de ce chapitre ?
On dit quune quantit variable devient infiniment petite, lorsque sa valeur
numrique dcrot indfiniment, de manire converger vers la limite zro.
Il est bon de remarquer ce sujet quon ne doit pas confondre un dcroissement constant avec un dcroissement indfini. La surface dun polygone
rgulier circonscrit un cercle donn dcrot constamment mesure que le
nombre des cts augmente, mais non pas indfiniment, puisquelle a pour
limite la surface du cercle. De mme encore, une variable qui nadmettrait
pour valeurs successives que les diffrents termes de la suite
2 3 4 5 6
, , , , ,...,
1 2 3 4 5
prolonge linfini, dcrotrait constamment, mais non pas indfiniment,
puisque ses valeurs successives convergeraient vers la limite 1. Au contraire,
une variable qui naurait pour valeurs successives que les diffrents termes
de la suite
1 1 1 1 1 1
, , , , , ,...,
4 3 6 5 8 7
prolonge linfini, ne dcrotrait pas constamment, puisque la diffrence
entre deux termes conscutifs de cette suite est alternativement positive
41

Maths en Ligne

Limites et continuit

UJF Grenoble

et ngative ; et, nanmoins, elle dcrotrait indfiniment, puisque sa valeur


finirait par sabaisser au-dessous de tout nombre donn.
[. . .]
Parmi les objets qui se rattachent la considration des infiniment petits,
on doit placer les notions relatives la continuit ou la discontinuit des
fonctions. Examinons dabord sous ce point de vue les fonctions dune seule
variable.
Soit f (x) une fonction de la variable x, et supposons que, pour chaque valeur de x intermdiaire entre deux limites donnes, cette fonction admette
constamment une valeur unique et finie. Si, en partant dune valeur de x
comprise entre ces limites, on attribue la variable x un accroissement
infiniment petit , la fonction elle-mme recevra pour accroissement la diffrence f (x+)f (x), qui dpendra en mme temps de la nouvelle variable
et de la valeur de x. Cela pos, la fonction f (x) sera, entre les deux limites assignes la variable x, fonction continue de cette variable, si, pour
chaque valeur de x intermdiaire entre ces limites, la valeur numrique de
la diffrence f (x + ) f (x) dcrot indfiniment avec celle de .
En dautres termes, la fonction f (x) restera continue par rapport x entre
les limites donnes, si, entre ces limites, un accroissement infiniment petit de
la variable produit toujours un accroissement infiniment petit de la fonction
elle-mme.
On dit encore que la fonction f (x) est, dans le voisinage dune valeur particulire attribue la variable x, fonction continue de cette variable, toutes
les fois quelle est continue entre deux limites de x, mme trs rapproches,
qui renferment la valeur dont il sagit.
Enfin, lorsquune fonction f (x) cesse dtre continue dans le voisinage dune
valeur particulire de la variable x, on dit quelle devient alors discontinue
et quil y a pour cette valeur particulire une solution de continuit.

3.2

Continuit uniforme

Le texte de Cauchy dfinit la continuit dune fonction sur un intervalle ( entre


deux limites ). Il confond en fait deux notions, qui ne seront distingues que beaucoup
plus tard, en particulier par Eduard Heine (1821-1881) en 1872. Soit f une fonction,
dfinie sur un intervalle I. Ecrivons dabord que f est continue sur I, au sens de la
dfinition 6.
x I , > 0 , > 0 , y I ,

|y x| 6 = |f (y) f (x)| 6

(2)

Dfinition 7. On dit que f est uniformment continue sur I si


> 0 , > 0 , x I , y I ,

|y x| 6 = |f (y) f (x)| 6
42

(3)

Limites et continuit

Maths en Ligne

UJF Grenoble

Evidemment, (3) implique (2), mais la rciproque est fausse en gnral. La diffrence
entre (2) et (3) est subtile. Dans (2) la valeur de peut dpendre non seulement de
mais aussi de x. Dans (3), elle ne peut dpendre que de : pour un donn, on peut
choisir le mme pour tous les points de lintervalle.
Examinons la fonction inverse sur I =]0, 1] (cf. proposition 7).
f
]0, 1] R
x 7 f (x) = 1/x
Soit x un point de ]0, 1] et un rel strictement compris entre 0 et 1. Limage rciproque
par f de lintervalle [f (x) , f (x) + ] est lintervalle :
"

1
1
,
([f (x) , f (x) + ]) =
f (x) + f (x)

Cet intervalle contient x, et


x
Posons
x = x

1
1
<
x
f (x) +
f (x)

1
=x
f (x) +

1
x

1
x2
=
1 + x
+

Alors, pour tout y dans lintervalle [x x , x + x ], f (y) reste dans lintervalle [f (x)
, f (x) + ]. De plus, x est le plus grand rel possdant cette proprit. Observons que
pour > 0 fix, x tend vers 0 quand x tend vers 0.
Bien sr, pour nimporte quel 0 < x , limplication
|y x| 6 0 = |f (y) f (x)| 6
reste vraie. Mais il nest pas possible de choisir un mme 0 tel quelle reste vraie pour
tous les x de ]0, 1] : la fonction f nest pas uniformment continue sur ]0, 1].
Examinons maintenant la fonction racine carre sur le mme intervalle I =]0, 1].
f
]0, 1] R

x 7 f (x) = x
Soit x un point de ]0, 1] et un rel strictement compris entre 0 et 1. Pour < f (x),
limage rciproque par f de lintervalle [f (x) , f (x) + ] est lintervalle :
i
h

f 1 ([f (x) , f (x) + ]) = x (2 x 2 ), x + (2 x + 2 )

43

Limites et continuit

Maths en Ligne

UJF Grenoble

Pour > f (x), cest lintervalle


h
i
h
i

0, ( x + )2 = 0, x + (2 x + 2 )
Lamplitude de ces intervalles dpend bien de x a priori. Posons = 2 . Nous allons
dmontrer que pour tout x, y ]0, 1], si |y x| < , alors |f (y) f (x)| 6 , ce qui
entrane
que f est uniformment continue sur I. Supposons dabord < f (x). Alors

2 x 2 > 2 = . Donc lintervalle f 1 ([f (x) , f (x) + ]) contient lintervalle


[x , x + ] : si y vrifie |y x| <
, alors
|f (y) f (x)| 6 . Supposons maintenant

y x| 6 x 6 . Si x < y x + , alors 0 6 y 6
> f (x).
|
Si y2 x, alors

x + (2 x + ), donc | y x| 6 .
Le rsultat suivant, que lon appelle traditionnellement thorme de Heine, a semblet-il t dmontr pour la premire fois par Dirichlet en 1862. Comme pour beaucoup
de thormes importants, son histoire est complique, au point quil a t propos de
lappeler thorme de Dirichlet-Heine-Weierstrass-Borel-Schoenflies-Lebesgue , par
ordre dentre en scne des mathmaticiens qui lont raffin ou gnralis.
Thorme 14. Toute fonction continue sur un intervalle ferm born est uniformment continue.

Donc la fonction x 7 x est uniformment continue sur [0, 1], tout comme la
fonction x 7 1/x sur lintervalle [103 , 1].
Dmonstration : Soit [a, b] un intervalle ferm born, et f une fonction continue sur
[a, b]. Soit un rel strictement positif. Daprs (2), pour tout x [a, b], il existe un
rel strictement positif, que nous noterons x , tel que pour tout y [a, b],
|y x| 6 x = |f (y) f (x)| 6

Pour tout x, considrons lintervalle ouvert ]x x , x + x [, not Ix . Le point crucial


de la dmonstration est quil est possible dextraire de cette famille dintervalles une
famille finie, qui recouvre lintervalle [a, b] :
m N , x1 , . . . , xm [a, b] ,

[a, b]

m
[

Ixi

(4)

i=1

Ceci est un cas particulier dun rsultat de topologie plus gnral, le lemme de BorelLebesgue. Pour le dmontrer, la premire tape consiste montrer que pour un certain
entier n, tout intervalle de la forme ]y 1/n, y + 1/n[ est inclus dans lun des Ix au
moins.
n N , y [a, b] , x [a, b] , ]y 1/n, y + 1/n[ Ix
(5)
Ecrivons la ngation :
n N , y [a, b] , x [a, b] ,
44

]y 1/n, y + 1/n[6 Ix

Limites et continuit

Maths en Ligne

UJF Grenoble

Pour tout n, soit yn lun des y dont lexistence est affirme ci-dessus. Par le thorme
de Bolzano-Weierstrass, on peut extraire de la suite (yn ) une sous-suite (y(k) ), qui
converge vers c [a, b]. En particulier, aucun des intervalles ]y(k) 1/(k), y(k) +
1/(k)[ nest inclus dans Ic , ce qui est impossible si c est la limite de (y(k) ).
En utilisant (5), nous allons dmontrer (4) par labsurde. Soit y1 un point de [a, b]. Il
existe x1 tel que ]y1 1/n, y1 + 1/n[ Ix1 . Comme Ix1 ne recouvre pas [a, b], il existe
un point y2 de [a, b] qui nappartient pas Ix1 . Ce point est distance au moins 1/n
de y1 . Il existe un point x2 tel que ]y2 1/n, y2 + 1/n[ Ix2 . La runion Ix1 Ix2 ne
recouvre pas [a, b]. Donc il existe y3 en dehors de cette runion : y3 est distance au
moins 1/n de y1 et de y2 . Par rcurrence, on construit ainsi une suite (yk ) de points
de [a, b] telle que deux quelconques de ses lments sont distance au moins 1/n. En
appliquant une fois de plus le thorme de Bolzano-Weierstrass, une sous-suite de (yk )
devrait converger, do la contradiction.
Puisque les intervalles ouverts Ix1 , . . . , Ixm recouvrent [a, b], il existe tel que si |xy| 6
, alors x et y appartiennent un mme intervalle Ixi . Si cest le cas,
|f (x) f (y)| 6 |f (x) f (xi )| + |f (xi ) f (y)| 6


+ =,
2 2

par dfinition de Ixi .

3.3

Arguments de continuit

Dfinition 8. Soit A une partie de R. On dit que A est dense dans R si tout rel est
limite dune suite dlments de A.
Une partie dense peut aussi tre vue comme un ensemble de rels tel que tout
intervalle ouvert de R contient au moins un lment de cet ensemble.
Proposition 8. Une partie A est dense dans R si et seulement si, pour tous rels a, b
tels que a < b, A]a, b[6= .
La dmonstration est facile et laisse au lecteur.
Le thorme suivant semble trop simple pour tre utile, et pourtant. . .
Thorme 15. Soit A une partie dense de R. Si deux fonctions continues sont gales
sur A alors elles sont gales partout.


a A , f (a) = g(a)

x R , f (x) = g(x)

Dmonstration : Soit x un rel et (an ) une suite dlments de A, convergeant vers x.


Comme f et g sont continues, les suites (f (an )) et (g(an )) convergent respectivement
vers f (x) et g(x). Mais comme les deux suites sont gales, leurs limites sont gales. 
45

Limites et continuit

Maths en Ligne

UJF Grenoble

Appliquer le thorme 15 se dit utiliser un argument de continuit . Le plus


souvent, la partie dense est lensemble des rationnels Q. On peut aussi rencontrer
lensemble des nombres dcimaux (multiples entiers dune puissance ngative de 10),
et lensemble des nombres dyadiques (multiples entiers dune puissance ngative de 2).
Les quatre exemples de la proposition 9 proviennent du cours dAnalyse de Cauchy,
chapitre V, paragraphe 1 : Recherche dune fonction continue forme de telle manire
que deux semblables fonctions de quantits variables, tant ajoutes ou multiplies
entre elles, donnent pour somme ou pour produit une fonction semblable de la somme
ou du produit de ces variables (comment a pas trs clair ? Un peu de respect pour
Cauchy tout de mme !)
Proposition 9.
1. Soit f une fonction continue sur R, telle que
x, y R ,

f (x + y) = f (x) + f (y)

Alors, en notant a = f (1),


x R ,

f (x) = ax

2. Soit f une fonction continue sur R, telle que


x, y R ,

f (x + y) = f (x)f (y)

Alors, en notant a = f (1), a > 0 et


f (x) = ax

x R ,

3. Soit f une fonction continue sur R+ , telle que


x, y R ,

f (xy) = f (x) + f (y)

Il existe a R+ tel que f (a) = 1 et :


x R+ ,

f (x) = ln(x)/ ln(a)

4. Soit f une fonction continue sur R+ , telle que


x, y R+ ,

f (xy) = f (x)f (y)

Alors, soit f est constamment nulle, soit f (1) > 0, et en notant a = ln(f (1)) :
x R+ ,

46

f (x) = xa

Limites et continuit

Maths en Ligne

UJF Grenoble

Dmonstration : Nous dtaillons la dmonstration du premier point. Celle des autres


points se fait sur le mme modle et sera laisse au lecteur.
Supposons que f vrifie
x, y R ,

f (x + y) = f (x) + f (y)

Soit x un rel quelconque. Commenons par montrer, par rcurrence sur n, que pour
tout n N,
f (nx) = nf (x)
La proprit est vraie pour n = 1. Supposons quelle soit vraie pour n. Alors :
f ((n + 1)x) = f (nx + x) = f (nx) + f (x) = nf (x) + f (x) = (n + 1)f (x)
La proprit est vraie pour n + 1. Elle est donc vraie pour tout n N.
Soient p et q sont deux entiers. Applique x = 1/q, la proprit ci-dessus donne
f (p/q) = pf (1/q), et aussi f (1) = qf (1/q). Donc
f (p/q) = f (1)(p/q)
En posant a = f (1), la fonction f concide avec x 7 ax sur tous les rationnels positifs.
La relation f (x + 0) = f (x) + f (0) montre que f (0) = 0. En crivant f (0) = f (x) +
f (x), on obtient que f (x) = f (x). La fonction f concide donc avec x 7 ax sur
tous les rationnels, donc sur tous les rels, par un argument de continuit.


3.4

Discontinuits des fonctions monotones

Le thorme 4 montre que si une fonction est monotone (croissante ou dcroissante)


sur un intervalle, elle admet une limite gauche et une limite droite en tout point.
Soit f une fonction croissante sur lintervalle I. Pour tout a I, on a :
lim f (x) 6 f (a) 6 lim+ f (x)

xa

xa

La fonction f est continue en a si et seulement si les trois valeurs concident. Une


fonction croissante peut trs bien ne pas tre continue partout. Par exemple, la fonction
partie entire est croissante, et discontinue en tout point entier (figure 2). Cependant,
lensemble des points de discontinuit est au plus dnombrable.
Thorme 16. Si une fonction est monotone sur un intervalle, lensemble des points
o elle nest pas continue est fini ou dnombrable.
Dmonstration : Quitte remplacer f par f , nous pouvons supposer que f est
croissante. Soient a et b deux rels tels que a < b. Supposons que f ne soit continue ni
en a, ni en b. Alors :
lim f (x) < lim+ f (x) lim f (x) < lim+ f (x)

xa

xb

xa

47

xb

Limites et continuit

Maths en Ligne

UJF Grenoble

Les intervalles ouverts




lim f (x) , lim+ f (x)

xa

xa

et

lim f (x) , lim+ f (x)

xa

xa

sont disjoints et non vides. Chacun deux contient au moins un rationnel. On peut donc
construire une application injective, associant tout point de discontinuit de f , un
rationnel. Comme lensemble des rationnels est dnombrable, le rsultat sensuit. 

3.5

Pourquoi dfinir la continuit ?

Les notions de limites, de continuit, de droite relle mme, nont eu de dfinition


rigoureuse que longtemps aprs avoir t introduites et appliques. Dans la deuxime
moiti du xixe sicle, les mathmaticiens ont commenc refuser de se satisfaire de
ce qui, jusqualors, apparaissait comme des vidences de nature gomtrique. Voici ce
quen dit Julius Dedekind (1831-1877) dans la prface de son ouvrage Continuit et
nombres rationnels en 1872.
Les considrations qui font lobjet de ce court essai datent de lautomne
1858. Je me trouvai alors, en tant que professeur lEcole Polytechnique
Fdrale de Zurich, oblig pour la premire fois dexposer les lments du
calcul diffrentiel et je ressentis cette occasion, plus vivement encore
quauparavant, combien larithmtique manque dun fondement vritablement scientifique. propos du concept dune grandeur variable qui tend
vers une limite fixe, et notamment pour prouver le thorme que toute
grandeur qui crot constamment, mais non au-del de toute limite, doit
ncessairement tendre vers une valeur limite, je cherchai refuge dans les
vidences gomtriques. Maintenant encore, admettre ainsi lintuition gomtrique dans le premier enseignement du calcul diffrentiel me semble, du
point de vue didactique, extraordinairement utile, indispensable mme, si
lon ne veut pas perdre trop de temps. Mais, personne ne le niera, cette faon dintroduire au calcul diffrentiel, ne peut aucunement prtendre avoir
un caractre scientifique. Mon sentiment dinsatisfaction tait alors si puissant que je pris la ferme dcision de rflchir jusqu ce que jaie trouv un
fondement purement arithmtique et parfaitement rigoureux des principes
de lanalyse infinitsimale.

48

Vous aimerez peut-être aussi