Vous êtes sur la page 1sur 10

c Christophe Bertault - MPSI

Limite dune fonction


Dans tout ce chapitre, I, J . . . sont des intervalles de R.
Dfinition

(Intrieur et adhrence dun intervalle)

On appellera intrieur de I et on notera I lintervalle I priv de ses bornes. Par exemple, R+ = R


+ et [0, 1[ = ]0, 1[.

On appellera adhrence de I et on notera I lintervalle I augment de ses bornes, qui ventuellement ne lui appartiennent
pas. Par exemple, [0, 1[ = [0, 1] et ]0, [ = [0, ].
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 V I. Par exemple, la fonction sinus est croissante au voisinage de 0 ; la
1
fonction cosinus est minore par et majore par 1 au voisinage de 0.
2

Dfinitions de la limite dune fonction

1.1

Limite dune fonction en un point

On dit que f admet


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

x Va I,

f (x) V` .

   Explication
Si vous avez bien compris la dfinition de la limite dune suite, vous devriez prsent comprendre la
dfinition de la limite dune fonction. Avec les suites, on demandait que pour tout voisinage V` de la limite `, tous les termes
partir dun certain rang soient pigs dans V` . A prsent, avec les fonctions, on demande que toutes les valeurs que la fonction
f considre prend au voisinage de a soient piges dans V` .

V`

V`
V`

a Va

lim f = `
a
avec ` R et a R
Thorme

lim f =

lim f = `

avec ` R

(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

lim f = f (a).
a

xa

a
lim f =
a
avec a R

Va

c Christophe Bertault - MPSI


f (a)
b

bc

f (a)

   Explication
On peut comprendre lassertion (ii) de ce thorme au moyen de deux
petits dessins trs simples.

f est dfinie en a
mais lim f nexiste pas.

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

Pourtant nous verrons


que lim f = lim f .

Dmonstration

a+

(i) Raisonnons par labsurde et faisons lhypothse que f possde deux limites ` et `0 distinctes. Parce que
` 6= `0 , il existe un voisinage V` de ` et un voisinage V`0 de `0 tels que V` V`0 = . Or par hypothse sur f ,
il existe deux voisinages Va et Va0 de a tels que :
x Va I,

Va Va0 I

Finalement, donnons-nous x
comme voulu notre choix de V` et V`0 .

x Va0 I,

et

f (x) V`

f (x) V`0 .

cet ensemble est non vide. Alors f (x) V` V`0 , ce qui contredit

(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 donc un voisinage Va de a tel que f (x) ]f (a), [
pour tout x Va ; en particulier, pour x = a, on aurait donc f (a) ]f (a), [ contradiction. Ainsi ` 6= ,
et on pourrait montrer de mme que ` 6= .
Bref, ` R. Soit finalement > 0. Il existe par hypothse un voisinage Va0 de a tel que f (x) ]`,
`+[ pour
tout x Va0 I ; en particulier f (a) ]`, `+[. Nous venons donc de montrer que : > 0, f (a)` < .
1
Aussitt ` = f (a) comme voulu choisir = , puis faire tendre n vers .

n

   En pratique
Vous ntes pas obligs dapprendre la dfinition gnrale et abstraite de la limite que nous venons
de donner car elle nest pas au programme. Nous allons cependant la reformuler de neuf faons diffrentes dans neuf contextes,
et il est impratif que vous connaissiez, ou du moins sachiez retrouver trs vite, ces neuf dfinitions. Des dessins tels que ceux
que nous avons effectus ci-dessus pourront vous tre utiles pour bien comprendre ces reformulations.

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| 6 = f (x) ` 6 .

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) 6 A.

Cas o ` = et a = :
lim f =

A > 0,

B < 0/

x I,

x6B

= f (x) > A.

Cas o ` = et a = :
lim f =

A < 0,

B < 0/

x I,

x6B

Cas o ` R et a = :
lim f = `

lim f = `

> 0,

B > 0/

x I,

x>B

= f (x) ` 6 .

> 0,

B < 0/

x I,

x6B

= f (x) ` 6 .

Cas o ` R et a = :

= f (x) 6 A.

c Christophe Bertault - MPSI


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

A > 0,

> 0/

x I,

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

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

$ $ $ Attention !

A < 0,

> 0/

x I,

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

Dans ces dfinitions, les quantificateurs et ne doivent tre permuts sous aucun prtexte.

Remarque On peut montrer que dans ces dfinitions, toutes les ingalits ingalits larges peuvent tre remplaces par des
ingalits strictes.
Le rsultat suivant est une consquence directe de la dfinition de la limite.

Thorme

Exemple

Soient f : I R une application, a I et ` R.


Si ` R :

xa

Si a R :

xa

lim

x1

xa

lim f (x) ` = 0.

lim f (x) = `

h0

lim f (a + h) = `.

1
= .
x1

En effet

Soit A > 0. On cherche > 0 tel que :

tout x ]1, [ :
Posons =

Exemple

lim f (x) = `

lim

1
>A
x1

1
. Via ce qui prcde, on a bien :
A2

x ]1, [,

x1 6

1
A

|x 1| 6

x ]1, [,

|x 1| 6 =

x2
= 1.
+1
Soit > 0. On cherche B > 0 tel que :



x2


6

1
x2 + 1

x R,

x>B

1
> A.
x1

Or pour

1
car x > 1.
A2
1

> A comme voulu.


x1

|x 1| 6

x x2

En effet



x2


6 .

1
x2 + 1

Or pour tout

1
1
1
6

x2 + 1 >

x2 > 1.
x2 + 1

Nousr
pouvons en fait supposer < 1 car ce sont les valeurs voisines de 0 de qui nous
sont utiles ici. Posons alors

x2

1
B=
1. Via ce qui prcde, on a bien : x R, x > B = 2
1 6 comme voulu.

x +1
xR:

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


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

Dmonstration

Puisque ` = lim f existe et est finie, il existe un voisinage Va de a tel que :


a

x I,

En particulier : x I Va ,
au voisinage de a.

x Va



f (x) 6 |`| + 1.



f (x) ` 6 1.

Ceci montre que f est borne sur I Va , donc que f est borne


c Christophe Bertault - MPSI


Limites dune fonction gauche/ droite en un point

1.2

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

x<a

Si f est dfinie au voisinage de a droite, on dit que f admet ` pour limite droite en a si f
admet ` pour
I ]a,[
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

1
=
x

> 0/
> 0/

A < 0,
et

lim

x0+

x I,

> 0/

a 6 x < a = f (x) ` 6 .

x I,

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

x I,

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

1
= .
x

1
1
= . Soit donc A > 0. Nous cherchons > 0 tel que > A pour
x
x
1
1
tout x ]0, ]. Or pout tout x R
>A

x6 .
+ :
x
A
1
1
Posons finalement = . Via ce qui prcde on a bien : x ]0, ],
> A comme voulu.
A
x
En effet

Montrons par exemple que lim

x0+

Thorme

(Caractrisation de la limite laide des limites gauche/ droite) Soient f : I R une application,

a I et ` R.
lim f = `

lim f = lim f = `
et ` = f (a) .

$ $ $ Attention !

a+

La prcision ` = f (a) est indispensable. On peut trs bien avoir lim f = lim f sans que f ait une
a

a+

limite en a. Pour vous en convaincre, jetez un il aux figures du haut de la page 2.


Dmonstration
Supposons dabord que lim f = `. Nous avons dj observ qualors ` = f (a), et il est immdiat, daprs
a

toutes nos dfinitions, que lim f = lim f = `.


a

a+

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

a+

montrer que lim f = `. Soit donc > 0. Il existe > 0 et + > 0 tels que :
a

x I,
x I,
n

Posons enfin = min , +

a 6 x < a = f (x) ` 6
.
a < x 6 a + + = f (x) ` 6
et donnons-nous x I tel que |x a| 6 , i.e. a 6 x 6 a + . Alors :

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


2) si x = a, f (x) = f (a) = `, donc f (x) ` 6 ;

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


Du coup, dans tous les cas, f (x) ` 6 .

Un certain > 0 tant fix, nous avons trouv > 0 tel que :
Cela qui signifie bien que lim f = `.
a

x I,

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


c Christophe Bertault - MPSI


Exemple

Soit f : R R,

x 7

ex
1x

si x > 0
.
si x < 0

Alors lim f = 1.
0

En effet Puisque f est dfinie au moyen de deux expressions diffrentes gauche et droite de 0, les notions
de limite gauche/ droite vont nous tre utiles.
Nous savons que lim (1 x) = 1 et que lim ex = 1, et enfin f (0) = 1. Le thorme prcdent affirme bien,
x0

x0+

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


x0

1.3

Limite dune fonction en un point intrieur


en lequel elle nest pas dfinie

Nous tendons
Pour toute application f : I R, nous avons jusquici dfini lim f , en cas dexistence, dans le cas o a I.
a

prsent cette dfinition au cas o a I mais o f nest pas dfinie en a.




Dfinition (Limite dune fonction en un point intrieur en lequel elle nest pas dfinie) Soient a I, f : Ir a R
On dit que f admet ` pour limite en a si :
une application et ` R.


pour tout voisinage V` de `, il existe un voisinage Va de a tel que :

 

x Va I r a

f (x) V` .

   Explication

Cette dfinition de la limite est la mme que la premire que nous


avons donne,
 ceci prs que les I y ont t remplacs par
des I r a . En pratique on rcrit bien sr cette dfinition
avec des > 0 ou des A R comme on la fait avec
nos dfinitions prcdentes.

V`

bc

a V

a Va

lim f = ` avec ` R

lim f =
a

Thorme (Unicit de la limite) Soient a I et f : I r a R une application. 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

   Explication
Comparez donc la figure ci-contre avec les deux figures
analogues que nous avons dj vues page 2.

Exemple

lim

x0

xa

bc

1
= .
x2

f nest pas dfinie en a mais pourtant


lim f = ` existe. On voit quon poura

rait rajouter un point en a avec la valeur


f (a) = `, qui prolongerait f en la rendant continue en a ; nous reverrons cela
bientt.

1
Soit A > 0. Nous cherchons > 0 tel que : x R , |x| 6 =
> A. Or pout tout
x2
1
1
1
>A

|x| 6 . On obtient donc le rsultat voulu en posant = .


on a :
x2
A
A

En effet
x R
Exemple

lim

x0

sin x
=1
x

(nombre driv de la fonction sinus en 0).

Thorme (Caractrisation de la limite laide des limites gauche/ droite) Soient a I, f : I r a R une

application et ` R.
lim f = `

lim f = lim f = `.
a

a+

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 .


Vous remarquerez que ce thorme contient le rsultat sur les limites des suites de terme gnral de la forme f (un ) .
Jusquici nous utilisions ce rsultat 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 `.

Remarque Ce thorme est encore


 vrai si a est un point intrieur en lequel f nest pas dfini ; il faut cependant dans ce cas
remplacer les I par des I r a .
Dmonstration
(i) = (ii) On suppose que lim f = `. Soit alors (un )nN une suite de limite a valeurs dans I. Nous devons
a

montrer que lim f (un ) = `. Partons donc dun voisinage V` de `.


n

Puisque lim f = a, il existe un voisinage Va de a tel que :


a

x I,

Mais lim un = a. Il existe donc un rang N partir duquel un Va .

x Va

= f (x) V` .

Finalement, pour tout n > N , un 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.
Raisonnons par contraposition. On suppose donc que f nadmet pas ` pour
 limite. Nous devons en dduire
lexistence dune suite (un )nN de limite a valeurs dans I telle que f (un ) nN nadmette pas ` pour limite.
Mais puisque f nadmet pas ` pour limite, il existe 0 > 0 tel que :
> 0,

x I/

|x a| 6 et f (x) ` > 0 .



1
Pour tout n N , choisissons donc un lment un I tel que |un a| 6
et f (un ) ` > 0 poser
n
1
= dans la proposition prcdente. Ce procd nous fournit bien une suite (un )nN de limite a valeurs
n


dans I telle que f (un ) nN nadmette pas ` pour limite.

Exemple

Exemple

Puisque lim ex = et lim n! = , alors lim en! = .


x

lim sin

x0

1
nexiste pas.
x

1
1

et vn =
lim un = lim vn = 0.
pour tout n N . Alors n
n
n
n +
2


1
1

= sin(n) = 0 0 et sin
= sin n +
Pourtant sin
= 1 1. Ces deux limites tant
n
n
un
vn
2
diffrentes, nous en dduisons le rsultat annonc via la caractrisation squentielle de la limite.

En effet

2.2

Posons un =

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, les formes
indtermines, notamment, sont les mmes. Les rsultats en question valent ici pour toutes les notions de limite que nous avons
abordes.
Pour ne pas perdre de temps inutilement, nous ne nous arrterons pas davantage sur ces points.

c Christophe Bertault - MPSI


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

Thorme

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.


Nous voulons montrer que lim g f = c. Soit donc Vc un voisinage de c.
a

Puisque lim g = c, il existe un voisinage Vb de b tel que :


b

x J,

Du coup, puisque lim f = b, il existe un voisinage Va de a tel que :


a

Il est alors vident que :


lim g f = c.

x I,

x Va

g f (x) Vc .

x Vb

x I,

= g(x) Vc .
x Va

= f (x) Vb .

Nous avons ainsi montr comme voulu que




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

3
. . . et donc aussi un voisinage Va de a
que f envoie dans Vb .

Va

Pour tout voisinage Vc de c. . .

f
I

Vb

c Vc

J
gf

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


   En pratique

Vous devez savoir appliquer parfaitement ce thorme sur la composition des limites.

e2x + 1
= 0. Il faut pour cela savoir dans quel ordre et avec quelles fonctions lmentaires
x
(ex + 1)2
cette limite est construite. On peut, au
les pinceaux, reprsenter les diffrents niveaux de
8 brouillon, pour viter de se mlanger
R+

R
< R
+
. Une fois quon a fait a, cest
composition de la faon suivante :
y2 + 1
x
= z 7 ln z
: x 7 e
= y 7
(y + 1)2
y2 + 1
facile, on na plus qu remarquer que lim ex = 0, lim
= 1 et lim ln z = 0.
x
y0 (y + 1)2
z1

Montrons par exemple que lim ln

2.3

Passage la limite et relation dordre

`, `0 R et m, M R.
Thorme (Limites et ingalits larges) Soient f : I R et g : I R deux applications, a I,
lim g = `0

(i) Si

lim f = `,

(ii) Si

lim f = `

et si f (x) 6 M au voisinage de a,

alors

` 6 M.

(iii) Si

lim f = `

et si f (x) > m au voisinage de a,

alors

` > m.

et si f (x) 6 g(x) au voisinage de a,

alors

` 6 `0 .

$ $ $ Attention !

Ces rsultats sont faux avec des ingalits strictes : les ingalits strictes ne sont pas conserves par
1
1
passage la limite. Ainsi la limite lim 2 = 0 nest pas strictement positive, et pourtant : x R ,
> 0.
x x
x2
Remarque Ce thorme est encore
 vrai si a est un point intrieur en lequel f nest pas dfini ; il faut cependant dans ce cas
remplacer les I par des I r a .

c Christophe Bertault - MPSI


Dmonstration
(i) Les limites ` et `0 tant finies, nous savons que lim(g f ) = `0 `. Pour montrer que `0 ` > 0, raisonnons
a

par labsurde en supposant que `0 ` < 0. Par dfinition de la limite, il existe un voisinage Va de a pour



` `0


lequel on a : x I, x Va = g(x) f (x) (`0 `) 6
. En particulier, pour tout
2
0
0
`

`
`

`
x Va I on a : g(x) f (x) 6 (`0 `) +
=
< 0.
2
2
Ceci vient contredire le fait que par hypothse, f (x) 6 g(x) au voisinage de a. Ainsi `0 ` > 0 comme voulu.

(ii) et (iii) sont des cas particuliers de lassertion (i), quand lune des fonctions est constante.
` R et m, M R.
(Limites et ingalits strictes) Soient f : I R une application, a I,

Thorme
(i) Si

lim f = `

et si ` < M ,

alors f (x) < M au voisinage de a.

(ii) Si

lim f = `

et si ` > m,

alors f (x) > m au voisinage de a.

$ $ $ Attention !

pourtant :

x R ,

Ces rsultats sont faux avec des ingalits larges. Ainsi la limite lim

1
> 0.
x2

1
est ngative ou nulle, et
x2

Remarque Ce thorme est encore


 vrai si a est un point intrieur en lequel f nest pas dfini ; il faut cependant dans ce cas
remplacer les I par des I r a .
Dmonstration

Contentons-nous de dmontrer lassertion (ii). Par hypothse, puisque ` m > 0, il existe un




`m
voisinage Va de a tel que : x I, x Va = f (x) ` 6
.
2
`+m
m+m
`m
=
>
= m. Cela montre bien que f (x) > m au
Alors pour tout x Va I : f (x) > `
2
2
2
voisinage de a.


Thormes dexistence de limites pour les fonctions

Thorme des gendarmes, thormes de minoration/majoration

3.1

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

Thorme

(i) Thorme des gendarmes/de lencadrement : Si


voisinage de a,

alors lim f existe


a

et

lim m = lim M = `,
a

et si m(x) 6 f (x) 6 M (x) au

lim f = `.
a

(ii) Thorme de minoration : Si lim m =


a

et si f (x) > m(x) au voisinage de a,

alors lim f existe

et

alors lim f existe

et

lim f = .
a

(iii) Thorme de majoration : Si lim M =

et si f (x) 6 M (x) au voisinage de a,

lim f = .
a

Remarque Ce thorme est encore


 vrai si a est un point intrieur en lequel f nest pas dfini ; il faut cependant dans ce cas
remplacer les I par des I r a .
Dmonstration
(i) Par hypothse, il existe un voisinage Va de a sur lequel m(x) 6 f (x) 6 M (x).
Soit alors > 0. Par hypothse sur m et M , il existe deux voisinages Va0 et Va00 de a tels que :
x I,

x Va0

= m(x) ` 6

et

x I,

x Va00

Posons Va0 = Va Va0 Va00 , qui est un voisinage de a. Alors pour tout x Va0 I :
` 6 m(x) 6 f (x) 6 M (x) 6 ` + ,

= M (x) ` 6 .

et donc f (x) ` 6 .

c Christophe Bertault - MPSI




f (x) ` 6 ,

ce qui

(ii) et (iii) Reprenez votre cours sur les suites et tchez dimiter la preuve que nous avons faite alors.

Nous avons bien trouv un voisinage Va0 de a tel que :


montre que lim f = `.

x I,

x Va0

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) 6 (x) au voisinage de a et si

Si f est borne au voisinage de a et si

Exemple

3.2

lim x sin

x0

1
=0
x

car x 7 sin

alors lim f = 0.

lim = 0,
a

lim = 0,
a

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


xa

1
est borne et lim x = 0.
x0
x

Thorme de la limite monotone

Thorme

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

(i) Soit a I. Alors lim f et lim f existent, sont finies et vrifient :


a

lim f 6 f (a) 6 lim f .


a

a+

a+

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

(iii)

bc

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

b
bc

sup I

Assertion (i)
Si f est dcroissante, on dispose bien entendu dun rsultat analogue.

Dmonstration Montrons seulement lassertion (i) pour ne pas perdre trop de temps. Soit a I. Nous allons
montrer lexistence de lim f et lingalit : f (a) 6 lim f . On procderait de mme pour la limite gauche en a.
a+

Posons

Fa+

a+

= f I ]a, [ . Alors

Fa+

est une partie de R minore par f (a), car f tant croissante :


x I ]a, [,

f (a) 6 f (x).

Comme a I, Fa+ 6= , et donc la proprit de la borne infrieure affirme lexistence de ` = inf Fa+ R.
Montrons que lim f = `. Soit > 0.
a+

Puisque ` est le plus grand des minorants de Fa+ , ` + nen est pas un minorant. Il existe donc y0 Fa+ tel
que y0 6 ` + . Considrons en outre x0 I ]a, [ tel que y0 = f (x0 ).
Posons enfin = x0 a > 0. Alors pour tout x I tel que a < x 6 a + = x0 :

` 6 ` 6 f (x) 6 f (x0 ) = y0 6 `+,

car par dfinition ` = inf Fa+ = inf f I ]a, [ et car f est croissante.

Nous venons donc de montrer que pour tout > 0, il existe > 0 tel que :
x I,

a < x 6 a + = f (x) ` 6 .

Il est donc bien vrai que lim f existe et vaut ` comme annonc.

a+

y = f (x)
Fa+
y0
`

b
bc

b
bc

x0

c Christophe Bertault - MPSI


Extension au cas des fonctions complexes


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

$ $ $ Attention ! Les notions de fonction complexe majore/minore/monotone nont aucun sens car la relation dordre
naturelle 6 nest pas dfinie sur C.

Malgr cela, la notion de fonction borne conserve 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) 6 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 Va I,



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

f (x) V` .

xa

Le thorme dunicit de la limite est encore valable.

   Explication
Cette dfinition est exactement la mme que dans le cas des fonctions relles. La seule chose qui a
chang, cest lallure des voisinages. Pour un rappel, consultez les dernires pages du chapitre Limite dune suite .

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) Supposons quon ait lim f = `. Montrons que lim Re(f ) = Re(`) pour la partie imaginaire,
a

remplacer Re par Im . On a :
des gendarmes.


a

Re(f ) Re(`) = Re(f `) 6 |f `|. On conclut avec le thorme

(ii) = (i) Supposons quon ait lim Re(f ) = Re(`) et lim Im(f ) = Im(`). Alors par dfinition du module, et
a

tant donnes les oprations quon peut faire sur les limites, on a lim |f `| = 0. Ceci signifie prcisment
a

que lim f = `.

Exemple

eix
=0
x 1 + x2
lim

car lim

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

Avec les fonctions complexes, il est toujours vrai quune fonction possdant une limite 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,
pourraient tre dfinies sans changement dans le cadre des fonctions complexes. De mme pour la notion de limite en un point
en lequel la fonction tudie nest pas dfinie.
La caractrisation squentielle de la limite est maintenue. De mme les oprations daddition, produit, multiplication par un
scalaire et inverse sur les limites donnent lieu aux mmes rsultats que dans le cas rel ; plus prcisment, dans une expression
de la forme lim f = ` o f est une fonction complexe, on peut avoir a = , mais pas ` = car ` doit tre un nombre
a

complexe.

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 6 sur R.

10