Compacité
Dans ce qui suit, désigne un espace vectoriel normé sur ou .
Définition :
Une partie de est compacte si toute suite d'éléments de admet au moins une valeur d'adhérence dans , c'est-à-dire s'il existe une suite extraite qui converge dans .
Par exemple un segment est une partie compacte de , mais n'est pas compact car de la suite de terme général , on ne peut pas extraire une suite convergente.
Fondamental :
Propriétés :
L'intersection d'un nombre fini ou infini de parties compactes est une partie compacte.
La réunion d'un nombre fini de parties compactes est une partie compacte.
Un produit de parties compactes d'espaces vectoriels normés , ..., est une partie compacte de muni de la norme produit.
Par exemple, est un compact de .
Fondamental :
Toute partie compacte de est fermée et bornée.
En dimension finie, une partie de est compacte si et seulement si elle est fermée et bornée.
Toute partie compacte de est complète.
Fondamental :
Si est une application continue d'un espace vectoriel normé dans un espace vectoriel normé et si est un compact de , alors est un compact de .
Si est une application continue d'un espace vectoriel normé dans et si est un compact de , alors est bornée sur et atteint ses bornes.