Ê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
Fermé (topologie)
Résumé
En mathématiques, dans un espace topologique E, un fermé est un sous-ensemble de E dont le complémentaire est un ouvert.
Toute réunion d'une famille finie de fermés est un fermé (y compris l'ensemble vide ∅, qui est — par définition — la réunion de la famille vide).
Toute intersection d'une famille (finie ou infinie) de fermés est un fermé (y compris l'espace E tout entier, qui est — par convention dans ce contexte — l'intersection de la famille vide).
Pour toute partie A de E, l'intersection de tous les fermés contenant A est donc un fermé, appelé l'adhérence de A. C'est le plus petit fermé contenant A. Il est donc réduit à A si et seulement si A est fermé.
Un espace T1 est un espace dont tous les singletons sont fermés. Tout espace séparé est T1.
L'espace E est dit connexe si E et ∅ sont ses seules parties à la fois ouvertes et fermées.
Il peut exister aussi des ensembles qui ne sont ni ouverts, ni fermés, comme l'intervalle [0, 1[ dans R.
La propriété d'être fermé dépend en général de l'espace ambiant considéré : dans ]–1, 1[ muni de la topologie induite par celle de R, ce même intervalle [0, 1[ est fermé, c'est-à-dire qu'il est la trace sur ]–1, 1[ d'un fermé de R (par exemple [0, 1[ = ]–1, 1[ ∩ [0, + ∞[).
Un ensemble F est fermé si et seulement si toute limite (dans E) d'une suite généralisée à valeurs dans F appartient à F. L'espace E est dit séquentiel si cette caractérisation de ses fermés reste vraie en remplaçant « suite généralisée » par « suite ». Tout espace métrique est séquentiel.
F est un fermé si et seulement s'il contient son ensemble dérivé, c'est-à-dire si tout « point limite » (ou « point d'accumulation ») de F est un élément de F.
La frontière d'un fermé est incluse dans celui-ci.
Une application f : E → F entre deux espaces topologiques est continue si et seulement si l' par f de tout fermé de F est un fermé de E.
Une partie A de E est dite localement fermée (dans E) si elle possède l'une des propriétés équivalentes suivantes :
tout point de possède dans un voisinage tel que soit un fermé
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.
Proximité ontologique