Propri´et´e 9 (th´eor`eme de Mazur) : Soit (xn) une suite convergeant faiblement
vers un point xdans E. Alors une suite de combinaisons convexes des xnconverge
fortement vers x.
D´emonstration : On applique la propri´et´e 8 `a l’ensemble convexe ferm´e
C=Tnco {xm|m≥n}.
Propri´et´e 10 : Les conditions suivantes sont ´equivalentes, pour une application lin´eaire
T:E→Fentre deux espaces de Banach :
(i) Test continue pour les topologies fortes,
(ii) Test continue pour les topologies faibles,
(iii) Test continue pour la topologie forte sur Eet pour la topologie faible sur F.
D´emonstration :
(i) ⇒(iii) et (ii) ⇒(iii) : imm´ediat.
(i) ⇒(ii) et (iii) ⇒(ii) : D’apr`es la propri´et´e universelle de la topologie initiale, il s’agit
de voir que, pour tout f∈F∗, l’application f◦T:E−→ Fest continue pour la
topologie σ(E, E∗). Or f◦Test une forme lin´eaire sur E, qui est continue pour la
topologie forte sur E, comme compos´ee d’applications lin´eaires continues. Elle est aussi
continue pour la topologie σ(E, E∗), d’apr`es la propri´et´e 5.
(ii) ⇒(i) : Le graphe de Test un ensemble convexe dans E×F, qui est ferm´e pour la
topologie σ(E, E∗)×σ(F, F ∗) = σ(E×F , E∗×F∗). D’apr`es la proposition 8, il est ferm´e
pour la topologie forte sur E×F. Le th´eor`eme du graphe ferm´e implique (i).
D´efinition : La topologie faible σ(E∗, E) sur E∗est la topologie initiale pour les ap-
plications J(x)∈J (E) .
Propri´et´e 1∗:Tout ouvert pour la topologie σ(E∗, E) est une r´eunion de semi–boules
B(f0;x1, . . . , xn;r) = {f∈E∗| |f(xj)−f0(xj)|< r ∀1≤j≤n},
o`u f0∈E∗
,x1,...,xn∈E,r >0 .
Propri´et´e 2∗:La topologie σ(E∗, E) est s´epar´ee.
Propri´et´e 3∗:On a les inclusions suivantes de topologies sur E∗:
σ(E∗, E)⊂σ(E∗, E∗∗)⊂topologie forte ,
avec ´egalit´es en dimension finie.
Propri´et´e 4∗:Soient (fn) une suite dans E∗et f∈E∗. Alors :
(i) fn→ffortement =⇒fn→fpour σ(E∗, E∗∗) =⇒fn→fpour σ(E∗, E).
(ii) fn→fpour σ(E∗, E)⇐⇒ fn(x)→f(x)∀x∈E.
(iii) (fn) converge pour σ(E∗, E) =⇒(fn) est born´ee,
si Eest un espace de Banach.
(iv) fn→fpour σ(E∗, E) et xn→xfortement dans E=⇒fn(xn)→f(x).
Propri´et´e 5∗:Les formes lin´eaires sur E∗, qui sont continues pour la topologie
σ(E∗, E), sont les ´el´ements de J(E).
La d´emonstration repose sur le r´esultat suivant d’alg`ebre lin´eaire.
Lemme : Soient Vun espace vectoriel sur Fet f0,f1,... ,fndes formes lin´eaires
sur V. Alors f0∈Ff1+... +Ffn⇐⇒ ker f0⊃ker f1∩... ∩ker fn.
Corollaire : Eest r´eflexif ⇐⇒ σ(E∗, E) = σ(E∗, E∗∗) .