Semi-normes
Dans tout ce qui suit, Kd´esignera selon le contexte le corps Rdes r´eels ou celui Cdes
complexes. Pour un ´el´ement λde K, la notation |λ|d´esignera dans le premier cas la valeur
absolue de λ, et dans le second son module.
D´efinition. Soit Eun K-espace vectoriel. On appelle semi-norme sur Eune fonction
p:E→R+satisfaisant les deux conditions :
(i) ∀x∈E∀λ∈Kp(λx) = |λ|p(x)
(ii) ∀x∈E∀y∈E p(x+y)6p(x) + p(y).
Une norme est une semi-norme satisfaisant pour tout xde E:p(x) = 0 =⇒x= 0.
1 - Topologie d´efinie par une famille de semi-normes.
Soient Eun K-espace vectoriel et Pun ensemble de semi-normes sur E. On appellera
P-boule de Ecentr´ee en a∈Etout ensemble de la forme
W(a, p1, p2, . . . , pk, r1, r2, . . . , rk) := {x∈E:∀j6k pj(x−a)< rj},
o`u les pjappartiennent `a P, et les rjsont strictement positifs. Lorsque Pest un ensemble
constitu´e d’une seule norme, ces P-boules centr´ees en asont exactement les boules ouvertes
de centre apour cette norme.
Th´eor`eme 1.1. Si Pest une famille de semi-normes sur E, il existe une unique topologie
sur E(qu’on appellera la P-topologie) pour laquelle, pour tout a∈E, les P-boules de centre
aforment une base de voisinages de a.
Pour cette topologie, la fonction : (x, y)7→ x+yest continue de E×Edans E, et la
fonction (λ, x)7→ λxcontinue de K×Edans E(on dira que c’est une topologie d’espace
vectoriel).
Il est clair que l’intersection de deux P-boules de centre aest encore une P-boule
de centre a. De plus, si W=W(a, p1, p2, . . . , pk, r1, r2,...,rk) est une P-boule de centre
acontenant b, les nombres si=ri−pi(x−a) sont strictement positifs et on v´erifie
imm´ediatement que W(b, p1, p2,...,pk, s1, s2, . . . , sk)⊂W(a, p1, p2,...,pk, r1, r2,...,rk),
donc que West un voisinage de b. Il en r´esulte que ceci d´efinit une topologie sur E.
Si W=W(a+b, p1, p2, . . . , pk, r1, r2,...,rk) est un voisinage de a+b, on a pour
x∈W(a, p1, p2, . . . , pk, r1/2, r2/2, . . . , rk/2) et y∈W(b, p1, p2,...,pk, r1/2, r2/2,...,rk/2) :
pj(x+y−a−b)6pj(x−a) + pj(y−b)< rj/2 + rj/2 = rj, donc x+y∈W: ceci montre
la continuit´e en (a, b) de la fonction (x, y)7→ x+y.
De mˆeme, puisque
pj(λx−µa)6|λ|pj(x−a) + |λ−µ|pj(a)6|µ|pj(x−a) + |λ−µ|pj(a) + |λ−µ|pj(x−a)
on voit qu’en assurant pj(x−a)<inf(1,rj
3µ) et |λ−µ|<inf(rj
3,rj
pj(a)), on assure
pj(λx−µa)< rj. On en d´eduit la continuit´e en (µ, a) de la fonction (λ, x)7→ λx.•
version du 20 Octobre 2009