Vous êtes sur la page 1sur 3

3 : Continuité

Définitions :

Soit (xn )n∈N une suite d’éléments de (E, N), un e.v.n. Alors :

(xn ) est bornée := ∃ M > 0 / ∀ n ∈ N, N (xn ) ≤ M

(xn ) converge vers l ∈ E := lim d(xn , l) = 0 (notation : xn → l)


n→+∞

⇐⇒ lim N (xn − l) = 0
n→+∞

⇐⇒ ∀ ε > 0, ∃ Nε ∈ N / ∀ n ≥ Nε , N (xn − l ≤ ε)

(xn ) est de Cauchy := ∀ ε > 0, ∃ Nε ∈ N / ∀ m, n ≥ Nε , N (xm − xn ) ≤ ε


⇐⇒ les termes de la suite se rapprochent autant que possible à l’infini (pas forcément vers une limite)

(xn ) part à l’infini := lim N (xn ) = +∞ (la norme part à l’infini)


n→+∞

⇐⇒ ∀ A > 0, ∃ NA ∈ N / ∀ n ≥ NA , N (xn ) ≥ A

Exemple :

1 n+1

Soit xn := n, n ∈ R2 muni de la norme N2 :

a) Est-ce que la suite (xn ) est bornée ?

Par définition, (xn ) est bornée si ∃ M > 0 / ∀ n ∈ N, N (xn ) ≤ M . On a donc :


v s 
u 2 2 2 p


uX 1 n+1
||xn || = t xi = + ≤ 12 + 22 = 5
i=1
n n

Donc (xn ) est bornée.

b) Est-ce que la suite (xn ) converge ?

En appliquant la définition de la convergence, on trouve :

(xn ) converge := lim d(xn , l) = 0


n→+∞

Or, on a
   
1 n+1
lim x1 = lim =0 ∧ lim x2 = lim =1
n→+∞ n→+∞ n n→+∞ n→+∞ n
 
1 n+1
=⇒ lim , = (0, 1)
n→+∞ n n
=⇒ lim d(xn , l) = 0
n→+∞

Donc la suite (xn ) converge.

c) Est-ce que la suite (xn ) est de Cauchy ?

Comme la suite (xn ) admet une limite, la suite est de Cauchy.

1
d) Est-ce que la suite (xn ) part à l’infini ?

lim N (xn ) = (1, 0) ̸= +∞


n→+∞

=⇒ (xn ) ne part pas à l’infini

Propositions :

a) Unicité de la limite lorsqu’elle existe :


   
lim (xn ) = l ∧ lim (xn ) = l′ =⇒ l = l′
n→+∞ n→+∞

b) ∀ λ ∈ K, on a

(xn → l) ∧ (yn → l′ ) =⇒ (xn + λyn → l + λl′ )

c) Si dim(E) < +∞, (xn ) de Cauchy =⇒ (xn ) converge. Sinon, on a en général :

(xn ) converge =⇒ (xn ) de Cauchy =⇒ (xn ) bornée =⇒ (xn ) ne tend pas vers + ∞

d) Si N ∼ N ′ , alors

(xn ) converge, bornée, de Cauchy, part à +∞ dans (E, N )


⇐⇒ (xn ) converge, bornée, de Cauchy, part à +∞ dans (E, N ′ )

Démonstrations :
d(l,l′ )
a) Par l’absurde : soient l ̸= l′ et ε = 4 > 0. Alors par définition, on a :

∃ Nε ∈ N / ∀ n ≥ Nε , d(xn , l) < ε
∃ Nε′ ∈ N / ∀ n ≥ Nε′ , d(xn , l′ ) < ε

Donc pour n ≥ max(Nε , Nε′ ), on a 4ε = d(l, l′ ) ≤ d(l, xn ) + d(l′ , xn ) ≤ 2ε, ce qui est faux.

b)

d(xn + λyn , l + λl′ ) = N (xn + λyn − l − λl′ )


≤ N (xn − l) + |λ|N (yn − l′ ) → 0 (N (xn − l) → 0 et |λ|N (yn − l′ ) → 0)

c) Soit ε > 0. Comme xn → l, ∃ Nε ∈ N / ∀ n ≥ Nε , d(xn , l) ≤ 2ε . Donc ∀ m, n ≥ Nε , d(xn , xm ) ≤


d(xn , l) + d(xm , l) ≤ 2ε + 2ε ≤ ε. (Cauchy =⇒ bornée). Pour ε = 1, ∃ Nε ∈ N / ∀ n ≥ Nε , N (xn ) − N (xNε ) ≤
N (xn − xNε ) ≤ 1. Donc N (xn ) ≤ 1 + N (xNε ). Posons M = max(N (x0 ), N (x1 ), . . . , N (xNε −1 ), 1 + N (xNε )).
Alors ∀ n ∈ N, N (xn ) ≤ M .

d) Posons N ′ (x) ≤ cN (x). On suit la même stratégie pour chacune des natures possibles.

=⇒ :

Si xn → l pour N , on a que ∀ ε > 0, ∃ Nε ∈ N / N (xn −l) ≤ ε. Donc ∀ ε > 0, ∃ Nε ∈ N / N ′ (xn −l) ≤ cN (x) ≤ ε.

⇐= :

On utilise que N (x) ≤ cN ′ (x).

2
Remarque :

̸
(xn ) non bornée =⇒ (xn ) part à l’infini

Proposition :

Dans Rd , pour toute norme || − ||1≤p≤+∞ , xn = (x1n , . . . , xdn ) → l = (l1 , . . . , ld ) ⇐⇒ ∀ 1 ≤ i ≤ d, xin → li .

Démonstration :

On montre la proposition pour || − ||∞ , comme toutes les normes sont équivalentes.

=⇒ :

∀ ε > 0, ∃ Nε ∈ N / ∀ n ≥ Nε , ||xn − l||∞ ≤ ε. Or, comme ||xn − l||∞ = maxi |xin − li |, et maxi |xin − li | ≤ ε ∀
i, on a que xin → li .

⇐= :

∀ ε > 0, ∃ Nε ∈ N / ∀ n ≥ Nεi , |xin − li | ≤ ε. Donc en posant Nε = max1≤i≤d Nεi , on obtient que ∀ n ≥ Nεi ,
max1≤i≤d |xin − li | ≤ ε (avec max1≤i≤d |xin − li | = ||xn − li ||∞ ).

Proposition :

Une suite de Cauchy de Rd pour une norme N = || − ||p , 1 ≤ p ≤ +∞, converge.

Démonstration :

Soit (xn )n∈N une suite de Cauchy. Alors ∀ 1 ≤ i ≤ d, (xin )n est aussi une suite de Cauchy dans R, et est donc
convergente. Donc la suite (xn )n∈N est aussi convergente.

Définition :

On appelle espace de Banach un e.v.n. tel que toute suite de Cauchy converge.

Exemple :

Tout e.v.n. de dimension finie est Banach.


(Dans un espace métrique, Cauchy =⇒ espace complet)

Vous aimerez peut-être aussi