Chapitre 1. Espaces topologiques
strictement 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 topologie. 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 X
est 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 xet de rayon stric-
tement positif est un voisinage de x. Plus généralement, on peut montrer qu’une partie V
de 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∈Nde 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.
Pour la topologie discrète sur un ensemble X, on constate que Vxest l’ensemble des
parties de Xcontenant x, et que Bx={{x}} est une base de voisinages de x, quel que soit
x∈X.
Pour l’ensemble X={a, b, c, d}muni de la topologie
T={∅, X, {a},{a, b, c},{b, c},{b, c, d}},
on a Vd={{b, c, d}, X}tandis que Vaest l’ensemble des parties de Xqui contiennent a.
Le lien fondamental entre ouverts et voisinages est donné par la proposition suivante.
Proposition 1.1.1. Soit (X, T)un espace topologique. Une partie Ade Xest ouverte si,
et seulement si pour tout x∈A, on a A∈ Vx.b
Nous utiliserons très fréquemment ce proposition pour démontrer qu’un ensemble est
ouvert.
Démonstration. Pour tout Ω∈ T , et tout x∈Ω, on a x∈Ω⊂Ω, donc Ωest voisinage
de x. Inversement, si pour tout x∈V, il existe ωx∈ T tel que x∈ωx⊂V, alors on a
V=∪x∈Vωx, et Vest ouvert.
La proposition suivante donne les propriétés des systèmes de voisinages.
Proposition 1.1.2. Soit (X, T)un espace topologique. Les systèmes de voisinages définis
par Tont les propriétés suivantes :
b. Lisez : un ensemble est ouvert si, et seulement si, il est voisinage de chacun de ses points.
Université de Liège (ULg), Faculté des Sciences, Département de Mathématique 3