II — Limites d’une fonction en un point 3
Remarque I.0
–
On demande à
x
d’être dans
D ∩ ]x0−α;x0+α[
afin d’une part que
f
soit
définie en xet d’autre part que xsoit dans un voisinage de x0.
–
On peut montrer que les inégalités dans la définition précédente peuvent être
larges ou strictes : la notion définie est la même.
Proposition 2.3 — Unicité de la limite
Soit fest une fonction de Ddans Ret x0un point ou une borne finie de D.
Si ftend vers `en x0, alors il existe un seul réel `vérifiant cette propriété.
Dém. Soit `et `0deux réels vérifiant
∀ε>0,∃α>0tel que
x∈ D ∩]x0−α;x0+α[ =⇒ |f(x)−`|<ε
x∈ D ∩x0−α0;x0+α0=⇒f(x)−`0<ε
Prenons
ε
quelconque dans
R∗
+
et
α00 =inf(α,α0)
. Prenons alors
x
quelconque dans
D ∩x0−α00 ;x0+α00. Comme
|f(x)−`|<εet f(x)−`0<ε
`−`0=`+f(x)−f(x)−`0
<|f(x)−`|+f(x)−`0<2εavec l’inégalité triangulaire
Ainsi, pour tout ε>0,`−`0<2ε, ce qui prouve que `=`0.
Notation
On parle de la limite de
f
en
x0
et on note indiéremment
lim
x0f=`
,
lim
x→x0f(x) = `ou f(x)−−−→
x→x0`.
Exemple
On peut démontrer que
lim
x→0x2=0
: on prend
α=pε
dans la définition
de la limite.
Théorème & Définition 2.4 — Continuité ponctuelle
Soit fest une fonction de Ddans Ret x0un point de D.
Si
f
admet une limite en
x0
alors nécessairement cette limite est égale à
f(x0)
. Dans ce
cas, on dit que fest continue en x0.
Dém. Revenons à la définition de la limite
∀ε>0,∃α>0tel que