Ê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 séquentiel
Résumé
En mathématiques, un espace séquentiel est un espace topologique dont la topologie est définie par l'ensemble de ses suites convergentes. C'est le cas en particulier pour tout espace à base dénombrable.
Soit X un espace topologique.
Un sous-ensemble U de X est dit « séquentiellement ouvert » si toute suite (xn) de X qui converge vers un point de U « appartient à U à partir d'un certain rang ».
Un sous-ensemble F de X est dit « séquentiellement fermé » si la convergence d'une suite (xn) de F vers x implique que x appartient à F.
Le complémentaire d'un sous-ensemble séquentiellement fermé est séquentiellement ouvert et vice-versa. Tout ouvert (resp. fermé) de X est séquentiellement ouvert (resp. fermé) mais les réciproques sont fausses en général, ce qui motive la définition suivante.
L'espace X est dit séquentiel s'il satisfaisait l'une des conditions équivalentes suivantes :
tout sous-ensemble séquentiellement ouvert de X est ouvert ;
tout sous-ensemble séquentiellement fermé de X est fermé.
Dans un article fondateur sur les algèbres qui portent son nom, von Neumann soulignait que, dans l'espace l(N*) muni de la topologie faible, 0 est adhérent à l'ensemble des e + me mais n'appartient pas à sa fermeture séquentielle (car ses suites convergentes sont bornées en norme donc m est constant à partir d'un certain rang).
Les espaces « qui peuvent être définis complètement ne connaissant que leurs suites convergentes » ont fait dans les années 1960 l'objet de nombreuses études, que S. P. Franklin a synthétisées et généralisées.
Les espaces séquentiels répondent un peu à cette spécification informelle et les espaces de Fréchet-Urysohn un peu mieux, à condition de ne pas la surinterpréter : par exemple sur l'espace l, la topologie forte est strictement plus fine que la faible mais les suites convergentes sont les mêmes.
Soit X un espace topologique.
Les sous-ensembles séquentiellement ouverts forment une nouvelle topologie sur X ; l'espace est séquentiel si et seulement si sa « topologie séquentielle » (plus fine a priori) coïncide avec sa topologie originelle.
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.