4 Espaces topologiques vectoriels
Il existe des exemples importants d’espaces vectoriels pour lesquels la notion
naturelle de convergence n’est pas engendr´ee par une norme. C’est le cas, par
exemple, de l’espace des fonctions continues ou holomorphes dans un ouvert.
Pour traiter ces cas, il est commode d’introduire la notion d’un espace (vectoriel)
topologique. Ce chapitre est consacr´e `a l’´etude de ce type d’espaces.
4.1 Espaces topologiques
Soit Xun ensemble quelconque et ⌧une famille de sous-ensembles de X.On
dit que ⌧est une topologie sur Xsi il v´erifie les trois propri´et´es suivantes:
•?,X 2⌧;
•Stabilit´e par r´eunion quelconque: si {A↵}⇢⌧, alors [↵A↵2⌧;
•Stabilit´e par intersection finie: si A1,A
22⌧, alors A1\A22⌧.
Dans la suite, on ´ecrira (X, ⌧) pour souligner la topologie sur X. Un ensemble
A⇢Xest dit ouvert (ferm´e)siA2⌧(Ac2⌧), o`u Ac=X\A. La fermeture
(ou l’adh´erence)deA, not´e ¯
A, est d´efinie comme l’intersection de tous les ferm´es
contenant Aet l’int´erieur de A, not´e ˚
A, est la r´eunion de tous les ouverts inclus
dans A. Tout ouvert contenant un point donn´e u2Xest appel´e un voisinage
de u.Onditque(X, ⌧)estunespace de Hausdor↵si tout couple de points
distincts poss`edent des voisinages distincts.
Exemples 4.1.(a) Tout espace m´etrique est un espace topologique de Hausdor↵.
(b) Sur tout ensemble X, il existe deux topologies triviales: ⌧={?,X},
la topologie grossi`ere,et⌧={tous les sous-ensembles de X}, la topologie dis-
cr`ete.
(c) ´
Etant donn´ee une famille Fde sous-ensembles de X, on note ⌧(F)la
topologie minimale contenant F. Il est facile `a v´erifier que ⌧(F) consiste des
r´eunions quelconques des intersections finies d’´el´ements de F.
(d) Soit X=[0,1] et ⌧={?ou X\B:B⇢X, B est au plus d´enombrable}.
Alors (X, ⌧) est un espace topologique, mais pas un espace de Hausdor↵.
Une partie Ad’un espace topologique (X, ⌧)estditedense si tout ouvert
de Xcontient un ´el´ement de A. Un espace topologique est dit s´eparable si il
existe une suite dense. Un sous-ensemble ⌧0⇢⌧est appel´ee une base de topologie
si tout ´el´ement de ⌧est une r´eunion d’´el´ements de ⌧0. Une famille de voisinages
d’un point u2Xest appel´ee une base locale au point usi tout voisinage de u
contient un ´el´ement de .SiY⇢X, alors la famille des ensembles de la forme
Y\Aavec A2⌧est une topologie sur Y, appel´ee la topologie induite.
Exemples 4.2.(a) Si (X, d) est un espace m´etrique s´eparable, alors la topologie
engendr´ee par dposs`ede une base d´enombrable. Par exemple, on peut prendre
toutes les boules ouvertes B(un,r
k), o`u (un)⇢Xest une suite dense et (rk)
d´esigne tous les rationnels positifs.
33