Analise Funcional PDF

Notas de Aula
An
alise Funcional
Rodney Josu
e Biezuner
Departamento de Matematica
Instituto de Ciencias Exatas (ICEx)
Universidade Federal de Minas Gerais (UFMG)
Notas de aula do curso An

alise Funcional do Programa
de P
os-Graduaca
o em Matem
atica, ministrado no primeiro semestre de 2009.
6 de julho de 2009
E-mail: rodney@mat.ufmg.br; homepage: http://www.mat.ufmg.br/rodney.
Sum
ario
1 Espa
cos Vetoriais Normados e Espa
cos de Banach
1.1 Definicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Exemplo 1: Os espacos `p (n) . . . . . . . . . . . . . . . . . . .
1.3 Exemplo 2: Os espacos das sequencias `p . . . . . . . . . . . .
1.4 Exemplo 3: Os espacos Lp ()
. . . . . . . . . . . . . . . . . . .
1.5 Exemplo 4: Os espacos C k e os espacos de Holder C k,
1.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
5
6
9
11
. . . . . .
. . . . . .
. . . . . .
Convexos
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
12
12
17
18
21
24
Teoremas da Limita
c
ao Uniforme, da Aplica
c
ao Aberta e do Gr
afico Fechado
O Teorema da Limitacao Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Os Teoremas da Aplicacao Aberta e do Grafico Fechado . . . . . . . . . . . . . . . . . .
Operadores Adjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
25
25
27
29
34
2 Aplica
c
oes Lineares
2.1 Aplicacoes Lineares Limitadas . . . . . . . . . . . . . . . . . .
2.2 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 O Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . .
2.4 Formas Geometricas do Teorema de Hahn-Banach: Conjuntos
2.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Os
3.1
3.2
3.3
3.4
4 Espa
cos Reflexivos
4.1 Espacos Reflexivos . . . . . . . . .
4.2 Espacos Separaveis . . . . . . . . .
4.3 Exemplo 1: Espacos `p . . . . . . .
4.4 Espacos Uniformemente Convexos
4.5 Exemplo 2: Espacos Lp () . . . .
4.6 Exerccios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 Topologia Fraca e Topologia Fraca*

5.1 Topologia Fraca . . . . . . . . . . . . . . .
5.2 Sequencias Fracamente Convergentes . . .
5.3 Topologia Fraca* . . . . . . . . . . . . . .
5.4 Convexidade Uniforme e Topologia Fraca
5.5 Reflexividade, Separabilidade e Topologias
5.6 Metrizabilidade e Topologia Fraca . . . .
5.7 Exerccios . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
36
36
38
39
42
43
52
. . . .
. . . .
. . . .
. . . .
Fracas
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
54
54
57
58
61
64
65
68
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Rodney Josue Biezuner

6 Espa
cos de Hilbert
6.1 Produto Interno . . . . . . . . . . . .
6.2 Espacos de Hilbert . . . . . . . . . . .
6.3 Teorema de Representacao de Riesz .
6.4 Bases de Schauder e Bases de Hilbert .
6.5 Exerccios . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
70
70
74
74
76
80
7 Operadores Compactos
7.1 Operadores Completamente Contnuos e Operadores Compactos
7.2 Teoria de Riesz-Fredholm para Operadores Compactos . . . . . .
7.3 O Espectro de Operadores Compactos . . . . . . . . . . . . . . .
7.4 Teoria Espectral para Operadores Autoadjuntos Compactos . . .
7.5 Aplicacao: Problemas de Sturm-Liouville e Operadores Integrais
7.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
81
83
87
89
93
97
8 Espa
cos de Sobolev e Equa
c
ao de Laplace
8.1 O Princpio de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2 A Derivada Fraca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2.1 Definicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2.2 Um Teorema de Aproximacao para Funcoes Fracamente Diferenciaveis
8.2.3 Caracterizacao das Funcoes Fracamente Diferenciaveis . . . . . . . . .
8.2.4 Regra do Produto e Regra da Cadeia . . . . . . . . . . . . . . . . . . .
8.3 Espacos de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.4 Caracterizacao dos Espacos W01,p () . . . . . . . . . . . . . . . . . . . . . . .
8.5 Imersao Contnua de Espacos de Sobolev . . . . . . . . . . . . . . . . . . . . .
8.6 Imersao Compacta de Espacos de Sobolev . . . . . . . . . . . . . . . . . . . .
8.7 Resolucao do Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . .
8.8 O Problema de Autovalor para o Laplaciano . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
100
100
101
101
103
105
107
109
110
111
114
117
121
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 1
Espacos Vetoriais Normados e

Espacos de Banach
1.1
Definic
ao
1.1 Defini
c
ao. Seja E um espaco vetorial real. Uma norma em E e uma funcao kk : E R que satisfaz
as seguintes propriedades:
(i) kxk > 0 para todo x E e kxk = 0 se e somente se x = 0;
(ii) (Homogeneidade) para todo R e para todo x E vale
kxk = || kxk ;
(iii) (Desigualdade Triangular) para todos x, y E vale
kx + yk 6 kxk + kyk .
Um espaco vetorial E munido de uma norma kk e chamado um espa
co vetorial normado e denotado
(E, kk).
1.2 Defini
c
ao. Seja M um conjunto. Uma metrica em M e uma funcao d : M M R que satisfaz as
seguintes propriedades:
(i) d (x, y) > 0 para todos x, y M e d (x, y) = 0 se e somente se x = y;
(ii) (Desigualdade Triangular) para todos x, y, z M vale
d (x, z) 6 d (x, y) + d (y, z) .
Um espaco vetorial normado torna-se naturalmente um espaco metrico com a metrica derivada da norma:
d (x, y) = kx yk .
Desta forma, um espaco vetorial normado torna-se um espaco topologico com a topologia induzida pela
metrica.
1.3 Proposi
c
ao. Seja (E, kk) um espaco vetorial normado. Ent
ao as func
oes soma de vetores E E
E, (x, y) 7 x + y, multiplicaca
o de vetores por escalares R E E, (, x) 7 x, e norma kk :
E R, x 7 kxk s
ao contnuas.
3
1.4 Corol
ario. Fixado x0 E, a aplicac
ao x 7 x + x0 (translac
ao) e um homeomorfismo. Fixado R
n
ao nulo, a aplicaca
o x 7 x (homotetia) e um homeomorfismo.
Lembramos que um espaco metrico completo e um espaco metrico em que todas as sequencias de Cauchy
sao convergentes, isto e, convergem para um elemento do proprio espaco.
1.5 Defini
c
ao. Um espaco vetorial normado completo e chamado um espa
co de Banach.
1.2
Exemplo 1: Os espacos `p (n)
1.6 Defini
c
ao. Seja 1 6 p 6 . Definimos o espaco `p (n) como sendo o espaco Rn dotado da norma
kxkp =
n
X
!1/p
|xi |
(1.1)
i=1
se 1 6 p < , e
kxk = max |xi | .
(1.2)
16i6n
1.7 Proposi
c
ao. `p (n) e um espaco vetorial normado.
Prova. As propriedades (i) e (ii) de uma norma na Definicao 1.1 sao claramente verificadas. Para provar a
desigualdade triangular (que neste caso especial tambem recebe o nome de desigualdade de Minkowski)
n
X
!1/p
p
|xi + yi |
n
X
i=1
!1/p
|xi |
n
X
i=1
!1/p
|yi |
(1.3)
i=1
recorremos à desigualdade de H
older (que sera demonstrada no final):
n
X
|xi yi | 6 kxkp kykp0
onde
i=1
1
1
+ 0 = 1.
p p
(1.4)
O n
umero p0 e chamado o expoente conjugado de p; observe que p0 = p/ (p 1). De fato, escrevemos
n
X
|xi + yi | 6
i=1
n
X
(|xi | + |yi |) |xi + yi |
p1
n
X
|xi | |xi + yi |
i=1
i=1
p1
p1
6 kxkp |x1 + y1 |
, . . . , |xn + yn |
n
X
! p1
p
p
|xi + yi |
p
p1
p1
n
X
|yi | |xi + yi |
p1
i=1
p1
p1
+ kykp |x1 + y1 |
, . . . , |xn + yn |
p
p1
kxkp + kykp .
i=1
Logo,
kx + ykp =
n
X
!1 p1
p
p
|xi + yi |
6 kxkp + kykp .
i=1
A desigualdade de Holder, por sua vez, segue da desigualdade mais geral

a b1 6 a + (1 ) b
(1.5)
sempre que a, b > 0 e 0 < < 1. Esta desigualdade pode ser provada da seguinte forma: se b = 0, ela e
obvia; se b 6= 0, divida a desigualdade por b e tome t = a/b > 0, de modo que provar a desigualdade torna-se
equivalente a mostrar
1 que a funcao f (t) = t t e menor que ou igual a 1 para todo t > 0. E, de fato,
0
como f (t) = t
1 , f e estritamente crescente para 0 6 t < 1 e estritamente decrescente para t > 1,
logo f atinge o seu maximo em t = 1, onde f vale exatamente 1 . Tomando
0
x p
y p
1
i
i
a=
,b=
e= ,
kxkp
kykp0
p
para cada ndice i, segue que
p0
|xi yi |
1 |xi |
1 |yi |
6
+ 0
0 .
kxkp kykp0
p kxkpp
p kykpp0
Da, somando desde i = 1 ate i = n, obtemos
n
P
1
kxkp kykp0
n
X
i=1
|xi yi | 6
|xi |
1 i=1
p kxkpp
n
P
|yi |
p0
1 i=1
0
p0 kykpp0
1
1
+
= 1.
p p0
1.8 Proposi
c
ao. `p (n) e um espaco de Banach.
Prova. Para ver que `p (n) e completo, basta observar que uma sequencia em `p (n) e de Cauchy se e
somente se cada uma das sequencias de coordenadas e de Cauchy e que, alem disso, uma sequencia em `p (n)
e convergente se e somente se cada uma das sequencias de coordenadas e de Cauchy. Outra maneira de ver
que `p (n) e um espaco de Banach e lembrar que todas as normas em Rn sao equivalentes e usar o fato bem
conhecido que Rn com a norma usual e completo.
Observe que `2 (n) e o espaco Rn munido da norma euclidiana, a qual e derivada de um produto interno.
1.3
Exemplo 2: Os espacos das sequ

encias `p
1.9 Defini
c
ao. Seja 1 6 p < . Definimos o espaco `p como sendo o espaco das sequencias reais p-somaveis,
isto e,
(
)
X
p
`p = x : N R :
|xi | < ,
i=1
dotado da norma
kxkp =
!1/p
p
|xi |
(1.6)
i=1
e o espaco ` como sendo o espaco das sequencias reais limitadas, isto e,
` = x : N R : sup |xi | < ,

iN
dotado da norma
kxk = sup |xi | .
iN
1.10 Proposi
c
ao. `p e um espaco vetorial normado.
Prova. Basta passar o limite na desigualdade de Minkowski fazendo n .
1.11 Proposi
c
ao. `p e um espaco de Banach.
(1.7)
Prova. Seja {xn }nN uma sequencia de Cauchy em `p ({xn } e uma sequencia de sequencias reais). Denote os
termos de cada sequencia xn por xn,m . Para cada m fixado, {xn,m }nN e tambem uma sequencia de Cauchy,
logo converge para um certo n
umero am ; em outras palavras, a sequencia de sequencias {xn } converge termo
a termo para a sequencia real a = {am }. Afirmamos que esta sequencia esta em `p e que xn a em `p .
De fato, como {xn }nN e de Cauchy em `p , dado > 0, existe N N tal que
kxk xl kp <
sempre que k, l > N ; em particular, para todo m N, vale
m
X
|xk,i xl,i | N . Fixando k e fazendo l , obtemos

m
X
|xk,i ai | N . Da, fazendo m , temos que
|xk,i ai | N,o que implica que xk a `p sempre que k > N , e portanto a `p . Esta mesma
desigualdade tambem implica que xk a em `p .
1.12 Exemplo. Subespacos de ` que sao tambem espacos de Banach sao
`
: x e uma sequencia convergente} ,
c = {x `
`0 = {x ` : lim xn = 0} .
A demonstracao deste fatos e deixada como exerccio.
1.4
Exemplo 3: Os espacos Lp ()
1.13 Defini
c
ao. Seja Rn um conjunto mensuravel. Seja 1 6 p < . Definimos o espaco Lp () como
sendo o espaco das (classes de equivalencia de) funcoes reais p-integraveis no sentido de Lebesgue, isto
e,
Z
Lp () =
f : R :
|f | < ,
dotado da norma
Z
kf kp =
|f |
1/p
,
(1.8)
e o espaco L () como sendo o espaco das (classes de equivalencia de) funcoes reais mensuraveis
limitadas, isto e,
L () = f : R : sup |f | < ,
dotado da norma
kf k = sup |f | .
(1.9)
Observe que nesta definicao,

sup |f | = inf {c R : |f (x)| 6 c q.t.p.} .
1.14 Proposi
c
ao. Lp () e um espaco vetorial normado.
Prova. Lp () e um espaco vetorial porque se f, g Lp () e R, entao f + g Lp () e f Lp ().
De fato,
|f (x) + g (x)| 6 |f (x)| + |g (x)| 6 2 max {|f (x)| , |g (x)|} ,
de modo que
|f (x) + g (x)| 6 2p max {|f (x)| , |g (x)| } 6 2p (|f (x)| + |g (x)| ) ,
donde
|f + g| 6 2p
1/p
|g|
|f | +
Alem disso, kf kp = || kf kp e kf kp = 0 se e somente se f = 0 q.t.p.

Como nos espacos `p , para provar a desigualdade triangular ou desigualdade de Minkowski,
Z
1/p Z
1/p Z
1/p
p
p
p
|f + g|
6
|f |
+
|g|
,
recorremos à desigualdade de H
older
Z
|f g| 6 kf kp kgkp0
onde
Escrevemos
(1.10)
1
1
+
= 1.
p p0
(1.11)
Z
Z
p1
p1
p1
(|f | + |g|) |f + g|
6
|f | |f + g|
+
|f | |g|
p1
p1
6 kf kp |f + g| p + kgkp |f + g| p
|f + g| 6
p1
Z
p
|f + g|
Logo,
kf + gkp =
p1
p1
n
X
kf kp + kgkp .
!1 p1
p
|f + g|
6 kf kp + kgkp .
i=1
A desigualdade de Holder segue, como na demonstracao da Proposicao 1.7, da desigualdade mais geral
a b1 6 a + (1 ) b
sempre que a, b > 0 e 0 < < 1. Desta vez tomamos, para cada x ,
0
f (x) p
g (x) p
1
a=
,b=
e= ,
kf kp
kgkp0
p
segue que
p
p0
1 |f (x)|
1 |g (x)|
|f (x) g (x)|
6
.
0
p + 0
kf kp kgkp0
p kf kp
p kgkpp0
Da, integrando sobre , obtemos
1
kf kp kgkp0
R
R
p
p
1 |f |
1
1 |g|
1
|f g| 6
+
= + 0 = 1.
p
p0
0
p
p
p
p
kf
k
kgkp0
1.15 Proposi
c
ao. Lp () e um espaco de Banach.
Prova. Consideraremos primeiro o caso L (). Seja {fn } L () uma sequencia de Cauchy. Entao,
dado k N, existe Nk N tal que
1
kfn fm k <
k
sempre que n, m > Nk . Em particular,
|fn (x) fm (x)| <
1
k
q.t.p. em , sempre que n, m > Nk . Isso implica que {fn (x)} e uma sequencia de Cauchy para quase todo
ponto x e podemos definir f (x) = lim fn (x) q.t.p. Resta mostrar que f L () e que fn f em
L (). Isso decorre da u
ltima desigualdade, fazendo m :
|fn (x) f (x)| <
1
.
k
Segue que fn f na norma de L (); alem disso, como para qualquer n, k fixados temos |f (x)| 6
|fn (x)| + 1/k, logo f L ().
Examinaremos agora o caso 1 6 p < . Seja {fn } Lp () uma sequencia de Cauchy. Em particular,
podemos extrair uma subsequencia {fnk } tal que
1
fn
fnk p < k .
k+1
2
Considere a sequencia
gn =
n
X
f n
k+1
fnk .
k=1
R
R
p
p
Entao existe g = lim gn . Pelo Teorema da Convergencia Monotona, |g| = lim |gn | . Mas, usando a
desigualdade de Jensen,
!p
Z
Z X
n
n Z
X
p
p
fn
|gn | 6
fnk+1 fnk
6
fnk
k+1
6
=
k=1
n
X p
k=1
1
2p
1
2k
1
2p
n
X
k=1
1
2p
k
6
k=1

X
k=1
1
2p
1
< 1,
2p 1
logo conclumos que kgkp 6 1 e, em particular, g assume valores reais em quase todo ponto.
Usaremos a sequencia {gn } e seu limite g para verificar que a subsequencia {fnk (x)} e de Cauchy em
quase todo ponto x. Com efeito, sejam k > l > 1 e escreva
|fn (x) fn (x)| 6 fn (x) fn

(x) + . . . + fn (x) fn (x) = gk1 (x) gl1 (x) 6 g (x) gl1 (x) .
k
k1
l+1
Como gl (x) g (x) q.t.p., para quase todo x fixado, existe N N tal que g (x) gl1 (x) < sempre
que l > N ; ja que k > l, segue que |fnk (x) fnl (x)| < sempre que k, l > N .
Portanto, podemos definir, em quase todo ponto,
f (x) = lim fnk (x) .
Falta provar que f Lp () e que fn f em Lp (). Fazendo k na desigualdade |fnk (x) fnl (x)| 6
g (x) gl1 (x), obtemos
|f (x) fnl (x)| 6 g (x) gl1 (x) .
Como g gl1 Lp (), segue em particular que f fnl Lp () e, portanto, f Lp () ja que fnl Lp ().
Alem disso, integrando esta desigualdade sobre , temos
Z
Z
p
p
|f fnl | 6
|g gl1 | 0
quando l pelo Teorema da Convergencia Dominada (|g gl1 | e dominada por 2 |g|). Provamos, entao,
que uma subsequencia da sequencia de Cauchy {fn } converge para f em Lp (); portanto, toda a sequencia
converge para f .

1.16 Exemplo. O espaco das funcoes contnuas C com a norma L1 e um espaco vetorial normado mas
nao e um espaco de Banach. Por exemplo, tome = [0, 1] e considere a sequencia de funcoes
0
se 0 6 t 6 ,

1
1
1
1
fn (t) =
n t
se 6 t 6 + ,
2
2
2 n
1
1
1
se + 6 t 6 1.
2 n
Assumindo n > m para fixar ideias, temos que
Z 1
kfn fm k1 =
|fn (t) fm (t)| dt
0
e a area do triangulo de altura 1 e comprimento da base
1
1
, de modo que
m n
kfn fm k1 <
sempre que n, m > , ou seja {fn }nN e uma sequencia de Cauchy em C ([0, 1]) na norma L1 . Mas
ela nao converge para nenhuma funcao contnua na norma L1 . De fato, convergencia L1 implica em
1
convergencia q.t.p., a menos de uma subsequencia, e fn (t) 0 se 0 6 t 6 , enquanto que fn (t) 1
2
1
se 6 t 6 1. Para uma demonstracao mais direta, suponha por absurdo que existe f C ([0, 1]) tal
2
que kfn f k1 0. Como
Z 12 + n1
Z 1
Z 1
Z 12
|f (t)| dt +
|fn (t) f (t)| dt +
|1 f (t)| dt
kfn f k1 =
|fn (t) f (t)| dt =
1
2
1
1
2+n
e as tres integrais sao nao-negativas, cada uma delas deve ser igual a 0 ou convergir para 0 quando
n . Conclumos que
0
se 0 6 t 6 ,
2
f (t) =
1
1
se 6 t 6 1,
2
e portanto f nao e contnua.
1.5

Exemplo 4: Os espacos C k e os espacos de H
older C k,
Usaremos a notacao de multi-ndice para denotar a derivada parcial

D f (x) =
onde = (1 , . . . , n ) e || = 1 + . . . + n .
|| f
(x)
. . . xnn
x11
10
1.17 Defini
c
ao. Seja Rn um conjunto aberto. Definimos o espaco C k () como o espaco das funcoes
reais definidas em cujas derivadas parciais ate a ordem k (inclusive) sao limitadas e uniformemente
contnuas (isso garante que elas possuem uma u
nica extensao contnua para ), isto e,
C k () = f C k () : D f e limitada e uniformemente contnua em para todo || 6 k .

dotado da norma
kf kC k () = max kD f kL () .
||6k
(1.12)
0
Freq
uentemente
T kdenotamos o espaco das funcoes contnuas C () simplesmente por C(), e definimos
C () =
C ().
kN
Relembramos o conceito de continuidade de Holder:

1.18 Defini
c
ao. Seja Rn . Dizemos que uma funcao f : R e contnua de H
older com expoente
, se
|f (x) f (y)|
sup
<
|x y|
x,y
x6=y
para algum 0 < 6 1. Neste caso, denotaremos f C (), se < 1, e f C 0,1 () se = 1. Alem
disso, denotamos tambem
|f (x) f (y)|
[f ]C () = sup
.
(1.13)
|x y|
x,y
x6=y
Em particular, note que se f e contnua de Holder com expoente em , entao

|f (x) f (y)| 6 [f ]C () |x y|
para todos x, y .
Claramente, se uma funcao e contnua de Holder em , entao ela e contnua em ; na verdade, ela e
uniformemente contnua em , o que motiva o nome de func
ao uniformemente contnua de H
older em , às
vezes usado na literatura. Uma funcao contnua de Holder com expoente = 1 e uma funcao contnua de
Lipschitz.

1.19 Defini
c
ao. Seja Rn um conjunto aberto. Os espa
cos de H
older C k, sao definidos como

os subespacos de C k consistindo das funcoes cujas derivadas parciais ate a ordem k (inclusive) sao
todas contnuas de Holder com expoente em :

C k, = f C k : D f C () para todo || 6 k
com norma
kf kC k, () = kf kC k () + max [D f ]C () .
||6k
(1.14)

Permitindo = 0, podemos incluir os espacos C k entre os espacos de Holder:

C k = C k,0 .

1.20 Proposi
c
ao. C k, e um espaco vetorial normado.
Prova. Provemos a validade da desigualdade triangular. Para isso, ja que kf kC k () nada mais e que a soma
de normas do maximo, portanto claramente uma norma, basta provar que a desigualdade triangular vale
11
para a seminorma [D f ]C () (uma seminorma e uma funcao que satisfaz todas as propriedades que uma
norma satisfaz, exceto a condicao (i) da Definicao 1.1). Isso significa provar que
|(f + g) (x) (f + g) f (y)|
|f (x) f (y)|
|g(x) g(y)|
6 sup
+ sup
.
|x
y|
|x
y|
|x y|
x,y
x,y
x,y
sup
x6=y
x6=y
x6=y
Mas isso segue diretamente da desigualdade triangular

|(f + g) (x) (f + g) f (y)| 6 |f (x) f (y)| + |g(x) g(y)|
e do fato que
sup (A + B) 6 sup A + sup B.

1.21 Proposi
c
ao. C k, e um espaco de Banach.
Prova. Exerccio.
1.6
Exerccios
1.1 Mostre que

kxk = lim kxkp .
p
um espaco de Banach?
1.2 C 1 () com a metrica L e um espaco vetorial normado? E
1.3 Seja E um espaco vetorial normado em relacao a duas normas, kk1 e kk2 . Dizemos que estas duas
normas sao equivalentes se existirem constantes C, D > 0 tais que
kxk1 6 C kxk2 ,
kxk2 6 D kxk1 ,
para todo x E. Suponha que kk1 e kk2 sao normas equivalentes. Prove que (E, kk1 ) e de Banach
se e somente se (E, kk2 ) e de Banach.

1.4 Mostre que C k, com a norma
kf kC k, () =
k
X
i=0
kf kC i () +
[D f ]C ()
||6k
e um espaco vetorial normado. Mostre que esta norma e equivalente à norma definida no texto.
1.5 Demonstre a Proposicao 1.21.
Captulo 2
Aplicac
oes Lineares
2.1
Aplicac
oes Lineares Limitadas
Em espacos vetoriais normados, um criterio simples para a continuidade de aplicacoes lineares e encapsulado
na seguinte definicao, como veremos a seguir:
2.1 Defini
c
ao. Sejam (E, kkE ) e (F, kkF ) espacos vetoriais normados. Dizemos que uma aplicacao linear
T : E F e limitada se existe uma constante M > 0 tal que
kT xkF 6 M kxkE
para todo x E.
Em geral, omitiremos os subscritos das normas quando for claro do contexto a quais espacos elas se referem.
ao linear. As seguintes
2.2 Proposi
c
ao. Sejam E, F espacos vetoriais normados e T : E F uma aplicac
afirmac
oes s
ao equivalentes:
(i) T e contnua.
(ii) T e contnua na origem.
(iii) T e limitada.
Prova. (i)(ii) Obvio.

(ii)(iii) Tomando = 1 na definicao (, ) de continuidade em espacos metricos,
existe > 0 tal que kxk 6 implica kT xk 6 1. Portanto, se y E e um vetor nao nulo qualquer, temos

T y 6 1.
kyk
Por linearidade conclumos que
1
kyk .
(iii)(i) Seja M tal que kT xk 6 M kxk para todo x E. Entao

kT yk 6
kT x T yk = kT (x y)k 6 M kx yk
e portanto T e uma aplicacao de Lipschitz, em particular (uniformemente) contnua.
12
13
2.3 Exemplo. Embora aplicacoes lineares em espacos vetoriais normados de dimensao finita sejam sempre
contnuas, o mesmo nao vale para espacos vetoriais normados de dimensao infinita. De fato, se E e um
espaco vetorial normado de dimensao infinita e F e um espaco vetorial normado de dimensao maior ou
igual a 1, podemos sempre construir uma aplicacao linear T : E F que nao e limitada. Para isso,
0
seja B uma base para E, B B um subconjunto enumeravel de vetores e y F um vetor nao nulo
qualquer. Definimos uma aplicacao linear T : E F definindo T em B por
T xn = n kxn k y
se xn B
e
Tx = 0
se x B\B .
T nao e limitada, pois

kT xn k = n kyk kxn k ,
logo nao existe uma constante M > 0 tal que
kT xn k 6 M kxn k .
Em particular, vemos que se E e um espaco vetorial normado de dimensao infinita, sempre existem
funcionais lineares que nao sao contnuos, pois podemos tomar F = R.
2.4 Defini
c
ao. Se E, F sao espacos vetoriais normados, denotaremos o espaco vetorial das aplicac
oes lineares limitadas por L (E, F ). Definimos a norma de uma aplicacao linear limitada por
kT k = inf {M R : kT xk 6 M kxk para todo x E} .
2.5 Proposi
c
ao. Sejam E, F espacos vetoriais normados e T : E F uma aplicac
ao linear limitada.
Ent
ao
kT xk
kT k = sup
= sup kT xk = sup kT xk .
xE
xE
xE\{0} kxk
kxk61
Prova. Seja
M = sup
xE
x6=0
kxk=1
kT xk
.
kxk
Entao kT xk 6 M kxk para todo x E, logo M > kT k. Reciprocamente, como por definicao kT xk 6 kT k kxk
para todo x E, segue que
kT xk
6 kT k
kxk
para todo x E\ {0}, logo kT k 6 M . Isso prova a primeira identidade.
Para provar que
kT xk
sup
= sup kT xk = sup kT xk ,
xE
xE
xE\{0} kxk
kxk=1
basta notar que
kxk61
kT xk
x
.
= T
kxk
kxk
Apesar de uma aplicacao linear limitada ser contnua, nao podemos trocar o sup na bola unitaria ou na esfera
unitaria pelo maximo, pois em espacos vetoriais normados de dimensao infinita a bola e a esfera unitaria
nunca sao compactas (veja o Corolario 1.39).
14
2.6 Proposi
c
ao. Se E, F s
ao espacos vetoriais normados, ent
ao L (E, F ) e um espaco vetorial normado.
Prova. Sejam T, S L (E, F ). Temos
k(T + S) xk = kT x + Sxk 6 kT xk + kSxk 6 kT k kxk + kSk kxk
= (kT k + kSk) kxk
para todo x E, de modo que obtemos simultaneamente que T + S L (E, F ) e a validade da desigualdade
triangular para a norma de aplicacoes lineares.
2.7 Proposi
c
ao. Se E e um espaco vetorial normado e F e um espaco de Banach, ent
ao L (E, F ) e um
espaco de Banach.
Prova. Seja {Tn } uma sequencia de Cauchy em L (E, F ). Como
kTn x Tm xk = k(Tn Tm ) xk 6 kTn Tm k kxk ,
segue que {Tn x} e uma sequencia de Cauchy em F para todo x E. Defina
T x := lim Tn x.
Afirmamos que T = lim Tn em L (E, F ). De fato, em primeiro lugar, T e uma transformacao linear, pois
T (x + y) = lim Tn (x + y) = lim (Tn x + Tn y) = lim Tn x + lim Tn y
= T x + T y.
Alem disso, dado > 0, existe N N tal que kTn Tm k < sempre que n, m > N . Entao
kTn x Tm xk 6 kxk
para todo x E e fazendo n obtemos
k(T Tm ) xk = kT x Tm xk 6 kxk
para todo x E, sempre que m > N . Em particular, T Tm L (E, F ), portanto T = (T Tm ) + Tm
L (E, F ) e
kT Tm k <
sempre que m > N , isto e, Tm T em L (E, F ).
Reciprocamente, com a ajuda do teorema de Hahn-Banach (veja a proxima secao), pode-se provar que (se
E 6= 0) se F nao e um espaco de Banach, entao L (E, F ) nao e um espaco de Banach (Proposicao 2.26).
2.8 Defini
c
ao. Se E e um espaco vetorial normado, denotaremos o espaco vetorial dos funcionais lineares
limitadas por E . Ele e chamado o espa
co dual de E.
2.9 Corol
ario. Se E e um espaco vetorial normado, ent
ao E e um espaco de Banach.
2.10 Proposi
c
ao. Sejam E, F, G espacos vetoriais normados. Se T L (E, F ) e S L (F, G), ent
ao
ST L (E, G) e
kST k 6 kSk kT k .
Prova. Temos
k(ST ) xk 6 kSk kT xk 6 kSk kT k kxk
para todo x E.
15
2.11 Defini
c
ao. Sejam E, F espacos vetoriais normados. Dizemos que uma aplicacao T : E F e
limitada inferiormente se existe uma constante m > 0 tal que
kT xk > m kxk
para todo x E.
2.12 Proposi
c
ao. Seja T L (E, F ). Ent
ao a inversa T 1 : Im T E existe e e linear e limitada se e
somente se T e limitada inferiormente.
Prova. Suponha que T e limitada inferiormente. Entao, se x 6= y segue que
kT x T yk = kT (x y)k > m kx yk > 0,
logo T e injetiva e portanto a inversa T 1 : Im T E esta bem definida. Como T (x + y) = T x + T y,
tomando T 1 em ambos os lados desta equacao, segue tambem que
T 1 (T x + T y) = x + y = T 1 (T x) + T 1 (T y) ,
logo T 1 e linear. Finalmente,
T (T x) = kxk 6 m1 kT xk
para todo y = T x Im T , e portanto T 1 e limitada.

Reciprocamente, suponha que T 1 : Im T E existe e e linear e limitada. Entao
kxk = T 1 (T x) 6 T 1 kT xk
para todo x E, ou seja,
1
kT xk > T 1 kxk .
2.13 Defini
c
ao. Sejam E, F espacos vetoriais normados. Dizemos que E e F sao topologicamente isomorfos quando existe uma aplicacao linear bijetiva T : E F tal que T e T 1 sao limitadas.
2.14 Corol
ario. T : E F e um isomorfismo topol
ogico entre os espacos vetoriais normados E e F se
e somente se existem constantes m, M > 0 tais que
m kxk 6 kT xk 6 M kxk .
Em particular, isomorfismos topologicos preservam sequencias de Cauchy e sequencias convergentes; da, se
E e F sao topologicamente isomorfos, ent
ao E e um espaco de Banach se e somente se F e.
2.15 Proposi
c
ao. Sejam E, F espacos vetoriais normados de dimens
ao finita com a mesma dimens
ao.
Ent
ao E e F s
ao topologicamente isomorfos.
Prova. Como a relacao de isomorfismo topologico entre espacos vetorias normados e uma relacao de
equivalencia, basta mostrar que se dim E = n entao E e topologicamente isomorfo a `1 (n). Seja B =
{e1 , . . . , en } uma base para E. Considere o isomorfismo T : `1 (n) E definido por
T (x1 , . . . , xn ) =
n
X
i=1
x i ei .
16
Afirmamos que T e um isomorfismo topologico. De fato, T e limitada porque

kT xkE 6
n
X
kxi ei kE =
i=1
|xi | kei kE
i=1
n
X
max kei kE
X
n
i=1,...,n
|xi |
i=1
= M kxk`1 (n)
onde denotamos M = max kei kE . Como T e contnua, a funcao x 7 kT xk tambem e e assume um valor
i=1,...,n
mnimo m na esfera unitaria B = x `1 (n) : kxk = 1 . Necessariamente m > 0, pois {e1 , . . . , en } e um

conjunto linearmente independente. Portanto,
x
T
kxk > m
para todo x E, x 6= 0, o que mostra que m kxk 6 kT xk 6 M kxk para todo x E.
2.16 Corol
ario. Todo espaco vetorial normado de dimens
ao finita e de Banach.
Todo subespaco vetorial de dimens
ao finita de um espaco vetorial normado e fechado.
2.17 Corol
ario. Se E e um espaco vetorial normado de dimens
ao finita e T : E F e linear, ent
ao T
e contnua.
2.18 Corol
ario. Se E e um espaco vetorial normado de dimens
ao finita, ent
ao um subconjunto de E e
compacto se e somente se ele for fechado e limitado.
Alem disso, se E e um espaco vetorial normado tal que a bola unit
aria B = {x E : kxk 6 1} e
compacta, ent
ao E possui dimens
ao finita.
Prova. Vamos provar a u
ltima afirmacao. Para isso, provaremos antes o seguinte resultado:
Seja E um espaco vetorial normado e F E um subespaco vetorial fechado pr
oprio de E. Ent
ao para
todo 0 < < 1 existe y E tal que kyk = 1 e
dist (y, F ) > .
Seja z E\F e d = dist (z, F ). Como F e fechado, d 6= 0 e pela definicao de distancia existe x0 F tal que
d 6 kz x0 k 6
Tome
y=
d
.
z x0
,
kz x0 k
de modo que kyk = 1. Alem disso, para todo x F temos
z x0
ky xk =
x
kz x0 k
1
kz x0 kz x0 k xk
=
kz x0 k
> kz x1 k ,
d
17
onde x1 = x0 kz x0 k x F , logo
d = .
d
Agora, suponha por absurdo que E e um espaco de dimensao infinita. Vamos construir uma sequencia
{xn }nN B que nao possui subsequencia convergente, mostrando que B nao pode ser compacta. Tome
x1 B qualquer. Como hx1 i e um subespaco fechado de E e, por hipotese, E 6= hx1 i, existe x2 B tal que
ky xk >
kx1 x2 k > 1/2.

O subespaco hx1 , x2 i tambem e um subespaco fechado proprio de E, logo existe x3 B tal que
kx1 x3 k > 1/2 e kx2 x3 k > 1/2.
Continuando desta maneira, obtemos uma sequencia {xn } B tal que
kxn xm k > 1/2
para todos n, m N. Como nenhuma subsequencia desta sequencia pode ser de Cauchy, ela nao possui
nenhuma subsequencia convergente.
2.2
Exerccios
2.1 Verifique nos casos abaixo que o funcional linear esta bem definido e e limitado e calcule sua norma.
x
P
n
.
n
n=1
P
xn
b) f : `
.
0 R; f (x) =
n+1
2
n=1
R1
c) f : L1 (1, 1) R; f (x) = 1 tx (t) dt.
a) f : `2 R; f (x) =
2.2 Considere o operador linear M : `p `p definido por

M (x) = (1 x1 , 2 x2 , . . .)
onde = (n ) ` . M e chamado multiplicac
ao por . Verifique que M e um operador linear bem
definido e limitado e calcule sua norma. Para que sequencias existe o operador inverso M1 ? Para
que sequencias o operador inverso M1 existe e e limitado?
2.3 Considere o operador shift S : `p `p definido por
Sx = (0, x1 , x2 , . . .) .
S 1 existe e e limitado? Considere agora o operador truncamento T : `p `p definido por
T x = (x2 , x3 , . . .) .
T 1 existe e e limitado?
2.4 Seja T : C ([0, 1]) C ([0, 1]) definida por
Z
(T f ) (t) = f (t) +
f (s) ds.
0
Mostre que T e um isomorfismo topologico.
18
2.5 Seja E um espaco de Banach e T L (E) um operador tal que kT k < 1. Mostre que I T e um
P
1
1
operador bijetivo, (I T ) =
T n , (I T ) e limitado e que
n=1
1
(I T ) 6
1
.
1 kT k
2.6 Seja E um espaco de Banach e T L (E) um operador tal que kI T k < 1. Mostre que T 1 existe e
esta em L (E).
2.7 Seja E = f C 1 ([0, 1]) : f (0) = 0 . Dada g C ([0, 1]), considere a aplicacao linear Tg : E
C ([0, 1]) definida por
(Tg f ) (t) = f 0 (t) + g (t) f (t) .
Mostre que T 1 existe e e limitada.
2.8 A aplicacao linear D : C 1 ([0, 1]) C ([0, 1]) definida por
Df = f 0
e limitada? Se for, calcule kDk .
2.9 Seja E = f C ([0, 1]) : f e de classe C 1 . Considere a aplicacao linear T : E C ([0, 1]) definida
por
Df = f 0 .
D e limitada? Se for, calcule kDk .
2.10 A aplicacao linear I : C ([0, 1]) C ([0, 1]) definida por
Z t
(If ) (t) =
f (s) ds.
0
e limitada? Se for, calcule kIk .

2.11 Prove que nao existe norma em C ([0, 1]) que torne o operador derivada Df = f 0 limitado. [Sugestao:
considere as funcoes f (x) = ex .]
2.3
O Teorema de Hahn-Banach
O teorema de Hahn-Banach garante que todo espaco vetorial normado e ricamente suprido de funcionais
lineares, de modo que pode-se obter uma teoria satisfatoria de espacos duais e de operadores adjuntos.
2.19 Defini
c
ao. Seja E um espaco vetorial normado. Dizemos que um funcional p : E R e semilinear
se ele for subaditivo, isto e,
p (x + y) 6 p (x) + p (y)
para todos x, y E,
e positivo-homogeneo, ou seja,
p (x) = p (x)
para todos x E, > 0.
Um exemplo de funcional semilinear em um espaco vetorial normado e a propria norma deste espaco.
Para demonstrarmos o lema principal desta secao, que tambem e conhecido como o teorema de HahnBanach para espacos vetoriais (embora nestas notas nao nos referiremos a ele deste modo em geral, preferindo
reservar o nome teorema de Hahn-Banach para o teorema de Hahn-Banach para espacos vetoriais normados),
relembramos o lema de Zorn:
19
2.20 Lema. (Lema de Zorn) Seja A 6= um conjunto parcialmente ordenado. Se todo subconjunto totalmente ordenado de A possui um limitante superior, ent
ao A tem pelo menos um elemento maximal.
2.21 Lema. Sejam E um espaco vetorial e p : E R um funcional semilinear. Seja F um subespaco
vetorial de E e f0 : F R um funcional linear tal que f0 (x) 6 p (x) para todo x F . Ent
ao f0 se
estende a um funcional linear f : E R satisfazendo f (x) 6 p (x) para todo x E.
Prova. Este resultado e uma consequencia do Lema de Zorn. Seja A o conjunto de todas as extensoes
lineares g : L (g) R de f0 a um subespaco vetorial L (g) F de E tais que g (x) 6 p (x) para todo
x L (g). Note que A 6= porque f0 A. Definimos uma ordem parcial em A declarando
g 6 h se L (g) L (h) ,
isto e, g 6 h se h e uma extensao de g. Para ver que A satisfaz a hipotese do lema de Zorn, seja A A um
subconjunto totalmente ordenado. Entao um limitante superior para A e o funcional g : L (g) R onde
[
L (g) =
L (h)
hA
e g e definido por
g (x) = h (x) se x L (h) para qualquer h A.
Observe que g esta bem definido porque A e totalmente ordenado. Pelo lema de Zorn, existe um elemento
maximal f A. Para provar o resultado, basta mostrar que L (f ) = E.
Suponha por absurdo que existe x0 E\L (f ). Considere o subespaco L = L (f ) + hx0 i. Defina uma
extens
ao linear g : L R de f por
h (x + tx0 ) = f (x) + t,
onde R e uma constante a ser definida apropriadamente para que tenhamos h (y) 6 p (y) para todo
y L, e portanto g contradizera a maximalidade de f . De fato, dados x1 , x2 L (f ), temos
f (x1 ) + f (x2 ) = f (x1 + x2 ) 6 p (x1 + x2 ) 6 p (x1 + x0 ) + p (x2 x0 ) ,
donde
f (x2 ) p (x2 x0 ) 6 p (x1 + x0 ) f (x1 ) .
Escolha tal que
sup [f (x) p (x x0 )] 6 6 inf [p (x + x0 ) f (x)] .
xL(f )
xL(f )
Isso implica que

h (x x0 ) = f (x) 6 p (x x0 ) ,
h (x + x0 ) = f (x) + 6 p (x + x0 ) ,
para todo x L (f ). Se t > 0, multiplicando
x
x
+6p
+ x0
f
t
t
por t obtemos
h (x + tx0 ) = f (x) + t 6 p (x + tx0 ) .
Se t < 0, multiplicando
x
t
6p
x
x0
t
por t obtemos
h (x + tx0 ) = f (x) + t 6 p (x + tx0 ) .
Se t = 0, o resultado e obvio.
20
2.22 Teorema. (Teorema de Hahn-Banach) Sejam E um espaco vetorial normado e f0 : F R um

funcional linear limitado definido em um subespaco vetorial F E. Ent
ao f0 se estende a um
funcional linear f : E R tal que
kf kE = kf0 kF .
Prova. Basta aplicar o teorema anterior ao funcional semilinear
p (x) = kf0 kF kxk .
2.23 Corol
ario. Sejam E um espaco vetorial normado e F um subespaco vetorial de E. Suponha que
exista x0 E tal que
dist (x0 , F ) = inf kx x0 k > 0.
xF
Ent
ao existe f E tal que f (x0 ) = 1, kf kE = 1/ dist (x0 , F ) e f 0 sobre F .
Em particular, se F e um subespaco vetorial de E que n
ao e denso em E, ent
ao existe f E n
ao-nulo
que se anula em F .
Prova. Considere o subespaco vetorial F1 = F + hx0 i. Defina um funcional linear f0 : F1 R por
f0 (x + tx0 ) = t.
Note que f0 0 sobre F e que f0 (x0 ) = 1. Escrevendo y = x + tx0 , se t 6= 0 temos que
x
kyk = kx + tx0 k = |t| + x0 > |t| dist (x0 , F ) = |f0 (y)| dist (x0 , F ) ,
t
ou seja,
|f0 (y)|
1
6
para todo y F1 , donde
kyk
dist (x0 , F )
kf0 kF 6
1
1
.
dist (x0 , F )
(2.1)
Seja {yn } F uma sequencia tal que kx0 yn k dist (x0 , F ). Temos
1 = f0 (x0 yn ) 6 kf0 kF kx0 yn k ,
1
de modo que ao passarmos o limite quando n segue que

kf0 kF >
1
.
dist (x0 , F )
kf0 kF =
1
.
dist (x0 , F )
Portanto,
1
(2.2)
Usando o teorema de Hahn-Banach, estendemos f linearmente a todo o espaco E.

Este resultado e frequentemente usado para verificar se um subespaco vetorial de um espaco vetorial normado
e denso.
2.24 Corol
ario. Seja E um espaco vetorial normado. Para todo vetor n
ao-nulo x0 E existe f E tal
que
kf kE = 1 e f (x0 ) = kx0 k .
21
Prova. Aplique o teorema de Hahn-Banach ao subespaco F = hx0 i e ao funcional linear limitado f0 : F

R definido por f0 (tx0 ) = t kx0 k.
2.25 Corol
ario. Seja E um espaco vetorial normado. Para todo vetor x E vale
kxk =
sup
f E \{0}
|f (x)|
= sup |f (x)| = max |f (x)| .
kf k
f E
f E
kf k61
kf k61
Prova. Pelo corolario anterior existe g E tal que kgkE = 1 e g (x) = kx0 k. Logo,
sup
f E \{0}
|g (x)|
|f (x)|
>
= kxk .
kf k
kgk
Como |g (x)| 6 kgk kxk, segue o resultado.

2.26 Proposi
c
ao. Sejam E, F espacos vetoriais normados. Se L (E, F ) e um espaco de Banach, ent
ao F
e um espaco de Banach.
Prova. Em primeiro lugar, observamos que se f e funcional linear sobre E e y F e um vetor qualquer,
entao podemos definir uma aplicacao linear T : E F por
T x = f (x) y.
Alem disso, se f for um funcional linear limitado, entao T tambem e uma aplicacao linear limitada. De fato,
kT k = sup
kT xk
|f (x)|
= kyk sup
= kyk kf k .
kxk
kxk
Seja {yn }nN uma sequencia de Cauchy em F . Pelo Corolario 2.24, existe um funcional linear f E
tal que kf k = 1. Para cada n N, defina uma aplicacao linear Tn L (E, F ) por
Tn x = f (x) yn .
Entao kTn k = kyn k e {Tn }nN e uma sequencia de Cauchy em L (E, F ). Como L (E, F ) e um espaco de
Banach, Tn T em L (E, F ). Em particular, Tn x T x em F para todo x E. Escolhendo x E tal que
f (x) = 1, segue que Tn x = yn e portanto yn T x.
Assim, juntamente com a Proposicao 2.7, este resultado implica que L (E, F ) e um espaco de Banach se e
somente se F e um espaco de Banach.
2.4
Formas Geom
etricas do Teorema de Hahn-Banach: Conjuntos
Convexos
2.27 Defini
c
ao. Seja E um espaco vetorial. Um hiperplano afim e um conjunto da forma
H = f 1 () = {x E : f (x) = } ,
onde f : E R e um funcional linear nao-nulo e R.
2.28 Proposi
c
ao. Seja E um espaco vetorial normado. O hiperplano H = f 1 () e fechado se e somente
se f e limitada.
22
Prova. Suponha que H e fechado. Entao E\H e aberto e nao-vazio (porque f e nao-nulo). Escolha
x0 E\H tal que f (x0 ) < , para fixar ideias, e uma bola Br (x0 ) E\H. Afirmamos que f (x) < para
todo x Br (x0 ). Com efeito, se f (x1 ) > para algum x1 Br (x0 ), considere o segmento
L = {(1 t) x0 + tx1 : 0 6 t 6 1}
que esta inteiramente contido em Br (x0 ). Tomando t =
f (x1 )
temos
f (x1 ) f (x0 )
f ((1 t) x1 + tx0 ) = (1 t) f (x1 ) + tf (x0 )
f (x1 )
f (x1 )
= 1
f (x1 ) +
f (x0 )
f (x1 ) f (x0 )
f (x1 ) f (x0 )
[ f (x0 )] f (x1 ) + [f (x1 ) ] f (x0 )
=
f (x1 ) f (x0 )
= ,
contradizendo Br (x0 ) E\H. Portanto, conclumos que
f (x0 + rz) <
para todo z B1 (0), donde (usando o fato que f (z) = f (z))
|f (z)| 6
1
( f (x0 ))
r
para todo z B1 (0), o que implica que f e limitada e

kf k 6
1
( f (x0 )) .
r
A recproca e obvia.
2.29 Defini
c
ao. Seja E um espaco vetorial e A, B E subconjuntos quaisquer.
Dizemos que o hiperplano H = f 1 () separa A e B no sentido amplo se f (x) 6 para todo
x A e f (x) > para todo x B.
Dizemos que o hiperplano H = f 1 () separa A e B no sentido estrito se existe > 0 tal que
f (x) 6 para todo x A e f (x) > + para todo x B.
2.30 Lema. (Funcional de Minkowski) Seja E um espaco vetorial normado e C E um conjunto aberto
convexo contendo a origem. Defina o funcional pC : E R por
n
o
x
pC (x) = inf > 0 : C .
Ent
ao pC e um funcional semilinear que satisfaz
(i) existe M > 0 tal que 0 6 pC (x) 6 M kxk para todo x E;
(ii) C = {x E : pC (x) < 1} .
Prova. Para simplificar a notacao, denotaremos pC por p.
x
C, logo por definicao
Prova de (i): Seja r > 0 tal que Br [0] C. Entao, para todo x E, r
kxk
r
p (x) 6
.
kxk
23
Prova de (ii): Seja x C. Como C e aberto, existe > 0 tal que (1 + ) x C, logo por definicao
1
<1
1+
x
x
Reciprocamente, se p (x) < 1, entao existe 0 < < 1 tal que C, donde x = + (1 ) 0 C, ja que
C e convexo e contem a origem.

facil ver que p e positivo-homogeneo. Para verificar a
Por fim, vamos verificar que p e semilinear. E
subaditividade de p, sejam x, y E e > 0. De (ii) e do fato de p ser positivo-homogeneo segue que
y
x
,
C.
p (x) + p (y) +
p (x) 6
Da,
t
y
x
+ (1 t)
C
p (x) +
p (y) +
Em particular, escolhendo t =
para todo 0 6 t 6 1.
p (x) +
, temos que
p (x) + p (y) + 2
x+y
C.
p (x) + p (y) + 2
Pela positivo-homogeneidade de p e por (ii), conclumos que

p (x + y) 0 e arbitrario, segue a subaditividade de p.
2.31 Lema. Seja E um espaco vetorial normado e C ( E um conjunto aberto convexo n
ao-vazio. Seja
x0 E\C. Ent
ao existe f E tal que f (x) < f (x0 ) para todo x C.
Em particular, o hiperplano H = f 1 (f (x0 )) separa x0 e C no sentido amplo.
Prova. Fazendo uma translacao, podemos assumir que 0 C e definir o funcional de Minkowski p de C.
Considere F = hx0 i e o funcional linear sobre F dado por f0 (tx0 ) = t. Como p (x0 ) > 1 (por (ii) do lema
anterior), temos p (tx0 ) = tp (x0 ) > t se t > 0; se t < 0, p (tx0 ) > t trivialmente, porque o funcional de
Minkowski p e nao-negativo. Segue que f0 (x) 6 p (x) para todo x F . Podemos portanto usar o teorema de
Hahn-Banach (Lema 2.21) para concluir que f0 possui uma extensao linear f : E R tal que f (x) 6 p (x)
para todo x E. De (i) do lema anterior, segue que f e limitada. Finalmente, como p (x) < 1 para todo
x C, segue que f (x) 6 p (x) < 1 = f (x0 ) para todo x C.
2.32 Teorema. (Teorema de Hahn-Banach, primeira forma geometrica) Seja E um espaco vetorial normado. Sejam A, B E conjuntos convexos n
ao-vazios disjuntos, com A aberto. Ent
ao existe um
hiperplano fechado que separa A e B no sentido amplo.
Prova. Seja
C = A B = {x y : x A e y B} .
C e convexo, pois se x1 y1 , x2 y2 C entao
t (x1 y1 ) + (1 t) (x2 y2 ) = tx1 + (1 t) x2 [ty1 + (1 t) y2 ] C,
e C e aberto porque C = yB (A y), uniao de abertos (translacao e um homeomorfismo). Alem disso,
0
/ C porque A e B sao disjuntos. Pelo lema anterior, tomando x0 = 0, existe f E tal que f (z) < 0 para
todo z C, ou seja, f (x) < f (y) para todos x A e y B. Escolhendo tal que
sup f 6 6 inf f,
A
conclumos que o hiperplano H = f 1 () separa A e B no sentido amplo.
24
2.33 Teorema. (Teorema de Hahn-Banach, segunda forma geometrica) Seja E um espaco vetorial normado. Sejam A, B E conjuntos convexos n
ao-vazios disjuntos, com A fechado e B compacto.
Ent
ao existe um hiperplano fechado que separa A e B no sentido estrito.
Prova. Dado > 0, sejam
A = A + B (0)
B = B + B (0) ,
de modo que A e B sao abertos, convexos e nao-vazios. Alem disso, tomando < dist (A, B), segue que A
e B sao disjuntos. Pelo teorema anterior, existe um hiperplano fechado H = f 1 () que separa A e B
no sentido amplo, logo
f (x + z) 6 6 f (y + z)
para todos x A, y B e z B1 (0). Da,
f (x) + kf k 6 6 f (y) + kf k .
2.5
Exerccios
ucleo
2.12 Sejam E um espaco vetorial e f : E R um funcional linear. Mostre que a codimensao do n
de f e 1, ou seja, podemos escrever
E = ker f hx0 i
onde x0 e qualquer vetor de E tal que f (x0 ) 6= 0.
2.13 Seja E um espaco vetorial normado. Se f : E R e um funcional linear tal que para toda sequencia
{xn }nN convergente para 0 a sequencia {f (xn )}nN e limitada, mostre que f e limitado.
2.14 Seja E um espaco vetorial normado. Prove que um funcional linear f : E R e limitado se e somente
se ker f e fechado.
2.15 Sejam E um espaco vetorial normado e L = hx1 , x2 , . . .i um subespaco vetorial gerado por um conjunto
enumeravel de vetores. Mostre que x L se e somente se para todo f E tal que f (xn ) = 0 para
todo n tem-se f (x) = 0.
2.16 Sejam E um espaco vetorial normado e f : E R um funcional linear limitado nao-nulo. Considere
o hiperplano H = f 1 (1). Mostre que
1
kf k =
.
inf kxk
xH
2.17 Sejam E um espaco vetorial normado e F um subespaco vetorial proprio de E. Mostre que se T0 : F
RN e uma aplicacao linear limitada, entao T se estende a uma aplicacao linear limitada T : E RN
com kT k = kT0 k.
Captulo 3
Os Teoremas da Limitac
ao Uniforme,
da Aplicac
ao Aberta e do Gr
afico
Fechado
3.1
O Teorema da Limitac
ao Uniforme
3.1 Lema. (O Teorema da Categoria de Baire) Seja X um espaco metrico completo. Seja{Fn }nN
uma
S
colec
ao enumer
avel de conjuntos fechados de X. Se int Fn = para todo n, ent
ao int
Fn = .
nN
Alternativamente, seja X um espaco metrico completo

n
ao-vazio. Seja {Fn }nN uma colec
ao enuS
mer
avel de conjuntos fechados de X tal que X =
Fn . Ent
ao existe n0 N tal que int Fn0 6= .
nN
3.2 Teorema. (Teorema da Limitacao Uniforme) Sejam E, F espacos vetoriais normados, sendo E um
espaco de Banach. Seja {T } uma colec
ao de operadores lineares limitados de E em F puntualmente limitados, isto e, para todo x E existe Cx > 0 tal que
kT xk 6 Cx
para todo .
Ent
ao {T } e uniformemente limitada, ou seja, existe C > 0 tal que
kT k 6 C
para todo .
Prova. Para cada n N, considere o conjunto

Fn = {x E : kT xk 6 n para todo } .
T 1
Entao Fn e fechado, porque Fn =
G [0, n] onde G e a funcao contnua G = kk T . Por hipotese,
S
Fn , logo pelo Teorema da Categoria de Baire existe n0 N tal que int Fn0 6= . Seja Br (x0 ) Fn0 .
X=
nN
Temos
kT (x0 + rz)k 6 n0
para todo z B1 (0) e para todo . Logo,
kT (z)k 6
n0 + kT x0 k
r
25
26
para todo z B1 (0) e para todo , ou seja,

kT k 6
n0 + Cx
r
para todo .
3.3 Corol
ario. Sejam E, F espacos vetoriais normados, sendo E um espaco de Banach. Seja {Tn }nN uma
sequencia de operadores lineares limitados de E em F tais que para todo x E a sequencia {Tn x}nN
converge para um elemento de F que denotaremos T x. Ent
ao {Tn }nN e uniformemente limitada, T
e um operador linear limitado e
kT k 6 lim inf kTn k .
Prova. A limitacao uniforme da sequencia decorre do teorema anterior. O fato de T ser linear decorre das
propriedades de limites de somas e multiplicacao por escalar de sequencias e da linearidades dos operadores da
sequencia, como na Proposicao 2.7. Como, pelo teorema anterior, existe uma constante C > 0 independente
de x tal que
kTn xk 6 C kxk
para todo x X, tomando o limite quando n obtemos que T e limitado. Finalmente, como
kTn xk 6 kTn k kxk ,
da definicao de norma de um operador segue o u
ltimo resultado.
3.4 Corol
ario. Sejam E um espaco vetorial normado e B E um subconjunto. Se para todo f E o
conjunto f (B) e limitado, ent
ao B e limitado.
Prova. Aplicamos o Teorema da Limitacao Uniforme substituindo E = E (que e um espaco de Banach,
como vimos no Corolario 2.9), F = R e = B. Para todo b B definimos um operador linear limitado
Tb : E R por
Tb f = f (b) .
De fato,
kTb f k = kf (b)k 6 kf k kbk = kbk kf k
A colecao {Tb f }bB e limitada para cada f E por hipotese. Portanto, do Teorema 3.2 segue que existe
uma constante C > 0 independente de f tal que
|f (b)| 6 C kf k
para todo f E . Usando o Corolario 2.25 conclumos que
kbk 6 C
para todo b B.
3.5 Corol
ario. Sejam
E um espaco de Banach e B E um subconjunto. Se para todo x E o conjunto
S
hB , xi =
f (x) e limitado, ent
ao B e limitado.
f B
Prova. Aplicamos o Teorema da Limitacao Uniforme substituindo F = R e = B . Para todo b B

considere o funcional linear limitado
Tb = b .
A colecao {Tb x}b B e limitada para cada x E por hipotese. Portanto, do Teorema 3.2 segue que existe
uma constante C > 0 tal que
kb k 6 C
para todo b B .
3.2
27
Os Teoremas da Aplicac
ao Aberta e do Gr
afico Fechado
3.6 Teorema. (Teorema da Aplicacao Aberta) Sejam E, F espacos de Banach e T : E F uma aplicac
ao
linear limitada e sobrejetiva. Ent
ao existe r > 0 tal que
T (B1 (0)) Br (0)
Em particular, T e uma aplicaca
o aberta.
Prova. Passo 1. Seja T : E F uma aplicac
ao linear sobrejetiva. Ent
ao existe r > 0 tal que
T (B1 (0)) B2r (0) .
Seja
Entao Fn e fechado e F =
Fn = nT (B1 (0)).
Fn , logo pelo Teorema da Categoria de Baire (F e de Banach) existe n0 N
nN
tal que int Fn0 =

6 . Em particular, int T (B1 (0)) 6= . Sejam y F e r > 0 tais que B4r (y) T (B1 (0)).
Em particular, y, y T (B1 (0)). Obtemos
B4r (0) = y + B4r (y) T (B1 (0)) + T (B1 (0)) = 2T (B1 (0))
au
ltima igualdade valendo porque T (B1 (0)) e convexo (pois aplicacoes lineares sao aplicacoes convexas, isto
e, levam conjuntos convexos
convexos, o fecho de um conjunto convexo e convexo e podemos
em conjuntos
sempre escrever x + y = 2 21 x + 12 y ). Como B4r (y) 2T (B1 (0)), segue o resultado.

Passo 2. Seja T : E F uma aplicaca
o linear limitada. Se existe r > 0 tal que
T (B1 (0)) B2r (0) ,
ent
ao
T (B1 (0)) Br (0) .
Dado y Br (0) F , queremos encontrar x B1 (0) E tal que T x = y. Sabemos que, dado > 0, existe
0
0
zB
1/2 0(0) E tal que T z B (y). De fato, como 2y B2r (0), existe z B1 (0) tal que kT z 2yk < ;
z

0
da,
T 2 y < 2 e podemos tomar z = z /2. Escolhendo = r/2 obtemos z1 E tal que
kz1 k <
1
2
ky T z1 k <
r
.
2
Aplicando o mesmo argumento a y T z1 e escolhendo = r/4, encontramos z2 E tal que

kz2 k <
1
4
k(y T z1 ) T z2 k <
r
.
2
Procedendo desta forma, obtemos uma sequencia {zn }nN tal que
kzn k <
1
2n
ky T (z1 + . . . + zn )k <
r
2n
para todo n. Em particular, a sequencia {xn }nN definida por

xn = z1 + . . . + zn
e de Cauchy. Como E e de Banach, podemos tomar x = lim xn e x satisfaz
kxk <
X
1
=1
2n
n=1
28
e
y = lim T xn = T (lim xn ) = T x.
Juntando os dois passos, o teorema fica provado. Para ver que T e aberta, seja U E um aberto
e mostremos que T (U ) e aberto. Dado y T (U ), seja x E tal que y = T x. Seja > 0 tal que
B (x) U , ou seja, x + B (0) U . Entao y + T (B (0)) T (U ). Pelo teorema T (B (0)) Br (0), logo
Br (y) T (U ).
ao linear limitada bijetiva,
3.7 Corol
ario. Sejam E, F espacos de Banach. Se T : E F e uma aplicac
ent
ao a aplicac
ao linear T 1 : F E e contnua.
Prova. Pois a inversa de uma aplicacao aberta e contnua.
Em outras palavras, um operador linear limitado bijetivo entre espacos de Banach e automaticamente um
isomorfismo topologico.
3.8 Corol
ario. Seja E um espaco de Banach. Se kk1 , kk2 s
ao duas normas tais que existe uma constante
C > 0 tal que
kxk1 6 C kxk2 para todo x E,
ent
ao elas s
ao normas equivalentes.
3.9 Defini
c
ao. Sejam E, F espacos vetoriais normados. Dizemos que uma aplicacao linear T : E F e
fechada se seu grafico
G (T ) = {(x, T x) : x E}
e fechado em E F .
claro que toda aplicacao
Observe que o grafico de uma aplicacao linear e um subespaco vetorial de E F . E
linear contnua e fechada, entretanto existem muitos exemplos de operadores lineares importantes na pratica
que nao sao contnuos mas pelo menos sao fechados. Se E e F sao espacos de Banach, os dois conceitos sao
equivalentes:
3.10 Teorema. (Teorema do Grafico Fechado) Sejam E, F espacos de Banach e T : E F uma aplicac
ao
linear fechada. Ent
ao T e limitada.
Prova. Consideremos duas normas em E:
kxk1 = kxkE
kxk2 = kxkE + kT xkF .
(A segunda norma e às vezes chamada norma do gr

afico.) Como G (T ) e fechado, E sob a norma do grafico
ainda e um espaco de Banach. De fato, se {xn } e uma sequencia de Cauchy em (E, kk2 ), entao em particular
{xn } e uma sequencia de Cauchy em (E, kk1 ) pois kxk1 6 kxk2 e {T xn } e uma sequencia de Cauchy em
(F, kkF ) pois kT xkF 6 kxk2 . Se x = lim xn e y = lim T xn , segue que (xn , T xn ) (x, y) em E F . Como
G e fechado, temos que (x, y) G, logo y = T x. Podemos entao usar o Corolario 3.8 para concluir que
existe uma constante C > 0 tal que
kxk2 6 C kxk1
para todo x E. Em particular, segue que
kT xkF 6 C kxk1 .
A hipotese dos espacos E, F serem de Banach e necessaria (veja os Exerccios 3.7 e 3.14).
3.3
29
Operadores Adjuntos
O teorema de Hahn-Banach tambem e crucial para estabelecer uma teoria satisfatoria de operadores adjuntos.
A partir desta secao, frequentemente usaremos a notacao
hf, xi = f (x)
se x E e f : E R e um funcional linear.
3.11 Defini
c
ao. Sejam E, F espacos vetoriais normados e A : E F um operador linear limitado. O
operador adjunto A : F E e o u
nico operador linear limitado que satisfaz
hg, Axi = hA g, xi
para todos x E e g F .
3.12 Proposi
c
ao. O operador adjunto est
a bem definido. Alem disso,
kA k = kAk .
Prova. De fato, se A : E F e um operador linear limitado e g F , entao o funcional f : E R
definido por
f (x) = g (Ax)
e um funcional linear limitado, pois
|f (x)| = |g (Ax)| 6 kgk kAxk 6 kgk kAk kxk .
Logo, podemos definir A : F E por
A g = f.
A desigualdade que provamos acima implica que kA gk = kf k 6 kAk kgk, portanto

kA k 6 kAk .
Por outro lado,
kA k =
kA gk
.
gF \{0} kgk
sup
Pelo teorema de Hahn-Banach (Corolario 2.24), se x0 E e tal que kx0 k = 1 e Ax0 6= 0, entao existe g F
tal que
kgk = 1 e g (Ax0 ) = kAx0 k .
Logo
kA gk
|hA g, x0 i|
= kA gk >
= |hg, Ax0 i| = kAx0 k .
kgk
kx0 k
Assim,
kA k > kAx0 k
para todo x0 E tal que kx0 k = 1, donde

kA k > sup kAx0 k = kAk .
kx0 k=1
Usaremos a seguinte nocao padrao no que se segue.
30
3.13 Defini
c
ao. Sejam E, F espacos vetoriais e A : E F um operador linear. O n
ucleo de A e o
subespaco vetorial de E definido por
N (A) = {x E : Ax = 0}
e a imagem de A e o subespaco vetorial de F definido por
R (A) = {y F : y = Ax para algum x E} .
Uma das razoes de se considerar operadores adjuntos e dada a seguir. Muitos problemas em matematica
pura e aplicada podem ser formulados da seguinte forma: dados espacos vetoriais normados E, F e um
operador linear A : E F , encontrar uma solucao para a equacao
Ax = y.
Se y R (A), esta equacao possuir uma solucao x. Entao, para cada g F nos temos
g (Ax) = g (y)
e tomando o operador adjunto segue que
(A g) (x) = g (y)
Se g N (A ), isto da
g (y) = 0
Portanto, uma condicao necessaria para que y R (A) e que g (y) = 0 para todo g N (A ). A questao
fundamental a ser respondida e se esta condicao tambem e suficiente. Em dimensao finita, esta condicao e
verdadeira, conhecida como a alternativa de Fredholm. Veremos como essa condicao e traduzida para espacos
vetoriais normados em geral. Antes, estabelecemos notacao.
3.14 Defini
c
ao. Sejam E um espaco vetorial normado e V E um subespaco vetorial. O anulador de V
e o subespaco vetorial V de E dos funcionais lineares que anulam V , isto e,
V = {f E : f (x) = 0 para todo x V } .
Analogamente, se W e um subespaco vetorial de E , o anulador de W e o subespaco vetorial W de
E dos vetores que sao anulados pelos funcionais lineares de W , ou seja,
W = {x E : f (x) = 0 para todo f W } .
3.15 Proposi
c
ao. Se E e um espaco vetorial normado, V e um subespaco vetorial de E e W e um subespaco
vetorial de E , ent
ao V e W s
ao fechados. Alem disso,
=V

W
W
Prova. Seja {fn }nN V tal que fn f em E . Entao

fn (x) f (x)
para todo x E.
Em particular isso vale para x V , logo f (x) = 0 para todo x V , donde f V .
31
Seja {xn }nN W tal que xn x em E. Entao

f (xn ) f (x)
para todo f E
pois f e contnuo. Em particular isso vale para f W , logo f (x) = 0 para todo f W , donde x W .

Claramente V V e como V e fechado, segue que V V . Reciprocamente, suponha por

absurdo que existe x0 V
tal que x0
/ V . Pelo teorema de Hahn-Banach existe f E tal que f 0

em V e f (x0 ) 6= 0. Mas entao f V e nao podemos ter x0 V .

Em particular, se V e um subespaco fechado de E, vale a igualdade
= V.
Veremos no proximo captulo que se E e reflexivo vale a igualdade

W
=W
3.16 Teorema. Sejam E, F espacos vetoriais normados e A : E F uma aplicac
ao linear. Ent
ao vale:
(i) N (A) = R (A ) .
(ii) N (A ) = R (A) .
(iii) R (A) = N (A ) .
(iv) R (A ) N (A) .
Prova. (i) Se x N (A), ent
ao
hA g, xi = hg, Axi = hg, 0i = 0
para todo g F , ou seja, x R (A ) . Reciprocamente, se x R (A ) , entao

hg, Axi = hA g, xi = 0
para todo g F , ou seja, Ax = 0 e x N (A).
(ii) Se g N (A ), entao
hg, Axi = hA g, xi = h0, xi = 0
para todo x E, logo g R (A) . Reciprocamente, se g R (A) , entao

hA g, xi = hg, Axi = 0
para todo x E, logo A g = 0 e g N (A ).
(iii) e (iv) decorrem da aplicacao da proposicao anterior a (ii) e (i), respectivamente.
3.17 Corol
ario. Seja E um espaco vetorial normado de dimens
ao finita e A : E E um operador linear.
Ent
ao
A e injetiva se e somente se A e sobrejetiva
e
A e sobrejetiva se e somente se A e injetiva.
No caso de espacos de Banach mais gerais, podemos concluir que se A e sobrejetiva entao A e injetiva:
3.18 Teorema. Sejam E, F espacos de Banach e A : E F uma aplicac
ao linear fechada. Ent
ao s
ao
equivalentes
(i) R (A) = F.
32
(ii) A e limitado inferiormente.

(iii) A e uma aplicac
ao aberta.
Prova. Pelo teorema do grafico fechado, A e limitada.
(i)(ii) Como A e sobrejetiva, pelo teorema da aplicacao aberta existe r > 0 tal que A (B1 (0)) Br (0).
Logo,
kA gk = sup |hA g, xi| = sup |hg, Axi| > r sup |hg, yi| = r kgk .
kxk61
kxk61
kyk61
(ii)=(iii)Vamos mostrar que A satisfaz o primeiro passo da demonstracao do teorema da aplicacao aberta:
existe r > 0 tal que
A (B1 (0)) Br (0) .
Como A e limitada, seguira do segundo passo da demonstracao daquele teorema que A e aberta. Seja r > 0
tal que
kA gk > r kgk
para todo g F . Equivalentemente, mostraremos que se y0
/ A (B1 (0)), entao ky0 k > r. Aplicando a
segunda forma geometrica do teorema de Hanh-Banach aos conjuntos convexos {y} e A (B1 (0)), obtemos
g F tal que
|g (y)| < 1 < |g (y0 )|
para todo y A (B1 (0)) (podemos tomar g = f / para f, do enunciado daquele teorema). Em particular,
isto implica que
kA gk = sup |hA g, xi| = sup |hg, Axi| 6 1
kxk61
kxk61
r < r |g (y0 )| 6 r kgk ky0 k 6 kA gk ky0 k 6 ky0 k ,
conforme queramos.
(iii)(i) Como A e aberta, R (A) e um subespaco vetorial aberto de F . Isso so e possvel se R (A) = F .
3.19 Teorema. (Teorema da Imagem Fechada de Banach) Sejam E, F espacos de Banach e A : E F
uma aplicac
ao linear fechada. Ent
ao s
ao equivalentes
(i) R (A) e fechado.
(ii) R (A ) e fechado.
(iii) R (A) = N (A ) .
(iv) R (A ) = N (A) .
Prova. (i)(iii) segue diretamente do Teorema 3.16, logo e suficiente provar a cadeia de implicacoes
(i)(iv)(ii)(i).
(i)(iv) Pelo Teorema 3.16, temos R (A ) N (A) , logo resta apenas mostrar que N (A) R (A ). Seja
f N (A) ; vamos obter g F tal que A g = f . Defina um funcional linear g0 : R (A) R por
g0 (Ax) = f (x)
para todo x E. g0 esta bem definido, porque se Ax1 = Ax2 entao x1 x2 N (A), logo f (x1 x2 ) = 0.
Para ver que g0 e limitada, considere a restricao de contradomnio A : E R (A); como R (A) e um
subespaco vetorial fechado de um espaco de Banach, ele tambem e um espaco de Banach e podemos aplicar
o teorema da aplicacao aberta para concluir que existe r > 0 tal que
A (B1 (0)) Br (0)R(A)
33
onde Br (0)R(A) denota a bola aberta de centro na origem e raio r no espaco de Banach R (A). Isso implica
que existe C > 0 tal que para todo y R (A) existe x E satisfazendo Ax = y e kxk 6 C kyk. De fato, se
r
y R (A), entao
y Br (0)R(A) , logo existe z B1 (0) tal que
2 kyk
Az =
e podemos tomar
x=
de modo que Ax = y e kxk 6
r
y
2 kyk
2 kyk
z
r
r
kyk. Da,
2
|g0 (y)| = |g0 (Ax)| = |f (x)| 6 kf k kxk 6 C kf k kyk .

Portanto, pelo teorema de Hahn-Banach g0 pode ser estendida a um funcional g F com
hA g, xi = hg, Axi = hg0 , Axi = f (x) .
(iv)(ii) Pelo Teorema 3.16,
R (A ) R (A ) N (A) ,
logo se R (A ) = N (A) , segue que R (A ) = R (A ).

(ii)(i) Seja Z = R (A). Como R (A) e denso em Z, o anulador de R (A) em Z so pode ser o funcional nulo.
Defina S : E Z por Sx = Ax (S e uma extensao do contradomnio de A). Observe que como A e fechada,
pelo teorema do grafico fechado A e limitada e portanto S tambem e. Alem disso, R (S) = R (A), donde
R (S) = 0, como acabamos de observar. Mas, pelo Teorema 3.16, N (S ) = R (S) , portanto conclumos
que S e injetiva.
Agora vamos mostrar que R (S ) = R (A ). Seja g0 Z . Pelo teorema de Hahn-Banach, existe g F
extens
ao de g0 . Da,
hA g, xi = hg, Axi = hg, Sxi = hg0 , Sxi = hS g0 , xi
para todo x E, o que mostra que S g0 R (A ), ou seja, provamos que R (S ) R (A ). Reciprocamente,
se g F , considere a restricao g0 = g|Z . Temos, de modo analogo,
hS g0 , xi = hg0 , Sxi = hg, Sxi = hg, Axi = hA g, xi
para todo x E, donde R (A ) R (S ). Por hipotese, temos entao que R (S ) e fechado, portanto e um
espaco de Banach, ja que e um subespaco vetorial fechado do espaco de Banach Z (lembre-se que o dual de
um espaco vetorial normado sempre e um espaco de Banach).
Obtemos entao que a restricao de contradomnio S : Z R (S ) e um operador linear contnuo
1
bijetivo. Pelo Corolario 3.7, a inversa (S ) existe e e contnua. Em particular, S e limitada inferiormente
e existe m > 0 tal que
kS g0 k > m kg0 k
para todo g0 Z . O teorema anterior implica que R (S) = Z, logo R (A) = Z e portanto R (A) e fechado.
Portanto, se R (A) e fechado (por exemplo, se A for limitado), uma condicao necessaria e suficiente para que
y R (A) e que g (y) = 0 para todo g N (A ).
3.4
34
Exerccios
3.1 Seja T : E F um operador linear limitado inferiormente tal que Im T e um subespaco fechado de
F . Mostre que T 1 e um operador linear fechado.
3.2 Mostre que se a inversa de um operador linear fechado existir, entao ela tambem e um operador linear
fechado.
3.3 Mostre que operador linear D : C 1 ([0, 1]) C ([0, 1]) definido por
Df = f 0
e fechado.
3.4 Seja
E=
f C ([0, 1]) : existe lim+

t0
Defina uma aplicacao linear T : E C ([0, 1]) por
f (t)
t
T f (t) =
f (t)
lim
t
t0+
f (t)
t
se t 6= 0,
se t = 0.
Mostre que T e fechado.

3.5 Sejam E, F espacos de Banach e {Tn }nN L (E, F ) tal que {f (Tn x)}nN e uma sequencia limitada
para todo x E e para todo f F . Mostre que {Tn }nN e uniformemente limitada.
3.6 Se E, F sao espacos vetoriais normados, mostre que (E F ) = E F .

3.7 Considere o seguinte subespaco de `1 :
(
F =
(xn )nN ` :
)
n |xn | <
n=1
a) Mostre que F e um subespaco vetorial proprio denso de `1 , portanto F nao e um espaco de

Banach.
b) Verifique que a aplicacao linear T : F `1 definida por
T (xn )nN = (nxn )nN

e uma aplicacao fechada que nao e limitada.
c) Mostre que a inversa de T esta bem definida, e limitada, sobrejetiva, mas nao e aberta.
3.8 Sejam E, F espacos de Banach e T : E F um operador linear limitado. Suponha que existam um
espaco de Banach G e operadores lineares A : E G e B : G F tais que T = B A. Usando o
teorema do grafico fechado, mostre que se B e limitado e injetivo, entao A e limitado.
3.9 Sejam E um espaco de Banach e F um espaco vetorial normado. Seja {Tn }nN L (E, F ) uma sequencia
de operadores lineares limitados tal que sup kTn k = . Mostre que existe um ponto x E tal que
nN
sup kTn xk = .
nN
35
3.10 Sejam E, F espacos de Banach. Se T : E F e uma aplicacao linear tal que f T E para todo
f F , mostre que T e limitada.
3.11 Sejam L, M subespacos vetoriais fechados de um espaco vetorial normado E. Mostre que se L 6= M ,
ent
ao L 6= M .
3.12 Sejam E um espaco de Banach e F um subespaco vetorial proprio de E. Mostre que se T0 : F `
e uma aplicacao linear limitada, ent
ao T se estende a uma aplicacao linear limitada T : E ` com
kT k = kT0 k.
3.13 Considere ` e suponha que kk e outra norma em ` tal que (` , kk)
tambem e um espaco de
Banach. Se para cada i N a projecao na i-esima coordenada i (xn )nN = xi e contnua na norma
kk, mostre que existe uma constante C > 0 tal que
kxk 6 C kxk`
para todo x ` (sugestao: use o teorema do grafico fechado). Conclua que as normas kk` e kk
sao equivalentes.
3.14 Mostre que a aplicacao identidade I : C 0 [0, 1] , L1 C 0 [0, 1] , L tem grafico fechado mas nao
e limitada.
Captulo 4
Espacos Reflexivos
4.1
Espacos Reflexivos
Seja E um espaco vetorial normado. Denote
(E ) = E .
E e chamado o espa
co bidual de E. Podemos definir um operador linear limitado canonico
J : E E
(4.1)
da seguinte forma: para cada x E, o funcional linear limitado Jx : E R e dado por

(Jx) (f ) = f (x)
(4.2)
para todo f E . De fato, Jx e um funcional linear limitado em E pois

|(Jx) (f )| = |f (x)| 6 kf k kxk = kxk kf k ,
ou seja,
kJxk 6 kxk .
Alem disso, J e realmente uma isometria de E sobre sua imagem J (E). Com efeito, pelo teorema de
Hahn-Banach, para cada x X existe um funcional linear f0 E tal que kf0 k = 1 e f0 (x) = kxk, logo
kJxk = sup |(Jx) (f )| > |(Jx) (f0 )| = f0 (x) = kxk ,
kf k=1
portanto
kJxk = kxk
(4.3)
para todo x E. Em particular, J e injetivo. Se J for tambem sobrejetivo, dizemos que E e reflexivo.
Isso implica que J e ao mesmo tempo um isomorfismo e uma isometria, em particular e um isomorfismo
topologico. Como E = (E ) e um espaco de Banach, segue que uma condicao necessaria para que um
espaco vetorial normado seja reflexivo e que ele seja de Banach. Em vista disso, definimos
4.1 Defini
c
ao. Dizemos que um espaco de Banach E e reflexivo se o operador J : E E for um
isomorfismo isometrico.
importante saber que E e E serem isometricamente isomorfos atraves de um isomorfimo isometrico
E
diferente do operador J nao garante que E seja reflexivo, pois pode ocorrer que apesar disso o operador J
nao seja sobrejetivo (veja [James1] e [James2]).
Todo espaco vetorial normado de dimensao finita e reflexivo (veja Exerccio 4.1). Existem importante
exemplos de espacos de Banach de dimensao infinita que nao sao reflexivos, como veremos mais tarde.
36
37
4.2 Teorema. Seja E um espaco reflexivo. Se F E e um subespaco vetorial fechado, ent

ao F e reflexivo.
Prova. Dado f F temos que mostrar que existe x F tal que f = Jx. Considere a submersao
contnua I : E , F definida por
If = f |F .
Pelo teorema de Hahn-Banach a submersao e sobrejetiva, pois todo funcional linear limitado definido em F
se estende a um funcional linear limitado definido em E (obviamente ela nao e injetiva se F e um subespaco
proprio de E). Esta submersao e contnua pois
kIf kF =
sup
xF \{0}
|f (x)|
|f (x)|
|If (x)|
= sup
6 sup
= kf kE ,
kxk
kxk
kxk
xF \{0}
xE\{0}
logo
kIf k =
kIf kF
6 1.
f E \{0} kf kE
sup
Atraves desta submersao, f induz um funcional linear g E quando definimos

g (f ) = (f I) (f ) = f (f |F ) .
Como E e reflexivo, existe x E tal que g = Jx, ou seja,
f (f |F ) = (Jx) (f )
para todo f E. Afirmamos que x F . De fato, se x
/ F , como F e fechado podemos aplicar o teorema
de Hahn-Banach para concluir que existe um funcional linear f0 que se anula em F tal que f0 (x) = 1 o que
e uma contradicao, pois
f (f0 |F ) = 0
enquanto que
(Jx) (f0 ) = f0 (x) = 1.
Um subespaco vetorial de um espaco reflexivo que nao e fechado obviamente nao pode ser reflexivo, ja que
todo espaco reflexivo e de Banach.
4.3 Proposi
c
ao. Se E e um espaco reflexivo e W e um subespaco vetorial de E , ent
ao
= W.
Prova. Ja vimos na Proposicao 4.15 que W W . Suponha por absurdo que existe f0 W tal que
f0
/ W . Pelo teorema de Hahn-Banach, existe f E tal que f (f ) = 0 para todo f W e f (f0 ) 6= 0.
Como E e reflexivo, existe x E tal que f (f ) = f (x) para todo f E . Em particular, f (x) = 0 para
todo f W , logo x W . Mas entao f0 (x) = 0, pois f0 W , contradizendo f0 (x) = f (f0 ) 6= 0.

4.4 Teorema. Seja E um espaco de Banach. Ent
ao E e um espaco reflexivo se e somente se E for.
Prova. Suponha que E seja reflexivo. Sejam J : E E e J : E E as aplicacoes canonicas,
isto e,
(Jx) (f ) = f (x)
e
(J f ) (f ) = f (f ) .
38
Seja f E . Para provar que E e reflexivo, precisamos encontrar f E tal que f = J f . Considere
f := f J E :
f
E E R.
Logo,
f (Jx) = f (x) = (Jx) (f )
para todo x E. Como E e reflexivo, para todo f E existe x E tal que f = Jx. Substituindo na
u
ltima equacao acima, segue que
f (f ) = f (f )
para todo f E , ou seja,
f = J f.
Reciprocamente, suponha que E e reflexivo. Para provar que E tambem e reflexivo, observamos em
primeiro lugar que porque E e um espaco de Banach, o subespaco vetorial R (J) e um subespaco fechado de
E . De fato, como J e uma isometria, se Jxn f em E entao em particular {xn } e uma sequencia de
Cauchy em E. Como E e um espaco de Banach, existe x E tal que xn x em E. Logo, Jxn Jx e
portanto f = Jx R (J).
Suponha por absurdo que R (J) 6= E . Seja f E \R (J). Pelo teorema de Hahn-Banach, existe
f E tal que f = 0 em R (J) e f (f ) 6= 0. Como E e reflexivo, existe f E tal que f = J f

. Da, para todo x E vale
f (x) = (Jx) (f ) = (J f ) (Jx) = f (Jx) = 0,
isto e, f e o funcional nulo. Mas
f (f ) = (J f ) (f ) = f (f ) 6= 0,
contradicao.
4.2
Espacos Separ
aveis
Lembramos que um espaco topologico e separ

avel se ele possui um subconjunto denso enumeravel.
4.5 Teorema. Seja E um espaco vetorial normado. Se E e separ
avel, ent
ao E tambem e.
Prova. Seja {fn }nN um subconjunto enumeravel denso em E . Como
kfn k = sup |fn (x)| ,
xE
kxk=1
podemos escolher para cada n um elemento xn E tal que kxn k = 1 e

|fn (xn )| >
kfn k
.
2
Seja
M = hx1 , x2 , . . .i
o fecho do subespaco gerado pelo conjunto {xn }nN . Observe que M e separavel, pois o subconjunto das
combinacoes lineares dos xn com coeficientes racionais formam um subconjunto enumeravel denso em M .
Afirmamos que M = E. De fato, se x0 E\M , pelo teorema de Hahn-Banach (Corolario 2.23) existe
f E M tal que kf k = 1 e f (x0 ) 6= 0. Em particular, f (xn ) = 0 para todo n, logo
kfn k
6 |fn (xn )| = |fn (xn ) f (xn )| 6 kfn f k kxn k = kfn f k ,
2
39
donde
1 = kf k 6 kfn f k + kfn k 6 3 kfn f k ,
ou seja,
kfn f k >
1
,
3
contradizendo o fato que {fn } e denso em E .

Vale a recproca quando E e um espaco reflexivo:
4.6 Corol
ario. Se E e um espaco reflexivo separ
avel, ent
ao E tambem e.
Prova. Pela Proposicao 4.4 temos que E e reflexivo. Para mostrar que E e separavel, pelo teorema
anterior basta provar que E e separavel. Seja {xn }nN um subconjunto enumeravel denso em E. Dado
f E , existe x E tal que Jx = f , e dado > 0 existe n N tal que kxn xk < . Como J e uma
isometria, segue que kJxn f k < . Vemos portanto que {Jxn }nN e um subconjunto enumeravel denso
em E .
4.3
Exemplo 1: Espacos `p
Os espacos `p (n) tem dimensao finita, logo sao reflexivos (veja o Exerccio 4.1). Por outro lado, os espacos
`p sao reflexivos se e somente se 1 < p < , isto e, `1 e ` sao exemplos de espacos de Banach que nao sao
espacos reflexivos. Vamos provar estes fatos, alem de alguns fatos auxiliares que por si so ja sao muito u
teis.
4.7 Proposi
c
ao. `p s
ao espacos separ
aveis para 1 6 p < .
Prova. Seja
en = (0, . . . , 0, 1, 0, . . .),
n
de modo que todo elemento x ` se escreve de maneira u

nica na forma
x=
xn en .
n=1
[Como veremos mais tarde, {en }nN e uma base de Schauder para `p .] Entao o conjunto de todas as
combinacoes lineares com coeficientes racionais dos en e um subconjunto enumeravel denso em `p .
4.8 Proposi
c
ao. ` n
ao e separ
avel.
Prova. Observe que em ` , o fecho do subespaco gerado por {en }nN e apenas o subespaco `
0 das
sequencias convergentes para 0. Para ver que ` nao e enumeravel, considere o subconjunto nao-enumeravel
{0, 1} ` das sequencias cujos elementos sao apenas 0 ou 1 (uma tal sequencia tem norma 1 em ` ).
Se x, y {0, 1} e x 6= y, ent
ao kx yk` = 1, logo existe um n
umero nao-enumeravel de bolas com centro
nos pontos de {0, 1} e raio 1/2 que nao se interceptam.

4.9 Proposi
c
ao. Se 1 < p < , ent
ao
(`p ) = `p
no sentido que estes espacos s

ao isometricamente isomorfos.
Prova. Afirmamos que a aplicacao linear
0
: `p (`p )
X
y 7 f (x) =
xn yn .
n=1
40
e um isomorfismo isometrico. Pela desigualdade de Holder temos

|f (x)| 6
|xn yn | 6 kyk`p0 kxk`p ,
n=1
de modo que f (`p ) e

kf k(`p ) 6 kyk`p0 ,
(4.4)
logo e contnua.
Agora exibiremos a inversa de e mostraremos que ela tambem e contnua. Ja vimos que todo elemento
x `p se escreve de maneira u
nica na forma
x=
xn en .
n=1
Entao, dado f (`p ) , por continuidade temos

f (x) =
xn f (en ) .
n=1
De fato, se para cada k N denotamos

zk =
k
X
xn en ,
n=1
por linearidade temos

f (zk ) =
k
X
xn f (en ) .
n=1
de modo que
f (x) = f
lim zk
= lim f (zk ) = lim

k
k
X
xn f (en ) =
n=1
xn f (en ) .
n=1
Notando que f (en ) = (y) (en ) = yn , vemos agora que a inversa de e dada por
0
: (`p ) `p
f 7 (f (en ))nN
Para mostrar que esta de fato bem definida e e contnua, defina zk `p por
0
|f (ei )|p
(i)
se i 6 k e f (ei ) 6= 0,
zk =
f (ei )
0
se i > k ou f (ei ) = 0,
de modo que
f (zk ) =
k
X
p0
|f (en )| .
n=1
Temos
|f (zk )| 6 kf k kzk k = kf k
k
X
n=1
!1/p
p0 1)p
|f (en )|(
= kf k
k
X
n=1
!1/p
p0
|f (en )|
41
ja que p = p0 / (p0 1), logo

k
X
p0
|f (en )|
= f (zk ) = |f (zk )| 6 kf k(`p )
n=1
k
X
!1/p
|f (en )|
p0
n=1
donde
k
X
!1/p0
|f (en )|
6 kf k(`p ) .
n=1
Tomando o limite quando k , segue que

k(f (en ))k`p0 6 kf k(`p ) ,
(4.5)
ou seja, a inversa tambem esta bem definida e e contnua.

Juntando as desigualdades (4.5) e (4.4) vemos que e uma isometria.
4.10 Proposi
c
ao. `p e um espaco reflexivo se 1 < p < .
Prova. Embora a aplicacao do resultado anterior duas vezes produza
0
(`p ) = `p
= `p ,
isso por si so nao prova a reflexividade de `p , pois, como ja observamos antes, a existencia de um isomorfismo
isometrico arbitrario nao garante a sobrejetividade da aplicacao canonica J. No entanto, como vimos na
0
demonstra
cao da proposicao anterior, como (`p ) = `p , a cada g (`p ) corresponde um funcional ge

0
`p
tal que g (f ) = ge (y), onde

f (x) =
xn yn
n=1
0
0
para todo x `p . Analogamente, como `p
= `p , a cada ge `p
corresponde um elemento x `p tal
que
X
ge (y) =
xn yn
n=1
p0
para todo y ` . Portanto,

g (f ) = ge (y) =
xn yn = f (x) = (Jx) (f ) .
n=1
4.11 Proposi
c
ao.
1
= `
`

Prova. Como na demonstracao do resultado anterior, mostraremos que a aplicacao linear

: ` `1
X
y 7 f (x) =
xn yn .
n=1
42
e um isomorfismo isometrico. Pela desigualdade de Holder temos
|f (x)| 6
|xn yn | 6 kyk` kxk`1 ,
n=1

de modo que f `1 e
kf k(`1 ) 6 kyk` ,
(4.6)
logo e contnua.
A inversa de , como na demonstracao do teorema anterior e dada por

: `1 `
f 7 (f (en ))nN
Como ken k`1 = 1, temos
|f (en )| 6 kf k(`1 ) ken k`1 = kf k(`1 ) ,
de modo que esta bem definida e

k(f (en ))k` = sup |f (en )| 6 kf k(`p ) .
(4.7)
nN
(4.6) e (4.7) provam que e uma isometria.

4.12 Proposi
c
ao.
(` ) 6= `1 .
Prova. Se tivessemos (` ) = `1 , como `1 e separavel, ` tambem seria pelo Teorema 4.5, contradizendo
a Proposicao 4.8.
4.13 Corol
ario. `1 e ` n
ao s
ao reflexivos.
Prova. Como `1 e separavel, enquanto que o seu dual e isometricamente isomorfo a ` , que nao e separavel,
segue do Corolario 4.6 que `1 nao e reflexivo. Consequentemente, pelo Teorema 4.4, seu dual tambem nao
pode ser reflexivo, ou seja, ` nao e reflexivo.
Veja tambem o Exerccio 4.5 para uma demonstracao alternativa.
4.4
Espacos Uniformemente Convexos
4.14 Defini
c
ao. Seja E um espaco vetorial normado. Dizemos que E e uniformemente convexo se para
todo > 0 existe > 0 tal que para todos x, y E que satisfazem kxk , kyk 6 1 e kx yk > vale
x + y
2 < 1 .
importante ressaltar que a propriedade de ser uniformemente convexo e uma propriedade da norma: podem
E
existir duas normas equivalentes tais que em relacao a uma delas o espaco e uniformemente convexo, mas
nao em relacao a outra. Mais especificamente, convexidade uniforme e uma propriedade da bola unitaria:
em um espaco uniformemente convexo a bola unitaria e bem redonda.
Note que o na definicao de convexidade uniforme satisfaz
43
4.15 Exemplo. `2 (n), ou seja, Rn com a norma euclideana, e uniformemente convexo, ao passo que `1 (n),
ou seja, Rn com a norma da soma, nao e uniformemente convexo. Isso fica bastante claro quando se
olha para as bolas unitarias em cada um destes espacos (para n = 2).
De fato, para ver que `1 (n) nao e uniformemente convexo, tome x = e1 e y = e2 , de modo que
kxk = kyk = 1, kx yk = 2 enquanto que
x + y
2 = 1.
Para ver que `2 (n) e uniformemente convexo, usamos a identidade do paralelogramo:
2
2
2
2
kx + yk + kx yk = 2 kxk + kyk .
Assim, se kxk , kyk 6 1 e kx yk > , entao
1
x + y 2
1
1
2
2
2
2
2 = 4 kx + yk = 2 kxk + kyk 4 kx yk
2
<1 ,
4
de modo que
x + y
2 <1
1/2
2
para = 1 1
> 0 pois < kx yk 6 kxk + kyk 6 2.
4
4.16 Teorema. Se E e um espaco de Banach uniformemente convexo, ent
ao E e reflexivo.
Prova. A demonstracao deste resultado requer o conhecimentos da topologia fraca e fica adiada para o
proximo captulo.
Este resultado e surpreendente, ja que uma propriedade geometrica (a de ser uniformemente convexo) implica
uma propriedade topologica (a de ser reflexivo). Ela pode ser usada para provar que certos espacos sao
reflexivos. Por outro lado, existem espacos reflexivos que nao possuem nenhuma norma em relacao a qual
eles sao uniformemente convexos [Day].
4.5
Exemplo 2: Espacos Lp ()
Nesta secao consideraremos sempre RN aberto. Dado um conjunto A, denotaremos por A a funcao
caracterstica de A, isto e,
1
se x A,
A (x) =
0
caso contrario.
Denotaremos por Cc () o conjunto das funcoes contnuas com suporte compacto em .
4.17 Lema. Cc () e denso em Lp () para 1 6 p < .
Prova. Primeiro Passo. O conjunto das func
oes em Lp () com suporte compacto e denso em Lp () .
Seja
1
N
n = x : dist x, R \ > e |x| < n ,
n
44
de modo que n e aberto, n e compacto, n n+1 e = n . Dado f Lp (), defina

fn = f n .
Do teorema da convergencia dominada segue que
fn f
em Lp () ,
pois fn (x) f (x) para todo x (de fato, fn (x) = f (x) para todo n suficientemente grande) e
kfn f kLp () 6 2p kf kLp () .
Segundo Passo.
Usando o passo anterior, dado > 0 e f Lp () existe g Lp () com suporte compacto em tal que
kf gkLp () 6
.
2
Por definicao de integral, existe uma funcao simples de suporte compacto (contido no suporte de g)
=
n
X
ai Ei Lp ()
i=1
tal que
.
4
Fixado i, existem um aberto Ui e um fechado Fi tal que Fi Ei Ui e
|Ui \Fi | <

.
4kai
kg kLp () 6
De fato,
vale
mensuravel E: dado > 0, escolha um aberto W tal que RN \E W
isso
para qualquer conjunto
N
N
e W \ R \E < /2; tome F = R \W e um aberto U tal que E U e |E\U | < /2. Como
U \F = U \E W \ RN \E
e esta uniao e disjunta, segue que
|U \F | = |U \E| + W \ RN \E < .
Agora, defina a funcao de Urysohn
dist x, RN \Ui
hi (x) =
.
dist (x, RN \Ui ) + dist (x, Fi )
Entao hi e uma funcao contnua (pois seu denominador nunca se anula) que satisfaz 0 6 hi 6 1 e
0
se x RN \Ui ,
hi (x) =
1
se x Fi .
Em particular, o suporte de hi e compacto. Seja
h=
n
X
i=1
ai hi Cc () .
45
Temos
k hkLp () 6
6
n
X
i=1
n
X
ai kEi hi kLp () 6
n
X
ai kEi hi kLp (Ui \Fi )
i=1
ai k1kLp (Ui \Fi ) =
i=1
n
X
1/p
ai |Ui \Fi |
i=1
< ,
4
pois Ei hi = 0 em Fi ou em RN \Ui e |Ei hi | 6 1 em Ui \Fi . Portanto,

kf hkLp () 6 kf gkLp () + kg kLp () + k hkLp () < .
De agora em diante, denotaremos os espacos Lp () simplesmente por Lp .

4.18 Proposi
c
ao. Lp s
ao espacos separ
aveis para 1 6 p < .
Prova. Seja {n } como no lema anterior. Denote por P o conjunto enumeravel das funcoes polinomiais em
RN com coeficientes racionais e considere
Pn = {pn : p P} .
Dados f Lp e > 0, existe uma funcao contnua de suporte compacto g tal que kf gkLp < /2. Seja n
tal que
1
< dist supp g, RN \ ,
n
o que garante supp g n . Pelo teorema de aproximacao de Weierstrass, existe p Pn tal que
kg pkL <
1
.
2 |n |1/p
Da
kf pkLp 6 kf gkLp + kg pkL
Z
1/p
p
|g p|
< +
2
n
Z
1/p

1
< +
1
2 2 |n |1/p
n
= .
4.19 Proposi
c
ao. L n
ao e separ
avel.
Prova. Dado x , existe x > 0 tal que Bx (x) . Denote ux = Bx (x) e considere as bolas
Bx = {f L : kf ux kL < 1/2} .
Observe que se x 6= y entao Bx By = . Com efeito, se x 6= y, entao existe z Bx \By e w By \Bx
de modo que kux uy kL = 1. Portanto, obtivemos um n
umero nao-enumeravel de bolas com centro nos
pontos ux , x , que nao se interceptam.
46
4.20 Lema. (Desigualdades de Clarkson) Sejam f, g Lp , 1 2, ent
ao
+ g
+ f g 6 1 (kf kp p + kgkp p ) ,
L
L
2 Lp 2 Lp
2
p0
p0
0
+ g
+ f g > 10 (kf kp p + kgkp p )p 1 .
L
L
2 Lp 2 Lp
2p 1
p0
p0
0
+ g
+ f g 6 10 (kf kp p + kgkp p )p 1 ,
L
L
p
1
2
2
2
p
p
L
L
p
p
+ g
f g
1
p
p
+
> (kf kLp + kgkLp ) .
2 Lp 2 Lp
2
(4.8)
(4.9)
Se 1 2. Para provar (4.8), basta verificar
a + b p a b p
1
p
p
2
2 6 2 (|a| + |b| )
(4.10)
(4.11)
(4.12)
para todos a, b R e integrar esta desigualdade sobre . Para isso, o ponto de partida e a desigualdade
p/2
p + p 6 2 + 2
(4.13)
a+b
ab
e=
. De fato,
2
2
2
2 !p/2
a + b p a b p
+
6 a + b + a b
2
2
2
2
2
p/2
a
b2
=
+
2
2
p
p
|a|
|b|
6
+
,
2
2
para todos , > 0, tomando =
onde a u
ltima desigualdade decorre da convexidade (concavidade para cima) da funcao t 7 tq quando q > 1.
Para verificar a desigualdade (4.13), tomando t = / (o caso = 0 e trivial) vemos que ela e equivalente a
p/2
mostrar que a funcao f (t) = t2 + 1
tp 1 e crescente para todo t > 0, ja que f (0) = 0. Isso segue de
p2
p2 p2
f 0 (t) = pt t2 + 1 2 ptp1 = pt t2 + 1 2 t2 2 > 0
para todo t R.
Demonstra
c
ao da Segunda Desigualdade de Clarkson (4.10).
Seja agora 1 < p 6 2. A demonstracao de (4.10) e mais difcil. Primeiro verificamos a desigualdade
0
p0
a + b p
+ a b 6 10 (|a|p + |b|p )p 1 .
(4.14)
2
2
2p 1
Esta desigualdade e equivalente à desigualdade
0
p 0
1 + t p
+ 1 t 6 10 (1 + tp )p 1 .
2
2
p
1
2
(4.15)
47
para 0 6 t 6 1. Para uma demonstracao desta u

ltima, veja ([Adams]), Lema 2.26.
Em seguida, verificamos a desigualdade de Minkowski reversa. Ela decorre da desigualdade de H
older
reversa.
Desigualdade de H
older reversa. Seja 0 
|f |
1/p Z
|g|
p0
1/p0
.
(4.16)
Prova da Desigualdade de H
older reversa: Podemos assumir f g L1 (), caso contrario o lado
p
p
esquerdo da desigualdade de Holder reversa e infinito e a desigualdade e valida. Tome = |g| e = |f g| ,
p
q
q0
de modo que = |f | . Temos que L para q = 1/p > 1, donde L , pois
q0 =
q
=
q1
1
p
1
p
p
p
p0
=
= .
p (1 p)
p (p 1)
p
Logo, pela desigualdade de Holder,

Z
p Z
1p
Z
Z
p
p0
|f | =
6 kkLq kkLq0 =
|f g|
|g|
,
donde segue (4.16).

Desigualdade de Minkowski reversa. Seja 0 kf kp + kgkp .
(4.17)
Prova da Desigualdade de Minkowski reversa: Se f = g = 0, a desigualdade e trivial, caso contrario
o lado esquerdo da desigualdade e positivo. Aplicando a desigualdade de Holder reversa, obtemos
Z
p
p1
k|f | + |g|kp =
(|f | + |g|)
(|f | + |g|)
Z
Z
p1
p1
=
(|f | + |g|)
|f | +
(|f | + |g|)
|g|
(p1)p0
>
1/p0
(|f | + |g|)
kf kp +
p/p0
kf kp + kgkp ,
= k|f | + |g|kp
(p1)p0
(|f | + |g|)
1/p0
kgkp
donde segue (4.17).

Retornando à demonstracao da segunda desigualdade de Clarkson, pela desigualdade de Holder reversa
com o expoente p 1 < 1, temos
f + g p0
f g p0
f g p
f + g p
+

2 p + 2 p =
2
p1
2
L
L
Lp1
L

1/(p1)
!
p1
0
0
Z
f + g p
f g p
6
,
2 + 2
48
de modo que ao aplicarmos (4.14), observando que p0 1 = 1/ (p 1), obtemos

"Z
0
p1 #1/(p1)
0
f + g p
f g p
1
p
1
p
p
(|f | + |g| )
2 p + 2 p 6
2p0 1
L
L
Z
1/(p1)
1
p
p
=
(|f | + |g| )
2
0
1
p
p p 1
= p0 1 (kf kLp + kgkLp )
.
2
Para uma demonstracao das desigualdades (4.9) e (4.11), consulte [Adams].
4.21 Teorema. Lp e um espaco uniformemente convexo se 1 . Se p > 2, a primeira desigualdade
de Clarkson (4.8) produz
p
f + g p
6 1 (kf kp p + kgkp p ) f g
L
L
2 p
2
2 Lp
L
p
6 1 p,
2
logo
f + g
2 p <1
L
1/p
p
para = 1 1 p
> 0. Se 1 0.
4.22 Corol
ario. Lp e um espaco reflexivo se 1 < p < .
4.23 Teorema. (Teorema da Representacao de Riesz) Seja 1 < p < . Dado f (Lp ) existe um u
nico
0
g Lp tal que
Z
F (f ) =
fg
para todo f Lp . Alem disso,

kF k(Lp ) = kgkLp0 .
Em particular,
(Lp ) = Lp

49
Prova. Apesar deste teorema poder ser provado diretamente atraves do teorema de Radon-Nikodym da
teoria da medida, daremos uma demonstracao usando Analise Funcional como em [Brezis] (uma demonstracao mais elementar usando a convexidade uniforme de Lp e um argumento variacional pode ser vista em
[Adams]).
0
Defina o operador T : Lp (Lp ) por

Z
hT g, f i =
fg
para todo f L . De fato, pela desigualdade de Holder T g (Lp )

|hT g, f i| 6 kgkLp0 kf kLp
e
kT gk(Lp ) 6 kgkLp0 .
Alem disso, escolhendo
f0 (x) =
temos que
|g (x)|
0
p0 2
g (x)
|f0 (x)| = |g (x)|(
se g (x) 6= 0,
se g (x) = 0,
p0 1)p
p0
= |g (x)| ,
de modo que f0 Lp e
kT gk(Lp )
R
R
p0
|g|
f g
|hT g, f i|
|hT g, f0 i|
0
=
= sup
>
= R
1/p = kgkLp0 .
R
p 1/p
kf0 kLp
p0
f Lp \{0} kf kLp
|f
|
0
|g|
Portanto,
kT gk(Lp ) = kgkLp0
0
e para provar o teorema basta provar que T e sobrejetivo. Seja L = T Lp . Entao L e um subespaco
0
0
fechado de (Lp ) porque Lp e um espaco de Banach. Suponha por absurdo que L $ T Lp . Pelo teorema
de Hahn-Banach existe um funcional F (Lp ) tal que F se anula em L, mas F 6= 0. Por outro lado,
usando o fato que Lp e reflexivo, de modo que (Lp ) = Lp , existe f Lp tal que
F (F ) = (Jf ) (F ) = F (f )
0
para todo F (Lp ) . Em particular, se F L = T Lp vale o teorema de representacao de Riesz, de

modo que nos temos
Z
0 = F (F ) =
fg
para todo g Lp . Tomando
g (x) =
segue que
|f (x)|
0
p2
f (x)
se f (x) 6= 0,
se f (x) = 0,
Z
p
|f (x)| = 0
e f = 0, ou seja, F e o funcional nulo, contradicao.

O teorema da representacao de Riesz implica a reflexividade dos espacos Lp , semelhante à demonstracao
da Proposicao 4.10 (o que e relevante quando levamos em conta o fato que o teorema da representacao de
Riesz pode ser demonstrado sem usar o fato que Lp e reflexivo):
50
4.24 Corol
ario. Lp e um espaco reflexivo se 1 < p < .
Prova. Como (Lp ) = Lp , a cada G (Lp )

onde

e Lp0 tal que G (F ) = G
e (f ),
corresponde um funcional G
Z
F (f ) =
fg

0
e Lp0 corresponde um elemento f Lp
para todo f Lp . Analogamente, como Lp
= Lp , a cada G
tal que
Z
e (g) =
G
fg
p0
para todo g L . Portanto,

Z
e (f ) =
G (F ) = G
f g = F (f ) = (Jf ) (F ) .

4.25 Proposi
c
ao. (Teorema da Representacao de Riesz) Dado F L1 existe um u
nico g L tal que
Z
F (f ) =
fg
para todo f L . Alem disso,

kF k(L1 ) = kgkL .
Em particular,
1
L
= L .

Prova. Se F = 0, podemos tomar g = 0. Assuma portanto F 6= 0.
Caso 1. tem medida finita.
Como || < , vale a inclusao Lp () L1 () para todo 1 < p < . De fato, pela desigualdade de
Holder, se f Lp () temos que
Z
Z
kf kL1 =
|f | =
|f | 1
6 kf kLp k1kLp0 =
= ||
1/p0
1/p0
1
kf kLp
kf kLp .
Da,
|F (f )| 6 kF k(L1 ) kf kL1 6
1/p0
kF k(L1 ) ||
kf kLp ,
o que implica que F (Lp ) para todo 1 < p < e

1/p0
kF k(Lp ) 6 kF k(L1 ) ||
0
Pelo teorema de representacao de Riesz, existe gp Lp tal que

Z
F (f ) =
f gp
51
para todo f Lp e tal que

kgp kLp0 6 kF k(L1 ) ||
1/p0
Como Cc () e denso em Lp para todo 1 < p < e portanto para todo f Cc (), para todos 1 < p, q <
vale
Z
Z
f gp = F (f ) =
f gq ,
segue que
gp = gq .
Podemos ent
ao denotar gp simplesmente por uma funcao g Lp para todo 1 < p < . Segue que
kgkL = 0lim kgkLp0 6 kF k(L1 ) 0lim ||
p
1/p0
Em particular g L e como
= kF k(L1 ) .
Z
F (f ) =
fg
para todo f Cc () e Cc () e denso em L1 , segue que

Z
F (f ) =
fg
para todo f L . Para terminar a demonstrar deste caso, resta apenas mostrar que
kgkL > kF k(L1 ) .
Isso segue direto da formula de representacao e da desigualdade de Holder:
R
f g
kf kL1 kgkL
|F (f )|
kF k(L1 ) = sup
= sup
6 sup
= kgkL .
1
kf
k
1
kf
k
1
kf kL1
f L \{0}
f L \{0}
f L \{0}
L1
L1
Caso 2. tem medida infinita.
Escreva = n , onde n = {x : n 1 6 |x| < n} tem medida finita e os conjuntos n sao dois a
dois disjuntos. Se fn L1 (n ), seja
fn (x)
se x n ,
e
fn (x) =
0
se x RN \n
a extensao de fn que e 0 fora de n . Defina

Fn (fn ) := F fen .
Entao Fn L1 (n ) e kFn k[L1 (n )] 6 kF k[L1 ()] , pois

|Fn (fn )| = F fen 6 kF k[L1 ()] fen
L1 ()
= kF k[L1 ()] kfn kL1 (n ) .
Pelo caso anterior, existe gn L1 (n ) tal que kgn kL 6 kF k[L1 ()] e

Z
Z
Fn (fn ) =
fn gn =
fen g
n
para todo fn L1 (n ), onde

g (x) := gn (x)
se x n .
52
Se f L1 (), podemos escrever

f=
f n ,
n=1
pois pelo teorema da convergencia dominada esta serie converge em L1 (). Da, como
k
!
!
Z X
k
k
k Z
k
X
X
X
X
F
f n =
F (f n ) =
Fn (f n ) =
(f n ) g =
f n g,
n=1
n=1
n=1
n=1
n=1
passando o limite quando k atraves do teorema da convergencia dominada conclumos que

Z
F (f ) =
f g.
Como no caso anterior, a formula de representacao juntamente com a desigualdade de Holder pode ser usada
para provar que kF k(L1 ) = kgkL .
4.26 Proposi
c
ao.
(L ) 6= L1 .
Prova. A demonstracao e identica à da Proposicao 4.12.

4.27 Corol
ario. L1 e L n
ao s
ao reflexivos.
Prova. A demonstracao e identica à do Corolario 4.13.
4.6
Exerccios
4.1 Mostre que todo espaco vetorial de dimensao finita e reflexivo.

4.2 Sejam E, F espacos topologicamente isomorfos. Mostre que E e reflexivo se e somente se F e reflexivo.
4.3 Sejam E, F espacos de Banach, com E reflexivo. Mostre que se existe um operador linear limitado
A : E F tal que R (A) = F , entao F tambem e reflexivo.
4.4 Prove que todo subespaco vetorial de um espaco vetorial normado separavel e separavel.
4.5 Seja E um espaco reflexivo. Mostre que se f E , entao existe x 6= 0 tal que
f (x) = kf k kxk .
4.6 Utilizando o exerccio anterior e o funcional sugerido, mostre que os espacos a seguir nao sao reflexivos:
a) C 0 ([1, 1]) ; funcional sugerido: F : C 0 ([1, 1]) R definido por
Z
F (f ) =
f
1
f.
0
b) `1 ;funcional sugerido: f : `1 R definido por

X
1
f (x) =
1
xn .
n
n=1
53
c) `
: lim xn = 0} ;funcional sugerido: f : `
0 = {x `
0 R definido por
f (x) =
X
xn
.
2n+1
n=1
4.7 Prove que C 0 [a, b] nao e reflexivo.

4.8 Para que valores de p `p (n) e uniformemente convexo?
4.9 Prove que `p e uniformemente convexo se e somente se 1 < p < .
4.10 Sejam 1 6 p < q < r 6 .
a) Mostre que Lp Lr e um espaco de Banach com a norma kf k = kf kLp + kf kLr . Por que
Lp Lr 6= ?
b) Prove a seguinte desigualdade de interpolac
ao:
kf kLq 6 kf kLp kf kLr ,

1
1
= +
.
q
p
r
c) Conclua que vale a inclusao Lp Lr , Lq e que ela e contnua.
onde
Captulo 5
Topologia Fraca e Topologia Fraca*

5.1
Topologia Fraca
Dado um conjunto de funcoes {f } de um conjunto X para um espaco topologico Y , a topologia T mais

grosseira (ou menos fina) para X e aquela com o n
umero mnimo de abertos que tornam todas as funcoes f
contnuas. Ela e evidentemente a topologia que tem como sub-base a colecao f1 (V ) : V e aberto em Y e .
5.1 Defini
c
ao. Seja E um espaco vetorial normado. A topologia fraca sobre E e a topologia menos fina
tal que todos os funcionais lineares f E sao contnuos.
Denotando a topologia fraca de E por TW e a topologia da metrica por T, segue imediatamente da definicao
de topologia fraca que TW T. A topologia fraca em geral tem menos abertos que a topologia da metrica,
logo tem a chance de ter mais compactos.
5.2 Proposi
c
ao. Um espaco vetorial normado E sob a topologia fraca e um espaco de Hausdorff.
Prova. Se x, y E com x 6= y, pelo teorema de Hahn-Banach existe f E tal que f (x y) = kx yk. Em
particular, f (x) 6= f (y) e se R e tal que f (x) < < f (y), entao os abertos f 1 (, ) e f 1 (, )
separam x e y.
5.3 Proposi
c
ao. Seja E espaco vetorial normado e x0 E. Um sistema fundamental de vizinhancas em
x0 na topologia fraca consiste de todos os conjuntos da forma
V = {x E : |fi (x) fi (x0 )| < , f1 , . . . , fn E } .
Prova. Se U e um aberto contendo x0 , entao existe um elemento-base
n
T
i=1
fi1 (Vi ) U contendo x0 , com
V1 , . . . , Vn abertos em R. Se fi (x0 ) = ai , temos que existe > 0 tal que (ai , ai + ) Vi , logo tomando
V =
n
\
fi1 (ai , ai + ) ,
i=1
segue que V U .
5.4 Proposi
c
ao. Seja E um espaco vetorial normado de dimens
ao finita. Ent
ao a topologia fraca de E
coincide com a topologia da metrica.
54
55
Prova. Ja sabemos que TW T, qualquer que seja o espaco vetorial normado E. No caso de um espaco
vetorial normado de dimensao finita, vale a recproca. De fato, seja U E um aberto na topologia da
metrica. Dado x0 U , vamos obter uma vizinhanca aberta fraca V U contendo x0 . Dada uma base
B = {e1 , . . . , eN } para E, escolha a norma da soma em relacao a esta base (todas as normas sao equivalentes
em um espaco vetorial normado de dimensao finita) e seja B (x0 ) U . As projecoes fi : E R sobre a
i-esima coordenada definidas por
!
N
X
fi
xi ei = xi
i=1
sao funcionais lineares contnuos e

N
X
i=1
|fi (x) fi (x0 )| =
N
X
|xi (x0 )i | < para todo x B (x0 ) ,
i=1
de modo que
V = {x E : |fi (x) fi (x0 )| < , 1 6 i 6 N }
e uma vizinhanca aberta fraca contendo x0 que satisfaz V U . Portanto T TW .
Se E e um espaco vetorial normado de dimensao infinita, a topologia fraca e estritamente mais grosseira
(estritamente menos fina) que a topologia da metrica, como veremos daqui a pouco. Esta u
ltima e tambem
chamada topologia forte, quando comparada com a primeira.
Como a topologia forte T contem a topologia fraca TW , por definicao, segue em particular que os conjuntos
que sao fechados na topologia fraca tambem sao fechados na topologia usual. A recproca e falsa para espacos
de dimensao infinita, como veremos a seguir. No entanto, para conjuntos convexos as duas nocoes coincidem
(este e o nosso primeiro exemplo de como a topologia fraca se comporta bem em conjuntos convexos):
5.5 Proposi
c
ao. Seja E um espaco vetorial normado e C E um conjunto convexo. Ent
ao C e fechado
na topologia fraca se e somente se C e fechado na topologia forte.
Prova. Suponha que C e fortemente fechado. Seja x0
/ C. De acordo com o teorema de Hahn-Banach,
primeira forma geometrica, existem f E e R tais que
f (x0 ) < < f (y)
para todo y C. Entao V = f 1 (, ) e uma vizinhanca aberta fraca de x0 que nao intercepta C.
Portanto E\C e fracamente aberto, logo C e fracamente fechado.
5.6 Proposi
c
ao. Se E e um espaco vetorial normado com dimens
ao infinita, ent
ao a esfera unit
aria n
ao
e fechada na topologia fraca.
De fato, o fecho fraco da esfera unit
aria e a bola unit
aria fechada.
Prova. Sejam S = {x E : kxk = 1} a esfera unitaria de E, B1 (0) = {x E : kxk 6 1} a bola unitaria
W
fechada e denote por S o fecho de S na topologia fraca. Queremos entao provar que
S
= B1 (0).
Seja x0 B1 (0) e U e qualquer aberto fraco contendo x0 . Pela Proposicao 5.4, V contem uma vizinhanca
aberta fraca de x0 da forma
V = {x E : |fi (x) fi (x0 )| < , f1 , . . . , fn E } .
Como E possui dimensao infinita, existe y0 E tal que
fi (y0 ) = 0
para todo i,
56
caso contrario a aplicacao linear T : E Rn definida por T x = (f1 (x) , . . . , fn (x)) seria injetiva, o que
implicaria dim E 6 n. (outra maneira de ver isso e invocar o resultado do Exerccio 2.11: o n
ucleo de um
funcional linear tem codimensao 1, logo a intersecao de um n
umero finito de n
ucleos de funcionais lineares
em um espaco vetorial de dimensao infinita tambem tem dimensao infinita). Em particular, V contem a reta
t 7 x0 + ty0 , pois
fi (x0 + t0 y0 ) fi (x0 ) = fi (x0 + t0 y0 x0 ) = t0 f (y0 ) = 0
para todo i. (Assim, em um espaco vetorial normado de dimens
ao infinita, toda vizinhanca aberta fraca de
um ponto x0 contem uma reta passando por x0 ; na verdade, infinitas tais retas.) Considere agora a funcao
: R R definida por
(t) = kx0 + ty0 k .
Esta funcao e contnua e satisfaz (0) < 1 e
lim (t) = +, o que implica pelo teorema do valor
t+
intermediario que existe t0 > 0 tal que g (t0 ) = 1, isto e, x0 + t0 y0 S V . Conclumos que toda vizinhanca
W
W
aberta fraca de x0 intercepta S, portanto x0 S . Este argumento prova que B1 (0) = B1 (0) S S .
Como B1 (0) e fechado na topologia fraca pela Proposicao 5.5, nao existem pontos do fecho fraco de S B1 (0)
W
fora de B1 (0). Portanto vale a igualdade S = B1 (0).
5.7 Corol
ario. Se E e um espaco vetorial normado com dimens
ao infinita, ent
ao o interior fraco da bola
unit
aria e vazio.
Consequentemente, a bola unit
aria n
ao e fracamente aberta e portanto a topologia fraca e estritamente
mais grossa que a topologia forte.
Prova. Vimos na demonstracao da proposicao anterior que todo aberto fraco contem uma reta. Como a
bola unitaria nao contem retas, obviamente, segue que ela nao contem nenhum aberto fraco.
5.8 Lema. Sejam E um espaco vetorial normado e Y um espaco topol
ogico. Ent
ao uma aplicac
ao :
Y E e contnua quando E e munido da topologia fraca se e somente se f e contnua para todo
f E.
Prova. Se e contnua e f E , como f e contnua na topologia fraca pela definicao desta, segue que
f e contnua, pois e a composta de funcoes contnuas. Reciprocamente, suponha que f e contnua
para todo f E . Para provar que e contnua, vamos mostrar que se V E e aberto na topologia fraca,
entao 1 (V ) e aberto em Y . Pela Proposicao 5.3 podemos escrever
[
\
1
V =
fx,i
(Ix,i ) ,
xV
16i6nx
onde nx N, Ix,i sao intervalos abertos da reta e fx,i E . Como a inversa de uma funcao preserva unioes
e intersecoes arbitrarias, segue que
[
\
[
\
1
1
(fx,i ) (Ix,i ) .
1 fx,i
(Ix,i ) =
1 (V ) =
xV
Por hipotese, (fx,i )
16i6nx
xV
16i6nx
(Ix,i ) e aberto em Y para cada x, i, logo 1 (V ) e aberto.
5.9 Proposi
c
ao. Sejam E, F espacos de Banach. Seja T : E F uma aplicac
ao linear. Ent
ao T e
contnua quando E, F s
ao munidos com a topologia forte se e somente se T e contnua quando E, F
s
ao munidos com a topologia fraca.
57
Prova. Suponha que T e contnua nas topologias fortes de E e F . Pelo lema anterior, basta provar que
g T : E R e contnua para todo g F quando E e munido da topologia fraca. Mas, como T e linear,
g T E , logo e contnua na topologia fraca de E pela definicao desta.
Reciprocamente, suponha que T e contnua nas topologias fracas de E e F . Entao o grafico G (T ) e
fechado em E F na topologia do produto das topologias fracas, que e a topologia fraca da topologia
produto de E F . Portanto, como observado antes, G (T ) e fechado na topologia forte. Pelo teorema do
grafico fechado, T e contnua nas topologias fortes de E e F .
A hipotese que T e linear nao pode ser removida neste resultado (veja [Brezis]).
5.2
Sequ
encias Fracamente Convergentes
5.10 Defini
c
ao. Seja E um espaco vetorial normado. Dizemos que uma sequencia {xn }nN E converge
fracamente para x se ela converge para x na topologia fraca. Denotaremos este fato por
xn * x.
5.11 Proposi
c
ao. Sejam E um espaco vetorial normado e {xn }nN E uma sequencia. Ent
ao valem as
seguintes afirmac
oes:
(i) xn * x se e somente se f (xn ) f (x) para todo f E .
(ii) Se xn x, ent
ao xn * x.
ao {xn } e limitada e alem disso
(iii) Se xn * x, ent
kxk 6 lim inf kxn k .
(iv) Se xn * x e fn f em E , ent
ao fn (xn ) f (x).
Prova. (i) Se xn * x entao f (xn ) f (x) para todo f E porque f e contnua na topologia fraca.
Reciprocamente, suponha que f (xn ) f (x) para todo f E . Para provar que xn * x, mostraremos que
dada qualquer vizinhanca aberta fraca U de x temos xn U para todo n suficientemente grande. De fato,
m
T
seja
fi1 (Vi ) U um elemento-base da topologia fraca contendo x0 , com V1 , . . . , Vm abertos em R. Para
i=1
cada i, existe Ni N tal que fi (xn ) Vi para todo n > Ni . Tomando N = max {N1 , . . . , Nm }, segue que se
m
T
n > N entao fi (xn ) Vi para todo i, logo xn
fi1 (Vi ) U para todo n > N .
i=1
(ii) segue de (i), pois para todo f E temos |f (x) f (xn )| 6 kf k kx xn k.

(iii) segue de (i) e do Corolario 3.4 do teorema da limitacao uniforme: como f (xn ) f (x) para todo f E ,
em particular {f (xn )} e limitada para todo f E . Alem disso, como |f (xn )| 6 kf k kxn k, tomando o limite
temos
|f (x)| 6 kf k lim inf kxn k
para todo f E . Segue do teorema da Hahn-Banach (Corolario 2.25) que
kxk =
|f (x)|
6 lim inf kxn k .
f E \{0} kf k
sup
(iv) segue de (i) e (iii) escrevendo

|fn (xn ) f (x)| 6 |fn (xn ) f (xn )| + |f (xn ) f (x)|
= |(fn f ) (xn )| + |f (xn ) f (x)|
6 kfn f k kxn k + |f (xn ) f (x)| .
58
Embora uma sequencia convergir fracamente e equivalente a uma sequencia convergir fortemente em espacos
vetoriais normados de dimensao finita, existem exemplos de espacos de Banach de dimensao infinita em que
toda sequencia fracamente convergente tambem e fortemente convergente, apesar de que, conforme vimos
no Corolario 5.7, a topologia fraca ser estritamente mais grossa que a topologia forte nestes casos. Um
exemplo e `1 (veja [Conway], Proposition V.5.2). Por outro lado, se E e reflexivo, sempre existem exemplos
de sequencias fracamente convergentes que nao convergem fortemente, conforme veremos.
importante tambem ressaltar que a continuidade de uma funcao nao e equivalente à continuidade
E
sequencial no caso da topologia fraca. Embora em espacos vetoriais normados estes conceitos sejam equivalentes, pois a topologia forte e a topologia da metrica, a qual satisfaz o axioma da enumerabilidade, o mesmo
nao vale para a topologia fraca que nao satisfaz este axioma (veja o Exerccio 5.9 para um exemplo). Assim,
para provar que uma funcao f : E Y de um espaco vetorial normado E dotado da topologia fraca em
um espaco topologico Y qualquer e contnua, nao e suficiente provar que ela leva sequencias fracamente
convergentes de E em sequencias convergentes de Y .
5.3
Topologia Fraca*
5.12 Defini
c
ao. Seja E um espaco vetorial normado e considere a imersao canonica J : E E . A
topologia fraca* sobre o dual E e a topologia menos fina tal que todos os funcionais lineares na
imagem J (E) sao contnuos.
Evidentemente, se E for um espaco reflexivo entao a topologia fraca* coincide com a topologia fraca de E .
Caso contrario, em geral a topologia fraca* de E e mais grosseira que a topologia fraca de E , que por sua
vez e mais grosseira que a topologia forte de E .
5.13 Proposi
c
ao. Seja E um espaco vetorial normado. Ent
ao E sob a topologia fraca* e um espaco de
Hausdorff.
Prova. Se f, g E com f 6= g, entao existe x E tal que f (x) 6= g (x). Se R e tal que f (x) < <
1
1
g (x), ent
ao os abertos (Jx) (, ) e (Jx) (, ) separam f e g.
5.14 Proposi
c
ao. Seja E espaco vetorial normado e f0 E . Um sistema fundamental de vizinhancas em
f0 na topologia fraca* consiste de todos os conjuntos da forma
V = {f E : |f (xi ) f0 (xi )| < , x1 , . . . , xn E} .
Prova. Se U e um aberto contendo f0 , entao existe um elemento-base
n
T
i=1
(Jxi )
(Vi ) U contendo f0 ,
com V1 , . . . , Vn abertos em R e x1 , . . . , xn E. Em particular, (Jxi ) (f0 ) = f0 (xi ) Vi para todo i, logo

existe > 0 tal que (f0 (xi ) , f0 (xi ) + ) Vi . Tomando
V =
n
\
(Jxi )
(f0 (xi ) , f0 (xi ) + ) ,
i=1
segue que V U . Mas, por definicao,

V = {f E : |f (xi ) f0 (xi )| < , 1 6 i 6 n} .
Denotaremos a convergencia fraca* de uma sequencia {fn }nN E para um elemento f E por
fn * f.
59
5.15 Proposi
c
ao. Sejam E um espaco vetorial normado e {fn }nN E uma sequencia. Ent
ao valem as
seguintes afirmac
oes:
(i) fn * f se e somente se fn (x) f (x) para todo x E.
(ii) Se fn f , ent
ao fn * f . Se fn * f , ent
ao fn * f .
(iii) Se fn * f , ent
ao {fn } e limitada e alem disso, se E for de Banach,
kf k 6 lim inf kfn k .
(iv) Se fn * f e xn x em E, se E for de Banach ent

ao fn (xn ) f (x).
Prova. Exerccio. Observe que em (iii) e (iv) da Proposicao 5.11 nao precisamos da hipotese do espaco ser
de Banach porque E sempre e de Banach.
No que se segue, denotaremos a bola unitaria fechada de um espaco vetorial normado E por BE .
5.16 Lema. Sejam E um espaco vetorial normado e Y um espaco topol
ogico. Ent
ao uma aplicac
ao :
Y E e contnua quando E e munido da topologia fraca* se e somente se (Jx) : Y R e
contnua para todo x E.
Prova. Suponha e contnua. Como para cada x E a funcao valor Jx : E R e contnua na topologia
fraca*, por definicao, a composta (Jx) tambem e contnua.
Reciprocamente, suponha que (Jx) e contnua para todo x E. Para provar que e contnua, vamos
mostrar que se V E e aberto na topologia fraca, entao 1 (V ) e aberto em Y . Pela Proposic
ao 5.14
podemos escrever
[
\
V =
{g E : |g (xf,i ) f (xf,i )| < f }
f V
[
f V
16i6nf
(Jxf,i )
(f (xf,i ) , f (xf,i ) + ) ,
16i6nf
onde nf N, f > 0 e xf,i E. Como a inversa de uma funcao preserva unioes e intersecoes arbitrarias,
segue que
h
i
[
\
1
1 (V ) =
1 (Jxf,i ) (f (xf,i ) , f (xf,i ) + )
f V
[
f V
Por hipotese, (Jxf,i )
16i6nf
(Jxf,i )
(f (xf,i ) , f (xf,i ) + ) .
16i6nf
(f (xf,i ) , f (xf,i ) + ) e aberto em Y para cada f, i, logo 1 (V ) e aberto.
5.17 Teorema. (Teorema de Alaoglu) Seja E um espaco vetorial normado. Ent

ao BE e compacta na
topologia fraca*.
Prova. Para cada x E, considere o intervalo real compacto
Ix = [ kxk , kxk] .
60
Pelo teorema de Tychonoff, o produto cartesiano

I=
Ix
xE
e compacto na topogia produto RE . Para provar que BE e compacta na topologia fraca* considere a
aplicacao
: E RE
definida por
(f ) = (f (x))xE .
Como para cada f BE temos |f (x)| 6 kxk, note que a imagem I 0 = (BE ) esta contida em I.
Vamos mostrar que e um homeomorfismo sobre sua imagem, de modo que o teorema sera demonstrado se
mostrarmos que a imagem I 0 e compacta. Claramente e injetiva. Para ver que : E RE e contnua
quando E esta munida da topologia fraca*, como RE tem a topologia produto, basta
provar que x e
E
contnua para todo x E, onde x : R R e a projecao na coordenada x: x (ty )yE = tx . E, de
fato, como
(x ) (f ) = x (f (y))yE = f (x) = (Jx) (f ) ,

segue que x = Jx. Para provar que 1 : (E ) E e contnua, pelo lema anterior basta mostrar
que (Jx) 1 e contnua para todo x E; mas isso e obvio, pois (Jx) 1 = x |(E ) .
Como I 0 I e I e compacta, para provar que I 0 e compacta basta mostrar que I 0 e fechada. Seja F I 0 .
Para mostrar que F = (f (x))xE para algum funcional f BE , basta mostrar que o funcional f : E R
definido por
f (x) = Fx
(isto e, f (x) e a coordenada x de F ) esta em BE . Primeiro verificaremos que f e linear. Sejam x1 , x2 E
e , R. Considere a seguinte vizinhanca aberta de F na topologia do produto:
U = (tx )xE : |tx1 Fx1 | < , |tx2 Fx2 | < e |tx1 +x2 Fx1 +x2 | <
(tx e arbitrario se x 6= x1 , x2 , x1 + x2 ). Como F I 0 , existe um elemento (g (x))xE U com g E .
Da,
|g (x1 ) Fx1 | < ,
|g (x2 ) Fx2 | <
|g (x1 + x2 ) Fx1 +x2 | <
e
g (x1 + x2 ) = g (x1 ) + g (x2 ) .
Consequentemente,
|f (x1 + x2 ) [f (x1 ) + f (x2 )]| = |Fx1 +x2 (Fx1 + Fx2 )|
6 |Fx1 +x2 g (x1 + x2 )| + |g (x1 ) Fx1 | + |g (x2 ) Fx2 |
< (1 + || + ||) .
Como e arbitrario, segue que
f (x1 + x2 ) = f (x1 ) + f (x2 )
e f e linear. Agora, como |Fx | 6 kxk para todo x E temos imediatamente que f E e kf k = 1.
5.4
61
Convexidade Uniforme e Topologia Fraca
5.18 Lema. Seja E um espaco de Banach. Sejam f1 , . . . , fn E e 1 , . . . , n R. As afirmac

oes a
seguir s
ao equivalentes:
(i) Para todo > 0 existe x E tal que kx k 6 1 e
|fi (x ) i | < para i = 1, . . . , n.
(ii) Para todos 1 , . . . , n R vale
n
n
X
X
i i 6
i fi .
i=1
Prova. (i) (ii) Seja

|| =
i=1
n
X
|i | .
i=1
Por (i) temos
n
n
n
n
X
X
X
X
f
(x
)
6
|
f
(x
)
|
=
|i | |fi (x ) i |
i i
i i
i i
i i
i=1
i=1
i=1
n
X
<
i=1
|i |
i=1
= ||
para todo > 0, donde
n
n
n
n
X
X
X
i i 6
i fi (x ) +
i fi (x )
i i
i=1
i=1
i=1
i=1
n
X
6
i fi kx k + ||
i=1
n
X
=
i fi + || .
i=1
Como > 0 e arbitrario, segue (ii).

(ii) (i) Seja
= (1 , . . . , n ) Rn
e considere a aplicacao linear T : E Rn definida por

T x = (f1 (x) , . . . , fn (x)) .
Para provar (i), basta provar que T B1 (0) . Suponha por absurdo que
/ T B1 (0) . Entao podemos
separar estritamente e T B1 (0) , ou seja, existe = (1 , . . . , n ) tal que
Tx < c <
para todo x B1 (0), onde denota o produto interno canonico em Rn . Logo,
n
n
X
i fi (x) = T x < c <

i i
i=1
i=1
62
para todo x B1 (0), donde

n
n
X
i fi = sup
i fi (x) < c <
i i ,
xB (0)
i=1
i=1
i=1
contrariando (ii).
5.19 Lema. Seja E um espaco de Banach. Ent
ao J (BE ) e denso em BE na topologia fraca*.
Prova. Seja F BE e seja
V = {G E : |G (fi ) F (fi )| < , fi E , 1 6 i 6 n}
uma vizinhanca aberta fraca* de F . Mostraremos que J (BE ) V 6= . Isso significa encontrar x BE tal
que
|(Jx) (fi ) F (fi )| = |fi (x) F (fi )| < para todo i = 1, . . . , n.
Tomando i = F (fi ), isso seguira do lema anterior se provarmos que vale (ii) do mesmo. E, de fato, para
todos 1 , . . . , n R vale
!
n
n
n
n
X

X
X
i i = F
i fi 6 kF k
i fi =
i fi .
i=1
i=1
i=1
i=1
ao E e reflexivo.
5.20 Teorema. Se E e um espaco de Banach uniformemente convexo, ent
Prova. Seja F E com kF k = 1. Mostraremos que existe x BE E tal que F = Jx. Como J (BE ) e
fechado em E (porque BE e fechado no espaco de Banach E e J e uma isometria), basta provar que para
todo > 0 existe x BE tal que
kF Jxk < .
Dado > 0, seja > 0 aquele dado pela definicao de convexidade uniforme. Escolha f E com kf k = 1
tal que
F (f ) > 1 ,
(5.1)
2
o que e possvel, ja que kF k = sup |F (f )| = 1. Considere a vizinhanca aberta fraca* de F definida por
kf k=1
V =
GE
: |F (f ) G (f )| <
2
Segue do Lema 5.19 que V J (BE ) 6= , logo existe x BE tal que Jx V . Mostraremos que F
Jx + BE , o que terminara a demonstracao.
Suponha por absurdo que F W = E \ (Jx + BE ). Observe que W tambem e uma vizinhanca
aberta fraca*, pois BE e fechada na topologia fraca* (mais que isso, ela e compacta). Aplicando novamente
o Lema 5.19, segue que (V W ) J (BE ) 6= , logo existe x BE tal que Jx V W . Como Jx, Jx V ,
segue que
e |F (f ) (Jx) (f )| < .
|F (f ) (Jx) (f )| <
2
2
Da, somando as duas desigualdades,
2F (f ) 6 (Jx) (f ) + (Jx) (f ) + = J (x + x) (f ) + 6 kx + xk + ,
63
donde, por (5.1),
x + x
2 > 1 .
Por outro lado, como Jx W , temos kx xk > e pela definicao de convexidade uniforme segue que
x + x
2 < 1 ,
contradicao.
5.21 Teorema. Seja E e um espaco de Banach uniformemente convexo. Seja {xn }nN E uma sequencia
tal que xn * x e
kxk > lim sup kxn k .
Ent
ao xn x.
Prova. Como, pela Proposicao 5.11 (iii),
kxk 6 lim inf kxn k 6 lim sup kxn k 6 kxk ,
temos que
kxk = lim kxn k .
Logo, se x = 0 o resultado e obvio. Suponha entao x 6= 0 e defina
n = max {kxk , kxn k} =
de modo que n kxk. Defina
yn =
xn
n
kxk + kxn k + |kxk kxn k|

,
2
e
y=
x
.
kxk
Entao kyn k 6 1, kyk = 1 e

yn * y,
pois
f (yn ) =
para todo f E . Como
donde
1
1
f (xn )
f (x) = f (y)
n
kxk
y + yn
* y (veja o Exerccio 5.6), temos que
2
y + yn
6 1,
1 = kyk 6 lim inf

2
y + yn
= 1.
lim
2
Pela definicao de convexidade uniforme, isso implica que

lim ky yn k = 0,
ou seja, yn y. Portanto, xn = n yn kxk y = x.
5.5
64
Reflexividade, Separabilidade e Topologias Fracas
A topologia fraca permite a seguinte caracterizacao dos espacos de Banach reflexivos:

ao E e reflexivo se e somente se a bola unit
aria fechada
e fracamente compacta.
Prova. Suponha que E seja reflexivo, de modo que J (BE ) = BE . Pelo teorema de Alaoglu, BE e
compacta na topologia fraca*. Para provar que BE e compacto, basta verificar que J 1 e contnua quando
E esta munido da topologia fraca e E esta munido da topologia fraca*, ja que uma funcao contnua
leva compactos em compactos. Para isso, pelo Lema 5.8, temos que mostrar que
J1 : E R e
f 1
(F ) = F (f ), pois
contnua para todo f E quando E esta munido da topologia fraca*. Mas f J
se x = J 1 (F ) entao Jx = F , ou seja, f (x) = (Jx) (f ) = F (f ) para todo f E . Por definicao de
topologia fraca*, a aplicacao J f : E R definida por (J f ) (F ) = F (f ) para f E fixado e contnua
na topologia fraca* de E . Portanto, f J 1 = J f e contnua na topologia fraca*.
Reciprocamente, suponha que BE e compacto na topologia fraca. Pela Proposicao 5.9, J : E E e
uma aplicacao contnua quando E e E sao munidos com a topologia fraca. Como a topologia fraca* esta
includa na topologia fraca, segue que J : E E tambem e uma aplicacao contnua quando E e munido
com a topologia fraca e E e munido com a topologia fraca*. Consequentemente, J (BE ) e compacto na
topologia fraca*. Mas pelo Lema 5.19, J (BE ) e denso em BE na topologia fraca*, logo J (BE ) = BE e
portanto J (E) = E .
5.23 Corol
ario. Seja E um espaco reflexivo. Se C E e convexo, fechado e limitado, ent
ao C e fracamente
compacto.
Prova. Pela Proposicao 5.5, C e fracamente fechado. Como existe uma constante r > 0 tal que rC =
{rx : x C} BE e BE e fracamente compacta, segue que C, um subconjunto fracamente fechado de um
conjunto fracamente compacto, tambem e fracamente compacto.
5.24 Teorema. Se E e um espaco vetorial normado separ
avel, ent
ao toda sequencia limitada em E possui
uma subsequencia convergente na topologia fraca*.
Prova. Seja {xn }nN E um subconjunto enumeravel denso e {fn }nN E uma sequencia limitada,
digamos
kfn kE 6 M para todo n N.
A sequencia {fn (x1 )}nN e uma sequencia real limitada, logo possui uma subsequencia convergente {fn1 (x1 )}n1 N .
Considere a subsequencia limitada {fn1 (x2 )}n1 N ; ela possui uma subsequencia covergente {fn2 (x2 )}n2 N .
Procedendo desta maneira, para cada k N obtemos uma subsequencia convergente {fnk (xk )}nk N da
subsequencia convergente fnk1 (xk ) n N . Defina

k1
gn = (fnn )n
(isto e, gn e o n-esimo termo da subsequencia fnn ; metodo da diagonal de Cantor). Entao gn e uma
subsequencia de fn tal que {gn (xk )}nN converge para todo k N.
Afirmamos que {gn (xk )}nN converge para todo x E. De fato, dados x E e > 0, existe k N tal
que
.
kx xk k <
3M
Temos
kgn (x) gm (x)k 6 kgn (x) gn (xk )k + kgn (xk ) gm (xk )k + kgm (xk ) gm (x)k
6 kgn k kx xk k + kgn (xk ) gm (xk )k + kgm k kxk xk
2
6 kgn (xk ) gm (xk )k + ,
3
65
de modo que, como {gn (xk )}nN e uma sequencia de Cauchy, {gn (xk )}nN tambem e.
Defina g : E R por
g (x) = lim gn (x) .
Entao g e linear e limitada pois
|g (x)| 6 lim |gn (x)| 6 M kxk .
Pela Proposicao 5.15 (i), segue que gn * g.

O proximo resultado e extremamente u
til nas aplicacoes:
5.25 Teorema. Se E e um espaco reflexivo, ent
ao toda sequencia limitada em E possui uma subsequencia
fracamente convergente.
Prova. Seja {xn }nN E uma sequencia limitada e L = hx1 , x2 , . . .i o fecho do subespaco vetorial gerado
pelos xn . Como ja vimos antes no captulo anterior, L e separavel. Alem disso, como L e um subespaco
fechado de um espaco reflexivo, L tambem e reflexivo. Pelo Corolario 3.6 L e separavel, logo podemos
aplicar o teorema anterior: como J e uma isometria, {Jxn }nN E e uma sequencia limitada, logo possui
uma subsequencia convergente na topologia fraca*. Logo, Jxn * Jx para algum x E, pois E e reflexivo.
Pela Proposicao 5.15 (i), isso significa que (Jxn ) (f ) (Jx) (f ) para todo f E , isto e, f (xn ) f (x)
para todo f E , o que implica xn * x pela Proposicao 5.11 (i).
5.26 Corol
ario. Se E e um espaco reflexivo de dimens
ao infinita, ent
ao existem sequencias fracamente
convergentes que n
ao s
ao fortemente convergentes.
Prova. Basta tomar uma subsequencia fracamente convergente de uma sequencia de pontos na bola unitaria
de E que nao possui nenhuma subsequencia de Cauchy na topologia forte (veja o Corolario 2.18).
A recproca do Teorema 5.24 e verdadeira e bem mais difcil de provar:
5.27 Teorema. (Teorema de Eberlein-Smulian) Seja E um espaco de Banach tal que toda sequencia limitada possui uma subsequencia fracamente convergente. Ent
ao E e reflexivo.
Prova. Veja [Dunford-Schwartz], p. 430, ou, para uma demonstracao mais elementar, [Whitley]. O teorema
de Eberlein-Smulian e usualmente formulado da seguinte maneira: se E e um espaco de Banach e A E e
um subconjunto, ent
ao toda sequencia de A possuir uma subsequencia fracamente convergente e equivalente
ao fecho fraco de A ser fracamente compacto. Tomando A = BE , como a bola unitaria fechada BE e fracamente fechada porque e um conjunto convexo, segue que se toda sequencia em BE possui uma subsequencia
fracamente convergente, entao BE e fracamente compacto. Pelo Teorema 5.22, conclumos entao que E e
reflexivo.
5.6
Metrizabilidade e Topologia Fraca
Embora a topologia fraca no espaco E todo e a topologia fraca* no espaco E todo nunca serem metrizaveis
[Brezis], elas sao metrizaveis quando restritas a bolas sob certas condicoes (o que costuma ser suficiente nas
aplicacoes):
ao E e separ
avel se e somente se BE na topologia fraca
e metriz
avel.
Prova. Suponha E separavel. Seja {fn }nN um subconjunto enumeravel denso de BE . Vamos definir
uma metrica em BE da seguinte forma:
d (x, y) =
X
1
|fn (x) fn (y)| .
2n
n=1
66
De fato, a validade da desigualdade triangular e facilmente verificada. Alem disso, se x, y BE , entao

d (x, y) = 0 se e somente se x = y: se x 6= y, pelo teorema de Hahn-Banach existe f BE tal que
f (x y) = > 0; se n N e tal que kf fn k < /4, temos
|fn (x) fn (y)| > |f (x) f (y)| |f (x) fn (x)| |f (y) fn (y)|
> kf fn k kxk kf fn k kyk

> = > 0.
4 4
2
Para mostrar que a metrica d induz sobre BE a topologia fraca restrita a BE , seja
V = {x BE : |gi (x) gi (x0 )| < , g1 , . . . , gk BE }
um elemento base da topologia fraca restrita a BE contendo um ponto arbitrario x0 BE (observe que nao
ha perda de generalidade em tomar g1 , . . . , gk BE ) Vamos mostrar que existe r > 0 tal que
B = Brd (x0 ) BE = {x BE : d (x, x0 ) < r}
esta contida em V . Para cada i = 1, . . . , k, seja ni N tal que
kgi fni k <
Seja r > 0 tal que
r<
2ni +1
Se x B, vale em particular
.
4
para cada i = 1, . . . , k.
1
|fn (x) fn (y)| < r
2n
para todo n N, logo

|gi (x) gi (x0 )| 6 |(gi fni ) (x x0 )| + |fni (x) fni (x0 )|
< kgi fni k kx x0 k + 2ni r
< (kxk + kx0 k) + = .

4
2
Reciprocamente, dado um elemento base B = Brd (x0 ) BE da topologia da metrica restrita a BE , vamos
1
encontrar uma vizinhanca fraca de x0 . Seja < 2r e k N tal que 2k1
< 2r . Tome
V = {x BE : |fn (x) fn (x0 )| < , n = 1, . . . , k} .
Se x V , entao
d (x, x0 ) =
X
X
1
1
|f
(x)
f
(x
)|
+
|fn (x) fn (x0 )|
n
n
0
n
n
2
2
n=1
n=k+1
<
k
X
1
+
n
2
n=1
6+
1
2k1
X
n=k+1
1
kfn k kx x0 k
2n
< r.
Para a recproca do teorema veja [Dunford-Schwartz].

Nao e suficiente que o proprio E seja separavel para que BE seja metrizavel, como o exemplo de `1 mostra.
Com efeito, como sequencias fracamente convergentes em `1 sao equivalentes a sequencias fortemente convergentes, como ja observamos antes, a metrizabilidade da bola unitaria fechada na topologia fraca de `1
67
implicaria entao que as topologias fraca e forte de `1 coincidem (porque em um espaco metrico a topologia
pode ser toda formulada em termos de convergencia de sequencias, isto e, os fechados (e, consequentemente,
os abertos) podem ser caracterizados atraves de sequencias convergentes), o que nao e verdade porque `1
tem dimensao infinita.
ao E e separ
avel se e somente se BE na topologia
fraca* e metriz
avel.
Prova. Suponha E separavel. Seja {xn }nN um subconjunto enumeravel denso de BE . Vamos definir uma
metrica em BE da seguinte forma:
X
1
d (f, g) =
|f (xn ) g (xn )| .
n
2
n=1
De fato, se d (f, g) = 0, entao f = g em um subconjunto denso de BE , logo f = g em BE e portanto em

E; a validade da desigualdade triangular e facilmente verificada. Para mostrar que a metrica d induz sobre
BE a topologia fraca* restrita a BE , seja
V = {f BE : |f (xi ) f0 (xi )| < , y1 , . . . , yk BE }
um elemento base da topologia fraca* restrita a BE contendo um ponto arbitrario f0 BE (observe que
nao ha perda de generalidade em tomar y1 , . . . , yk BE ). Vamos mostrar que existe r > 0 tal que
B = Brd (f0 ) BE = {f BE : d (f, f0 ) < r}
esta contida em V . Para cada i = 1, . . . , k, seja ni N tal que
kyi xni k < .

4
Seja r > 0 tal que
r < ni +1
para cada i = 1, . . . , k.
2
Se f B, vale em particular
1
|f (xn ) f0 (xn )| < r
2n
para todo n N, logo
|f (xi ) f0 (xi )| 6 |(f f0 ) (yi xni )| + |f (xni ) f0 (xni )|
< kf f0 k kyi xni k + 2ni r

< (kf k + kf0 k) + = .
4 2
Reciprocamente, dado um elemento base B = Brd (f0 ) BE da topologia da metrica restrita a BE , vamos
1
encontrar uma vizinhanca fraca* de f0 . Seja < 2r e k N tal que 2k1
< 2r . Tome
V = {f BE : |f (xi ) f0 (xi )| < , n = 1, . . . , k} .
Se f V , entao
k
X
X
1
1
|f (xn ) f0 (xn )| +
|f (xn ) f0 (xn )|
d (x, x0 ) =
n
n
2
2
n=1
n=k+1
k
X
X
1
1
+
kf f0 k kxn k
<
n
n
2
2
n=1
n=k+1
6+
1
2k1
< r.
68
Reciprocamente, suponha que BE munida da topologia fraca* e metrizavel e denote por d uma metrica
que induz a topologia fraca* sobre BE . Para obter um subconjunto enumeravel denso em E, considere as
bolas abertas Bn em torno do funcional nulo de raio 1/n, isto e,
1
Bn = f BE : d (f, 0) <
.
n
Como esta bola e aberta na topologia fraca*, para cada n existe uma vizinhanca fraca* Vn Un contendo
a origem, digamos,
Vn = {f BE : |f (xi,n )| < n , i = 1, . . . , in } .
Afirmamos que o subespaco vetorial gerado pelo conjunto enumeravel D = (xi,n )i=1,...,in ,nN e denso em E.
De fato, como Bn = {0}, segue que Vn = {0} tambem. Em particular, se f (x) = 0 para todo x D, entao
f Vn e consequentemente f = 0. Pelo teorema de Hahn-Banach, isso so pode ser verdade se o subespaco
vetorial gerado por D e denso em E. Tomando apenas combinacoes lineares racionais dos elementos de D,
obtemos um subconjunto enumeravel denso em E.
5.7
Exerccios
5.1 Seja E um espaco reflexivo e {xn }nN E uma sequencia tal que {f (xn )}nN converge para todo
f E . Mostre que existe x E tal que xn * x.
5.2 (Teorema de Mazur) Seja E um espaco vetorial normado e {xn }nN E uma sequencia que converge
n
X
fracamente para x. Mostre que existe uma sequencia {yn }nN E tal que yn =
i xi com i > 0
i=1
n
X
e
i = 1 (isto e, cada yn e uma combinacao linear convexa de x1 , . . . , xn ) tal que {yn } converge
i=1
fortemente para x.
5.3 Sejam E, F espacos de Banach. Seja T : E F um operador linear que leva sequencias fortemente
convergentes para 0 em sequencias fracamente convergentes para 0. Mostre que T e contnuo.
5.4 Se fn C [0, 1] e fn * f em C [0, 1], mostre que fn (t) f (t) para todo t [0, 1].
5.5 Sejam E, F espacos vetoriais normados e T : E F um operador linear limitado. Mostre que se
xn * x em E, entao T xn * T x em F .
5.6 Seja E um espaco vetorial normado. Mostre que se xn * x e yn * y em E, entao xn + yn * x + y e
xn * x em E, onde R e um escalar qualquer.
5.7 Seja E um espaco vetorial normado. Mostre que todo conjunto fracamente compacto em E e limitado.
5.8 Se E e um espaco reflexivo, entao um conjunto e fracamente compacto se e somente se ele e fracamente
fechado e limitado.

5.9 Seja {xn }nN uma sequencia em `p , 1 < p < . Denote cada elemento xn = xin iN .
a) Mostre que xn * x se e somente se {kxn k}nN e limitada e xin xi para cada i.
b) A sequencia {en }nN converge fracamente para 0, mas nao converge fortemente para 0.
c) Defina F = {en + nem : m > n}. Mostre que a distancia entre dois elementos de F e pelo menos
1. Conclua que F e fortemente fechado.
69
d) Mostre que 0 esta no fecho fraco de F , mas nao existe nenhuma sequencia {yn }nN F tal que
yn * 0. Isso mostra que os conjuntos fechados na topologia fraca nao podem ser caracterizados
por meio de sequencias, logo ela nao satisfaz o primeiro axioma de enumerabilidade e que a
topologia fraca nao e metrizavel.
5.10 Prove o teorema de Eberlein-Smulian usando o teorema de James: Se E e um espaco de Banach
n
ao-reflexivo, ent
ao existe f0 E tal que n
ao existe nenhum elemento x E satisfazendo f0 (x) =
kf0 k kxk. [Compare este teorema com o Exerccio 4.4.]
5.11 Seja E um espaco vetorial normado. Dizemos que um subconjunto B E e fracamente limitado se
f (B) R e limitado para todo f E .
Mostre que se E e um espaco de Banach, entao B e fracamente limitado se e somente se B e limitado.
5.12 Seja E um espaco vetorial normado. Dizemos que uma sequencia {xn }nN E e fracamente de
Cauchy se {f (xn )}nN R e de Cauchy para todo f E .
Mostre que se {xn }nN e de Cauchy, entao {kxn k}nN e limitada.
5.13 Seja E um espaco vetorial normado. Dizemos que E e fracamente completo se toda sequencia
fracamente de Cauchy e fracamente convergente.
Mostre que se E e reflexivo, entao E e fracamente completo. De um exemplo para mostrar que a
recproca nao e valida.
Captulo 6
Espacos de Hilbert
6.1
Produto Interno
6.1 Defini
c
ao. Seja E um espaco vetorial. Um produto interno em E e uma forma bilinear simetrica
definida positiva, isto e, uma funcao h, i : E E R que satisfaz as seguintes propriedades:
(i) hx + y, zi = hx, zi + hy, zi para todos x, y, z E e para todos , R.
(ii) hx, yi = hy, xi para todos x, y E.
(iii) hx, xi > 0 para todo x 6= 0.
6.2 Proposi
c
ao. (Desigualdade de Cauchy-Schwarz) Seja E um espaco vetorial com produto interno h, i.
Defina
p
kxk = hx, xi.
Ent
ao
|hx, yi| 6 kxk kyk
(6.1)
para todos x, y E.
Prova: Para todos x, y E vale
Mas
hx + ty, x + tyi > 0
para todo t R.
hx + ty, x + tyi = kxk + 2 hx, yi t + kyk t2 ,
logo o discriminante deste polinomio do segundo grau nao pode ser positivo:
2
4 hx, yi 4 kxk kyk 6 0.

Da segue a desigualdade de Cauchy-Schwartz.
6.3 Proposi
c
ao. Seja E um espaco vetorial com produto interno. Ent
ao
p
kxk = hx, xi
define uma norma em E.
70
(6.2)
71
Prova: A condicao (i) da Definicao 1.1 decorre imediatamente da condicao (iii) da Definicao 6.1. A condicao
(ii) da Definicao 1.1 decorre de
p
p
p
kxk = hx, xi = 2 hx, xi = || hx, xi = || kxk .
Finalmente, a desigualdade triangular e provada usando a desigualdade de Cauchy-Schwarz:
2
kx + yk = hx + y, x + yi = kxk + 2 hx, yi + kyk

2
6 kxk + 2 |hx, yi| + kyk

2
2
2
6 kxk + 2 kxk kyk + kyk

2
= (kxk + kyk) .
A norma definida na Proposicao 6.3 e chamada a norma derivada do produto interno ou norma induzida
pelo produto interno. De agora em diante, se E e um espaco vetorial com produto interno, assumiremos que
E e um espaco vetorial normado com a norma derivada do produto interno.
Da desigualdade de Cauchy-Schwarz segue que
|hx, yi|
6 1.
kxk kyk
6.4 Defini
c
ao. Seja E um espaco vetorial com produto interno. Dados dois vetores x, y V definimos o
seu
angulo ] (x, y) por
hx, yi
] (x, y) = arccos
.
kxk kyk
Em particular, se hx, yi = 0, entao] (x, y) = /2. Dizemos que dois vetores x, y sao ortogonais se hx, yi = 0.
6.5 Proposi
c
ao. (Teorema de Pitagoras) Seja E um espaco vetorial com produto interno. Ent
ao x, y E
s
ao vetores ortogonais se e somente se
2
kx + yk = kxk + kyk .
Prova: Temos
(6.3)
kx + yk = hx + y, x + yi = kxk + 2 hx, yi + kyk ,

logo x, y satisfazem a identidade de Pitagoras se e somente se hx, yi = 0.
6.6 Proposi
c
ao. (Identidade Polar) Seja E um espaco vetorial com produto interno. Ent
ao
hx, yi =
1
1
2
2
kx + yk kx yk .
4
4
(6.4)
Prova:
1
1
1
1
2
2
kx + yk kx yk = (hx, xi + 2 hx, yi + hy, yi) (hx, xi + 2 hx, yi + hy, yi) = hx, yi .
4
4
4
4
6.7 Proposi
c
ao. (Identidade do Paralelogramo) Seja E um espaco vetorial com produto interno. Ent
ao
2
2
2
2
(6.5)
72
Prova: Temos
2
kx + yk + kx yk = (hx, xi + hx, yi + hy, xi + hy, yi) + (hx, xi hx, yi hy, xi + hy, yi)
2
2
= 2 kxk + kyk .
6.8 Teorema. Seja E um espaco vetorial normado, cuja norma kk satisfaz a identidade do paralelogramo
2
2
2
2
Ent
ao a identidade polar
1
1
2
2
kx + yk kx yk
4
4
define um produto interno h, i em E tal que a sua norma e derivada dele.
hx, yi :=
Prova: Vamos verificar que h, isatisfaz todas as condicoes da Definicao 6.1 para ser um produto interno
em E.
Linearidade com relac
ao `
a primeira vari
avel:
Temos
1
1
1
1
2
2
2
2
kx + zk kx zk + ky + zk ky zk
4
4
4
4
1
1
2
2
2
2
=
kx + zk + ky + zk
kx zk + ky zk
4
4
1
2
2
=
kx + z + y + zk + kx + z (y + z)k
8
1
2
2
kx z + y zk + kx z (y z)k
8
1
1
2
2
2
2
=
kx + z + y + zk + kx yk
kx z + y zk + kx yk
8
8
1
1
2
2
=
kx + z + y + zk
kx z + y zk
8
8
1
2
2
2
=
2 kx + y + zk + 2 kzk k(x + y + z) zk
8
1
2
2
2
2 kx + y zk + 2 kzk k(x + y z) + zk
8
1
1
2
2
2
2
2 kx + y + zk kx + yk
2 kx + y zk kx + yk
=
8
8
1
1
2
2
= kx + y + zk kx + y zk
4
4
= hx + y, zi ,
hx, zi + hy, zi =
donde
hx, zi + hy, zi = hx + y, zi
para todos x, y, z E.
Se = n N, por iteracao de (6.6) obtemos
hnx, yi = n hx, yi ;
por exemplo, para n = 2 temos
h2x, yi = hx + x, yi = hx, yi + hx, yi = 2 hx, yi .
(6.6)
73
Se n = 1, notando que
h0, yi =
1
1
1
1
1
1
2
2
2
2
2
2
k0 + yk k0 yk = kyk kyk = kyk kyk = 0,
4
4
4
4
4
4
escrevemos
0 = h0, yi = hx x, yi = hx, yi + hx, yi ,
de modo que
hx, yi = hx, yi .
Da, se n N,
hnx, yi = hn (x) , yi = n hx, yi = (1) n hx, yi = n hx, yi .
Portanto, hx, yi = hx, yi para todo Z. Em seguida, para provar que
1
1
x, y = hx, yi
n
n
para todo n N, notamos que
hx, yi =
1
x, y
n
X1
n
x, y
=n
1
x, y .
n
Reunindo os dois resultados, conclumos que hx, yi = hx, yi para todo Q. Para obter o resultado
geral para qualquer R, basta observar que a funcao norma e contnua e, como o produto interno foi
definido a partir da norma, ele tambem e uma funcao contnua. Assim, dado qualquer R, tomamos uma
seq
uencia (n ) Q tal que n e obtemos
hn x, yi =
hx, yi
n hx, yi
hx, yi
donde
hx, yi = hx, yi
para todos x, y E e para todo R.
Simetria:
Temos
1
1
1
1
2
2
2
2
hx, yi = kx + yk kx yk = ky + xk ky xk = hy, xi .
4
4
4
4
Linearidade com relac
ao `
a segunda vari
avel:
Segue da simetria e da linearidade com relacao à primeira variavel.
Definida positiva:
Se x 6= 0, temos
1
1
1
2
2
2
2
hx, xi = kx + xk kx xk = k2xk = kxk > 0.
4
4
4
6.9 Corol
ario. Seja E um espaco vetorial normado. Ent
ao a norma de E deriva de um produto interno
se e somente se ela satisfaz a identidade do paralelogramo.
6.2
74
Espacos de Hilbert
6.10 Defini
c
ao. Dizemos que H e um espa
co de Hilbert se H for um espaco vetorial com produto interno
que e um espaco de Banach com a norma derivada do produto interno.
6.11 Exemplo. `2 (n), `2 e L2 () sao espacos de Hilbert.
6.12 Teorema. Todo espaco de Hilbert e uniformemente convexo.
Prova: Se kxk , kyk 6 1 e kx yk > , pela identidade do paralelogramo temos
x + y 2
= 1 kx + yk2 = 1 kxk2 + kyk2 1 kx yk2

2
4
2
4
2
<1 ,
4
de modo que
x + y
2 <1
1/2
2
para = 1 1
> 0 pois < kx yk 6 kxk + kyk 6 2.
4
6.13 Corol
ario. Todo espaco de Hilbert e reflexivo.
6.3
Teorema de Representa
c
ao de Riesz
6.14 Teorema. (Vetor que minimiza a distancia) Sejam H um espaco de Hilbert e C H um subconjunto
convexo fechado n
ao-vazio. Para todo x H existe um u
nico y0 C tal que
kx y0 k = min kx yk .
yC
Prova: Denote d = inf kx yk e seja {yn }nN C uma sequencia minimizante para a distancia, isto e,
yC
kx yn k = dn d.
Afirmamos que {yn }nN e uma sequencia de Cauchy. De fato, pela identidade do paralelogramo temos
2
2
2
2
kx yn + (x ym )k + kx yn (x ym )k = 2 kx ym k + kx ym k .
Como
yn + ym
C, porque C e convexo, segue que
2
yn + ym
2
kyn ym k = 2 dn + dm 4 x
2
2
6 2 dn + d2m 4d2
0
2
quando n, m . Como H e completo e C e fechado, podemos tomar

y0 = lim yn C.
75
Para provar a unicidade, suponha que existam y0 , ye0 C tais que

kx y0 k = kx ye0 k = d.
Usando a identidade do paralelogramo novamente, temos
2
y0 + ye0
2
6 4d2 4d2 = 0.
ky0 ye0 k = 2 d2 + d2 4
x
6.15 Corol
ario. Sejam H um espaco de Hilbert e L H um subespaco vetorial fechado. Para todo x H
ou
nico y0 L tal que
kx y0 k = min kx yk ,
yL
dado pelo teorema anterior, satisfaz

x y0 L.
Prova: Para provar a ortogonalidade do vetor x y0 , primeiro mostraremos que
hx y0 , y y0 i 6 0
para todo y L.
(6.7)
Com efeito, para todo 0 6 t 6 1 temos z = (1 t) y0 + ty L, logo

kx y0 k 6 kx [(1 t) y0 + ty]k = kx y0 t (y y0 )k ,
de modo que
kx y0 k 6 kx y0 k 2t hx y0 , y y0 i + t2 ky y0 k ,
donde
2 hx y0 , y y0 i 6 t ky y0 k .
Fazendo t 0, segue (6.7). Agora, dado y L, segue de (6.7) que
hx y0 , ty y0 i 6 0 para todo t R,
logo
t hx y0 , yi 6 hx y0 , y0 i
para todo t R, o que implica que necessariamente hx y0 , yi = 0.
oprio. Ent
ao existe
6.16 Lema. Sejam H um espaco de Hilbert e L H um subespaco vetorial fechado pr
z H\L tal que kzk = 1 e z L.
Prova: Pelo teorema anterior, dado w H\L, existe y0 L tal que w y0 L. Claramente, w y0
/ L,
logo podemos tomar
w y0
z=
.
kw y0 k
Os funcionais lineares em um espaco de Hilbert podem ser representados atraves do produto interno:
6.17 Teorema. (Teorema de Representacao de Riesz) Seja H um espaco de Hilbert. Dado f H existe
um u
nico y H tal que
f (x) = hx, yi
para todo x H. Alem disso,
kf kH = kykH .
Em particular,
H = H

76
Prova: Como f H , L = ker f e fechado. Se L = H, entao f 0 e tomamos y = 0. Caso contrario, pelo

lema anterior existe z H\L tal que kzk = 1 e z L. Temos H = hzi L. Mais especificamente, dado
x H podemos escrever
f (x)
f (x)
z+ x
z
x=
(6.8)
f (z)
f (z)
e
f (x)
x
zL
f (z)
Afirmamos que y = f (z) z. De fato, fazendo o produto interno de (6.8) com o vetor y = f (z) z segue que
f (x)
f (x)
f (x)
z+ x
z , f (z) z =
z, f (z) z = f (x) hz, zi
hx, yi =
f (z)
f (z)
f (z)
= f (x) .
Alem disso, pela desigualdade de Cauchy-Schwartz temos |f (x)| = |hx, yi| 6 kxk kyk, de modo que kf kH 6
kyk e
hy, yi
y
=
= kyk .
kf kH > f
kyk
kyk
6.18 Corol
ario. Todo espaco de Hilbert e reflexivo.
Prova: Como H = H, temos tambem (H ) = H . Assim, a cada F H = (H ) corresponde um

funcional f H tal que F (g) = f (y) para todo g H , onde y H satisfaz
g (x) = hx, yi
para todo x H. Do mesmo modo, como H = H, a cada f H corresponde um elemento x H tal que
f (y) = hy, xi
para todo y H. Portanto,
F (g) = f (y) = hy, xi = hx, yi = g (x) = (Jx) (g)
para todo g H .
6.4
Bases de Schauder e Bases de Hilbert
6.19 Defini
c
ao. Seja E um espaco de Banach. Uma base de Schauder para E e um conjunto de vetores
B = {en }nN E tal que todo vetor x E se escreve de maneira u
nica como uma seria infinita
P
x=
xn en para alguns escalares u
nicos {xn }nN R.
n=1
Se um espaco de Banach admite uma base de Hilbert, entao ele e separavel. No entanto, existem exemplos
de espacos de Banach separaveis que nao possuem bases de Schauder, ate mesmo espacos de Banach com
bases de Schauder que possuem subespacos sem base de Schauder (veja [Brezis]). Veremos nesta secao que
todo espaco de Hilbert separavel possui uma base de Schauder ortonormal (existem espacos de Hilbert que
nao sao separaveis; veja [EMT]).
6.20 Defini
c
ao. Seja H um espaco vetorial com produto interno. Dizemos que S = {e } H e um
sistema ortonormal se he , e i = 0 para todos 6= e ke k = 1 para todo . Dizemos que um
sistema ortonormal S e completo se nao existir nenhum sistema ortonormal em H que contenha S
propriamente.
77
6.21 Exemplo. Em `2 (n), a base canonica de Rn e um sistema ortonormal completo. Em `2 , a base

can
onica
1
se i = n,
(en )i =
0
se i 6= n,
e um sistema ortonormal completo. Em L2 (), as autofuncoes do operador Laplaciano, isto e, as
solucoes linearmente independentes do problema de Dirichlet
u = u
em ,
u=0
sobre ,
formam um sistema ortonormal completo. Por este motivo, S = 1, 2 sen nx, 2 cos nx nN e um
sistema ortonormal completo para L2 (0, 1) (series de Fourier).
6.22 Proposi
c
ao. Seja H um espaco vetorial com produto interno n
ao-nulo. Ent
ao H admite um sistema
ortonormal completo.
Alem disso, se S e um sistema ortonormal para H, ent
ao S pode ser completado ate um sistema
ortonormal completo.
Prova: Seja S um sistema ortonormal para H (todo espaco vetorial com produto interno admite um sistema
ortonormal: se e H e um vetor nao-nulo, basta tomar S = {e}). Seja S = {S } a colecao de todos os
sistemas ortonormais de H que contem S. Introduza um ordem parcial nesta colecao definindo
S 6 S
se S S .
Qualquer subcolecao S0 = {S }0 S possui um limitante superior: S0 = 0 S . Pelo lema de Zorn,

S possui um elemento maximal; este e um sistema ortonormal completo para H contendo S.
6.23 Lema. (Lema da Melhor Aproximacao) Sejam H um espaco vetorial com produto interno e S =
{e } H um sistema ortonormal. Sejam 1 , . . . , n ndices quaisquer, c1 , . . . , cn R escalares
quaisquer e se x H denote xi = hx, ei i. Ent
ao
(i)
2
n
n
n
X
X
X
2
2
2
ci ei = kxk
|xi | +
(xi ci ) .
x
i=1
i=1
i=1
ci ei
(ii) x
assume o valor mnimo se e somente se ci = xi .
i=1
(iii)
n
X
|xi | 6 kxk .
i=1
Prova: Temos
2 *
+
n
n
n
X
X
X
ci ei = x
ci ei , x
ci ei
x
i=1
i=1
= kxk 2
i=1
n
X
ci xi +
i=1
2
= kxk
2
= kxk
n
X
i=1
n
X
i=1
n
X
c2i
i=1
2
|xi | +
2
|xi | +
n
X
i=1
n
X
i=1
|xi | 2
n
X
i=1
2
(xi ci ) ,
ci xi +
n
X
i=1
c2i
78
o que conclui a demonstracao de (i). (ii) e (iii) seguem imediatamente de (i).

6.24 Defini
c
ao. Sejam H um espaco vetorial com produto interno e S = {e } H um sistema ortonormal completo. Dado x H, os coeficientes de Fourier de x sao os escalares x = hx, e i, .
Lembramos que se e um conjunto de ndices e {c } R e um conjunto de n
umeros reais positivos
indexados por , entao definimos
X
X
c .
c = sup
F
F finito F
6.25 Corol
ario. (Desigualdade de Bessel) Sejam H um espaco vetorial com produto interno e S = {e }
H um sistema ortonormal. Ent
ao
X
2
2
|x | 6 kxk
para todo x H. Em particular, para cada x H o subconjunto de ndices 0 = { : x 6= 0} e

enumer
avel.
)
(
2
kxk
2
Prova: Para cada n N, o subconjunto de ndices n = : |x | >
possui no maximo n
n
elementos e 0 = n .
Em espacos de Hilbert, a desigualdade de Bessel e uma identidade:
6.26 Teorema. Seja H um espaco de Hilbert. As seguintes afirmac
oes s
ao equivalentes:
(i) S = {e } e um sistema ortonormal completo para H.
(ii) Se x e para todo , ent
ao x = 0.
(iii) (Expansao em serie de Fourier) Se x H, ent
ao
X
x=
hx, e i e .
(iv) (Identidade de Parseval) Se x H, ent

ao
2
kxk =
|x | .
Prova: (i) (ii) decorre da definicao de sistema ortonormal completo. (ii) (iii) Seja {xi }iN o conjunto
enumeravel dos coeficientes de Fourier nao-nulos de x. Defina
yn =
n
X
xi ei .
i=1
Entao {yn }nN e uma sequencia de Cauchy em H, pois

2
kyn ym k =
m
X
|xi | 0
i=n+1
quando n, m pela desigualdade de Bessel. Como H e um espaco de Hilbert, seja

y = lim yn =
X
i=1
xi ei =
hx, e i e .
79
Mostraremos que x = y: se = j para algum j temos

*
+
n
X
x y, ej = lim x
xi ei , ej = x, ej xj = 0;
i=1
se 6= j para todo j temos
hx y, e i = lim x
n
X
+
xi ei , e
= hx, e i = 0.
i=1
(iii) (iv) Usando (i) do Lema 6.23 podemos escrever

X
|x | =
|xn | = lim
n=1
k
X
n=1
2
k
2
|xn | = kxk lim x
xn en = kxk .
k
2
n=1
(iv) (ii) Se x e para todo , ent

ao
X
X
2
2
2
kxk =
|x | =
hx, e i = 0.
ao H possui um sistema ortonormal completo enumer

avel
6.27 Teorema. Seja H um espaco de Hilbert. Ent
se e somente se H e separ
avel.
Prova: Seja S = {en }nN um sistema ortonormal completo enumeravel para H. Entao H = he1 , e2 , . . .i e
portanto e separavel.
Reciprocamente, suponha que X = {xn }nN H e um subconjunto enumeravel denso de H. Aplicando
o processo de ortonormalizacao de Gram-Schmidt a X, obtemos um sistema ortonormal enumeravel S =
{en }nN para H. Mas entao H = he1 , e2 , . . .i: para todo n N o processo de ortogonalizacao de GramSchmidt garante que
he1 , . . . , en i = hx1 , . . . , xn i ,
n
P
logo xn =
i,n ei para alguns escalares 1,n , . . . , n,n . Segue que S e um sistema ortonormal completo:
i=1
se x ei para todo i, como podemos escrever

x = lim
nk
X
i,nk ei ,
i=1
porque existe um subconjunto {xnk }kN X convenientemente reindexado tal que lim xnk = x, temos
*
2
kxk =
x, lim
nk
X
i=1
+
i,nk ei
= lim
nk
X
i,nk hx, ei i = 0.
i=1
avel. Se H tem dimens

ao infinita, ent
ao H e isomet6.28 Corol
ario. Seja H um espaco de Hilbert separ
ricamente isomorfo a `2 .

Prova: Se H1 , H2 sao dois espacos de Hilbert com sistemas ortonormais completos S1 = e1 , S2 =
2
e , respectivamente, entao a aplicacao linear T : H1 H2 definida por
!
X
X
1
1
T
x, e e =
x, e1 e2
e um isomorfismo isometrico.
6.5
80
Exerccios
6.1 Mostre que `p (n), `p e Lp () nao e um espaco de Hilbert se p 6= 2.

6.2 Mostre que os espacos de Holder C k, nao sao espacos de Hilbert.
6.3 Sejam H um espaco de Hilbert e B = {en }nN H uma sequencia de vetores ortonormais. Mostre que
en * 0.
6.4 Seja H um espaco de Hilbert. Prove que xn x em H se e somente se xn * x e kxn k kxk.
6.5 Seja H um espaco de Hilbert e {xn }nN , {yn }nN H sequencias tais que kxn k , kyn k 6 1 para todo
n N e hxn , yn i 1 quando n . Mostre que kxn yn k 0 quando n .
6.6 Seja H um espaco de Hilbert e {xn }nN H uma sequencia que converge fracamente para x H.
Mostre que ela possui uma subsequencia {yk }kN tal que
y1 + . . . + yk
x.
k
(Compare com o Teorema de Mazur, Exerccio 5.2.)
6.7 Mostre que todo espaco de Banach possui uma base de Schauder e separavel.
6.8 Mostre que em um espaco de Hilbert separavel qualquer sistema ortonormal completo e no maximo
enumeravel.
6.9 Prove o Teorema da Projecao: Seja H um espaco de Hilbert e L H um subespaco vetorial fechado.
Ent
ao a projec
ao ortogonal P : H L H de H sobre L e um operador linear limitado e kP k 6 1.
6.10 Sejam H um espaco de Hilbert, {xn }nN um sistema ortonormal completo para H e {yn }nN uma
sequencia de vetores ortonormais. Mostre que se
kxn yn k < 1,
n=1
entao {yn }nN tambem e um sistema ortonormal completo para H.
Captulo 7
Operadores Compactos
7.1
Operadores Completamente Contnuos e Operadores Compactos
7.1 Defini
c
ao. Sejam E, F espacos vetoriais normados. Dizemos que um operador linear T : E F e
completamente contnuo se T leva sequencias fracamente convergentes em E em sequencias convergentes em F .
Como um operador completamente contnuo leva em particular sequencias convergentes em sequencias convergentes e continuidade sequencial e equivalente à continuidade em espacos metricos, operadores completamente contnuos sao de fato contnuos.
7.2 Defini
c
ao. Sejam E, F espacos vetoriais normados. Dizemos que um operador linear T : E F e
compacto se T leva conjuntos limitados em E em conjuntos relativamente compactos em F .
Equivalentemente, T e compacto se T (BE ) e relativamente compacto em F . Todo operador compacto e
contnuo: como T (BE ) e compacto e conjuntos compactos em espacos metricos sao limitados, segue que
T (BE ) e limitado.
7.3 Proposi
c
ao. Sejam E, F espacos vetoriais normados. Ent
ao T : E F e compacto se e somente se
T leva sequencias limitadas em E em sequencias que possuem subsequencias convergentes em F .
Prova: Se T e compacto e {xn } e limitada em E, entao {T xn } e relativamente compacto em F , logo possui
subsequencia convergente em F . Reciprocamente, suponha que para toda sequencia limitada {xn } em E,
{T xn } possui uma subsequencia convergente em F . Em particular, toda sequencia {yn } T (BE ) possui
subsequencia convergente em E para algum limite; como este limite esta necessariamente em T (BE ), segue
que T (BE ) e compacto.
7.4 Proposi
c
ao. Sejam E, F espacos vetoriais normados. Se T : E F e compacto, ent
ao T e completamente contnuo.
Prova: Seja xn * x em E. Primeiro observe que T xn * T x em F . De fato, dado g F , temos g T E .
Como xn * x em E, temos que f (xn ) f (x) para todo f E , logo g (T xn ) g (T x) para todo g F ,
o que implica T xn * T x. Suponha por absurdo que T xn 6 T x. Entao existe > 0 e uma subsequencia
{T xnk } tal que
kT xnk T xk >
para todo nk . Mas como {xn } e fracamente convergente, ela e limitada, logo {T xnk } tambem e limitada
e possui uma subsequencia fortemente convergente pela proposicao anterior. Digamos, T xnk y. Em
particular, T xnk * y e como o limite fraco e u
nico, segue que y = T x, ou seja, T xnk T x, uma contradicao.
81
82
7.5 Corol
ario. Sejam E um espaco reflexivo e F um espaco vetorial normado. Ent
ao T : E F e
compacto se e somente se T e completamente contnuo.
Prova: Pois em espacos reflexivos toda sequencia limitada possui uma subsequencia fracamente convergente.
Se E nao for reflexivo, podemos ter T completamente contnuo sem ser compacto (veja Exerccio 7.2).
Sejam E, F espacos vetoriais normados. Denotaremos o subespaco vetorial dos operadores compactos em
L (E, F ) (veja Exerccio 7.1) por
K (E, F ) = {T L (E, F ) : T e compacto} .
Lembramos que em espacos metricos completos X, um conjunto K X e compacto se e somente se ele for
fechado e totalmente limitado, isto e, se para todo > 0 existir uma cobertura finita de K por bolas de raio
.
7.6 Proposi
c
ao. Seja F um espaco de Banach. Ent
ao K (E, F ) e um subespaco vetorial fechado de
L (E, F ).
Em particular, K (E, F ) e um espaco de Banach.
Prova: Seja {Tn } K (E, F ) tal que Tn T em L (E, F ). Para mostrar que T e compacto, provaremos que
para todo > 0 podemos cobrir T (BE ) por um n
umero finito de bolas de raio ; como F e um espaco metrico
completo, isso sera suficiente para estabelecer que T (BE ) e compacto. Fixe n N tal que kT Tn k < /2.
Como Tn (BE ) e compacto, temos
N
[
Tn (BE )
Byi (/2)
i=1
para alguns y1 , . . . , yn F . Entao, como

kT x yi k 6 kT Tn k kxk + kTn x yi k = kT Tn k + kTn x yi k
para todo x BE e para todo i, segue que
T (BE )
N
[
Byi () .
i=1
7.7 Exemplo. Se E, F sao espacos vetoriais normados, dizemos que um operador linear T : E F tem
posto finito se a imagem R (T ) e um subespaco vetorial de dimensao finita. Claramente, operadores
lineares limitados de posto finito sao operadores compactos.
7.8 Corol
ario. Seja F um espaco de Banach. Se {Tn } e uma sequencia de operadores limitados de posto
finito tal que Tn T em L (E, F ), ent
ao T e um operador compacto.
Se F possuir uma base de Schauder vale a recproca: dado um operador compacto T K (E, F ), existe uma
sequencia de operadores de posto finito {Tn } L (E, F ) tal que Tn T (veja o Exerccio 7.3 para o caso
de espacos de Hilbert). No caso geral, a recproca e falsa (veja [Brezis]).
7.9 Proposi
c
ao. Sejam E, F, G espacos vetoriais normados. Sejam T L (E, F ) e S L (F, G). Se T e
compacto ou se S e compacto, ent
ao S T e compacto.
Prova: Exerccio.
7.2
83
Teoria de Riesz-Fredholm para Operadores Compactos
7.10 Proposi
c
ao. Sejam E, F espacos vetoriais normados. Ent
ao T : E F e compacto se e somente
se T : F E e compacto.
Prova: Suponha que T e compacto. Para mostrar que o operador adjunto T e compacto, mostraremos
que toda sequencia em T (BF ) possui uma subsequencia convergente. Seja {gn } BF . Temos
kgn (y1 ) gn (y2 )k 6 kgn k ky1 y2 k 6 ky1 y2 k
para todos y1 , y2 F , logo {gn } e uma famlia equicontnua limitada de funcionais lineares. Como T (BE )
e compacto, pelo teorema de Arzela-Ascoli existe uma subsequencia {gnk } que converge uniformemente em
T (BE ). Logo,
kT gnk T gnl kE = sup |hT gnk T gnl , xi| = sup |hgnk gnl , T xi| 6
xBE
xBE
sup
yT (BE )
|hgnk gnl , yi| 0
quando k, l , isto e, {T gnk } e uma sequencia de Cauchy no espaco de Banach E , portanto convergente.
Reciprocamente, suponha que T e compacto. Pela primeira parte da demonstracao segue que a adjunta
T e compacta. Note que o diagrama

T
E
F
JE
JF
e comutativo, isto e, JF T = T JE . De fato, para todo x E e para todo g F temos

hJF T x, gi = hg, T xi = hT g, xi = hJE x, T gi = hT JE x, gi .
Em particular, JF (T
(BE )) T (BE ) porque se x BE entao JE x BE e vale JF T x = T JE x. Como
JF e contnua, JF T (BE ) T (BE ). Este u

ltimo e compacto porque T e um operador compacto.
Como JF e uma isometria JF T (BE ) e fechado e portanto compacto; logo, pelo mesmo motivo, T (BE ) e
compacto.
Dado um operador linear T : E F e R, denotaremos
T = I T , T = I T ,
N = ker (T ) , N = ker (T ) ,
R = R (T ) , R = R (T ) .
7.11 Lema. Sejam E um espaco de Banach, T L (E) um operador compacto e R, 6= 0. Ent
ao
(i) N , N s
ao subespacos vetoriais de dimens
ao finita.
(ii) R , R s
ao subespacos vetoriais fechados.
Prova: (i) Como T e limitado, N e fechado. Mas BN 1 T (BE ) pois se T x = x entao x = 1 T x.
Como 1 T (BE ) e compacto (a dilatacao y 7 1 y e um homeomorfismo), segue que o conjunto fechado
BN tambem e compacto. Ja que as bolas unitaria fechadas em espacos vetoriais normados de dimensao
infinita nunca sao compactas, necessariamente dim N < . Em virtude da proposicao anterior, a afirmacao
para N segue analogamente.
(ii) Pelo teorema da imagem fechada de Banach (Teorema 3.19), R e fechado se e somente se R e
fechado. Vamos mostrar que R e fechado.
84
Seja {yn } R tal que yn y. Provaremos que y R . Temos yn = T xn para algum xn E. Seja
dn = dist (xn , N ) .
Como N tem dimensao finita, existe zn N tal que
dist (xn , zn ) = dn .
Defina wn = xn zn , de modo que yn = T wn .
Afirma
c
ao: a sequencia {wn } e limitada.
Suponha por absurdo que uma subsequencia dn = kwn k (mantemos a notacao para nao sobrecarrregala). Seja vn = wn / kwn k. Entao
yn
T vn =
0,
dn
ja que yn y. Como a sequencia {vn } e limitada e T e compacto, a menos de uma subsequencia podemos
assumir que
T vn v,
donde
vn = T vn + T vn v
e
T v = lim T (vn ) = lim T vn = 0,
ou seja, v N . Por outro lado,
dist (vn , N ) =
dist (wn , N )
dist (xn , N )
=
= 1,
kwn k
dn
um absurdo.
Como a sequencia {wn } e limitada e T e compacto, a menos de uma subsequencia podemos assumir que
T wn w.
Em particular,
wn = T wn + T wn = yn + T wn y + w.
Tome
x = 1 (y + w) .
Entao
T x = 1 T [lim (wn )] = 1 lim T (wn ) = lim T wn = w,
donde
y = x w = x T x = T x.
7.12 Teorema. (Alternativa de Fredholm para Operadores Compactos) Sejam E um espaco de Banach,
T L (E) um operador compacto e R, 6= 0. Ent
ao vale:
(i) R = (N ) .
(ii) R = (N ) .
Prova: Segue do lema anterior e do teorema da imagem fechada de Banach (Teorema 3.19).
No que se segue, denotaremos
Nk = ker Tk .
Observe que sempre temos Nk+1 Nk .
85
7.13 Lema. Sejam E um espaco de Banach, T L (E) um operador compacto e R, 6= 0.

Ent
ao existe n N tal que Nk+1 % Nk para todo k < n e Nk+1 = Nk para todo k > n.
Prova: Como
Tk = k I
k
X
(1)
l=1

k kl l
T ,
l
l
segue que Tk = U , onde = k e U = l=1 (1) kl kl T l e um operador compacto, combinacao linear
de operadores compactos. Portanto, segue do Lema 7.11 que Nk tem dimensao finita.
Primeiro observe que se Nk+1 = Nk , entao Nk+2 = Nk . De fato, seja x Nk+2 . Entao Tk+1 (T x) =
k+2
T x = 0, de modo que T x Nk+1 = Nk , ou seja, Tk (T x) = 0 e portanto x Nk+1 = Nk . Por inducao,
segue que se Nk+1 = Nk , entao Nk+l = Nk para todo l N.
Assim, para provar o resultado, basta mostrar que existe n N tal que Nn+1 = Nn . Suponha por
absurdo que Nn+1 % Nn para todo n. Entao existe uma sequencia {xn } E tal que xn Nn+1 , kxn k = 1
e kxn xk > 1/2 para todo x Nn (Corolario 2.18). Se n > m, temos
Pk
Tn (T xn + T xm ) = Tn+1 xn + T Tn xm = 0 + 0 = 0,
logo T xn + T xm Nn . Segue que
1
kT xn T xm k = 1 kxn (T xn + T xm )k
= xn 1 (T xn + T xm )
>
1
,
2
ou seja, {T xn } nao pode possuir subsequencias convergentes, contrariando a compacidade de T , ja que {xn }
e limitada.
7.14 Teorema. Sejam E um espaco de Banach, T L (E) um operador compacto e R, 6= 0.
Ent
ao R = E se e somente se N = 0.
Prova: Suponha R = E. Se N 6= 0, seja x0 N um vetor nao nulo. Usando o fato que R = E podemos
construir uma sequencia {xn } E tal que
T x1 = x0 ,
T x2 = x1 ,
..
.
T xn+1 = xn ,
..
.
Entao Tn xn = x0 6= 0 e Tn+1 xn = T x0 = 0, o que implica Nn+1 6= Nn para todo n, contrariando o lema
anterior.
Reciprocamente, suponha N = 0. Pela alternativa de Fredholm, temos R = E . Como T e compacto,
podemos aplicar a primeira parte deste teorema para concluir que N = 0. Novamente pela alternativa de
Fredholm segue que R = E.
7.15 Lema. Sejam E um espaco vetorial normado e y1 , . . . , yn E linearmente independentes. Ent
ao
existem y1 , . . . , ym E tais que
yi (yj ) = ij
para todos 1 6 i, j 6 n.
86
cj . . . Nn . Afirmamos que
Prova: Denote Ni = ker yi . Seja Mj = N1 . . . N
Mj 6 Nj .
suficiente provar esta afirmacao para j = 1. Suponha por absurdo que M1 N1 . Entao
E
y1 (x) = 0
sempre que y2 (x) = . . . = yn (x) = 0.
Considere a aplicacao linear A : E Rn1 definida por

Ax = (y2 (x) , . . . , yn (x))
e defina um funcional linear g0 : A (E) Rn1 R por
g (Ax) = y1 (x) .
g0 esta bem definido porque se Ax = Ay, entao y2 (x y) = . . . = yn (x y) = 0, logo y1 (x y) = 0.
Estenda g0 a um funcional linear g : Rn1 R. Mas entao g se escreve na forma
g (x2 , . . . , xn ) =
n
X
i xi
i=2
para algumas constantes 2 , . . . , n R. Segue que

y1 (x) = g (y2 (x) , . . . , yn (x)) =
n
X
i yi (x) ,
i=2
contrariando a independencia linear dos funcionais y1 , . . . , yn . Escolhendo zj Mj \Nj , o resultado segue

para
zj
yj =
.
yj (zj )
7.16 Teorema. Sejam E um espaco de Banach, T L (E) um operador compacto e R, 6= 0.

Ent
ao dim N = dim N .
} uma base para N . Pelo teorema de HahnProva: Seja {x1 , . . . , xn } uma base para N e {y1 , . . . , ym
Banach existem x1 , . . . , xn E tais que
xi (xj ) = ij
para todos 1 6 i, j 6 n, enquanto que pelo lema anterior existem y1 , . . . , ym E tais que
yi (yj ) = ij
para todos 1 6 i, j 6 m.
Suponha n < m. Defina
Sx = T x +
n
X
xi (x) yi .
i=1
Como S e uma combinacao linear de operadores compactos, S tambem e compacto. Afirmamos que
ker S = 0.
87
De fato, seja x ker S . Entao Sx = x, ou seja,

T x =
n
X
xi (x) yi .
i=1
Da, como yj N , temos que
0 = T yj , x = yj , T x = xj (x)
para todo j. Em particular, T x = 0, ou seja, x N e portanto x =
n
P
i=1
i xi para alguns escalares
1 , . . . , n R. Mas entao 0 = xi (x) = i para todo i, donde x = 0.

Isso implica pelo Teorema 7.14 que S e sobrejetivo. Em particular, existe x E tal que S x = yn+1 .
Entao, como yn+1

N e yn+1
(y1 ) = . . . = yn+1
(yn ) = 0, segue que
1 = yn+1
(yn+1 ) = yn+1
(S x)
!
n
X
= yn+1 x T x
xi (x) yi
i=1
= yn+1
(T x)
n
X
xi (x) yn+1
(yi )
i=1
= 0,
um absurdo. Portanto dim N > dim N .
Aplicando este resultado a T , conclumos que dim N > dim N , onde N = ker T e T = I T .
Mas dim N > dim N , porque (veja a demonstracao da Proposicao 7.10)
J T = T J,
ou seja, J (N ) N e J e uma isometria. Segue que dim N = dim N .
Os Teoremas 7.12, 7.14 e 7.16 juntos constituem a teoria de Riez-Fredholm para operadores compactos.
7.3
O Espectro de Operadores Compactos
7.17 Defini
c
ao. Seja E um espaco vetorial normado e T L (E). O resolvente de T e o conjunto
(T ) = { R : T e bijetivo} .
O espectro de T e o conjunto
(T ) = R\ (T ) .
O espectro de T contem os autovalores de T , mas podem existir valores em (T ) que nao sao autovalores
de T . Pelo Teorema 7.14, se T e um operador compacto entao o espectro de T coincide com o conjunto
de autovalores de T , com a possvel excecao de = 0. Alem disso, pelo Lema 7.11 cada autoespaco tem
dimensao finita.

7.18 Exemplo. Considere o operador T L `2 definido por
T x = (0, x1 , x2 , . . .)
Entao T e injetivo mas nao e sobrejetivo, logo 0 (T ) mas nao e autovalor de T .
88
Seja E um espaco metrico. Dada uma aplicacao S : E E, dizemos que S e uma contra
c
ao se existe
uma constante C < 1 tal que
dist (Sx, Sy) 6 C dist (x, y)
para todos x, y E.
7.19 Lema. (Teorema do Ponto Fixo de Banach) Sejam E um espaco metrico completo e S : E E uma
contrac
ao. Ent
ao existe um u
nico x E tal que Sx = x.
7.20 Proposi
c
ao. Sejam E um espaco de Banach e T L (E). Ent
ao (T ) e compacto e (T )
[ kT k , kT k].
Prova: Se || > kT k, mostraremos que (T ). De fato, dado y E, defina Sy : E E por
Sy x = 1 (T x + y) .
O operador T ser bijetivo e equivalente a existir um u
nico x E tal que Sy x = x para todo y E. Portanto,
basta verificar que S e uma contracao:
1
kSy x1 Sy x2 k = ||
kT x1 T x2 k 6 ||
kT k kx1 x2 k
e || kT k < 1 por hipotese. Portanto, (T ) [ kT k , kT k].

Para mostrar que (T ) e compacto, basta verificar que ele e fechado, o que e equivalente a mostrar que
(T ) e aberto. Se 0 (T ), dados R e y E, defina Sy : E E por
Sy x = T1
[y ( 0 ) x] .
0
O operador T ser bijetivo e equivalente a existir um u
nico x E tal que Sy x = x para todo y E, pois
Sy x = x e equivalente a
T0 x = y ( 0 ) x,
que equivale
0 x T x = y x + 0 x,
ou
x T x = y.
Mas Sy e uma contracao para todo suficientemente proximo de 0 , independentemente de y, pois
kx1 x2 k .
kSy x1 Sy x2 k = T1
[( 0 ) (x1 x2 )] 6 | 0 | T1
0
0
7.21 Teorema. (Espectro de Operadores Compactos) Sejam E um espaco de Banach e T L (E) um operador compacto. Ent
ao (T ) e finito ou e uma sequencia que possui 0 como u
nico ponto de acumulac
ao.
Em particular, os autovalores n
ao-nulos de T s
ao enumer
aveis e isolados.
Alem disso, se E tem dimens
ao infinita, ent
ao 0 (T ).
Prova: Seja {n } (T ) uma sequencia de n
umeros reais distintos com n . Mostraremos que
= 0. Sem perda de generalidade, podemos assumir n 6= 0 para todo n (ja que isso se cumpre para
todo n suficientemente grande). Como observado antes, e uma consequencia do Teorema 7.14 que n e um
autovalor de T , logo existe en BE tal que T en = n en para todo n. Como os autovalores n sao distintos,
{e1 , . . . , en } e linearmente independente para todo n. Seja En = he1 , . . . , en i, de modo que En $ En+1 e
89
(T n I) En En1 para todo n. Pelo Corolario 2.18, existe xn BEn tal que dist (xn , En1 ) > 1/2 para
todo n. Da, se n 1 > m,
xn
xm
T
= T xn n xn T xm m xm + xn xm
T
n
m
n
m
(T m I) xm
(T n I) xn
+
=
x
m
n
n
m
> dist (xn , En1 )
1
>
2
e portanto {T (xn /n )} nao pode possuir uma subsequencia convergente, contrariando a compacidade de T .
Se dim E = e T e compacto, entao T nao pode ser sobrejetivo (veja Exerccio 7.11).
7.4
Teoria Espectral para Operadores Autoadjuntos Compactos
7.22 Defini
c
ao. Seja H um espaco de Hilbert. Dizemos que uma forma bilinear B : H H H e
limitada se existe uma constante C > 0 tal que
|B (x, y)| 6 C kxk kyk
para todos x, y H.
7.23 Defini
c
ao. Seja H um espaco de Hilbert. Dizemos que uma forma bilinear B : H H H e
coerciva se existe uma constante > 0 tal que
2
B (x, x) > kxk

para todo x H.
O proximo resultado e uma generalizacao do teorema da representacao de Riesz.

7.24 Teorema. (Teorema de Lax-Milgram) Sejam H um espaco de Hilbert e B : H H R uma forma
bilinear limitada e coerciva. Ent
ao para todo f H existe um u
nico z H tal que
f (x) = B (x, z)
para todo x H.
Prova: Fixado y, g (x) = B (x, y) define um funcional linear em H , logo pelo teorema da representacao de
Riesz existe um u
nico T y H tal que
B (x, y) = hx, T yi
para todo x H. Para provar o resultado, pelo teorema de representacao de Riesz basta mostrar que
T : H H e bijetiva. Temos T linear, pois
hx, T (y1 + y2 )i = B (x, y1 + y2 ) = B (x, y1 ) + B (x, y2 )
= hx, T y1 i + hx, T y2 i = hx, T y1 + T y2 i ,
e como
kT yk = hT y, T yi = B (y, T y) 6 C kyk kT yk ,
segue que
kT yk 6 C kyk ,
90
isto e, T e limitado. Alem disso,

2
kyk 6 B (y, y) = hy, T yi 6 kyk kT yk ,

de modo que
kT yk > kyk ,
isto e T e limitada inferiormente e portanto injetiva. Em particular, segue que T (H) e fechado: se T yn z,
entao
kT yn T ym k > kyn ym k
de modo que yn y H e z = T (lim yn ) = T y. Se T (H) 6= H, entao pelo Corolario 6.15 existe
z H\T (H) tal que z T (H). Em particular,
2
0 = hz, T zi = B (z, z) > kzk ,

um absurdo.
Finalmente, se z1 , z2 H sao tais que
B (x, z1 ) = f (x) = B (x, z2 )
para todo x H, entao B (x, z1 z2 ) = 0 para todo x H; em particular
B (z1 z2 , z1 z2 ) = 0
e a coercividade de B implica que z1 = z2 .
7.25 Corol
ario. Sejam H um espaco de Hilbert e B : H H R uma forma bilinear limitada e coerciva.
Se B e simetrica, ent
ao o vetor z H que representa o funcional linear f H dado pelo teorema de
Lax-Milgram e caracterizado por
q (z) = min q (x)
xH
onde q e a forma quadr

atica definida por
q (x) =
1
B (x, x) f (x) .
2
Prova: Veja [Brezis].

7.26 Proposi
c
ao. Sejam H um espaco de Hilbert e T L (H) um operador autoadjunto. Sejam
m = inf hT x, xi =
xBH
M = sup hT x, xi =
xBH
inf
xH\{0}
sup
hT x, xi
2
kxk
hT x, xi
xH\{0}
kxk
Ent
ao (T ) [m, M ]. Alem disso, m, M (T ) e
kT k = max (|m| , |M |) .
Prova: Seja > M . Considere a forma bilinear limitada
B (x, y) = hT x, yi .
Temos
B (x, x) = hT x, xi = hx, xi hT x, xi > ( M ) kxk
91
para todo x H e como M > 0, segue que B e coerciva. Segue do teorema de Lax-Milgram que T e
bijetiva, ou seja, (T ).
Agora mostraremos que M (T ). A forma bilinear limitada
B (x, y) = hTM x, yi
e simetrica, porque M I T e autoadjunta. Alem disso,
B (x, x) > 0
para todo x H, o que significa que a desigualdade de Cauchy-Schwarz vale para a forma bilinear B (veja
a demonstracao da Proposicao 6.2):
1/2
|B (x, y)| 6 B (x, x)
1/2
B (y, y)
Segue que
|hTM x, yi| 6 hTM x, xi
1/2
1/2
hTM y, yi
para todos x, y H. Pelo teorema de representacao de Riesz e pela desigualdade de Cauchy-Schwarz,

kTM xk = khTM x, ikH =
6 hTM x, xi
1/2
6 kTM k
1/2
|hTM x, yi|
kyk
yH\{0}
sup
1/2
hTM y, yi
kyk
yH\{0}
sup
hTM x, xi
1/2
para todo x H. Seja {xn } BH tal que hT xn , xn i M . Entao

1/2
hTM xn , xn i
1/2
(hM xn , xn i hT xn , xn i)
1/2
(M hT xn , xn i)
kTM xn k 6 kTM k
= kTM k
= kTM k
1/2
1/2
1/2
1
e portanto TM nao pode ser invertvel, pois se fosse teramos xn = TM
TM xn 0, um absurdo.
A demonstracao para m segue da demonstracao para M ao considerarmos o operador T .
Finalmente, seja
= max (|m| , |M |) .
Por definicao de m e M e pela desigualdade de Cauchy-Schwarz vale

2
= sup |hT x, xi| 6 sup kT xk kxk 6 sup kT k kxk = kT k .

xBH
xBH
xBH
Para mostrar que kT k 6 , se T = 0 isto e obvio, logo vamos assumir T 6= 0. Seja z H tal que kzk = 1 e
T z 6= 0 e tome
1/2
1/2
v = kT zk z e w = kT zk
T z,
2
de modo que kvk = kwk = kT zk. Tome

y1 = v + w
y2 = v w.
92
Usando o fato que T e autoadjunta, temos que

hT y1 , y1 i hT y2 , y2 i = hT (v + w) , v + wi hT (v w) , v wi
= hT v, vi + hT v, wi + hT w, vi + hT w, wi
(hT v, vi hT v, wi hT w, vi + hT w, wi)
= 2 hT v, wi + 2 hT w, vi
= 2 hT z, T zi + 2 T 2 z, z
= 2 hT z, T zi + 2 hT z, T zi
2
= 4 kT zk .
Por outro lado,
|hT y1 , y1 i hT y2 , y2 i| 6 |hT y1 , y1 i| + |hT y2 , y2 i|
2
2
6 ky1 k + ky2 k
2
2
= 2 kvk + kwk
= 4 kT zk .
Portanto,
4 kT zk 6 4 kT zk ,
donde
> kT zk
para todo z BH , o que implica > kT k.
7.27 Corol
ario. Sejam H um espaco de Hilbert e T L (H) um operador autoadjunto tal que (T ) = {0}.
Ent
ao T = 0.
Prova: Pelo resultado anterior segue que kT k = 0.
7.28 Teorema. (Decomposicao Espectral de Operadores Autoadjuntos Compactos) Sejam H um espaco de
Hilbert separ
avel e T L (H) um operador autoadjunto compacto. Ent
ao os autovetores linearmente
independentes de T formam uma base de Hilbert para H.
Prova: Pelo Teorema 7.21, seja 0 = 0 e {n }nN a sequencia de autovalores nao nulos distintos de T .
Denote E0 = ker T e En = Nn os correspondentes autoespacos; pelo Lema 7.11, cada En , n 6= 0, tem
dimensao finita. Observe que En Em se n 6= m: se x En e y Em entao
n hx, yi = hn x, yi = hT x, yi = hx, T yi = hx, m yi = m hx, yi ;
como n 6= m , segue que
hx, yi = 0.
Mostraremos que
F =
En
n>0

e denso em H. Claramente, T (F ) F . Segue que T F F , pois se x F e y F entao
hT x, yi = hx, T yi = 0.
Podemos assim considerar o operador T |F : F F , que e um operador autoadjunto compacto. Mas
(T |F ) = {0}, pois se (T |F ) \ {0} entao e um autovalor de T em F , um absurdo. Pelo corolario
anterior, segue que T |F = 0, isto e, F = {0}. Tomando um sistema ortonormal completo em cada
subespaco En , a uniao destas bases sera um sistema ortonormal completo para H formado de autovetores
de H.
7.5
93
Aplicac
ao: Problemas de Sturm-Liouville e Operadores Integrais
Nesta secao consideraremos o seguinte problema de valor de fronteira (problema de Sturm-Liouville)
se a < t < b,
x00 + qx = x + f
x (a) + x0 (a) = 0
x (b) + x0 (b) = 0
onde R, q C 0 [a, b], f L2 (a, b) e , , , R sao tais que e nao sao ambos nulos e e nao
sao ambos nulos. Para estudar este problema, definimos o espaco vetorial normado
E = {x C 1 [a, b] : x satisfaz as condicoes de fronteira do problema de Sturm-Liouville,
x0 e absolutamente contnua e x00 L2 (a, b)}
A condicao de x0 ser absolutamente contnua garante que x00 esta definida em quase todo ponto, de modo
que faz sentido falar em x00 L2 (a, b). Defina o operador de Sturm-Liouville L : E L2 (a, b) por
Lx = x00 + qx.
L e um operador linear e existir uma solucao para o problema de Sturm-Liouville e equivalente a f
R (L I). Embora o operador L possa ser considerado um operador limitado atraves de uma escolha
conveniente de norma para E, isso nao ajuda muito. O melhor procedimento e considerar o operador inverso
L1 , que pode ser definido atraves de um operador integral (integracao e a inversa de diferenciacao) que
veremos ser um operador compacto. Para definir L1 , precisamos assumir que L e injetivo (quando L nao
e injetivo, ainda e possvel estudar o problema atraves de uma pequena modificacao: veja o Exerccio 7.19).
Vamos considerar os seguintes espacos vetoriais normados:
Ea = x C 1 [a, b] : x (a) + x0 (a) = 0, x0 e absolutamente contnua e x00 L2 (a, b) ,
Eb = x C 1 [a, b] : x (b) + x0 (b) = 0, x0 e absolutamente contnua e x00 L2 (a, b) .

Claramente, E = Ea Eb . O seguinte resultado vem da teoria de equacoes diferenciais ordinarias e garante
a existencia de solucoes nao nulas para certos problemas com condicoes iniciais:
7.29 Lema. Existem funco
es n
ao nulas xa Ea e xb Eb tais que L (xa ) = 0 e L (xb ) = 0.
Lembre que o Wronskiano de duas funcoes x, y C 1 [a, b] e definido por
x (t) y (t)
Wx,y (t) = det
= x (t) y 0 (t) x0 (t) y (t) .
x0 (t) y 0 (t)
Como
segue que
0
Wx,y
(t) = x (t) y 00 (t) x00 (t) y (t) ,
Wx0 a ,xb (t) = xa (t) x00b (t) x00a (t) xb (t) = xa (t) qxb (t) qxa (t) xb (t) = 0,
ou seja,
Wxa ,xb (t) Wxa ,xb (a) .
7.30 Lema. Se xa Ea e xb Eb s
ao func
oes n
ao nulas que satisfazem L (xa ) = L (xb ) = 0 e L e injetivo,
ent
ao Wxa ,xb (a) 6= 0 consequentemente xa e xb s
ao linearmente independentes.
94
Prova: Se Wxa ,xb (a) = 0, entao as colunas da matriz do Wronskiano sao linearmente dependentes, logo
existe c R tal que xb (a) = cxa (a) e x0b (a) = cx0a (a). Consequentemente, ambos xa , xb E, de modo que
o operador L tem n
ucleo nao trivial, contradizendo o enunciado.
Definimos a func
ao de Green G : [a, b] [a, b] R para o operador L por
1
xa (t) xb (s)
se a 6 t 6 s 6 b,
G (t, s) =
xa (s) xb (t)
se a 6 s 6 t 6 b.
Wxa ,xb (a)
Da definicao de G vemos imediatamente que
7.31 Lema. A funca
o de Green e contnua e simetrica, isto e,
G (t, s) = G (s, t) .
7.32 Lema. Seja RN aberto e F L2 ( ). Ent
ao o operador integral T : L2 () L2 ()
definido por
Z
F (x, y) f (y) dy
(T f ) (x) =
e compacto e
kT k 6 kF kL2 () .
Alem disso, se
F (x, y) = F (y, x) ,
ent
ao T e autoadjunto.
Prova: Em primeiro lugar, vamos verificar que T esta bem definido e e um operador limitado. Se f L2 (),
temos pela desigualdade de Holder e pelo teorema de Fubini
2
Z Z
kT f kL2 () =
F (x, y) f (y) dy dx
Z Z
2
2
6
|F (x, y)| dy
|f (y)| dy dx
Z
Z Z
2
2
=
|f (y)| dy
|F (x, y)| dy dx
Z
2
= kf kL2 ()
|F (x, y)| dydx
= kf kL2 () kF kL2 () .
Para verificar que T e compacto, antes de mais nada observamos que se {en }nN e um sistema ortonormal
completo para L2 (), entao {enm }n,mN definido por
enm (x, y) = en (x) em (y)
e um sistema ortonormal completo para L2 ( ). De fato, pela desigualdade de Holder enm L2 ( )
e pelo teorema de Fubini
Z
henm , ekl iL2 () =
enm (x, y) ekl (x, y) dxdy
Z
=
en (x) em (y) ek (x) el (y) dxdy
Z
Z
=
en (x) ek (x) dx
em (y) el (y) dy
= hen , ek iL2 () hem , el iL2 () ,
95
de modo que henm , ekl iL2 () = nk ml e portanto {enm }n,mN e um sistema ortonormal para L2 ( ).
Agora, seja h (x, y) L2 ( ) satisfazendo hh, enm iL2 () = 0 para todos n, m N. Denotando
hy (x) = h (x, y) ,
pelo teorema de Fubini podemos escrever
Z
hh, enm iL2 () =
h (x, y) enm (x, y) dxdy

Z
Z
hy (x) en (x) dx em (y) dy
=
D
E
= hhy (x) , en (x)iL2 () , em (y) 2 ,
L ()
Portanto,
hhy (x) , en (x)iL2 () = 0
para todo n e para todo y ,
donde hy (x) = 0 para todo y . Isso mostra que {enm }n,mN e um sistema ortonormal completo para
L2 ( ).
Assim, fixando um sistema ortonormal completo {en }nN para L2 (), podemos escrever
F (x, y) =
ij eij (x, y) .
i,j=1
Para cada n N defina o operador limitado de posto finito Tn : L2 () L2 () por
Z
n
X
(Tn f ) (x) =
ij eij (x, y) f (y) dy.
i,j=1
De fato, a continuidade de Tn segue da primeira parte da demonstracao deste teorema e como

(Tn f ) (x) =
n
X
i,j=1
Z
ij
ej (y) f (y) dy ei (x) ,
segue que R (Tn ) he1 , . . . , en i. Para provar que T e compacto, basta entao mostrar que Tn T . Mas,
como vimos na primeira parte da demonstracao deste teorema,
n
X
kT Tn k 6 F (x, y)
ij eij (x, y)
0.
2
i,j=1
L ()
Finalmente, para ver que T e autoadjunto se F (x, y) = F (y, x), pelo teorema de Fubini temos
Z Z
Z
hT f, giL2 () =
F (x, y) f (y) dy g (x) dx =
F (x, y) g (x) f (y) dxdy
Z
Z Z
=
F (y, x) g (x) f (y) dydx =
F (y, x) g (x) dy f (y) dx
= hf, T giL2 () .
96
7.33 Teorema. Assuma L injetivo. Defina o operador integral K : L2 (a, b) L2 (a, b) por
Z
(Kf ) (t) =
G (t, s) f (s) ds.

a
Ent
ao K e um operador autoadjunto compacto, R (K) = E e K = L1 .
Prova: Pelo lema anterior, K e um operador compacto autoadjunto. Seja f L2 (a, b). Mostraremos que
g = Kf E. Defina
Z t
1
ga (t) =
xa (s) f (s) ds,
Wxa ,xb (a) a
Z b
1
gb (t) =
xb (s) f (s) ds,
Wxa ,xb (a) t
de modo que
Z
g (t) =
G (t, s) f (s) ds =
a
"
1
Wxa ,xb (a)
"Z
xa (s) xb (t) f (s) ds +
Wxa ,xb (a)
Z
xa (s) f (s) ds + xa (t)
xa (t) xb (s) f (s) ds

t
xb (t)
xb (s) f (s) ds
t
= ga (t) xb (t) + gb (t) xa (t) ,

isto e,
g = ga xb + gb xa .
Derivando esta expressao obtemos
g 0 = ga0 xb + ga x0b + gb x0a + gb0 xa
1
1
xa f xb + ga x0b + gb x0a +
xb f xa
=
Wxa ,xb (a)
Wxa ,xb (a)
= ga x0b + gb x0a
em quase todo ponto (lembre-se que f L2 (a, b) nao e contnua em geral), o que mostra que g 0 e absolutamente contnua. Mas de fato g 0 = ga x0b + gb x0a em todo ponto, pois se
Z
(t) = g (a) +
a
(ga x0b + gb x0a ) (s) ds,
temos (a) = g (a) e 0 (t) = g 0 (t) em quase todo ponto; logo g = em todo ponto e como C 1 [a, b]
segue que g C 1 [a, b] tambem. Resta provar que g 00 L2 [a, b]. Derivando g 0 = ga x0b + gb x0a obtemos
g 00 = ga0 x0b + ga x00b + gb x00a + gb0 x0a
1
1
=
xa f x0b + ga x00b + gb x00a +
xb f x0a
Wxa ,xb (a)
Wxa ,xb (a)
1
= ga x00b + gb x00a
(xa x0b x0a xb ) f
Wxa ,xb (a)
= ga x00b + gb x00a f.
e cada um dos termos nesta u
ltima expressao e uma funcao em L2 [a, b].
97
Para ver que g satisfaz as condicoes de fronteira do problema de Sturm-Liouville, note que ga (a) = 0 e
xa Ea , logo
g (a) + g 0 (a) = (ga xb + gb xa ) (a) + (ga x0b + gb x0a ) (a)
= gb (a) [xa (a) + x0a (a)]
= 0.
Similarmente, de gb (b) = 0 e xb Eb obtemos g (b) + g 0 (b) = 0.
Para mostrar que L K = I : L2 (a, b) L2 (a, b), seja g = Kf . Entao
Lg = g 00 + qg = (ga x00b + gb x00a f ) + q (ga xb + gb xa )
= f + (x00b + qxb ) ga + (x00a + qxa ) gb
= f + ga Lxb + gb Lxa
= f.
Finalmente, para ver que K L = I : E E, seja x E. Entao Lx L2 (a, b) e pelo que acabamos de
provar segue que LK (Lx) = Lx, ou seja, KLx x ker L = 0. Portanto, KLx = x.
7.34 Lema. Assuma L injetivo. Se (K) \ {0}, ent
ao dim ker K = 1.
Prova: Suponha que x ker K . Isso significa que Kx = x, consequentemente Lx = 1 x. Entao
supondo por absurdo que existem x1 , x2 ker K linearmente independentes, segue que x1 , x2 sao duas
solucoes linearmente independentes da equacao diferencial de segunda ordem linear
x00 + qx = 1 x,
portanto toda solucao desta equacao e combinacao linear de x1 , x2 . Por outro lado, x1 , x2 E, logo qualquer
combinacao linear de x1 , x2 satisfaz as mesmas condicoes de fronteira que x1 , x2 satisfazem, em particular
em t = a. Mas uma solucao para a equacao diferencial pode ser encontrada para qualquer outra condicao
inicial diferente em t = a, contradicao.
7.35 Teorema. Assuma L injetivo. Ent
ao existe uma sequencia {n }nN R e um sistema ortonormal
completo {en }nN para L2 (a, b) tais que
(i) 0 < |1 | < |2 | < . . . e |n | .
(ii) en E e Len = n en .
(iii) Se 6= n para todo n e f L2 (a, b), ent
ao existe um u
nico x E tal que Lx = x + f.
(iv) Se f L2 (a, b), ent
ao existe x E tal que Lx = n x + f se e somente se hf, en i = 0. Neste
caso, se x1 , x2 s
ao duas soluc
oes de Lx = n x + f , ent
ao x1 = x2 + cen para algum c R.
Prova: Segue do Teorema 7..3, da teoria de Riesz-Fredholm e da teoria espectral para operadores autoadjuntos compactos desenvolvida neste captulo, bem como do lema anterior.
7.6
Exerccios
7.1 Prove que se E, F sao espacos vetoriais normados, entao K (E, F ) e um subespaco vetorial de L (E, F ).
7.2 Mostre que o operador inclusao C 0 ([0, 1]) , L2 ([0, 1]), quando estes espacos sao dotados de suas
normas usuais, e completamente contnuo mas nao e compacto.
7.3 Seja H um espaco de Hilbert. Prove que para todo operador compacto T : H H existe uma
sequencia Tn L (H) de operadores com posto finito tal que Tn T . (Sugestao: use o teorema da
projecao.)
98

7.4 Mostre que a sequencia de operadores limitados {Tn } L `2 de posto finito definidos por
Tn x = (x1 , . . . , xn , 0, . . .)
converge puntualmente para um operador limitado que nao e compacto.
7.5 Mostre que os seguintes operadores sao compactos:
a) T : `2 `2 definido por
x2
xn
T x = x1 ,
...,
,... .
2
n
b) T : `2 `2 definido por
Tx =
x2
xn
..., n,... .
2
2 2
2
1
c) T : `p `p , 1 6 p < , definido por
x2
xn
T x = x1 ,
...,
,... .
2
n
d) T : ` ` definido por
x2
xn
T x = x1 ,
...,
,... .
2
n
7.6 Sejam H um espaco de Hilbert, {en }nN um sistema ortonormal completo para H e {n }nN R uma
sequencia de n
umeros reais tal que n 0. Defina um operador T : H H por
Tx =
n hx, en i en .
n=1
Mostre que T e um operador compacto.

7.7 Sejam H um espaco de Hilbert, {en }nN um sistema ortonormal completo para H, F um espaco de
P
2
Banach e T : H F um operador limitado. Mostre que se
kT en k e uma serie convergente,
n=1
ent
ao T e um operador compacto.
7.8 Seja E = f C 2 ([0, 1]) : f (0) = f 0 (0) = 0 e considere o operador T : E C 0 ([0, 1]) definido por
T f = f 00 . Mostre que T 1 : C 2 ([0, 1]) L2 ([0, 1]) e um operador compacto.
7.9 Sejam E um espaco reflexivo, F um espaco vetorial normado e T : E F um operador linear compacto.
Mostre que T (BE ) e compacto.
7.10 Defina T : C 0 ([1, 1]) C 0 ([1, 1]) por
Z
(T f ) (x) =
tf (t) dt.
1
Mostre que T e um operador compacto mas T BC 0 ([1,1]) nao e compacto.

7.11 Sejam E, F espacos de Banach e T : E F um operador linear compacto. Mostre que se F tem
dimensao infinita, entao T nao pode ser sobrejetivo. Conclua que se R (T ) e fechado, entao R (T ) tem
dimensao finita.
7.12 Sejam E, F espacos vetoriais normados com dim E = e T : E F um operador linear compacto.
Mostre que existe uma sequencia {xn }nN E tal que kxn k = 1 para todo n e T xn 0.
99
7.13 Seja H um espaco de Hilbert e T : H H um operador linear compacto. Mostre que existe x 6= 0
tal que
kT xk = kT k kxk .
7.14 Sejam E um espaco reflexivo e F um espaco de Banach com a propriedade que toda sequencia que
satisfaz yn * 0 satisfaz yn 0. Mostre que se T : E F e um operador linear limitado, entao T
e compacto.
7.15 Sejam E, F espacos vetoriais normados. Um operador linear T : E F que leva sequencias limitadas
em E em sequencias que possuem sequencias fracamente convergentes em F e chamado um operador
fracamente compacto.
a) Mostre que operadores fracamente compactos sao limitados.
b) Mostre que se E ou F e reflexivo, entao todo operador limitado e fracamente compacto.
7.16 Sejam E, F espacos vetoriais normados e T : E F um operador linear compacto. Mostre que R (T )
e separavel.
7.17 Mostre que toda forma bilinear limitada e contnua.
7.18 Sejam H um espaco de Hilbert separavel, T L (H) um operador autoadjunto compacto, {n }nN a
sequencia de autovalores nao nulos distintos de T e {en }nN a correspondente sequencia de autovetores
ortonormais. Mostre que
X
X
Tx =
hT x, en i en =
n hx, en i en .
n=1
n=1
7.19 Neste exerccio estudaremos o problema de Sturm-Liouville sem assumir que o operador L e injetivo.
Assumiremos a notacao da secao deste captulo que trata do problema de Sturm-Liouville.
a) Sejam x, y C 1 [a, b] tais que x0 , y 0 e absolutamente contnua e x00 , y 00 L2 (a, b). Entao
Z
(x00 y xy 00 ) = [x0 (b) y (b) x (b) y 0 (b)] [x0 (a) y (a) x (a) y 0 (a)] .
b) Se x, y E, entao hLx, yi = hx, Lyi .

c) Se x, y E, , R, com 6= , e x ker L , y ker L , entao x y.
d) Mostre que existe R tal que ker L = 0. Assim, substituindo a funcao q pela funcao q ,
ainda valem as conclusoes do Teorema 7.35.
Captulo 8
Espacos de Sobolev e Equac

ao de
Laplace
8.1
O Princpio de Dirichlet
Considere o problema de Dirichlet para a equacao de Laplace:
u = f
em ,
u=g
sobre ,
(8.1)
para funcoes f, g dadas. O princpio de Dirichlet afirma que podemos encontrar a solucao para o problema
acima encontrando a funcao que minimiza um funcional de energia apropriado:

8.1 Proposi
c
ao. (Princpio de Dirichlet) Suponha que u C 2 () C 0 satisfaz u = g sobre e
I (u) = min I (v)
vE
onde E = v C 2 () C 0 : v = g sobre e
Z
Z
1
2
I (v) =
|v| +
f v.
2
Ent
ao u e uma soluc
ao de (8.1).
Prova: Seja C0 (). Por hipotese, a funcao : R R definida por
(t) = I (u + t)
possui um mnimo em t = 0, porque u + t = g em . Expandindo esta expressao, obtemos
Z
Z
Z
Z
Z
1
t2
2
2
(t) =
|u| + t
u +
|| +
fu + t
f .
2
2
Em particular, e diferenciavel e
Z
0 (t) =
Z
2
u + t
|| +
f .
Como 0 (0) = 0, segue que

Z
Z
u =
para todo C0 () .
100
101
Integrando esta equacao por partes, isto e, usando a primeira identidade de Green
Z
Z
Z
u
u =
u,
obtemos
Z
u =
para todo C0 () ,
o que implica
u = f
em .
O princpio de Dirichlet sugere entao que para resolver o problema de Dirichlet para a equacao de Poisson
basta encontrar a funcao que minimiza o funcional (às vezes chamado funcional ou integral de Dirichlet)
Z
Z
1
2
I (u) =
|u| +
fu
2
na classe de funcoes de classe C 2 em que satisfazem a condicao de fronteira especificada. No entanto,

nao esta claro que o funcional de Dirichlet assume o seu nfimo nesta classe de funcoes. Esta constitui
a dificuldade principal em se aplicar este metodo variacional para encontrar a solucao do problema de
Dirichlet. Talvez fosse melhor tentar minimizar o funcional de Dirichlet em um espaco maior de funcoes
para aumentar as chances de obter um minimizante naquele espaco. Se formos usar esta estrategia, no
entanto, a nova dificuldade passa a ser mostrar que o minimizante obtido e de classe C 2 em , satisfazendo
os nossos criterios de solucao para o problema de Dirichlet. Por exemplo, o funcional de Dirichlet esta bem
definido para funcoes em C 1 (), que e uma classe maior de funcoes que C 2 (), logo faz sentido procurar um
minimizante para o funcional em C 1 () (embora nada indique que seja mais facil encontra-lo neste espaco
do que no espaco C 2 ()); por outro lado, mesmo que encontremos um minimizante em C 1 (), e necessario
provar que ele esta tambem em C 2 (). Assim, o que determinara a escolha da estrategia e saber o que e mais
facil: encontrar o minimizante em um espaco maior W e provar a regularidade C 2 () deste minimizante, ou
encontrar diretamente o minimizante no espaco C 2 ()? A experiencia mostra que a primeira estrategia e
mais promissora. Define-se um espaco de Sobolev W01,2 (), que e um subespaco de L2 () onde o funcional
de Dirichlet esta bem definido. W01,2 () e um espaco de Hilbert e tem belas propriedades de compacidade,
o que facilita bastante provar a existencia de um minimizante para o funcional de Dirichlet. Alem disso
W01,2 () contem C 2 () e, atraves da consideracao de outros espacos de Sobolev de definicao analoga, e
possvel provar a regularidade do minimizante encontrado usando certos resultados de imersao.
8.2
A Derivada Fraca
Vemos que o termo quadratico do funcional de Dirichlet esta bem definido para funcoes u que tem apenas
derivadas parciais de primeira ordem definidas em quase todo ponto e que estao em L2 (); alem disso, o
termo linear esta bem definido para funcoes u L2 () desde que f L2 () tambem. Esta percepcao nos
leva a tentar definir um conceito mais abrangente de derivada.
8.2.1
Defini
c
ao
Seja um aberto de Rn . Suponha que u C 1 () e uma funcao real continuamente diferenciavel. Se

C0 () e uma funcao suave com suporte compacto em , segue da formula de integracao por partes
Z
Z
Z
u
v
v=
uv i
u
x
x
i
i
102
que
Z
u (i ) =
(i u)
(8.2)
para i = 1, . . . , n (aqui denotamos por i a derivada parcial de primeira ordem /xi ) Nao ha termos de
fronteira exatamente porque tem suporte compacto em .
8.2 Defini
c
ao. Seja Rn um subconjunto aberto e u L1loc (). Dizemos que uma funcao vi L1loc ()
e a derivada parcial fraca de u em relacao a xi , se
Z
Z
u(i ) =
vi ,
(8.3)
para toda
C0 ().
Neste caso, denotaremos

vi = i u.
(8.4)
Dizemos que u e fracamente diferenci

avel se todas as derivadas parciais fracas de primeira ordem
de u existirem. O espaco vetorial das funcoes fracamente diferenciaveis sera denotado por W k ().
Quando existe, vi e u
nicamente determinada a menos de conjuntos de medida nula. Claramente C 1 ()
1
W (): o conceito de derivada fraca e uma extensao do conceito classico de derivada que mantem a validade
da formula de integracao por partes.
8.3 Exemplo. Sejam n = 1, = (0, 2) e
u(x) =
Entao, se
v(x) =
x
1
se 0 < x 6 1,
se 1 6 x < 2.
1
0
se 0 < x 6 1,
se 1 6 x < 2,
temos u0 (x) = v(x). De fato, dada C0 ((0, 2)), temos

Z 2
Z 1
Z 2
Z
u0 =
x +
0 = (1) 0
0
+ 0 (1)
v.
0
8.4 Exemplo. Por outro lado, se n = 1, = (0, 2) e
x
u(x) =
2
se 0 < x 6 1,
se 1 < x < 2,
entao u nao possui uma derivada fraca. Com efeito, suponha por absurdo que exista uma funcao
v L1loc ((0, 2)) satisfazendo
Z 2
Z 2
u0 =
v ,
0
para toda C0 ((0, 2)). Entao

Z 2
Z
v =
0
Z
0
x + 2
0
= (1) 0
1
= (1)
,
0
Z
0
+ 0 2(1)
0
103
ou seja,
(1) =
+
0
v.
0
para toda C0 ((0, 2)). Escolhendo uma seq

uencia de funcoes-teste (m ) C0 ((0, 2)) satisfazendo
m (1) = 1, 0 6 m 6 1 e m (x) 0 para todo x 6= 1, obtemos atraves do teorema da convergencia
dominada de Lebesgue que
Z 1
Z 2
1 = lim m (1) = lim
m +
vm = 0,
m
uma contradicao.
Estes exemplos nao sao acidentais. Conforme veremos daqui a pouco, uma funcao real em uma variavel real
possui uma derivada fraca se e somente se ela for absolutamente contnua; lembre-se que neste caso ela e
diferenci
avel no sentido classico em quase todo ponto. Uma caracterizacao completa das funcoes fracamente
diferenci
aveis, especialmente suas propriedades no que se refere à diferenciabilidade classica, sera considerada
apos um resultado de aproximacao.
8.2.2
Um Teorema de Aproxima
c
ao para Fun
c
oes Fracamente Diferenci
aveis
Para estabelecer algumas das propriedades basicas das funcoes fracamente diferenciaveis e conveniente
aproxim
a-las por suas regularizacoes.
8.5 Defini
c
ao. Uma
c
ao suavizante e uma funcao nao-negativa C0 (Rn ) com supp = B1 (0) e
R fun
satisfazendo Rn (x) dx = 1.
O exemplo tpico de funcao suavizante e a funcao
(
1
ce |x|2 1
(x) =
0
onde a constante c e escolhida de forma que tenhamos
se |x| < 1,
se |x| > 1,
R
Rn
(x) dx = 1.
8.6 Defini
c
ao. Considere u L1loc (Rn ). Dado > 0, a regulariza
c
ao u de u e definida como sendo a
convolucao
Z
1
xy
u (x) = n
u(y) dy.
(8.5)
Rn
xy
Observe que supp
= B (x). Se Rn e um aberto e u L1loc (), estendemos u como valendo
0 fora de de forma a aplicar a definicao acima, mas mesmo assim a funcao u pode nao estar definida
para todo x , ja que u e apenas localmente integravel em (o que significa que u e integravel apenas
em vizinhancas compactas de ). Para uma tal funcao, a regularizacao u esta definida em x apenas
para aqueles tais que < dist(x, ); u nao esta definida em todo o aberto se u e apenas localmente
integravel em .
Uma das propriedades principais da regularizacao u de u e ser uma funcao suave onde estiver definida.
De fato, se u L1loc (), dado 0 e 0 < < dist(0 , ) temos para qualquer multi-ndice

Z
xy
1
D
u(y) dy
D u (x) = n

para todo x 0 ; ou seja, u C (0 ). Assim, se u L1 (), de modo que u esta definida em todo o
aberto para qualquer > 0, segue que u C () para qualquer > 0; se, alem disso, for limitado,
104
entao u C0 (Rn ) para qualquer > 0. Finalmente, se supp u e < dist(supp u, ), entao u
C0 () tambem.
A propriedade essencial das regularizac
oes de uma funcao u, o que justifica o seu uso, e serem aproximacoes
de u na topologia natural do espaco em que u se encontra, em particular para os espacos Lp . Apenas devemos
observar que os espacos Lploc () nao sao espacos vetoriais normados, mas possuem uma topologia definida
da seguinte maneira: dizemos que uma seq
uencia {um } Lploc () converge para u na topologia de Lploc ()
se um u em Lp (0 ) para todo aberto 0 .
8.7 Lema. Se u Lploc () [resp. Lp (), se e um aberto limitado], ent
ao u u em Lploc () [resp.
p
L (), se e um aberto limitado] quando 0.
Prova: Pela desigualdade de Holder, para qualquer funcao w Lploc () nos temos
Z
Z
! p1
! p1
Z
p
p
p1 p1
1
p
p
(z)w(x z) dz 6
|w (x)| =
(z)
dz
(z)w(x z) dz
B1 (0)
B1 (0)
B1 (0)
! p1
! p1
Z
Z
p
=
(z) dz
(z) |w(x z)| dz
B1 (0)
B1 (0)
! p1
p
(z) |w(x z)| dz
B1 (0)
portanto, se 0 e < dist(0 , )/2, segue do Teorema de Fubini que

!
Z
Z
Z Z
Z
p
p
|w (x)| dx 6
(z) |w(x z)| dz dx =
(z)
0
B1 (0)
Z
6
(z)
|w(y)| dy
dz
B1 (0)
!
p
|w(x z)| dx
dz
B (0 )
B1 (0)
|w| ,
B (0 )
onde B (0 ) = {x Rn : dist (x, 0 ) < } e a vizinhanca de 0 . Em outras palavras, nos provamos que
para qualquer funcao w Lploc () vale
kw kLp (0 ) 6 kwkLp (B (0 )) .
Agora, aproxime u em B (0 ). Mais precisamente, dado > 0, seja v C 0 (B (0 )) tal que
ku vkLp (B (0 )) <
.
3
Pelo resultado que acabamos de obter, chamando w = u v nos tambem temos (pois (u v) = u v ) que
ku v kLp (0 ) 6 ku vkLp (B (0 )) <
.
3
Como v v uniformemente em B (0 ), se e suficientemente pequeno nos temos

kv v kLp (0 ) <
.
3
Segue que
ku u kLp (0 ) 6 ku vkLp (0 ) + kv v kLp (0 ) + ku v kLp (0 ) < .
Para provar o resultado se u Lp (), quando e um aberto limitado, estendemos u como sendo 0 fora
de e aplicamos o resultado acima para u Lploc (Rn ).
105
8.8 Lema. Sejam u L1loc (), 1 6 i 6 n, e suponha que i u existe. Ent

ao
i u (x) = (i u) (x)
(8.6)
para todo x = {y : dist(y, ) > }.

Prova: Observe que
xy
.
xy
Derivando sob o sinal de integral, como para x a funcao
C0 (), podemos usar a definicao
de derivada fraca para obter
Z
(1)||
x y
i u (x) =
u(y) dy
n
yi
Z
x y u
1
(y) dy
= n

yi
xi
xy
= (1)
yi
= (i u) (x).
Observe que, mesmo que tenhamos u L1 () e i u L1 () (e, conseq

uentemente, u L1 () e (i u)
1
L () pelo
Lema 8.8)
nao podemos concluir que i u (x) = (i u) (x) para todo x , ja que para x \
xy
a funcao
/ C0 () e portanto nao podemos usar a definicao de derivada fraca.
Agora estamos em condicoes de provar o seguinte teorema basico de aproximacao para derivadas fracas.
8.9 Teorema. Sejam u, v L1loc (). Ent
ao v = i u se e somente se existe uma seq
uencia de funco
es
(um ) C 1 () tal que um u em L1loc () e i um v em L1loc ().
Prova: Suponha que existe uma seq
uencia de funcoes (um ) C k () satisfazendo um u em L1loc () e
i um v em L1loc (). Entao, para toda C0 (), temos
Z
Z
Z
Z
u(i ) dx = lim
um (i ) dx = lim
(i um ) dx =
v dx,
e portanto v = i u.
Agora assuma v = i u. Temos entao u u em L1loc () e (i u) i u = v em L1loc (), quando 0.
Como (i u) = i u , segue a recproca.
8.2.3
Caracteriza
c
ao das Fun
c
oes Fracamente Diferenci
aveis
Em geral, temos a seguinte caracterizacao das funcoes fracamente diferenciaveis, que tem como conseq
uencia
o fato de que as derivadas parciais de uma funcao fracamente diferenciavel existem em quase todo ponto.
avel se e somente se ela e igual, a menos
8.10 Teorema. Uma funca
o u L1loc () e fracamente diferenci
de um conjunto de medida nula, a uma func
ao que
(i) e absolutamente contnua em quase todos os segmentos em paralelos aos eixos coordenados e
(ii) as derivadas parciais (cl
assicas) de primeira ordem de u s
ao localmente integr
aveis.
Prova: Assuma primeiro u W 1 (). Obviamente, pela definicao de funcao fracamente diferenciavel,
temos i u L1loc () para i = 1, ..., n. Tome um bloco retangular R = [a1 , b1 ] ... [an , bn ] e fixe
uma coordenada i. Escrevemos um ponto x R na forma x = (x0 , xi ), onde x0 Rn1 e xi [ai , bi ];
106
\
denotaremos tambem R0 = [a1 , b1 ] ... [a
i , bi ] ... [an , bn ]. Temos que provar que para quase todo
0
0
0
x R a funcao u(x , ) e absolutamente contnua em [ai , bi ]. Pelo Teorema 8.8, existe uma seq
uencia de
funcoes (um ) C () satisfazendo um u e i um i u em L1loc () para todo i. Pelo Teorema de Fubini,
podemos entao escrever para quase todo x0 R0
#
Z "Z bi
Z
0
0
0
|um (x , xi ) u(x , xi )| dxi dx =
|um (x) u(x)| dx 0
(8.7)
R0
Z
R0
"Z
ai
bi
|i um (x0 , xi ) i u(x0 , xi )| dxi dx0 =
ai
|i um (x) i u(x)| dx 0
(8.8)
quando m . Como convergencia em L1 implica convergencia q.t.p. a menos de uma subseq

uencia,
podemos assumir que
Z bi
|um (x0 , xi ) u(x0 , xi )| dxi 0
(8.9)
Z
ai
bi
|i um (x0 , xi ) i u(x0 , xi )| dxi 0
(8.10)
ai
Rb
para quase todo x0 R0 (por exemplo, definindo Fm (x0 ) = aii |um (x0 , xi ) u(x0 , xi )| dxi , temos por (8.7)
que Fm 0 em L1 (R0 )). Em outras palavras, para quase todo x0 R0 , temos que um (x0 , ) u(x0 , ) em
L1 ([ai , bi ]) e i um (x0 , ) i u(x0 , ) em L1 ([ai , bi ]). Fixe qualquer um x0 com esta propriedade.
Verificaremos agora que a seq
uencia {um (x0 , )} cumpre as condicoes do Teorema de Arzelà-Ascoli. De
fato, como as funcoes um sao pelo menos continuamente diferenciaveis, nos temos que, dado > 0, existe
N N tal que para todo t [ai , bi ] e m > N vale
Z t
0
0
0
|um (x , t) um (x , ai )| =
i um (x , xi ) dxi
Z
ai
bi
6
Z
ai
bi
<
|i um (x0 , xi )| dxi
|i um (x0 , xi )| dxi + .
ai
Logo, a seq
uencia {um (x0 , )} e uniformemente limitada em [ai , bi ]. Alem disso, a seq
uencia {um (x0 , )}
tambem e uniformemente absolutamente eq
uicontnua, porque a convergencia de uma seq
uencia em L1 ([ai , bi ])
implica que a seq
uencia e uniformemente integravel: dado > 0, existe > 0 tal que para todo m N
Z
|i um (x0 , xi )| dxi <
E
para qualquer conjunto E [ai , bi ] satisfazendo |E| < ; assim, se |t s| < , segue que
Z t
0
0
|um (x , t) um (x , s)| 6
|i um (x0 , xi )| dxi <
s
para todo m N. Segue do Teorema de Arzelà-Ascoli que um (x0 , ) converge uniformemente em [ai , bi ] para
uma funcao absolutamente contnua que coincide em quase todo ponto com u.
Suponha agora que u e absolutamente contnua em quase todos os segmentos de reta em paralelos
aos eixos coordenados e que as primeiras derivadas parciais de u sao localmente integraveis. Entao isso vale
tambem para u para toda C0 (), logo temos
Z
Z
u (i ) dx = (i u) dx
L
107
em quase todo segmento de reta L paralelo ao i-esimo eixo coordenado cujos extremos estao em \ supp .
Pelo Teorema de Fubini, segue que
Z
Z
u (i ) dx =
(i u) dx,
e portanto u W 1 ().
8.11 Corol
ario. Seja u W 1 (). Se u = 0 q.t.p. em algum subconjunto conexo de , ent
ao u e
constante neste subconjunto.
8.2.4
Regra do Produto e Regra da Cadeia
8.12 Proposi
c
ao. (Regra do Produto) Se C0 () e u W 1,p (), ent
ao u W 1,p () e
i (u) = (i ) u + (i u) .
Prova: Para todo C0 (), usando a regra do produto para funcoes diferenciaveis no sentido classico e
a definicao de derivada fraca (pois C0 ()), temos
Z
Z
Z
(u)(i ) dx =
u[(i )] dx =
u[i () (i )] dx
Z
Z
= (i u) dx
u(i ) dx
Z
= [(i u) + u(i )] dx.
Sob hipoteses razoaveis, a regra da cadeia vale para funcoes fracamente diferenciaveis.
8.13 Proposi
c
ao. Sejam f C 1 (R), f 0 L (R) e u W 1 (). Ent
ao a func
ao composta f u W 1 ()
e
(f u) = f 0 (u)u.
Prova: Pelo Teorema 8.10, para provar este resultado basta encontrar uma seq
uencia de funcoes continuamente diferenciaveis convergindo para f u em L1loc (), tais que suas derivadas convergem para f 0 (u)i u em
L1loc (). Em vista do mesmo teorema, como u W 1 (), sabemos que existe uma seq
uencia (um ) C 1 ()
1
0
tal que um u e i um i u em Lloc () para todo i. Entao, se , nos temos
Z
Z
0
|f (um ) f (u)| 6 sup |f |
|um u| 0
0
quando m , ou seja, f um f u em L1loc (). Pela regra da cadeia para funcoes diferenciaveis
i (f um ) = f 0 (um )i um e nos temos
Z
Z
Z
|f 0 (um )i um f 0 (u)i u| 6 sup |f 0 |
|i um i u| +
|f 0 (um ) f 0 (u)| |i u| .
0
A primeira integral do lado direito desta desigualdade converge para 0 porque i um i u em L1loc ().
Passando a uma subseq
uencia, se necessario, podemos assumir que um u q.t.p. em ; como f 0 e contnua,
segue que f 0 (um ) f 0 (u) q.t.p. em . Como |f 0 (um ) f 0 (u)| |i u| 6 2 sup |f 0 | |i u| L1 (0 ), segue
do teorema da convergencia dominada que a segunda integral tambem converge para 0 e portanto que
i (f um ) f 0 (u)i u em L1loc ().
108
As partes positiva e negativa de uma funcao sao as funcoes definidas respectivamente por
u+ (x) = max{u(x), 0}
Segue que
u = u+ + u
u (x) = min{u(x), 0}.
e
e
|u| = u+ u .
8.14 Proposi
c
ao. Seja u W 1 (). Ent
ao u+ , u , |u| W 1 () e
u(x)
se u(x) > 0,
+
u (x) =
0
se u(x) 6 0,
0
se u(x) > 0,
u (x) =
u(x)
se u(x) < 0,
se u(x) > 0,
u(x)
0
se u(x) = 0,
|u| (x) =
u(x)
se u(x) < 0.
Prova: Para cada > 0 defina

f (t) =
Entao
t2 + 2
se t > 0,
se t 6 0.
t
f0 (t) =
t2 + 2
0
se t > 0,
se t 6 0.
de modo que f C 1 (R) e f0 L (R). Segue do lema anterior que para toda C0 () nos temos
Z
Z
u
f (u)i dx =
i u dx.
2
u + 2
Fazendo 0, segue do teorema da convergencia dominada (pois 0 6 f (u) 6 u+ e 0 6 f0 (u) 6 1) que

Z
Z
+
u i dx =
i u dx,
e portanto o lema e provado para u+ . Os outros resultados seguem imediatamente de u = (u)+ e

|u| = u+ u .
8.15 Corol
ario. Seja u W 1 (). Se u e constante q.t.p. em algum subconjunto de , ent
ao u = 0 neste
subconjunto.
Prova: Sem perda de generalidade, podemos assumir u 0 neste subconjunto. O resultado segue entao
imediatamente de u = u+ + u .
8.16 Corol
ario. Seja u W 1 (). Ent
ao
| |u|| = |u| .
8.3
109
Espacos de Sobolev
Seja um aberto de Rn e p > 1. No que se segue convencionaremos denotar

0 u = u.
co de Sobolev W 1,p () como sendo o espaco vetorial normado
8.17 Defini
c
ao. Definimos o espa
W 1,p () = {u Lp () : i u Lp () para todo i = 0, 1, . . . , n}
com a norma
kukW 1,p () =
!1/p
n Z
X
|i u|
i=0
que e equivalente à norma

kukW 1,p () =
n Z
X
i=0
Definimos ainda
1/p
|i u|
n
X
ki ukLp () .
i=0
W01,p () = fecho de C0 () em W 1,p ().
avel se 1 6 p < , e reflexivo e uniformemente

8.18 Teorema. W 1,p () e um espaco de Banach, separ
convexo se 1 < p < .
W 1,2 () e um espaco de Hilbert com o produto interno
hu, viW 1,2 () =
n
X
hi u, i viL2 () .
i=0
Todas estas conclus

oes valem para W01,p ().
Prova: Seja {um } W 1,p () uma seq
uencia de Cauchy. Entao, para cada i, {i um } e uma seq
uencia de
Cauchy em Lp (); como Lp () e um espaco de Banach, para cada i existem funcoes vi Lp () tais que
i um vi
em Lp ().
Denote u := v0 , de modo que um u em Lp (). Para provar que W 1,p () e um espaco de Banach, basta
entao provar que i u = vi para todo i, pois isso automaticamente implicara por definicao que u W 1,p ()
e que um u em W 1,p (). E, de fato, como convergencia em Lp () implica em convergencia em L1loc (),
temos para toda C0 ()
Z
Z
Z
Z
u(i ) dx = lim
um (i ) dx = lim
(i um ) dx =
vi dx.
Para provar a separabilidade e a reflexividade (quando p > 1) de W

natural de W 1,p () em n + 1 copias de Lp ():
1,p
(), basta considerar a imersao
W 1,p () , Lp () ... Lp ()
|
{z
}
n+1 vezes
u 7 (i u)06i6n
e usar o fato de que produtos finitos e subespacos fechados de espacos de Banach separaveis [resp. reflexivos;
resp. uniformemente convexos] sao tambem separaveis [resp. reflexivos; resp. uniformemente convexos].
8.19 Teorema. Seja um aberto de classe C 1 . Ent
ao C () W 1,p () e denso em W 1,p ().
Prova: Veja [Adams].
8.4
110
Caracterizac
ao dos Espacos W01,p ()
As funcoes u W01,p () sao, a grosso modo, as funcoes u W 1,p () que se anulam na fronteira . E
necessario dar um sentido preciso a esta nocao, ja que as funcoes em W 1,p () sao definidas somente a menos
de conjuntos de medida nula e a fronteira e um conjunto de medida nula.
ao u W01,p ().
8.20 Lema. Se u W 1,p () satisfaz supp u , ent
Prova: Seja 0 um aberto de classe C 1 tal que supp u 0 . Escolha uma funcao corte C0 (0 )
tal que 1 em supp u; logo, u = u. Pelo Teorema 8.19, existe uma seq
uencia de funcoes (um ) C0 (Rn )
1,p
1,p
tal que um | u em W (). Logo um u em W () e portanto u = u W01,p ().
8.21 Teorema. Seja um aberto de classe C 1 . Se u W 1,p () C(), ent
ao u W01,p () se e somente
se u = 0 em .
Prova: Suponha que u = 0 em . Para obter uma seq
uencia de funcoes em W01,p () que converge para
1,p
u em W (), assuma inicialmente que supp u e limitado. Fixe uma funcao f C 1 (R) tal que |f (t)| 6 |t|
para todo t R e
0
se |t| 6 1,
f (t) =
t
se |t| > 2,
e defina a seq
uencia de funcoes
uj =
1
f (ju).
j
(8.11)
Pela regra da cadeia uj W 1,p () e pelo teorema da convergencia dominada temos que uj u em W 1,p ().
Com efeito, uj (x) u(x) para todo x , porque se u(x) = 0, entao uj (x) = 0 para todo j, e se u(x) 6= 0,
1
entao uj (x) = ju(x) = u(x) para todo j suficientemente grande; alem disso,
j
|uj (x)| =
1
1
|f (ju (x))| 6 |ju (x)| = |u (x)| Lp ().
j
j
Isso prova que uj u em Lp (). Analogamente, i uj (x) i u(x) q.t.p. em , pois i uj (x) =
f 0 (ju(x))i u(x) e f 0 (ju(x)) = 1 se u(x) 6= 0, para todo j suficientemente grande, enquanto que f 0 (ju(x)) = 0
se u(x) = 0, mas o conjunto dos pontos x tais que u(x) = 0 e i u(x) 6= 0 tem medida nula (Corolario
8.15). Finalmente, |i uj (x)| 6 (supR |f |) |i u(x)| Lp (), o que prova que i uj i u em Lp () para todo
ndice i. Como supp uj {x : |u(x)| > 1/j} supp u , segue do lema anterior que uj W01,p ()
e, portanto, u W01,p ().
x
Se supp u nao e limitado, consideramos os truncamentos k u, onde k e definida por k (x) =
para
k
uma funcao C0 (R) que satisfaz 0 6 6 1 e
1
se |x| 6 1,
(x) =
0
se |x| > 2.
Os truncamentos k u possuem suporte limitado, logo podemos aplicar o argumento anterior para concluir
que k u W01,p (). Como k u u em W 1,p (), segue que u W01,p ().
Reciprocamente, suponha u W01,p (). Usando cartas locais, e suficiente considerar o semicilindro
superior
Q+ = {x = (x0 , xn ) : |x0 | < 1 e 0 < xn < 1},
e provar que toda u W 1,p (Q+ ) C(Q+ ) que e o limite em W 1,p (Q+ ) de uma seq
uencia (uj ) C (Q+ )
n
tal que uj = 0 em Q0 = Q+ R+ satisfaz u = 0 em Q0 .
111
Sejam u W 1,p (Q+ ) C(Q+ ) e (uj ) C (Q+ ) uma tal seq

uencia. Como uj = 0 em Q0 , para todo
(x , xn ) Q+ nos temos
Z
0
xn
|uj (x0 , xn )| 6
|n uj (x0 , t)| dt.
Integrando com respeito a xn , de 0 a > 0, obtemos
Z
Z Z xn
0
0
|n uj (x , t)| dt dxn
|uj (x , xn )| dxn 6
0
Z0 Z 0
6
|n uj (x0 , t)| dt dxn
0
0
Z
=
|n uj (x0 , t)| dt.
0
0
Integrando agora com respeito a x , temos

Z
Z
Z
Z
1
0
0
|uj (x , xn )| dx dxn 6
|n uj (x0 , xn )| dx0 dxn .
|x0 |61 0
|x0 |61 0
Mantendo fixo e fazendo j , segue pelo teorema de Fubini e do fato de uj u em W 1,p (Q+ ) que
Z
Z
Z
Z
1
|u(x0 , xn )| dx0 dxn 6
|n uj | dx0 dxn .
|x0 |61 0
0
|x |61 0
Agora, fazendo 0, como u C(Q+ ), obtemos pelo teorema do valor medio para integrais que
Z
|u(x0 , 0)| dx0 = 0,
|x0 |61
e portanto u = 0 em Q0 .
8.5
Imers
ao Contnua de Espacos de Sobolev
Trivialmente, a imersao
W01,p () , Lp ()
e contnua, ja que
kukLp () 6 kukW 1,p ()
0
por definicao da norma dos espacos de Sobolev. Veremos nesta secao os outros valores de q para os quais a
imersao
W01,p () , Lq ()
e contnua.
Lema 8.22. (Desigualdade de Gagliardo-Nirenberg-Sobolev) Seja Rn um aberto. Se 1 6 p < n, ent
ao
existe uma constante C = C(n, p) tal que para todo u W01,p () n
os temos
kukLp () 6 C kukLp () .
Prova: Como por definicao C0 () e denso em W01,p (), basta provar o resultado acima para funcoes
u C01 (). De fato, se o resultado e valido para tais funcoes, dada u W01,p (), podemos tomar uma
seq
uencia {uk } C0 () tal que uk u em W01,p (); aplicando o resultado a uk ul , obtemos
kuk ul kLp () 6 C kuk ul kLp () 6 C kuk ul kW 1,p () ,
0
112
o que prova que {uk } tambem e uma seq

uencia de Cauchy em Lp () e portanto uk u em Lp (). Da
segue que a desigualdade e valida para todo u W01,p ().
Caso p = 1.
Como u tem suporte compacto, para cada i = 1, ..., n nos temos
Z xi
u
u(x) =
(x1 , ..., xi1 , yi , xi+1 , ..., xn ) dyi ,
xi
logo
|u(x)| 6
|u| dyi ,
de modo que
n
|u(x)| n1 6
n Z
Y
1
n1
|u| dyi
i=1
Esta desigualdade e agora integrada sucessivamente em cada uma das variaveis x1 , ..., xn e a desigualdade
de Holder generalizada
Z
f1 . . . fm 6 kf1 k p1
L () . . . kfm kLpm ()
onde
1
1
+ ... +
=1
p1
pm
e aplicada depois de cada integracao para m = p1 = ... = pm = n 1. Assim, integrando na primeira variavel
x1 , nos obtemos
Z
|u(x)| n1 dx1 6
n Z
Y
i=1
1
n1
1
n1
Z
dx1
|u| dyi
|u| dy1
1
n1
|u| dy1
n Z
Y
i=2
n Z
Y
i=2
1
n1
|u| dyi
dx1
1
n1
|u| dyi dx1
Integrando em seguida com respeito à variavel x2 , obtemos

Z Z
n
|u(x)| n1 dx1 dx2

1
1 #
n1
n1
Z "Z
n Z Z
Y
6
|u| dy1
|u| dx1 dyi
dx2
i=2
1
n1
Z
"Z
|u| dy1
|u| dx1 dx2
1
Z
n1
i=3
|u| dy1 dx2
|u| dx1 dx2
1
n1
n Z
Y
1 #
n1
|u| dx1 dyi
1
n1
n Z
Y
1
n1
|u| dx1 dx2 dyi
i=3
Continuando desta maneira, finalmente obtemos

Z
|u|
Rn
n
n1
dx 6
n Z
Y
i=1
Rn
1
n1
Z
|u| dx
=
n
n1
|u| dx
Rn
dx2
113
donde
n
kukL n1
6 kukL1 ,
que e a desigualdade de Sobolev para p = 1.

Caso 1 1, temos
Z
|u|
n
n1
n1
n
dx
Rn
|u|1 |u| dx 6 |u|1
|(|u| )| dx =
Rn
Rn
L p1
kukLp .
Escolhemos entao de tal modo que
p
n
= ( 1)
,
n1
p1
n1
n
p
np
ou seja, = p
, e portanto
= ( 1)
=
. Da
np
n1
p1
np
Z
|u|
p1
n1
n p
dx
Z
=
|u|
Rn
p1
n1
dx
6p
kukLp .
np
Rn
O expoente p na desigualdade acima nao e arbitrario. De fato, se 1 6 p < n, para que uma desigualdade
da forma
kukLq (Rn ) 6 C kukLp (Rn )
seja valida para todo u C0 (Rn ), temos que ter necessariamente q = p . Para ver isso, fixe qualquer
u C0 (Rn ) nao-nula e defina para > 0
u (x) = u(x).
Nos temos
Z
ku kLq (Rn ) =
1/q
|u(x)| dx
Rn
Z
ku kLp (Rn ) =
Z
n
=
1/q
= n/q kukLq (Rn ) ,
|u(y)| dy
Rn
1/p
|u(x)| dx
Z
pn
Rn
1/p
|u(y)| dy
Rn
= 1n/p kukLp (Rn ) .
Como ku kLq (Rn ) 6 C ku kLp (Rn ) , segue que

n
kukLq (Rn ) 6 1+ q p kukLp (Rn ) .

n n
6= 0, fazendo 0 ou , conforme o sinal deste expoente, obtemos kukLq (Rn ) = 0, uma
q
p
n n
np
contradicao. Portanto, necessariamente 1 + = 0, ou seja, q =
.
q
p
np
Usando a desigualdade de Gagliardo-Nirenberg-Sobolev, obtemos a seguinte imersao contnua:
Se 1 +
8.23 Teorema. (Teorema de Imersao de Sobolev) Seja Rn um aberto. Se 1 6 p < n, ent

ao
W01,p () , Lp ().
8.24 Corol
ario. Seja Rn um aberto limitado. Se p > 1 e p < n, ent
ao
W01,p () , Lq ()
para todo 1 6 q 6 p .
114
Prova: Como e limitado, pela desigualdade de Holder vale a imersao contnua Lp () , Lq () para
qualquer 1 6 q 6 p . Compondo esta imersao com a imersao contnua do corolario anterior, obtemos o
resultado desejado.
8.25 Corol
ario. (Desigualdade de Poincare) Seja Rn um aberto limitado. Ent
ao existe uma constante
C = C(n, ) tal que para todo u W01,2 () n
os temos
kukL2 () 6 C kukL2 () .
Consequentemente, a norma
kuk0 := kukL2 ()
e uma norma equivalente em W01,2 () e este e um espaco de Hilbert sob o produto interno
Z
hu, vi0 :=
hu, vi .
Prova: Segue da desigualdade de Gagliardo-Nirenberg-Sobolev e da imersao contnua L2 () , L2 ().
8.6
Imers
ao Compacta de Espacos de Sobolev
Dado um espaco vetorial normado E, denotaremos a imersao compacta de um subespaco vetorial F de E

em E por
F ,
E.
8.26 Teorema. (Teorema de RellichKondrakhov) Seja Rn um aberto limitado. Se 1 6 p < n, ent
ao
W01,p () ,
Lq (),
para todo 1 6 q < p .
Prova: Pelo Corolario 8.24, temos a imersao contnua
W01,p () , Lq (),
suficiente estabelecer o caso q = 1, pois o caso geral segue deste atraves de um
para todo 1 6 q 6 p . E
argumento de interpolacao: se 1 < q < p , podemos escrever
kukLq () 6 kukL1 () kukLp () ,

onde e definido por
1
1
=+
, logo
q
p
kukLq () 6 kukL1 () kukW 1,p () ;

0
W01,p ()
assim, se (um ) e uma seq

uencia limitada em
que possui uma subseq
uencia de Cauchy em L1 (),
q
segue desta desigualdade que a subseq
uencia e de Cauchy tambem em L ().
Vamos provar o caso q = 1. Seja (um ) uma seq
uencia limitada em W01,p (), e para cada > 0 considere
a seq
uencia (um ), onde um = [um ] e a regularizacao de um . Afirmamos que para cada > 0 a seq
uencia
(um ) e uniformemente limitada e eq

uicontnua. De fato,
Z
Z
1
xy
C
1
u(y) dy 6
(z) |um (x z)| dz 6 n max kum kL1 () 6 n ,
|um (x)| = n
B (x)
B1 (0)
B1 (0)
115
pois, como e limitado, vale a imersao contnua Lp () , L1 () e (um ) e portanto uma seq
uencia limitada
em L1 (), tambem. Isso prova que (um ) e uniformemente limitada. Analogamente,
1Z
1 1Z
xy
|um (x)| = n
u(y) dy 6
|(z)| |um (x z)| dz
B1 (0)
B (x)
1
C
6 n+1 max || kum kL1 () 6 n+1 ,
B1 (0)
e segue do Teorema do Valor Medio que (um ) e eq
uicontnua. Portanto, conclumos do Teorema de ArzelaAscoli que uma subseq
uencia de um e uma seq
uencia de Cauchy em C 0 () e, portanto, em L1 ().
Agora, pelo Lema 8.8, sabemos que um um em L1 () quando 0. Afirmamos que no nosso caso,
mais que isso, esta convergencia e uniforme em m. Com efeito,
Z
xy
|um (x) um (x)| = n
[u(y) u(x)] dy
B (x)
Z
6
(z) |um (x z) um (x)| dz
Z
B1 (0)
dum
dt (x zt) dt dz
(z)
B1 (0)
(z)
B1 (0)
|um (x zt)| |z| dt dz,

0
logo, integrando com respeito a x,

Z
kum um kL1 () =
|um (x) um (x)| dx
Z
(z)
B1 (0)
|um (x tz)| dx dz dt
Z
(z)
Z
=
B1 (0)
|um (y)| dy dz dt
|um (y)| dy
6 C.
Logo, para cada > 0 existe > 0 suficientemente pequeno tal que
kum um kL1 () <
.
2
para todo m. Para este existe uma subseq

uencia (umj ) de Cauchy em L1 (); pela desigualdade triangular
kumk uml kL1 () 6 umk umk L1 () + umk uml L1 () + uml uml L1 ()

segue que
lim sup kumk uml kL1 () 6 .
k,l
Escolhendo sucessivamente = 1, 12 , ... e usando o argumento da diagonal, obtemos uma subseq

uencia de
Cauchy de (um ) em L1 ().
116
8.27 Corol
ario. (Teorema de RellichKondrakhov) Seja Rn um aberto limitado. Para todo p > 1 vale
W01,p () ,
Lp ().
Prova: Se p > n, escreva
Lp ()
W01,p () , W01,r () ,
onde r < n e suficientemente proximo de n de tal modo que que r > p.

A imersao
W01,p () , Lp (),
nunca e compacta. Por este motivo, o expoente p e chamado expoente crtico. No exemplo seguinte,
construmos uma seq
uencia limitada em W01,p () que nao possui nenhuma subseq
uencia convergente em
p
L ().
8.28 Exemplo. (Perda de Compacidade no Expoente Crtico) Seja um aberto qualquer de Rn e tome
uma funcao nao nula C0 (B1 (0)). Seja {am } uma seq
uencia de pontos distintos de tais que
am x0 . Seja 0 < rm < 1 uma seq
uencia de n
umeros positivos tais que Brm (am ) e todas
as bolas Brm (am ) sao mutualmente disjuntas; em particular, devemos ter rm 0. Definimos entao
funcoes um C0 (Brm (am )) por
np
x am
um (x) = rm p
.
rm
Note que um 0 exceto em x0 , e que um (x0 ) . Esta e exatamente a mudanca de escala sob a
qual as normas kkLp e k()kLp sao invariantes, isto e,
kum kLp () = kkLp (B1 (0)) ,
kum kLp () = kkLp (B1 (0)) .
Com efeito, nos temos
"
kum kLp () =
n
rm
p #1/p "
Z
Z
a
m
n
dx
=
r
m
rm
#1/p
p
|(y)|
B1 (0)
n
rm
dy
= kkLp () ,
n+p
rm
kum kLp () =
p 1/p "
Z
Z
1
n
rm x am dx
= rm
rm
#1/p
B1 (0)
p n
|(y)| rm
dy
= kkLp () ,
Segue, em particular, que a seq

uencia (um ) e limitada em W01.p (). Pelo Teorema de Rellich
Kondrachov, nos temos que um u em Lp (). E, de fato, nos podemos calcular explicitamente
kum kLp () =
n+p
rm
p 1/p "
Z
Z
a
m
n+p
dx
=
r
m
rm
B1 (0)
#1/p
p n
|(y)| rm
dy
= rm kkLp () ,
de modo que um 0 em Lp (). Por outro lado, como as funcoes um tem suportes disjuntos, para
todos inteiros k, l nos temos
1/p
p
p
kuk ul kLp () = kuk kLp () + kuk kLp ()
= 21/p kkLp (B1 (0)) ,
portanto (um ) nao possui nenhuma subseq

uencia de Cauchy em Lp ().
117
Para a maioria dos abertos ilimitados Rn as imersoes contnuas de Sobolev

W01,p () , Lq (),
para p 6 q < p nao sao compactas, como o contraexemplo a seguir ilustra. Existem, no entanto, certos
domnios ilimitados de Rn para os quais a imersao
W01,p () , Lp ()
e compacta (veja [Adams]).
8.29 Exemplo. (Perda de Compacidade em Abertos Ilimitados) Se e um aberto ilimitado de Rn que
possui um conjunto enumeravel de bolas disjuntas BR (xm ) de mesmo raio R > 0 (por exemplo, isso
vale para = Rn ), ent
ao nao pode haver uma imersao compacta
W0k,p () , Lq ()
para nenhum q. De fato, tomando uma funcao nao nula C0 (BR (x1 )), defina um como sendo a
translacao de com suporte compacto em BR (xm ). Como
kum kW k,p () = kkW k,p () ,
0
a seq
uencia (um ) e limitada em W0k,p (), mas para qualquer q > 1 e para quaisquer inteiros k, l, nos
temos
1/q
q
q
kuk ul kLq () = kuk kLq () + kuk kLq ()
= 21/q kkLq () .
8.7
Resoluc
ao do Problema de Dirichlet
Nesta secao, Rn sera sempre um aberto limitado.

8.30 Defini
c
ao. Seja f L2 () e g W 1,2 (). Dizemos que u W 1,2 () e uma solu
c
ao fraca para o
problema de Dirichlet
u = f
em ,
(8.12)
u=g
sobre ,
se
Z
Z
u v =
f v para todo v W01,2 ()
u g W01,2 () .
Se os dados do problema de Dirichlet (8.12) sao suficientemente regulares e a solucao fraca tambem e
suficientemente regular, entao ela e uma solucao classica:
1,2
0
8.31 Proposi
ao. (Solucoes Fracas Regulares sao SolucoesCl
assicas) Sejam f C () e g W0 ()
c
2
0
0
ao fraca u C () C para o problema
C . Se existir uma soluc
u = f
em ,
u=g
sobre ,
ent
ao u e uma soluc
ao cl
assica.
118
Prova: Pela Primeira Identidade de Green, para todo v C0 () temos

Z
Z
Z
Z
u
u v =
v
(u) v =
(u) v.
Da e da definicao de solucao fraca segue que

Z
Z
(u) v =
fv
para todo v C0 (), ou seja,

Alem disso, como u g
em , isto e,
W01,2
u = f em .

() C , segue da caracterizacao dos espacos W01,2 () que u g = 0
0
u=g
em .
Quando uma solucao fraca existe ela e u

nica:
8.32 Proposi
c
ao. (Unicidade da Solucao Fraca) Sejam f L2 () e g W 1,2 (). Se existir uma soluc
ao
fraca para o problema
u = f
em ,
u=g
sobre ,
ent
ao ela e u
nica.
Prova: O resultado segue imediatamente da estabilidade fraca da equacao de Poisson, isto e, se u1 , u2
W 1,2 () satisfazem
u1 = f1 , u2 = f2 em
para f1 , f2 L2 (), e
u1 u2 W01,2 () ,
entao existe uma constante C = C (n, ) tal que

ku1 u2 kW 1,2 () 6 C kf1 f2 kL2 () .
De fato, temos
(8.13)
Z
(u1 u2 ) v =
(f1 f2 ) v,
para todo v W01,2 (), em particular para v = u1 u2 . Portanto segue da desigualdade de Poincare que
Z
2
2
ku1 u2 kL2 () =
| (u1 u2 )|
Z
=
(f1 f2 ) (u1 u2 )
6 kf1 f2 kL2 () ku1 u2 kL2 ()

6 C kf1 f2 kL2 () ku1 u2 kL2 () ,
donde
ku1 u2 kL2 () 6 C kf1 f2 kL2 () .
Novamente usando a desigualdade de Poincare, isso e suficiente para estabelecer (8.13).
A existencia de uma u
nica solucao fraca para o problema de Dirichlet homogeneo e uma consequencia
imediata do teorema de representacao de Riesz:
119
8.33 Teorema. (Problema de Dirichlet Homogeneo) Seja f L2 (). Ent

ao existe uma u
nica soluc
ao fraca
u W01,2 () para o problema
u = f
em ,
(8.14)
u=0
sobre .
Prova: De acordo com o Corolario 8.25, a existencia de uma u
nica solucao fraca u W01,2 () para o
problema de Dirichlet homogeneo e equivalente à existencia de um u
nico vetor u W01,2 () tal que
hu, vi0 = F (v) ,
onde F : W01,2 () R e o funcional
Z
f v.
F (v) =
Pela desigualdade de Holder temos F W01,2 () , pois

|F (v)| 6 kf kL2 () kvkL2 () 6 kf kL2 () kvkW 1,2 () .
0
Portanto, o resultado segue imediatamente do teorema de representacao de Riesz para espacos de Hilbert.
Para o caso geral, usaremos o princpio de Dirichlet:

ao existe uma u
nica
8.34 Teorema. (Existencia da Solucao Fraca) Sejam f L2 () e g W 1,2 (). Ent
soluc
ao fraca u W 1,2 () para o problema
u = f
em ,
(8.15)
u=g
sobre .
Prova: Vamos primeiro provar a existencia de uma funcao u W 1,2 () que minimiza o funcional I : E R
Z
Z
1
2
I (v) =
|v| dx
f v,
2
n
o
onde E = v W 1,2 () : v g W01,2 () e o espaco de funcoes admissveis para (8.15), isto e, a existencia
de u E tal que
Z
Z
1
2
I (u) = min
|v| dx
fv .
vE
2
Pela desigualdade de Poincare, o funcional I e limitado por baixo, pois

Z
Z
1
2
I (v) = kvkL2 ()
f (v g)
fg
2
Z
1
2
> kvkL2 () kf kL2 () k(v g)kL2 ()
fg
2
Z
1
2
fg
> kvkL2 () C kf kL2 () k (v g)kL2 ()
2
Z
1
2
> kvkL2 () C kf kL2 () kvkL2 () C kf kL2 () kgkL2 ()
f g,
2
t2
e a funcao real h (t) = at + b e limitada por baixo para t R, quaisquer que sejam os valores de a, b R.
2
Podemos ent
ao definir
I0 = inf I (u) .
vE
120
Seja (um )mN uma seq

uencia minimizante para I, isto e,
Z
Z
1
2
I (um ) =
|um | dx
f u m I0 .
2
2
facil ver, que o funcional I e convexo. Isto e uma conseq
E
uencia imediata da convexidade da funcao x 7 |x|
Z
Z h
i
2
2
2
I (tu + (1 t) v) =
|tu + (1 t) v| dx 6
t |u| + (1 t) |v| dx = tI (u) + (1 t) I (v) .
Por sua vez, a convexidade da funcao x 7 |x| pode ser provada do seguinte modo:
h
i
2
2
2
2
2
2
|tx + (1 t) y| t |x| (1 t) |y| = t2 t |x| + 2t (1 t) x y + (1 t) (1 t) |y|
2
= t (1 t) |x y| 6 0.
Logo, temos
I0 6 I
uk + ul
2
1
1
I (uk ) + I (ul ) I0
2
2
quando k, l . Por outro lado, temos

2
Z
Z
Z
Z
1
2
2
2
uk + ul dx
| (uk ul )| dx =
|uk | dx +
|ul | dx 2
2
2
Z
Z
Z
Z
2
2
=
|uk | dx + 2
f uk +
|ul | dx + 2
f ul
Z
Z
uk + ul
uk + ul
2
f
dx 4
2
2
uk + ul
= 2I (uk ) + 2I (ul ) 4I
,
2
donde conclumos que (um ) e uma seq

uencia de Cauchy em L2 (). Pela desigualdade de Poincare, como
um g W01,2 (), temos
kuk ul kL2 () = k(uk g) (ul g)kL2 ()
6 C k (uk g) (ul g)kL2 ()
= C kuk ul kL2 ()
logo (um ) tambem e uma seq
uencia de Cauchy em L2 () e portanto (um ) e uma seq
uencia de Cauchy em
1,2
W (), ou seja, existe u W 1,2 () tal que um u em W 1,2 (). Em particular, segue que I (u) = I0 e
ug W01,2 (), pois W01,2 () e um subespaco fechado de W 1,2 (). Como um u em L2 () e um u
em L2 (), temos que
Z
Z
Z
Z
1
1
2
2
|um | dx
f um
|u| dx
f u,
2
2
e conclumos que u e o minimizador do funcional de Dirichlet.

Em seguida, verificamos que u e a solucao fraca de (8.15). De fato, como u e um minimizante para o
funcional I, segue em particular que:
Z
Z
d
d 1
2
0=
[I (u + tv)|t=0 =
| (u + tv)|
f (u + tv)
dt
dt 2
t=0
Z
Z
=
u v
fv
W01,2
para todo v
().
A teoria da regularidade permite concluir que a solucao fraca do problema de Dirichlet obtida no teorema
anterior e suave se os dados f, g forem (veja [Gilbarg-Trudinger]).
8.8
121
O Problema de Autovalor para o Laplaciano
O problema de autovalor para o laplaciano consiste em encontrar os valores tais que

u = u em
admite solucoes nao triviais, com alguma condicao de fronteira imposta sobre u. Consideraremos o problema
de autovalor com condicao de Dirichlet
u = u
em ,
u=0
sobre .
Este problema pode ser formulado fracamente da seguinte forma: dizemos que e um autovalor do laplaciano
com condicao de Dirichlet e u W01,2 () e uma autofuncao correspondente se
Z
Z
u v =
uv para todo v W01,2 () .
Em particular,
Z
2
u2 ,
|u| =
de modo que todos os autovalores do laplaciano com condicao de Dirichlet sao positivos (se = 0, pela
Proposicao 8.32, a u
nica solucao do problema e a solucao nula).
8.35 Teorema. Seja Rn um aberto limitado. Ent
ao o problema de autovalor
u = u
em ,
u=0
sobre .
possui um n
umero infinito enumer
avel de autovalores {n }nN que satisfazem
0 < 1 6 2 6 . . . 6 k 6 . . .
tais que
k ,
e autofunc
oes {uk } que constituem um sistema ortonormal completo para L2 (), isto e,
v=
i ui
i=1
para todo v L2 (). Em particular,

2
kvkL2 () =
hv, ui iL2 () .
i=1
Prova: Pelo Teorema 8.33, o operador laplaciano () : W01,2 () L2 () e um operador bijetivo, en1
quanto que pela Proposicao 8.32 a sua inversa e limitada. Considere o operador inverso () : L2 ()
1,2
1,2
2
W0 (). Usando a imersao compacta W0 () ,
L (), podemos considerar o operador inverso como
1
1
um operador compacto () : L2 () L2 (). Alem disso, () e um operador autoadjunto. Com
1
1
efeito, se u = () (f ) e v = () (g), ou seja, se u = f e v = g, em particular
hu, viL2 () = hf, viL2 () ,
hv, uiL2 () = hg, uiL2 () .
122
Da,
D
()
E
(f ) , g
L2 ()
D
E
1
= hu, giL2 () = hu, viL2 () = hf, viL2 () = f, () (g)
L2 ()
Portanto, o resultado segue da teoria espectral para operadores autoadjuntos compactos.

A teoria da regularidade permite concluir que as autofuncoes do laplaciano obtidas no teorema anterior sao
suaves (veja [Gilbarg-Trudinger]).
Refer
encias Bibliogr
aficas
[Adams]
ADAMS, R. A., Sobolev Spaces, Academic Press, 1975.
[Brezis]
BREZIS, H., Analyse fonctionnelle, Theorie et applications, Masson, Paris, 1983.
[Conway]
CONWAY, J. B., A Course in Functional Analysis, 2nd. Ed., Springer, 1990.
[Day]
DAY, M. M., Reflexive Banach spaces not isomorphic to uniformly convex spaces,
Bull. A. M. S. 47 (1941), 313317.
[Dunford-Schwartz]
DUNFORD, N. e SCHWARTZ, J., Linear Operators, 3 volumes, Interscience, 1958.
[EMT]
EIDELMAN, Y., MILMAN, V. e TSOLOMITIS, A., Functional Analysis: An Introduction, Graduate Studies in Mathematics 66, American Mathematical Society,
2004.
[Folland]
FOLLAND, G.B., Real analysis, modern techniques and their applications, John Wiley & Sons, 1984.
[Friedman]
FRIEDMAN, A., Foundations of Modern Analysis, Dover, 1982.
[Gilbarg-Trudinger]
GILBARG, David e TRUDINGER, Neil S., Elliptic Partial Differential Equations of

Second Order, 2nd Ed., Springer-Verlag, 1983.
[James1]
JAMES, R. C., Bases and reflexivity of Banach spaces, Annals of Math. 52 (1950),
no. 2, 518527.
[James2]
JAMES, R. C., A non-reflexive Banach space isometric with its second conjugate
space, Proc. Nat. Acad. Sci. 37 (1951) 174177.
[Munkres]
MUNKRES, J. R., Topology: a first course, Prentice-Hall, 1975.
[Kreyszig]
KREYSZIG, E., Introductory Functional Analysis with Applications, John Wiley &
Sons, 1978.
[Royden]
ROYDEN, H. L., Real Analysis, 3a edicao, Prentice Hall, Englewood Cliffs, 1988.
[Rudin]
RUDIN, W., Functional Analysis, 2nd. Ed., McGraw Hill International Editions,
1991.
[Schechter]
SCHECHTER, M., Principles of Functional Analysis, 2nd. Ed., Graduate Studies in

Mathematics 36, American Mathematical Society, 2001.
[Whitley]
WHITLEY, R. J., An elementary proof of the Eberlein-Smulian theorem, Math. Ann.

172 (1967) 116118.
123

Analise Funcional PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Analise Funcional PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Notas de Aula

Notas de aula do curso An

E-mail: rodney@mat.ufmg.br; homepage: http://www.mat.ufmg.br/rodney.

5 Topologia Fraca e Topologia Fraca*

Rodney Josue Biezuner

Espacos Vetoriais Normados e

Rodney Josue Biezuner

Exemplo 1: Os espacos `p (n)

|xi yi | 6 kxkp kykp0

(|xi | + |yi |) |xi + yi |

A desigualdade de Holder, por sua vez, segue da desigualdade mais geral

Rodney Josue Biezuner

Exemplo 2: Os espacos das sequ

e o espaco ` como sendo o espaco das sequencias reais limitadas, isto e,

` = x : N R : sup |xi | < ,

Rodney Josue Biezuner

|xk,i xl,i | < p

sempre que k, l > N . Fixando k e fazendo l , obtemos

para todo m N, sempre que k > N . Da, fazendo m , temos que

A demonstracao deste fatos e deixada como exerccio.

Rodney Josue Biezuner

Observe que nesta definicao,

|f (x) + g (x)| 6 2p max {|f (x)| , |g (x)| } 6 2p (|f (x)| + |g (x)| ) ,

Alem disso, kf kp = || kf kp e kf kp = 0 se e somente se f = 0 q.t.p.

Rodney Josue Biezuner

|fn (x) fn (x)| 6 fn (x) fn

Rodney Josue Biezuner

e a area do triangulo de altura 1 e comprimento da base

Usaremos a notacao de multi-ndice para denotar a derivada parcial

Rodney Josue Biezuner

C k () = f C k () : D f e limitada e uniformemente contnua em para todo || 6 k .

Relembramos o conceito de continuidade de Holder:

Em particular, note que se f e contnua de Holder com expoente em , entao

Rodney Josue Biezuner

Mas isso segue diretamente da desigualdade triangular

1.1 Mostre que

Prova. (i)(ii) Obvio.

(iii)(i) Seja M tal que kT xk 6 M kxk para todo x E. Entao

Rodney Josue Biezuner

T nao e limitada, pois

basta notar que

Rodney Josue Biezuner

Rodney Josue Biezuner

para todo y = T x Im T , e portanto T 1 e limitada.

Rodney Josue Biezuner

Afirmamos que T e um isomorfismo topologico. De fato, T e limitada porque

mnimo m na esfera unitaria B = x `1 (n) : kxk = 1 . Necessariamente m > 0, pois {e1 , . . . , en } e um

de modo que kyk = 1. Alem disso, para todo x F temos

Rodney Josue Biezuner

kx1 x2 k > 1/2.

2.2 Considere o operador linear M : `p `p definido por

Mostre que T e um isomorfismo topologico.

Rodney Josue Biezuner

e limitada? Se for, calcule kIk .

para todos x E, > 0.

Rodney Josue Biezuner

Isso implica que

Rodney Josue Biezuner

2.22 Teorema. (Teorema de Hahn-Banach) Sejam E um espaco vetorial normado e f0 : F R um

de modo que ao passarmos o limite quando n segue que

Usando o teorema de Hahn-Banach, estendemos f linearmente a todo o espaco E.

Rodney Josue Biezuner

Prova. Aplique o teorema de Hahn-Banach ao subespaco F = hx0 i e ao funcional linear limitado f0 : F