Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Espace dénombrablement compact
Résumé
En mathématiques, un espace dénombrablement compact est un espace topologique dont tout recouvrement par une famille dénombrable d'ouverts possède un sous-recouvrement fini. La notion de compacité dénombrable entretient des rapports étroits avec celles de quasi-compacité et compacité et celle de compacité séquentielle. Pour un espace métrisable, ces quatre notions sont équivalentes.
Soit X un espace topologique (non supposé séparé). Si l'une des trois propriétés suivantes est vérifiée alors toutes trois le sont et X est dit dénombrablement compact :
tout recouvrement dénombrable de X par des ouverts possède un sous-recouvrement fini (ou encore : l'intersection de toute suite décroissante de fermés non vides est non vide) ;
dans X, toute suite a au moins une valeur d'adhérence ;
toute partie infinie a un point d'accumulation.
Cet énoncé fait appel à deux définitions auxiliaires : un point x de X est :
valeur d'adhérence d'une suite u si, pour tout voisinage V de x, il existe une infinité d'indices n tels que le terme u appartienne à V, autrement dit si x appartient à l'intersection de la suite décroissante de fermés non vides ;
point d'accumulation d'une partie Y de X si tout voisinage de x contient une infinité de points de Y.
Un espace X est dit :
quasi-compact si tout recouvrement de X par des ouverts possède un sous-recouvrement fini (compact s'il est quasi-compact et séparé) ;
de Lindelöf si tout recouvrement de X par des ouverts possède un sous-recouvrement dénombrable.
On a donc trivialement, avec la première des trois définitions équivalentes ci-dessus :
Quant à la deuxième des trois définitions ci-dessus, elle ressemble beaucoup à la caractérisation suivante de la quasi-compacité, à une grosse différence près : on remplace les suites par des suites généralisées : X est quasi-compact si et seulement si, dans X, toute suite généralisée a au moins une valeur d'adhérence.
De même que la compacité, la compacité dénombrable est préservée par sous-espaces fermés et continues.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.