« Espaces vectoriels normés/Compacité » : différence entre les versions

Contenu supprimé Contenu ajouté
m liens internes
m →‎Valeurs d'adhérence : tout métrique compact est complet
Ligne 73 :
}}
 
Exemples d'applications :
Exemple d'application :
{{Proposition
|contenu =
:Soient ''E'' et ''F'' deux e.v.n. et ''A'' (resp. ''B'') une partie compacte de ''E'' (resp. ''F''). Alors, :
*l'espace métrique ''A'' est [[Topologie générale/Complétude|complet]] ;
*''A''×''B'' est une partie compacte de ''E''×''F''.
}}