Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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. Denicao. Se E e um espaco vetorial, entao uma fun cao 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 espa co 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. Denicao. Sejam a E e r > 0. A bola aberta de centro a e raio r e
o conjunto
B
E
(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
S
E
(a; r) = x E : |x a| = r.
Se a = 0 e r = 1, escreveremos B
E
, B
E
e S
E
em lugar de B
E
(0; 1), B
E
(0; 1) e
S
E
(0; 1), respectivamente.
1.3. Denicao. Dada uma aplica cao linear T : E F, seja |T| denido
por
|T| = sup|Tx| : x E, |x| 1.
T e dita limitada se |T| < .
1.4. Proposicao. Dado uma aplica cao linear T : E F, as seguintes
condicoes sao equivalentes:
(a) T e limitada.
(b) T e uniformemente contnua.
(c) T e contnua.
(d) T e contnua na origem.
1
Demonstra cao. (a) (b): Se T e limitada, ent ao
|Tx| |T| para todo x E, |x| 1,
e portanto
|Tx| |T||x| para todo x E.
Segue que
|Tx Ty| |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 (x
n
) em
E tal que |x
n
| 1 e |Tx
n
| n para cada n. Seja y
n
= x
n
/|Tx
n
| para cada
n. Ent ao |y
n
| 1/n e |Ty
n
| = 1 para cada n. Logo T n ao seria contnuo na
origem.
1.5. Corolario. Seja T : E F uma aplica cao linear. Entao T e contnua
se e s o se existe uma constante c > 0 tal que
|Tx| c|x| para todo x E.
1.6. Denicao. Denotaremos por L
a
(E; F) o espaco vetorial de todas as
aplica coes lineares T : E F. Denotaremos por L(E; F) o subespaco de todas
os T L
a
(E; F) que sao contnuas. Os elementos de L
a
(E; F) sao usualmente
chamados de operadores lineares.
, 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
|Tx| = |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 equiv-
alentes se a aplicacao identidade de (E, |.|
1
) em (E, |.|
2
) e um isomorsmo
topol ogico.
1.7. Corolario. Seja T L
a
(E; F). Entao T e um mergulho topol ogico se
e s o se existem constantes b a > 0 tais que
a|x| |Tx| b|x| para todo x E.
2
1.8. Corolario. Seja E um espa co vetorial. Duas normas |.|
1
e |.|
2
em
E s ao equivalentes se e s o se existem constantes b a > 0 tais que
a|x|
1
|x|
2
b|x|
1
para todo x E.
1.9. Proposicao. A fun cao T |T| e uma norma em L(E; F). Se F e
um espa co de Banach, entao L(E; F) tambem e um espa co de Banach.
Demonstra cao.
E f acil vericar que a fun cao T |T| e uma norma em
L(E; F). Provaremos que L(E; F) e completo se F e completo. Seja (T
n
) uma
sequencia de Cauchy em L(E; F). Ent ao, dado > 0, existe n
0
N tal que
|T
n
T
m
|
para todo n, m n
0
. Segue que
(1) |T
n
x T
m
x| |T
n
T
m
||x| |x|
para todo n, m n
0
e x E. Segue que (T
n
x) e uma sequencia de Cauchy em
F para cada x E. Como por hip otese F e completo, existe o limite lim
n
T
n
x
para cada x E. Denamos T : E F por Tx = lim
n
T
n
x para cada x E.
) e
um isomorsmo topol ogico. Calcule |I| e |I
1
|.
1.I. Dado T L(E; F), prove que:
|T| = sup|Tx| : x E, |x| < 1
= sup|Tx| : x E, |x| = 1
= sup
|Tx|
|x|
: x E, x ,= 0
= infc > 0 : |Tx| c|x| para todo x E.
4
2. Desigualdades de H older e Minkowski para somas
2.1. Lema. Sejam a, b, , > 0, com + = 1. Entao:
(1) a
a +b,
com igualdade se e so se a = b.
Demonstra cao. Queremos provar que
a
b
1
a + (1 )b,
ou seja
(2)
_
a
b
_
a
b
+ 1 .
Consideremos a fun cao
(t) = t + 1 t
(t > 0).
Ent ao
(t) = t
1
.
Como 0 < < 1, segue que
j=1
[
j
j
[
j=1
[
j
[
p
1/p
j=1
[
j
[
q
1/q
.
Demonstra cao. Aplicando o lema anterior, com
a
j
=
[
j
[
p
n
j=1
[
j
[
p
, b
j
=
[
j
[
q
n
j=1
[
j
[
q
, =
1
p
, =
1
q
,
obtemos
[
j
j
[
_
n
j=1
[
j
[
p
_
1/p
_
n
j=1
[
j
[
q
_
1/q
a
j
p
+
b
j
q
5
para j = 1, ..., n. Somando estas desigualdades, segue que
n
j=1
[
j
j
[
_
n
j=1
[
j
[
p
_
1/p
_
n
j=1
[
j
[
q
_
1/q
1
p
n
j=1
a
j
+
1
q
n
j=1
b
j
=
1
p
+
1
q
= 1,
completando a demonstra cao.
2.3. Corolario (desigualdade de Cauchy-Schwarz para somas). Se-
jam (
1
, ...,
n
), (
1
, ...,
n
) K
n
. Entao:
n
j=1
[
j
j
[
j=1
[
j
[
2
1/2
j=1
[
j
[
2
1/2
.
2.4. Denicao. 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. Corolario (desigualdade de Holder para series). Sejam 1 <
p, q < , com
1
p
+
1
q
= 1, e sejam (
j
)
p
e (
j
)
q
. Entao (
j
j
)
1
e
j=1
[
j
j
[
j=1
[
j
[
p
1/p
j=1
[
j
[
q
1/q
.
2.6. Corolario (desigualdade de Cauchy-Schwarz para series). Se-
jam (
j
), (
j
)
2
. Entao (
j
j
)
1
e
j=1
[
j
j
[
j=1
[
j
[
2
1/2
j=1
[
j
[
2
1/2
.
2.7. Teorema (desigualdade de Minkowski para somas). Sejam
1 p < , e (
1
, ...,
n
), (
1
, ...,
n
) K
n
. Entao:
j=1
[
j
+
j
[
p
1/p
j=1
[
j
[
p
1/p
+
j=1
[
p
j
1/p
.
Demonstra cao. A desigualdade e clara se p = 1. Se p > 1, temos que:
n
j=1
[
j
+
j
[
p
=
n
j=1
[
j
+
j
[[
j
+
j
[
p1
j=1
[
j
[[
j
+
j
[
p1
+
n
j=1
[
j
[[
j
+
j
[
p1
.
6
Como (p 1)q = p, segue da desigualdade de H older que
n
j=1
[
j
[[
j
+
j
[
p1
j=1
[
j
[
p
1/p
j=1
[
j
+
j
[
p
1/q
e
n
j=1
[
j
[[
j
+
j
[
p1
j=1
[
j
[
p
1/p
j=1
[
j
+
j
[
p
1/q
.
Logo
n
j=1
[
j
+
j
[
p
j=1
[
j
[
p
1/p
+
j=1
[
j
[
p
1/p
j=1
[
j
+
j
[
p
1/q
.
Como 1
1
q
=
1
p
, segue que
j=1
[
j
+
j
[
p
1/p
j=1
[
j
[
p
1/p
+
j=1
[
j
[
p
1/p
,
completando a demonstra cao.
2.8. Corolario (desigualdade de Minkowski para series). Seja 1
p < , e sejam (
j
), (
j
)
p
. Entao (
j
+
j
)
p
e
j=1
[
j
+
j
[
p
1/p
j=1
[
j
[
p
1/p
+
j=1
[
j
[
p
1/p
.
7
3. Espa cos normados de sequencias
3.1. Exemplo. Dado 1 p < , denamos
|x|
p
=
j=1
[
j
[
p
1/p
para cada x = (
1
, ...,
n
) K
n
. Segue da desigualdade de Minkowski que a
fun cao |.|
p
e uma norma em K
n
. Denotaremos por K
n
p
o espaco vetorial K
n
,
munido da norma |.|
p
. N ao e difcil provar que K
n
p
e um espaco de Banach.
3.2. Exemplo. Denamos
|x|
= max[
1
[, ..., [
n
[
para cada x = (
1
, ...,
n
) K
n
.
E f acil vericar que a fun cao |.|
e uma
norma em K
n
. Denotaremos por K
n
p
o espaco vetorial K
n
, munido da norma
|.|
e um espaco de Banach.
3.3. Exemplo. Dado 1 p < , lembremos que
p
= x = (
j
)
j=1
K :
j=1
[
j
[
p
< .
Segue da desigualdade de Minkowski para series que
p
e um espaco vetorial, e
a fun cao
|x|
p
=
j=1
[
j
[
p
1/p
e uma norma em
p
. Provaremos que
p
e de fato um espa co de Banach. Seja
(x
n
)
n=1
uma seq uencia de Cauchy em
p
. Escrevamos x
n
= (
nj
)
j=1
para cada
n. Ent ao, dado > 0, existe n
0
tal que
(1) |x
n
x
m
| =
j=1
[
nj
mj
[
p
1/p
para todo n, m n
0
. Em particular
[
nj
mj
[ |x
n
x
m
|
para todo n, m n
0
e todo j N. Logo (
nj
)
n=1
e uma seq uencia de Cauchy
em K para cada j N. Seja
j
= lim
n
nj
para cada j N, e seja x = (
j
)
j=1
.
Provaremos que x
p
e que (x
n
)
n=1
converge a x. De fato, segue de (1) que
(2)
j=1
[
nj
mj
[
p
1/p
8
para todo n, m n
0
e todo k N. Fazendo m em (2) segue que
j=1
[
nj
j
[
p
1/p
para todo n n
0
e todo k N. Logo
j=1
[
nj
j
[
p
1/p
para todo n n
0
. Assim x
n
x
p
e |x
n
x| para todo n n
0
. Segue
que x = (x x
n
) +x
n
p
e |x
n
x| 0.
3.4. Exemplo. Seja
= x = (
j
)
j=1
K : sup
j
[
j
[ < .
= sup
j
[
j
[
e uma norma em
e um espaco de Banach.
3.5. Exemplo. Sejam
c
0
= x = (
j
)
j=1
K : (
j
) converge a zero
e
c = x = (
j
)
j=1
K : (
j
) e convergente.
Nao e difcil provar que c
0
e c sao subespa cos fechados de
, e sao portanto
espacos de Banach.
Lembremos que um espaco metrico X e dito separ avel se existir um sub-
conjunto enumer avel D X que e denso em X, ou seja D = X. N ao e difcil
provar que o espa co K
n
p
e separavel para 1 p .
3.5. Proposicao.
p
e separ avel para cada 1 p < .
Demonstra cao. Seja
c
00
= x = (
j
)
j=1
K :
j
= 0 para todo j algum n
e seja
D = x = (
j
)
j=1
c
00
: cada
j
e racional.
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=n+1
[
j
[
p
<
p
.
9
Seja
y = (
1
, ...,
n
, 0, 0, 0, ...),
e seja
z = (
1
, ...,
n
, 0, 0, 0, ...),
com
1
, ...,
n
racionais tais que
n
j=1
[
j
j
[
p
<
p
.
Ent ao y c
00
, z D e
|x z|
p
|x y|
p
+|y z|
p
< 2.
Logo D e denso em
p
.
3.6. Proposicao.
n=1
um subconjunto enumer avel de
. Seja
x
n
= (
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 x
j
|
[
j
jj
[ 1
para todo j. Logo x
j
: j N n ao e denso em
.
Exerccios
3.A. Dados x K
n
e 1 p q < , prove que:
(a) |x|
q
|x|
p
.
(b) |x|
|x|
p
n
1/p
|x|
.
(c) |x|
= lim
p
|x|
p
.
Em particular todas as normas |.|
p
, com 1 p , sao equivalentes entre
si em K
n
.
3.B. Seja T : K
n
1
K
n
[f(x)[
p
p|f|
p
p
+
[g(x)[
q
q|g|
q
q
.
Integrando segue que
_
X
[fg[d
|f|
p
|g|
q
1
p
+
1
q
= 1,
completando a demonstra cao.
4.2. Corolario (desigualdade de Cauchy-Schwarz para integrais).
Sejam f, g L
2
(X, , ). Entao fg L
1
(X, , ) e
_
X
[fg[d
__
X
[f[
2
d
_
1/2
__
X
[g[
2
d
_
1/2
.
Dadas duas fun coes f, g : X R, as fun coes f g : X R e f g : X R
sao denidas por:
(f g)(x) = maxf(x), g(x),
(f g)(x) = minf(x), g(x).
12
4.3. Teorema (desigualdade de Minkowski para integrais). Seja
1 p < , e sejam f, g L
p
(X, , ). Entao f +g L
p
(X, , ) e
__
X
[f +g[
p
d
_
1/p
__
X
[f[
p
d
_
1/p
+
__
X
[g[
p
d
_
1/p
.
Demonstra cao. A desigualdade e clara se p = 1. Logo vamos supor que
p > 1. Como
[f +g[
p
([f[ +[g[)
p
2
p
([f[ [g[)
p
2
p
([f[
p
+[g[
p
),
segue que f +g L
p
(X, , ). Como
[f +g[
p
= [f +g[[f +g[
p1
[f[[f +g[
p1
+[g[[f +g[
p1
,
segue que
_
X
[f +g[
p
d
_
X
[f[[f +g[
p1
d +
_
X
[g[[f +g[
p1
d.
Temos que [f + g[
p1
L
q
(X, , ), pois (p 1)q = p e f + g L
p
(X, , ).
Usando a desigualdade de H older, segue que
_
X
[f[[f +g[
p1
d
__
X
[f[
p
d
_
1/p
__
X
[f +g[
p
d
_
1/q
.
De maneira an aloga
_
X
[g[[f +g[
p1
d
__
X
[g[
p
d
_
1/p
__
X
[f +g[
p
d
_
1/q
.
Logo
_
X
[f +g[
p
d
_
__
X
[f[
p
d
_
1/p
+
__
X
[g[
p
d
_
1/p
_
__
X
[f +g[
p
d
_
1/q
.
Como 1
1
q
=
1
p
, segue que
__
X
[f +g[
p
d
_
1/p
__
X
[f[
p
d
_
1/p
+
__
X
[g[
p
d
_
1/p
,
completando a demonstra cao.
13
5. Espa cos normados de fun coes
5.1. Exemplo. Seja X um conjunto n ao vazio, e seja B(X) o espaco
vetorial de todas as fun coes 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 fun coes contnuas f : X K. N ao e difcil vericar
que C(X) e um subespaco fechado de B(X), e e portanto um espa co de Banach.
5.3. Exemplo. Seja X um espaco topol ogico arbitr ario, e seja C
b
(X) o
espaco vetorial de todas as fun coes contnuas e limitadas f : X K. N ao e
difcil vericar que C
b
(X) e um subespa co 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 L
p
(X, , ) e um espaco vetorial, e a
fun cao
|f|
p
=
__
X
[f[
p
d
_
1/p
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 +g|
p
|f|
p
+|g|
p
.
Estas propriedades mostram que a fun cao |.|
p
tem quase todas as pro-
priedades de uma norma. S o n ao verica a propriedade (b) da deni cao de
norma. Para obter uma norma, vamos introduzir uma rela cao de equivalencia
em L
p
(X, , ) da maneira seguinte. Dadas f, g L
p
(X, , ), denimos f g
se f(x) = g(x) quase sempre.
E claro que esta e uma relacao de equivalencia
em L
p
(X, , ). Seja L
p
(X, , ) o conjunto das classes de equivalencia. Dadas
[f], [g] L
p
(X, , ) e K, denimos
[f] + [g] = [f +g], [f] = [f].
E f acil vericar que estas opera coes estao bem denidas, e que L
p
(X, , ), com
estas operacoes, e um espaco vetorial. Alem disso, a aplicacao quociente
: f L
p
(X, , ) [f] L
p
(X, , )
e linear. Se denimos
|[f]|
p
= |f|
p
14
para cada [f] L
p
(X, , ), e f acil vericar que esta fun cao esta bem denida,
e e uma norma em L
p
(X, , ). Antes de provar que L
p
(X, , ) e completo,
vamos precisar de um resultado auxiliar.
5.5. Denicao. (a) Uma serie
n=1
x
n
em E e dita convergente se a
sequencia de somas parciais s
n
=
n
j=1
x
j
e convergente em E.
(b) Uma serie
n=1
x
n
em E e dita absolutamente convergente ou absolu-
tamente somavel se
n=1
|x
n
| < .
5.6. Proposicao. Um espaco normado E e completo se e s o se cada serie
absolutamente convergente em E e convergente.
Demonstra cao. () Suponhamos E completo e
n=1
|x
n
| < . Se
m < n, ent ao
|s
n
s
m
| = |
n
j=m+1
x
j
|
n
j=m+1
|x
j
|.
Segue que (s
n
) e uma sequencia de Cauchy em E, e e portanto convergente.
() Suponhamos que cada serie absolutamente convergente em E seja con-
vergente. Para provar que E e completo, seja (x
n
) uma sequencia de Cauchy
em E. Ent ao existe uma sequencia estritamente crescente (n
j
) N tal que
|x
n
x
m
| 2
j
para todo n, m n
j
.
Em particular
j=1
|x
n
j+1
x
n
j
|
j=1
2
j
= 1.
Logo a serie
j=1
(x
n
j+1
x
n
j
) e convergente em E. Como
x
n
1
+
k
j=1
(x
n
j+1
x
n
j
) = x
n
k+1
,
concluimos que a sequencia (x
n
k
) converge em E. Assim (x
n
) e uma sequencia
de Cauchy em E, que admite uma subsequencia convergente. Segue que (x
n
) e
convergente.
5.7. Teorema. L
p
(X, , ) e um espa co de Banach sempre que 1 p < .
Demonstra cao. Para provar que L
p
(X, , ) e completo, seja
n=1
[f
n
]
uma serie absolutamente convergente em L
p
(X, , ), ou seja
n=1
|[f
n
]| =
n=1
|f
n
| < .
15
Seja g : X [0, ] denida por
g(x) =
n=1
[f
n
(x)[ = lim
n
n
j=1
[f
j
(x)[.
Pelo teorema da convergencia monotona,
_
X
g
p
d = lim
n
_
X
j=1
[f
j
[
p
.
Pela desigualdade de Minkowski,
__
X
g
p
d
_
1/p
= lim
n
|
n
j=1
[f
j
[|
p
lim
n
n
j=1
|f
j
|
p
=
j=1
|f
j
|
p
< .
Assim g L
p
(X, , ), e g(x) < quase sempre. Seja
N = x X : g(x) = ,
e seja f : X K denida por
f(x) =
j=1
f
j
(x) se x X N, f(x) = 0 se x N.
j=1
f
j
(x)[ 2g(x)
para todo x X e n N, o teorema da convergencia dominada garante que
lim
n
[f
n
j=1
f
j
[
p
d = 0.
Logo
lim
n
|[f]
n
j=1
[f
j
]|
p
= 0.
Os elementos do espaco L
p
(X, , ) sao classes de equivalencia de fun coes.
Mas na pr atica vamos considerar os elementos de L
p
(X, , ) como fun coes,
mas lembrando de identicar duas fun coes que coincidem quase sempre.
16
5.8. Exemplo. Seja L
(X, , ), denimos
|f|
quase sempre.
0;
(b) |f|
= [[|f|
;
(d) |f +g|
|f|
+|g|
.
A fun cao |.|
(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 opera coes estao bem denidas. Com estas operacoes L
(X, , ) e um
espaco vetorial, e a aplica cao quociente
: f L
(X, , ) [f] L
(X, , )
e linear. Se denimos
|[f]|
= |f|
(X, , ).
5.9. Proposicao. L
(X, , ).
E f acil achar N , com (N) = 0, tal
que
[f
n
(x)[ |f
n
|
para todo x X N, n N;
[f
m
(x) f
n
(x)[ |f
m
f
n
|
para todo x E N, m, n N.
Isto prova que (f
n
) e uma sequencia de Cauchy em B(X N). Como B(X N)
e um espaco de Banach, segue que (f
n
) converge uniformemente em X N.
Denamos
f(x) = lim
n
f
n
(x) se x X N, f(x) = 0 se x N.
17
Ent ao f L
(X, , ) e
|[f
n
] [f]|
= |f
n
f|
0.
Os elementos do espaco L
(X, , ) L
q
(X, , ), e a inclusao e contnua.
Sugest ao: Para provar (a), considere uma fun cao f L
q
(X, , ), e aplique
a desigualdade de H older ` as fun coes
= [f[
p
L
q
p
(X, , ), = 1 L
q
qp
(X, , ).
5.B. Use o teorema de aproximacao de Weierstrass para provar que o espa co
C[a, b] e separavel.
5.C. Seja X um espaco topol ogico. Diremos que uma fun cao 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 C
0
(X) o espaco vetorial de todas as
f C(X) que se anulam no innito. Prove que C
0
(X) e um subespaco fechado
de C
b
(X), e e portanto um espa co de Banach.
5.D. Use o teorema de aproximacao de Weierstrass para provar que o espa co
C
0
(R) e separavel.
5.E. Use o fato que C[a, b] e um subespaco denso de L
p
[a, b], para provar
que L
p
[a, b] e separavel sempre que 1 p < .
5.F. Seja U um aberto de C, e seja H
(U) e um
subespaco fechado de C
b
(U), e e portanto um espa co de Banach.
5.G. Dada uma fun cao f : [a, b] K, a varia cao total de f e denida por
V (f) = sup
n
j=1
[f(b
j
) f(a
j
)[,
onde o supremo e tomado sobre todos os a
j
, b
j
tais que
a a
1
b
1
a
2
b
2
... a
n
b
n
b.
Diremos que f tem varia cao 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 fun coes f : [a, b] K de
varia cao 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 dimensao nita
6.1. Teorema. Todos os espa cos normados de dimensao n sobre K s ao
topologicamente isomorfos entre si.
Demonstra cao. Seja E um espaco normado de dimensao n sobre K.
Provaremos que E e topologicamente isomorfo a K
n
2
.
Seja (e
1
, ..., e
n
) uma base de E. Seja T : K
n
2
E denida por
Tx =
n
j=1
j
e
j
para todo x = (
1
, ...,
n
) K
n
2
.
j=1
[
j
[|e
j
|
j=1
|e
j
|
2
1/2
|x|,
e portanto T e contnua. Para provar que T
1
e contnuo, consideremos a esfera
unit aria S de K
n
2
:
S = x = (
1
, ...,
n
) K
n
2
:
n
j=1
[
j
[
2
= 1.
Pelo teorema de Bolzano-Weierstrass, S e um subconjunto compacto de K
n
2
.
E
claro que |Tx| > 0 para todo x S. Logo existe c > 0 tal que |Tx| c para
todo x S, e portanto
|Tx| c|x| para todo x K
n
2
.
Logo T : K
n
2
E e um isomorsmo topol ogico.
6.2. Corolario. Cada espa co normado de dimens ao nita e completo.
6.3. Corolario. Cada subespa co de dimensao nita de um espaco normado
e fechado.
6.4. Corolario. Cada espaco normado de dimensao 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 espa co normado, e seja M um subespa co
fechado pr oprio de E. Dado , com 0 < < 1, existe y S
E
tal que
|y x| para todo x M.
20
Demonstra cao. Seja y
0
E M, e seja
d = d(y
0
, M) = inf|y
0
x| : x M.
Como M e fechado, d > 0. Seja x
0
M tal que
|y
0
x
0
|
d
.
Seja
y =
y
0
x
0
|y
0
x
0
|
.
E claro que y S
E
. Para cada x M temos:
|y x| =
|y
0
x
0
|y
0
x
0
|x|
|y
0
x
0
|
d
|y
0
x
0
|
.
Demonstra cao do teorema de Riesz. Seja E um espaco normado de
dimensao innita, seja x
1
S
E
, e seja M
1
= [x
1
], o subespa co de E gerado por
x
1
. Pelo lema de Riesz existe x
2
S
E
tal que
|x
2
x| 1/2 para todo x M
1
.
Em particular
|x
2
x
1
| 1/2.
Seja M
2
= [x
1
, x
2
], o subespa co de E gerado por x
1
e x
2
. Pelo lema de Riesz
existe x
3
S
E
tal que
|x
3
x| 1/2 para todo x M
2
.
Em particular
|x
3
x
j
| 1/2 para j = 1, 2.
Procedendo por indu cao podemos achar uma sequencia (x
n
) S
E
tal que
|x
m
x
n
| 1/2 sempre que m ,= n.
Logo a sequencia (x
n
) n ao admite nenhuma subseq uencia convergente. Logo
a esfera S
E
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 com-
pacto.
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,
M = f E :
_
1
0
f(t)dt = 0.
21
Suponhamos que exista g S
E
tal que |g f| 1 para todo f M. Dado
h E M, seja
=
_
1
0
g(t)dt
_
1
0
h(t)dt
.
Segue que g h M, e portanto
1 |g (g h)| = [[|h|,
ou seja
1
[
_
1
0
g(t)dt[
[
_
1
0
h(t)dt[
|h|.
Consideremos a sequencia de fun coes h
n
(t) = t
1/n
. Ent ao h
n
EM, |h
n
| = 1
e
_
1
0
h
n
(t)dt =
1
1
n
+ 1
1.
Segue que
1 [
_
1
0
g(t)dt[.
Mas como |g| = 1 e g(0) = 0, a continuidade de g em 0 implica que [
_
1
0
g(t)dt[ <
1, contradi cao. Logo n ao existe g S
E
tal que |g f| 1 para todo f M.
Exerccios
6.A. Seja E um espaco normado de dimensao nita, e seja M um subespa co
pr oprio de E. Prove que existe y S
E
tal que |y x| 1 para todo x M.
22
7. Completamento de espacos normados
7.1. Proposicao. Sejam E e F espacos normados, seja M um subespa co
denso de E, e seja T L(M; F). Entao existe um unico
T L(E; F) tal que
T| = |T|.
Demonstra cao. Dado x E, seja (x
n
) uma sequencia em M que converge
a x. Como
|Tx
m
Tx
n
| |T||x
m
x
n
|,
e F e completo, segue que a sequencia (Tx
n
) converge em F. Se denimos
Tx = lim
n
Tx
n
,
e facil ver que
Tx esta bem denido, ou seja, depende apenas de x, e n ao da
sequencia (x
n
) escolhida. Alem disso,
T : E F e linear e
Tx = Tx para todo
x M.
E f acil vericar que |
T| = |T|. A unicidade de
T segue da densidade
de M em E.
7.2. Teorema. Dado um espa co normado E, sempre existe um espa co de
Banach F tal que E e isometricamente isomorfo a um subespa co denso F
0
de
F. O espa co F e unico, a menos de um isomorsmo isometrico.
Demonstra cao. Seja C o espaco vetorial de todas as sequencias de Cauchy
X = (x
n
) em E. Como
[|x
m
| |x
n
|[ |x
m
x
n
| para todo m, n,
segue que (|x
n
|) e uma sequencia de Cauchy em R para cada X = (x
n
) C.
E claro que F
0
e um subespaco de F, e que E e isometricamente isomorfo a F
0
.
Para provar que F
0
e denso em F, sejam [X] F e > 0 dados. Se X = (x
n
),
ent ao existe n
0
N tal que
|x
m
x
n
| < para todo m, n n
0
.
Seja Y = (x
n
0
, x
n
0
, x
n
0
, ...). Ent ao [Y ] F
0
e
|[X] [Y ]| = |X Y | = lim
n
|x
n
x
n
0
| .
Para provar que F e completo, seja ([X
n
]) uma sequencia de Cauchy em F.
Como F
0
e denso em F, para cada n existe [Y
n
] F
0
tal que
|[X
n
] [Y
n
]| < 1/n.
Podemos supor que Y
n
= (y
n
, y
n
, y
n
, ...), com y
n
E, para cada n. Como
|y
m
y
n
| = |[Y
m
] [Y
n
]|
|[Y
m
] [X
m
]| +|[X
m
] [X
n
]| +|[X
n
] [Y
n
]|
1
m
+|[X
m
] [X
n
]| +
1
n
,
segue que Y = (y
n
) e uma sequencia de Cauchy em E. Como
|[X
n
] [Y ]| |[X
n
] [Y
n
]| +|[Y
n
] [Y ]|
1
n
+ lim
m
|y
n
y
m
|,
segue que lim
n
|[X
n
] [Y ]| = 0.
Para provar a unicidade de F, a menos de um isomorsmo isometrico, seja
G um outro espa co de Banach tal que E e isometricamente isomorfo a um
subespaco denso G
0
de G. Sejam S L(E; F
0
) e T L(T; G
0
) isomorsmos
isometricos. Ent ao U = T S
1
L(F
0
; G
0
) e V = S T
1
L(G
0
; F
0
)
sao tambem isomorsmos isometricos, V U = I
F
0
, e U V = I
G
0
. Pela
Proposi cao 7.1 existe
U L(F; G) tal que
U[F
0
= U, e existe
V L(G; F) tal
que
V [G
0
= V . Segue que
V
U = I
F
e
U
V = I
G
. Alem disso
U e
V sao
isomorsmos isometricos.
24
Exerccios
7.A. Seja P(R) o espaco vetorial de todos os polin omios P(x) =
n
j=0
a
j
x
j
,
com a
j
K e n N.
(a) Prove que |P| =
n
j=0
[a
j
[ 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
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 subespa co de E. Diremos que x, y
E sao equivalentes m odulo M, e escreveremos x = y(mod(M), se x y M.
n=1
X
n
uma serie absolutamente convergente em E/M. Para cada n existe
x
n
X
n
tal que
|x
n
| < |X
n
| + 2
n
,
e portanto
n=1
|x
n
| <
n=1
|X
n
| +
n=1
2
n
< .
Assim a serie
n=1
x
n
e absolutamente convergente, e portanto convergente,
pois E e completo. Sejam
s
n
=
n
j=1
x
j
, s = lim
n
s
n
=
j=1
x
j
, S
n
=
n
j=1
X
j
.
Ent ao e claro que s
n
S
n
para cada n. Como a aplicacao quociente : E
E/M e contnua, segue que S
n
= [s
n
] [s]. Logo a serie
j=1
X
j
e convergente
em E/M.
Exerccios
8.A. Seja E um espaco normado, seja M um subespa co fechado de E, e seja
: E E/M a aplica cao quociente.
27
(a) Se X
n
0 em E/M, prove que existe (x
n
) E tal que (x
n
) = X
n
para cada n, e x
n
0 em E.
(b) Se x E e X
n
(x) em E/M, prove que existe (x
n
) E tal que
(x
n
) = X
n
para cada n, e x
n
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. Denicao. Se E e um espaco vetorial, ent ao uma fun cao (x, y)
E E (x[y) K e chamado de produto interno se verica as seguintes
propriedades:
(a) (x
1
+x
2
[y) = (x
1
[y) + (x
2
[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 cao. De (a), (b) e (c) segue que:
(a) (x[y
1
+y
2
) = (x[y
1
) + (x[y
2
);
(b) (x[y) = (x[y).
Assim o produto interno e linear na primeira vari avel, e linear conjugado na
segunda vari avel.
9.3. Proposicao (desigualdade de Cauchy-Schwarz). Seja E e um
espaco com produto interno. Entao
[(x[y)[ |x||y|
para todo x, y E.
Demonstra cao. 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)[e
i
. Tomando = te
i
, com t R, segue que
0 t
2
(x[x) + 2t[(x[y)[ + (y[y)
para todo t R. Segue que = b
2
4ac 0, ou seja
4[(x[y)[
2
4(x[x)(y[y) 0,
completando a demonstra cao.
9.4. Corolario. Seja E um espa co com produto interno. Entao a fun cao
|x| = (x[x)
1/2
e uma norma em E.
29
Demonstra cao. Usando a desigualdade de Cauchy-Schwarz provaremos a
desigualdade triangular. As outras propriedades da norma s ao de verica cao
imediata.
|x +y|
2
= (x +y[x +y) = (x[x) + (x[y) + (y[x) + (y[y)
= |x|
2
+ 2Re(x[y) +|y|
2
|x|
2
+ 2|x||y| +|y|
2
= (|x| +|y|)
2
.
9.5. Denicao. Chamaremos de espaco de Hilbert a todo espa co com
produto interno que seja completo na norma denida pelo produto interno.
9.6. Exemplo. K
n
2
e um espaco de Hilbert com o produto interno
(x[y) =
n
j=1
j
se x = (
1
, ...,
n
) e y = (
1
, ...,
n
).
9.7. Exemplo.
2
e um espaco de Hilbert com o produto interno
(x[y) =
j=1
j
se x = (
j
) e y = (
j
).
9.8. Exemplo. L
2
(X, , ) e um espaco de Hilbert com o produto interno
(f[g) =
_
X
fgd.
9.9. Denicao. Seja E um espaco com produto interno. Diremos que
x, y E sao ortogonais, e escreveremos xy, se (x[y) = 0.
9.10. Proposicao (Teorema de Pitagoras). Seja E um espa co com
produto interno, e sejam x, y E, com xy. Entao
|x +y|
2
= |x|
2
+|y|
2
.
Demonstra cao.
|x +y|
2
= (x +y[x +y) = (x[x) + (x[y) + (y[x) + (y[y) = |x|
2
+|y|
2
.
9.11. Proposicao (Lei do paralelogramo). Seja E um espa co com
produto interno, e sejam x, y E dois vetores arbitr arios. Ent ao:
|x +y|
2
+|x y|
2
= 2|x|
2
+ 2|y|
2
.
30
Demonstra cao. Temos que
|x +y|
2
= (x +y[x +y) = (x[x) + (x[y) + (y[x) + (y[y),
|x y|
2
= (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 x
n
x e y
n
y em E,
prove que (x
n
[y
n
) (x[y) em K. Ou seja a aplica cao (x, y) EE (x[y)
K e contnua.
9.B. Seja E um espaco com produto interno. Sejam x
1
, ..., x
n
vetores nao
nulos, ortogonais entre si, ou seja x
j
x
k
sempre que j ,= k.
(a) Prove que os vetores x
1
, ..., x
n
sao linearmente independentes.
(b) Prove o teorema de Pit agoras generalizado: |
n
j=1
x
j
|
2
=
n
j=1
|x
j
|
2
.
9.C. Seja E e um espaco com produto interno real. Prove a f ormula de
polariza c ao
4(x[y) = |x +y|
2
|x y|
2
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 polariza cao do exerccio anterior dene um produto
interno em E que induz a norma original.
Sugest ao: Para provar a identidade (x
1
+x
2
[y) = (x
1
[y) + (x
2
[y), estude as
expressoes
|u +v +w|
2
+|u +v w|
2
e |u v +w|
2
+|u v +w|
2
.
9.E. Seja E um espaco com produto interno complexo. Prove a f ormula de
polariza c ao
4(x[y) = (|x +y|
2
|x y|
2
) +i(|x +iy|
2
|x iy|
2
)
para todo x, y E.
9.F. Seja E um espaco normado complexo que verica a lei do paralelo-
gramo. Prove que a f ormula de polariza cao do exerccio anterior dene um
produto interno em E que induz a norma original.
31
10. Projecoes ortogonais
10.1. Teorema. Seja E um espa co de Hilbert, e seja M um subespa co
fechado de E. Entao para cada x E existe um unico p M tal que
|x p| = d(x, M) = inf|x y| : y M.
Demonstra cao. Para provar existencia, seja d = d(x, M), e seja (p
n
) M
tal que
(1) |x p
n
| < d +
1
n
para cada n.
Pela lei do paralelogramo
2|x p
m
|
2
+ 2|x p
n
|
2
= |2x p
m
p
n
|
2
+|p
n
p
m
|
2
.
Segue que
|p
n
p
m
|
2
= 2|x p
m
|
2
+ 2|x p
n
|
2
4|x
p
m
+ p
n
2
|
2
< 2(d +
1
m
)
2
+ 2(d +
1
n
)
2
4d
2
<
4d
m
+
2
m
2
+
4d
n
+
2
n
2
.
Logo (p
n
) e uma sequencia de Cauchy em E. Como E e completo, e M e fechado
em E, concluimos que (p
n
) 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|x p|
2
+ 2|x q|
2
= |2x p q|
2
+|q p|
2
.
Segue que
|q p|
2
= 2|x p|
2
+ 2|x q|
2
4|x
p + q
2
|
2
2d
2
+ 2d
2
4d
2
= 0,
e portanto q = p.
10.2. Observa cao. 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.
.
Tem-se que
|x p| = d(x, M) e |x q| = d(x, M
).
(b) Se denimos Px = p e Qx = q para cada x E, entao P, Q L(E; E),
P
2
= P, Q
2
= Q e Q P = P Q = 0.
Demonstra cao. (a) Dado x E, seja p o unico 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
.
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 z|
2
= |p|
2
+|q z|
2
|p|
2
= |x q|
2
.
Segue que
d(x, M
) = inf|x z| : z M
= |x q|.
Para provar a unicidade da decomposi cao, suponhamos que
x = p
1
+q
1
, com p
1
M, q
1
M
.
Como x = p +q, segue que
p p
1
= q
1
q M M
.
33
Mas h M M
.
Pelo teorema de Pit agoras
|x|
2
= |Px|
2
+|Qx|
2
para todo x E. Segue que |P| 1 e |Q| 1.
Escrevamos
Px = Px + 0 M +M
.
Segue da unicidade da decomposi cao em (2) que
P(Px) = Px, Q(Px) = 0.
De maneira an aloga, escrevendo
Qx = 0 +Qx M +M
,
segue que
P(Qx) = 0, Q(Qx) = Qx,
completando a demonstra cao.
10.4. Observa cao. As conclusoes do teorema permanecem verdadeiras se
E e um espaco com produto interno, e M e um subespa co completo de E.
Seja E um espaco com produto interno, e seja y
0
E. Se denimos : E
K por
(x) = (x[y
0
) para todo x E,
ent ao e f acil vericar que e linear. Alem disso, pela desigualdade de Cauchy-
Schwarz,
[(x)[ = [(x[y
0
)[ |x||y
0
|,
provando que e contnuo e que || |y
0
|. De fato, como
(y
0
) = (y
0
[y
0
) = |y
0
|
2
,
segue que || = |y
0
|. O pr oximo teorema mostra que, quando E e um espaco
de Hilbert, ent ao todos os funcionais lineares contnuos em E sao desta forma.
10.5. Teorema de representa cao de Riesz. Seja E um espa co de
Hilbert, e seja E
,= 0. Como
M
,= 0 e M M
= 0, existe x
0
M
tal que (x
0
) = 1. Ent ao cada
x E admite uma decomposicao da forma
(4) x = (x (x)x
0
) +(x)x
0
, com x (x)x
0
M, (x)x
0
M
.
Da unicidade desta decomposi cao segue que dimM
= 1.
Procuramos y
0
E que verique (3). Escrevamos y
0
= p
0
+q
0
, com p
0
M
e q
0
M
. Escrevamos y
0
= x
0
, onde sera
escolhido de maneira que
(x
0
) = (x
0
[y
0
),
ou seja
1 = (x
0
) = (x
0
[x
0
) = |x
0
|
2
.
Assim basta tomar = |x
0
|
2
. Da decomposicao (4) segue que
(x[y
0
) = (x)(x
0
[y
0
) = (x)(x
0
) = (x),
e y
0
verica (3).
Para provar unicidade, suponhamos que exista y
1
E tal que
(5) (x) = (x[y
1
) para todo x E.
De (3) e (5) segue que (x[y
0
y
1
) = 0 para todo x E. Em particular
(y
0
y
1
[y
0
y
1
) = 0 e y
0
= y
1
.
Exerccios
10.A. Seja E um espaco de Hilbert, e sejam M e N dois subespa cos 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 subespa co fechado de E,
e seja P a proje cao ortogonal de E sobre M. Prove que (Px[y) = (x[Py) 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
(Px[y) = (x[Py) para todo x, y E.
(a) Prove que P(E) e um subespaco fechado de E.
(b) Prove que P e a proje cao ortogonal de E sobre P(E).
10.D. Seja E um espaco de Hilbert. Seja M
0
um subespa co fechado de E,
e seja
0
M
0
. Prove que existe E
tal que:
(a) (x) =
0
(x) para todo x M
0
;
(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 espa co normado, e seja
M
0
um subespa co de E. Entao, para cada
0
M
0
, existe E
tal que:
(a) (x) =
0
(x) para todo x M
0
;
(b) || = |
0
|.
Para provar este teorema, vamos utilizar o lemma seguinte.
11.2. Lema. Seja E um espa co normado real, seja M um subespa co pr oprio
de E, seja y
0
E M, e seja N = M [y
0
]. Entao, para cada M
, existe
N
tal que:
(a) (x) = (x) para todo x M;
(b) || = ||.
Demonstra cao. Temos que
[(x)[ |||x| para todo x M,
ou seja
(1) |||x| (x) |||x| para todo x M.
Como y
0
, M, cada z N pode ser escrito de maneira unica na forma
z = x +y
0
com x M, R.
Vamos denir : N R por
(z) = (x) +
0
,
onde
0
e um n umero real independente de z, que ser a escolhido depois.
E claro que e linear e verica (a). Para provar (b), basta provar que
[(z)[ |||z| para todo z N,
ou seja
|||x +y
0
| (x) +
0
|||x +y
0
| para todo x M, R,
ou ainda
(2) (x)|||x+y
0
|
0
(x)+|||x+y
0
| para todo x M, R.
Fazendo = 1 em (2) obtemos
(3) (x) |||x +y
0
|
0
(x) +|||x +y
0
| 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
xM
((x) |||x +y
0
|) inf
xM
((x) +|||x +y
0
|).
Para provar (4) basta provar que
(5) (x
1
) |||x
1
+y
0
| (x
2
) +|||x
2
+y
0
| para todo x
1
, x
2
M.
De fato
(x
2
) (x
1
) = (x
2
x
1
) |||x
2
x
1
|
|||(x
2
+y
0
) (x
1
+y
0
| |||x
2
+y
0
| +|||x
1
+y
0
|,
e (5) segue. Seja
0
R tal que
sup
xM
((x) |||x +y
0
|)
0
inf
xM
((x) +|||x +y
0
|).
Com esta escolha de
0
, (3) e portanto (2) s ao vericadas. Logo verica (b).
Demonstra cao do teorema de Hahn-Banach para espa cos norma-
dos reais. Seja T a famlia de todos os pares (M, ) tais que:
(i) M e um subespa co de E contendo M
0
;
(ii) M
, [M
0
=
0
, || = |
0
|.
Dados (M
1
,
1
), (M
2
,
2
) T, denimos
(M
1
,
1
) (M
2
,
2
) se M
1
M
2
e
1
=
2
[M
1
.
tal que
[M = e || = ||. Ent ao (N, ) T e (M, ) n ao seria maximal. Isto
prova que M = E, como queriamos.
Para provar o teorema de Hahn-Banach no caso de espa cos normados com-
plexos, vamos utilizar o lema seguinte.
11.3. Lema. Seja E um espa co vetorial complexo, e seja E
R
o espaco
vetorial real associado.
(a) Cada E
.
(b) Dado u (E
R
)
.
Demonstra cao. (a) Seja E
.
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 (E
R
)
, 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 cao do teorema de Hahn-Banach para espa cos norma-
dos complexos. Seja
0
M
0
. Pelo lema anterior podemos escrever
0
(x) = u
0
(x) iu
0
(ix) para todo x M
0
,
com u
0
((M
0
)
R
)
. Como
[u
0
(x)[ [
0
(x)[ |
0
||x| para todo x M
0
,
segue que |u
0
| |
0
|. Pelo teorema de Hahn-Banach para espa cos normados
reais, existe u (E
R
)
tal que
(a) u(x) = u
0
(x) para todo x M
0
;
(b) |u| = |u
0
|.
Denamos : E C por
(x) = u(x) iu(ix) para todo x E.
39
Pelo lema anterior E
) tal que:
(a) Tx = T
0
x para todo x M
0
;
(b) |T| = |T
0
|.
40
12. Consequencias do teorema de Hahn-Banach
12.1. Proposicao. Dado x
0
E, x
0
,= 0, sempre existe E
tal que
|| = 1 e (x
0
) = |x
0
|.
Demonstra cao. Seja M
0
= [x
0
] o subespa co de E gerado por x
0
, e seja
0
M
0
denido por
0
(x
0
) = |x
0
| para todo K.
E f 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 M
0
. Segue que || = 1 e
(x
0
) = |x
0
|.
12.2. Corolario. Se E ,= 0, entao E
,= 0.
12.3. Corolario. Se E ,= 0, entao para cada x E tem-se que:
|x| = sup[(x)[ : E
, || = 1.
12.4. Proposicao. Seja M um subespa co fechado de E, seja y
0
E M,
e seja d = d(y
0
, M). Entao existe E
tal que || = 1, (y
0
) = d e (x) = 0
para todo x M.
Primeira demonstracao. Seja N = M +[y
0
]. Ent ao cada z N pode ser
escrito de maneira unica como
z = x +y
0
, com x M, K.
Seja
0
N
denido por
0
(x +y
0
) = d para todox M, K.
E claro que
0
e linear,
0
(x
0
) = d e
0
(x) = 0 para todo x M. Provaremos
que |
0
| = 1. Se ,= 0, ent ao
|x +y
0
| = [[|
x
+y
0
| [[d.
Como a desigualdade anterior e claramente verdadeira se = 0, segue que
|
0
| 1. Por outro lado, dado > 0, existe x
0
M tal que |y
0
x
0
| < d +.
Seja
z
0
=
y
0
x
0
|y
0
x
0
|
.
Ent ao z
0
N, |z
0
| = 1 e
0
(z
0
) =
d
|y
0
x
0
|
>
d
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, (y
0
) = d e (x) = 0 para todo x M.
41
Segunda demonstra cao. Seja E/M o espaco quociente, e seja : E
E/M a aplica cao quociente. Como y
0
/ M, segue que (y
0
) ,= 0. Pela
Proposi cao 12.1 existe (E/M)
, (y
0
) = d e (x) = 0 para todo x M.
Alem disso
|| = sup[(x)[ : x B
E
= sup[ (x)[ : x B
E
= sup[(y)[ : y B
E/M
= || = 1.
12.5. Proposicao. Se E
1
e isometricamente isomorfo a
. E j a sabemos que
1
e
separavel, mas
n ao e separavel.
12.7. Proposicao. Cada espa co normado separavel e isometricamente
isomorfo a um subespa co de
.
Demonstra cao. Seja E um espaco normado separavel, e seja x
n
: n N
um subconjunto enumer avel denso de E. Pelo teorema de Hahn-Banach existe
n
: n N S
E
tal que
n
(x
n
) = |x
n
| para cada n. Seja T L(E;
)
denido por Tx = (
n
(x))
n=1
para cada x E. Como |
n
| = 1 para cada n,
segue que |Tx| |x| para cada x E. E como
n
(x
n
) = |x
n
| para cada n,
segue que |Tx
n
| = |x
n
| para cada n. Como x
n
: n N e denso em E, segue
que |Tx| = |x| para cada x E.
Exerccios
12.A. Seja E um espaco normado, seja M um subespaco de E, e seja
M
= E
e um subespa co fechado de E
.
(b) Prove que M
e isometricamente isomorfo a E
/M
.
12.B. Seja E um espaco normado, e seja M um subespa co 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 (M
n
)
n=1
de sube-
spacos de E de dimens ao nita tal que
n=1
M
n
e um subespa co denso de E.
(b) Prove que existe uma seq uencia (
n
)
n=1
E
tal que |
n
| = 1 para
cada n N e lim
n
n
(x) = 0 para cada x E.
43
13. O dual de
p
13.1. Teorema. Se 1 p < , entao o dual de
p
e isometricamente
isomorfo a
q
, onde 1 < q ,
1
p
+
1
q
= 1.
Demonstra cao. Dado y = (
j
)
j=1
q
, denamos
y
:
p
K por
y
(x) =
j=1
j
para cada x = (
j
)
j=1
p
.
Pela desigualdade de H older,
[
y
(x)[
j=1
[
j
j
[ |x|
p
|y|
q
.
Segue que
y
p
e |
y
| |y|
q
.
Reciprocamente provaremos que, dado
p
, existe y
q
tal que
y
= e
|y| ||. Para cada n N seja e
n
= (0, ..., 1, 0, 0, ...), com 1 no lugar n-esimo.
E claro que e
n
p
e que |e
n
| = 1 para cada n. Se x = (
j
)
j=1
p
, ent ao
lim
n
|x
n
j=1
j
e
j
| = lim
n
j=n+1
[
j
[
p
1/p
= 0,
e portanto
x =
j=1
j
e
j
para cada x = (
j
)
j=1
p
.
Segue que
(x) =
j=1
j
(e
j
) para cada x = (
j
)
j=1
p
.
Seja y = ((e
j
)
j=1
. Provaremos que y
q
e que |y|
q
||.
Se p = 1, ent ao q = e
[(e
j
)[ |||e
j
| = || para cada j.
Segue que y
e |y|
||.
Se p > 1, xemos n N, e denamos x = (
j
)
j=1
por:
j
= [(e
j
)[
q1
sinal(e
j
) se j n,
j
= 0 se j > n.
onde sinal e denido por:
sinal =
[[
se ,= 0, sinal = 0 se ,= 0.
44
Ent ao
j
(e
j
) = [(e
j
)[
q
= [
j
[
p
para cada j n.
Como x =
n
j=1
j
e
j
, segue que
(x) =
n
j=1
j
(e
j
) =
n
j=1
[(e
j
)[
q
=
n
j=1
[
j
[
p
= |x|
p
p
.
Logo
n
j=1
[(e
j
)[
q
|||x|
p
= ||
j=1
[(e
j
)[
q
1/p
.
Como 1
1
p
=
1
q
, segue que
(
n
j=1
[(e
j
)[
q
)
1/q
||.
Como n N e arbitr ario, segue que y
q
e |y|
q
||.
Se denimos
T : y
q
y
p
,
ent ao T e linear e sobrejetivo, e |Ty| = |y|
q
para cada y
q
.
Exerccios
13.A. Prove que
x =
j=1
j
e
j
para cada x = (
j
)
j=1
c
0
.
13.B. Prove que c
0
e isometricamente isomorfo a
1
.
13.C. Prove que
x = e
0
+
j=1
(
j
)e
j
para cada x = (
j
)
j=1
c,
onde e
0
= (1, 1, 1, ...) e = lim
j
j
.
13.D. Prove que c
e isometricamente isomorfo a
1
.
45
14. O dual de L
p
(X, , )
Nesta secao caracterizaremos o dual do espaco L
p
(X, , ). Por simplicidade
consideraremos apenas o espaco L
p
(X, , ) real. Uma vez xado o espa co de
medida (X, , ), com frequencia escreveremos L
p
em lugar de L
p
(X, , ).
Dada f : X R, sejam f
+
e f
denidas por:
f
+
= f 0, f
= (f) 0.
Ent ao
f = f
+
f
, f
+
0, f
0.
A seguir provaremos um resultado an alogo para funcionais lineares contnuos
em L
p
(X, , ).
14.1. Denicao. Um funcional linear T : L
p
(X, , ) R e dito positivo
se Tf 0 para cada f L
p
(X, , ) tal que f 0.
14.2. Lema. Seja T um funcional linear contnuo em L
p
(X, , ). Entao
existem dois funcionais lineares contnuos positivos T
+
e T
em L
p
(X, , )
tais que
Tf = T
+
f T
f para todo f L
p
(X, , ).
Demonstra cao. Seja T L
p
. Para cada f L
p
, f 0, seja T
+
f denido
por
T
+
f = supT : L
p
, 0 f.
Para cada L
p
, 0 f, tem-se que
T [T[ |T|||
p
|T||f|
p
.
Notando que T0 = 0, segue que
(1) 0 T
+
f |T||f|
p
para todo f L
p
, f 0.
1
= f
1
,
2
= ( f
1
) 0.
Ent ao e facil vericar que 0
j
f
j
para j = 1, 2 e
1
+
2
= . Logo
T = T
1
+T
2
T
+
f
1
+T
+
f
2
,
e portanto
T
+
(f
1
+f
2
) T
+
f
1
+T
+
f
2
.
Isto prova (3).
A seguir denamos
T
+
f = T
+
f
+
T
+
f
para cada f L
p
.
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 Tf para cada f L
p
.
E claro que T
p
e |T
g
| |g|
q
.
Reciprocamente provaremos que, dado T L
p
, existe g L
q
tal que T
g
= T
e |g|
q
|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, () =
T0 = 0.
47
A seguir provaremos que
(4) (
_
n=1
A
n
) =
n=1
(A
n
)
para cada sequencia (A
n
)
n=1
de membros disjuntos de . Escrevamos
B
n
=
n
_
j=1
A
j
, A =
_
n=1
A
n
=
_
n=1
B
n
.
A sequencia (
B
n
)
n=1
e crescente e converge pontualmente a
A
. Como (X) <
, o teorema da convergencia dominada garante que
B
n
A
em L
p
, e
portanto T(
B
n
) T(
A
). Como os A
j
sao disjuntos, temos que
B
n
=
n
j=1
A
j
, e portanto
(A) = T(
A
) = lim
n
T(
B
n
) = lim
n
n
j=1
T(
A
j
) =
j=1
(A
j
).
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 L
1
(X, , ), g 0,
tal que
(A) =
_
A
gd,
e portanto
T(
A
) =
_
X
A
gd
para todo A . Segue que
T =
_
X
gd
para toda fun cao mensuravel simples .
A seguir provaremos que
(5) Tf =
_
X
fgd
para toda f L
p
. Dada f L
p
, f 0, seja (
n
) uma sequencia crescente de
fun coes mensuraveis simples positivas que converge pontualmente a f. Como
f L
p
, segue do teorema da convergencia dominada que
n
f em L
p
, e
portanto T
n
Tf. Usando o teorema da convergencia monotona concluimos
que
Tf = limT
n
= lim
_
X
n
gd =
_
X
fgd.
48
Isto prova (5) para cada f L
p
, f 0. Para provar (5) para f L
p
arbitr aria,
basta escrever f = f
+
f
, com f
+
, f
L
p
, f
+
0, f
0, e aplicar o
resultado anterior.
(b) Se T L
p
e arbitr ario, ent ao, pelo lema anterior podemos escrever
Tf = T
+
f T
f
para todo f L
p
, sendo T
+
, T
p
funcionais positivos. Por (a) existem
g
+
, g
L
1
, g
+
0, g
0, tais que
T
+
f =
_
X
fg
+
d
e
T
f =
_
X
fg
d
para toda f L
p
. Se denimos g = g
+
g
, segue que
(6) Tf =
_
X
fgd
para toda f L
p
.
A seguir provaremos que g L
q
e que |g|
q
|T|.
Se p = 1, seja
A = x X : g(x) > |T|.
Ent ao A =
n=1
A
n
, onde
A
n
= x X : g(x) > |T| +
1
n
.
Aplicando (6) com f =
A
n
, segue que
(|T| +
1
n
)(A
n
)
_
A
n
gd = T(
A
n
) |T||
A
n
|
1
= |T|(A
n
).
Segue que (A
n
) = 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 A
n
e f por;
A
n
= x X : [g(x)[ n,
f(x) = [g(x)[
q1
sinalg(x) se x A
n
,
f(x) = 0 se x / A
n
.
49
Para x A
n
tem-se que
(7) f(x)g(x) = [g(x)[
q
= [f(x)
p
,
e portanto
_
X
[f[
p
d =
_
A
n
[g[
q
d n
q
(X) < ,
em particular f L
p
. Usando (6) e (7) segue que
_
A
n
[g[
q
d =
_
X
fgd = Tf |T||f|
p
= |T|(
_
A
n
[g[
q
d)
1/p
.
Como 1
1
p
=
1
q
, segue que
(
_
A
n
[g[
q
d)
1/q
|T|.
Como X =
n=1
A
n
, e a sequencia (A
n
) e crescente, o teorema da convergencia
mon otona garante que
(
_
X
[g[
q
d)
1/q
|T|,
ou seja g L
q
e |g|
q
|T|.
Se denimos
T : g L
q
T
g
L
p
,
ent ao T e linear e sobrejetivo, e |Tg| = |g|
q
para cada g L
q
. Isto completa
a demonstra cao.
50
15. Bidual de um espaco normado
Seja E um espaco normado. Dados x
, x) = x
(x).
15.1. Denicao. O dual de E
, denotado por E
, e chamado de bidual de
E.
15.2. Proposicao. Seja J : E E
denido por
Jx, x
) = x
, x) para todo x E, x
.
Entao J e um isomorsmo isometrico entre E e um subespa co de E
.
Demonstra cao. Se x E, e claro que Jx E
. Como
[Jx, x
)[ = [x
, x)[ |x
||x|,
segue que Jx E
)[ : |x
| 1 = sup[x
, x)[ : |x
| 1 = |x|.
Logo J e um isomorsmo isometrico entre E e sua imagem em E
.
15.3. Denicao. E e dito reexivo se J(E) = E
: F
denido por
T
, x) = y
, x E.
Entao T
L(F
, E
) e |T
| = |T|. T
, e claro que T
. Como
[T
, x)[ = [y
, Tx)[ |y
||Tx| |y
||T||x|,
segue que T
e |T
| |T||y
|. Assim T
: F
e linear e contnua
e |T
, Tx)[ : |y
| 1 = sup[T
, x)[ : |y
| 1
sup|T
||x| : |y
1 |T
||x|.
Logo |T| |T
|.
15.5. Proposicao.
p
e reexivo para cada 1 < p < .
51
Demonstra cao. Seja
1
p
+
1
q
= 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
.
Sejam x = (
j
)
p
e Sx
= (
j
)
q
. Ent ao:
S
T
1
x, x
) = T
1
x, Sx
) =
j=1
j
=
j=1
j
= x
, x),
como queriamos.
De maneira an aloga, utilizando o Teorema 14.3, podemos provar o resultado
seguinte.
15.6. Proposicao. Seja (X, , ) um espa co de medida nita. Entao
L
p
(X, , ) e reexivo para cada 1 < p < .
15.7. Proposicao. Se E e reexivo, ent ao E
e reexivo tambem.
Demonstra cao. Sejam J
0
: E E
e J
1
: E
os mergulhos
can onicos. Supondo que J
0
(E) = E
) = E
. Dado
x
, seja x
= J
0
x
. Provaremos que J
1
x
= x
, J
0
x) = J
0
x, x
) = x
, x) = J
0
x
, x) = x
, J
0
x).
Como J
0
(E) = E
, segue que J
1
x
= x
, como queriamos.
15.8. Proposicao. Se E e reexivo, ent ao cada subespaco fechado de E e
reexivo tambem.
Demonstra cao. Seja M um subespa co fechado de E, e sejam J
0
: E E
e J
1
: M M
, vamos
provar que J
1
(M) = M
.
Seja R : E
: M
o dual de R.
Dado y
, seja x
= R
. Como J
0
(E) = E
, existe x E tal
que J
0
x = x
.
Armamos que x M. De fato, suponhamos que x / M. Ent ao, pelo
teorema de Hahn-Banach, existe x
tal que Rx
= 0 e x
, x) , = 0. Segue
que
x
, x) = J
0
x, x
) = x
, x
) = R
, x
) = y
, Rx
) = y
, 0) = 0,
contradi cao. Isto prova que x M.
Para completar a demonstra cao provaremos que J
1
x = y
. De fato para
cada x
temos:
y
, Rx
) = R
, x
) = x
, x
) = J
0
x, x
) = x
, x) = Rx
, x) = J
1
x, Rx
).
52
Pelo teorema de Hahn-Banach R(E
) = M
. Segue que y
= J
1
x, como queri-
amos.
Exerccios
15.A. Dados S L(E; F) e T L(F; G), prove que (T S)
= S
.
15.B. Prove que se T : E F e um isomorsmo topologico (resp. isomor-
smo isometrico), entao T
: F
e reexivo.
15.E. Prove que nemhum dos espa cos
1
,
, c
0
ou c e reexivo.
15.F. Seja E um espaco de Banach, e seja M um subespa co 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 espa co C[a, b] n ao e reexivo.
53
16. Teorema de Banach-Steinhaus
16.1. Denicao. 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 =
_
n=1
A
n
, com
A
n
= para cada n.
Caso contrario diremos que A e de segunda categoria em X.
16.2. Proposicao. Cada espa co de Baire n ao vazio e de segunda categoria
em si mesmo.
Demonstra cao. Seja X um espaco de Baire nao vazio, e suponhamos que
X seja de primeira categoria em si mesmo. Entao podemos escrever
X =
_
n=1
A
n
,
onde A
n
e fechado em X, e
A
n
= para cada n. Segue que
=
n=1
(X A
n
),
X A
n
e aberto, e X A
n
= X
A
n
= X para cada n. Logo X n ao seria um
espaco de Baire.
16.3. Teorema de Baire. Cada espaco metrico completo e um espa co de
Baire.
Demonstra cao. Seja X um espaco metrico completo n ao vazio, e seja
(U
n
)
n=1
uma seq uencia de subconjuntos abertos e densos em X. Para provar
que
n=1
U
n
e denso em X, basta provar que (
n=1
U
n
) B(a; r) ,= para
cada bola B(a; r) em X. Fixemos uma bola B(a; r) em X. Como U
1
e denso
em X, existe x
1
U
1
B(a; r). Seja 0 <
1
< 1 tal que
B[x
1
;
1
] U
1
B(a; r).
Como U
2
e denso em X, existe x
2
U
2
B(x
1
;
1
). Seja 0 <
2
< 1/2 tal que
B[x
2
;
2
] U
2
B(x
1
;
1
).
Procedendo por indu cao podemos achar sequencias (x
n
) X e (
n
) R tais
que 0 <
n
< 1/n e
B[x
n
;
n
] U
n
B(x
n1
;
n1
)
54
para cada n 2. Segue que (x
n
) e uma sequencia de Cauchy em X, e converge
portanto a um ponto x.
E claro que
x
n=1
B[x
n
;
n
] (
n=1
U
n
) B(a; r).
Logo
n=1
U
n
e denso em X.
16.4. Denicao. 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 T
i
: i I L(E; F) tal que
(1) sup
iI
|T
i
x| < para cada x E.
Entao
(2) sup
iI
|T
i
| < .
Demonstra cao. Para cada n N seja
A
n
= x E : |T
i
x| n para cada i I.
Como
A
n
=
iI
x E : |T
i
x| n,
vemos que cada A
n
e fechado. Segue de (1) que
E =
_
n=1
A
n
.
Pelo teorema de Baire E e de segunda categoria em si mesmo. Logo algum A
n
tem interior n ao vazio. Logo A
n
contem uma bola B(a; r). Como o conjunto A
n
e simetrico, segue que A
n
B(a; r). Como o conjunto A
n
e convexo, segue
que
A
n
co(B(a; r) B(a; r)) B(0; r).
Segue que
|T
i
x| n para todo i I, x B(0; r).
Logo
|T
i
x|
n
r
para todo i I, x B(0; 1),
e portanto
|T
i
|
n
r
para todo i I.
55
O teorema de Banach-Steinhaus e tambem conhecido como princpio de
limita c ao uniforme.
16.6. Corolario. Seja E um espa co normado, e seja A um subconjunto de
E tal que (A) e limitado em K para cada E
. Entao A e limitado em E.
Demonstra cao. Seja J : E E
. Logo A e limitado em E.
16.7. Corolario. Sejam E e F espacos normados, com E completo. Seja
(T
n
) uma sequencia em L(E; F) tal que (T
n
x) converge em F para cada x E.
Se denimos Tx = limT
n
x para cada x E, entao T L(E; F).
Demonstra cao.
E f acil vericar que T e linear. Para cada x E, (T
n
x) e
uma sequencia convergente em F, e portanto limitada, ou seja
sup
n
|T
n
x| < para cada x E.
Pelo Teorema 16.5 existe c > 0 tal que |T
n
| c para todo n. Segue que
|T| c, e portanto T e contnua.
Exerccios
16.A. Seja 1 p < , e seja (
j
)
j=1
uma seq uencia em K tal que a serie
j=1
j
converge para cada (
j
)
j=1
p
. Prove que (
j
)
j=1
q
, onde
1
p
+
1
q
= 1.
16.B. Seja (
j
)
j=1
uma seq uencia em K tal que a serie
j=1
j
converge
para cada (
j
)
j=1
c
0
. Prove que (
j
)
j=1
1
.
56
17. Teorema da aplicacao aberta e teorema do graco fechado
17.1. Teorema da aplicacao aberta. Sejam E e F espacos de Banach,
e seja T L(E; F). Entao as seguintes condi coes s ao equivalentes:
(a) T e sobrejetiva.
(b) T(B
E
) B
F
(0; ) para algum > 0.
(c) T(B
E
) B
F
(0; ) para algum > 0.
Demonstra cao. (a) (b): Como T e sobrejetiva,
F = T(E) = T(
_
n=1
B
E
(0; n) =
_
n=1
T(B
E
(0; n)) =
_
n=1
T(B
E
(0; n)).
Pelo teorema de Baire F e de segunda categoria em si mesmo. Logo existe n tal
que o conjunto T(B
E
(0; n)) tem interior n ao vazio. Logo o conjunto T(B
E
(0; n))
contem uma bola B
F
(b; r). Como o conjunto T(B
E
(0; n)) e simetrico, segue que
T(B
E
(0; n)) B
F
(b; r). Como o conjunto T(B
E
(0; n)) e convexo, segue que
T(B
E
(0; n)) co(B
F
(b, r) B
F
(b, r)) B
F
(0; r).
Logo
T(B
E
(0; 1)) B
F
(0;
r
n
),
provando (b).
(b) (c): Por hip otese
T(B
E
) B
F
(0; ),
e portanto
T(B
E
(0; 1/2
n
)) B
F
(0; /2
n
) para cada n.
Provaremos que
T(B
E
) B
F
(0; /2).
Seja
y B
F
(0; /2) T(B
E
(0; 1/2)).
Logo existe x
1
B
E
(0; 1/2) tal que
y Tx
1
B
F
(0; /2
2
) T(B
E
(0; 1/2
2
)).
Logo existe x
2
B
E
(0; 1/2
2
) tal que
y Tx
1
Tx
2
B
F
(0; /2
3
) T(B
E
(0; 1/2
3
)).
Procedendo por indu cao podemos obter uma sequencia (x
n
) em E tal que
x
n
B
E
(0; 1/2
n
) e y
n
j=1
Tx
j
B
F
(0; /2
n+1
) para cada n.
57
Como
n=1
|x
n
| <
n=1
2
n
= 1, segue que
n=1
x
n
B
E
(0; 1) e T(
n=1
x
n
) = y.
Como a implicacao (c) (a) e clara, a demonstracao do teorema esta com-
pleta.
17.2. Corolario. Sejam E e F espacos de Banach. Entao cada aplicacao
sobrejetiva T L(E; F) e aberta.
17.3. Corolario. Sejam E e F espacos de Banach. Entao cada aplicacao
bijetiva T L(E; F) e um isomorsmo topol ogico.
Lembremos que, se f : X Y e uma aplica cao qualquer, ent ao o gr aco de
f e o conjunto
G
f
= (x, y) X Y : y = f(x).
17.4. Proposicao. Sejam X e Y espacos topologicos, e seja f : X
Y uma aplica cao contnua. Se Y e um espa co de Hausdor, entao G
f
e um
subconjunto fechado de X Y .
Demonstra cao. Para provar que G
f
e fechado emXY , seja ((x
i
, f(x
i
)))
iI
uma rede em G
f
que converge a um ponto (x, y) XY . Ent ao x
i
x em X
e Tx
i
y em Y . Como f e contnua, segue que f(x
i
) f(x) em Y . Como Y
e Hausddor, segue que y = f(x). Logo (x, y) G
f
, e portanto G
f
e fechado
em X Y .
17.5. Teorema do graco fechado. Sejam E e F espacos de Banach,
e seja T : E F uma aplica cao linear. Se o gr aco G
T
de T e fechado em
E F, entao T e contnua.
Demonstra cao. G
T
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.
E claro que
1
L(E F; E) e
2
L(E F; F). Seja
1
=
1
[G
T
. Ent ao
1
: (x, Tx) G
T
x E.
E claro que
1
L(G
T
; E), e
1
e sobrejetiva. Pelo teorema da aplicacao aberta
1
e um homeomorsmo. Notemos que
1
1
: x E (x, Tx) G
T
.
Segue que
2
1
1
= 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 (y
n
) em F, prove que existe uma seq uencia
limitada (x
n
) em E tal que Tx
n
= y
n
para cada n.
(b) Dada uma seq uencia (y
n
), que converge a zero em F, prove que existe
uma seq uencia (x
n
), que converge a zero em E, tal que Tx
n
= y
n
para cada n.
17.B. Seja (x
j
) uma seq uencia em E tal que (x
j
) 0 para cada E
.
Seja T denido por
T : E
((x
j
))
j=1
c
0
.
Prove que T L(E
; c
0
).
17.C. Seja E um espaco de Banach, e seja (
j
) uma seq uencia em E
tal
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. Proposicao. Seja E um espa co de Banach, e seja T L(E; E). Se
|T| < 1, entao o operador I T e invertvel e
(I T)
1
=
k=0
T
k
.
Demonstra cao. Como |T| < 1, a serie
k=0
T
k
e absolutamente conver-
gente, e portanto convergente. Como
(I T)
_
n
k=0
T
k
_
=
_
k=0
T
k
_
(I T) = I T
n+1
para cada n, segue que
(I T)
_
k=0
T
k
_
=
_
k=0
T
k
_
(I T) = I.
18.2. Denicao. Se E e um espaco de Banach, denotaremos por Iso(E; E)
o subconjunto dos T L(E; E) que sao invertveis.
18.3. Proposicao. Seja E um espa co de Banach. Entao:
(a) Iso(E; E) e um subconjunto aberto de L(E; E).
(b) A aplica cao T Iso(E; E) T
1
Iso(E; E) e contnua.
Demonstra cao. Se S L(E; E) e invertvel, ent ao segue da proposi cao
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
(S +T)
1
= S
1
(I +T S
1
)
1
= S
1
k=0
(T S
1
)
k
,
e portanto
|(S +T)
1
S
1
|
k=1
|T|
k
|S
1
|
k+1
=
|T||S
1
|
2
1 |T||S
1
|
.
A conclusao desejada segue.
18.4. Denicao. 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 subespa co de todos
os x E tais que Tx = x. Cada x ,= 0 em E
e chamado de autovetor de T
correspondente ao autovalor .
60
18.5. Exemplo. Seja E um espaco de Banach, e seja T L(E; E).
E claro
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. Proposicao. Seja E um espa co de Banach complexo, e seja T
L(E; E). Entao:
(a) O conjunto C (T) e aberto em C.
(b) Para cada funcional L(E; E)
0
f() f(
0
)
0
= [(T
0
I)
2
].
Logo f e analtica.
18.7. Teorema. Seja E um espa co de Banach complexo, e seja T
L(E; E). Entao (T) e um subconjunto compacto n ao vazio de C.
Demonstra cao. Pela proposi cao anterior (T) e fechado. Se [[ > |T|,
ent ao segue da Proposi cao 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 fun cao f() = [(T I)
1
] e analtica em todo C. Para ,= 0 temos que
(T I)
1
=
1
_
I
T
_
1
=
k=0
T
k
k+1
,
e portanto
|(T I)
1
|
k=0
|T|
k
[[
k+1
=
1
[[ |T|
.
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. Denicao. 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.
L
f
(E; F) denota o subespa co dos operadores de posto nito de E em F.
(b) Diremos que T e compacto se T(B
E
) e relativamente compacto em F.
L
K
(E; F) denota o subespa co dos operadores compactos de E em F.
j=1
uma sequencia
em B
E
. Como T
1
e compacto, (x
j
)
j=1
admite uma subsequencia (x
1
j
)
j=1
tal
que (T
1
x
1
j
)
j=1
e convergente. Como T
2
e compacto, (x
1
j
)
j=1
admite uma sub-
sequencia (x
2
j
)
j=1
tal que (T
2
x
2
j
)
j=1
e convergente. Procedendo de maneira indu-
tiva podemos obter, para cada i N, uma subsequencia (x
i
j
)
j=1
de (x
i1
j
)
j=1
tal
que (T
i
x
i
j
)
j=1
e convergente. Seja (z
j
)
j=1
a sequencia diagonal (x
j
j
)
j=1
. Ent ao,
para cada i N, (z
j
)
j=i
e uma subsequencia de (x
i
j
)
j=i
. Segue dai que (T
i
z
j
)
j=1
e convergente, para cada i N. Provaremos que (Tz
j
)
j=1
e convergente.
Dado > 0, existe i tal que |T
i
T| < . Fixado i, existe j
0
tal que
|T
i
z
j
T
i
z
k
| < para todo j, k j
0
.
Segue que
|Tz
j
Tz
k
| |Tz
j
T
i
z
j
| +|T
i
z
j
T
i
z
k
| +|T
i
z
k
Tz
k
| < 3
para todo j, k j
0
. Logo (Tz
j
)
j=1
e convergente.
19.3. Teorema de Schauder. Sejam E e F espacos de Banach. Entao
um operador T L(E; F) e compacto se e so se seu dual T
L(F
; E
) e
compacto.
Demonstra cao. () Suponhamos que T L(E; F) seja compacto. Como
cada espaco metrico compacto e separavel, e como T(E) =
n=1
nT(B
E
), segue
que T(E) e separavel. Seja (y
k
)
k=1
um subconjunto enumer avel denso de T(E).
Para provar que T
(B
F
)
admite uma subseq uencia convergente. Seja (y
n
)
n=1
uma seq uencia em B
F
.
Utilizando o processo diagonal de Cantor podemos achar uma subseq uencia
(z
n
)
n=1
de (y
n
)
n=1
tal que (z
n
(y
k
))
n=1
converge para cada k. Como (y
k
)
k=1
e densa em T(E), e (z
n
)
n=1
B
F
, segue que (z
n
(y))
n=1
converge para cada
y T(E).
Se denimos z
(y) = lim
n
z
n
(y) para cada y T(E), segue que z
e um
funcional linear em T(E), e |z
.
63
Como T(B
E
) e precompacto, dado > 0, existem x
1
, ..., x
m
B
E
tais que
T(B
E
)
m
_
j=1
B
F
(Tx
j
, ).
Como z
n
(y) z
n
z
, Tx
j
)[ < sempre que n n
0
, 1 j m.
Dado x B
E
, seja 1 j m tal que x B
F
(Tx
j
; ). Ent ao, para cada n n
0
tem-se que
[T
n
T
, x)[ = [z
n
z
, Tx)[
[z
n
z
, Tx Tx
j
)[ +[z
n
z
, Tx
j
)[ < 3.
Segue que |T
n
T
| 3 para todo n n
0
, e portanto (T
n
)
n=1
converge
a T
em E
.
() Suponhamos que T
L(F
; E
L(E
; F
= 0.
2
, u
n
(t) =
1
cosnt, v
n
(t) =
1
sennt (n N)
formam um conjunto ortonormal no espa co de Hilbert real L
2
([0, 2]; R). Mais
adiante veremos que este conjunto ortonormal e completo.
20.5. Exemplo. Nao e difcil vericar que as fun coes
u
n
(t) =
1
2
e
int
(n Z)
formam um conjunto ortonormal no espa co de Hilbert complexo L
2
([0, 2]; C).
Mais adiante veremos que este conjunto ortonormal e completo.
20.6. Proposicao (Processo de ortonormalizacao de Gram-Schmidt).
Seja E um espa co com produto interno. Seja (x
n
)
N
n=1
uma sequencia nita ou
innita de vetores linearmente independentes em E. Entao existe uma sequencia
ortonormal (y
n
)
N
n=1
em E tal que
[x
1
, ..., x
n
] = [y
1
, ..., y
n
]
para cada n N.
65
Demonstra cao. Sejam (u
n
)
N
n=1
e (y
n
)
N
n=1
denidas indutivamente da maneira
seguinte:
u
1
= x
1
, y
1
=
u
1
|u
1
|
;
u
n
= x
n
n1
j=1
(x
n
[y
j
)y
j
, y
n
=
u
n
|u
n
|
para n 2.
E imediato que
(u
n
[y
j
) = 0 sempre que j < n,
e portanto
(y
n
[y
j
) = 0 sempre que j < n.
Usando indu cao vemos que
[x
1
, ..., x
n
] = [u
1
, ..., u
n
] = [y
1
, ..., y
n
]
para cada n N, completando a demonstra cao.
20.7. Corolario. Seja E um espa co com produto interno de dimensao
nita n. Entao existe em E um conjunto ortonormal completo formado por n
vetores.
20.8. Corolario. Seja E um espa co com produto interno separ avel. Entao
existe em E um conjunto ortonormal completo enumer avel.
20.9. Proposicao. Seja E um espa co com produto interno. Ent ao cada
conjunto ortonormal em E esta contido em algum conjunto ortonormal com-
pleto.
Demonstra cao. Seja S
0
um conjunto ortonormal em E, e seja T a famlia
de todos os conjuntos ortonormais em E que contem S
0
. T e um conjunto
parcialmente ordenado por inclus ao de conjuntos. Seja (S
i
)
iI
uma cadeia em
T. Ent ao e f acil ver que
iI
S
i
e um conjunto ortonormal em E, e claramente
contem cada S
i
. Isto prova que cada cadeia em T admite uma cota superior.
Pelo lema de Zorn, existe em T um elemento maximal S. Segue que S e um
conjunto ortonormal completo em E, que contem S
0
.
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 ortonor-
mal 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 ortonor-
mal em E.
66
(a) Se o subespa co [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
e
1
= (1, 0, 0, ...), e
2
= (0, 1, 0, ...), e
3
= (0, 0, 1, ...), ...
formam um conjunto ortonormal completo em
2
.
20.E. Prove que as fun coes
u
0
(t) =
1
2
, u
n
(t) =
1
cosnt, v
n
(t) =
1
sennt (n = 1, 2, 3, ...)
formam um conjunto ortonormal no espa co de Hilbert real L
2
([0, 2], R).
20.F. Prove que as fun coes
u
n
(t) =
1
2
e
int
(n Z)
formam um conjunto ortonormal no espa co de Hilbert complexo L
2
([0, 2], C).
67
21. Conjuntos ortonormais completos em espa cos de Hilbert
21.1. Proposicao. Seja E um espa co com produto interno, seja M um
subespaco de dimensao nita n, seja x
1
, ..., x
n
um conjunto ortonormal em
M, e seja x E. Entao:
(a) |x
n
j=1
(x[x
j
)x
j
| = d(x, M),
(b)
n
j=1
[(x[x
j
)[
2
|x|.
Demonstra cao. (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 (x
1
, ..., x
n
) e uma base de M, podemos
escrever p =
n
j=1
j
x
j
. Como x p = q M
, segue que
0 = (x p[x
k
) = (x[x
k
) (p[x
k
) = (x[x
k
)
k
para k = 1, 2, ..., n. Logo
(2) p =
n
j=1
(x[x
j
)x
j
,
e (a) segue.
(b) Usando (1) e (2) e o teorema de Pit agoras segue que
|x|
2
= |p|
2
+|q|
2
|p|
2
=
n
j=1
[(x[x
j
)[
2
.
21.2. Proposicao (Desigualdade de Bessel). Seja E um espa co com
produto interno, seja (x
i
)
iI
um conjunto ortonormal em E, e seja x E.
Entao o conjunto
I
x
= i I : (x[x
i
) ,= 0
e enumer avel e
iI
x
[(x[x
i
)[
2
|x|
2
.
Demonstra cao. Temos que
I
x
=
_
k=1
J
k
,
onde
J
k
= i I : [(x[x
i
)[ >
1
k
.
68
Segue da proposi cao anterior que cada J
k
e nito. De fato, se J e qualquer
subconjunto nito de J
k
, segue da proposi cao anterior que
|x|
2
jJ
[(x[x
j
)[
2
>
jJ
1
k
2
=
[J[
k
2
,
e portanto [J[ < k
2
|x|
2
. Segue que [J
k
[ k
2
|x|
2
para cada k, e portanto I
x
e
enumeravel.
Escrevamos (x
i
)
iI
x
como uma sequencia y
1
, y
2
, y
3
, ... Pela proposi cao ante-
rior
n
j=1
[(x[y
j
)[
2
|x|
2
para cada n,
e portanto
iI
x
[(x[x
i
)[
2
=
j=1
[(x[y
j
)[
2
|x|
2
.
21.3. Proposicao. Seja E um espa co de Hilbert, seja (x
i
)
iI
um conjunto
ortonormal em E, e seja x E. Entao a serie
iI
x
(x[x
i
)x
i
e incondicionalmente convergente, ou seja e convergente, e sua soma e indepen-
dente da ordem escolhida em I
x
.
Demonstra cao. Pela proposi cao anterior o conjunto I
x
e enumeravel. Seja
(y
j
) uma ordena cao de (x
i
)
iI
x
, e seja
s
m
=
m
j=1
(x[y
j
)y
j
para cada m. Se n < m, segue do teorema de Pitagoras que
|s
m
s
n
|
2
= |
m
j=n+1
|
2
=
m
j=n+1
[(x[y
j
)[
2
.
Como
m
j=1
[(x[y
j
)[
2
|x|
2
para cada m, pela proposi cao anterior, segue que (s
m
) 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 ordena cao escolhida, seja
(z
k
) uma outra ordena cao de (x
i
)
iI
x
, e seja
t
n
=
n
k=1
(x[z
k
)z
k
69
para cada n. O raciocnio anterior mostra que
n
k=1
[(x[z
k
)[
2
|x|
2
para cada n, e a sequencia (t
n
) converge a um vetor t E. Dado > 0, podemos
achar m
0
e n
0
em N tais que
j=m+1
[(x[y
j
)[
2
2
e |s s
m
| para todo m m
0
,
k=n+1
[(x[z
k
)[
2
2
e |t t
n
| para todo n n
0
.
Fixemos m m
0
, e seja n n
0
tal que y
1
, ..., y
m
z
1
, ..., z
n
. Ent ao
t
n
s
m
=
jJ
(x[y
j
)y
j
,
onde J N 1, 2, ..., m. Segue que
|t
n
s
m
|
2
=
jJ
[(x[y
j
)[
2
j=m+1
[(x[y
j
)[
2
2
.
Logo
|t s| |t t
n
| +|t
n
s
m
| +|s
m
s| 3.
Como > 0 e arbitr ario, concluimos que t = s.
21.4. Teorema. Seja E um espa co de Hilbert, e seja S = (x
i
)
iI
um
conjunto ortonormal em E. Entao as seguintes condi coes sao equivalentes:
(a) O subespa co [S] e denso em E.
(b) S e completo.
(c) x =
iI
(x[x
i
)x
i
para todo x E.
(d) (x[y) =
iI
(x[x
i
)(y[x
i
) para todo x, y E.
(e) |x|
2
=
iI
[(x[x
i
)[
2
para todo x E.
A identidade em (e) e conhecida como identidade de Parseval.
Demonstra cao. 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 =
iI
(x[x
i
)x
i
, q = x p.
70
Pela proposi cao anterior p esta bem denido. Como
(q[x
j
) = (x[x
j
) (p[x
j
) = 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[x
i
)x
i
, ou seja (c).
Suponhamos (e), e seja M = [S]. Ent ao p M e q M
. Pelo teorema de
Pit agoras
|x|
2
= |p|
2
+|q|
2
=
iI
[(x[x
i
)[
2
+|q|
2
.
Segue de (e) que |q| = 0, e portanto x = p M. Logo E = M = [S], ou seja
(a).
Devido ` a condi cao (c) do teorema anterior, os conjuntos ortonormais com-
pletos 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 cao. Pelo Corol ario 20.8 existe em E uma sequencia ortonormal
completa (x
n
)
n=1
. Pelo teorema anterior
(3) |x|
2
=
n=1
[(x[x
n
)[
2
para todo x E.
Consideremos a aplicacao
T : x E ((x[x
n
))
n=1
2
.
T e claramente linear, e segue de (3) que T e uma isometria. Para completar a
demonstra cao provaremos que T e sobrejetiva.
Dado (
n
)
2
, seja x =
n=1
n
x
n
E. Para provar que x esta bem
denido, seja s
n
=
n
j=1
j
x
j
para cada n. Ent ao, para m < n temos que
|s
n
s
m
|
2
= |
n
j=m+1
j
x
j
|
2
=
n
j=m+1
|
j
[
2
.
Como
j=1
[
j
[ < , segue que (s
n
) e uma sequencia de Cauchy em E. Logo x
esta bem denido.
E claro que (x[x
j
) =
j
para cada j. Logo (
n
) = Tx, como
queriamos.
21.6. Proposicao. Seja E um espa co com produto interno, e sejam S
1
e
S
2
dois conjuntos ortonormais completos em E. Entao S
1
e S
2
tem a mesma
cardinalidade.
71
Demonstra cao. A conclusao e clara se S
1
ou S
2
e nito. Suponhamos que
S
1
e S
2
sao innitos. Para cada x S
1
seja
S
2
(x) = y S
2
: (x[y) ,= 0.
Armamos que
S
2
=
_
xS
1
S
2
(x).
De fato, seja y S
2
. Como y ,= 0 e S
1
e completo, existe x S
1
tal que
(x[y) ,= 0. Logo y S
2
(x). Segue da Proposi cao 21.2 que S
2
(x) e enumeravel
para cada x. Logo
[S
2
[ [S
1
[[N[ = [S
1
[.
De maneira an aloga podemos provar que [S
1
[ [S
2
[.
Na secao anterior vimos exemplos de conjuntos ortonormais completos em
K
n
2
e
2
. Agora veremos exemplos de conjuntos ortonormais completos em
L
2
[0, 2].
21.7. Teorema. As funcoes
u
0
(t) =
1
2
, u
n
(t) =
1
cosnt, v
n
(t) =
1
sennt,
com n N, formam um conjunto ortonormal completo no espa co de Hilbert
real L
2
([0, 2]; R).
Demonstra cao. Seja S o conjunto formado pelas fun coes u
n
e v
n
. 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 L
2
([0, 2]; R).
Seja
B = f C([0, 2]; R) : f(0) = f(2).
f(e
it
) = f(t) (0 t 2).
f
1
(e
it
) = 1,
f
2
(e
it
) = cost,
f
3
(e
it
) = sent.
E claro que:
(a)
A contem as fun coes constantes;
(b)
A separa os pontos de K, ou seja, dados Z
1
,= z
2
em K, existe
f
A tal
que
f(z
1
) ,=
f(z
2
).
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) = a
0
+
n
k=1
(a
k
coskt +b
k
senkt),
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 Stone-
Weierstrass, podemos provar o teorema seguinte.
21.8. Teorema. As fun coes u
n
(t) = e
int
, com n Z, formam um conjunto
ortonormal completo no espa co de Hilbert complexo L
2
([0, 2]; C).
Exerccios
21.A. Seja E um espaco com produto interno, e seja S = (x
n
)
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 (x
n
)
n=1
uma seq uencia ortonormal
em E, e seja
L =
n=1
n
x
n
: [
n
[ 1/n para todo n.
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
K
n=1
n
x
n
E.
73
21.C. Sejam (a
n
)
n=0
e (b
n
)
n=1
emRtais que
n=0
[a
n
[
2
< e
n=1
[b
n
[
2
<
. Prove que existe uma unica f L
2
([0, 2]; R) tal que
a
0
=
1
2
_
2
0
f(t)dt, a
n
=
1
_
2
0
f(t)cosntdt, b
n
=
1
_
2
0
f(t)senntdt
para todo n N.
21.D. Seja (c
n
)
+
n=
em C tal que
+
n=
[c
n
[
2
< . Prove que existe
uma unica f L
2
([0, 2]; C) tal que
c
n
=
1
2
_
2
0
f(t)e
int
dt para todo n Z.
74
22. Operadores auto-adjuntos em espa cos de Hilbert
E e F denotam espacos de Hilbert.
22.1. Proposicao. Dado T L(E; F), existe um unico T
L(F; E) tal
que
(1) (Tx[y) = (x[T
y) para todo x E, y F.
Tem-se que |T
e o adjunto de T.
Demonstra cao. Fixemos y F. Ent ao o funcional x E (Tx[y) K
e linear e contnuo, com norma |T||y|. Pelo teorema de representacao de
Riesz existe um unico y
E tal que
(2) (Tx[y) = (x[y
) para todo x E
e |y
| |T||y|. Denamos T
: F E por T
y = y
para cada y F.
Segue de (2) que T
segue de (1).
O mesmo raciocnio prova a existencia de um unico T
y[x) = (y[T
x) para todo y F, x E,
com |T
| |T
= T, e portanto |T
| = |T|.
22.2. Denicao. Um operador T L(E; E) e dito auto-adjunto se T
= T,
ou seja
(Tx[y) = (x[Ty) para todo x, y E.
22.3. Proposicao. Seja T L(E; E) um operador auto-adjunto. Ent ao
|T| = sup[(Tx[x)[ : |x| = 1.
Demonstra cao. Seja
C = sup[(Tx[x)[ : |x| = 1.
A desigualdade C |T| segue de imediato da desigualdade de Cauchy-Schwarz.
Provaremos a desigualdade oposta.
Se Ts = 0 para todo s S
E
, ent ao T = 0, e a conclusao e clara. Seja s S
E
tal que Ts ,= 0, e sejam
x = |Ts|
1/2
s, y = |Ts|
1/2
Ts.
Ent ao
|x|
2
= |y|
2
= |Ts|
e
(Tx[y) = (Ty[x) = |Ts|
2
.
75
Sejam
u = x +y, v = x y.
Ent ao
(Tu[u) = (Tx[x) + (Tx[y) + (Ty[x) + (Ty[y),
(Tv[v) = (Tx[x) (Tx[y) (Ty[x) + (Ty[y).
Segue que
(Tu[u) (Tv[v) = 2(Tx[y) + 2(Ty[x) = 4|Ts|
2
.
Por outro lado, pela deni cao de C, e pela lei do paralelogramo,
(Tu[u) (Tv[v) C|u|
2
+C|v|
2
= C(|x +y|
2
+|x y|
2
)
= 2C(|x|
2
+|y|
2
= 4C|Ts|.
Segue que
4|Ts|
2
4C|Ts|,
e portanto |T| C.
Se T L(E; E) e auto-adjunto, e claro que (Tx[x) e real apara cada x E.
Sejam
m
T
= inf(Tx[x) : |x| = 1,
M
T
= sup(Tx[x) : |x| = 1.
Com esta notacao obtemos o corolario seguinte:
22.4. Corolario. Seja T L(E; E) um operador auto-adjunto. Ent ao:
|T| = maxM
T
, m
T
.
Seja T L(E; E). Lembremos que, se e um autovalor de T, ent ao E
denota o subespa co E
= x E : Tx = x.
22.5. Proposicao. Seja T L(E; E) um operador auto-adjunto.
(a) Se e um autovalor de T, entao e real e m
T
M
T
.
(b) Se e s ao autovalores distintos de T, entao os subespacos E
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
T
E
F
= S
+T
.
(b) (T)
= T
.
(c) |T
T| = |TT
| = |T|
2
.
22.C. Dados S, T L(E; E), prove que (TS)
= S
.
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 auto-
adjunto para cada n N.
22.F. Sejam s, T L(E; E) operadores auto-adjuntos. Prove que que TS e
auto-adjunto se e s o se TS = ST.
77
23. Teorema espectral para operadores compactos e auto-adjuntos
em espa cos de Hilbert
23.1. Proposicao. Seja E um espa co de Hilbert, e seja T L(E; E) um
operador compacto e auto-adjunto, com T ,= 0. Entao |T| ou |T| e um
autovalor de T, e existe um autovetor correspondente x S
E
tal que [(Tx[x)[ =
|T|.
Demonstra cao. Pelo Corol ario 22.4 existe uma sequencia (x
n
) S
E
tal
que (Tx
n
[x
n
) , onde e |T| ou |T|. Notemos que
0 |Tx
n
x
n
|
2
= (Tx
n
x
n
[Tx
n
x
n
)
= |Tx
n
|
2
(Tx
n
[x
n
) (x
n
[Tx
n
) +
2
|x
n
|
2
|T|
2
2(Tx
n
[x
n
) +
2
.
Como |T|
2
2(Tx
n
[x
n
) +
2
0, segue que Tx
n
x
n
0.
Como T e compacto, a sequencia (Tx
n
) admite uma subsequencia conver-
gente. Sem perda de generalidade podemos supor que (Tx
n
) converge a um
vetor y. Como Tx
n
x
n
0, segue que x
n
y. Como ,= 0, segue que
x
n
x, onde x =
y
. Como |x
n
| = 1 para todo n, segue que |x| = 1. Por
um lado Tx
n
y = x. Por outro lado Tx
n
Tx. Logo Tx = x, e e
um autovalor. Finalmente, como [(Tx
n
[x
n
)[ |T|, segue que [(Tx[x)[ = |T|,
completando a demonstra cao.
23.2. Teorema. Seja E um espa co de Hilbert, e seja T L(E; E) um
operador compacto e auto-adjunto, com T ,= 0. Entao:
(a) Existe uma sequencia nita ou innita (
n
) de autovalores, e uma sequencia
correspondente (x
n
) de autovetores, tal que T admite uma representa cao da
forma
(1) Tx =
n
(x[x
n
)x
n
=
(Tx[x
n
)x
n
para todo x E. A sequencia (x
n
) e ortonormal.
(b) Se a sequencia (
n
) e innita, ent ao
n
0.
(c) Cada autovalor ,= 0 de T aparece na sequencia (
n
). O subespa co de
autovetores correspondente E
coincide
com o n umero de vezes que aparece na sequencia (
n
).
Demonstra cao. (a) Aplicando a proposi cao anterior obtemos
1
R, e
x
1
E, com |x
1
| = 1, tais que
Tx
1
=
1
x
1
, [
1
[ = |T|.
Seja E
1
= [x
1
] o subespa co gerado por x
1
. N ao e difcil vericar que o subespa co
E
1
e invariante sob T, ou seja T(E
1
) E
1
. De fato, para cada x E
1
tem-se
que
(Tx[x
1
) = (x[Tx
1
) = (x[
1
x
1
) =
1
(x[x
1
) = 0.
78
Se a restri cao T[E
1
e identicamente zero, entao o processo termina ai. Caso
contr ario, aplicando a proposi cao anteror ` a restri cao T[E
1
, obtemos
2
R, e
x
2
E
1
, com |x
2
| = 1, tais que
Tx
2
=
2
x
2
, [
2
[ = |T[E
1
|.
Procedendo por indu cao obtemos uma sequencia (
n
) R, com
n
,= 0, e uma
sequencia correspondente (x
n
) E, com |x
n
| = 1, tais que
Tx
n
=
n
x
n
, x
n
E
n1
, [
n
[ = |T[E
n1
| para cada n 2,
onde E
n
= [x
1
, ..., x
n
] para cada n 1.
E claro que a sequencia ([
n
[) e
decrescente, e a sequencia (x
n
) e ortonormal.
Suponhamos primeiro que a restri cao T[E
n
seja zero para algum n. Cada
x E pode ser escrito na forma
x = y
n
+z
n
, com y
n
E
n
, z
n
E
n
,
e portanto
x =
n
j=1
(x[x
j
)x
j
+z
n
.
Como T[E
n
= 0, segue que
Tx =
n
j=1
(x[x
j
)Tx
j
=
n
j=1
(x[x
j
)
j
x
j
=
n
j=1
(x[
j
x
j
)x
j
=
n
j=1
(x[Tx
j
)x
j
=
n
j=1
(Tx[x
j
)x
j
.
Isto prova a representa cao (1) quando T[E
n
= 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 (Tx
n
) admite uma subsequencia convergente. Como Tx
n
=
n
x
n
e [
n
[ para todo n, segue que (x
n
) admite uma subsequencia convergente.
Mas isto e absurdo, pois, sendo (x
n
) ortonormal, segue que |x
n
x
m
|
2
= 2
sempre que n ,= m.
A seguir provaremos que a representacao (1) e valida quando a restri cao
T[E
n
e distinta de zero para cada n. Como no caso anterior escrevamos x =
y
n
+z
n
, com y
n
E
n
, z
n
E
n
. Como [
n+1
[ = |T[E
n
|, segue que
|Tz
n
| |T[E
n
||z
n
| [
n+1
[|x| 0.
Segue que
Tx = Ty
n
+Tz
n
= lim
n
Ty
n
= lim
n
n
j=1
(x[x
j
)Tx
j
79
=
j=1
(x[x
j
)
j
x
j
=
j=1
(Tx[x
j
)x
j
.
(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[x
n
) =
0 para cada n, e segue de (1) que Tx = 0, absurdo, pois Tx = x, com ,= 0,
x ,= 0.
Suponhamos que um autovalor ,= 0 apare ca p vezes na sequencia (
n
).
Neste caso o subespaco E
p. Se fosse dimE
, com x ,= 0 e (x[x
n
j
) = 0 para j = 1, ..., p. Dai (x[x
n
) = 0 para todo n,
e seguiria de novo de (1) que Tx = 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
k=1
(x[a
k
)b
k
para cada x E, onde a
k
E e b
k
F.
23.C. Seja T L(
2
;
2
) o operador denido por
T : (
1
,
2
,
3
, ...) (
1
,
2
2
,
3
3
, ...).
Prove que T e um operador compacto e auto-adjunto.
80
24. Espa cos localmente convexos
24.1. Denicao. 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) KE x E.
24.2. Proposicao. Seja E um espa co vetorial topol ogico. Ent ao:
(a) Para cada a E, a aplica cao x E a +x E e um homeomorsmo.
(b) Para cada ,= 0 em K, a aplica cao x E x E e um homeomor-
smo.
Demonstra cao. (a) segue da continuidade da aplica cao (x, y) E E
x +y E. (b) segue da continuidade da aplica cao (, x) KE x E.
24.3. Corolario. Seja E um espa co vetorial topol ogico. Entao:
(a) Para cada a E, U e uma vizinhan ca de zero se e s o se a + U e uma
vizinhanca de a.
(b) Para cada ,= 0 em K, U e uma vizinhan ca de zero se e s o se U e
uma vizinhan ca de zero.
24.4. Denicao. 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 facil ver
que cada vizinhan ca de zero em E e um conjunto absorvente. Basta usar a
continuidade da aplica cao K x E em zero para x E xo.
24.6. Denicao. Diremos que E e um espaco localmente convexo se E
e um espaco vetorial topol ogico tal que cada vizinhan ca de zero contem uma
vizinhan ca convexa de zero.
24.7. Proposicao. Seja E um espa co localmente convexo. Entao cada
vizinhanca de zero contem uma vizinhan ca convexa e equilibrada de zero.
Demonstra cao. Seja U uma vizinhan ca de zero em E. Seja U
1
uma vizin-
han ca convexa de zero em E, U
1
U. Como a aplicacao
(, x) KE x E
81
e contnua em (0, 0), existem > 0 e uma vizinhan ca V de zero em E tais que
x U
1
para todo [[ e x V . Seja
V
1
=
_
||
V.
Ent ao V
1
e uma vizinhan ca equilibrada de zero em E, V
1
U
1
. Seja
W =
n
j=1
j
x
j
: x
j
V
1
,
j
1,
n
j=1
j
= 1.
Ent ao W e o menor subconjunto convexo de E que contem V
1
. Como V
1
e
equilibrado, segue que W e equilibrado. Como V
1
U
1
, e U
1
e convexo, segue
que W U
1
. Segue que W e uma vizinhan ca convexa e equilibrada de zero em
E, W U.
24.8. Exemplos. (a)
E f acil ver que cada espa co normado E e um espaco
localmente convexo. As bolas B(0; ), com > 0, formam uma base de vizin-
han cas convexas e equilibradas de zero.
(b) Seja E um espaco normado. Dados x
0
E,
1
, ...,
n
E
e > 0,
consideremos o conjunto
U(x
0
;
1
, ...,
n
; ) = x E : sup
1jn
[
j
(x x
0
[ < .
Diremos que um conjunto U E e aberto para a topologia fraca, que deno-
taremos por (E, E
), se para cada x
0
U, U contem um conjunto da forma
U(x
0
;
1
, ...,
n
; ).
E f acil ver que (E, (E, E
e > 0,
formam uma base de vizinhan cas convexas e equilibradas de zero.
(c) Seja E um espaco normado. Dados
0
E
, x
1
, ..., x
n
E e > 0,
consideremos o conjunto
U(
0
; x
1
, ..., x
n
; ) = E
: sup
1jn
[(
0
)(x)[ < .
Diremos que um conjunto U E
, (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 espa co vetorial, e seja M
0
um subespa co de E. Seja p : E R uma seminorma, e seja
0
: M
0
K
um funcional linear tal que [
0
(x)[ p(x) para todo x M
0
. Entao existe um
funcional linear : E K tal que:
(a) (x) =
0
(x) para todo x M
0
;
(b) [(x)[ p(x) para todo x E.
25.2. Corolario. Seja E um espa co localmente convexo, e seja M
0
um
subespaco de E. Entao, dado
0
M
0
, sempre existe E
0
(x) para todo x M
0
.
Demonstra cao. O conjunto
U = x M
0
: [
0
(x)[ < 1
e uma vizinhan ca aberta de zero em M
0
. Seja V uma vizinhan ca aberta de zero
em E tal que V M
0
= U. Seja W uma vizinhan ca convexa e equilibrada de
zero em E tal que W V . Ent ao W M
0
U e
x E : p
W
(x) < 1 W x E : p
W
(x) 1.
Se x M
0
e p
W
(x) < 1, segue que [
0
(x)[ < 1, e dai segue que [
0
(x)[ p
W
(x)
para todo x M
0
. Pelo teorema anterior existe um funcional linear : E K
tal que (x) =
0
(x) para todo x M
0
e [(x)[ p
W
(x) para todo x E.
Segue que [(x)[ para todo x W. Em particular e contnuo.
25.3. Corolario. Seja E um espa co localmente convexo de Hausdor.
Entao, dado x ,= 0 em E, sempre existe E
), e
a topologia que admite como base de vizinhan cas de x
0
E os conjuntos da
forma
U(x
0
;
1
, ...,
n
; ) = x E : [
j
(x x
0
)[ < para 1 j n,
com
1
, ...,
n
E
)
E
.
26.1. Observa cao. Nao e difcil provar que cada vizinhan ca da forma
U(0;
1
, ...,
n
; ) contem uma vizinhan ca da forma U(0;
1
, ...,
m
; ), com
1
, ...,
m
linearmente independentes.
26.2. Proposicao. Se E e um espa co normado, ent ao (E, (E, E
))
= E
.
Demonstra cao. Como (E, E
))
E
, e claro que
(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 util.
26.3. Lema. Seja E um espa co vetorial, e sejam
1
, ...,
n
, E
tais que
n
j=1
1
j
(0)
1
(0).
Entao e combina cao linear de
1
, ...,
n
.
Demonstra cao. Seja T : E K
n
denida por
Tx = (
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 (Tx) = (x), ent ao esta bem denida e e linear. Seja
: K
n
K uma transforma cao linear tal que [T(E) = . Se (e
1
, ..., e
n
) e a
base canonica de K
n
, ent ao
(x) = (Tx) = (Tx) = (
1
(x), ...,
n
(x))
= (
n
j=1
j
(x)e
j
) =
n
j=1
j
(x)(e
j
).
87
26.4. Corolario. Seja E um espa co vetorial, e sejam
1
, ...,
n
E
n
j=1
1
j
(0) algebricamente.
26.5. Proposicao. Seja E um espa co normado. Entao (E, E
) =
E
se
es o se E tem dimens ao nita.
Demonstra cao. Suponhamos que E tenha dimens ao nita. Seja (e
1
, ..., e
n
)
uma base de E, e seja (
1
, ...,
n
) a base dual. Seja T : E
n
o isomorsmo
can onico, ou seja Tx = (
1
(x), ...,
n
(x)) para cada x E. Ent ao T e um
isomorsmo topol ogico, e T transforma a vizinhan ca 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 B
E
contem
uma vizinhan ca da forma U(
1
, ...
n
; ), com
1
, ...,
n
linearmente indepen-
dentes. Assim temos que
B
E
U(0;
1
, ...,
n
; )
n
j=1
1
j
(0).
Pelo Corol ario 26.4 existem vetores x
1
, ..., x
n
E tais que
E = [x
1
, ..., x
n
]
n
j=1
1
j
(0).
Como a bola B
E
n ao pode conter um subespa co vetorial n ao trivial, conclumos
que
n
j=1
1
j
(0) = 0, e portanto E = [x
1
, ..., x
n
] tem dimensao nita.
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
; x
1
, ..., x
n
; ) = E
: [(
0
)(x
j
)[ < para 1 j n,
com x
1
, ..., x
n
E e > 0.
E claro que (E
, E) (E
, E
)
E
.
27.1. Observa cao. Nao e difcil provar que cada vizinhan ca da forma
U(0; x
1
, ..., x
n
; ) contem uma vizinhan ca da forma U(0; y
1
, ..., y
m
; ), comy
1
, ..., y
m
linearmente independentes.
27.2. Proposicao. Se E um espa co normado, ent ao (E
, (E
, E))
= E.
Demonstra cao. Cada x E dene um funcional linear
x : E
(x) K,
que e claramente contnuo para (E
, (E
, E))
.
Para provar a inclus ao oposta, seja T (E
, (E
, E))
. Ent ao existemx
1
, ..., x
n
E e > 0 tais que
U(0; x
1
, ..., x
n
; ) E
: [T()[ < 1.
Segue que
n
j=1
x
1
j
(0) T
1
(0).
Pelo Lema 26.3 T e combinacao linear dos funcionais x
j
, ou seja
T() =
n
j=1
j
(x
j
) = (
n
j=1
j
x
j
)
para cada E
. Assim T = x, onde x =
n
j=1
j
x
j
.
27.3. Proposicao. Seja E um espa co normado. Entao (E
, E) =
E
se
e s o se E tem dimens ao nita.
Demonstra cao. Suponhamos que E tenha dimens ao nita. Seja (e
1
, ..., e
n
)
uma base de E, e seja (
1
, ...,
n
) a base dual. Seja T : E
o isomorsmo
can onico, ou seja T = ((e
1
), ..., (e
n
)) para cada E
. Ent ao T e um
isomorsmo topol ogico, e T transforma a vizinhan ca U(0; e
1
, ..., e
n
; ) 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 Proposi cao 26.5 E
,E
)
E
.
(b) E
= E
(E
,E
)
.
Demonstra cao. Basta provar (a), pois (b) e conseq uencia imediata de (a).
E claro que B
E
B
E
, e que B
E
e (E
, E
)-fechada. Logo
B
(E
,E
)
E
B
E
.
Para provar a inclus ao oposta suponhamos que exista
y
B
E
B
(E
,E
)
E
.
Como B
(E
,E
)
E
e convexo, equilibrado e (E
, E
, (E
, E
))
tal que
[T(y
)[ > sup[T(x
)[ : x
B
(E
,E
)
E
.
Como (E
, (E
, E
))
= E
tal que
T(y
) = y
(y
) para todo y
. Logo
[y
(y
)[ > sup[y
(x)[ : x B
E
= |y
|.
Seja z
= y
/|y
|. Ent ao [y
(z
B
E
e y
B
E
.
27.5. Teorema de Alaoglu. Se E e um espa co normado, ent ao a bola
B
E
e (E
, E)-compacta.
Demonstra cao. Seja T : E
K
E
denida por
T() = ((x))
xE
.
Ent ao T e um isomorsmo topol ogico entre (E
, (E
xE
D(0; |x|).
Pelo teorema de Tychono o produto
xE
D(0; |x|) e compacto. Para com-
pletar a demonstra cao basta provar que T(B
E
) e fechado em
xE
D(0; |x|).
Seja (
i
) uma rede em B
E
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 B
E
.
27.6. Teorema. Um espaco normado E e reexivo se e s o se a bola B
E
e
(E, E
)-compacta.
Demonstra cao. Suponhamos que E seja reexivo. Sabemos que a inclusao
can onica E E
, E
) em E
90
induz a topologia (E, E
e as topologias (E, E
) e (E
, E
) coincidem em B
E
= B
E
. Como B
E
e (E
, E
)-
compacto.
Reciprocamente suponhamos que a bola B
E
seja (E, E
)-compacta. Pelo
Teorema de Goldstine temos que
B
E
= B
(E
,E
)
E
.
Assim, dado x
B
E
, existe uma rede (x
i
) B
E
tal que
x
, x
) = limx
, x
i
)
para todo x
. Como a bola B
E
e (E, E
)-compacta, a rede (x
i
) admite
uma subrede (x
(j)
) que converge fracamente a um ponto x B
E
, ou seja
x
, x) = limx
, x
(j)
).
Segue que
x
, x
) = limx
, x
(j)
) = x
, x)
para todo x
, e portanto x
= x. Logo B
E
= B
E
, e E e reexivo.
91