Cours - Limite D'une Fonction

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

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.

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

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 fI ],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 .

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.


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+

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.

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

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

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

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 .

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

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 :
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

Cours - Limite D'une Fonction

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Cours - Limite D'une Fonction

Uploaded by

Copyright:

Available Formats

c Christophe Bertault - MPSI

Limite dune fonction

(Intrieur et adhrence dun intervalle)

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

Dfinitions de la limite dune fonction

Limite dune fonction en un point

On dit que f admet

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

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

c Christophe Bertault - MPSI

Pourtant nous verrons

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

c Christophe Bertault - MPSI

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

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

> A comme voulu.

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

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

c Christophe Bertault - MPSI

Limites dune fonction gauche/ droite en un point

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

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

Montrons par exemple que lim

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

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

Posons enfin = min , +

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 .

c Christophe Bertault - MPSI

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

Limite dune fonction en un point intrieur

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

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

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

f nest pas dfinie en a mais pourtant

rait rajouter un point en a avec la valeur

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

(nombre driv de la fonction sinus en 0).

c Christophe Bertault - MPSI

Proprits des limites de fonctions

Caractrisation squentielle signifie caractrisation en termes de suites .

Remarque Ce thorme est encore

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

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

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

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

Oprations sur les limites

c Christophe Bertault - MPSI

Dmonstration Lide de la preuve est rsume par la figure ci-aprs.

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

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

Il est alors vident que :

Nous avons ainsi montr comme voulu que

Pour tout voisinage Vc de c. . .

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

Montrons par exemple que lim ln

Passage la limite et relation dordre

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

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

c Christophe Bertault - MPSI

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