2 Limites, continuit´e de fonctions dans un espace
vectoriel norm´e
2.1 Limite
(E, k.kE) ; (F, k.kF) deux K-evn, dEet (resp dF) la distance associ´ee `a k.kE(resp k.kF)
D´efinition Soient X∈E; a∈X,f:X→Fune application, l∈F, On dit que fadmet l
pour limite en a, et on note lim
x→af(x) = lsi et seulement si :
∀ε > 0,∃η > 0,∀x∈X, (dE(x, a)≤η⇒dF(f(x), l)≤ε)
Ou de mani`ere ´equivalente :
∀ε > 0,∃η > 0,∀x∈X, (kx−akE≤η⇒ kf(x)−lkF≤ε)
Proposition
- Si fadmet let l0pour limite en a alors l=l0.
- Pour que fadmet lpour limite en a∈Xil faut et il suffit que pour toute suite
(un)n∈N⊂X, telle que un→aon a f(un)→l.
Remarque
Cette notion de limite reste inchang´ee si l’on utilise des normes ´equivalentes.
2.2 Continuit´e
D´efinition
Soit fune fonction d´efinie dans un ensemble E`a valeurs dans un ensemble F,k.kEune
norme de Eet k.kFune norme de F. Alors la fonction fest continue en asi et seulement si
∀ε > 0∃δ > 0, ∀x∈Ekx−akE≤δ, kf(x)−f(a)kF≤ε
La propri´et´e qui suit s’intitule caract´erisation s´equentielle de la continuit´e . En pratique,
cette propri´et´e nous servira surtout `a prouver qu’une fonction est discontinue.
Propri´et´e
Une foncion f: (E, k,kE)→(F, k,kF) est continue en un point a´el´ement d’un ensemble
X⊂Esi, et seulement si, pour toute suite (xn)n∈Nd’´el´ements de l’espace Xconvergeant vers
a∈X, la suite (f(xn))n∈Nconverge vers f(a).
Preuve
On va d´emontrer les deux sens de l’´equivalence :
⇒soit (xn)n∈N, une suite d’´el´ements de l’espace Xconvergeant vers a∈X. Puisque fest
continue en a, alors, si l’on se fixe ε > 0, on a :
∃δ > 0 : kx−akE< δ =⇒ kf(x)−f(a)kF< ε
Pour le nombre δ > 0 donn´e, on a encore, puisque (xn)n∈Nest convergente
∃δ > 0 : n≥N=⇒ kxn−akE< δ
Topologie des Espaces norm´es Walid Bouarifi •ENSA Safi 13