On peut donc associer `a toute famille filtrante croissante Pde semi-normes sur Eune topologie TPsur
Etelle que la famille des voisinages V(x) de tout point xadmette comme base l’ensemble des boules
Bp(x, r), p ∈ P, r > 0.
Remarque 5 La topologie TPposs`ede les propri´et´es suivantes :
a) La famille V(x)s’obtient `a partir de V(0) par translation par x.
b) La famille V(0) admet comme base les boules Bp(0, r)qui sont des disques absorbants i.e. pour tout
x∈E, ∃λ > 0,{x} ⊂ λBp(0, r).
R´eciproquement, la donn´ee d’une famille filtrante d´ecroissante Vde disques absorbants d´efinit une famille
filtrante croissante de semi-normes Pobtenue en associant `a chaque V∈ V,pV(x) = Inf{λ > 0, x ∈λV }
et pVest une semi-norme. De plus, si Vet Wsont deux disques absorbants de Etels que W⊂Valors
pV≤pW.
D´efinition 5 Une topologie sur Eest localement convexe lorsqu’elle est d´efinie par une famille fil-
trante croissante de semi-normes P.
1.2.2 Exemples
Premier exemple : E=RX
La topologie de la convergence simple est d´efinie par la famille filtrante croissante des semi-normes
pA(f) = sup
t∈A
|f(t)|
pour toute partie finie A⊂X.
En ce sens, la convergence simple apparait comme la convergence uniforme sur les parties finies.
Deuxi`eme exemple : Topologie quotient :
(E, P) espace localement convexe.
Nun sous espace vectoriel de E.
On d´efinit E/N ={˙x, x ∈E}o`u ˙x={y∈E, x −y∈N}.
La topologie la plus fine sur E/N rendant continue la projection canonique π:E−→ E/N est d´etermin´ee
par la famille filtrante croissante ˙
Pdes semi-normes quotients.
∀p∈ P,˙p( ˙x) = inf
z∈˙xp(z).
On l’appelle la topologie quotient et elle est localement convexe.
Troisi`eme exemple : Sur tout espace vectoriel E, il existe une topologie localement convexe plus
fine que toutes les autres appel´ee topologie fine. Elle est d´efinie par la famille de toutes les semi-normes
sur Eet admet comme base de voisinage de z´ero la famille de tous les disques absorbants.
Lorsque Eest muni de cette topologie, alors le dual alg´ebrique de Eest ´egale au dual topologique de E
i.e. E?=E0.
On en d´eduit que toute topologie fine est s´epar´ee.
1.2.3 propri´et´es
D´efinition 6 Eun espace vectoriel sur Rou C,Cune partie convexe de Econtenant l’origine. On
appelle jauge de Cla fonction pde Edans R∪ {+∞} d´efinie pour tout x∈Epar
p(x) = inf{λ > 0, x ∈λC}. Si cet ensemble est vide, on pose p(x)=+∞
Remarque 6 La jauge est sous-lin´eaire, et est par cons´equent une fonction convexe.
On a : {x∈E, p(x)<1} ⊂ C⊂ {x∈E, p(x)≤1}
Si Cest un ouvert de E, alors C={x∈E, p(x)<1}
Si Cest un ferm´e de E, alors C={x∈E, p(x)≤1}
La jauge d’un convexe Ccontenant 0 ne prend que des valeurs finies si et seulement si Cest absorbant
i.e. ∀v∈E, ∃α > 0,∀λIK, |λ|≤ α=⇒λv ∈C
Tout voisinage de l’origine est un ensemble absorbant (r´esulte de la continuit´e de l’application qui `a λ