COURS MPSI
B 3 II. LIMITES, CONTINUITE niveau 2
R. FERRÉOL 13/14
qui est bien équivalent à la définition classique :
∀ε > 0∃n
1
n
0
∀nn
1
|u
n
−l|ε
(prendre n
1
= max(n
0
, E (A)) dans un sens et A=n
0
+ 1 dans l’autre).
3) Limite restreinte, limite stricte, limite à droite ou à gauche.
a)Limite restreinte.
DEF : si Aest une partie de R,x
0
et ldes éléments de Ravec x
0
adhérent à D
f
∩A, on dit que fadmet pour A-limite
l, ou que f(x)a pour limite lquand xtend vers x
0
en restant dans Asi la restriction de fàD
f
∩Apossède pour limite l,
autrement dit :
∀Wvoisinage de l∃Vvoisinage de x
0
/∀x∈D
f
∩A x ∈V⇒f(x)∈W
On écrit : l= lim
x
0
f
|A
= lim
x
x∈A
→x
0
f(x),ou f
|A
→
x
0
lou encore f(x)→
x
x∈A
→x
0
l.
PROP : si fadmet pour A-limite len x
0
,alors elle admet pour A
′
-limite lpour tout A
′
inclus dans Atel que x
0
soit
adhérent à D
f
∩A
′
:
si (H) :
lim
x
x∈A
→x
0
f(x) = l
A
′
⊂A
x
0
adhérent à A
′
alors (C) : lim
x
x∈A′
→x
0
f(x) = l
REM : ce théorème est l’analogue pour les fonctions de celui des sous-suites pour les suites ; il sert principalement à
montrer qu’une fonction n’admet pas de limite en un point.
Application A1 : cos et sin n
′
admettent pas de limite en +∞,la fonction signe n’admet pas de limite en 0, la fonction de
Dirichlet δn’admet de limite en aucun point.
PROP : si lim
x
x∈A1
→x
0
f(x) = l
1
et lim
x
x∈A2
→x
0
f(x) = l
2
alors lim
x
x∈A1∪A2
→x
0
f(x)existe ssi l
1
=l
2
.
b) Limite stricte.
DEF : si x
0
∈Ret l∈R,x
0
adhérent à D
f
\{x
0
},on dit que fadmet pour limite stricte l, ou que f(x)a pour limite l
quand xtend vers x
0
en restant différent de x
0
si fadmet pour A-limite lavec A=R\{x
0
},autrement dit
∀Wvoisinage de l∃Vvoisinage de x
0
/∀x=x
0
∈D
f
x∈V⇒f(x)∈W
On écrit l= lim
x
=
→x
0
f(x),ou encore f(x)→
x
=
→x
0
l.
Exemple : la fonction nulle en tout point sauf en 0où elle prend la valeur 1n’admet pas de limite (au sens large) en 0,
mais elle admet 0pour limite stricte en 0.
c)Limites à droite et à gauche.
DEF :
- limite à droite : si x
0
∈Ret l∈R,x
0
adhérent à D
f
∩[x
0
,+∞[,on dit que fadmet pour limite à droite l, ou que
f(x)a pour limite lquand xtend vers x
0
en restant x
0
,si fadmet pour A-limite lavec A= [x
0
,+∞[,autrement dit :
∀Wvoisinage de l∃Vvoisinage de x
0
/∀xx
0
∈D
f
x∈V⇒f(x)∈W
- limite à gauche : si x
0
et l∈R,x
0
adhérent à D
f
∩]−∞, x
0
],on dit que fadmet pour limite à gauche l, ou que
f(x)a pour limite lquand xtend vers x
0
en restant x
0
,si fadmet pour A-limite lavec A= ]−∞, x
0
],autrement dit :
∀Wvoisinage de l∃Vvoisinage de x
0
/∀xx
0
∈D
f
x∈V⇒f(x)∈W
On définit de manière similaire des limites strictes à droite ou à gauche ; sans utiliser les voisinages, ces diverses définitions
prennent 12 formes diférentes :
2