# Topologie générale/Espace topologique

Dans cette partie, on définit la notion de topologie sur un ensemble et d'espace topologique. On donne par ailleurs quelques exemples fondamentaux.

## Introduction

De la même manière qu'en algèbre générale, les notions de groupes, d'anneaux et de corps généralisent ce que nous savons de l'addition des réels à des structures plus abstraites, voire exotiques, la structure d'espace topologique permet de généraliser celle d'espace euclidien à des objets mathématiques de nature totalement différente (espace de nombres, espaces fonctionnels, etc.). L'intuition géométrique joue un grand rôle en topologie, bien qu’il faille toujours se méfier des dessins (dont la pertinence est limitée quand il s'agit de représenter des espaces de dimension infinie).
On définit donc la structure de base de la topologie : l'espace topologique, défini comme la donnée d’un ensemble $X$, et d’une topologie sur $X$, c'est-à-dire un ensemble de sous-ensembles de $X$ vérifiant certaines propriétés, dont les éléments sont appelés ouverts. Intuitivement, un ouvert correspond à un ensemble qui ne contient pas sa « frontière ».

## Définitions fondamentales

Un espace topologique est un couple $(X,{\mathcal {T}})$, où ${\mathcal {T}}$ est un ensemble de parties de $X$, vérifiant les trois propriétés :
* les ensembles $\varnothing$ et $X$ appartiennent à ${\mathcal {T}}$ ;
* la réunion d’une famille quelconque d'éléments de ${\mathcal {T}}$ appartient à ${\mathcal {T}}$ ;
* l'intersection d’une famille finie d'éléments de ${\mathcal {T}}$ appartient à ${\mathcal {T}}$.
${\mathcal {T}}$ s’appelle une topologie sur l'ensemble $X$. La plupart du temps, la topologie est sous-entendue, si bien qu'on commettra l'abus de parler de « l'espace topologique $X$ » (au lieu de $(X,{\mathcal {T}})$).
Les éléments de ${\mathcal {T}}$ sont appelés les ouverts de cet espace.
* La troisième propriété ne s'étend pas aux intersections infinies.
* Par exemple dans $\mathbb {R}$ muni de sa topologie usuelle (voir infra), l'intersection des intervalles ouverts $\left]-{\frac {1}{n}},{\frac {1}{n}}\right[$ pour $n\in \mathbb {N} ^{*}$ est le singleton $\{0\}$, qui n'est pas ouvert.
Pour un espace topologique $(X,{\mathcal {T}})$ donné, on appelle fermé de $X$ toute partie dont le complémentaire est un ouvert de $X$.
Les fermés de $X$ vérifient donc les propriétés suivantes :
* les ensembles $\varnothing$ et $X$ sont des fermés ;
* l'intersection d’une famille quelconque de fermés est fermée ;
* la réunion d’une famille finie de fermés est fermée.
Il est important de noter qu'une partie de $X$ qui n’est pas ouverte, n’est pas fermée pour autant (et inversement). De plus, ces deux propriétés ne sont pas incompatibles : une partie de $X$ peut être à la fois ouverte et fermée. Par exemple :
* dans toute topologie, $X$ et $\varnothing$ sont tous deux des ouverts, et le complémentaire l'un de l'autre ; ils sont donc également fermés ;
* dans la topologie discrète (voir ci-dessous), toute partie de $X$, donc tout ouvert, est fermé ;
* voir Connexité.
Soit $(X,{\mathcal {T}})$ un espace topologique, et soit $x$ un élément de $X$. On appelle voisinage de $x$ toute partie contenant un ouvert qui lui-même contient $x$. On note souvent ${\mathcal {V}}(x)$ l’ensemble des voisinages de $x$.
* En topologie, le verbe « contenir » est employé en deux sens distincts, que le contexte permet de différencier : $V$ contient un ouvert $O$ qui contient $x$ signifie : $\exists O\in {\mathcal {T}}\quad V\supset O{\text{ et }}O\ni x$, ou encore : $\exists O\in {\mathcal {T}}\quad x\in O{\text{ et }}O\subset V$.
Les voisinages respectent alors les propriétés suivantes :
* l'espace tout entier $X$ est un voisinage de $x$ ;
* l'intersection de deux voisinages de $x$ est un voisinage de $x$ ;
* tout voisinage de $x$ contient $x$ ;
* toute partie de $X$ qui contient un voisinage de $x$ est elle-même un voisinage de $x$.
On montrera en exercice qu'il est possible de définir une topologie avec la donnée des voisinages, si cette donnée vérifie les quatre propriétés ci-dessus et une cinquième, plus compliquée.
Un espace topologique est dit séparé si, dans cet espace, deux points distincts quelconques admettent toujours des voisinages disjoints.

## Exemples classiques d'espaces topologiques

Tout ensemble $E$ peut être muni de la topologie grossière : ${\mathcal {T}}=\{\varnothing ,E\}$. Il est facile de vérifier que cela définit bien une topologie. C’est celle qui contient le moins d'ouverts possible. Elle n'est pas séparée (sauf bien sûr si $E$ est l'ensemble vide ou un singleton).
Tout ensemble $E$ peut être muni de la topologie discrète : ${\mathcal {T}}={\mathcal {P}}(E)$. Dans ce cas, toutes les parties de $E$ sont ouvertes : on dit que $E$ est un espace discret. Cela correspond intuitivement au cas où tous les points de $E$ sont isolés et indépendants les uns des autres. En anticipant sur la suite du cours, les seules suites convergentes dans un espace discret sont les suites stationnaires.
Dans la construction des ensembles classiques de nombres, l’ensemble $\mathbb {R}$ des nombres réels est le premier ensemble à être défini en utilisant des notions de topologie, en « complétant » $\mathbb {Q}$. La définition de la topologie sur $\mathbb {R}$ est la suivante : $O\subset \mathbb {R}$ est ouvert si pour tout $x\in O$, il existe deux réels a et b tels que $a<x<b$ et $\left]a,b\right[\subset O$, ou encore : il existe un réel $\varepsilon >0$ tel que $\left]x-\varepsilon ,x+\varepsilon \right[\subset O$.
Dans les chapitres suivants, cet exemple sera généralisé dans deux directions : Topologie de l'ordre et Espace métrique.
Ce n’est pas la seule manière de définir une topologie sur l'ensemble $\mathbb {R}$, mais toutes les manières à peu près « raisonnables » (c'est-à-dire telles que la topologie dérive d’une norme) définissent la même topologie.
Cet exemple est fondamental car il forme le cadre dans lequel on commence à faire de l'analyse, avec l'étude des fonctions de $\mathbb {R} ^{p}$ dans $\mathbb {R} ^{q}$ (calcul différentiel).
Soit $X$ une partie d'un espace topologique $E$. Les traces sur $X$ des ouverts de $E$, c'est-à-dire les ensembles de la forme $X\cap O$ où $O$ est un ouvert de $E$, constituent une topologie sur $X$ appelée topologie induite. L'ensemble $X$, muni de cette topologie, est appelé un sous-espace (topologique) de $E$.
* Un ouvert pour la topologie induite sur $X$ n’est pas nécessairement un ouvert de $E$.
* Par exemple, $X=X\cap E$ est toujours un ouvert du sous-espace $X$ mais n'est pas toujours un ouvert de $E$.
L’analyse fonctionnelle, quant à elle, a pour cadre les espaces fonctionnels, qui sont des espaces vectoriels de dimension infinie, munis d’une topologie. Par exemple, pour tout ensemble $X$, on peut définir une topologie sur l'espace vectoriel des applications bornées de $X$ dans $\mathbb {R}$, en décrétant qu'une partie $V$ est un voisinage de $f$ s'il existe $\varepsilon >0$ tel que $V$ contienne toutes les fonctions $g:X\to \mathbb {R}$ vérifiant : $\forall x\in X\quad |f(x)-g(x)|\leq \varepsilon$. Cette topologie se nomme la topologie de la convergence uniforme sur cet espace. On la généralisera au chapitre « Espace métrique ».
| Sommaire | Adhérence, intérieur |