Professional Documents
Culture Documents
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.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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
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
(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
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 ,
Posons = 1/n :
x Df ,
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
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
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
et
yb
Alors
lim g f (x) = g(b) .
xa
Maths en Ligne
Limites et continuit
UJF Grenoble
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
xa
xa
Notation
lim f (x) = l
xa
Limites gauche
Dfinition
, a 6 x < a = |f (x) l| 6
xa
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
xa+
xa+
Exemple
lim+ x/|x| = +1
x0
lim 1/x = +
x0+
lim 1/x =
x0+
xa
xa
Limites en
Dfinition
B , x 6 B = |f (x) l| 6
Exemple
lim 1/x = 0
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+
x+
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.
+
?
+
+
?
+
+
?
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
xa+
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
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
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
Limites et continuit
Maths en Ligne
UJF Grenoble
|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 , ,
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 , ,
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.
0 < |x a| 6 =
f (x)
g(x)
6.
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
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+
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+
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
lim xa ebx = +
x+
x+
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
17
Limites et continuit
Maths en Ligne
UJF Grenoble
1.9
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
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] }
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
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
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
|f (x)| 6
|f (x)| 6
5. n N , > 0 , x [, 0[]0, ] ,
6. n N , m N ,
|f (x)| <
|f (x)| < (1/n)
Limites et continuit
Maths en Ligne
7. n N , m N ,
UJF Grenoble
x0
x0
3. lim 1 1/f (1 x) = 0
x1
q
4. lim f ( x) = 1
x0
5. lim f (cos(x)) = 0
x0
7. lim f (ex ) = 1
x0
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 ,
xa+
x+
|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
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
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
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
lim x2 e
x+
x ln(x)
x+ x2 + 1
lim
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
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).
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
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)
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)
f (x) = f (2n x)
x R ,
Dmontrer par rcurrence que
x R , n N ,
f (x) = f (x1/2n )
g(x) =
0
si x 6 0
f ( x) f ( x) si x > 0
f (x + y) = f (x) + f (y)
f (x + y) = f (x)f (y)
Limites et continuit
Maths en Ligne
UJF Grenoble
f (x) = y
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
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 ,
.
(x > A) = |f (x)| 6
A R , B R ,
.
(x 6 B) = f (x) > A
( 6 x < 0) = f (x) 6 A
D Si pour tout x rel f (x) < 0, alors pour tout rel a lim f (x) < 0.
xa+
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
x+
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
lim a1/x = 1 .
x+
ln(a)
+ o(1/x) .
x
x+
a1/x + b1/x
2
!x
4. Dterminer :
lim
x0+
a2x + b2x
2
ab .
!1/x
34
Limites et continuit
Maths en Ligne
UJF Grenoble
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
2.5
Corrig du devoir
Questions de cours :
1. Par dfinition, on dit que lim+ f (x) = + si :
x0
A R , > 0 ,
1
. Alors :
A2
1
1
(0 < x 6 ) = > = A2 > A .
x
35
Limites et continuit
Maths en Ligne
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+
x0+
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
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
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) .
!!
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 .
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
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
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+
x+
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
f (1/x)
f (x)
= lim
= 1 .
x0
x
x
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.
1x
1y
>
.
1+x
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
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
1
.
x
x1
x1
1
= 1 et
x
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
Maths en Ligne
Limites et continuit
UJF Grenoble
3.2
Continuit uniforme
|y x| 6 = |f (y) f (x)| 6
(2)
|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)
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
43
Limites et continuit
Maths en Ligne
UJF Grenoble
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
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
[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
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)
Limites et continuit
Maths en Ligne
UJF Grenoble
f (x + y) = f (x) + f (y)
f (x) = ax
f (x + y) = f (x)f (y)
x R ,
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
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
xa
xa
xa
xb
xa
47
xb
Limites et continuit
Maths en Ligne
UJF Grenoble
xa
xa
et
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
48