Beruflich Dokumente
Kultur Dokumente
]0, [ = [0, ]
(ferm droite en )
R = R.
et
1
1.1
x I Va ,
f (x) V .
Explication Si vous avez bien compris la dfinition de la limite dune suite, vous comprendrez facilement 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
b
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
V
bc
a Va
lim f =
a
avec R et a R
a Va
lim f =
a
a
lim f =
a
avec a R
Va
Thorme
(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
xa
lim f = f (a).
a
f est dfinie en a
et lim f = f (a).
bc
f est dfinie en a
mais lim f nexiste pas.
a
Dmonstration
a+
(i) Raisonnons par labsurde et faisons lhypothse que f possde deux limites et distinctes. Parce que
6= , il existe un voisinage V de et un voisinage V de tels que V V = . Or par hypothse sur f ,
il existe deux voisinages Va et Va de a tels que :
x I Va ,
I Va Va
Finalement, donnons-nous x
comme voulu notre choix de V et V .
x I Va ,
et
f (x) V
f (x) V .
(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 voisinageVa de a tel que f (x) f (a),
pour tout x I Va ; en particulier, pour x = a, on aurait donc f (a) f (a), contradiction. Ainsi
6= , et on pourrait montrer de mme que 6= .
pour tout x I Va . En particulier
: > 0,
f (a) < . Sous lhypothse que 6= f (a), ce rsultat
f (a)
est contradictoire pour =
, donc forcment = f (a) comme voulu.
2
En pratique
Vous ntes pas obligs dapprendre la dfinition gnrale de la limite en termes de voisinages car
elle nest pas au programme. Nous allons maintenant la reformuler dans neuf contextes diffrents, et il est par contre impratif
que vous connaissiez ces neuf reformulations. Les dessins de la page prcdente sont ici trs utiles.
Dfinition
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) < .
Cas o R et a = :
lim f =
> 0,
= f (x) < .
B < 0/
x I,
x<B
> 0/
x I,
Cas o = et a R, a
/I :
lim f =
a
A > 0,
Cas o = et a R, a
/I :
lim f =
$ $ $ Attention !
A < 0,
> 0/
x I,
Dans ces dfinitions, les quantificateurs et ne doivent tre permuts sous aucun prtexte.
On peut montrer que dans les dfinitions de la limite, les ingalits strictes f (x) < , f (x) > A et f (x) < A
peuvent tre remplaces par des ingalits larges. Vous avez donc le choix des armes : si vous prfrez les ingalits larges,
nhsitez pas.
Le rsultat suivant est une consquence directe de la dfinition de la limite.
Thorme
Exemple
xa
Si a R :
xa
lim
x1
xa
lim f (x) =
h0
lim f (a + h) = .
1
= .
x1
En effet
tout x ]1, [ :
Posons =
Exemple
lim f (x) = 0.
lim f (x) =
1
>A
x1
x ]1, [,
x1 <
1
. Daprs ce qui prcde on a bien :
A2
1
A
x ]1, [,
|x 1| <
|x 1| <
|x 1| < =
1
A2
1
> A.
x1
Or pour
car x > 1.
1
> A.
x1
x2
= 1.
+1
lim
x x2
x2
En effet Soit > 0. On cherche B > 0 tel que : x R, x > B = 2
x +1
x2
1
1
1
x2 + 1 1 = x2 + 1 6 x2 . Posons donc B = . Alors pour tout x > B :
Cest le rsultat voulu.
Exemple
lim
x0
1 < . Or pour tout x R :
x2
1
1
x2 + 1 1 6 x2 < B 2 = .
1
= .
x2
1
> A. Or pout tout
Soit A > 0. Nous cherchons > 0 tel que : x R , |x| < =
x2
1
1
1
on a :
> A |x| < . On obtient donc le rsultat voulu en posant = .
x2
A
A
En effet
x R
Exemple
lim
x0
sin x
=1
x
1.2
Dfinition
Si f est dfinie au voisinage de a gauche, on dit que f admet pour limite gauche en a si f
admet pour
I ],a[
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,[
lim f (x).
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
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
x I,
x0+
x I,
> 0/
a < x < a = f (x) < .
a < x < a = f (x) > A.
x I,
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
x< .
+ :
x
A
1
1
Posons finalement = . Daprs ce qui prcde on a bien : x ]0, [,
> A.
A
x
En effet
x0+
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
Supposons dabord que lim f = . Nous avons dj observ qualors = f (a), et il est immdiat, daprs
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,
a < x < a = f (x) <
.
x I,
a < x < a + + = f (x) <
n
o
Posons enfin = min , + 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, et donc f (x) < ;
2) si x = a, f (x) = f (a) = , donc f (x) < ;
3) si a < x < a + , on a en fait a < x < a + + , et donc f (x) < .
Du coup, dans tous les cas, f (x) < .
Un certain > 0 tant fix, nous avons trouv > 0 tel que : x I,
|x a| < = f (x) < .
Cela qui signifie bien que lim f = .
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+
2.1
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 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 . Puisque lim f = a, il existe un voisinage
n
Va de a tel que :
x I Va ,
f (x) V .
un Va . Finalement, pour tout 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.
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| < et f (x) > 0 .
1
Pour tout n N , choisissons donc un lment un I tel que |un a| <
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
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
Pourtant sin
= 1 1. Ces deux limites tant
= sin(n) = 0 0 et sin
= sin n +
n
n
un
vn
2
diffrentes, nous en dduisons le rsultat annonc via la caractrisation squentielle de la limite.
En effet
Posons un =
2.2
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.
b J et c R.
(Limite et composition) Soient f : I J et g : J R deux applications, a I,
Thorme
Si
Dmonstration
lim f = b
a
et si
lim g = c,
b
alors
lim g f = c.
a
Lide de la preuve est rsume par la figure ci-aprs. Nous voulons montrer que lim g f = c.
a
x J Vb ,
x I Va ,
que :
x I Va ,
g f (x) Vc .
g(x) Vc .
2
. . . il existe un voisinage Vb de b
que g envoie dans Vc . . .
Va
b
f
I
Vb
c Vc
J
gf
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
(ex + 1)2
cette limite est construite. On peut, au
les pinceaux, reprsenter les diffrents niveaux de
brouillon, pour viter de se mlanger
R+
R
R
+
y2 + 1
composition de la faon suivante :
. Une fois quon a fait a, cest
x
x 7 e = y 7
= z 7 ln z
(y + 1)2
y2 + 1
= 1 et lim ln z = 0.
facile, on na plus qu remarquer que lim ex = 0, lim
z1
x
y0 (y + 1)2
Montrons par exemple que lim ln
x
2.3
, R et m, M R.
Thorme (Limites et ingalits larges) Soient f : I R et g : I R deux applications, a I,
lim g =
(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 =
alors
> m.
$ $ $ Attention !
alors
6 .
Ces rsultats sont faux avec des ingalits strictes : les ingalits strictes ne sont pas conserves par
1
1
> 0 pour tout x R , mais il est faux que lim 2 = 0 > 0.
x x
x2
Dmonstration
(i) Les limites et tant finies, nous savons que lim(g f ) = . Pour montrer que > 0, raisonnons
a
par labsurde en supposant que < 0. Par dfinition de la limite, il existe un voisinage Va de a pour
lequel on a : x I Va , g(x) f (x) ( ) <
. En particulier, pour tout x I Va on
2
=
< 0.
a : g(x) f (x) < ( ) +
2
2
Ceci vient contredire le fait que par hypothse, f (x) 6 g(x) au voisinage de a. Ainsi > 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 ,
(ii) Si
lim f =
et si > m,
$ $ $ Attention !
1
1
= 0 6 0, mais 2 > 0 pour tout x R .
x2
x
Dmonstration
3.1
Thorme
et
lim m = lim M = ,
a
lim f = .
a
et
et
lim f = .
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 Va et Va de a tels que :
x I Va , m(x) <
et
x I Va , M (x) < .
(ii) et (iii) Reprenez votre cours sur les suites et tchez dimiter la preuve que nous avons faite alors.
Le thorme des gendarmes est souvent utilis sous lune des deux formes suivantes, que vous dmontrerez seuls :
Corollaire
Exemple
3.2
lim x sin
x0
1
=0
x
car x 7 sin
lim = 0,
a
1
est borne et lim x = 0.
x0
x
Thorme
a+
vrifient :
a+
a+
(ii) lim f existe. Cette limite est finie si f est minore ; elle vaut sinon.
bc
inf I +
(iii)
lim f existe. Cette limite est finie si f est majore ; elle vaut sinon.
bc
sup I
Assertion (i)
Dmonstration Montrons seulement lassertion (i) pour ne pas perdre trop de temps. Soit a I. On suppose f
dfinie au voisinage de a gauche et droite. Nous allons montrer lexistence de lim f et lingalit : f (a) 6 lim f .
a+
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 < + . 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 < a + = x0 :
< 6 f (x) 6 f (x0 ) = y0 < +,
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 < a + = f (x) < .
Il est donc bien vrai que lim f existe et vaut comme annonc.
a+
y = f (x)
Fa+
y0
b
bc
bc
x0
$ $ $ 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 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
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 .
(ii)
lim f = .
a
et
Dmonstration
(i) = (ii) Supposons quon ait lim f = . Montrons que lim Re(f ) = Re() pour la partie imaginaire,
a
a
remplacer Re par Im . On a : Re(f ) Re() = Re(f ) 6 |f |. On conclut avec le thorme
des gendarmes.
(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.