Ê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 Graph Search.
Concept
Compacité séquentielle
Résumé
En mathématiques, un espace séquentiellement compact est un espace topologique dans lequel toute suite possède au moins une sous-suite convergente. La notion de compacité séquentielle entretient des rapports étroits avec celles de quasi-compacité et compacité et celle de compacité dénombrable. Pour un espace métrique (notamment pour un espace vectoriel normé), ces quatre notions sont équivalentes.
Intuitivement, un ensemble compact est « petit » et « fermé », au sens où l'on ne peut « s'en échapper ». Si l'on forme une suite de points de cet ensemble, ses éléments ne peuvent pas beaucoup s'éloigner les uns des autres et se concentrent sur certaines valeurs. Cet article propose une approche de la compacité dans le cadre restreint des espaces métriques, où elle est équivalente à la compacité séquentielle.
Un espace est dit compact s'il est séparé et quasi-compact. Or la définition usuelle de la quasi-compacité est équivalente à la suivante, qui correspond mot pour mot à celle de la compacité séquentielle, à une différence près : on remplace les suites par des suites généralisées :
Quelques contre-exemples suffisent à se convaincre que cet ajout du mot « généralisée » est très important. Les plus connus sont :
le premier ordinal non dénombrable [0, ω[ (muni de la topologie de l'ordre) et la longue droite, séquentiellement compacts et séparés mais non compacts ;
l'espace produit {0, 1} et le compactifié de Stone-Čech βN de N, compacts mais non séquentiellement compacts (donc non séquentiels). (En outre, ces deux compacts sont séparables et pourtant « très gros » : ils ont même cardinal 2 que l'ensemble des parties de R.)
Il existe cependant des liens entre ces deux notions via celle, multiforme, de compacité dénombrable (parfois sous certaines hypothèses, toujours vérifiées lorsque l'espace est métrisable) : voir l'article détaillé.
Par ailleurs, tout compact « assez petit » est séquentiellement compact. Sous l'hypothèse du continu, ce « assez petit » se traduit par : « ayant au plus autant d'éléments que R ».
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.