Ouvert (topologie)

ensemble qui ne contient aucun point de sa frontière

En mathématiques et plus particulièrement en topologie générale, un ensemble ouvert, aussi appelé une partie ouverte ou, plus fréquemment, un ouvert, est un sous-ensemble d'un espace topologique qui ne contient aucun point de sa frontière. L'ouvert est l'élément de base d'un espace topologique.

Définition générale

modifier

Il existe plusieurs définitions des ouverts suivant le type d'espace concerné. Nous reprenons ici la définition pour le cas le plus général à savoir celui des espaces topologiques. Des définitions spécifiques plus explicites existent pour des sous-types d'espaces topologiques tels que les espaces métriques, espaces vectoriels normés ou autres. Ces définitions restent cependant cohérentes avec cette définition générale.

Sur un ensemble E, on peut définir une topologie T comme un ensemble de parties de E vérifiant les trois propriétés suivantes :

  • E et l'ensemble vide appartiennent à T ;
  • T est stable par intersection finie : U1U2 appartient à T dès que U1 et U2 appartiennent à T ;
  • T est stable par réunion quelconque : pour tout ensemble I (fini ou infini) d'indices, ∪iIUi appartient à T dès que tous les Ui appartiennent à T.

Alors par définition un sous-ensemble U de E est un ouvert de E pour la topologie T si et seulement si U appartient à T (il en résulte que la topologie T peut être définie comme l'ensemble des ouverts de E selon T).

À partir des ouverts on peut définir les voisinages mais inversement :

une partie U de E est ouverte si et seulement si U est égal à son intérieur, autrement dit si U est voisinage de chacun de ses points[1].

Les espaces topologiques les plus couramment étudiés sont munis de diverses structures supplémentaires :

Exemples

modifier

Approche intuitive dans la droite et le plan

modifier
 
Exemple : Les points (x, y) qui satisfont à l'équation x2 + y2 = r2 sont en bleu. Les points (x, y) qui satisfont à la relation x2 + y2 < r2 sont en rouge. Les points rouges forment un ensemble ouvert. L'union des points bleus et rouges forme un ensemble fermé.

Un ouvert de la droite ou du plan est un sous-ensemble qui présente la propriété caractéristique suivante : en choisissant comme origine un point quelconque de ce sous-ensemble[2], tous les points autour de celui-ci sont encore dans ce sous-ensemble à condition de ne pas trop s'éloigner. Cela signifie que ce point est assez loin de tous les points n'appartenant pas à ce sous-ensemble, ou encore, qu'il existe toujours une distance non nulle entre ce point et le complémentaire du sous-ensemble (les points n'appartenant pas au sous-ensemble). Ceci traduit l'idée qu'un ouvert ne contient pas sa frontière.

Exemple
Dans l'ensemble ℝ des nombres réels, l'intervalle X = ]0, 1[, c'est-à-dire l'ensemble des réels x tels quel 0 < x < 1, est ouvert.
Pour illustrer la définition, choisissons le point x=0,99 (qui appartient à l'ensemble X). Tous les points à une distance de x inférieure ou égale à 0,005 appartiennent encore à l'ensemble. En effet, tous ces réels y vérifient l'encadrement 0,985 ≤ y ≤ 0,995, et comme 0 < 0,985 et que 0,995 < 1, ces réels y vérifient 0 < y < 1 et appartiennent bien à X. Pour démontrer que X est un ouvert, il faudrait faire le même raisonnement pour tous les points de X = ]0, 1[, en ajustant au besoin la distance.
Contre-exemple
Dans l'ensemble des réels, l'intervalle Y = ]0, 1], c'est-à-dire l'ensemble des nombres réels x tels que 0 < x ≤ 1, n'est pas ouvert.
En effet, si on choisit le point 1 (qui appartient à l'ensemble Y), il n'y a aucun point supérieur à 1 et appartenant à l'ensemble ]0, 1], même si on s'éloigne très peu de ce point, dans le sens positif.

L'ensemble des ouverts de la droite (respectivement du plan) est appelé la topologie de la droite (respectivement la topologie du plan). On peut montrer que les ouverts de la droite sont l'ensemble vide et les ensembles qui sont réunion finie ou infinie d'intervalles ouverts.

Ouverts dans un espace métrique

modifier

On peut généraliser cette notion intuitive d'ouverts à tout espace E dans lequel on peut définir une distance d, c'est-à-dire dans un espace métrique. Dans cet espace, une boule ouverte de centre x appartenant à E et de rayon r > 0 est l'ensemble des points de E dont la distance à x est strictement inférieure à r :

 .
 
Le point x est un point intérieur de S, car S contient un disque centré en x. Le point y n'est pas à l'intérieur de S, car aucun disque centré en y n'est entièrement contenu dans S.

Si S est une partie de E, on dit qu'un point x est intérieur à S s'il existe une boule ouverte (de rayon > 0) centrée en x qui est contenue dans S.

Un sous-ensemble U de points de l'espace E est dit ouvert lorsque tout point élément de U est intérieur à U.

Cela signifie que U est un ouvert de E si pour chacun de ses points x, il contient également les points suffisamment proches de x : on peut entourer chaque point en restant dans l'ouvert, donc aucun point de U n'est « au bord » de U.

On remarque tout de suite qu'une boule ouverte est aussi un ouvert. Le nom de « boule ouverte » est donc cohérent avec la définition d'ouvert.

De plus :

  • l'ensemble vide et l'ensemble E sont des ouverts ;
  • toute réunion d'ouverts est un ouvert ;
  • l'intersection de deux ouverts est un ouvert.
Remarques

Cet ensemble d'ouverts de E est appelé la topologie de l'espace métrique (E, d).

Ouverts de Kn

modifier

Un espace vectoriel E de dimension finie sur un corps topologique K a une topologie canonique : il s'agit de la topologie la moins fine (ayant le moins d'ouverts) qui rende continues les formes linéaires (les fonctions linéaires de E dans K). Ainsi est ouvert pour cette topologie toute image réciproque d'un ouvert de K par une forme linéaire, ainsi que les intersections finies et les réunions d'ensembles de ce type.

Pour ℝn, elle est engendrée par les pavés ouverts : les ouverts sont les réunions (éventuellement infinies) de produits d'intervalles ouverts. Ces ouverts sont ceux de l'espace métrique (ℝn, d).

Topologie discrète et topologie grossière

modifier

Le caractère ouvert d'une partie d'un ensemble dépend de la topologie qu'on se donne. La plupart des espaces n'ont pas de topologie canonique, mais souvent plusieurs topologies intéressantes.

N'importe quel ensemble est ouvert, pour une topologie suffisamment fine, alors qu'une partie non triviale n'est pas ouverte pour une topologie trop grossière.

Exemples

Ouverts de Zariski

modifier

En géométrie algébrique on définit des ouverts de Zariski sur divers espaces algébriques. Par exemple :

Propriétés et notions connexes

modifier

Intersections d'ouverts

modifier

Une intersection infinie d'ouverts n'est pas nécessairement un ouvert. Ainsi, dans ℝ muni de sa topologie usuelle, l'intersection de tous les intervalles ouverts ]–1 – 1/n, 1 + 1/n[, pour n entier naturel non nul, est le segment [–1, 1].

Ouverts et continuité

modifier

Soient deux espaces topologiques E et F. Une fonction f de E dans F est continue si l'image réciproque par f de tout ouvert de F est un ouvert de E. Si c'est l'image directe d'un ouvert de E qui est ouverte dans F, on parle d'application ouverte.

Définitions associées

modifier

Une partie d'un espace topologique (E,T) est fermée si son complémentaire dans E est un ouvert. Une partie peut très bien être à la fois ouverte et fermée (E et l'ensemble vide, ouverts par définition et complémentaires l'un de l'autre, sont d'ailleurs toujours ouverts et fermés), ou ni l'un ni l'autre.

Intérieur d'une partie

modifier

Toute partie S d'un espace topologique (E,T) contient au moins un ouvert : l'ensemble vide ; on définit l'intérieur de S comme l'union de tous les ouverts inclus dans S et on remarque que c'est le plus grand ouvert inclus dans S.

Voisinage d'une partie

modifier

Est appelé voisinage d'une partie A (non vide) d'un espace topologique E toute partie V de E contenant un ouvert U contenant A, c'est-à-dire tel que AUV.

Les voisinages d'une partie non vide constituent un filtre, c'est-à-dire que l'intersection d'un nombre fini de voisinages est un voisinage et qu'une partie qui contient un voisinage est un voisinage.

Connexité

modifier

Un espace E est dit connexe si les seules parties ouvertes et fermées de E sont E et l'ensemble vide. Autrement dit, dans un espace connexe, le complémentaire d'une partie ouverte n'est jamais un ouvert, sauf si la partie ou son complémentaire est vide.

Compacité

modifier

Une partie A d'un espace topologique E est dite quasi-compacte si de tout recouvrement ouvert de A, on peut extraire un recouvrement fini. Elle est dite compacte si elle est de plus séparée (pour la topologie induite).

Notes historiques

modifier

Avant que les fondements de la topologie générale soient fixés, il y a eu des recherches pour cerner les axiomes nécessaires d'une topologie[5]. Il n'y a pas eu de suite à ces travaux.

Notes et références

modifier
  1. Propriété démontrée par exemple dans ce paragraphe de la leçon « Topologie générale » sur Wikiversité.
  2. Si l'ensemble est vide, cette propriété est trivialement vérifiée.
  3. Exercice 2 de « Topologie générale », sur exo7.emath.fr (consulté le ).
  4. Jean Dieudonné, Calcul infinitésimal, Hermann, (ISBN 2-7056-5907-2 et 978-2-7056-5907-3, OCLC 6787042), p. 32 (§ 5.2)
  5. Antoine Appert, « Sur le meilleur terme primitif en topologie », Cahiers du séminaire d'histoire des mathématiques,‎ , p. 65 (lire en ligne).