THEOREME DE HAHN-BANACH (ANALYTIQUE) ET QUELQUES CONSEQUENCES

THM HAHN-BANACH E dsigne un evn sur K = Rou C, et F un sous-espace vectoriel de E ; soit f F ' ;
alors f admet un prolongement (non unique en gnral) g E ' , et on peut choisir g tel que || g || = || f || .
Remarque: Si G est un ev de dim finie et f Lc(F,G) , alors f admet un prolongement g Lc(E,G) (travail sur
les composantes relativement une base de G); si G n'est plus de dimension finie, le rsultat ne subsiste plus en
gnral; toutefois, si G est complet et F dense dans E, il subsiste, avec l'unicit en sus.
Dmonstration du thorme:
1) Cas rel (K=R):
a)

Soit A = {(G,g), G sev de E contenant F , gG ' , || g || = || f || , g|F = f }.

A est non vide (contient (F,f) ) et ordonn par: (G,g) (H,h) [ G H et h|G = g ].
(A, ) est inductif car si B = {(Gi,gi) , i I } est une famille non vide et totalement ordonne d'lments
de A, alors B admet un majorant (et mme une borne suprieure) (G,g) dfini par : G = Gi , sev de
iI
E contenant F (clair) et iI , g|Gi= gi, qui dfinit bien une forme lin. cont. sur G de norme || f || (easy).
Alors (lemme de Zorn) A admet un lment maximal (G,g).

b) Supposons G E et soit e G ; on construit sur H = G + R.e un prolongement linaire continu h de g

(et donc de f ) tel que || h || = || g || ( = || f || ) ce qui contredira la maximalit de (G,g) dans A:
On dfinit h linaire sur H par h|G = g , et h(e) = R; pour tout choix de rendant h continue, on
aura dj || h || || g || de faon vidente, de sorte que la condition contenter est:
(a) : xG, R , |h(x+.e)| || g ||. || x+.e|| .

Par suite:
(a)

xG, R* , |h(x+e)| || g ||. ||x+e||

yG, |g(y)+| ||g||.||y+e|| (diviser par || et poser y = -1.x)
yG, ay = -g(y)-||g||.||y+e|| -g(y)+||g||.||y+e|| = by .

[, (a) ] SupG(ay) InfG(by) y,zG, az by , ce qui est vrai (immdiat).

2) Cas o K = C:
E evn complexe; F sev de E , f F ' ; on note E1 et F1 les sevs rels sous-jacents.
On pose r = Re (f) , et on vrifit successivement les rsultats suivants:
!

r F1'

(x F, |r(x)| = |Re(f)(x)| |f(x)| ||f ||.||x|| )

|| r || = || f ||

(soit x F; posons f(x) = |f(x)|.ei ; il vient:

|f(x)| = e-i.f(x) = Re [e-i.f(x)] = Re [f(e-i.x)] = r(e-i.x) || r ||.|| x || ,
d'o: || f || || r || , et finalement : || f || = || r ||. )

et

|| r || || f ||.

On constate que: x F , f(x) = r (x) - i.r( i.x ). Alors s E1' , s|F = r et || s || = || r || .

On pose g : x g(x) = s(x) - i.s(i.x) ; on vrifit que g est C-linaire (additive,R-linaire, et
g(i.x) =...= i.g(x)), que g prolonge f ,est continue, et || g || = || s || = || r || = || f ||.

Applications:
1) E evn non nul, x E {0}, K; alors il existe une FLC f de E telle que f(x) = .
(prendre F = K.x ; on peut mme s'offrir || f || =

||
; par exemple: f de norme 1 tq f(x) = || x || ).
|| x ||

Consquence: Sur un evn non nul, il existe des flc non nulles (Coroll);
Remarque: si E est de dimension infinie, il y a des formes linaires non continues sur E (soit B une base
norme de E (l'existence en est assure par Zorn appliqu aux familles libres...) , (an) une suite infinie
d'lments de B, et f la forme linaire dfinie sur B par f(an) = n et f(x) = 0 sinon; alors f n'est pas borne
sur la boule unit, et n'est donc pas continue.
2) Caractrisation des points adhrents un sev: E evn ; F sev de E ; a E ; alors a est adhrent F si et
seulement si toute forme linaire continue sur E, nulle sur F est nulle en a .
Consquences:
Si x E est tq f E ' , f(x) = 0 , alors x = 0.
Si toute FLC nulle sur F est nulle sur E alors F est dense dans E.
Si (ei) est une famille d'lments de E telle que toute FLC nulle sur les ei est nulle sur E, alors (ei)
est totale.

Dmonstration:
Pour le sens non vident: supposons a F : : G = F

K.a K , (x+.a) est une flc car son

noyau est un hyperplan ferm; elle se prolonge en une flc f sur E non nulle en a mais nulle sur F.
Exemple: si f L1 [respt Lp ] est telle que g L [respt Lq ] , f.g = 0 alors f = 0.

3) Injection d'un evn E dans son bidual: soit E un evn non nul ; l'application x [ ux : f ux( f ) = f(x)]
est une isomtrie linaire (non ncessairement surjective) de E dans E''.
A x fix, ux est linaire et f E ' , |ux(f)| = |f(x)| || f ||.|| x || , donc ux E'' et ||ux|| ||x||.
Si x = 0, il y a galit; sinon (corollaire de Hahn-Banach): f E ' , || f || = 1 et f(x) = ||x|| ; alors
|ux(f)| = |f(x)| = ||x|| , ce qui prouve: ||ux|| = ||x||.
Consquence: E s'injecte isomtriquement dans E" qui est complet; l'adhrence de E dans E" est donc le
complt ( isomorphisme isomtrique prs) de E.

4) E, F evns non nuls. alors Lc(E,F) est complet si et seulement si F est complet.
() supposons Lc(E,F) complet, et soit (yn) une suite de Cauchy de F; prenons xo E de norme 1, et
une FLC sur E telle que (xo) = 1 (corollaire de Hahn-Banach); on construit alors la suite (fn)
d'lments de Lc(E,F) dfinie par: n, x E , fn(x) = (x).yn .
Pour x E , et n, p 1, on a : ||fn(x)-fp(x)|| = |(x)|.||yn-yp|| ||||. ||yn-yp||.||x|| , et donc:
||fn-fp|| ||||.||yn-yp||: (fn) est de cauchy dans Lc(E,F), et donc converge vers f Lc(E,F).

Mzalor (yn) = ( fn(xo) ) est bien convergente dans F vers f(xo) : F est complet.

5) Une galit de dualit: E evn, alors: x E , || x || = Max |f(x)| = Max |f(x)| .

fE'
fE'
|| f || 1
|| f || = 1

Remarque: Cette galit est la duale de l'galit connue :

f E ' , || f || =

Sup | f(x) | = Sup |f(x)| et est plus prcise que celle-ci: on sait que la borne
xE
xE
|| x || 1
|| x || = 1

suprieure de la seconde formule n'est en gnral pas atteinte, tandis que dans la formule du corollaire, il
est indique qu'elle est toujours atteinte.
Dmonstration:
Soit x E; f E ' de norme 1, on a: |f(x)| || f ||.|| x || || x ||, donc:
(*) || x || Sup |f(x)| Sup |f(x)|.
fE'
fE'
|| f || 1
|| f || = 1
!

Si x = 0 , le rsultat cit est trivial.

Si x 0 : par un corollaire de Hahn-Banach: g E ' , || g || = 1 et g(x) = || x || ; on obtient la fois

des galits dans (*) et l'autorisation de remplacer les "Sup" par des "Max" .

C , (u-
.Id) n'est pas inversible dans Lc(E)} )
6) E banach complexe. u Lc(E) . alors Spec u = {
Remarque: un complexe peut avoir trois raisons d'tre dans le spectre de u :
i ) (u-.Id) n'est pas injectif ( est alors dit valeur propre de u ).
ii ) (u-.Id) n'est pas surjectif .
iii ) (u-.Id) est bijective mais d'inverse non continu.
!

Si E est de dimension finie , alors Spec(u) concide avec l'ensemble des valeurs propres de u.

Dans le cas gnral, les vps sont dans le spectre, mais il peut y avoir autre chose;
!

Il y a des rsultats intressants dans le cas o u est compacte: Spec(u) est soit fini, soit constitu
de 0 et d'une suite de vps non nulles isoles tendant vers 0.

Si E est complet, alors iii ) est impossible en vertu du thm de Banach; il est facile dans ce cas
de prouver que Spec(u) est compact, inclus dans la boule ferme B(0, ||u||).

Dmonstration: on suppose C , (u-.Id) est inversible.

Soit f Lc(E) ; lapplication g : C C, z g(z) = f [(u-z.Id)-1] est holomorphe sur C.
f
a
b
(elle se dcompose sous la forme: z u-z.Id (u-z.Id)-1 g(z) , o a,b et f sont toutes trois
C -diffrentiables, donc g est Cdiffrentiable, i.e. holomorphe sur C )
De plus pour z 0: z.g(z) = f [(z-1u-Id)-1] tend vers -f(Id) quand z tend vers + ; par suite g tend vers 0
l'infini, ce qui signifit qu'elle est nulle (borne, puis constante, puis nulle).
Ainsi, on a pour toute f Lc(E) : f(Id) = 0, ce qui nest pas en vertu du thm de Hahn-Banach.

7) Thorme de Gelfand-Mazur: soit A une algbre complexe unitaire munie d'une norme || . || , telle que:
i ) x,y, ||xy|| ||x||.||y|| , et ||e|| = 1; (on dit que A est une "algbre unitaire norme");
ii ) L'espace vectoriel A muni de || . || est complet (on dit que A est une algbre de Banach);
iii ) Tout lment non nul de A est inversible (i.e. l'anneau A est un corps).
alors A est isomtriquement isomorphe C (en tant qu'algbre sur C; elle est en particulier
commutative).

Dmonstration: sous ces hypothses, on vrifit aisment comme en 5) que le spectre d'un lment
quelconque de A est non vide (i et ii permettent d'avoir les rsultats ncessaires sur l'application
u u-1 ); on note e l'lment unit de A.
Soit alors x A et (x) ; donc x = .e , et : x - .e = (-).e 0 ; par suite : (x) = {},
que nous noterons (x) ; on a donc: x A : x = (x).e , et l'application est clairement un
isomorphisme d'algbres et une isomtrie de A sur C.
8) E evn ; A E; alors A est borne dans E si et seulement si u(A) est borne dans K pour tout u E '.
Autrement dit, pour vrifier qu'un ensemble est born, il suffit de le regarder travers les formes
linaires continues. C'est d'ailleurs ce que l'on fait en dimension finie, quand on regarde les composantes
sur une base, i.e. les images par les formes linaires pr1,., prn; le thorme donne le rsultat en dimension
infinie, dans un banach, sans avoir recours aux bases.
Dmonstration:
Le sens direct est clair; supposons maintenant u(A) borne par mu pour tout u dans E ' (qui est complet).
Soit alors la famille (fa)aA d'lments de E '' dfinie par : a A , uE ', fa(u) = u(a).
On a par hypothse: uE ' , Sup | fa(u) | = Sup |u(a) | mu, et donc (Banach-Steinhaus) la famille (fa)
aA
aA
est uniformment borne par m>0: grce l'galit de dualit, on peut donc crire:
a A, ||a|| = Sup |u(a)| = Sup |fa(u)| m .
uE '
uE '
||u||1
||u||1
---------------------------------------------