Partie relativement compacte
En mathématiques, une partie relativement compacte d'un espace topologique X est un sous-ensemble Y de X inclus dans une partie compacte de X (pour la topologie induite)[1]. Rappelons que dans la littérature française, un compact est supposé séparé. Si X est séparé, alors une partie de X est relativement compacte (si et) seulement si son adhérence est compacte[1],[2].
Dans un espace métrisable X, une partie Y est relativement compacte si et seulement si toute suite dans Y possède une sous-suite qui converge dans X.
Une partie d'un espace métrique complet est relativement compacte si et seulement si elle est précompacte.
En particulier dans ℝn, les parties relativement compactes sont les parties bornées.
Notes et références
- ↑ a et b N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], p. I.62 sur Google Livres.
- ↑ Cette équivalence est démontrée par exemple dans le chapitre « Compacité » de la leçon de topologie sur Wikiversité.
Articles connexes
- Espace dénombrablement compact
- Famille normale
- Immersion compacte (en)
- Intégrabilité uniforme
- Opérateur compact
- Théorème d'Ascoli
- Théorème de Borel-Lebesgue
- Théorème de compacité de Mahler (en)
- Théorème du point fixe de Schauder
- Topologie à point particulier (en)
Portail des mathématiques