Notas de Anlise Funcional

Jorge Mujica

Sumrio
1. Espaos normados e operadores lineares ....................................................................................01
2. Desigualdades de Hlder e Minkowski para somas ....................................................................05
3. Espaos normados de sequncias ................................................................................................08
4. Desigualdades de Hlder e Minkowski para integrais ................................................................12
5. Espaos normados de funes.....................................................................................................14
6. Espaos normados de dimenso finita ........................................................................................20
7. Completamento de espaos normados ........................................................................................23
8. Espaos quociente .......................................................................................................................26
9. Espaos com produto interno ......................................................................................................29
10. Projees ortogonais .................................................................................................................32
11. O teorema de Hahn-Banach ......................................................................................................37
12. Consequncias do teorema de Hahn-Banach ............................................................................41
13. O dual de lp ...............................................................................................................................44
14. O dual de Lp(X,_, ) .................................................................................................................46
15. Bidual de um espao normado ..................................................................................................51
16. Teorema de Banach-Steinhaus ..................................................................................................54
17. Teorema da aplicao aberta e teorema do grfico fechado......................................................57
18. Espectro de um operador em um espao de Banach .................................................................60
19. Operadores compactos entre espaos de Banach ......................................................................63
20. Conjuntos ortonormais em espaos de Hilbert..........................................................................65
21. Conjuntos ortonormais completos em espaos de Hilbert ........................................................68
22. Operadores auto-adjuntos em espaos de Hilbert .....................................................................75
23. Teorema espectral para operadores compactos e auto-adjuntos
em espaos de Hilbert .....................................................................................................................78
24. Espaos localmente convexos ...................................................................................................81
25. O teorema de Hahn-Banach em espaos localmente convexos.................................................85
26. A topologia fraca.......................................................................................................................87
27. A topologia fraca estrela ...........................................................................................................89

1. Espa
cos normados e operadores lineares
Sempre consideraremos espacos vetoriais sobre K, onde K e R ou C.
1.1. Deni
c
ao. Se E e um espaco vetorial, entao uma funcao x E
x R e chamada de norma se verica as seguintes propriedades:
(a) x 0 para todo x E;
(b) x = 0 se e so se x = 0;
(c) x = ||x para todo K e x E;
(d) x + y x + y para todo x, y E.
A desigualdade (d) e chamada de desigualdade triangular. O espaco vetorial
E, junto com a norma ., e chamado de espaco normado. E e chamado de
espaco de Banach se for completo com relacao a` metrica natural d(x, y) =
x y.
Logo veremos muitos exemplos de espacos normados e espacos de Banach.
De agora em diante, a menos que digamos o contr
ario, E e F denotar
ao espacos
normados.
1.2. Deni
c
ao. Sejam a E e r > 0. A bola aberta de centro a e raio r e
o conjunto
BE (a; r) = {x E : x a < r}.
A bola fechada de centro a e raio r e o conjunto
B E (a; r) = {x E : x a r}.
A esfera de centro a e raio r e o conjunto
SE (a; r) = {x E : x a = r}.
Se a = 0 e r = 1, escreveremos BE , B E e SE em lugar de BE (0; 1), B E (0; 1) e
SE (0; 1), respectivamente.
1.3. Deni
c
ao. Dada uma aplicacao linear T : E F , seja T  denido
por
T  = sup{T x : x E, x 1}.
T e dita limitada se T  < .
1.4. Proposi
c
ao. Dado uma aplicac
ao linear T : E F , as seguintes
condic
oes s
ao equivalentes:
(a) T e limitada.
(b) T e uniformemente contnua.
(c) T e contnua.
(d) T e contnua na origem.

Demonstra
c
ao. (a) (b): Se T e limitada, ent
ao
T x T  para todo x E, x 1,
e portanto
T x T x para todo x E.
Segue que
T x T y T x y para todo x, y E.
Logo T e uniformemente contnuo.
As implicacoes (b) (c) e (c) (d) sao claras.
(d) (a): Se (a) n
ao for verdadeiro, ent
ao existiria uma sequencia (xn ) em
E tal que xn  1 e T xn  n para cada n. Seja yn = xn /T xn  para cada
n. Ent
ao yn  1/n e T yn  = 1 para cada n. Logo T n
ao seria contnuo na
origem.
1.5. Corol
ario. Seja T : E F uma aplicac
ao linear. Ent
ao T e contnua
se e s
o se existe uma constante c > 0 tal que
T x cx para todo x E.
1.6. Deni
c
ao. Denotaremos por La (E; F ) o espaco vetorial de todas as
aplicacoes lineares T : E F . Denotaremos por L(E; F ) o subespaco de todas
os T La (E; F ) que sao contnuas. Os elementos de La (E; F ) sao usualmente
chamados de operadores lineares.
claro que o valor absoluto dene uma norma em K, e que K, munido
E
dessa norma, e completo. O espaco La (E, K) e denotado por E , e e chamado
de dual algebrico de E. O espaco L(E; K) e denotado por E  , e e chamado de
dual topol
ogico, ou simplesmente dual de E. Os elementos de E sao usualmente
chamados de funcionais lineares.
Diremos que T L(E; F ) e um isomorsmo topol
ogico se T e bijetivo e seu
inverso e contnuo. Diremos que T L(E; F ) e um mergulho topol
ogico se T e
um isomorsmo topol
ogico entre E e o subespaco T (E) de F .
Diremos que T L(E; F ) e um isomorsmo isometrico se T e bijetivo, e
T x = x para todo x E. Diremos que T L(E; F ) e um mergulho
isometrico se T e um isomorsmo isometrico entre E e o subespaco T (E) de F .
Diremos que duas normas .1 e .2 em um espaco vetorial E sao equivalentes se a aplicacao identidade de (E, .1 ) em (E, .2 ) e um isomorsmo
topol
ogico.
1.7. Corol
ario. Seja T La (E; F ). Ent
ao T e um mergulho topol
ogico se
e s
o se existem constantes b a > 0 tais que
ax T x bx para todo x E.

1.8. Corol
ario. Seja E um espaco vetorial. Duas normas .1 e .2 em
E s
ao equivalentes se e s
o se existem constantes b a > 0 tais que
ax1 x2 bx1 para todo x E.
1.9. Proposi
c
ao. A func
ao T T  e uma norma em L(E; F ). Se F e
um espaco de Banach, ent
ao L(E; F ) tambem e um espaco de Banach.
f
Demonstra
c
ao. E
acil vericar que a funcao T T  e uma norma em
L(E; F ). Provaremos que L(E; F ) e completo se F e completo. Seja (Tn ) uma
sequencia de Cauchy em L(E; F ). Ent
ao, dado  > 0, existe n0 N tal que
Tn Tm  
para todo n, m n0 . Segue que
(1)

Tn x Tm x Tn Tm x x

para todo n, m n0 e x E. Segue que (Tn x) e uma sequencia de Cauchy em

F para cada x E. Como por hip
otese F e completo, existe o limite limn Tn x
para cada x E. Denamos T : E F por T x = limn Tn x para cada x E.
facil vericar que T e linear. Fazendo m em (1) segue que
E
Tn x T x x
para todo n n0 e x E. Logo Tn T  , e portanto Tn T L(E; F ),
para todo n n0 . Segue que T = (T Tn ) + Tn L(E; F ) e Tn T  0.
1.10. Corol
ario. O dual de um espaco normado e sempre um espaco de
Banach.
Exerccios
1.A. Prove que
|x y| x y para todo x, y E.
Em particular a funcao x E x R e uniformemente contnua.
1.B. (a) Se xn x em E, e yn y em E, prove que xn + yn x + y em
E.
(b) Se n em K, e xn x em E, prove que n xn x em E.
Em particular as seguintes aplicacoes sao contnuas:
(x, y) E E x + y E,
(, x) K E x E.

1.C. (a) Prove que, para cada a E, a aplicacao x E x + a E e um

homeomorsmo.
(b) Prove que, para cada = 0 em K, a aplicacao x E x E e um
homeomorsmo.
1.D. Prove que cada subespaco fechado de um espaco de Banach e um espaco
de Banach com a norma induzida.
1.E. Se M e um subespaco vetorial pr
oprio de E, prove que intE e vazio.
1.F. (a) Prove que a funcao (x, y)1 = x + y dene uma norma em
E F.
(b) Prove que (E F, .1 ) e completo se e so se E e F sao completos.
1.G. (a) Prove que a funcao (x, y) = max{x, y} dene uma norma
em E F .
(b) Prove que (E F, . e completo se e so se E e F sao completos.
1.H. Prove que a aplicacao identidade I : (E F, .1 ) (E F, . ) e
um isomorsmo topol
ogico. Calcule I e I 1 .
1.I. Dado T L(E; F ), prove que:
T  = sup{T x : x E, x < 1}
= sup{T x : x E, x = 1}
= sup{

T x
: x E, x = 0}
x

= inf{c > 0 : T x cx para todo x E}.

2. Desigualdades de H
older e Minkowski para somas
2.1. Lema. Sejam a, b, , > 0, com + = 1. Ent
ao:
a b a + b,

(1)
com igualdade se e so se a = b.

Demonstra
c
ao. Queremos provar que
a b1 a + (1 )b,
ou seja

a 

(2)

a
+ 1 .
b

Consideremos a funcao
(t) = t + 1 t
Ent
ao

(t > 0).

 (t) = t1 .

Como 0 < < 1, segue que

 (t) < 0 se 0 < t < 1,
 (t) > 0 se

t > 1.

Logo e estritamente decrescente em (0, 1], e estritamente crescente em [1, ).

Como (1) = 0, concluimos que
(t) > 0 se t > 0, t = 1.
Isto prova (2), e portanto (1), com igualdade se e s
o se a = b.
2.2. Teorema (desigualdade de H
older para somas). Sejam 1 <
1
1
p, q < , com p + q = 1, e sejam (1 , ..., n ), (1 , ..., n ) Kn . Ent
ao:
1/p
1/q

n
n


|j j |
|j |p
|j |q .

n

j=1

j=1

j=1

Demonstra
c
ao. Aplicando o lema anterior, com
|j |p
|j |q
1
1

,
b
=
,

=
,

=
,
aj = n
j
n
p
q
p
q
|
|
|
|
j
j
j=1
j=1
obtemos



n
j=1

|j |p

|j j |
1/p


aj
bj
1/q p + q
n
q
j=1 |j |
5

para j = 1, ..., n. Somando estas desigualdades, segue que

n
n
n
1
1
1 1
j=1 |j j |
aj +
bj = + = 1,


1/p

1/q p
q j=1
p q
n
n
p
q
j=1
j=1 |j |
j=1 |j |
completando a demonstracao.
2.3. Corol
ario (desigualdade de Cauchy-Schwarz para somas). Sejam (1 , ..., n ), (1 , ..., n ) Kn . Ent
ao:
n

j=1

1/2
1/2

n
n


|j j |
|j |2
|j |2 .
j=1

j=1

2.4. Deni
c
ao.Dado 1 p < , seja p o conjunto de todas as sequencias

(j ) em K tais que j=1 |j |p < .

Temos entao os corolarios seguintes.
2.5. Corol
ario (desigualdade de H
older para s
eries). Sejam 1 <
1
1
p, q < , com p + q = 1, e sejam (j ) p e (j ) q . Ent
ao (j j ) 1 e


j=1

1/p
1/q



|j j |
|j |p
|j |q .
j=1

j=1

2.6. Corol
ario (desigualdade de Cauchy-Schwarz para s
eries). Sejam (j ), (j ) 2 . Ent
ao (j j ) 1 e


j=1

1/2
1/2



|j j |
|j |2
|j |2 .
j=1

j=1

2.7. Teorema (desigualdade de Minkowski para somas). Sejam

1 p < , e (1 , ..., n ), (1 , ..., n ) Kn . Ent
ao:
1/p
1/p
1/p

n
n
n




|j |p +
|jp .
|j + j |p
j=1

j=1

j=1

Demonstra
c
ao. A desigualdade e clara se p = 1. Se p > 1, temos que:
n

j=1

|j +j | =

n


p1

|j +j ||j +j |

j=1

n

j=1

p1

|j ||j +j |

n

j=1

|j ||j +j |p1 .

Como (p 1)q = p, segue da desigualdade de H

older que
n


|j ||j + j |p1

1/p
1/q

n
n



|j |p
|j + j |p

j=1

j=1

e
n


|j ||j + j |p1

j=1

n


j=1

1/p
1/q
n

|j |p
|j + j |p .

j=1

j=1

Logo

1/p
1/p
1/q

n
n
n
n






|j |p
|j + j |p .
|j + j |p
|j |p +

j=1
j=1
j=1
j=1
Como 1

1
q

= p1 , segue que

n


1/p
|j + j |p

j=1

1/p
1/p

n
n



|j |p +
|j |p ,
j=1

j=1

completando a demonstracao.
2.8. Corol
ario (desigualdade de Minkowski para s
eries). Seja 1
p < , e sejam (j ), (j ) p . Ent
ao (j + j ) p e


j=1

1/p
|j + j |p

1/p
1/p




|j |p +
|j |p .
j=1

j=1

3. Espa
cos normados de sequ
encias
3.1. Exemplo. Dado 1 p < , denamos
1/p

n

xp =
|j |p
j=1

para cada x = (1 , ..., n ) Kn . Segue da desigualdade de Minkowski que a

funcao .p e uma norma em Kn . Denotaremos por Knp o espaco vetorial Kn ,
munido da norma .p . N
ao e difcil provar que Knp e um espaco de Banach.
3.2. Exemplo. Denamos
x = max{|1 |, ..., |n |}
f
acil vericar que a funcao . e uma
para cada x = (1 , ..., n ) Kn . E
n
norma em K . Denotaremos por Knp o espaco vetorial Kn , munido da norma
. . N
ao e difcil provar que Kn e um espaco de Banach.
3.3. Exemplo. Dado 1 p < , lembremos que
p = {x =

(j )
j=1

K:

|j |p < }.

j=1

Segue da desigualdade de Minkowski para series que p e um espaco vetorial, e

a funcao
1/p


xp =
|j |p
j=1

e uma norma em p . Provaremos que p e de fato um espaco de Banach. Seja

(xn )
uencia de Cauchy em p . Escrevamos xn = (nj )
n=1 uma seq
j=1 para cada
n. Ent
ao, dado  > 0, existe n0 tal que
1/p


(1)
xn xm  =
|nj mj |p

j=1

para todo n, m n0 . Em particular

|nj mj | xn xm  
e uma seq
uencia de Cauchy
para todo n, m n0 e todo j N. Logo (nj )
n=1
em K para cada j N. Seja j = limn nj para cada j N, e seja x = (j )
j=1 .
Provaremos que x p e que (xn )
converge
a
x.
De
fato,
segue
de
(1)
que
n=1
(2)

1/p

k


|nj mj |p

j=1

para todo n, m n0 e todo k N. Fazendo m em (2) segue que

1/p
k


|nj j |p

j=1

para todo n n0 e todo k N. Logo

1/p

|nj j |p

j=1

para todo n n0 . Assim xn x p e xn x  para todo n n0 . Segue

que x = (x xn ) + xn p e xn x 0.
3.4. Exemplo. Seja
 = {x = (j )
j=1 K : supj |j | < }.
f
E
acil vericar que  e um espaco vetorial, e a funcao
x = supj |j |
e uma norma em  . N
ao e difcil provar que  e um espaco de Banach.
3.5. Exemplo. Sejam
c0 = {x = (j )
j=1 K : (j ) converge a zero}
e

c = {x = (j )
e convergente}.
j=1 K : (j )

Nao e difcil provar que c0 e c sao subespacos fechados de  , e sao portanto

espacos de Banach.
Lembremos que um espaco metrico X e dito separ
avel se existir um subconjunto enumer
avel D X que e denso em X, ou seja D = X. N
ao e difcil
provar que o espaco Knp e separavel para 1 p .
3.5. Proposi
c
ao. p e separ
avel para cada 1 p < .
Demonstra
c
ao. Seja
c00 = {x = (j )
j=1 K : j = 0 para todo j
e seja

algum n}

D = {x = (j )
e racional}.
j=1 c00 : cada j

O conjunto D e claramente enumeravel. Provaremos que D e denso em p .

Sejam x = (j ) p e  > 0 dados. Como j=1 |j |p < , existe n N tal que

|j |p < p .

j=n+1

Seja
y = (1 , ..., n , 0, 0, 0, ...),
e seja
z = (1 , ..., n , 0, 0, 0, ...),
com 1 , ..., n racionais tais que
n


|j j |p < p .

j=1

Ent
ao y c00 , z D e
x zp x yp + y zp < 2.
Logo D e denso em p .
3.6. Proposi
c
ao.  n
ao e separ
avel.
Demonstra
c
ao. Seja (xn )
avel de  . Seja
n=1 um subconjunto enumer

xn = (nj )j=1 para cada n. Seja x = (j )j=1 denido por

j = jj + 1 se |jj | 1,
j = 0

se |jj | > 1.

Claramente x  , mas
x xj  |j jj | 1
para todo j. Logo {xj : j N} n
ao e denso em  .
Exerccios
3.A. Dados x Kn e 1 p q < , prove que:
(a) xq xp .
(b) x xp n1/p x .
(c) x = limp xp .
Em particular todas as normas .p , com 1 p , sao equivalentes entre
si em Kn .
3.B. Seja T : Kn1 Kn o operador identidade. Calcule T  e T 1 .
3.C. Se 1 p , prove que cada aplicacao linear T : Knp F e contnua.
ao e contnua.
3.D. Se 1 p q < , prove que p q , e a inclus

10

3.E. Se 1 p < , prove que p c0 , e a inclus

ao e contnua.
3.F. Prove que Knp e separavel para 1 p .
3.G. Prove que c0 e c sao separ
aveis.
3.H. Prove que c0 e c sao isomorfos entre si.

11

4. Desigualdades de H
older e Minkowski para integrais
Seja (X, , ) um espaco de medida, ou seja X e um conjunto n
ao vazio,
e uma -algebra de subconjuntos de X, e : [0, ] e uma medida. Se
1 p < , denotaremos por Lp (X,
o espaco vetorial de todas as funcoes
 , )
p
mensuraveis f : X K tais que X |f | d < . Escrevamos

f p =

1/p

|f | d

para cada f Lp (X, , ).

4.1. Teorema (desigualdade de H
older para integrais). Sejam 1 <
1
1
p, q < , com p + q = 1, e sejam f Lp (X, , ) e g Lq (X, , ). Ent
ao
f g L1 (X, , ) e



X

|f g|d

1/p 

|f | d

1/q

|g| d

Demonstra
c
ao. Sem perda de generalidade podemos supor que f p > 0
e gq > 0. Aplicando o Lema 2.1 com
a=
segue que

|f (x)|
|g(x)|
1
1
, b=
, = , = ,
f p
gq
p
q
|f (x)|p
|g(x)|q
|f (x)g(x)|

+
.
f p gq
pf pp
qgqq

Integrando segue que

|f g|d
1 1
+ = 1,
f p gq
p q
X

completando a demonstracao.
4.2. Corol
ario (desigualdade de Cauchy-Schwarz para integrais).
Sejam f, g L2 (X, , ). Ent
ao f g L1 (X, , ) e



X

|f g|d

1/2 

|f | d

|g| d

1/2
.

Dadas duas funcoes f, g : X R, as funcoes f g : X R e f g : X R

sao denidas por:
(f g)(x) = max{f (x), g(x)},
(f g)(x) = min{f (x), g(x)}.

12

4.3. Teorema (desigualdade de Minkowski para integrais). Seja

1 p < , e sejam f, g Lp (X, , ). Ent
ao f + g Lp (X, , ) e


1/p

|f + g| d



1/p

|f | d


+
X

1/p

|g| d

Demonstra
c
ao. A desigualdade e clara se p = 1. Logo vamos supor que
p > 1. Como
|f + g|p (|f | + |g|)p 2p (|f | |g|)p 2p (|f |p + |g|p ),
segue que f + g Lp (X, , ). Como
|f + g|p = |f + g||f + g|p1 |f ||f + g|p1 + |g||f + g|p1 ,
segue que


|f + g| d

p1

|f ||f + g|

|g||f + g|p1 d.

d +
X

Temos que |f + g|p1 Lq (X, , ), pois (p 1)q = p e f + g Lp (X, , ).

Usando a desigualdade de H
older, segue que


|f ||f + g|p1 d


X

|f |p d

1/p 
X

|f + g|p d

1/q
.

De maneira an
aloga


p1

|g||f + g|


d

1/p 

|g| d

1/q

|f + g| d

Logo

X



|f + g| d

Como 1

1
q

1/p



|f | d

+
X

1/p  

|g| d

|f + g| d

= p1 , segue que


X

1/p

|f + g| d



|f | d

completando a demonstracao.

13

1/p


+
X

|g| d

1/p
,

1/q
.

5. Espa
cos normados de fun
c
oes
5.1. Exemplo. Seja X um conjunto n
ao vazio, e seja B(X) o espaco
vetorial de todas as funcoes limitadas f : X K. N
ao e difcil provar que
B(X) e um espaco de Banach sob a norma
f  = sup{|f (x)| : x X}.
5.2. Exemplo. Seja X um espaco topol
ogico compacto, e seja C(X) o
espaco vetorial de todas as funcoes contnuas f : X K. N
ao e difcil vericar
que C(X) e um subespaco fechado de B(X), e e portanto um espaco de Banach.
5.3. Exemplo. Seja X um espaco topol
ogico arbitr
ario, e seja Cb (X) o
espaco vetorial de todas as funcoes contnuas e limitadas f : X K. N
ao e
difcil vericar que Cb (X) e um subespaco fechado de B(X), e e portanto um
espaco de Banach.
5.4. Exemplo. Seja (X, , ) um espaco de medida, e seja 1 p < .
Segue da desigualdade de Minkowski que Lp (X, , ) e um espaco vetorial, e a
funcao

1/p
p
f p =
|f | d
X

tem as seguintes propriedades:

(a) f p 0;
(b) f p = 0 se e so se f (x) = 0 quase sempre;
(c) f p = ||f p ;
(d) f + gp f p + gp .
Estas propriedades mostram que a funcao .p tem quase todas as propriedades de uma norma. S
o n
ao verica a propriedade (b) da denicao de
norma. Para obter uma norma, vamos introduzir uma relacao de equivalencia
em Lp (X, , ) da maneira seguinte. Dadas f, g Lp (X, , ), denimos f g
claro que esta e uma relacao de equivalencia
se f (x) = g(x) quase sempre. E
em Lp (X, , ). Seja Lp (X, , ) o conjunto das classes de equivalencia. Dadas
[f ], [g] Lp (X, , ) e K, denimos
[f ] + [g] = [f + g],

[f ] = [f ].

f
E
acil vericar que estas operacoes estao bem denidas, e que Lp (X, , ), com
estas operacoes, e um espaco vetorial. Alem disso, a aplicacao quociente
: f Lp (X, , ) [f ] Lp (X, , )
e linear. Se denimos
[f ]p = f p
14

para cada [f ] Lp (X, , ), e f

acil vericar que esta funcao esta bem denida,
e e uma norma em Lp (X, , ). Antes de provar que Lp (X, , ) e completo,
vamos precisar de um resultado auxiliar.

5.5. Deni
c
ao. (a) Uma se
rie
e dita convergente se a
n=1 xn em E
n
sequencia de somas parciais sn = j=1 xj e convergente em E.

(b) Uma serie 
e dita absolutamente convergente ou absolun=1 xn em E

tamente som
avel se n=1 xn  < .
5.6. Proposi
c
ao. Um espaco normado E e completo se e s
o se cada serie
absolutamente convergente em E e convergente.

Demonstra
c
ao. () Suponhamos E completo e
n=1 xn  < . Se
m < n, ent
ao
n
n


sn sm  = 
xj 
xj .
j=m+1

j=m+1

Segue que (sn ) e uma sequencia de Cauchy em E, e e portanto convergente.

() Suponhamos que cada serie absolutamente convergente em E seja convergente. Para provar que E e completo, seja (xn ) uma sequencia de Cauchy
em E. Ent
ao existe uma sequencia estritamente crescente (nj ) N tal que
xn xm  2j para todo n, m nj .
Em particular

Logo a serie

xnj+1 xnj 

j=1

j=1 (xnj+1

2j = 1.

j=1

xnj ) e convergente em E. Como

xn1 +

k


(xnj+1 xnj ) = xnk+1 ,

j=1

concluimos que a sequencia (xnk ) converge em E. Assim (xn ) e uma sequencia

de Cauchy em E, que admite uma subsequencia convergente. Segue que (xn ) e
convergente.
5.7. Teorema. Lp (X, , ) e um espaco de Banach sempre que 1 p < .
Demonstra
c
ao. Para provar que Lp (X, , ) e completo, seja
uma serie absolutamente convergente em Lp (X, , ), ou seja


n=1

[fn ] =


n=1

15

fn  < .

n=1 [fn ]

Seja g : X [0, ] denida por

g(x) =

|fn (x)| = lim

n


n=1

|fj (x)|.

j=1

Pelo teorema da convergencia monotona,



g p d = lim

p
n


|fj | .
j=1

Pela desigualdade de Minkowski,



1/p

g d
X

= lim 
n

n


|fj |p lim

j=1

n


fj p =

j=1

fj p < .

j=1

Assim g Lp (X, , ), e g(x) < quase sempre. Seja

N = {x X : g(x) = },
e seja f : X K denida por
f (x) =

fj (x) se x X \ N,

f (x) = 0 se x N.

j=1

claro que |f (x)| g(x) para todo x X. Como g Lp (X, , ), segue que
E
f Lp (X, , ). Como
|f (x)

n


fj (x)| 2g(x)

j=1

para todo x X e n N, o teorema da convergencia dominada garante que

lim |f

n

j=1

Logo
lim [f ]

fj |p d = 0.

n


[fj ]p = 0.

j=1

Os elementos do espaco Lp (X, , ) sao classes de equivalencia de funcoes.

Mas na pr
atica vamos considerar os elementos de Lp (X, , ) como funcoes,
mas lembrando de identicar duas funcoes que coincidem quase sempre.

16

5.8. Exemplo. Seja L (X, , ) o espaco vetorial de todas as funcoes

f : X K que sao limitadas quase sempre, ou seja, existe c > 0 tal que
|f (x)| c quase sempre. Para cada f L (X, , ), denimos
f  = inf{c > 0 : |f (x)| c quase sempre}.
f
E
acil vericar que
|f (x)| f  quase sempre.
f
E
acil vericar que a funcao . tem as seguintes propriedades:
(a) f  0;
(b) f  = 0 se e so se f (x) = 0 quase sempre;
(c) f  = ||f  ;
(d) f + g f  + g .
A funcao . verica quase todas as propriedades de uma norma. S
o
n
ao verica a propriedade (b) da denicao de norma. Para obter uma norma,
vamos introduzir uma relacao de equivalencia em L (X, , ), como no caso de
Lp (X, , ). Dadas f, g L (X, , ), denimos f g se f (x) = g(x) quase
sempre. Esta e uma relacao de equivalencia em L (X, , ). Seja L (X, , )
o conjunto das classes de equivalencia. Dadas [f ], [g] L (X, , ) e K,
denimos
[f ] + [g] = [f + g],
[f ] = [f ].
Estas operacoes estao bem denidas. Com estas operacoes L (X, , ) e um
espaco vetorial, e a aplicacao quociente
: f L (X, , ) [f ] L (X, , )
e linear. Se denimos
[f ] = f 
para cada [f ] L (X, , ), esta funcao esta bem denida, e e uma norma em
L (X, , ).
5.9. Proposi
c
ao. L (X, , ) e um espaco de Banach.
Demonstra
c
ao. Para provar que L (X, , ) e completo, seja ([fn ]) uma
f
sequencia de Cauchy em L (X, , ). E
acil achar N , com (N ) = 0, tal
que
|fn (x)| fn  para todo x X \ N, n N;
|fm (x) fn (x)| fm fn  para todo x E \ N, m, n N.
Isto prova que (fn ) e uma sequencia de Cauchy em B(X \ N ). Como B(X \ N )
e um espaco de Banach, segue que (fn ) converge uniformemente em X \ N .
Denamos
f (x) = lim fn (x) se x X \ N,
n

17

f (x) = 0 se x N.

Ent
ao f L (X, , ) e
[fn ] [f ] = fn f  0.
Os elementos do espaco L (X, , ) sao classes de equivalencia de funcoes.
Mas na pr
atica vamos considerar os elementos de L (X, , ) como funcoes,
mas lembrando de identicar as funcoes que coincidem quase sempre.
Exerccios
5.A. Seja (X, , ) um espaco de medida nita, e sejam 1 p q < .
(a) Prove que Lq (X, , ) Lp (X, , ), e a inclus
ao e contnua.
(b) Prove que L (X, , ) Lq (X, , ), e a inclusao e contnua.
Sugest
ao: Para provar (a), considere uma funcao f Lq (X, , ), e aplique
a desigualdade de H
older a`s funcoes
= |f |p L pq (X, , ),

q (X, , ).
= 1 L qp

5.B. Use o teorema de aproximacao de Weierstrass para provar que o espaco

C[a, b] e separavel.
5.C. Seja X um espaco topol
ogico. Diremos que uma funcao f C(X)
se anula no innito se para cada  > 0 existe um compacto K X tal que
|f (x)| <  para todo x X \ K. Seja C0 (X) o espaco vetorial de todas as
f C(X) que se anulam no innito. Prove que C0 (X) e um subespaco fechado
de Cb (X), e e portanto um espaco de Banach.
5.D. Use o teorema de aproximacao de Weierstrass para provar que o espaco
C0 (R) e separavel.
5.E. Use o fato que C[a, b] e um subespaco denso de Lp [a, b], para provar
que Lp [a, b] e separavel sempre que 1 p < .
5.F. Seja U um aberto de C, e seja H (U ) o espaco vetorial de todas as
funcoes f : U C que sao holomorfas e limitadas. Prove que H (U ) e um
subespaco fechado de Cb (U ), e e portanto um espaco de Banach.
5.G. Dada uma funcao f : [a, b] K, a variac
ao total de f e denida por
V (f ) = sup

n


|f (bj ) f (aj )|,

j=1

onde o supremo e tomado sobre todos os aj , bj tais que

a a1 b1 a2 b2 ... an bn b.
Diremos que f tem variac
ao limitada se V (f ) < . Se f for crescente, ou
decrescente, prove que f tem variacao limitada.
18

5.H. Seja BV [a, b] o espaco vetorial de todas as funcoes f : [a, b] K de

variacao limitada. Prove que BV [a, b] e um espaco de Banach sob a norma
f  = V (f ) + |f (a)|.

19

6. Espa
cos normados de dimens
ao nita
6.1. Teorema. Todos os espacos normados de dimens
ao n sobre K s
ao
topologicamente isomorfos entre si.
Demonstra
c
ao. Seja E um espaco normado de dimensao n sobre K.
Provaremos que E e topologicamente isomorfo a Kn2 .
Seja (e1 , ..., en ) uma base de E. Seja T : Kn2 E denida por
Tx =

n


j ej para todo x = (1 , ..., n ) Kn2 .

j=1

claro que T e bijetiva. Segue da desigualdade de Cauchy-Schwarz que

E
1/2

n
n


T x
|j |ej 
ej 2 x,
j=1

j=1

e portanto T e contnua. Para provar que T 1 e contnuo, consideremos a esfera

unit
aria S de Kn2 :
S = {x = (1 , ..., n ) Kn2 :

n


|j |2 = 1}.

j=1

Pelo teorema de Bolzano-Weierstrass, S e um subconjunto compacto de Kn2 . E

claro que T x > 0 para todo x S. Logo existe c > 0 tal que T x c para
todo x S, e portanto
T x cx para todo x Kn2 .
ogico.
Logo T : Kn2 E e um isomorsmo topol
6.2. Corol
ario. Cada espaco normado de dimens
ao nita e completo.
6.3. Corol
ario. Cada subespaco de dimens
ao nita de um espaco normado
e fechado.
6.4. Corol
ario. Cada espaco normado de dimens
ao nita e localmente
compacto.
O recproco deste corolario e verdadeiro.
6.5. Teorema de Riesz. Cada espaco normado localmente compacto tem
dimens
ao nita.
Para provar este teorema precisamos do lema seguinte.
6.6. Lema de Riesz. Seja E um espaco normado, e seja M um subespaco
fechado pr
oprio de E. Dado , com 0 < < 1, existe y SE tal que
y x para todo x M.
20

Demonstra
c
ao. Seja y0 E \ M , e seja
d = d(y0 , M ) = inf{y0 x : x M }.
Como M e fechado, d > 0. Seja x0 M tal que
y0 x0 
Seja
y=

d
.

y0 x0
.
y0 x0 

claro que y SE . Para cada x M temos:

E
y x =

y0 x0 y0 x0 x

d

.
y0 x0 
y0 x0 

Demonstra
c
ao do teorema de Riesz. Seja E um espaco normado de
dimensao innita, seja x1 SE , e seja M1 = [x1 ], o subespaco de E gerado por
x1 . Pelo lema de Riesz existe x2 SE tal que
x2 x 1/2 para todo x M1 .
Em particular
x2 x1  1/2.
Seja M2 = [x1 , x2 ], o subespaco de E gerado por x1 e x2 . Pelo lema de Riesz
existe x3 SE tal que
x3 x 1/2 para todo x M2 .
Em particular
x3 xj  1/2 para j = 1, 2.
Procedendo por inducao podemos achar uma sequencia (xn ) SE tal que
xm xn  1/2 sempre que m = n.
Logo a sequencia (xn ) n
ao admite nenhuma subseq
uencia convergente. Logo
a esfera SE n
ao e compacta. Logo a bola B E n
ao e compacta. Logo a bola
B E (0; r) n
ao e compacta para nenhum r > 0. Logo E n
ao e localmente compacto.
6.7. Exemplo. A conclusao do lema de Riesz nao e verdadeira com = 1,
como mostra o exemplo seguinte. Sejam
E = {f C[0, 1] : f (0) = 0},
 1
M = {f E :
f (t)dt = 0}.
0

21

Suponhamos que exista g SE tal que g f  1 para todo f M . Dado

h E \ M , seja
1
g(t)dt
=  01
.
h(t)dt
0
Segue que g h M , e portanto
1 g (g h) = ||h,
ou seja
|

1

g(t)dt|
1  01
h.
| 0 h(t)dt|
ao hn E \M , hn  = 1
Consideremos a sequencia de funcoes hn (t) = t1/n . Ent
e
 1
1
hn (t)dt = 1
1.
0
n +1
Segue que


1|

g(t)dt|.
0

1
Mas como g = 1 e g(0) = 0, a continuidade de g em 0 implica que | 0 g(t)dt| <
1, contradicao. Logo n
ao existe g SE tal que g f  1 para todo f M .
Exerccios
6.A. Seja E um espaco normado de dimensao nita, e seja M um subespaco
pr
oprio de E. Prove que existe y SE tal que y x 1 para todo x M .

22

7. Completamento de espa
cos normados
7.1. Proposi
c
ao. Sejam E e F espacos normados, seja M um subespaco
denso de E, e seja T L(M ; F ). Ent
ao existe um u
nico T L(E; F ) tal que
T|M = T . Tem-se que T = T .
Demonstra
c
ao. Dado x E, seja (xn ) uma sequencia em M que converge
a x. Como
T xm T xn  T xm xn ,
e F e completo, segue que a sequencia (T xn ) converge em F . Se denimos
Tx = lim T xn ,
n

e facil ver que Tx esta bem denido, ou seja, depende apenas de x, e n

ao da

sequencia (xn ) escolhida. Alem disso, T : E F e linear e T x = T x para todo

f
x M. E
acil vericar que T = T . A unicidade de T segue da densidade
de M em E.
7.2. Teorema. Dado um espaco normado E, sempre existe um espaco de
Banach F tal que E e isometricamente isomorfo a um subespaco denso F0 de
F . O espaco F e u
nico, a menos de um isomorsmo isometrico.
Demonstra
c
ao. Seja C o espaco vetorial de todas as sequencias de Cauchy
X = (xn ) em E. Como
|xm  xn | xm xn  para todo m, n,
segue que (xn ) e uma sequencia de Cauchy em R para cada X = (xn ) C.
f
E
acil ver que a funcao
X = lim xn 
n

tem as propriedades seguintes:

(a) X 0;
(b) X = 0 se e so se limn xn  = 0;
(c) X = ||X;
(d) X + Y  X|| + Y .
A funcao X C X R tem quase todas as propriedaes de uma norma.
Para obter uma norma, vamos introduzir uma relacao de equivalencia em C da
maneira seguinte. Dadas X = (xn ) e Y = (yn ) em C, denimos
X Y se

lim xn yn || = 0.

Seja F o conjunto das classes de equivalencia. Se denimos

[X] + [Y ] = [X + Y ],
23

[X] = [X],

ent
ao e facil vericar que estas operacoes estao bem denidas, e que F , com
estas operacoes, e um espaco vetorial. Alem disso a aplicacao quociente
: X C [X] F
f
e linear. E
acil ver que a funcao [X] = X esta bem denida, e e uma
norma em F . Seja
F0 = {[X] F : X = (x, x, x, ...), com x E}.
claro que F0 e um subespaco de F , e que E e isometricamente isomorfo a F0 .
E
Para provar que F0 e denso em F , sejam [X] F e  > 0 dados. Se X = (xn ),
ent
ao existe n0 N tal que
xm xn  <  para todo m, n n0 .
Seja Y = (xn0 , xn0 , xn0 , ...). Ent
ao [Y ] F0 e
[X] [Y ] = X Y  = lim xn xn0  .
n

Para provar que F e completo, seja ([Xn ]) uma sequencia de Cauchy em F .

Como F0 e denso em F , para cada n existe [Yn ] F0 tal que
[Xn ] [Yn ] < 1/n.
Podemos supor que Yn = (yn , yn , yn , ...), com yn E, para cada n. Como
ym yn  = [Ym ] [Yn ]
[Ym ] [Xm ] + [Xm ] [Xn ] + [Xn ] [Yn ]
1
1
+ [Xm ] [Xn ] + ,
m
n
segue que Y = (yn ) e uma sequencia de Cauchy em E. Como

[Xn ] [Y ] [Xn ] [Yn ] + [Yn ] [Y ]

1
+ lim yn ym ,
n m

segue que limn [Xn ] [Y ] = 0.

Para provar a unicidade de F , a menos de um isomorsmo isometrico, seja
G um outro espaco de Banach tal que E e isometricamente isomorfo a um
subespaco denso G0 de G. Sejam S L(E; F0 ) e T L(T ; G0 ) isomorsmos
isometricos. Ent
ao U = T S 1 L(F0 ; G0 ) e V = S T 1 L(G0 ; F0 )
sao tambem isomorsmos isometricos, V U = IF0 , e U V = IG0 . Pela
L(F ; G) tal que U
|F0 = U , e existe V L(G; F ) tal
Proposicao 7.1 existe U
= IF e U
V = IG . Alem disso U
e V sao
que V |G0 = V . Segue que V U
isomorsmos isometricos.

24

Exerccios
7.A. Seja P (R) o espaco vetorial de todos os polin
omios P (x) =
com aj K e n N.
n
(a) Prove que P  = j=0 |aj | e uma norma em P (R).

n
j=0

aj xj ,

(b) Prove que P (R), com esta norma, nao e completo.

(c) Prove que o completamento de P (R), com esta norma, e isometricamente
isomorfo a 1 .
7.B. (a) Fixados a < b em R, prove que P  = sup{|P (x)| : a x b} e
uma norma em P (R).
(b) Prove que P (R), com esta norma, nao e completo.
(c) Prove que o completamento de P (R), com esta norma, e isometricamente
isomorfo a C[a, b].

25

8. Espa
co quociente
Seja E um espaco vetorial, e seja M um subespaco de E. Diremos que x, y
E sao equivalentes m
odulo M , e escreveremos x = y(mod(M ), se x y M .
claro que esta e uma relacao de equivalencia em E. Denotaremos por E/M
E
o conjunto de todas as classes de equivalencia modulo M . Para cada x E,
denotaremos por [x] a classe de equivalencia que contem x. Denamos
[x] + [y] = [x + y],

[x] = [x]

f
para todo [x], [y] E/M e K. E
acil vericar que estas operacoes estao
bem denidas, e que E/M , com estas operacoes, e um espaco vetorial. Alem
disso, a aplicacao quociente
: x E [x] E/M
e linear. O espaco vetorial E/M e chamado de espaco quociente de E m
odulo
M.
8.1. Exemplo. Seja (X, , ) um espaco de medida, e sejam
E = Lp (X, , ) (1 p ),
M = {f Lp (X, , ) : f (x) = 0 quase sempre}.
Neste caso o espaco quociente Lp (X, , )/M coincide com o espaco Lp (X, , )
introduzido na secao 5.
8.2. Exemplo. Seja E um espaco normado, e sejam
C = {(xn ) E : (xn ) e sequencia de Cauchy},
M = {(xn ) E : (xn ) converge a zero}.
Neste caso o espaco quociente C/M coincide com o espaco F introduzido na
secao 7.
8.3. Teorema. Seja M um subespaco fechado de E, e seja
X = inf{x : x X}
para cada X E/M . Ent
ao:
(a) [x] = x + M e [x] = d(x, M ) para cada x E.
(b) A func
ao X X e uma norma em E/M .
(c) (BE ) = BE/M . Em particular : E E/M e contnua e aberta.
(d) Se E e completo, ent
ao E/M e completo tambem.
claro que
Demonstra
c
ao. (a) E
[x] = x + M para cada x E.
26

Como a aplicacao t E x + t E e um homeomorsmo, e M e fechado em

E, segue que [x] = x + M e fechado em E para cada x E. Alem disso
[x] = inf{x + t : t M } = d(x, M ) para cada x E.
claro que X 0 para cada X E/M . Se [x] = 0, ent
(b) E
ao segue
de (a) que x M , e portanto x + M = M = [0]. Se = 0, ent
ao e claro que
X = ||X para todo X E/M . Se = 0, ent
ao
X = inf{y : y X} = inf{x : x X}
= || inf{x : x X} = ||X.
Dados X, Y E/M e  > 0, existem x X e y Y tais que
x < X + ,

y < Y  + .

Ent
ao x + y X + Y e
X + Y  x + y x + y X + Y  + 2.
Como  > 0 e arbitr
ario, segue que
X + Y  X + Y .
(c) e consequencia imediata da denicao da norma em E/M .
(d) Finalmente provaremos que E/M e completo quando E e completo. Seja
erie absolutamente convergente em E/M . Para cada n existe
n=1 Xn uma s
xn Xn tal que
xn  < Xn  + 2n ,
e portanto

xn  <

n=1

Xn  +

n=1

2n < .

n=1

Assim a serie n=1 xn e absolutamente convergente, e portanto convergente,

pois E e completo. Sejam
sn =

n

j=1

xj ,

s = lim sn =
n


j=1

xj ,

Sn =

n


Xj .

j=1

Ent
ao e claro que sn Sn para cada n. Como a aplicac
ao quociente : E

E/M e contnua, segue que Sn = [sn ] [s]. Logo a serie j=1 Xj e convergente
em E/M .
Exerccios
8.A. Seja E um espaco normado, seja M um subespaco fechado de E, e seja
: E E/M a aplicacao quociente.
27

(a) Se Xn 0 em E/M , prove que existe (xn ) E tal que (xn ) = Xn

para cada n, e xn 0 em E.
(b) Se x E e Xn (x) em E/M , prove que existe (xn ) E tal que
(xn ) = Xn para cada n, e xn x em E.
8.B. Seja X um espaco de Hausdor compacto, e seja A um subconjunto
fechado de X. Usando o teorema de extensao de Tietze prove que C(A) e
isometricamente isomorfo a um quociente de C(X).
8.C. Usando o exerccio anterior prove que c e isometricamente isomorfo a
um quociente de C[a, b].

28

9. Espa
cos com produto interno
9.1. Deni
c
ao. Se E e um espaco vetorial, ent
ao uma funcao (x, y)
E E (x|y) K e chamado de produto interno se verica as seguintes
propriedades:
(a) (x1 + x2 |y) = (x1 |y) + (x2 |y);
(b) (x|y) = (x|y);
(c) (x|y) = (y|x);
(d) (x|x) 0;
(e) (x|x) = 0 se e so se x = 0.
9.2. Observa
c
ao. De (a), (b) e (c) segue que:
(a) (x|y1 + y2 ) = (x|y1 ) + (x|y2 );
(b) (x|y) = (x|y).
Assim o produto interno e linear na primeira vari
avel, e linear conjugado na
segunda vari
avel.
9.3. Proposi
c
ao (desigualdade de Cauchy-Schwarz). Seja E e um
espaco com produto interno. Ent
ao
|(x|y)| xy
para todo x, y E.
Demonstra
c
ao. A desigualdade e clara se x = 0 ou y = 0. Logo podemos
supor x = 0 e y = 0. Para todo K temos que
0 (x + y|x + y) = (x|x) + (x|y) + (y|x) + (y|y)
= ||2 (x|x) + 2Re{(x|y)} + (y|y).
Escrevamos (x|y) = |(x|y)|ei . Tomando = tei , com t R, segue que
0 t2 (x|x) + 2t|(x|y)| + (y|y)
para todo t R. Segue que = b2 4ac 0, ou seja
4|(x|y)|2 4(x|x)(y|y) 0,
completando a demonstracao.
9.4. Corol
ario. Seja E um espaco com produto interno. Ent
ao a func
ao
x = (x|x)1/2
e uma norma em E.
29

Demonstra
c
ao. Usando a desigualdade de Cauchy-Schwarz provaremos a
desigualdade triangular. As outras propriedades da norma s
ao de vericacao
imediata.
x + y2 = (x + y|x + y) = (x|x) + (x|y) + (y|x) + (y|y)
= x2 + 2Re(x|y) + y2 x2 + 2xy + y2 = (x + y)2 .

9.5. Deni
c
ao. Chamaremos de espaco de Hilbert a todo espaco com
produto interno que seja completo na norma denida pelo produto interno.
9.6. Exemplo. Kn2 e um espaco de Hilbert com o produto interno
(x|y) =

n


j j

j=1

se x = (1 , ..., n ) e y = (1 , ..., n ).
9.7. Exemplo. 2 e um espaco de Hilbert com o produto interno
(x|y) =

j j

j=1

se x = (j ) e y = (j ).
9.8. Exemplo. L2 (X, , ) e um espaco de Hilbert com o produto interno

(f |g) =
f gd.
X

9.9. Deni
c
ao. Seja E um espaco com produto interno. Diremos que
x, y E sao ortogonais, e escreveremos xy, se (x|y) = 0.
9.10. Proposi
c
ao (Teorema de Pit
agoras). Seja E um espaco com
produto interno, e sejam x, y E, com xy. Ent
ao
x + y2 = x2 + y2 .
Demonstra
c
ao.
x + y2 = (x + y|x + y) = (x|x) + (x|y) + (y|x) + (y|y) = x2 + y2 .
9.11. Proposi
c
ao (Lei do paralelogramo). Seja E um espaco com
produto interno, e sejam x, y E dois vetores arbitr
arios. Ent
ao:
x + y2 + x y2 = 2x2 + 2y2 .

30

Demonstra
c
ao. Temos que
x + y2 = (x + y|x + y) = (x|x) + (x|y) + (y|x) + (y|y),
x y2 = (x y|x y) = (x|x) (x|y) (y|x) + (y|y).
Somando estas identidades obtemos a identidade desejada.
Exerccios
9.A. Seja E um espaco com produto interno. Se xn x e yn y em E,
prove que (xn |yn ) (x|y) em K. Ou seja a aplicacao (x, y) E E (x|y)
K e contnua.
9.B. Seja E um espaco com produto interno. Sejam x1 , ..., xn vetores nao
nulos, ortogonais entre si, ou seja xj xk sempre que j = k.
(a) Prove que os vetores x1 , ..., xn sao linearmente independentes.
n
n
(b) Prove o teorema de Pit
agoras generalizado:  j=1 xj 2 = j=1 xj 2 .
9.C. Seja E e um espaco com produto interno real. Prove a f
ormula de
polarizaca
o
4(x|y) = x + y2 x y2
para todo x, y E.
9.D. Seja E um espaco normado real que verica a lei do paralelogramo.
Prove que a f
ormula de polarizacao do exerccio anterior dene um produto
interno em E que induz a norma original.
Sugest
ao: Para provar a identidade (x1 + x2 |y) = (x1 |y) + (x2 |y), estude as
expressoes
u + v + w2 + u + v w2

u v + w2 + u v + w2 .

9.E. Seja E um espaco com produto interno complexo. Prove a f

ormula de
polarizaca
o
4(x|y) = (x + y2 x y2 ) + i(x + iy2 x iy2 )
para todo x, y E.
9.F. Seja E um espaco normado complexo que verica a lei do paralelogramo. Prove que a f
ormula de polarizacao do exerccio anterior dene um
produto interno em E que induz a norma original.

31

10. Proje
c
oes ortogonais
10.1. Teorema. Seja E um espaco de Hilbert, e seja M um subespaco
fechado de E. Ent
ao para cada x E existe um u
nico p M tal que
x p = d(x, M ) = inf{x y : y M }.
Demonstra
c
ao. Para provar existencia, seja d = d(x, M ), e seja (pn ) M
tal que
1
(1)
x pn  < d +
para cada n.
n
Pela lei do paralelogramo
2x pm 2 + 2x pn 2 = 2x pm pn 2 + pn pm 2 .
Segue que
pn pm 2 = 2x pm 2 + 2x pn 2 4x

pm + pn 2

2

1 2
1
4d
4d
2
2
) + 2(d + )2 4d2 <
+ 2+
+ 2.
m
n
m
m
n
n
Logo (pn ) e uma sequencia de Cauchy em E. Como E e completo, e M e fechado
em E, concluimos que (pn ) converge a um ponto p M . Fazendo n em
(1) obtemos que x p d, e portanto x p = d, como queriamos.
Para provar unicidade, seja q M tal que x q = d tambem. Pela lei do
paralelogramo
< 2(d +

2x p2 + 2x q2 = 2x p q2 + q p2 .

Segue que
q p2 = 2x p2 + 2x q2 4x

p+q 2

2

2d2 + 2d2 4d2 = 0,

e portanto q = p.
10.2. Observa
c
ao. A conclusao do teorema permanece verdadeira se E e
um espaco com produto interno, e M e um subconjunto convexo completo de
E.
Dado qualquer subconjunto S de um espaco com produto interno E, S
denotar
a o conjunto
S = {y E : yx para todo x S}.
f
E
acil vericar que S e sempre um subespaco fechado de E.
32

10.3. Teorema. Seja E um espaco de Hilbert, e seja M um subespaco

fechado de E. Ent
ao:
(a) Cada x E admite uma u
nica decomposic
ao da forma
x = p + q, com p M e q M .
Tem-se que

x p = d(x, M ) e x q = d(x, M ).

(b) Se denimos P x = p e Qx = q para cada x E, ent

ao P, Q L(E; E),
2
P = P , Q = Q e Q P = P Q = 0.
2

Demonstra
c
ao. (a) Dado x E, seja p o u
nico elemento de M tal que
x p = d(x, M ), e seja q = x p. Provaremos que q M e que x q =
d(x, M ).
Para provar que q M , seja y M . Para cada K temos que
q = x p x p y = q y.
Segue que

q2 q y2 = (q y|q y)

= (q|q) (y|q) (q|y) + (y|y)
= q2 2Re{(y|q)} + ||2 y2 .

Escrevamos (y|q) = |(y|q)|ei . Ent

ao, fazendo = tei , com t R, segue que
2t|(y|q)| t2 y2 para todo t R.
Logo

2|(y|q)| ty2 para todo t > 0.

Fazendo t 0, segue que (y|q)| = 0, e portanto q M .

Para provar que x q = d(x, M ), tomemos z M . Como x = p + q,
segue que
x z = p + (q z), com p M, q z M .
Pelo teorema de Pit
goras
x z2 = p2 + q z2 p2 = x q2 .
Segue que

d(x, M ) = inf{x z : z M } = x q.

Para provar a unicidade da decomposicao, suponhamos que

x = p1 + q1 , com p1 M, q1 M .
Como x = p + q, segue que
p p1 = q 1 q M M .
33

Mas h M M implica que (h|h) = 0, e portanto h = 0. Segue que p = p1 e

q = q1 .
(b) Segue da unicidade da decomposicao em (a) que as aplicacoes P : E E
e Q : E E sao lineares. Para cada x E temos que
(2)

x = P x + Qx, com P x M, Qx M .

Pelo teorema de Pit

agoras
x2 = P x2 + Qx2
para todo x E. Segue que P  1 e Q 1.
Escrevamos
P x = P x + 0 M + M .
Segue da unicidade da decomposicao em (2) que
P (P x) = P x,

Q(P x) = 0.

De maneira an
aloga, escrevendo
Qx = 0 + Qx M + M ,
segue que
P (Qx) = 0,

Q(Qx) = Qx,

completando a demonstracao.
10.4. Observa
c
ao. As conclusoes do teorema permanecem verdadeiras se
E e um espaco com produto interno, e M e um subespaco completo de E.
Seja E um espaco com produto interno, e seja y0 E. Se denimos : E
K por
(x) = (x|y0 ) para todo x E,
ent
ao e f
acil vericar que e linear. Alem disso, pela desigualdade de CauchySchwarz,
|(x)| = |(x|y0 )| xy0 ,
provando que e contnuo e que  y0 . De fato, como
(y0 ) = (y0 |y0 ) = y0 2 ,
oximo teorema mostra que, quando E e um espaco
segue que  = y0 . O pr
de Hilbert, ent
ao todos os funcionais lineares contnuos em E sao desta forma.
10.5. Teorema de representa
c
ao de Riesz. Seja E um espaco de
Hilbert, e seja E  . Ent
ao existe um u
nico y0 E tal que
(3)

(x) = (x|y0 ) para todo x E.

34

Demonstra
c
ao. Primeiro provaremos existencia. Se = 0, basta tomar
y0 = 0. Se = 0, seja
M = 1 (0) = {x E : (x) = 0}.
Ent
ao M e um subespaco fechado pr
oprio de E, e dai M = {0}. Como
M = {0} e M M = {0}, existe x0 M tal que (x0 ) = 1. Ent
ao cada
x E admite uma decomposicao da forma
(4)

x = (x (x)x0 ) + (x)x0 , com x (x)x0 M, (x)x0 M .

Da unicidade desta decomposicao segue que dimM = 1.

Procuramos y0 E que verique (3). Escrevamos y0 = p0 + q0 , com p0 M
e q0 M . Em particular devemos ter
0 = (p0 ) = (p0 |y0 ) = (p0 |p0 ) + (p0 |q0 ) = (p0 |p0 ).
Logo p0 = 0, e portanto y0 = q0 M . Escrevamos y0 = x0 , onde sera
escolhido de maneira que
(x0 ) = (x0 |y0 ),
ou seja

1 = (x0 ) = (x0 |x0 ) = x0 2 .

Assim basta tomar = x0 2 . Da decomposicao (4) segue que

(x|y0 ) = (x)(x0 |y0 ) = (x)(x0 ) = (x),
e y0 verica (3).
Para provar unicidade, suponhamos que exista y1 E tal que
(5)

(x) = (x|y1 ) para todo x E.

De (3) e (5) segue que (x|y0 y1 ) = 0 para todo x E. Em particular

(y0 y1 |y0 y1 ) = 0 e y0 = y1 .
Exerccios
10.A. Seja E um espaco de Hilbert, e sejam M e N dois subespacos fechados
de E tais que xy sempre que x M e y N . Seja
M + N = {x + y : x M, y N }.
Prove que M + N e um subespaco fechado de E.
10.B. Seja E um espaco de Hilbert. Seja M um subespaco fechado de E,
e seja P a projecao ortogonal de E sobre M . Prove que (P x|y) = (x|P y) para
todo x, y E.

35

10.C. Seja E um espaco de Hilbert, e seja P L(E; E) tal que P 2 = P e

(P x|y) = (x|P y) para todo x, y E.
(a) Prove que P (E) e um subespaco fechado de E.
(b) Prove que P e a projecao ortogonal de E sobre P (E).
10.D. Seja E um espaco de Hilbert. Seja M0 um subespaco fechado de E,
e seja 0 M0 . Prove que existe E  tal que:
(a) (x) = 0 (x) para todo x M0 ;
(b)  = 0 .

36

11. O teorema de Hahn-Banach

O teorema seguinte generaliza o Exerccio 10.D.
11.1. Teorema de Hahn-Banach. Seja E um espaco normado, e seja
M0 um subespaco de E. Ent
ao, para cada 0 M0 , existe E  tal que:
(a) (x) = 0 (x) para todo x M0 ;
(b)  = 0 .
Para provar este teorema, vamos utilizar o lemma seguinte.
11.2. Lema. Seja E um espaco normado real, seja M um subespaco pr
oprio

de E, seja y0 E \ M , e seja N = M [y0 ]. Ent
ao, para cada M , existe
N  tal que:
(a) (x) = (x) para todo x M ;
(b)  = .
Demonstra
c
ao. Temos que
|(x)| x para todo x M,
ou seja
(1)

x (x) x para todo x M.

Como y0  M , cada z N pode ser escrito de maneira u

nica na forma
z = x + y0 com x M, R.
Vamos denir : N R por
(z) = (x) + 0 ,
umero real independente de z, que ser
a escolhido depois.
onde 0 e um n

E claro que e linear e verica (a). Para provar (b), basta provar que
|(z)| z para todo z N,
ou seja
x + y0  (x) + 0 x + y0  para todo x M, R,
ou ainda
(2)

(x)x+y0  0 (x)+x+y0  para todo x M, R.

Fazendo = 1 em (2) obtemos

(3)

(x) x + y0  0 (x) + x + y0  para todo x M,

e portanto (2) implica (3). Vamos provar que de fato (2) e (3) s
ao equivalentes.
De fato, se = 0, ent
ao (2) segue de (1). Se > 0, ent
ao, aplicando (3) com
37

x/ em lugar de x, e multiplicando por , obtemos (2). Finalmente, se < 0,

ent
ao, aplicando (3) com x/ em lugar de x, e multiplicando por , obtemos
(2).
Armamos que
(4)

sup ((x) x + y0 ) inf ((x) + x + y0 ).

xM

xM

Para provar (4) basta provar que

(5) (x1 ) x1 + y0  (x2 ) + x2 + y0  para todo x1 , x2 M.
De fato
(x2 ) (x1 ) = (x2 x1 ) x2 x1 
(x2 + y0 ) (x1 + y0  x2 + y0  + x1 + y0 ,
e (5) segue. Seja 0 R tal que
sup ((x) x + y0 ) 0 inf ((x) + x + y0 ).
xM

xM

Com esta escolha de 0 , (3) e portanto (2) s

ao vericadas. Logo verica (b).
Demonstra
c
ao do teorema de Hahn-Banach para espa
cos normados reais. Seja P a famlia de todos os pares (M, ) tais que:
(i) M e um subespaco de E contendo M0 ;
(ii) M  , |M0 = 0 ,  = 0 .
Dados (M1 , 1 ), (M2 , 2 ) P, denimos
(M1 , 1 ) (M2 , 2 ) se M1 M2 e 1 = 2 |M1 .
f
E
acil ver que esta e uma relacao de ordem parcial em P.
Seja {(Mi , i ) : i I} uma cadeia em P. Seja M = iI Mi , e seja : M
f
R denido por (x) = i (x) se x Mi . E
acil ver que esta bem denido,
que (M, ) P e que (M, ) e uma cota superior da cadeia {(Mi , i ) : i I}.
Pelo lema de Zorn P possui um elemento maximal (M, ). Para completar
a demonstracao basta provar que M = E. Suponhamos que M = E, seja
y0 E \ M , e seja N = M [y0 ]. Pelo Lema 11.2 existe N  tal que
|M = e  = . Ent
ao (N, ) P e (M, ) n
ao seria maximal. Isto
prova que M = E, como queriamos.
Para provar o teorema de Hahn-Banach no caso de espacos normados complexos, vamos utilizar o lema seguinte.
11.3. Lema. Seja E um espaco vetorial complexo, e seja ER o espaco
vetorial real associado.
(a) Cada E admite uma u
nica representac
ao da forma
(6)

(x) = u(x) iu(ix) para todo x E,

38

com u (ER ) .
(b) Dado u (ER ) , a f
ormula (6) dene um E .
Demonstra
c
ao. (a) Seja E . Para cada x E, podemos escrever de
maneira u
nica
(x) = u(x) + iv(x),
com u(x), v(x) R. Como (ER ) , e f
acil vericar que u, v (ER ) .
Notemos que
i(x) = (ix) = u(ix) + iv(ix),
e portanto
(x) = iu(ix) + v(ix).
Segue que
u(x) = v(ix),

v(x) = u(ix),

e portanto
(x) = u(x) iu(ix).
(b) Seja u (ER ) , e seja : E C denida por (6). Como u (ER ) , e
f
acil vericar que
(x + y) = (x) + (y)
e
(7)

(x) = (x) para todo x, y E, R.

Por outro lado

(8)

(ix) = u(ix) + iu(x) = i(x) para todo x E.

De (7) e (8) segue que

(x) = (x) para todo x E, C.
Logo E .
Demonstra
c
ao do teorema de Hahn-Banach para espa
cos norma
dos complexos. Seja 0 M0 . Pelo lema anterior podemos escrever
0 (x) = u0 (x) iu0 (ix) para todo x M0 ,
com u0 ((M0 )R ) . Como
|u0 (x)| |0 (x)| 0 x para todo x M0 ,
segue que u0  0 . Pelo teorema de Hahn-Banach para espacos normados
reais, existe u (ER ) tal que
(a) u(x) = u0 (x) para todo x M0 ;
(b) u = u0 .
Denamos : E C por
(x) = u(x) iu(ix) para todo x E.
39

Pelo lema anterior E , e segue de (a) que

(c) (x) = 0 (x) para todo x M0 .
Para provar que  = 0 , xemos x E e escrevamos
(x) = rei , com r 0.
Ent
ao
e portanto
Logo

(ei x) = ei (x) = r R,
(ei x) = u(ei x).
|(ei x)| = |u(ei x)| uei x.

Segue que
|(x)| ux = u0 x 0 x,
e portanto  0 . Como a desigualdade oposta segue de (c), a demonstracao esta completa.
Exerccios
11.A. Seja E um espaco normado, seja M0 um subespaco de E, e seja
T0 L(M0 ;  ). Prove que existe T L(E;  ) tal que:
(a) T x = T0 x para todo x M0 ;
(b) T  = T0 .

40

12. Consequ
encias do teorema de Hahn-Banach
12.1. Proposi
c
ao. Dado x0 E, x0 = 0, sempre existe E  tal que
 = 1 e (x0 ) = x0 .
Demonstra
c
ao. Seja M0 = [x0 ] o subespaco de E gerado por x0 , e seja
f
0 M0 denido por 0 (x0 ) = x0  para todo K. E
acil ver que
0 e linear e que 0  = 1. Pelo teorema de Hahn-Banach existe E  tal
que  = 0  e (x) = 0 (x) para todo x M0 . Segue que  = 1 e
(x0 ) = x0 .
12.2. Corol
ario. Se E = {0}, ent
ao E  = {0}.
12.3. Corol
ario. Se E = {0}, ent
ao para cada x E tem-se que:
x = sup{|(x)| : E  ,  = 1}.

12.4. Proposi
c
ao. Seja M um subespaco fechado de E, seja y0 E \ M ,
e seja d = d(y0 , M ). Ent
ao existe E  tal que  = 1, (y0 ) = d e (x) = 0
para todo x M .
Primeira demonstra
c
ao. Seja N = M + [y0 ]. Ent
ao cada z N pode ser
escrito de maneira u
nica como
z = x + y0 , com x M, K.
Seja 0 N  denido por
0 (x + y0 ) = d para todox M, K.
claro que 0 e linear, 0 (x0 ) = d e 0 (x) = 0 para todo x M . Provaremos
E
que 0  = 1. Se = 0, ent
ao
x + y0  = ||

x
+ y0  ||d.

Como a desigualdade anterior e claramente verdadeira se = 0, segue que

0  1. Por outro lado, dado  > 0, existe x0 M tal que y0 x0  < d + .
Seja
y0 x0
z0 =
.
y0 x0 
Ent
ao z0 N , z0  = 1 e
0 (z0 ) =

d
d
>
.
y0 x0 
d+

Como  > 0 e arbitr

ario, segue que 0  = 1, como queriamos. Pelo teorema
de Hahn-Banach existe E  tal que  = 0  e (z) = 0 (z) para todo
z N . Segue que  = 1, (y0 ) = d e (x) = 0 para todo x M .
41

Segunda demonstra
c
ao. Seja E/M o espaco quociente, e seja : E
E/M a aplicacao quociente. Como y0
/ M , segue que (y0 ) = 0. Pela
Proposicao 12.1 existe (E/M ) tal que  = 1 e ((y0 )) = (y0 ).
Sabemos que
(y0 ) = d(y0 , M ) = d e (BE ) = BE/M .
claro que E  , (y0 ) = d e (x) = 0 para todo x M .
Seja = . E
Alem disso
 = sup{|(x)| : x BE } = sup{| (x)| : x BE }
= sup{|(y)| : y BE/M } =  = 1.
12.5. Proposi
c
ao. Se E  e separ
avel, ent
ao E e separ
avel tambem.
Demonstra
c
ao. Como E  e separavel, a esfera unit
aria SE
e separavel
tambem. Seja {n : n N} um subconjunto denso enumer
avel de SE
. Para
1
cada n existe xn SE tal que |n (xn )| 2 . Seja M = [xn : n N] o subespaco
de E gerado por {xn : n N}. Para completar a demonstracao basta provar
que M e denso em E.
Suponhamos que M = E, e seja y0 E \ M . Pela proposicao anterior existe
SE
tal que (y0 ) = 0 e (x) = 0 para todo x M . Segue que
1
|n (xn )| |n (xn ) (xn )| n xn  = n 
2
para todo n. Isto e absurdo, pois {n : n N} e denso em SE
.
12.6. Observa
c
ao. A recproca da proposicao anterior n
ao e verdadeira.

Logo veremos que 1 e isometricamente isomorfo a  . E j
a sabemos que 1 e
separavel, mas  n
ao e separavel.
12.7. Proposi
c
ao. Cada espaco normado separ
avel e isometricamente
isomorfo a um subespaco de  .
Demonstra
c
ao. Seja E um espaco normado separ
avel, e seja {xn : n N}
um subconjunto enumer
avel denso de E. Pelo teorema de Hahn-Banach existe


{n : n N} SE tal que n (xn ) = xn  para cada n. Seja T L(E;  )
denido por T x = (n (x))
n=1 para cada x E. Como n  = 1 para cada n,
segue que T x x para cada x E. E como n (xn ) = xn  para cada n,
segue que T xn  = xn  para cada n. Como {xn : n N} e denso em E, segue
que T x = x para cada x E.
Exerccios
12.A. Seja E um espaco normado, seja M um subespaco de E, e seja
M = { E  : (x) = 0 para todo x M }.
42

(a) Prove que M e um subespaco fechado de E  .

(b) Prove que M  e isometricamente isomorfo a E  /M .
12.B. Seja E um espaco normado, e seja M um subespaco fechado de E.
Prove que (E/M ) e isometricamente isomorfo a M .
12.C. Seja E um espaco normado separavel de dimens
ao innita.
(a) Prove que existe uma seq
uencia estritamente
crescente (Mn )
n=1 de sube
spacos de E de dimens
ao nita tal que n=1 Mn e um subespaco denso de E.

(b) Prove que existe uma seq
uencia (n )
n=1 E tal que n  = 1 para
cada n N e limn n (x) = 0 para cada x E.

43

13. O dual de p
13.1. Teorema. Se 1 p < , ent
ao o dual de p e isometricamente
1
1
isomorfo a q , onde 1 < q , p + q = 1.
Demonstra
c
ao. Dado y = (j )
j=1 q , denamos y : p K por

y (x) =

j j para cada x = (j )
j=1 p .

j=1

Pela desigualdade de H
older,
|y (x)|

|j j | xp yq .

j=1

Segue que y p e y  yq .

Reciprocamente provaremos que, dado p , existe y q tal que y = e
y . Para cada n N seja en = (0, ..., 1, 0, 0, ...), com 1 no lugar n-esimo.
claro que en p e que en  = 1 para cada n. Se x = (j ) p , ent
E
ao
j=1
lim x

n


j ej  = lim

j=1

e portanto
x=

1/p
|j |p

= 0,

j=n+1

j ej para cada x = (j )
j=1 p .

j=1

Segue que
(x) =

j (ej ) para cada x = (j )

j=1 p .

j=1

Seja y = ((ej )
j=1 . Provaremos que y q e que yq .
Se p = 1, ent
ao q = e
|(ej )| ej  =  para cada j.
Segue que y  e y .
Se p > 1, xemos n N, e denamos x = (j )
j=1 por:
j = |(ej )|q1 sinal(ej ) se j n,

j = 0 se j > n.

onde sinal e denido por:

sinal =

se = 0,
||
44

sinal = 0 se = 0.

Ent
ao
Como x =

n

j (ej ) = |(ej )|q = |j |p para cada j n.

j=1 j ej ,

(x) =

segue que

n


j (ej ) =

j=1

Logo
n


n


|(ej )| =

j=1

1
p

|j |p = xpp .

j=1

1/p

n

|(ej )|q xp = 
|(ej )|q .

j=1

Como 1

n


j=1

= 1q , segue que
n

|(ej )|q )1/q .
(
j=1

Como n N e arbitr
ario, segue que y q e yq .
Se denimos
T : y q y p ,
ent
ao T e linear e sobrejetivo, e T y = yq para cada y q .
Exerccios
13.A. Prove que
x=

j ej para cada x = (j )
j=1 c0 .

j=1

13.B. Prove que c0 e isometricamente isomorfo a 1 .

13.C. Prove que
x = e0 +

(j )ej para cada x = (j )

j=1 c,

j=1

onde e0 = (1, 1, 1, ...) e = limj j .

13.D. Prove que c e isometricamente isomorfo a 1 .

45

14. O dual de Lp (X, , )

Nesta secao caracterizaremos o dual do espaco Lp (X, , ). Por simplicidade
consideraremos apenas o espaco Lp (X, , ) real. Uma vez xado o espaco de
medida (X, , ), com frequencia escreveremos Lp em lugar de Lp (X, , ).
Dada f : X R, sejam f + e f denidas por:
f + = f 0,
Ent
ao

f = f + f ,

f = (f ) 0.
f + 0,

f 0.

A seguir provaremos um resultado an

alogo para funcionais lineares contnuos
em Lp (X, , ).
14.1. Deni
c
ao. Um funcional linear T : Lp (X, , ) R e dito positivo
se T f 0 para cada f Lp (X, , ) tal que f 0.
14.2. Lema. Seja T um funcional linear contnuo em Lp (X, , ). Ent
ao
+

existem dois funcionais lineares contnuos positivos T e T em Lp (X, , )

tais que
T f = T +f T f
para todo f Lp (X, , ).
Demonstra
c
ao. Seja T Lp . Para cada f Lp , f 0, seja T + f denido
por

T + f = sup{T : Lp , 0 f }.

Para cada Lp , 0 f , tem-se que

T |T | T p T f p .
Notando que T 0 = 0, segue que
(1)

0 T + f T f p

para todo f Lp , f 0.

f
E
acil vericar que
(2)

T + (f ) = T + f

para todo f Lp , f 0, 0.

A seguir provaremos que

(3)

T + (f1 + f2 ) = T + f1 + T + f2

para todo f1 , f2 Lp , f1 0, f2 0.

Se j Lp e 0 j fj para j = 1, 2, ent
ao 0 1 + 2 f1 + f2 , e portanto
T 1 + T 2 = T (1 + 2 ) T + (f1 + f2 ).
Segue que

T + f1 + T + f2 T + (f1 + f2 ).
46

Por outro lado, dada Lp , com 0 f1 + f2 , sejam 1 e 2 denidas por

1 = f1 ,

2 = ( f1 ) 0.

Ent
ao e facil vericar que 0 j fj para j = 1, 2 e 1 + 2 = . Logo
T = T 1 + T 2 T + f1 + T + f2 ,
e portanto

T + (f1 + f2 ) T + f1 + T + f2 .

Isto prova (3).

A seguir denamos
T +f = T +f + T +f

para cada f Lp .

Usando (2) e (3) n

ao e difcil vericar que T + e linear. Segue de (1) que T e
contnuo.
Finalmente denamos
T f = T +f T f

para cada f Lp .

claro que T e um funcional contnuo positivo em Lp , completando a demonE

stracao.
14.3. Teorema de representa
c
ao de Riesz. Seja (X, , ) um espaco de
medida nita, e seja 1 p < . Ent
ao o dual de Lp (X, , ) e isometricamente
isomorfo a Lq (X, , ), onde 1 < q , p1 + q1 = 1.
Demonstra
c
ao. Dada g Lq , seja Tg : Lp R denido por

f gd para todo f Lp .
Tg f =
X

Pela desigualdade de H
older

|Tg f |
|f g|d f p gq
X

para toda f Lp .

Segue que Tg Lp e Tg  gq .

Reciprocamente provaremos que, dado T Lp , existe g Lq tal que Tg = T
e gq T .
(a) Primeiro suponhamos T positivo. Neste caso denamos : R por
(A) = T (A )

para todo A .

Como T e positivo, segue que (A) 0 para todo A . Alem disso, () =

T 0 = 0.

47

A seguir provaremos que

(4)

An ) =

n=1

(An )

n=1

para cada sequencia (An )

n=1 de membros disjuntos de . Escrevamos
Bn =

n


Aj ,

A=

An =

n=1

j=1

Bn .

n=1

e crescente e converge pontualmente a A . Como (X) <

A sequencia (Bn )
n=1
, o teorema da convergencia dominada garante que Bn A em Lp , e
portanto
T (Bn ) T (A ). Como os Aj sao disjuntos, temos que Bn =
n

j=1 Aj , e portanto
(A) = T (A ) = limn T (Bn ) = limn

n


T (Aj ) =

j=1

(Aj ).

j=1

Isto prova (4). Logo e uma medida em . Como

(A) = T (A ) T A p = T (A)1/p ,
vemos que (A) = 0 cada vez que (A) = 0, ou seja e absolutamente contnua
com relacao a . Pelo teorema de Radon-Nikodym existe g L1 (X, , ), g 0,
tal que

(A) =
gd,
A

e portanto


T (A ) =

para todo A . Segue que

A gd


T =

gd
X

para toda funcao mensuravel simples .

A seguir provaremos que

(5)

Tf =

f gd
X

para toda f Lp . Dada f Lp , f 0, seja (n ) uma sequencia crescente de

funcoes mensuraveis simples positivas que converge pontualmente a f . Como
f Lp , segue do teorema da convergencia dominada que n f em Lp , e
portanto T n T f . Usando o teorema da convergencia monotona concluimos
que


T f = limT n = lim
n gd =
f gd.
X

48

Isto prova (5) para cada f Lp , f 0. Para provar (5) para f Lp arbitr
aria,
+

basta escrever f = f f , com f , f Lp , f 0, f 0, e aplicar o

resultado anterior.
(b) Se T Lp e arbitr
ario, ent
ao, pelo lema anterior podemos escrever
T f = T +f T f
para todo f Lp , sendo T + , T Lp funcionais positivos. Por (a) existem
g + , g L1 , g + 0, g 0, tais que

+
T f=
f g + d
X

T f=

f g d

X
+

para toda f Lp . Se denimos g = g g , segue que


f gd
(6)
Tf =
X

para toda f Lp .
A seguir provaremos que g Lq e que gq T .
Se p = 1, seja
A = {x X : g(x) > T }.
Ent
ao A =
n=1 An , onde
An = {x X : g(x) > T  +

1
}.
n

Aplicando (6) com f = An , segue que


1
(T  + )(An )
gd = T (An ) T An 1 = T (An ).
n
An
Segue que (An ) = 0 para cada n, e portanto (A) = 0. De maneira an
aloga
podemos provar que (B) = 0, onde
B = {x X : g(x) < T }.
Segue que |g(x)| T  para quase todo x X. Logo g L e g T .
Se p > 1, xemos n N, e denamos An e f por;
An = {x X : |g(x)| n},
f (x) = |g(x)|q1 sinalg(x)

se x An ,
se x
/ An .

f (x) = 0
49

Para x An tem-se que

f (x)g(x) = |g(x)|q = |f (x)p ,

(7)
e portanto


X

|f | d =

An

|g|q d nq (X) < ,

em particular f Lp . Usando (6) e (7) segue que




q
|g| d =
f gd = T f T f p = T (
An

Como 1

1
p

An

|g|q d)1/p .

= q1 , segue que

(
An

|g|q d)1/q T .

encia (An ) e crescente, o teorema da convergencia

Como X =
n=1 An , e a sequ
mon
otona garante que

( |g|q d)1/q T ,
X

ou seja g Lq e gq T .
Se denimos
T : g Lq Tg Lp ,
ent
ao T e linear e sobrejetivo, e T g = gq para cada g Lq . Isto completa
a demonstracao.

50

15. Bidual de um espa

co normado
Seja E um espaco normado. Dados x E  e x E, com frequencia escreveremos
x , x = x (x).
15.1. Deni
c
ao. O dual de E  , denotado por E  , e chamado de bidual de
E.
15.2. Proposi
c
ao. Seja J : E E  denido por
Jx, x  = x , x para todo x E, x E  .
Ent
ao J e um isomorsmo isometrico entre E e um subespaco de E  .
Demonstra
c
ao. Se x E, e claro que Jx E  . Como
|Jx, x | = |x , x| x x,
segue que Jx E  e Jx x. Assim J : E E  e linear e contnua. Pelo
teorema de Hahn-Banach, para cada x E tem-se que:
Jx = sup{|Jx, x | : x  1} = sup}|x , x| : x  1} = x.
Logo J e um isomorsmo isometrico entre E e sua imagem em E  .
15.3. Deni
c
ao. E e dito reexivo se J(E) = E  .
claro que cada espaco normado reexivo e necessariamente completo.
E
15.4. Proposi
c
ao. Dado T L(E; F ), seja T  : F  E  denido por
T  y  , x = y  , T x para todo y  F  , x E.
Ent
ao T  L(F  , E  ) e T   = T . T  e chamado de dual de T , ou transposto
de T .
Demonstra
c
ao. Se y  F  , e claro que T  y  E . Como
|T  y  , x| = |y  , T x| y  T x y  T x,
segue que T  y  E  e T  y   T y  . Assim T  : F  E  e linear e contnua
e T   T . Po outro lado, pelo teorema de Hahn-Banach, para cada x E
temos:
T x = sup{|y  , T x| : y   1} = sup{|T  y  , x| : y   1}
sup{T  y  x : y  1} T  x.
Logo T  T  .
15.5. Proposi
c
ao. p e reexivo para cada 1 < p < .
51

Demonstra
c
ao. Seja p1 + 1q = 1, e sejam S : p q e T : q p os
isomorsmos isometricos canonicos, os isomorsmos dados pelo Teorema 13.1.
Ent
ao e claro que S  T 1 e um isomorsmo isometrico entre p e p . Para
completar a demonstracao, basta provar que S  T 1 = J, o mergulho can
onico

de p em p , ou seja, basta provar que
S  T 1 x, x  = Jx, x  = x , x para todo x p , x p .
ao:
Sejam x = (j ) p e Sx = (j ) q . Ent


S T

x, x  = T

x, Sx  =


j=1

j j =

j j = x , x,

j=1

como queriamos.
De maneira an
aloga, utilizando o Teorema 14.3, podemos provar o resultado
seguinte.
15.6. Proposi
c
ao. Seja (X, , ) um espaco de medida nita. Ent
ao
Lp (X, , ) e reexivo para cada 1 < p < .
15.7. Proposi
c
ao. Se E e reexivo, ent
ao E  e reexivo tambem.
Demonstra
c
ao. Sejam J0 : E E  e J1 : E  E  os mergulhos
can
onicos. Supondo que J0 (E) = E  , vamos provar que J1 (E  ) = E  . Dado
x E  , seja x = J0 x . Provaremos que J1 x = x . Para cada x E temos:
J1 x , J0 x = J0 x, x  = x , x = J0 x , x = x , J0 x.
Como J0 (E) = E  , segue que J1 x = x , como queriamos.
15.8. Proposi
c
ao. Se E e reexivo, ent
ao cada subespaco fechado de E e
reexivo tambem.
Demonstra
c
ao. Seja M um subespaco fechado de E, e sejam J0 : E E 
e J1 : M M  os mergulhos canonicos. Supondo que J0 (E) = E  , vamos
provar que J1 (M ) = M  .
Seja R : E  M  a aplicacao restricao, e seja R : M  E  o dual de R.
Dado y  M  , seja x = R y  E  . Como J0 (E) = E  , existe x E tal
que J0 x = x .
Armamos que x M . De fato, suponhamos que x
/ M . Ent
ao, pelo
teorema de Hahn-Banach, existe x E  tal que Rx = 0 e x , x =
 0. Segue
que
x , x = J0 x, x  = x , x  = R y  , x  = y  , Rx  = y  , 0 = 0,
contradicao. Isto prova que x M .
Para completar a demonstracao provaremos que J1 x = y  . De fato para
cada x E  temos:
y  , Rx  = R y  , x  = x , x  = J0 x, x  = x , x = Rx , x = J1 x, Rx .
52

Pelo teorema de Hahn-Banach R(E  ) = M  . Segue que y  = J1 x, como queriamos.

Exerccios
15.A. Dados S L(E; F ) e T L(F ; G), prove que (T S) = S  T  .
15.B. Prove que se T : E F e um isomorsmo topologico (resp. isomorsmo isometrico), entao T  : F  E  tambem e um isomorsmo topologico
(resp. isomorsmo isometrico).
15.C. Seja T : E F um isomorsmo topol
ogico. Prove que se E e
reexivo, ent
ao F tambem e reexivo.
15.D. Prove que um espaco de Banach E e reexivo se e so se seu dual E 
e reexivo.
15.E. Prove que nemhum dos espacos 1 ,  , c0 ou c e reexivo.
15.F. Seja E um espaco de Banach, e seja M um subespaco fechado de E.
Prove que se E e reexivo, ent
ao E/M e reexivo tambem.
15.G. Usando o Exerccio 8.C prove que o espaco C[a, b] n
ao e reexivo.

53

16. Teorema de Banach-Steinhaus

16.1. Deni
c
ao. Seja X um espaco topol
ogico.
(a) Diremos que X e um espaco de Baire se a intersecao de cada seq
uencia
de subconjuntos abertos e densos de X e um subconjunto denso de X.
(b) Diremos que um conjunto A X e de primeira categoria em X se e
possvel escrever
A=

An = para cada n.

An , com

n=1

Caso contrario diremos que A e de segunda categoria em X.

16.2. Proposi
c
ao. Cada espaco de Baire n
ao vazio e de segunda categoria
em si mesmo.
Demonstra
c
ao. Seja X um espaco de Baire nao vazio, e suponhamos que
X seja de primeira categoria em si mesmo. Entao podemos escrever

X=

An ,

n=1

onde An e fechado em X, e An = para cada n. Segue que

=

(X \ An ),

n=1

X \ An e aberto, e X \ An = X\ An = X para cada n. Logo X n

ao seria um
espaco de Baire.
16.3. Teorema de Baire. Cada espaco metrico completo e um espaco de
Baire.
Demonstra
c
ao. Seja X um espaco metrico completo n
ao vazio, e seja

(Un )
uencia de subconjuntos abertos 
e densos em X. Para provar
n=1 uma seq

que n=1 Un e denso em X, basta provar que ( n=1 Un ) B(a; r) = para

cada bola B(a; r) em X. Fixemos uma bola B(a; r) em X. Como U1 e denso
em X, existe x1 U1 B(a; r). Seja 0 < 1 < 1 tal que
B[x1 ; 1 ] U1 B(a; r).
Como U2 e denso em X, existe x2 U2 B(x1 ; 1 ). Seja 0 < 2 < 1/2 tal que
B[x2 ; 2 ] U2 B(x1 ; 1 ).
Procedendo por inducao podemos achar sequencias (xn ) X e (n ) R tais
que 0 < n < 1/n e
B[xn ; n ] Un B(xn1 ; n1 )
54

para cada n 2. Segue que (xn ) e uma sequencia de Cauchy em X, e converge

claro que
portanto a um ponto x. E
x

B[xn ; n ] (

n=1

Logo

n=1

Un ) B(a; r).

n=1

Un e denso em X.

16.4. Deni
c
ao. Seja A E.
(a) A e dito simetrico se x A sempre que x A.
(b) A e dito convexo se (1 )x + y A sempre que x, y A e 0 1.
(c) co(A) denota o menor subconjunto convexo de E que contem A.
16.5. Teorema de Banach-Steinhaus. Sejam E e F espacos normados,
com E completo. Seja {Ti : i I} L(E; F ) tal que
(1)

supiI Ti x < para cada x E.

Ent
ao
supiI Ti  < .

(2)

Demonstra
c
ao. Para cada n N seja
An = {x E : Ti x n para cada i I}.
Como
An =

{x E : Ti x n},

iI

vemos que cada An e fechado. Segue de (1) que

E=

An .

n=1

Pelo teorema de Baire E e de segunda categoria em si mesmo. Logo algum An

tem interior n
ao vazio. Logo An contem uma bola B(a; r). Como o conjunto An
e simetrico, segue que An B(a; r). Como o conjunto An e convexo, segue
que
An co(B(a; r) B(a; r)) B(0; r).
Segue que
Ti x n para todo i I, x B(0; r).
Logo
Ti x

n
para todo i I, x B(0; 1),
r

e portanto
Ti 

n
para todo i I.
r
55

O teorema de Banach-Steinhaus e tambem conhecido como princpio de

limitaca
o uniforme.
16.6. Corol
ario. Seja E um espaco normado, e seja A um subconjunto de
E tal que (A) e limitado em K para cada E  . Ent
ao A e limitado em E.
Demonstra
c
ao. Seja J : E E  o mergulho can
onico. Segue da hip
otese

que J(A) e um subconjunto pontualmente limitado de E . Pelo Teorema 16.5
J(A) e limitado em E  . Logo A e limitado em E.
16.7. Corol
ario. Sejam E e F espacos normados, com E completo. Seja
(Tn ) uma sequencia em L(E; F ) tal que (Tn x) converge em F para cada x E.
Se denimos T x = limTn x para cada x E, ent
ao T L(E; F ).
f
Demonstra
c
ao. E
acil vericar que T e linear. Para cada x E, (Tn x) e
uma sequencia convergente em F , e portanto limitada, ou seja
supn Tn x < para cada x E.
Pelo Teorema 16.5 existe c > 0 tal que Tn  c para todo n. Segue que
T  c, e portanto T e contnua.
Exerccios
16.A. Seja 1 p < , e seja (j )
uencia em K tal que a serie
j=1 uma seq


j=1 j j converge para cada (j )j=1 p . Prove que (j )j=1 q , onde

1
1
p + q = 1.

16.B. Seja (j )
uencia em K tal que a serie j=1 j j converge
j=1 uma seq

para cada (j )
j=1 c0 . Prove que (j )j=1 1 .

56

17. Teorema da aplica

c
ao aberta e teorema do gr
aco fechado
17.1. Teorema da aplica
c
ao aberta. Sejam E e F espacos de Banach,
e seja T L(E; F ). Ent
ao as seguintes condic
oes s
ao equivalentes:
(a) T e sobrejetiva.
(b) T (BE ) BF (0; ) para algum > 0.
(c) T (BE ) BF (0; ) para algum > 0.
Demonstra
c
ao. (a) (b): Como T e sobrejetiva,
F = T (E) = T (

BE (0; n) =

n=1

T (BE (0; n)) =

n=1

T (BE (0; n)).

n=1

Pelo teorema de Baire F e de segunda categoria em si mesmo. Logo existe n tal

ao vazio. Logo o conjunto T (BE (0; n))
que o conjunto T (BE (0; n)) tem interior n
contem uma bola BF (b; r). Como o conjunto T (BE (0; n)) e simetrico, segue que
T (BE (0; n)) BF (b; r). Como o conjunto T (BE (0; n)) e convexo, segue que
T (BE (0; n)) co(BF (b, r) BF (b, r)) BF (0; r).
Logo

r
T (BE (0; 1)) BF (0; ),
n

provando (b).
(b) (c): Por hip
otese
T (BE ) BF (0; ),
e portanto

T (BE (0; 1/2n )) BF (0; /2n ) para cada n.

Provaremos que
T (BE ) BF (0; /2).
Seja
y BF (0; /2) T (BE (0; 1/2)).
Logo existe x1 BE (0; 1/2) tal que
y T x1 BF (0; /22 ) T (BE (0; 1/22 )).
Logo existe x2 BE (0; 1/22 ) tal que
y T x1 T x2 BF (0; /23 ) T (BE (0; 1/23 )).
Procedendo por inducao podemos obter uma sequencia (xn ) em E tal que
n

xn BE (0; 1/2 ) e y

n


T xj BF (0; /2n+1 ) para cada

j=1

57

n.

Como

n=1

xn  <

n=1

2n = 1, segue que

xn BE (0; 1) e T (

n=1

xn ) = y.

n=1

Como a implicacao (c) (a) e clara, a demonstracao do teorema esta completa.

17.2. Corol
ario. Sejam E e F espacos de Banach. Ent
ao cada aplicac
ao
sobrejetiva T L(E; F ) e aberta.
17.3. Corol
ario. Sejam E e F espacos de Banach. Ent
ao cada aplicac
ao
bijetiva T L(E; F ) e um isomorsmo topol
ogico.
Lembremos que, se f : X Y e uma aplicacao qualquer, ent
ao o gr
aco de
f e o conjunto
Gf = {(x, y) X Y : y = f (x)}.
17.4. Proposi
c
ao. Sejam X e Y espacos topol
ogicos, e seja f : X
Y uma aplicac
ao contnua. Se Y e um espaco de Hausdor, ent
ao Gf e um
subconjunto fechado de X Y .
Demonstra
c
ao. Para provar que Gf e fechado em XY , seja ((xi , f (xi )))iI
uma rede em Gf que converge a um ponto (x, y) X Y . Ent
ao xi x em X
e T xi y em Y . Como f e contnua, segue que f (xi ) f (x) em Y . Como Y
e Hausddor, segue que y = f (x). Logo (x, y) Gf , e portanto Gf e fechado
em X Y .
17.5. Teorema do gr
aco fechado. Sejam E e F espacos de Banach,
e seja T : E F uma aplicac
ao linear. Se o gr
aco GT de T e fechado em
E F , ent
ao T e contnua.
Demonstra
c
ao. GT e um subespaco fechado de E F , e e portanto um
espaco de Banach. Consideremos as projecoes canonicas
1 : (x, y) E F x E,
2 : (x, y) E F y F.
claro que 1 L(E F ; E) e 2 L(E F ; F ). Seja 1 = 1 |GT . Ent
E
ao
1 : (x, T x) GT x E.
claro que 1 L(GT ; E), e 1 e sobrejetiva. Pelo teorema da aplicacao aberta
E
1 e um homeomorsmo. Notemos que
11 : x E (x, T x) GT .
Segue que 2 11 = T , e portanto T e contnua.

58

Exerccios
17.A. Sejam E e F espacos de Banach, e seja T L(E; F ) um operador
sobrejetivo.
(a) Dada uma seq
uencia limitada (yn ) em F , prove que existe uma seq
uencia
limitada (xn ) em E tal que T xn = yn para cada n.
(b) Dada uma seq
uencia (yn ), que converge a zero em F , prove que existe
uma seq
uencia (xn ), que converge a zero em E, tal que T xn = yn para cada n.
17.B. Seja (xj ) uma seq
uencia em E tal que (xj ) 0 para cada E  .
Seja T denido por
T : E  ((xj ))
j=1 c0 .
Prove que T L(E  ; c0 ).
17.C.
uencia em E  tal
 Seja E um espaco de Banach, e seja (j ) uma seq
que j=1 |j (x)| < para cada x E. Seja T denido por
T : x E (j (x))
j=1 1 .
Prove que T L(E; 1 ).

59

18. Espectro de um operador em um espa

co de Banach
18.1. Proposi
c
ao. Seja E um espaco de Banach, e seja T L(E; E). Se
T  < 1, ent
ao o operador I T e invertvel e
(I T )1 =

T k.

k=0


Demonstra
c
ao. Como T  < 1, a serie k=0 T k e absolutamente convergente, e portanto convergente. Como
 n
 



(I T )
Tk =
T k (I T ) = I T n+1
k=0

k=0

para cada n, segue que


(I T )


Tk


=

k=0


Tk

(I T ) = I.

k=0

18.2. Deni
c
ao. Se E e um espaco de Banach, denotaremos por Iso(E; E)
o subconjunto dos T L(E; E) que sao invertveis.
18.3. Proposi
c
ao. Seja E um espaco de Banach. Ent
ao:
(a) Iso(E; E) e um subconjunto aberto de L(E; E).
(b) A aplicac
ao T Iso(E; E) T 1 Iso(E; E) e contnua.
Demonstra
c
ao. Se S L(E; E) e invertvel, ent
ao segue da proposicao
anterior que S +T = (I +T S 1 )S e invertvel tambem para cada T L(E; E)
tal que T  < 1/S 1 . Nessas condicoes
1

(S + T )

=S

(I + T S

1 1

=S

(T S 1 )k ,

k=0

e portanto
(S + T )1 S 1 

T k S 1 k+1 =

k=1

T S 1 2
.
1 T S 1 

A conclusao desejada segue.

18.4. Deni
c
ao. Seja E um espaco de Banach, e seja T L(E; E).
(a) Diremos que K pertence ao espectro de T se o operador T I n
ao
e invertvel. (T ) denota o espectro de T .
(b) Diremos que K e um autovalor de T se o operador T I n
ao e
injetivo. Se e um autovalor de T , denotaremos por E o subespaco de todos
os x E tais que T x = x. Cada x = 0 em E e chamado de autovetor de T
correspondente ao autovalor .
60

 claro
18.5. Exemplo. Seja E um espaco de Banach, e seja T L(E; E). E
que (T ) contem todos os autovalores de T . Se E tem dimensao nita, ent
ao e
claro que (T ) coincide com o conjunto dos autovalores de T .
18.6. Proposi
c
ao. Seja E um espaco de Banach complexo, e seja T
L(E; E). Ent
ao:
(a) O conjunto C \ (T ) e aberto em C.
(b) Para cada funcional L(E; E) , a func
ao f () = [(T I)1 ] e
analtica no aberto C \ (T ).
Demonstra
c
ao. (a) A funcao
: C T I L(E; E)
e claramente contnua, e
C \ (T ) = 1 (Iso(E; E)).
(b) Dados U, V Iso(E; E), e claro que
U (U 1 V 1 )V = V U,
e portanto

U 1 V 1 = U 1 (V U )V 1 .

Dados , 0 C \ (T ), segue que

(T I)1 (T 0 I)1 = (T I)1 ( 0 )(T 0 I)1 .
Aplicando segue que
lim

f () f (0 )
= [(T 0 I)2 ].
0

Logo f e analtica.
18.7. Teorema. Seja E um espaco de Banach complexo, e seja T
L(E; E). Ent
ao (T ) e um subconjunto compacto n
ao vazio de C.
Demonstra
c
ao. Pela proposicao anterior (T ) e fechado. Se || > T ,
ent
ao segue da Proposicao 18.1 que o operador T I = (I T ) e invertvel.
Isto prova que || T  para cada (T ), e portanto (T ) e limitado.
Suponhamos que (T ) seja vazio. Nesse caso, para cada funcional L(E; E) ,
a funcao f () = [(T I)1 ] e analtica em todo C. Para = 0 temos que

1


T
1
Tk
1
I
(T I) =
=
,

k+1
k=0

e portanto
1

(T I)


T k
1

=
.
k+1
||
|| T 
k=0

61

Aplicando segue que

lim f () = 0,

||

e f e em particular limitada. Segue do teorema de Liouville que

f () = [(T I)1 ] = 0 para todo C.
Como e arbitr
ario, segue do teorema de Hahn-Banach que
(T I)1 = 0 para todo C,
absurdo. Logo (T ) n
ao e vazio.

62

19. Operadores compactos entre espa

cos de Banach
19.1. Deni
c
ao. Sejam E e F espacos de Banach, e seja T L(E; F ).
(a) Diremos que T tem posto nito se o subespaco T (E) tem dimensao nita.
Lf (E; F ) denota o subespaco dos operadores de posto nito de E em F .
(b) Diremos que T e compacto se T (B E ) e relativamente compacto em F .
LK (E; F ) denota o subespaco dos operadores compactos de E em F .
claro que todo operador de posto nito e compacto.
E
19.2. Proposi
c
ao. Sejam E e F espacos de Banach. Ent
ao LK (E; F ) e
um subespaco fechado de L(E; F ).
Demonstra
c
ao. Seja (Tn ) uma sequencia em LK (E; F ) que converge a um
operador T em L(E; F ). Para provar que T e compacto provaremos que cada
sequencia em T (B E ) admite uma subsequencia convergente.
Utilizaremos o processo diagonal de Cantor. Seja (xj )
encia
j=1 uma sequ

1
em B E . Como T1 e compacto, (xj )j=1 admite uma subsequencia (xj )j=1 tal
que (T1 x1j )
e convergente. Como T2 e compacto, (x1j )
j=1
j=1 admite uma sub2
2
sequencia (xj )j=1 tal que (T2 xj )j=1 e convergente. Procedendo de maneira indui1
tiva podemos obter, para cada i N, uma subsequencia (xij )
j=1 de (xj )j=1 tal
e convergente. Seja (zj )
encia diagonal (xjj )
ao,
que (Ti xij )
j=1
j=1 a sequ
j=1 . Ent

para cada i N, (zj )j=i e uma subsequencia de (xj )j=i . Segue dai que (Ti zj )j=1
e convergente, para cada i N. Provaremos que (T zj )
e convergente.
j=1
Dado  > 0, existe i tal que Ti T  < . Fixado i, existe j0 tal que
Ti zj Ti zk  <  para todo j, k j0 .
Segue que
T zj T zk  T zj Ti zj  + Ti zj Ti zk  + Ti zk T zk  < 3
para todo j, k j0 . Logo (T zj )
e convergente.
j=1
19.3. Teorema de Schauder. Sejam E e F espacos de Banach. Ent
ao
um operador T L(E; F ) e compacto se e s
o se seu dual T  L(F  ; E  ) e
compacto.
Demonstra
c
ao. () Suponhamos que T L(E; F ) seja
compacto. Como
cada espaco metrico compacto e separavel, e como T (E) = n=1 nT (BE ), segue
que T (E) e separavel. Seja (yk )
avel denso de T (E).
k=1 um subconjunto enumer

Para provar que T e compacto, provaremos que cada seq
uencia em T  (B F
)
admite uma subseq
uencia convergente. Seja (yn )
uencia em B F
.
n=1 uma seq
Utilizando o processo diagonal de Cantor podemos achar uma subseq
uencia




(zn )n=1 de (yn )n=1 tal que (zn (yk ))n=1 converge para cada k. Como (yk )
k=1


, segue que (z (y))

B
converge
para
cada
e densa em T (E), e (zn )

F
n
n=1
n=1
y T (E).
Se denimos z  (y) = limn zn (y) para cada y T (E), segue que z  e um
funcional linear em T (E), e z   1. Pelo teorema de Hahn-Banach podemos
supor que z  F  .
63

Como T (B E ) e precompacto, dado  > 0, existem x1 , ..., xm B E tais que

T (B E )

m


BF (T xj , ).

j=1

Como zn (y) z  (y) para cada y T (E), existe n0 N tal que
|zn z  , T xj | <  sempre que n n0 , 1 j m.
Dado x B E , seja 1 j m tal que x BF (T xj ; ). Ent
ao, para cada n n0
tem-se que
|T  zn T  z  , x| = |zn z  , T x|
|zn z  , T x T xj | + |zn z  , T xj | < 3.
Segue que T  zn T  z   3 para todo n n0 , e portanto (T  zn )
n=1 converge
 

a T z em E .
() Suponhamos que T  L(F  ; E  ) seja compacto. Pelo que acabamos de
ver, T  L(E  ; F  ) e compacto. Como o diagrama
E

JE
E 

F
JF

T

e comutativo, segue que T e compacto.

64

F 

20. Conjuntos ortonormais em espa

cos de Hilbert
20.1. Deni
c
ao. Seja E um espaco com produto interno. Um conjunto
S E e dito ortonormal se dados x, y S tem-se que (x|y) = 0 se x = y
e (x|y) = 1 se x = y. Um conjunto ortonormal S E e dito completo se
S = {0}.
f
E
acil vericar que todo conjunto ortonormal em E e linearmente independente.
f
E
acil ver que um conjunto ortonormal S E e completo se e so se S e
maximal entre os conjuntos ortonormais de E, ou seja S n
ao esta contido em
nenhum outro conjunto ortonormal.
Se S e um conjunto ortonormal em E tal que o subespaco [S] gerado por S
e denso em E, ent
ao e facil ver que S e completo.
f
20.2. Exemplo. E
acil vericar que os vetores unit
arios
e1 = (1, 0, 0, ..., 0), e2 = (0, 1, 0, ..., 0), ..., en = (0, 0, 0, ..., 1)
formam um conjunto ortonormal completo em Kn2 .
f
20.3. Exemplo. E
acil vericar que a sequencia de vetores unitarios
e1 = (1, 0, 0, ...), e2 = (0, 1, 0, ...), e3 = (0, 0, 1, ...), ...
formam um conjunto ortonormal completo em 2 .
20.4. Exemplo. N
ao e difcil vericar que as funcoes
1
u0 (t) = ,
2

1
un (t) = cosnt,

1
vn (t) = sennt

(n N)

formam um conjunto ortonormal no espaco de Hilbert real L2 ([0, 2]; R). Mais
adiante veremos que este conjunto ortonormal e completo.
20.5. Exemplo. Nao e difcil vericar que as funcoes
1
un (t) = eint
2

(n Z)

formam um conjunto ortonormal no espaco de Hilbert complexo L2 ([0, 2]; C).

Mais adiante veremos que este conjunto ortonormal e completo.
20.6. Proposi
c
ao (Processo de ortonormaliza
c
ao de Gram-Schmidt).
N
Seja E um espaco com produto interno. Seja (xn )n=1 uma sequencia nita ou
innita de vetores linearmente independentes em E. Ent
ao existe uma sequencia
ortonormal (yn )N
em
E
tal
que
n=1
[x1 , ..., xn ] = [y1 , ..., yn ]
para cada n N .
65

N
Demonstra
c
ao. Sejam (un )N
n=1 e (yn )n=1 denidas indutivamente da maneira
seguinte:
u1
u1 = x1 ,
y1 =
;
u1 

un = xn

n1


(xn |yj )yj ,

yn =

j=1

un
para n 2.
un 

imediato que
E
(un |yj ) = 0 sempre que j < n,
e portanto
(yn |yj ) = 0 sempre que j < n.
Usando inducao vemos que
[x1 , ..., xn ] = [u1 , ..., un ] = [y1 , ..., yn ]
para cada n N , completando a demonstracao.
20.7. Corol
ario. Seja E um espaco com produto interno de dimens
ao
nita n. Ent
ao existe em E um conjunto ortonormal completo formado por n
vetores.
20.8. Corol
ario. Seja E um espaco com produto interno separ
avel. Ent
ao
existe em E um conjunto ortonormal completo enumer
avel.
20.9. Proposi
c
ao. Seja E um espaco com produto interno. Ent
ao cada
conjunto ortonormal em E est
a contido em algum conjunto ortonormal completo.
Demonstra
c
ao. Seja S0 um conjunto ortonormal em E, e seja P a famlia
de todos os conjuntos ortonormais em E que contem S0 . P e um conjunto
parcialmente ordenado por inclus
ao de conjuntos. Seja (Si )iI uma cadeia em
P. Ent
ao e f
acil ver que iI Si e um conjunto ortonormal em E, e claramente
contem cada Si . Isto prova que cada cadeia em P admite uma cota superior.
Pelo lema de Zorn, existe em P um elemento maximal S. Segue que S e um
conjunto ortonormal completo em E, que contem S0 .
Exerccios
20.A. Seja E um espaco com produto interno. Prove que cada conjunto
ortonormal em E e linearmente independente.
20.B. Seja E um espaco com produto interno, e seja S um conjunto ortonormal em E. Prove que S e completo se e so se S n
ao esta contido em nenhum
outro conjunto ortonormal.
20.C. Seja E um espaco com produto interno, e seja S um conjunto ortonormal em E.
66

(a) Se o subespaco [S] gerado por S e denso em E, prove que S e completo.

(b) Se E e um espaco de Hilbert, e S e completo, prove que [S] e denso em
E.
20.D. Prove que os vetores unit
arios
e1 = (1, 0, 0, ...), e2 = (0, 1, 0, ...), e3 = (0, 0, 1, ...), ...
formam um conjunto ortonormal completo em 2 .
20.E. Prove que as funcoes
1
1
1
u0 (t) = , un (t) = cosnt, vn (t) = sennt (n = 1, 2, 3, ...)

2
formam um conjunto ortonormal no espaco de Hilbert real L2 ([0, 2], R).
20.F. Prove que as funcoes
1
un (t) = eint (n Z)
2
formam um conjunto ortonormal no espaco de Hilbert complexo L2 ([0, 2], C).

67

21. Conjuntos ortonormais completos em espa

cos de Hilbert
21.1. Proposi
c
ao. Seja E um espaco com produto interno, seja M um
subespaco de dimens
ao nita n, seja {x1 , ..., xn } um conjunto ortonormal em
M , e seja x E. Ent
ao:
x

(a)

n


(x|xj )xj  = d(x, M ),

j=1
n


(b)

|(x|xj )|2 x.

j=1

Demonstra
c
ao. (a) Pelo Teorema 10.3 (e a Observacao 10.4) podemos
escrever
(1)
x = p + q, com p M, q M .
Alem disso x
p = d(x, M ). Como (x1 , ..., xn ) e uma base de M , podemos

n
escrever p = j=1 j xj . Como x p = q M , segue que
0 = (x p|xk ) = (x|xk ) (p|xk ) = (x|xk ) k
para k = 1, 2, ..., n. Logo
(2)

p=

n


(x|xj )xj ,

j=1

e (a) segue.
(b) Usando (1) e (2) e o teorema de Pit
agoras segue que
2

x = p + q p =

n


|(x|xj )|2 .

j=1

21.2. Proposi
c
ao (Desigualdade de Bessel). Seja E um espaco com
produto interno, seja (xi )iI um conjunto ortonormal em E, e seja x E.
Ent
ao o conjunto
Ix = {i I : (x|xi ) = 0}
e enumer
avel e

|(x|xi )|2 x2 .

iIx

Demonstra
c
ao. Temos que
Ix =

Jk ,

k=1

onde
Jk = {i I : |(x|xi )| >
68

1
}.
k

Segue da proposicao anterior que cada Jk e nito. De fato, se J e qualquer

subconjunto nito de Jk , segue da proposicao anterior que
x2

|(x|xj )|2 >

jJ

 1
|J|
=
,
k2
k2
jJ

e portanto |J| < k 2 x2 . Segue que |Jk | k 2 x2 para cada k, e portanto Ix e
enumeravel.
Escrevamos (xi )iIx como uma sequencia y1 , y2 , y3 , ... Pela proposicao anterior
n

|(x|yj )|2 x2 para cada n,
j=1

e portanto

|(x|xi )| =

|(x|yj )|2 x2 .

j=1

iIx

21.3. Proposi
c
ao. Seja E um espaco de Hilbert, seja (xi )iI um conjunto
ortonormal em E, e seja x E. Ent
ao a serie

(x|xi )xi
iIx

e incondicionalmente convergente, ou seja e convergente, e sua soma e independente da ordem escolhida em Ix .

Demonstra
c
ao. Pela proposicao anterior o conjunto Ix e enumeravel. Seja
(yj ) uma ordenacao de (xi )iIx , e seja
sm =

m


(x|yj )yj

j=1

para cada m. Se n < m, segue do teorema de Pitagoras que

2

sm sn  = 

m


 =

j=n+1

Como

m


m


|(x|yj )|2 .

j=n+1

|(x|yj )|2 x2

j=1

para cada m, pela proposicao anterior, segue que (sm ) e uma sequencia de
Cauchy em E, e converge portanto a um vetor s E.
Para provar que a soma da serie e independente da ordenacao escolhida, seja
(zk ) uma outra ordenacao de (xi )iIx , e seja
tn =

n


(x|zk )zk

k=1

69

para cada n. O raciocnio anterior mostra que

n


|(x|zk )|2 x2

k=1

para cada n, e a sequencia (tn ) converge a um vetor t E. Dado  > 0, podemos

achar m0 e n0 em N tais que

|(x|yj )|2 2 e s sm   para todo m m0 ,

j=m+1

|(x|zk )|2 2 e t tn   para todo n n0 .

k=n+1

Fixemos m m0 , e seja n n0 tal que {y1 , ..., ym } {z1 , ..., zn }. Ent

ao

(x|yj )yj ,
tn sm =
jJ

onde J N \ {1, 2, ..., m}. Segue que

2

tn sm  =

|(x|yj )|

|(x|yj )|2 2 .

j=m+1

jJ

Logo
t s t tn  + tn sm  + sm s 3.
Como  > 0 e arbitr
ario, concluimos que t = s.
21.4. Teorema. Seja E um espaco de Hilbert, e seja S = (xi )iI um
conjunto ortonormal em E. Ent
ao as seguintes condic
oes s
ao equivalentes:
(a) O subespaco [S] e denso em E.
(b) S e completo.

(c) x = iI (x|xi )xi para todo x E.

(d) (x|y) = iI (x|xi )(y|xi ) para todo x, y E.

(e) x2 = iI |(x|xi )|2 para todo x E.
A identidade em (e) e conhecida como identidade de Parseval.
Demonstra
c
ao. As implicacoes (a) (b), (c) (d) e (d) (e) sao claras.
Provaremos as implicacoes (b) (c) e (e) (a) ao mesmo tempo.
Dado x E, sejam

p=
(x|xi )xi ,
q = x p.
iI

70

Pela proposicao anterior p esta bem denido. Como

(q|xj ) = (x|xj ) (p|xj ) = 0
para todo j I, vemos que q S .
Suponhamos (b).Ent
ao S e completo, ou seja S = {0}. Segue que q = 0,
e portanto x = p = iI (x|xi )xi , ou seja (c).
ao p M e q M . Pelo teorema de
Suponhamos (e), e seja M = [S]. Ent
Pit
agoras

x2 = p2 + q2 =
|(x|xi )|2 + q2 .
iI

Segue de (e) que q = 0, e portanto x = p M . Logo E = M = [S], ou seja

(a).
Devido a` condicao (c) do teorema anterior, os conjuntos ortonormais completos em espacos de Hilbert sao chamados tambem de bases ortonormais.
21.5. Teorema de Riesz-Fischer. Cada espaco de Hilbert separ
avel de
dimens
ao innita e isometricamente isomorfo a 2 .
Demonstra
c
ao. Pelo Corol
ario 20.8 existe em E uma sequencia ortonormal
completa (xn )
.
Pelo
teorema
anterior
n=1
(3)

x =

|(x|xn )|2 para todo x E.

n=1

Consideremos a aplicacao
T : x E ((x|xn ))
n=1 2 .
T e claramente linear, e segue de (3) que T e uma isometria. Para completar a
demonstracao provaremos que T
esobrejetiva.
Dado (n ) 2
, seja x =
a bem
n=1 n xn E. Para provar que x est
n
denido, seja sn = j=1 j xj para cada n. Ent
ao, para m < n temos que
2

sn sm  = 

n


j xj  =

j=m+1

n


j |2 .

j=m+1


Como j=1 |j | < , segue que (sn ) e uma sequencia de Cauchy em E. Logo x
claro que (x|xj ) = j para cada j. Logo (n ) = T x, como
esta bem denido. E
queriamos.
21.6. Proposi
c
ao. Seja E um espaco com produto interno, e sejam S1 e
S2 dois conjuntos ortonormais completos em E. Ent
ao S1 e S2 tem a mesma
cardinalidade.

71

Demonstra
c
ao. A conclusao e clara se S1 ou S2 e nito. Suponhamos que
S1 e S2 sao innitos. Para cada x S1 seja
S2 (x) = {y S2 : (x|y) = 0}.
Armamos que
S2 =

S2 (x).

xS1

De fato, seja y S2 . Como y = 0 e S1 e completo, existe x S1 tal que

(x|y) = 0. Logo y S2 (x). Segue da Proposicao 21.2 que S2 (x) e enumeravel
para cada x. Logo
|S2 | |S1 ||N| = |S1 |.
De maneira an
aloga podemos provar que |S1 | |S2 |.
Na secao anterior vimos exemplos de conjuntos ortonormais completos em
Kn2 e 2 . Agora veremos exemplos de conjuntos ortonormais completos em
L2 [0, 2].
21.7. Teorema. As func
oes
1
1
1
u0 (t) = , un (t) = cosnt, vn (t) = sennt,

2
com n N, formam um conjunto ortonormal completo no espaco de Hilbert
real L2 ([0, 2]; R).
Demonstra
c
ao. Seja S o conjunto formado pelas funcoes un e vn . N
ao e
difcil vericar que S e um conjunto ortonormal. Para provar que S e completo
basta provar que [S] e um subespaco denso de L2 ([0, 2]; R).
Seja
B = {f C([0, 2]; R) : f (0) = f (2)}.
f
E
acil ver que B e um subespaco denso de C([0, 2]; R) na norma de L2 ([0, 2]; R).
Como C([0, 2]; R) e um subespaco denso de L2 ([0, 2]; R), segue que B e um
subespaco denso de L2 ([0, 2]; R).
claro que [S] B. Para completar a demonstracao do teorema basta
E
provar que [S] e um subespaco denso de B na norma de C([0, 2]; R).
Seja
K = {z C : |z| = 1} = {eit : 0 t 2}.
Para cada f B seja f C(K; R) denida por
f(eit ) = f (t) (0 t 2).
claro que B e C(K; R) sao algebras , e a aplicacao
E
T : f B f C(K; R)

72

e um isomorsmo isometrico entre a algebra B e sua imagem em C(K; R). Seja

A a sub
algebra de B gerada pelas funcoes
f1 (t) = 1, f2 (t) = cost, f3 (t) = sent,
claro que A e a sub
e seja A = T (A). E
algebra de C(K; R) gerada pelas funcoes
f1 (eit ) = 1, f2 (eit ) = cost, f3 (eit ) = sent.
claro que:
E
(a) A contem as funcoes constantes;
(b) A separa os pontos de K, ou seja, dados Z1 = z2 em K, existe f A tal
que f(z1 ) = f(z2 ).
Segue do teorema de Stone-Weierstrass que A e densa em C(K; R). Como
T e uma isometria, segue que A e densa em B. N
ao e difcil vericar que cada
f A pode ser escrita na forma
f (t) = a0 +

n


(ak coskt + bk senkt),

k=1

ou seja A [S]. Segue que [S] e denso em B, como queriamos.

De maneira an
aloga, utilizando a vers
ao complexa do teorema de StoneWeierstrass, podemos provar o teorema seguinte.
21.8. Teorema. As func
oes un (t) = eint , com n Z, formam um conjunto
ortonormal completo no espaco de Hilbert complexo L2 ([0, 2]; C).
Exerccios
21.A. Seja E um espaco com produto interno, e seja S = (xn )
n=1 uma
seq
uencia ortonormal em E. Prove que S e fechado e limitado, mas nao e
compacto.
21.B. Seja E um espaco de Hilbert, seja (xn )
uencia ortonormal
n=1 uma seq
em E, e seja


L={
n xn : |n | 1/n para todo n}.
n=1

Prove que L e compacto.

Sugest
ao: Considere o conjunto
K = {(n )
n=1 K : |n | 1/n para todo n},
e a aplicacao
f:

(n )
n=1


n=1

73

n xn E.




2
2
21.C. Sejam (an )
n=0 e (bn )n=1 em R tais que
n=0 |an | < e
n=1 |bn | <
. Prove que existe uma u
nica f L2 ([0, 2]; R) tal que
1
a0 =
2


0

1
f (t)dt, an =


0

1
f (t)cosntdt, bn =

para todo n N.
21.D. Seja (cn )+
n= em C tal que
uma u
nica f L2 ([0, 2]; C) tal que
1
cn =
2

+

f (t)eint dt

74

n=

f (t)senntdt
0

|cn |2 < . Prove que existe

para todo n Z.

22. Operadores auto-adjuntos em espa

cos de Hilbert
E e F denotam espacos de Hilbert.
22.1. Proposi
c
ao. Dado T L(E; F ), existe um u
nico T L(F ; E) tal
que

(T x|y) = (x|T y) para todo x E, y F.

(1)

Tem-se que T  = T . Diremos que T e o adjunto de T .

Demonstra
c
ao. Fixemos y F . Ent
ao o funcional x E (T x|y) K
e linear e contnuo, com norma T y. Pelo teorema de representacao de
Riesz existe um u
nico y E tal que
(T x|y) = (x|y ) para todo x E

(2)

e y  T y. Denamos T : F E por T y = y para cada y F .

Segue de (2) que T e linear e contnuo, e que T  T . Isto prova que T
verica (1), e a unicidade de T segue de (1).
O mesmo raciocnio prova a existencia de um u
nico T L(E; F ) tal que
(3)

(T y|x) = (y|T x) para todo y F, x E,

com T  T . De (1) e (3) segue que T = T , e portanto T  = T .

22.2. Deni
c
ao. Um operador T L(E; E) e dito auto-adjunto se T = T ,
ou seja
(T x|y) = (x|T y) para todo x, y E.
22.3. Proposi
c
ao. Seja T L(E; E) um operador auto-adjunto. Ent
ao
T  = sup{|(T x|x)| : x = 1}.
Demonstra
c
ao. Seja
C = sup{|(T x|x)| : x = 1}.
A desigualdade C T  segue de imediato da desigualdade de Cauchy-Schwarz.
Provaremos a desigualdade oposta.
Se T s = 0 para todo s SE , ent
ao T = 0, e a conclusao e clara. Seja s SE
tal que T s = 0, e sejam
x = T s1/2 s,
Ent
ao
e

y = T s1/2 T s.

x2 = y2 = T s
(T x|y) = (T y|x) = T s2 .
75

Sejam
v = x y.

u = x + y,
Ent
ao

(T u|u) = (T x|x) + (T x|y) + (T y|x) + (T y|y),

(T v|v) = (T x|x) (T x|y) (T y|x) + (T y|y).
Segue que

(T u|u) (T v|v) = 2(T x|y) + 2(T y|x) = 4T s2 .

Por outro lado, pela denicao de C, e pela lei do paralelogramo,

(T u|u) (T v|v) Cu2 + Cv2 = C(x + y2 + x y2 )
= 2C(x2 + y2 = 4CT s.
Segue que

4T s2 4CT s,

e portanto T  C.
Se T L(E; E) e auto-adjunto, e claro que (T x|x) e real apara cada x E.
Sejam
mT = inf{(T x|x) : x = 1},
MT = sup{(T x|x) : x = 1}.
Com esta notacao obtemos o corolario seguinte:
22.4. Corol
ario. Seja T L(E; E) um operador auto-adjunto. Ent
ao:
T  = max{MT , mT }.
Seja T L(E; E). Lembremos que, se e um autovalor de T , ent
ao E
denota o subespaco E = {x E : T x = x}.
22.5. Proposi
c
ao. Seja T L(E; E) um operador auto-adjunto.
(a) Se e um autovalor de T , ent
ao e real e mT MT .
(b) Se e s
ao autovalores distintos de T , ent
ao os subespacos E e E
s
ao ortogonais entre si.
Demonstra
c
ao. (a) Suponhamos que T x = x, com x = 1. Ent
ao
(T x|x) = (x|x) = ,
e portanto mT MT .
(b) Suponhamos T x = x e T y = y. Ent
ao
(x|y) = (x|y) = (T x|y) = (x|T y) = (x|y) = (x|y).
Se = , ent
ao (x|y) = 0.
76

Exerccios
22.A. Seja T L(E; F ), e sejam : E E  e : F F  denidos por
s, x = (x|s) para todo s, x E,
t, y = (y|t) para todo t, y F.
Prove que o seguinte diagrama e comutativo:
F

F

E

22.B. Dados S, T L(E; F ), prove que:

(a) (S + T ) = S + T .
(b) (T ) = T .
(c) T T  = T T  = T 2 .
22.C. Dados S, T L(E; E), prove que (T S) = S T .
22.D. Seja T L(E; F ), e sejam M e N subespacos fechados de E e F ,
respectivamente. Prove que T (M ) N se e so se T (N ) M .
22.E. Seja T L(E; E) um operador auto-adjunto. Prove que T n e autoadjunto para cada n N.
22.F. Sejam s, T L(E; E) operadores auto-adjuntos. Prove que que T S e
auto-adjunto se e s
o se T S = ST .

77

23. Teorema espectral para operadores compactos e auto-adjuntos

em espa
cos de Hilbert
23.1. Proposi
c
ao. Seja E um espaco de Hilbert, e seja T L(E; E) um
operador compacto e auto-adjunto, com T = 0. Ent
ao T  ou T  e um
autovalor de T , e existe um autovetor correspondente x SE tal que |(T x|x)| =
T .
Demonstra
c
ao. Pelo Corol
ario 22.4 existe uma sequencia (xn ) SE tal
que (T xn |xn ) , onde e T  ou T . Notemos que
0 T xn xn 2 = (T xn xn |T xn xn )
= T xn 2 (T xn |xn ) (xn |T xn ) + 2 xn 2
T 2 2(T xn |xn ) + 2 .
Como T 2 2(T xn |xn ) + 2 0, segue que T xn xn 0.
Como T e compacto, a sequencia (T xn ) admite uma subsequencia convergente. Sem perda de generalidade podemos supor que (T xn ) converge a um
vetor y. Como T xn xn 0, segue que xn y. Como = 0, segue que
xn x, onde x = y . Como xn  = 1 para todo n, segue que x = 1. Por
um lado T xn y = x. Por outro lado T xn T x. Logo T x = x, e e
um autovalor. Finalmente, como |(T xn |xn )| T , segue que |(T x|x)| = T ,
completando a demonstracao.
23.2. Teorema. Seja E um espaco de Hilbert, e seja T L(E; E) um
operador compacto e auto-adjunto, com T = 0. Ent
ao:
(a) Existe uma sequencia nita ou innita (n ) de autovalores, e uma sequencia
correspondente (xn ) de autovetores, tal que T admite uma representac
ao da
forma


(1)
Tx =
n (x|xn )xn =
(T x|xn )xn
para todo x E. A sequencia (xn ) e ortonormal.
(b) Se a sequencia (n ) e innita, ent
ao n 0.
(c) Cada autovalor = 0 de T aparece na sequencia (n ). O subespaco de
autovetores correspondente E tem dimens
ao nita. A dimens
ao de E coincide
com o n
umero de vezes que aparece na sequencia (n ).
Demonstra
c
ao. (a) Aplicando a proposicao anterior obtemos 1 R, e
x1 E, com x1  = 1, tais que
|1 | = T .

T x1 = 1 x1 ,

Seja E1 = [x1 ] o subespaco gerado por x1 . N

ao e difcil vericar que o subespaco

E1 e invariante sob T , ou seja T (E1 ) E1 . De fato, para cada x E1 tem-se

que
(T x|x1 ) = (x|T x1 ) = (x|1 x1 ) = 1 (x|x1 ) = 0.

78

Se a restricao T |E1 e identicamente zero, entao o processo termina ai. Caso

contr
ario, aplicando a proposicao anteror a` restricao T |E1 , obtemos 2 R, e
x2 E1 , com x2  = 1, tais que
|2 | = T |E1 .

T x2 = 2 x2 ,

Procedendo por inducao obtemos uma sequencia (n ) R, com n = 0, e uma

sequencia correspondente (xn ) E, com xn  = 1, tais que

xn En1
,

T xn = n xn ,

|n | = T |En1


para cada n 2,

claro que a sequencia (|n |) e

onde En = [x1 , ..., xn ] para cada n 1. E
decrescente, e a sequencia (xn ) e ortonormal.
Suponhamos primeiro que a restricao T |En seja zero para algum n. Cada
x E pode ser escrito na forma
x = yn + zn , com yn En , zn En ,
e portanto
x=

n


(x|xj )xj + zn .

j=1

Como T |En = 0, segue que

Tx =

n


(x|xj )T xj =

j=1

n

j=1

(x|j xj )xj =

n


(x|xj )j xj

j=1
n


(x|T xj )xj =

j=1

n


(T x|xj )xj .

j=1

Isto prova a representacao (1) quando T |En = 0 para algum n.

(b) Suponhamos que a sequencia (n ) seja innita, mas n  0. Como (|n |)
e decrescente, existe  > 0 tal que |n |  para todo n. Como T e compacto,
a sequencia (T xn ) admite uma subsequencia convergente. Como T xn = n xn
e |n |  para todo n, segue que (xn ) admite uma subsequencia convergente.
Mas isto e absurdo, pois, sendo (xn ) ortonormal, segue que xn xm 2 = 2
sempre que n = m.
A seguir provaremos que a representacao (1) e valida quando a restricao
T |En e distinta de zero para cada n. Como no caso anterior escrevamos x =
yn + zn , com yn En , zn En . Como |n+1 | = T |En , segue que
T zn  T |En zn  |n+1 |x 0.
Segue que
T x = T yn + T zn = lim T yn = lim
n

79

n

j=1

(x|xj )T xj

(x|xj )j xj =

j=1

(T x|xj )xj .

j=1

(c) Suponhamos que exista um autovalor = 0 de T que n

ao apareca na
sequencia (n ). Seja x um autovetor correspondente, x = 0. Neste caso (x|xn ) =
0 para cada n, e segue de (1) que T x = 0, absurdo, pois T x = x, com = 0,
x = 0.
Suponhamos que um autovalor = 0 apareca p vezes na sequencia (n ).
Neste caso o subespaco E contem um subconjunto ortonormal formado por
p vetores xn1 , ..., xnp , e dai dimE p. Se fosse dimE > p, ent
ao existiria
x E , com x = 0 e (x|xnj ) = 0 para j = 1, ..., p. Dai (x|xn ) = 0 para todo n,
e seguiria de novo de (1) que T x = 0, absurdo. Logo dimE = p.
Exerccios
23.A. Seja S L(2 ; 2 ) denido por
S : (1 , 2 , 3 , ...) (0, 1 , 2 , 3 , ...).
(a) S e injetivo?
(b) S e sobrejetivo?
(c) S e compacto?
(d) Determine o adjunto S de S
23.B. Seja T L(E; F ) um operador de posto nito. Prove que T admite
uma representacao da forma
Tx =

n


(x|ak )bk

k=1

para cada x E, onde ak E e bk F .

23.C. Seja T L(2 ; 2 ) o operador denido por
T : (1 , 2 , 3 , ...) (1 ,

2 3
, , ...).
2 3

Prove que T e um operador compacto e auto-adjunto.

80

24. Espa
cos localmente convexos
24.1. Deni
c
ao. Diremos que E e um espaco vetorial topol
ogico sobre K
se se vericam as seguintes condicoes:
(a) E e um espaco vetorial sobre K.
(b) E e um espaco topol
ogico.
(c) As seguintes aplicacoes sao contnuas:
(x, y) E E x + y E,
(, x) K E x E.

24.2. Proposi
c
ao. Seja E um espaco vetorial topol
ogico. Ent
ao:
(a) Para cada a E, a aplicac
ao x E a + x E e um homeomorsmo.
(b) Para cada = 0 em K, a aplicac
ao x E x E e um homeomorsmo.
Demonstra
c
ao. (a) segue da continuidade da aplicacao (x, y) E E
x + y E. (b) segue da continuidade da aplicacao (, x) K E x E.
24.3. Corol
ario. Seja E um espaco vetorial topol
ogico. Ent
ao:
(a) Para cada a E, U e uma vizinhanca de zero se e s
o se a + U e uma
vizinhanca de a.
(b) Para cada = 0 em K, U e uma vizinhanca de zero se e s
o se U e
uma vizinhanca de zero.
24.4. Deni
c
ao. Seja E um espaco vetorial sobre K.
(a) Um conjunto A E e dito convexo se (1 )x + y A para todo
x, y A e 0 1.
(b) Um conjunto A E e dito equilibrado se x A para todo x A e
|| 1.
(c) Um conjunto A E e dito absorvente se dado x E, existe > 0 tal
que x A para todo || .
24.5. Exemplo. Se E e um espaco vetorial topol
ogico, ent
ao e f
acil ver
que cada vizinhanca de zero em E e um conjunto absorvente. Basta usar a
continuidade da aplicacao K x E em zero para x E xo.
24.6. Deni
c
ao. Diremos que E e um espaco localmente convexo se E
e um espaco vetorial topol
ogico tal que cada vizinhanca de zero contem uma
vizinhanca convexa de zero.
24.7. Proposi
c
ao. Seja E um espaco localmente convexo. Ent
ao cada
vizinhanca de zero contem uma vizinhanca convexa e equilibrada de zero.
Demonstra
c
ao. Seja U uma vizinhanca de zero em E. Seja U1 uma vizinhanca convexa de zero em E, U1 U . Como a aplicacao
(, x) K E x E
81

e contnua em (0, 0), existem > 0 e uma vizinhanca V de zero em E tais que
x U1 para todo || e x V . Seja

V.
V1 =
||

Ent
ao V1 e uma vizinhanca equilibrada de zero em E, V1 U1 . Seja
n
n


j xj : xj V1 , j 1,
j = 1}.
W ={
j=1

j=1

Ent
ao W e o menor subconjunto convexo de E que contem V1 . Como V1 e
equilibrado, segue que W e equilibrado. Como V1 U1 , e U1 e convexo, segue
que W U1 . Segue que W e uma vizinhanca convexa e equilibrada de zero em
E, W U .
f
24.8. Exemplos. (a) E
acil ver que cada espaco normado E e um espaco
localmente convexo. As bolas B(0; ), com  > 0, formam uma base de vizinhancas convexas e equilibradas de zero.
(b) Seja E um espaco normado. Dados x0 E, 1 , ..., n E  e  > 0,
consideremos o conjunto
U (x0 ; 1 , ..., n ; ) = {x E : sup |j (x x0 | < }.
1jn

Diremos que um conjunto U E e aberto para a topologia fraca, que denotaremos por (E, E  ), se para cada x0 U , U contem um conjunto da forma
f
U (x0 ; 1 , ..., n ; ). E
acil ver que (E, (E, E  )) e um espaco localmente convexo. Os conjuntos da forma U (0; 1 , ..., n ; ), com 1 , ..., n E  e  > 0,
formam uma base de vizinhancas convexas e equilibradas de zero.
(c) Seja E um espaco normado. Dados 0 E  , x1 , ..., xn E e  > 0,
consideremos o conjunto
U (0 ; x1 , ..., xn ; ) = { E  : sup |( 0 )(x)| < }.
1jn

Diremos que um conjunto U E  e aberto para a topologia fraca-estrela, que

denotaremos por (E  , E), se para cada 0 U , U contem um conjunto da
f
forma U (0 ; x1 , ..., xn ; ). E
acil ver que (E  , (E  , E)) e um espaco localmente
convexo. Os conjuntos da forma U (0; x1 , ..., xn ; ), com x1 , ..., xn E e  > 0,
formam uma base de vizinhancas convexas e equilibradas de zero.
(d) Seja X um espaco topol
ogico, e seja C(X) o espaco vetorial de todas as
funcoes contnuas f : X K. Dados f0 C(X), K X compacto e  > 0,
consideremos o conjunto
U (f0 , K, ) = {f C(X) : sup |f (x) f0 (x)| < }.
xK

82

Diremos que um conjunto U C(X) e aberto para a topologia compacto-aberta,

que denotaremos por 0 , se para cada f0 U , U contem um conjunto da forma
f
U (f0 , K, ). E
acil ver que (C(X), 0 ) e um espaco localmente convexo. Os
conjuntos da forma U (0, K, ), com K X compacto e  > 0, formam uma
base de vizinhancas convexas e equilibradas de zero.
24.9. Deni
c
ao. Seja E um espaco vetorial. Uma funcao p : E R e
chamada de seminorma se verica as seguintes condicoes:
(a) p(x) 0 para todo x E.
(b) p(x) = ||p(x) para todo x E, K.
(c) p(x + y) p(x) + p(y) para todo x, y E.
Uma seminorma p e uma norma se e so se p(x) = 0 implica x = 0.
24.10. Proposi
c
ao. Seja E um espaco vetorial, e seja p uma seminorma
em E. Ent
ao o conjunto
Vp, = {x E : p(x) < }
e convexo, equilibrado e absorvente, para cada  > 0.
A demonstracao desta proposicao e simples, e e deixada como exerccio.
24.11. Deni
c
ao. Seja E um espaco vetorial, e seja A um subconjunto
absorvente de E. A funcao pA : E R denida por
pA (x) = inf{ > 0 : x A}
e chamada de funcional de Minkowski de A.
24.12. Proposi
c
ao. Seja E um espacoi vetorial, e seja A um subconjunto
convexo, equilibrado e absorvente de E. Ent
ao:
(a) pA e uma seminorma em E.
(b) {x E : pA < 1} A {x E : pA (x) 1}.
claro que pA (x) 0 para todo x E. A seguir
Demonstra
c
ao. (a) E
provemos que
pA (x) = ||pA (x) para todo x E, K.
Isto e claro se = 0. Se = 0, ent
ao, como A e equilibrado, temos que
pA (x) = inf{ > 0 : x A} = inf{ > 0 : ||x A}
= inf{ > 0 : x

A} = inf{|| : > 0, x A} = ||pA (x).

||

Finalmente provemos que

pA (x + y) pA (x) + pA (y) para todo x, y E.

83

Dado  > 0, existem , > 0 tais que x A, < pA (x) + , x A,

< pA (x) + . Como A e convexo,
x + y A + A = ( + )(

A+
A) ( + )A.
+
+

Segue que
pA (x + y) + pA (x) + pA (y) + 2.
Como  > 0 e arbitr
ario, a conclus
ao desejada segue.
(b) e claro.

84

25. O teorema de Hahn-Banach em espa

cos localmente convexos
Se E e um espaco vetorial topol
ogico, denotaremos por E  o espaco vetorial
dos funcionais lineares contnuos : E K. Um exame da demonstracao do
teorema de Hahn-Banach em espacos normados mostra o teorema seguinte.
25.1. Teorema de Hahn-Banach. Seja E um espaco vetorial, e seja M0
um subespaco de E. Seja p : E R uma seminorma, e seja 0 : M0 K
um funcional linear tal que |0 (x)| p(x) para todo x M0 . Ent
ao existe um
funcional linear : E K tal que:
(a) (x) = 0 (x) para todo x M0 ;
(b) |(x)| p(x) para todo x E.
25.2. Corol
ario. Seja E um espaco localmente convexo, e seja M0 um
subespaco de E. Ent
ao, dado 0 M0 , sempre existe E  tal que (x) =
0 (x) para todo x M0 .
Demonstra
c
ao. O conjunto
U = {x M0 : |0 (x)| < 1}
e uma vizinhanca aberta de zero em M0 . Seja V uma vizinhanca aberta de zero
em E tal que V M0 = U . Seja W uma vizinhanca convexa e equilibrada de
zero em E tal que W V . Ent
ao W M0 U e
{x E : pW (x) < 1} W {x E : pW (x) 1}.
Se x M0 e pW (x) < 1, segue que |0 (x)| < 1, e dai segue que |0 (x)| pW (x)
para todo x M0 . Pelo teorema anterior existe um funcional linear : E K
tal que (x) = 0 (x) para todo x M0 e |(x)| pW (x) para todo x E.
Segue que |(x)|  para todo x W . Em particular e contnuo.
25.3. Corol
ario. Seja E um espaco localmente convexo de Hausdor.
Ent
ao, dado x = 0 em E, sempre existe E  tal que (x) = 0.
Demonstra
c
ao. Sendo E um espaco de Hausdor, existe uma vizinhanca
U de zero tal que x
/ U . Sem perda de generalidade podemos supor que U e
equilibrada. Isto implica que || < 1 sempre que x U , e portanto
(1)

|| <  sempre que x U.

Seja M0 = [x], e seja 0 : M0 K denido por 0 (x) = . 0 e claramente

linear, e segue de (1) que 0 e contnuo. Pelo corol
ario anterior existe E 
tal que (y) = 0 (y) para todo y M0 . Em particular (x) = 1 = 0.
25.4. Corol
ario. Seja E um espaco vetorial topol
ogico, seja A um subconjunto convexo, equilibrado e aberto de E, e seja b E \ A. Ent
ao existe E 
tal que (b) 1 e |(a)| < 1 para todo a A.
Demonstra
c
ao. Pela Proposicao 24.12
{x E : pA (x) < 1} A {x E : pA (x) 1}.
85

Como A e aberto, segue que

A = {x E : pA < 1},
e portanto pA (b) 1.
Seja M0 = [b], e seja 0 : M0 K denido por 0 (b) = pA (b) para todo
. 0 e claramente linear e |0 (b)| = pA (b) para todo . Pelo Teorema 25.1
existe E tal que (b) = pA (b) para todo e |(x)| pA (x) para todo
x E. Em particular e contnuo, (b) = pA (b) 1 e |(a)| pA (a) < 1 para
todo a A.
25.5. Corol
ario. Seja E um espaco localmente convexo, seja A um subconjunto convexo, equilibrado e fechado de E, e seja b E \ A. Ent
ao existe
E  tal que (b) > 1 e |(a)| 1 para todo a A.
Demonstra
c
ao. Seja U uma vizinhanca convexa e equilibrada de zero tal
que (b + 2U ) A = , e portanto (b + U ) (A + U ) = . Seja C = A + U . Pela
Proposicao 24.12
{x E : pC (x) < 1} C {x E : pC (x) 1}.
Como C e fechado, segue que
C = {x E : pC (x) 1},
e portanto pC (b) > 1.
Seja M0 = [b], e seja 0 : M0 K denido por 0 (b) = pC (b) para todo
pC (b). 0 e claramente linear e 0 (b) = pC (b) para todo . Pelo Teorema
25.1 existe E tal que (b) = pC (b) para todo e |(x)| pC (x) para
todo x E. Em particular e contnuo, (b) = pC (b) > 1 e |(a)| pC (a) 1
para todo a A.

86

26. A topologia fraca

Seja E um espaco normado. Lembremos que a topologia fraca (E, E  ), e
a topologia que admite como base de vizinhancas de x0 E os conjuntos da
forma
U (x0 ; 1 , ..., n ; ) = {x E : |j (x x0 )| <  para 1 j n},
com 1 , ..., n E  e  > 0. Denotemos por E a topologia da norma em
E. Como cada vizinhanca U (0; 1 , ..., n ; ) contem uma bola, e claro que
(E, E  ) E .
26.1. Observa
c
ao. Nao e difcil provar que cada vizinhanca da forma
U (0; 1 , ..., n ; ) contem uma vizinhanca da forma U (0; 1 , ..., m ; ), com 1 , ..., m
linearmente independentes.
26.2. Proposi
c
ao. Se E e um espaco normado, ent
ao (E, (E, E  )) = E  .
Demonstra
c
ao. Como (E, E  )) E , e claro que
(E, (E, E  )) E  .
Para provar a inclus
ao oposta, seja E  . Como
U (0; ; ) = {x E : |(x)| < },
e claro que e (E, E  )-contnua.
O lema seguinte e muito u
til.
26.3. Lema. Seja E um espaco vetorial, e sejam 1 , ..., n , E  tais que
n


1
1
(0).
j (0)

j=1

Ent
ao e combinac
ao linear de 1 , ..., n .
Demonstra
c
ao. Seja T : E Kn denida por
T x = (1 (x), ..., n (x)).
Ent
ao T e linear, e segue da hip
otese que T 1 (0) 1 (0). Se denimos
: T (E) K por (T x) = (x), ent
ao esta bem denida e e linear. Seja
n
: K K uma transformacao linear tal que |T (E) = . Se (e1 , ..., en ) e a
base canonica de Kn , ent
ao
(x) = (T x) = (T x) = (1 (x), ..., n (x))
n
n


j (x)(ej ).
j (x)ej ) =
= (
j=1

j=1

87

26.4. Corol
ario. Seja E um espaco vetorial, e sejam 1 , ..., n E
funcionais lineares linearmente independentes. Ent
ao:
(a) Existen vetores x1
, ..., xn E tais que j (xk ) = jk para j, k = 1, ...n.
n
(b) E = [x1 , ..., xn ] j=1 1
j (0) algebricamente.
26.5. Proposi
c
ao. Seja E um espaco normado. Ent
ao (E, E  ) = E se
es
o se E tem dimens
ao nita.
Demonstra
c
ao. Suponhamos que E tenha dimens
ao nita. Seja (e1 , ..., en )
uma base de E, e seja (1 , ..., n ) a base dual. Seja T : E n o isomorsmo
can
onico, ou seja T x = (1 (x), ..., n (x)) para cada x E. Ent
ao T e um
isomorsmo topol
ogico, e T transforma a vizinhanca U (0; 1 , ..., n ; ) na bola
B(0; ). Isto prova que as topologias (E, E  ) e E coincidem.
Reciporocamente suponhamos que (E, E  ) = E . Ent
ao a bola BE contem
uma vizinhanca da forma U (1 , ...n ; ), com 1 , ..., n linearmente independentes. Assim temos que
BE U (0; 1 , ..., n ; )

n


1
j (0).

j=1

Pelo Corol
ario 26.4 existem vetores x1 , ..., xn E tais que
E = [x1 , ..., xn ]

n


1
j (0).

j=1

ao pode conter um subespaco vetorial n

ao trivial, conclumos
Como
na bola BE n
que j=1 1
(0)
=
{0},
e
portanto
E
=
[x
,
...,
x
]
tem
dimens
ao nita.
1
n
j

88

27. A topologia fraca estrela

Seja E um espaco normado. Lembremos que a topologia fraca estrela (E  , E),
e a topologia que admite como base de vizinhancas de 0 E  os conjuntos da
forma
U (0 ; x1 , ..., xn ; ) = { E  : |( 0 )(xj )| <  para 1 j n},
claro que (E  , E) (E  , E  ) E
.
com x1 , ..., xn E e  > 0. E
27.1. Observa
c
ao. Nao e difcil provar que cada vizinhanca da forma
U (0; x1 , ..., xn ; ) contem uma vizinhanca da forma U (0; y1 , ..., ym ; ), com y1 , ..., ym
linearmente independentes.
27.2. Proposi
c
ao. Se E um espaco normado, ent
ao (E  , (E  , E)) = E.
Demonstra
c
ao. Cada x E dene um funcional linear
x
: E  (x) K,
que e claramente contnuo para (E  , E). Isto prova que
E (E  , (E  , E)) .
Para provar a inclus
ao oposta, seja T (E  , (E  , E)) . Ent
ao existem x1 , ..., xn
E e  > 0 tais que
U (0; x1 , ..., xn ; ) { E  : |T ()| < 1}.
Segue que

n


1
x
1
(0).
j (0) T

j=1

Pelo Lema 26.3 T e combinacao linear dos funcionais x

j , ou seja
T () =

n


n

j (xj ) = (
j xj )

j=1

j=1

, onde x =
para cada E  . Assim T = x

n
j=1

j xj .

27.3. Proposi
c
ao. Seja E um espaco normado. Ent
ao (E  , E) = E
se
e s
o se E tem dimens
ao nita.
Demonstra
c
ao. Suponhamos que E tenha dimens
ao nita. Seja (e1 , ..., en )
uma base de E, e seja (1 , ..., n ) a base dual. Seja T : E  n o isomorsmo
can
onico, ou seja T = ((e1 ), ..., (en )) para cada E  . Ent
ao T e um
isomorsmo topol
ogico, e T transforma a vizinhanca U (0; e1 , ..., en ; ) na bola
B(0; ) . Isto prova que as topologias (E  , E) e E
coincidem.
Reciprocamente, suponhamos que (E  , E) = E
. Segue que (E  , E  ) =
E
. Pela Proposicao 26.5 E  tem dimensao nita. Logo E tem dimensao nita.

89

27.4. Teorema de Goldstine. Seja E um espaco normado. Ent

ao:
(E

,E
)

(a) BE

= B E


(b) E = E

(E

,E
)

Demonstra
c
ao. Basta provar (a), pois (b) e conseq
uencia imediata de (a).



E claro que BE BE

, e que BE

e (E , E )-fechada. Logo

(E

,E
)

BE

BE

.

Para provar a inclus

ao oposta suponhamos que exista
(E

,E
)

y  BE

\ B E

(E

,E
)

Como B E
e convexo, equilibrado e (E  , E  )-fechado, o Teorema 25.5
garante a existencia de T (E  , (E  , E  )) tal que
(E

,E
)

|T (y  )| > sup{|T (x )| : x B E

}.

Como (E  , (E  , E  )) = E  , pela Proposicao 27.2, existe y  E  tal que

T (y  ) = y  (y  ) para todo y  E  . Logo
|y  (y  )| > sup{|y  (x)| : x BE } = y  .
ao |y  (z  )| > 1, absurdo, pois z  BE
e y  BE

.
Seja z  = y  /y  . Ent
27.5. Teorema de Alaoglu. Se E e um espaco normado, ent
ao a bola

BE
e (E , E)-compacta.
Demonstra
c
ao. Seja T : E  KE denida por
T () = ((x))xE .
Ent
ao T e um isomorsmo topol
ogico entre (E  , (E  , E)) e sua imagem em KE .
Se D(0; r) denota a bola fechada de centro 0 e raio r em K, ent
ao e claro que

T (BE
)
D(0; x).
xE


Para comPelo teorema de Tychono o produto xE D(0; x) e compacto.

pletar a demonstracao basta provar que T (BE
) e fechado em xE D(0; x).
Seja (i ) uma rede em BE
tal que (T (i )) converge a g em xE D(0; x),
ou seja i (x) g(x) para cada x E. Como cada i e linear, e facil ver que g
e linear. E como g(x) D(0; x||) para cada x E, concluimos que g BE
.
27.6. Teorema. Um espaco normado E e reexivo se e s
o se a bola BE e

(E, E )-compacta.
Demonstra
c
ao. Suponhamos que E seja reexivo. Sabemos que a inclusao

can
onica E  E e uma isometria, e alem disso a topologia (E  , E  ) em E 
90

induz a topologia (E, E  ) em E. Assim, se E e reexivo, ent

ao BE = BE





e as topologias (E, E ) e (E , E ) coincidem em BE = BE

. Como BE


e (E  , E  )-compacto, pelo Teorema de Alaoglu, segue que BE e (E, E  )compacto.
Reciprocamente suponhamos que a bola BE seja (E, E  )-compacta. Pelo
Teorema de Goldstine temos que
(E

,E
)

BE

= B E

Assim, dado x BE

, existe uma rede (xi ) BE tal que

x , x  = limx , xi 
para todo x E  . Como a bola BE e (E, E  )-compacta, a rede (xi ) admite
uma subrede (x(j) ) que converge fracamente a um ponto x BE , ou seja
x , x = limx , x(j) ).
Segue que

x , x  = limx , x(j)  = x , x

para todo x E  , e portanto x = x. Logo BE

= BE , e E e reexivo.

91