Fermé (topologie)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Fermé.
image illustrant la topologie
Cet article est une ébauche concernant la topologie.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, dans un espace topologique E, un fermé est un sous-ensemble de E dont le complémentaire est un ouvert.

Propriétés[modifier | modifier le code]

  • 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[1] — 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 .
  • 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 ℝ, ce même intervalle [0, 1[ est fermé.
  • 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'image réciproque par f de tout fermé de F est un fermé de E.

Partie localement fermée[modifier | modifier le code]

Une partie A de E est dite localement fermée (dans E) si tout point de A possède un voisinage ouvert V dans E tel que AV soit fermé dans V. Cela revient à dire que A est l'intersection d'un ouvert avec un fermé[2], ou encore, que A est ouvert dans son adhérence (munie de la topologie induite).

Notes et références[modifier | modifier le code]

Voir aussi[modifier | modifier le code]