Topologie/Espace topologique

Un livre de Wikibooks.

Contenu transféré sur Wikiversité

Le contenu que vous recherchez a été déplacé vers la Wikiversité. Il devrait être disponible sous le nom 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.

[modifier] 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...) 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".

[modifier] Définition d'un espace topologique

Un espace topologique est un couple $(X, \mathcal{T})$ , où $\mathcal{T}$ est une partie de l'ensemble $\mathcal{P}(X)$ des parties de $X$ , vérifiant les trois propriétés :

Les ensembles $\emptyset$ et $X$ sont dans $\mathcal{T}$
La réunion d'une famille quelconque d'éléments de $\mathcal{T}$ est encore dans $\mathcal{T}$
L'intersection d'une famille finie d'éléments de $\mathcal{T}$ est encore dans $\mathcal{T}$

$\mathcal{T}$ s'appelle la topologie associée à l'espace topologique $(X, \mathcal{T})$ . La plupart du temps, la topologie est sous-entendue, si bien qu'on commettra l'abus de confondre $X$ et $(X,\mathcal{T})$ .

[modifier] Exemples classiques d'espaces topologiques

Des exemples triviaux d'abord.

Tout ensemble E peut être muni de la topologie grossière : $\mathcal\Tau = \{\emptyset, E\}$ . Il est facile de vérifie que cela définit bien une topologie. C'est celle qui contient le moins d'ouverts possible.

Tout ensemble E peut être muni de la topologie discrète : $\mathcal\Tau = \mathcal P(E)$ . Dans ce cas, toutes les parties de E sont ouvertes : on dit que E est 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, les seules suites convergentes dans un espace discret sont les suites stationnaires.

L'exemple suivant le plus intéressant est celui de l'ensemble $\R$ des nombres réels. En effet, dans la construction des ensembles classiques de nombres, $\R$ 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 $\R$ est la suivante : $O \subset \R$ est ouvert si pour tout $x \in O$ , il existe $ε > 0$ tel que $]x-\epsilon, x+\epsilon[ \subset O$ .

De même, $\R^n$ est un espace topologique, si l'on dit que $O \subset \R^n$ est ouvert si pour tout $x \in O$ , il existe $ε > 0$ tel que $]x_1-\epsilon, x_1+\epsilon[ \times \cdots \times ]x_n-\epsilon, x_n+\epsilon[ \subset O$ . Ce n'est pas la seule manière de définir une topologie sur cette espace, 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 réelles à valeurs dans $\R^n$ , ou celles des fonctions de $\R^p$ dans $\R^n$ (calcul différentiel).

L'analyse fonctionnelle, quant à elle, a pour cadre les espaces fonctionnels, qui sont des espaces vectoriels de dimension infinie, munis d'une topologie. Ils sont de dimension infinie car ce sont généralement des ensembles de fonctions. Premier exemple : l'ensemble des suites réelles $\R^n$ est un espace vectoriel. On peut définir une topologie en décrétant que $O \subset \R^n$ est ouvert si, pour toute suite $(x_n) \in O$ , il existe $ε > 0$ tel que toute suite $(y n)$ vérifiant $\forall n \in \N, |x_n - y_n| < \epsilon$ est dans $O$ . Cette topologie se nomme topologie de la convergence uniforme. Ce n'est pas la seule manière de définir une topologie sur cet espace.

Autre exemple : l'ensemble $\mathcal C^0(I, \R)$ des fonctions continues d'un intervalle compact $I$ à valeurs dans $\R$ est un espace vectoriel. On peut définir une topologie sur cette espace en décrétant que $O \subset \mathcal C^0(I, \R)$ est ouvert si pour toute fonction $f \in O$ , il existe $ε > 0$ tel que toute fonction $g \in \mathcal C^0(I, \R)$ vérifiant $| f (x) - g (x) | < ε$ pour tout $x \in I$ , est dans $O$ . Cette topologie s'appelle encore topologie de la convergence uniforme.