Topologie/Espace topologique

Définition d'un espace topologique

modifier

Une topologie sur un ensemble   est une collection   de parties de   — appelés les ouverts — vérifiant les propriétés suivantes :

  1. l'ensemble vide et   sont des ouverts
  2. l'intersection de deux ouverts est un ouvert
  3. la réunion d'une famille quelconque d'ouverts est ouverte

Muni d'une topologie, l'ensemble   devient un espace topologique. On appellera fermé toute partie de   dont le complémentaire est ouvert.

Remarque : On peut toujours munir un ensemble d'une topologie. On peut considérer la topologie grossière  , ou encore la topologie discrète qui est simplement l'ensemble de toutes les parties de  .

Une topologie   est dite plus fine qu'une deuxième  , si   est incluse dans  . La relation être plus fine que est une relation d'ordre (partiel) sur l'ensemble des topologies d'un ensemble.

Propriétés des ouverts et des fermés

modifier

Soit   un espace topologique.

Les parties ouvertes vérifient :

  1. l'ensemble vide et   sont des ouverts
  2. une intersection finie d'ouverts est un ouvert
  3. la réunion d'une famille quelconque d'ouverts est ouverte

Il s'agit essentiellement de la définition, à l'exception du deuxième point, qui se montre aisément par récurrence.

Par passage au complémentaire, les parties fermées vérifient les propriétés suivantes :

  1. l'ensemble vide et   sont des parties fermées
  2. une réunion finie de fermés est encore un fermé
  3. l'intersection d'une famille quelconque de fermés est fermée

Attention le fait de ne pas être ouvert ne signifie pas être fermé, par exemple l'ensemble vide et   sont à la fois ouverts et fermés !