« Espaces vectoriels normés/Espaces de Banach - Complétude » : différence entre les versions

Une page de Wikiversité, la communauté pédagogique libre.
Contenu supprimé Contenu ajouté
mAucun résumé des modifications
m lien interne
Ligne 27 : Ligne 27 :
| titre = Définition : Espace de [[w:Stefan Banach|Banach]]
| titre = Définition : Espace de [[w:Stefan Banach|Banach]]
| contenu ={{Wikipédia|Espace de Banach}}
| contenu ={{Wikipédia|Espace de Banach}}
*<math>E</math> est dit '''complet''' si, dans <math>E</math>, toute suite de Cauchy est convergente.
*<math>E</math> est dit ''[[Topologie générale/Complétude#Espace complet|complet]]'' si, dans <math>E</math>, 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.
}}
}}

Version du 28 avril 2017 à 19:13

Début de la boite de navigation du chapitre
Espaces de Banach - Complétude
Icône de la faculté
Chapitre no 3
Leçon : Espaces vectoriels normés
Chap. préc. :Limites et continuité
Chap. suiv. :Dimension finie - Compacité
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Espaces vectoriels normés : Espaces de Banach - Complétude
Espaces vectoriels normés/Espaces de Banach - Complétude
 », n'a pu être restituée correctement ci-dessus.

Dans toute la suite, est un espace vectoriel normé (evn).

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  :


Pour toute série convergente à valeurs dans , 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 est dite « absolument convergente » si elle vérifie  : .

Cette appellation est trompeuse car — contrairement au cas où est de dimension finie — si est un evn quelconque, une telle série ne converge pas nécessairement dans  ; l'implication qu'elle sous-entend est en fait une caractérisation des espaces de Banach :

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.