« Espaces vectoriels normés/Espaces de Banach - Complétude » : différence entre les versions
ℝ^n est complet |
meftypo + ℝ^n est en fait complet pour toute norme (et pas seulement les normes ∥ ∥_p) |
||
Ligne 7 : | Ligne 7 : | ||
}} |
}} |
||
Dans toute la suite, |
Dans toute la suite, (''E'', ∥ ∥) est un espace vectoriel normé (e.v.n.). |
||
{{clr}} |
{{clr}} |
||
== Définitions == |
== Définitions == |
||
Ligne 14 : | Ligne 14 : | ||
| titre = Définition : [[Topologie générale/Complétude#Suite de Cauchy|suite de Cauchy]] |
| titre = Définition : [[Topologie générale/Complétude#Suite de Cauchy|suite de Cauchy]] |
||
| contenu = |
| contenu = |
||
Une '''suite''' <math>(u_n)</math> d'éléments de |
Une '''suite''' <math>(u_n)</math> d'éléments de ''E'' est dite '''de Cauchy''' si : |
||
<div style="text-align: center;"><math>\forall\varepsilon>0\quad\exist n\in\N\quad\forall p,q\in\N\quad p,q\ge n\Rightarrow \|u_q-u_p\|<\varepsilon</math>.</div> |
<div style="text-align: center;"><math>\forall\varepsilon>0\quad\exist n\in\N\quad\forall p,q\in\N\quad p,q\ge n\Rightarrow \|u_q-u_p\|<\varepsilon</math>.</div> |
||
}} |
}} |
||
Ligne 25 : | Ligne 25 : | ||
{{Définition |
{{Définition |
||
| titre = Définition : |
| titre = Définition : espace de [[w:Stefan Banach|Banach]] |
||
| contenu ={{Wikipédia|Espace de Banach}} |
| contenu ={{Wikipédia|Espace de Banach}} |
||
* |
*''E'' est dit ''[[Topologie générale/Complétude#Espace complet|complet]]'' si, dans ''E'', toute suite de Cauchy est convergente. |
||
* On appelle '''espace de Banach''' tout espace vectoriel normé complet. |
* On appelle '''espace de Banach''' tout espace vectoriel normé complet. |
||
}} |
}} |
||
{{Exemple|contenu= |
{{Exemple|contenu= |
||
[[Topologie générale/Complétude#Espace complet|ℝ{{exp|''n''}} est complet]] pour la [[../Définitions - Éléments de Topologie#Définitions|norme ∥ ∥{{ind|''p''}}]], pour tout ''p'' ∈ [1, +∞]. |
[[Topologie générale/Complétude#Espace complet|ℝ{{exp|''n''}} est complet]] pour la [[../Définitions - Éléments de Topologie#Définitions|norme ∥ ∥{{ind|''p''}}]], pour tout ''p'' ∈ [1, +∞] (donc en fait pour toutes les normes sur cet espace car, comme nous le verrons au chapitre suivant, toutes sont équivalentes). |
||
}} |
}} |
||
Pour toute série convergente à valeurs dans |
Pour toute série convergente à valeurs dans ''E'', on a une majoration de la norme de la somme (par passage à la limite dans la majoration évidente des normes des sommes partielles) : |
||
:<math>\left\|\sum_{n=0}^{+\infty}x_n\right\|\le\sum_{n=0}^{+\infty}\|x_n\|</math>, |
:<math>\left\|\sum_{n=0}^{+\infty}x_n\right\|\le\sum_{n=0}^{+\infty}\|x_n\|</math>, |
||
mais ce majorant peut être <math>+\infty</math>. |
mais ce majorant peut être <math>+\infty</math>. |
||
:Une série à valeurs dans |
:Une série à valeurs dans ''E'' est dite « absolument convergente » si elle vérifie : <math>\sum\|x_n\|<+\infty</math>. |
||
Cette appellation est trompeuse car — contrairement au cas où |
Cette appellation est trompeuse car — contrairement au cas où ''E'' est de dimension finie — si ''E'' est un e.v.n. quelconque, une telle série ne converge pas nécessairement dans ''E'' ; l'implication qu'elle sous-entend est en fait une caractérisation des espaces de Banach : |
||
{{Propriété|titre=Caractérisation|contenu= |
{{Propriété|titre=Caractérisation|contenu= |
||
''E'' est complet si et seulement si, dans ''E'', toute série absolument convergente est convergente. |
|||
}} |
}} |
||
{{Démonstration déroulante|contenu= |
{{Démonstration déroulante|contenu= |
Version du 10 septembre 2019 à 22:37
Dans toute la suite, (E, ∥ ∥) est un espace vectoriel normé (e.v.n.).
Définitions
La notion générale de suite de Cauchy dans à valeurs dans un espace métrique se particularise à un evn, avec la définition suivante :
Voici une propriété vraie dans tout espace métrique et qu'on démontre comme dans :
- E est dit complet si, dans E, toute suite de Cauchy est convergente.
- On appelle espace de Banach tout espace vectoriel normé complet.
ℝn est complet pour la norme ∥ ∥p, pour tout p ∈ [1, +∞] (donc en fait pour toutes les normes sur cet espace car, comme nous le verrons au chapitre suivant, toutes sont équivalentes).
Pour toute série convergente à valeurs dans E, on a une majoration de la norme de la somme (par passage à la limite dans la majoration évidente des normes des sommes partielles) :
- ,
mais ce majorant peut être .
- Une série à valeurs dans E est dite « absolument convergente » si elle vérifie : .
Cette appellation est trompeuse car — contrairement au cas où E est de dimension finie — si E est un e.v.n. quelconque, une telle série ne converge pas nécessairement dans E ; l'implication qu'elle sous-entend est en fait une caractérisation des espaces de Banach :
E est complet si et seulement si, dans E, toute série absolument convergente est convergente.
- Supposons que E est complet. Soit, dans E, une série absolument convergente, de terme général . Alors, la suite de ses sommes partielles est de Cauchy, car pour , quand . Par conséquent, E étant complet, la suite — et donc la série de terme général — est convergente.
- Réciproquement, supposons que dans E, toute série absolument convergente est convergente et considérons une suite de Cauchy . Elle admet alors une sous-suite telle que . La série de terme général est absolument convergente donc (par hypothèse sur E) convergente, autrement dit la sous-suite converge, donc la suite de Cauchy aussi, ce qui prouve que E est complet.
Ou encore (par contraposition) : si E n'est pas complet, soient un vecteur qui n'appartient pas à E mais seulement à son complété et une suite dans E telle que , alors la série de terme général est absolument convergente, mais sa somme dans le complété, , n'appartient pas à E.
Théorèmes
Dans un espace de Banach, on dispose, comme dans tout espace métrique complet, du théorème des fermés emboîtés, du critère de Cauchy pour une fonction et du théorème du point fixe de Picard-Banach.