Topologie — ensembles ouverts, continuité et notions clés

La topologie est la branche des mathématiques qui étudie les espaces à l’aide des ensembles ouverts et de la continuité, plutôt qu’à partir de la distance exacte. Si vous débutez en topologie, l’idée la plus rapide à retenir est la suivante : on choisit quels sous-ensembles sont ouverts, puis on définit la continuité à partir de ce choix.

C’est pour cela que la topologie permet de comparer des espaces par leur comportement local plutôt que par les longueurs, les angles ou les coordonnées.

Ce qu’est un espace topologique

Soit $X$ un ensemble. Une topologie sur $X$ est une collection $\mathcal{T}$ de sous-ensembles de $X$, appelés ensembles ouverts, telle que :

1. $\varnothing$ et $X$ appartiennent à $\mathcal{T}$.
2. Toute union d’ensembles de $\mathcal{T}$ appartient encore à $\mathcal{T}$.
3. Toute intersection finie d’ensembles de $\mathcal{T}$ appartient encore à $\mathcal{T}$.

Le couple $(X,\mathcal{T})$ s’appelle un espace topologique.

Cette définition est volontairement abstraite. Une fois que l’on sait quels ensembles sont ouverts, on peut définir la continuité, les voisinages et les ensembles fermés sans jamais écrire de formule de distance.

Pourquoi les ensembles ouverts sont importants

Les ensembles ouverts expriment ce que signifie, pour un point, avoir un peu d’espace autour de lui. Dans la topologie usuelle sur $\mathbb{R}$, un intervalle ouvert comme $(1,3)$ est ouvert parce que chaque point qu’il contient possède autour de lui un intervalle plus petit qui reste encore inclus dans $(1,3)$.

Cette idée locale est au cœur de la topologie. Un ensemble est ouvert lorsque chacun de ses points se trouve à l’intérieur de l’ensemble avec une certaine marge locale.

C’est aussi pour cela que le caractère ouvert dépend de la topologie choisie. Le même sous-ensemble peut être ouvert pour une topologie et ne pas l’être pour une autre.

Comment les ensembles ouverts définissent d’autres notions de base

Voisinages

Un voisinage d’un point est tout ensemble qui contient un ensemble ouvert autour de ce point. C’est la manière dont la topologie parle de proximité locale sans utiliser de distance.

Ensembles fermés

Un ensemble est fermé si son complémentaire est ouvert. Dans des espaces familiers comme la droite réelle, les ensembles fermés contiennent souvent leur bord, mais ce n’est pas la définition.

Continuité

Si $X$ et $Y$ sont des espaces topologiques, une fonction $f:X \to Y$ est continue si, pour tout ouvert $U \subseteq Y$, l’image réciproque $f^{-1}(U)$ est ouverte dans $X$.

$$f \text{ is continuous if } f^{-1}(U) \text{ is open for every open } U \subseteq Y$$

Cela coïncide avec l’idée habituelle de la continuité en analyse sur $\mathbb{R}$, mais cela fonctionne aussi dans des espaces où la distance n’est pas la structure principale.

Homéomorphisme

Un homéomorphisme est une fonction bijective qui est continue et dont la réciproque est continue. Si deux espaces sont homéomorphes, la topologie les considère comme ayant la même forme au sens topologique.

Cette affirmation dépend de la continuité dans les deux sens. Une simple bijection ne suffit pas.

Exemple détaillé : pourquoi $f(x)=x^2$ est continue pour la topologie usuelle

Considérons $f:\mathbb{R} \to \mathbb{R}$ définie par

$$f(x)=x^2$$

en utilisant la topologie usuelle sur $\mathbb{R}$.

Prenons l’ouvert $(1,4)$ dans le codomaine. Son image réciproque est

$$f^{-1}((1,4))=\{x \in \mathbb{R} : 1 < x^2 < 4\}$$

ce qui se simplifie en

$$(-2,-1)\cup(1,2).$$

Cet ensemble est ouvert dans la topologie usuelle sur $\mathbb{R}$, car c’est une union d’intervalles ouverts. Cet exemple montre bien dans quel sens il faut vérifier : la continuité concerne les images réciproques des ouverts, et non le fait que $f$ envoie des ouverts sur des ouverts.

Sur $\mathbb{R}$, cette condition se révèle équivalente à la définition usuelle de la continuité à l’aide des limites.

Erreurs fréquentes sur les bases de la topologie

Penser que « ouvert » signifie la même chose partout

Ce n’est pas le cas. Le caractère ouvert est défini relativement à une topologie choisie.

Confondre image et image réciproque

La continuité concerne le fait que les images réciproques des ouverts sont ouvertes. Les images d’ouverts n’ont pas besoin d’être ouvertes, sauf si l’on ajoute des conditions supplémentaires sur la fonction.

Traiter la topologie comme une géométrie métrique avec un nouveau vocabulaire

Beaucoup d’espaces topologiques proviennent bien de métriques, mais la topologie elle-même est plus générale. Elle ne conserve que la structure nécessaire pour parler de comportement local et de continuité.

Supposer que toute bijection est une équivalence topologique

Pour être un homéomorphisme, une application doit être bijective, continue et avoir une réciproque continue.

Où la topologie est utilisée

La topologie fournit le langage de la continuité, de la compacité, de la connexité et de la convergence en analyse moderne. Elle apparaît aussi en géométrie, dans les systèmes dynamiques, les équations différentielles et l’analyse de données qui étudie la forme à grande échelle.

Pour un débutant, l’utilité pratique est plus simple : la topologie explique pourquoi la continuité peut être définie d’une manière qui ne dépend ni des coordonnées ni d’une formule de distance.

Essayez un problème similaire

Utilisez la même fonction $f(x)=x^2$, mais partez cette fois de l’ouvert $(0,1)$. Calculez $f^{-1}((0,1))$ et vérifiez s’il est ouvert dans $\mathbb{R}$.

Si vous voulez aller plus loin ensuite, étudiez un autre cas de continuité et comparez la définition topologique avec celle fondée sur les limites en analyse.