5.

EXERCICES

259

des ( f (x)) soit relativement compact

dans^; alors on peut extraire de

( f n ) une suite convergeant uniformment dans

x.

5.5

EXERCICES E T PROBLEMES

1- Pour tait entier n 2 0 , s o i t g,(t) = O pur t ( O g,(l/n) = 1

g,

l a fonction continue dfinie dans R par l e s conditions :

e t t>2/n,

g,(t) e s t de la f o m Pt +p dans chaque intervalle [O, choisis de t e l l e sorte que

1 --1

et

Ln1 ; 2 1 o Y e t p ,

sont

Mtrer que l a suite

g, s o i t continue. (g,)converge sinpl-t

vers la fonction identiqu-t

nuile dans W;

mis que, dans tait intervalle contexnt O, l a convergence n'est pas m i f o m .

2- Soit E

:[O,+co[CIR,

e t pur tout n, s o i t :
x m
C x

f (x) = sin J

E vers O dans E;

M t r e r que l a suite ( f ) e s t &quicontinue dans E e t converge simpl-t

mis qu'eile ne f o m pas une partie relativaii-nt ccmpacte dans Cm (E,R). (Montrer- que

s'il en t a i t ainsi, e l l e convergwait uniformment dans E vers 0).

3- Soit Y un espace &trique c a p l e t e t s o i t X un espace topologique; Soit A C X t e l l e que

A = X. Soit ( f

) une

suite &quicontinue de fonctiwis de X dans Y. b n t r e r que :

a) S i pur tait x dans A, la limite LimMco f n ( x ) existe, (c'est d r ( f ) converge s b ie planont dans A), alors l a s u i t e ( f ) c m e r g e s i m p l m t dans X vers une fonction f : X+Y b) S de p l u X e s t ccmpact, alors l a suite ( f n ) converge unifo&nt i
dans X vers f .

4- Soit S une partie de C(E,R) qui spare l e s points de E, alors taite fonction continue
g : E -+ W e s t limite uniforme d'une suite de fonctiwis

(g,) t e l l e que chaque fonction g,

puisse s'exprimer carme un polynne coefficients rels par rapport aux fonctiwis de S.
5 S p a r a b i l i t de Co(E,73). Soit E un espace &trique local-t c c n p c t sparable. (Par exenple R
CU

T?). Q1 note

%(El (resp. Cc(E)), l'ensemble des fonctiwis continues de E dans R qui scnt nulles 1'

i f n (resp. support ccmpact) nii

IIE

. Q1 nmit ces espaces de l a m m de convergence mifor-

pxr laquelle Co(E) e s t un ccmplt6 de Cc(E). (Cf 2.3.5).

6.2 APPLICATIONS

27 1

tinue, avec l u l = IIuII. D'aprs 4.3.5, le projecteur pF : E-F ll est continu et uopF est un prolongement qui convient. (Vrifiez-le ! ) . Cette preuve reste valable si E est un espace de Banach et si E = F Q G avec F et G ferms (Cf 6.4.4).
6.2

APPLICATIONS

Pour un espace norm E sur K, on note E l = Y (E,K) le dual topologique de E. (Cf 1.5.5 et 2.6.5). 6.2.1 Sparation des points de E par des formes linaires. ll a) Pour tout x dans E - {O}, il existe f dans E' avec f(x) = l x l et (If = 1

11

b) Pour y i z dans E, iZ existe toujours f dans E' avec f(z) i f(y). Preuve. 11, a) On prend F = <x> et g(Yx) = ~llx alors g est continue et de norme 1 ; et on prend pour f un prolongement de g avec 6.1.1. b) rsulte de a), en considrant x = y - z i REMARQUE. Il existe des espaces vectoriels topologiques (1.1.6), dont le dual topologique est rduit ple, on peut montrer que e([O,l],K) non rduits 10)
O.+

(01.

Ce qui montre que le thorme

6.1.1 n'est pas vrai pour les espaces vectoriels topologiques. Par exemmuni de la distance

est un espace vectoriel topologique dont le dual est nul. 6.2.3 L'isomtrie d'un espace norm E dans son bidual. Soient E un espace non, E t son dual et Etl:Yc(Et,K) son bidual. a) Pour chaque x dans E, l'application

est une forme linaire continue sur E t , donc c (x) E Elt. E b)-L'application x ~ (x) est une isorntrie linaire de E dans El1. c E

272 Preuve.

III

6 Q U E L Q U E S G R A N D S CLASSIQUES

a) L'application c (x) est videmment linaire. De plus on a E lcE(x)(u)(

E

Iu(x)(

<

J(ul/x l l l l

pour tout x.

Donc c (x) est continue avec ((cE(x)

(1

<

llx(/.

U(X)

Supposons x # O, d'aprs 6.2.1, il existe u dans E' avec I u l = 1 et ll = donc (cE(x)(u)( = ( / x (et ceci montre que l(cE(x)l( = I(xl(. J

((~(1;

b ) La linarit de c est vidente et on a ((cE(x) = E

(1 /(XII

pour tout x # O

d7aprs a). Pour x = O, cette relation est triviale et la preuve est termine., Remarquons qu'on a donc (lx(1 = supu, E l (u(x)1 pour tout x dans E. llull=l 6.2.4 Remarque. Complt d'un espace norm. Comme K est complet, Et'est de Banach (2.6.4); donc l'adhrence =
A

cE(E)

de c (El dans En est aussi un espace de Banach. Donc (E,c ) est un comE E plt de E au sens de 1.5.9. Ce qui donne une nouvelle preuve de l'existence du complt. 6.2.5 Caractrisation de l'adhrence d'un sous-espace vectoriel.

Soit F un sous-espace vectoriel d'un espace norm E et XEE. Alors X E

ssi toute forme linaire continue, nulle sur F, s'annule en x.

est continue et nulle sur F , alors f est aussi nulle

Preuve. Si f : E-K

sur F. Rciproquement, soit x e F . On va montrer qu'il existe une forme linaire continue, nulle sur F mais pas en x, ce qui suffira. Comme x$F la somme F @ K x est directe et pour y dans F et u: y+px - p tinue car 6 = d(x,F)>O U ( ~ + ~ X= 8 )
f(

dans K l'application

est linaire, nulle sur F, avec u(x) = 1. De plus u est conet on a : ( p ly 1 1 1 =; Ily x C.Q.F.D.

. D'aprs 6.1.1, u se prolonge en G E E T , nulle sur F , et qui vaut 1 en x, 6.2.6 Caractrisation des familles totales.

Une famille

d'lments d'un espace norm E est totale dans E ssi

toute forme linaire qui s'annule sur tout les x. estidentiquement nulle.