c Christophe Bertault - MPSI

Limite dune fonction

Gnralement, les fonctions de R dans R quon manipule en analyse sont dfinies sur des intervalles, mais il arrive quelles le
soient sur des runions finies dintervalles par exemple R = ] , 0[ ]0, [. Pour cette raison, dans tout ce chapitre, les
lettres I, J . . . dsignent des runions finies dintervalles de R ventuellement des intervalles de R, mais pas forcment.
Dfinition (Adhrence dune runion finie dintervalles) On note I1 , I2 , . . . , Ir les intervalles disjoints dont I est la
runion, a1 et b1 les bornes de I1 avec a1 b1 , a2 et b2 les bornes de I2 avec a2 b2 . . . et ar et br les bornes de Ir avec ar br .
On appelle adhrence de I et on note I lensemble I = [a1 , b1 ] [a2 , b2 ] . . . [ar , br ].
Exemple

[0, 1[ = [0, 1],

]0, [ = [0, ]

(ferm droite en )

R = R.

et

On dit que f vrife une certaine proprit P au voisinage de a sil existe un

Soient f : I R une application et a I.
voisinage V de a tel que f vrifie la proprit P sur I V.
Exemple

La fonction sinus est croissante au voisinage de 0 car elle est croissante sur ,
.
2 2
1

1
.
La fonction cosinus est minore par au voisinage de 0 car elle est minore par sur ,
2
2
3 3

Dfinitions de la limite dune fonction

1
1.1

Limite dune fonction en un point

Dfinition

On dit que f admet

(Limite dune fonction en un point) Soient f : I R une application, a I et R.
pour tout voisinage V de , il existe un voisinage Va de a tel que :

pour limite en a si :

Explication

x I Va ,

f (x) V .

Bien comprendre les figures suivantes !

a Va

lim f =
a
avec R et a R

Et dans le cas o I
est une runion dintervalles
et o a est la jonction
de deux intervalles sans appartenir
au domaine de dfinition :

lim f =

lim f =

avec R

a Va

lim f =
a
avec R et a R

a Va

lim f =
a

a
lim f =
a
avec a R

Va

c Christophe Bertault - MPSI

Thorme

(Unicit de la limite) Soient f : I R une application et a I.

(i) Si f possde une limite en a, celle-ci est unique, note lim f ou lim f (x).
a
xa
la relation lim f = se note souvent f ou f (x) .
Pour tout R,
a

(ii) Si a I et si f possde une limite en a, alors

Explication

xa

lim f = f (a).
a

f est dfinie en a
mais lim f nexiste pas.

Pour lassertion (ii) :

f est dfinie en a
et lim f = f (a).

f (a)

f (a)

Pourtant nous verrons

que lim f = lim f .

Dmonstration

a+

(i) Par labsurde, faisons lhypothse que f possde deux limites et distinctes. Il existe alors un voisinage
V de et un voisinage V de disjoints. Or par hypothse sur f , il existe deux voisinages Va et Va de a
tels que : x I Va , f (x) V
et
x I Va , f (x) V .

Donnons-nous finalement x I Va Va un tel x existe car I Va Va est non vide. Alors f (x) V V
alors que nous avons choisi V et V disjoints contradiction !

(ii) Faisons lhypothse que f est dfinie en a i.e. a I et possde une limite en a.
Peut-on avoir alors = ? Si ctait le cas, il existerait un voisinage Va de a tel que f (x) f (a), pour
tout x I Va . Pour x = a, on aurait en particulier f (a) f (a), contradiction. Bref, = , et on
pourrait montrer de mme que = . Conclusion : R.
Pour tout > 0, il existe donc par hypothse un voisinage Va de a tel que f (x) ] , + [ pour tout
x I Va . En particulier, pour x = a : > 0,
f (a) < . Sous lhypothse que = f (a), ce
f (a)
rsultat est contradictoire pour =
, donc forcment = f (a) comme voulu.
2
En pratique La dfinition gnrale de la limite en termes de voisinages est hors programme. Il est en revanche impratif que vous connaissiez sur le bout des doigt ses neuf reformulations ci-dessous. Aidez-vous des figures de la page prcdente.

Dfinition

(Les 9 limites) Soient f : I R une application, a I et R.

Cas o R et a R :
lim f =
a

> 0,

> 0/

x I,

|x a| < =

f (x) < .

Cas o = et a = :
lim f =

A > 0,

B > 0/

x I,

x>B

= f (x) > A.

Cas o = et a = :
lim f =

A < 0,

B > 0/

x I,

x>B

= f (x) < A.

Cas o = et a = :
lim f =

A > 0,

B < 0/

x I,

x<B

= f (x) > A.

Cas o = et a = :
lim f =

A < 0,

B < 0/

x I,

x<B

= f (x) < A.

Cas o R et a = :
lim f =

> 0,

B > 0/

x I,

x>B

f (x) < .

> 0,

B < 0/

x I,

x<B

f (x) < .

Cas o R et a = :
lim f =

c Christophe Bertault - MPSI

Cas o = et a R, a
/I :
lim f =

A > 0,

> 0/

x I,

|x a| < = f (x) > A.

Cas o = et a R, a
/I :
lim f =

A < 0,

> 0/

x I,

|x a| < = f (x) < A.

Attention ! Dans ces dfinitions, les quantificateurs et ne doivent tre permuts sous aucun prtexte. On peut
montrer en revanche que les ingalits strictes peuvent tre remplaces si on le souhaite par des ingalits larges.
Exemple

x+2
lim
= .
x1

x1

En effet

Nous devons montrer que :

A > 0,

Soit A > 0. Pour tout x ]1, [, minorons :

> 0/

x+2

x1

x ]1, [,

3
x1

1
.
x1

On minore en simplifiant et en vrifiant

que ce par quoi on minore tend toujours
vers quand x tend vers 1.
On remarque alors que :
Daprs ce qui prcde :

Exemple

1
>A
x1

x ]1, [,

x1 <

|x 1| < =

1
A

|x 1| <

1
> A.
x1

1
.
A2

Posons donc =

1
.
A2

x2
= 1.
x x2 + 1
lim

En effet

Nous devons montrer que :

Soit > 0. Pour tout x R, majorons :

> 0,

B > 0/

x R,

x2
1
1 = 2
x2 + 1
x +1

x>B

On remarque alors que :

1
<
x2

Daprs ce qui prcde :

x R,

x > B =

x2
1 < .
+1

x2

1
.
x2

On majore en simplifiant et en vrifiant

que ce par quoi on majore tend toujours
vers 0 quand x tend vers .

Exemple

x+2

> A.
x1

On arrte de minorer quand on

se sent capable de trouver .

|x 1| < =

On arrte de majorer quand on

se sent capable de trouver B.
1
Posons donc B = .

1
x> .

x2
1 < .
+1

x2

lim x2 x = .

En effet Nous devons montrer que : A > 0, B > 0/ x R, x > B

Soit A > 0. Pour tout x 2, comme x 1 1 : x2 x = x(x 1) x.
On minore en simplifiant et en vrifiant
que ce par quoi on minore tend toujours
vers quand x tend vers .
Posons donc B = max 2, A . Daprs ce qui prcde :

x2 x > A.

On arrte de majorer quand on

se sent capable de trouver B.

x R,

x>B

x2 x > A.

Thorme (Limite et caractre born) Soient f : I R et a I.

Si f possde une limite finie en a, alors f est borne au voisinage de a.

Dmonstration
particulier :

Par hypothse, il existe un voisinage Va de a tel que :

f (x) =

f (x) +

f (x) + ||

|| + 1,

x I Va ,

f (x) < 1.

donc f est borne sur I Va .

En

c Christophe Bertault - MPSI

1.2

Limites dune fonction gauche/ droite en un point

Dfinition

(Limite dune fonction gauche/ droite en un point) Soient f : I R une application, a I et R.

Si f est dfinie au voisinage de a gauche, on dit que f admet pour limite gauche en a si f

I ],a[

admet pour

limite en a. En tant que limite, la limite de f en a gauche, si elle existe, est unique et note lim f ou lim f (x) ou xa
lim f (x).
a

xa

Si f est dfinie au voisinage de a droite, on dit que f admet pour limite droite en a si f

I ]a,[

x<a

admet pour

limite en a. En tant que limite, la limite de f en a droite, si elle existe, est unique et note lim f ou lim f (x) ou xa
lim f (x).
a+

xa+

x>a

En pratique Ces dfinitions sont un peu abstraites. Vous devez surtout retenir leurs reformulations en situation .
Les voici dans le cas des limites gauche :
Cas o R :
Cas o = :

> 0,
A > 0,

Cas o = :
Exemple

lim

x0+

> 0/

x I,

> 0/

A < 0,

a < x < a =

x I,

> 0/

f (x) < .

a < x < a = f (x) > A.

x I,

a < x < a = f (x) < A.

1
= .
x

1
> A.
Soit A > 0. Nous cherchons > 0 tel que : x ]0, [,
x
1
1
1

Or pout tout x R+ :
> A x < . Nous pouvons donc choisir = .
x
A
A

En effet

Thorme (Caractrisation de la limite laide des limites gauche/ droite) Soient f : I R une application,
On suppose f dfinie au voisinage de a gauche et droite.
a I et R.
(i) Si a I :

lim f =

(ii) Si a
/I :

lim f =

lim f = lim f =
a

a+

et

= f (a)

lim f = lim f = .
a

a+

Attention ! Dans lassertion (i), la prcision = f (a) est indispensable : lorsque f est dfinie en a, on peut trs
bien avoir lim f = lim f sans que f ait une limite en a. Pour vous en convaincre, jetez un il aux figures du haut de la page 2.
a

a+

Dmonstration

Montrons seulement (i).

Si lim f = , nous avons dj montr qualors = f (a). On obtient les limites lim f = lim f = par simple
a

a+

restriction du domaine I ] , a[ et I ]a, [ dans la dfinition de la limite lim f = .

a

Rciproquement, supposons quon ait lim f = lim f = = f (a) alors en particulier R. Nous voulons
a

a+

montrer que lim f = . Soit > 0. Il existe > 0 et + > 0 tels que pour tout x I :
a

a < x < a =
Posons = min , +

f (x) <

et

a < x < a + +

f (x) < .

et donnons-nous x I tel que |x a| < , i.e. a < x < a + . Alors :

1) si a < x < a, on a en fait a < x < a, donc f (x) < ;

2) si x = a, f (x) = f (a) = 0 < ;

3) si a < x < a + , on a en fait a < x < a + + , donc f (x) < .

Dans tous les cas, f (x) < . Cest termin.
Exemple

On note f la fonction x
En effet

ex
1x

si x 0
si x < 0

de R dans R. Alors lim f = 1.

0

Puisque lim (1 x) = 1 et lim e = 1, et puisque f (0) = 1, le thorme prcdent affirme bien,

x0

x0+

comme annonc, que lim f (x) = 1.

x0

c Christophe Bertault - MPSI

2
2.1

Proprits des limites de fonctions

Caractrisation squentielle de la limite dune fonction

Caractrisation squentielle signifie caractrisation en termes de suites . Le thorme suivant contient en particulier
le rsultat que nous avons appel Composition gauche par une fonction dans notre chapitre Limite dune suite . Nous
lutilisions jusquici sans lavoir dmontr.
Thorme (Caractrisation squentielle de la limite dune fonction) Soient f : I R une application, a I et
Les assertions suivantes sont quivalentes :
R.
(i)

lim f = .

(ii)

Pour toute suite (un )nN de limite a valeurs dans I, la suite f (un )

nN

a pour limite .

Dmonstration
(i) = (ii) On suppose que lim f = . Soit (un )nN une suite de limite a valeurs dans I. Nous devons montrer
a

que lim f (un ) = . Soit V un voisinage de . Puisque lim f = a, il existe un voisinage Va de a tel que :
n

x I Va ,

tout n

f (x) V .

Mais lim un = a, donc un Va partir dun certain rang N . Finalement, pour

n

N , un I Va donc f (un ) V . Cela montre bien que lim f (un ) = .

n

(ii) = (i) Au lieu de travailler avec des voisinages, travaillons dans le cas particulier o a, R pour varier.
Par contraposition, supposons donc que f nadmet pas pour limite. Il existe alors 0 > 0 tel que :
> 0,

|x a| < et

x I/

f (x)

Nous devons en dduire lexistence dune suite (un )nN de limite a valeurs dans I telle que f (un ) nN
1
nadmette pas pour limite. Pour tout n N , utilisons avec la valeur = . Cela nous donne un
n
1
lment un I tel que |un a| <
et f (un )
0 . Ce procd de construction nous fournit bien une
n
suite (un )nN de limite a valeurs dans I telle que f (un ) nN nadmette pas pour limite.
Exemple

Puisque lim ln x = et lim n! = , alors lim ln(n!) = .

Exemple

La limite lim sin x nexiste pas.

En effet

sin 2n +
2

2.2

= . Pourtant : sin(n) = 0 0
n
2
et bien sr 1 = 0. On conclut grce la caractrisation squentielle de la limite.

Pour commencer :
= 1 1,
n

lim n = lim

2n +

et

Oprations sur les limites

Pour cette partie du cours, allez faire un tour du ct des limites de suites. Il se passe avec les fonctions la mme chose
quavec les suites pour les oprations de somme, produit, multiplication par un scalaire et inverse en particulier, mmes
formes indtermines. Pour ne pas perdre de temps inutilement, nous ne nous arrterons pas davantage sur ces rsultats.

Thorme

b J et c R.

(Limite et composition) Soient f : I J et g : J R deux applications, a I,

Si

lim f = b
a

et si

lim g = c,
b

alors

lim g f = c.
a

Dmonstration
Lide de la preuve est rsume par la figure ci-aprs. Soit Vc un voisinage de c. Puisque
lim g = c, il existe un voisinage Vb de b tel que : x J Vb , g(x) Vc . Du coup, puisque lim f = b, il existe
a

un voisinage Va de a tel que :

Comme voulu, lim g f = c.

x I Va ,

f (x) Vb . Enfin, par composition :

x I Va ,

g f (x) Vc .

c Christophe Bertault - MPSI

2
. . . il existe un voisinage Vb de b
que g envoie dans Vc . . .

. . . et donc aussi un voisinage Va de a

que f envoie dans Vb .

g
Vb

Va

Pour tout voisinage Vc de c. . .

b
f

c Vc
J

gf

Finalement g f envoie Va dans Vc dun coup dun seul.

En pratique Vous devez savoir appliquer parfaitement ce thorme de composition des limites. Pour montrer par
e2x + 1
= 0, il faut savoir dans quel ordre et avec quelles fonctions lmentaires cette limite est construite.
exemple que lim ln x
x
(e + 1)2

R+

R+

R
R
2
y
+
1
On peut, au brouillon, reprsenter la situation de la faon suivante :
x
x e = y
= z ln z.
(y + 1)2
2
y +1
Une fois quon a fait a, cest facile, on na plus qu remarquer que lim ex = 0, lim
= 1 et lim ln z = 0.
x
y0 (y + 1)2
z1

2.3

Passage la limite et relation dordre

Thorme

(Limites et ingalits strictes) Soient f : I R une application, a I et m, M R.

(i) Si lim f < M , alors f (x) < M au voisinage de a.

a

(ii) Si lim f > m, alors f (x) > m au voisinage de a.

a

Attention !

Rsultats faux avec des ingalits larges ! Par exemple, lim

Dmonstration

1
=0
x

0, mais

1
> 0 pour tout x R+ .
x

Prouvons seulement lassertion (ii). Posons = lim f . Si = , il existe un voisinage Va de a

a

tel que : x I Va , f (x) ]m, [. Si au contraire R, sachant que m > 0 par hypothse, il existe un
voisinage Va de a tel que : x I Va , f (x) ] ( m), + ( m)[ ]m, [. Dans les deux cas, f (x) > m
au voisinage de a.

On suppose que f
Thorme (Limites et ingalits larges) Soient f : I R et g : I R deux applications et a I.
et g possdent des limites finies en a.
Si f (x)

g(x) au voisinage de a, alors lim f

lim g.

Ce rsultat est utilis le plus souvent lorsque lune des deux fonctions est constante.

Attention !

Rsultat faux avec des ingalits strictes ! Par exemple,

1
1
> 0 pour tout x R+ , mais lim
= 0.
x x
x

Dmonstration
Par hypothse, g(x) f (x)
0 au voisinage de a. Raisonnons par labsurde en supposant
que lim(g f ) < 0. Le thorme prcdent affirme alors que g(x) f (x) < 0 au voisinage de a contradiction.
a

Conclusion :

lim(g f )
a

et cest fini.

c Christophe Bertault - MPSI

Thormes dexistence de limites pour les fonctions

3
3.1

Thorme des gendarmes, thormes de minoration/majoration

Thorme

Soient f : I R, m : I R et M : I R trois applications, a I et R.

(i) Thorme des gendarmes/de lencadrement : Si

lim m = lim M = et si m(x)

a

f (x)

M (x) au voisinage

de a, alors lim f existe et vaut .

a

(ii) Thorme de minoration : Si lim m = et si f (x)

a

m(x) au voisinage de a, alors lim f existe et vaut .

(iii) Thorme de majoration : Si lim M = et si f (x)

a

M (x) au voisinage de a, alors lim f existe et vaut .

a

Dmonstration Pour (i), soit > 0. Par hypothse, il existe un voisinage Va de a sur lequel m(x) f (x) M (x),
un voisinage Va sur lequel m(x) > et un voisinage Va sur lequel M (x) < + . Posons Va0 = Va Va Va ,
qui est un voisinage de a. Pour tout x I Va0 : < m(x) f (x) M (x) < + , donc f (x) < .
Le thorme des gendarmes est souvent utilis sous lune des deux formes suivantes, que vous dmontrerez seuls :
Corollaire

Soient f : I R et : I R deux applications et a I.

Si f (x)

(x) au voisinage de a et si lim = 0, alors lim f = 0.

a

Si f est borne au voisinage de a et si lim = 0, alors lim (x)f (x) = 0.

a

Exemple

3.2

lim x sin

x0

xa

1
1
= 0 car la fonction x sin est borne et lim x = 0.
x0
x
x

Thorme de la limite monotone

Thorme

(Thorme de la limite monotone) Soient f : I R une application.

Si f est monotone, alors lim f et lim f existent pour tout a I
a

a+

(du moins pour peu que f soit dfinie gauche/droite de a).

Plus prcisment, dans le cas o f est croissante :
(i) Pour tout a I, si f est dfinie au voisinage de a gauche et droite, alors lim f et lim f existent, sont finies et
a

vrifient :

lim f
a

f (a)

a+

lim f .
a+

(ii) lim f existe. Cette limite est finie si f est minore ; elle vaut sinon.

lim f

lim f existe. Cette limite est finie si f est majore ; elle vaut sinon.

f (a)

inf I +

(iii)

a+

sup I

Assertion (i)

lim f
a

Si f est dcroissante, on dispose bien entendu dun rsultat analogue.

Dmonstration Montrons seulement lassertion (i). Soit a I. On suppose f dfinie au voisinage de a droite.
Nous allons montrer lexistence de lim f et lingalit : f (a) lim f .
a+

a+

Posons Fa+ = f I ]a, [ . La fonction f tant croissante,

pour tout x I ]a, [ : f (a)
f (x), donc Fa+ est
une partie de R minore par f (a), et par ailleurs non vide
car f est dfinie au voisinage de a droite. Lexistence du
rel = inf Fa+ dcoule alors de la proprit de la borne
infrieure et de plus : f (a) .

Fa+

y0

x0

c Christophe Bertault - MPSI

Montrons que lim f = . Soit > 0. Le rel + nest pas un minorant de Fa+ car en est le plus petit. Il
a+

existe donc y0 Fa+ tel que y0 < + , et en fait y0 = f (x0 ) pour un certain x0 I ]a, [. Posons alors
= x0 a > 0. Pour tout x I tel que a < x < a + = x0 : < f (x) f (x0 ) = y0 < + , car
dune part f est croissante et dautre part = inf Fa+ .
Conclusion : > 0, > 0/ x I, a < x < a + = f (x) < , i.e. lim f = .
a+

Extension au cas des fonctions complexes

Nous allons brivement tendre les rsultats que nous avons obtenu pour les fonctions relles aux fonctions complexes.
Attention !

Pas dingalits dans C, donc pas de fonctions complexes majores/minores/monotones ! Hlas !

Chose remarquable : la notion de fonction borne a toujours un sens.

Dfinition

(Fonction borne) Soit f : I C une application. On dit que f est borne sil existe K R+ tel que :
x I,

f (x)

K.

Dfinition (Limite dune fonction complexe en un point) Soit f : I C une application, a I et C. On dit que
f admet pour limite en a si :
pour tout voisinage V de , il existe un voisinage Va de a tel que :

x I Va ,

f (x) V .

Cela revient dire que lim f (x) = 0, ce qui nous ramne au cas des limites de fonctions relles.
xa

Le thorme dunicit de la limite est encore valable.

Explication

Mme dfinition que dans le cas des fonctions relles. La seule modification, cest lallure des voisinages.

Thorme (Caractrisation de la limite partir des parties relle et imaginaire) Soient f : I C, a I et C.

Les assertions suivantes sont quivalentes :
(i)

(ii)

lim f = .
a

lim Re(f ) = Re()

a

et

lim Im(f ) = Im().

a

Dmonstration
(i) = (ii) Il est connu que :

Re(f ) Re() = Re(f )

|f |.

Du coup, si lim f = , le thorme

a

des gendarmes pour les fonctions relles montre que lim Re(f ) = Re().
a

(ii) = (i) Au dpart :

|f | =

Re(f ) Re()

+ Im(f ) Im() .

Du coup, si lim Re(f ) = Re()

a

et lim Im(f ) = Im(), on obtient bien lim f = par oprations sur les limites de fonctions relles.
a

Exemple

eix
=0
x 1 + x2
lim

car lim

cos x
sin x
= lim
= 0.
x 1 + x2
1 + x2

Il est toujours vrai quune fonction possdant une limite finie en un point est borne au voisinage de ce point.
Les notions de limite gauche et droite, ainsi que la caractrisation de la limite en termes de limite gauche et droite,
sont maintenues pour les fonctions complexes. La caractrisation squentielle de la limite est galement maintenue, de mme que
les rsultats sur les oprations daddition, produit, multiplication par un scalaire et inverse, ceci prs que les symboles
sont bannis.
Les grands thormes dexistence de limites nont pas de sens dans le cas des fonctions complexes car ils utilisent de faon
essentielle la relation dordre naturelle sur R.