Chapitre 1. Espaces topologiques
•Toute union (non triviale) d’éléments de Test un élément de T;
•L’intersection de deux éléments quelconques de Tappartient à T.
Voici quelques exemples.
Exemple 1.1.1.
1. L’ensemble T={∅, X}est la topologie triviale sur X;
2. L’ensemble T= 2Xest la topologie discrète sur X;
3. La topologie euclidienne de Rn, notée Eest constituée des sous-ensem-
bles ωde Rntels que, pour tout x∈ω, il existe une boule ouverte
bx,r ade centre xet de rayon rstrictement positif telle que bx,r ⊂ω.
Cette définition peut être étendue à tout espace muni d’une distance
ou d’une pseudo-distance.
4. La topologie cofinie sur un ensemble Xest définie par
Tcof ={∅}∪{ω⊂X:X\ωest fini}.
5. Si (X, T)est un espace topologique et Yun sous-ensemble de X, alors
la topologie induite par (X, T)sur Yest {Ω∩Y: Ω ∈ T }.
Nous passons maintenant en revue divers moyens de se donner une topo-
logie. Ce sont les systèmes de voisinages, les bases de topologie, les sous-bases
et les fermés. Dans chaque cas, nous aurons deux types de résultats : étant
donné un espace topologique, on définira la notion concernée et ses proprié-
tés, ensuite on montrera qu’un objet ayant ces propriétés définit une seule
topologie. Nous commençons par les voisinages.
Définition 1.1.3. Soient (X, T)un espace topologique et x∈X. Un sous-
ensemble Vde Xest un voisinage de xs’il existe ω∈ T tel que x∈ω⊂V.
On appelle système de voisinages de xet on note Vxl’ensemble des voisinages
de x. On appelle base de voisinages de xtout sous-ensemble Bx⊂ Vxtel que
pour tout V∈ Vxil existe B∈ Bxtel que B⊂V.
Par exemple, dans (Rn,E)une boule ouverte, ou fermée centrée sur x
et de rayon strictement positif est un voisinage de x. Plus généralement, on
peut montrer qu’une partie Vde Rnest un voisinage de xsi, et seulement
si, Vcontient une boule ouverte centrée sur x, ou une boule fermée centrée
sur x(de rayon strictement positif). L’ensemble Bx(resp. B0
x) formé des
boules ouvertes (resp. fermées) de rayon strictement positif constitue une
base de voisinages de x. On montre facilement que pour toute suite (rn)n∈N
de nombres strictement positifs qui converge vers 0, l’ensemble des boules
ouvertes (ou fermées) centrées sur xet de rayon rnest une base de voisinages
de x.
a. On définit bx,r ={y∈Rn:|y−x|< r}.
Université de Liège (ULg), Fac. des Sciences, Dépt. de Mathématique 4