Partie relativement compacte
Une partie $A$ d'un espace métrique $X$ est dite relativement compacte si son adhérence est une partie compacte de $X$. Ceci revient à dire que toute suite d'éléments de $A$ admet une sous-suite qui converge dans $X.$
Par exemple, les parties relativement compactes de $\mathbb R^n$ sont les parties bornées.
Théorème :
Une partie d'un espace métrique complet est relativement compacte si et seulement si elle est précompacte.
Consulter aussi
Recherche alphabétique
Recherche thématique