Você está na página 1de 54

Parte 1

Espacos de Banach
1.1 Espacos Normados
Denicao 1.1. Seja X um espaco vetorial sobre K (K = C ou K = R). Uma semi-norma
em X e uma aplicacao p : X [0, +[ que satisfaz as seguintes propriedades:
(N1) p(x) = [[ p(x), x X, K;
(N2) (Desigualdade triangular) p(x +y) p(x) +p(y), x, y X.
Se p satisfaz a propriedade adicional
(N0) p(x) = 0 x = 0,
p e dita uma norma em X e neste caso e comum escrever |x| no lugar de p(x).
Observe que se p e uma semi-norma em X ent ao segue imediatamente de (N1) que
p(0) = 0. Assim, p ser a uma norma se o unico vetor x X com p(x) = 0 e o vetor nulo.
Estaremos mais interessados nas normas, embora as semi-normas aparecerao em alguns
momentos.
Um espaco normado e um espaco vetorial sobre K munido de uma norma. Vejamos
alguns exemplos.
Exemplo 1.2. O corpo K (visto como espa co vetorial sobre si proprio) e um espaco nor-
mado se o equiparmos com a norma || = [[. Mais geralmente, K
p
e um espaco normado,
pois sabemos que |x| =
_
[x
(1)
[
2
+[x
(2)
[
2
+ +[x
(p)
[
2
, onde x = (x
(1)
, x
(2)
, . . . , x
(p)
), e
1
2 MAT5721 - Leonardo Pellegrini
uma norma em K
p
.

E f acil vericar que |x|
1
= [x
(1)
[ + [x
(2)
[ + + [x
(p)
[ e
|x|

= max[x
(1)
[, [x
(2)
[, . . . , [x
(p)
[ tambem s ao normas em K
p
. As duas ultimas normas
s ao mais faceis de se trabalhar e equivalentes `a primeira (num sentido que precisaremos
mais adiante).
Para o pr oximo exemplo, lembramos que se A e um espaco topologico e f uma funcao
f : A K, entao f e contnua em a A se, para todo > 0, existir um aberto V de A
contendo a tal que [f(x) f(a)[ < , se x V .
Exemplo 1.3. Seja A ,= um espaco topol ogico, e consideremos agora o espaco vetorial
c
b
(A) constitudo de todas as func oes f : A K que s ao contnuas e limitadas. Denimos
para f c
b
(A)
|f| = sup
xA
[f(x)[.
Observe que pelo fato de f ser limitada tal supremo e nito. Entao |f| [0, +[.
Armamos que | | e uma norma em c
b
(A). De fato, se |f| = sup
xA
[f(x)[ = 0, entao
[f(x)[ = 0 para todo x A. Logo, f e a func ao nula e (N0) esta mostrada. Para mostrar
(N1) observe que para cada x A
[f(x)[ = [[ [f(x)[ [[ sup
xA
[f(x)[ = [[ |f|.
Ent ao [[ |f| e uma cota superior do conjunto [f(x)[ : x A. Entao sup
xA
[f(x)[
[[ |f|, o que nos mostra que |f(x)| [[ |f|. Por outro lado, se ,= 0, temos que
[f(x)[ = [[ [
1
[ [f(x)[ = [
1
[ [f(x)[ [
1
[ |f|, e portanto, tomando o supremo,
|f| [
1
[ |f|, ou seja [[ |f| |f|. Assim [[ |f| = |f|, se ,= 0. Porem, se
= 0 a igualdade e imediata e portanto ela e valida para qualquer K. Finalmente,
se f, g c
b
(A) e x A,
[f(x) +g(x)[ [f(x)[ +[g(x)[ sup
xA
[f(x)[ + sup
xA
[g(x)[ = [[f| +|g|.
Portanto |f +g| [[f| +|g|, o que demonstra (N2).
1.2 A topologia da norma
Se X e um espa co normado, ent ao X e tambem um espaco metrico, onde a metrica
e dada por d(x, y) = |x y|.

E quase que imediato que d e de fato uma metrica em X.
Dizemos que d e induzida pela norma de X.
1.2. A topologia da norma 3
A topologia de X e denida a partir desta metrica: A bola aberta centrada em x
0
de raio r > 0 e o conjunto B(x
0
, r)
def
= x X : |x x
0
| < r. Um conjunto e aberto
em X se e a reuniao (nita ou nao) de bolas abertas. Equivalentemente, um subconjunto
V X ser a aberto se para todo x
0
V existir um r > 0 tal que B(x
0
, r) V .
Os outros conceitos topol ogicos sao denidos a partir destes abertos. Um conjunto
F ser a fechado em X se seu complementar X F for aberto em X. Denotaremos a bola
fechada centrada em x
0
de raio r > 0 por B[x
0
, r]
def
= x X : |x x
0
| r. Verique
que de fato B[x
0
, r] e um conjunto fechado.
Um ponto x
0
X e chamado de aderente ao conjunto Z X se toda bola centrada
em x
0
intercepta Z. Isso signica que ha pontos de Z arbitrariamente proximos de x
0
. O
fecho de um subconjunto Z de X e conjunto de seus pontos aderentes e e denotado por
Z.

E facil ver que Z e o menor fechado que contem Z.
Uma sequencia (x
n
)
nN
X converge para x X se, para todo > 0 existe n
0
N
tal que n > n
0
|x
n
x| < . Neste caso, dizemos que (x
n
)
n
e uma sequencia convergente
em X e que x e limite de (x
n
)
n
. Algumas propriedades das sequencias convergentes est ao
destacadas nos exerccios.
Vejamos agora algumas propriedades da topologia da norma. Lembramos que se Y
e Z s ao espacos normados, estaremos considerando em Y Z a topologia produto. Um
conjunto e aberto em tal topologia se e reuniao de conjuntos da forma U V onde U e
aberto em Y e V e aberto em Z.
Proposicao 1.4. Seja X um espaco normado. Entao, sao contnuas as aplicacoes
S : X X X dada por S(x, y) = x +y;
M : KX X dada por M(, y) = y;
N : X X dada por N(x) = |x|.
Demonstracao. Mostraremos primeiramente que a soma e contnua. Seja (x
0
, y
0
) XX.
Dado > 0, tomando o aberto W = B(x
0
,

2
) B(y
0
,

2
), teremos que
(u, v) W |u x
0
| <

2
e |v y
0
| <

2
|(u +v) (x
0
+y
0
)| |u x
0
| +|v y
0
| <
|S(u, v) S(x
0
, y
0
)| < ,
4 MAT5721 - Leonardo Pellegrini
o que mostra que S e contnua em (x
0
, y
0
).
Deixaremos a multiplicacao como exerccio. Para mostrar que a norma e contnua,
observe que para quaisquer vetores x, y X vale a desigualdade [|x| |y|[ |x y|.
De fato x, y X, |x| = |x y + y| |x y| + |y| e portanto |x| |y| |x y|.
Trocando y por x, obtemos |y| |x| |x y|. Logo, [|x| |y|[ |x y|. Isso
mostra que [N(x)N(y)[ |xy|, sendo N uma contra cao e portanto (uniformemente)
contnua.
A proposic ao anterior mostra que as operac oes de espaco vetorial sao compatveis
com a topologia da norma. Vejamos uma consequencia. Antes, lembramos da seguinte
caracterizac ao computacionalmente mais simples: O fecho de Z e o conjunto de todos
elementos x X para os quais existe uma sequencia contida em Z convergindo para x.
Proposicao 1.5. Seja X um espa co normado e S um subespaco vetorial de X. Entao o
fecho que S tambem e um subespaco vetorial de X
Demonstracao. Claro que 0 S, pois 0 S e S S. Sejam x, y S e K.
Ent ao existem sequencias (x
n
)
n
, (y
n
)
n
S com x
n
x e y
n
y. Pela continuidade
das operac oes em X segue que x
n
+ y
n
x + y e como S e um subespa co de X,
(x
n
+y
n
)
n
S. Logo x +y S.
1.3 Normas Equivalentes
Dizemos que duas normas | | e | |
0
denidas em um espaco vetorial X s ao equiv-
alentes se geram a mesma topologia em X. Ou seja, se um subconjunto de X e aberto
segundo | | se, e somente o for segundo | |. Assim, os valores |x| e |x|
0
podem
ser distintos mas todos os conceitos topologicos permanecem invariantes se trocarmos a
norma | | pela norma | |
0
em X.

E facil vericar que duas normas sao equivalentes se, e somente se, toda bola aberta
centrada em x
0
segundo uma norma contem uma bola aberta centrada em x
0
segundo a
outra. Destacaremos o seguinte criterio:
1.4. Espacos de Banach 5
Proposicao 1.6. Se existirem constantes positivas a e b tais que a|x|
0
|x| b|x|
0
,
x X, entao | | e | |
0
sao equivalentes.
Demonstracao. Considere uma bola aberta B

(x
0
, r) segundo a norma ||. Ent ao, se x
B

0
(x
0
,
r
b
) entao |xx
0
|
0
<
r
b
e portanto |xx
0
| b|xx
0
|
0
< r. Logo B

0
(x
0
,
r
b
)
B

(x
0
, r). De maneira an aloga mostramos que B

(x
0
, r a) B

0
(x
0
, r).
Exemplo 1.7. As normas de K
p
do exemplo 1.2 s ao equivalentes, pois
|x|

|x| |x|
1
p|x|

.
A recproca da proposi cao anterior e verdadeira. Veremos a demostrac ao mais adiante
quando estudarmos as aplicac oes lineares.
1.4 Espacos de Banach
Lembramos que uma sequencia (x
n
)
nN
em um espaco metrico M e dita de Cauchy
se, para todo > 0, exitir um n
0
N tal que d(x
n
, x
m
) < , se n, m > n
0
.

E imediato
que toda sequencia convergente e de Cauchy. Porem, nem toda sequencia de Cauchy e
converge. Um espaco metrico e dito completo se toda sequencia de Cauchy converge (em
M, claro).
Denicao 1.8. Um espaco normado X e chamado de Espaco de Banach se toda sequencia
de Cauchy em X converge.
Assim, um espa co normado e um espaco de Banach se e um espa co metrico completo
em relac ao ` a metrica induzida por sua norma. Vejamos agora alguns exemplos.
Exemplo 1.9. O espa cos normado R e um espaco de Banach, pois sabemos do curso de
an alise real que toda sequencia de Cauchy de n umeros reais converge.
Exemplo 1.10. Vamos mostrar que R
p
e um espaco de Banach. Seja (x
n
)
nN
uma
sequencia de Cauchy em R
p
. Note que aqui cada x
n
e uma p-upla de n umeros reais:
x
n
= (x
(1)
n
, x
(2)
n
, . . . , x
(p)
n
). Como (x
n
)
nN
e uma sequencia de Cauchy, para todo > 0,
existe algum n
0
N tal que
n, m > n
0
|x
n
x
m
| =
_
(x
(1)
n
x
(1)
m
)
2
+ (x
(2)
n
x
(2)
m
)
2
+ + (x
(p)
n
x
(p)
m
)
2
< .
6 MAT5721 - Leonardo Pellegrini
Em particular, para cada i = 1, 2, . . . , p, se n, m > n
0
ent ao [x
(i)
n
x
(i)
m
[ < . Isso nos
mostra que cada sequencia (x
(i)
n
)
n
e uma sequencia de Cauchy em R e portanto converge,
pelo exemplo anterior. Dena entao x
(i)
= lim
n
x
(i)
n
e considere x = (x
(1)
, x
(2)
, . . . , x
(p)
).
Claro que x R
p
e vamos mostrar que este e o limite da sequencia (x
n
)
n
. Seja ent ao
> 0. Como x
(i)
= lim
n
x
(i)
n
, para cada i = 1, 2, . . . , p, existe n
i
tal que [x
(i)
n
x
(i)
[
2
<
2
/p,
se n > n
i
. Se k
0
= maxn
i
: i = 1, 2, . . . , p, ent ao
n > k
0
|x
n
x| =
_
(x
(1)
n
x
(1)
)
2
+ (x
(2)
n
x
(2)
)
2
+ + (x
(p)
n
x
(p)
)
2
< ,
o que mostra que (x
n
)
n
converge para x em R
p
.
Observacao 1.11. Como espacos normados, C e identico a R
2
. Segue entao pelo exemplo
anterior que C e um espaco de Banach. Consequentemente, C
p
tambem e um espa co de
Banach.
Exemplo 1.12. Consideremos agora o espaco c
b
(A). Seja (f
n
)
n
uma sequencia de Cauchy
em c
b
(A). Ent ao para todo > 0, existe algum n
0
N tal que
n, m > n
0
|f
n
f
m
| = sup
xA
[f
n
(x) f
m
(x)[ < .
Como no exemplo anterior, vemos que para cada x A a sequencia (f
n
(x))
n
uma
sequencia de Cauchy em K e portanto converge (pela observac ao anterior) para algum
(x) K. Dena f : A K pondo f(x) = (x). Observe que, se x A e n, m > n
0
[f
n
(x) f(x)[ [f
n
(x) f
m
(x)[ +[f
m
(x) f(x)[ |f
n
f
m
| +[f
m
(x) f(x)[
< +[f
m
(x) f(x)[.
Fazendo m , obtemos que [f
n
(x) f(x)[ para qualquer x A. Ent ao,
sup
xX
[f
n
(x) f(x)[ , se n > n
0
()
Devemos mostrar que f est a em c
b
(A):
Mostremos inicialmente que f e contnua. Sejam x
0
A e > 0. Usando () com

3
,
obtemos n xo tal que [f
n
(x) f(x)[

3
, para qualquer x X. Ora, f
n
est a em c
b
(A).
Ent ao, existe um aberto V

contendo x
0
tal que [f
n
(x) f
n
(x
0
)[ <

3
, se x V

. Assim,
para cada x V

,
[f(x) f(x
0
)[ [f(x) f
n
(x)[ +[f
n
(x) f
n
(x
0
)[ +[f
n
(x
0
) f(x
0
)[

3
+

3
+

3
= ,
1.4. Espacos de Banach 7
o que mostra que f e contnua. Claramente f e limitada, pois usando () com = 1,
obtemos n xo tal que [f
n
(x) f(x)[ 1, para qualquer x A, e portanto
[f(x)[ [f(x) f
n
(x)[ +[f
n
(x)[ 1 +|f
n
|.
Finalmente, e imediato por () que (f
n
)
n
converge para f em c
b
(A). Isso completa a
demonstrac ao.
O exemplo anterior e bem generico. A seguir daremos dois exemplos particulares
importantes baseados no anterior.
Exemplo 1.13. (O espaco

) O espaco

e denido fazendo A = N no exemplo


anterior. Assim,

def
= c
b
(N). Note que como toda func ao f : N K e contnua (pois N
e discreto), segue que

e o espa co de Banach das sequencias limitadas de escalares. Se


x = (x
n
)
n

, ent ao |x| = sup


nN
[x
n
[.
Exemplo 1.14. (Espacos c(K)) Seja agora A = K um espaco topol ogico compacto.
Ent ao toda funcao continua em K e limitada. Denotamos ent ao o espa co c
b
(K) simples-
mente por c(K), o espa co de Banach das fun coes contnuas no compacto K.
Observacao 1.15. Veremos adiante que

pode ser visto como um espa co da forma


c(K), onde K e a compacticac ao de Stone-

Cech de N (N n ao e compacto!!).
Vejamos agora um exemplo de espaco normado nao completo.
Exemplo 1.16. (Um espaco normado que nao e Banach) Seja X = c
00
o espaco das
sequencias quase nulas. Ou seja, uma sequencia pertence a c
00
se possui apenas zeros a
partir de um certo ndice. Mostraremos que c
00
n ao e um espaco de Banach. Para tanto,
devemos exibir uma sequencia de Cauchy em c
00
que nao converge.
Considere a sequencia (de sequencias quase nulas) (x
n
)
n
denida por
x
1
= (1, 0, 0 . . . , 0, 0, . . .),
x
2
= (1,
1
2
, 0 . . . , 0, 0, . . .)
.
.
.
x
n
= (1,
1
2
, 0, . . . ,
1
n
, 0, . . .)
.
.
.
8 MAT5721 - Leonardo Pellegrini
Note que (x
n
)
n
e de Cauchy, pois dado > 0, existe n
0
N, n
0
>
1

. Assim, se
n > m > n
0
,
|x
n
x
m
| =
_
_
_(0, 0 . . . ,
1
m + 1
,
1
m + 2
, . . . ,
1
n
, 0, 0, . . .)
_
_
_ =
1
m + 1
<
1
n
0
< .
Porem, (x
n
)
n
n ao converge emc
00
. De fato, suponha por absurdo que x = (x
(1)
, x
(2)
, . . . , )
c
00
seja o limite de (x
n
)
n
. Ent ao existe um k N tal que x
(i)
= 0, se i k. Assim, se
n k,
|x
n
x| = sup
nN
[x
n
x[
1
k
,
contradizendo o fato de (x
n
)
n
convergir para x.
Note que c
00
e um subespaco (vetorial e normado) de

que n ao e completo, apesar


deste ser. A proposicao seguinte nos d a um criterio para decidir se um subrespaco S de
X e Banach. Quando nos referirmos a subespaco signicar a sempre que a norma de S e
a induzida por X.
Proposicao 1.17. Todo subespaco fechado de um espaco de Banach e Banach. Recipro-
camente, todo subespaco de Banach de um espaco normado e fechado.
Demonstracao. Suponha que S seja fechado em X Banach. Tomamos um sequencia de
Cauchy (x
n
)
n
S. Mas (x
n
)
n
tambem e uma sequencia de Cauchy em X que e completo.
Logo, (x
n
)
n
converge para algum x X. Isso implica que x

S. Sendo S fechado, temos
que x S. Mostramos ent ao que toda sequencia de Cauchy em S converge (em S). Logo,
S e completo.
Reciprocamente, seja S completo no normado X. Considere x

S. Entao existe uma
sequencia (x
n
)
n
S que converge para X. Ora, toda sequencia convergente e de Cauchy.
Assim, (x
n
)
n
e uma sequencia de Cauchy em S que e completo e portanto converge para
algum y S X. Pela unicidade do limite em X (todo espaco normado e Hausdor),
temos que x = y, e portanto x S, sendo este fechado.
A proposicao anterior e util para mostrar que determinados espacos normados s ao
Banach. Vejamos alguns exemplos
Exemplo 1.18. Seja A um espaco topol ogico Hausdor e considere c
0
(A) o subconjunto
das func oes f c
b
(A) tais que para cada > 0, o conjunto V

(f)
def
= x A : [f(x)[
e compacto. Vamos mostrar que c
0
(A) e um espaco de Banach. Como uma aplicacao da
proposic ao anterior, mostraremos que e um subespaco fechado em c
b
(A).
1.4. Espacos de Banach 9
Note que c
0
(A) e um subespaco vetorial de c
b
(A). De fato, a aplicac ao nula est a
em c
0
(A) pois V

(0) = x A : 0 = . Alem disso, se ,= 0 e um escalar e


f c
0
(A), ent ao V

(f) = x A : [f(x)[ = x A : [f(x)[



||
= V

||
(f),
sendo compacto. Finalmente, sejam f, g c
0
(A). Como V

(f + g) V
/2
(f) V
/2
(g)
segue que V

(f + g) e compacto, pois e fechado (f e g s ao contnuas) e est a contido em


um compacto. Logo f +g c
0
(A).
Mostremos agora que c
0
(A). Seja f c
0
(A) e tome uma sequencia f
n
c
0
(A)
convergindo para f. Temos que mostrar que para todo > 0, V

(f) e compacto. Sejam


ent ao > 0 arbitrario e x V

(f). Ent ao [f(x)[ . Como f


n
converge para f, existe
N N tal que |f
N
f| < /2. Assim
[f(x)[ [f(x) f
N
(x)[ +[f
N
(x)[ |f
N
f| +[f
N
(x)[ <

2
+[f
N
(x)[,
ou seja, [f
N
(x)[

2
, o que mostra que x V

2
(f
N
). Logo, V

(f) V

2
(f
N
) e este ultimo
e compacto. Isso mostra que V

(f) tambem e compacto (pois e um fechado contido em


um compacto) e conclui a demonstrac ao.
Vejamos agora um importante caso particular do exemplo anterior.
Exemplo 1.19. Suponha que A = N e considere c
0
(N). Note que
(x
n
) c
0
(N) n N : [x
n
[ e compacto, > 0
n N : [x
n
[ e nito, > 0
x
n
0.
Logo
c
0
def
= c
0
(N) = (x
n
)

: x
n
0.
Lembrando que a norma e a induzida por

.
Finalizamos esta parte com a generalizacao de um resultado conhecido de R. Dizemos
que uma serie

kN
x
k
em um espaco normado X e absolutamente convergente se a serie
numerica

kN
|x
k
| for convergente.
Teorema 1.20. Seja X um espa co normado. Entao X e Banach se, e somente se, toda
serie de elementos de X absolutamente convergente e convergente.
10 MAT5721 - Leonardo Pellegrini
Demonstracao. Seja X Banach. Tomamos uma serie

kN
x
k
absolutamente convergente.
Temos que mostrar que a sequencia de suas somas parciais (s
n
)
n
converge. Como

kN
|x
k
|
converge ela e uma serie de Cauchy. Ent ao, dado > 0 existe n
0
N tal que m > n
n
0

m

k=n+1
|x
k
|. Assim, se m > n n
0
,
|s
m
s
n
| = |
m

k=n+1
x
k
|
m

k=n+1
|x
k
| < .
Logo, (s
n
)
n
e uma sequencia de Cauchy em X que e completo. Logo, (s
n
)
n
converge.
Reciprocamente, Considere uma sequencia (x
n
)
n
de Cauchy em X. Ent ao, para j = 1,
existe n
1
N tal que |x
m
x
n
| < 2
1
, se m, n n
1
. Para j = 2 existe n
2
> n
1
tal que
|x
m
x
n
| < 2
2
, se m, n n
2
. Prossegindo desta forma, construimos uma sequencia
crescente de ndices (n
j
) tal que |x
m
x
n
| < 2
j
, se m, n n
j
. Denimos y
0
= x
n
1
e
y
j
= x
n
j+1
x
n
j
, para j N. Vemos ent ao que

j=0
|y
j
| < |y
0
| +

j=1
2
j
< ,
o que mostra que

j=0
y
j
e absolutamente convergente em X e portanto converge, por
hip otese, para algum y X. Mas lim
k
x
n
k
= lim
k
k1

j=0
y
j
= y. Vemos ent ao que a sequencia
de Cauchy (x
n
)
n
possui um subsequencia convergente. Logo, (x
n
)
n
e convergente.
1.5 Os Espacos
p
e L
p
Denicao 1.21. O espaco vetorial das sequencias de escalares absolutamente p-somaveis
e denotado por
p
. Ou seja,

p
=
_
x = (x
k
)
kN
K
N
:

kN
[x
k
[
p
<
_
.
Tal espaco e munido de uma norma natural, dada por |x|
p
=
_
kN
[x
k
[
p
_1
p
.
1.5. Os Espacos
p
e L
p
11
Primeiramente, temos que vericar que
p
e de fato um espaco vetorial e que | |
p
e uma norma. Se e um escalar qualquer e x
p
, ent ao |x|
p
=
_
kN
[x
k
[
p
_1
p
=
[[
_
kN
[x
k
[
p
_1
p
= |x|
p
. Isso mostra que a operac ao de multiplica cao por escalar est a
bem denida em
p
e que |x|
1
= |x|
1
.

E imediato que a sequencia nula pertence a
p
e que |x|
p
= 0 x = 0.
Quando p = 1, e f acil ver que
1
a soma em
1
e bem denida e que vale a desigualdade
triangular: Sejam x, y
1
. Ent ao, para todo n N,
n

k=1
[x
k
+y
k
[
n

k=1
[x
k
[ +[y
k
[

k=1
[x
k
[ +

k=1
[y
k
[ < .
Assim,

k=1
[x
k
+ y
k
[

k=1
[x
k
[ +

k=1
[y
k
[. Isso mostra que x + y
1
e que
|x +y|
1
|x|
1
+|y|
1
.
Porem, para mostrar o mesmo quando 1 < p < , precisamos de alguns resultados
preliminares.
Lema 1.22. Sejam p, q > 1, tais que
1
p
+
1
q
= 1 (dizemos que q e conjugado de p). Entao
ab
a
p
p
+
b
q
q
, a, b 0.
Demonstracao. Fixe b e considere a func ao (a) =
a
p
p
+
b
q
q
ab.

E um exerccio simples
de Calculo 1 vericar que o mnimo absoluto de ocorre em a = b
1
p1
. Assim, para todo
a 0 (note que
p
p1
= q =
q+p
p
),
(a) (b
1
p1
) =
b
p
p1
p
+
b
q
q
b
1
p1
b =
b
q
p
+
b
q
q
b
q+p
p
=
b
q
p
+
b
q
q
b
q
= 0,
e portanto
a
p
p
+
b
q
q
ab.
Teorema 1.23. (Desigualdade de Holder) Sejam p, q > 1, tais que
1
p
+
1
q
= 1. Entao para
quaisquer a
k
, b
k
K (k = 1, . . . , n), temos
n

k=1
[a
k
b
k
[
_
n

k=1
[a
k
[
p
_1
p

_
n

k=1
[b
k
[
q
_1
q
.
Demonstracao. Se todos a
k
s ou todos b
k
s sao nulos, ent ao a desigualdade e trivial.
Suponha ent ao que nem todos a
k
s e nem todos b
k
s sao nulos. Para k = 1, . . . , n de-
12 MAT5721 - Leonardo Pellegrini
na
A
k
=
a
k
_
n

k=1
[a
k
[
p
_1
p
e B
k
=
b
k
_
n

k=1
[b
k
[
q
_1
q
.
Aplicando o lema anterior para cada A
k
e B
k
, obtemos
n

k=1
A
k
B
k

1
p
=1
..
n

k=1
A
p
k
+
1
q
=1
..
n

k=1
B
q
k
=
1
p
+
1
q
= 1,
e portanto
n

k=1
[a
k
b
k
[ =
_
n

k=1
A
k
B
k
_

_
n

k=1
[a
k
[
p
_1
p

_
n

k=1
[b
k
[
q
_1
q

_
n

k=1
[a
k
[
p
_1
p

_
n

k=1
[b
k
[
q
_1
q
.
Teorema 1.24. (Desigualdade de Minkowski) Se p [1, [ e a
k
, b
k
K (k = 1, . . . , n),
entao
_
n

k=1
[a
k
+b
k
[
p
_1
p

_
n

k=1
[a
k
[
p
_1
p

_
n

k=1
[b
k
[
p
_1
p
.
Demonstracao. A desigualdade para p = 1 j a foi mostrada no incio desta sec ao. Suponha
ent ao que p > 1 e seja q seu conjugado. Podemos assumir que a
k
, b
k
0. Por H older
obtemos que (Note que (p 1)q = p)
_
n

k=1
(a
k
+b
k
)
p
_
=
n

k=1
(a
k
+b
k
)
p1
(a
k
+b
k
)
=
n

k=1
(a
k
+b
k
)
p1
a
k
+
n

k=1
(a
k
+b
k
)
p1
b
k
(H older)

_
n

k=1
(a
k
+b
k
)
(p1)q
_1
q

_
n

k=1
[a
k
[
p
_1
p
+
_
n

k=1
(a
k
+b
k
)
(p1)q
_1
q

_
n

k=1
[b
k
[
p
_1
p
=
_
n

k=1
(a
k
+b
k
)
p
_1
q

_
_
_
n

k=1
[a
k
[
p
_1
p
+
_
n

k=1
[b
k
[
p
_1
p
_
_
,
1.5. Os Espacos
p
e L
p
13
e portanto
_
n

k=1
(a
k
+b
k
)
p
_
q1
q

_
n

k=1
[a
k
[
p
_1
p
+
_
n

k=1
[b
k
[
p
_1
p
. Como
q1
q
=
1
p
, obtemos
a desigualdade.
Vamos mostrar agora que a soma em
p
e bem denida a desigualdade triangular.
Sejam ent ao x, y
p
. Ent ao, por Minkowski, para todo n N,
_
n

k=1
[x
k
+y
k
[
p
_1
p

_
n

k=1
[x
k
[
p
_1
p
+
_
n

k=1
[y
k
[
p
_1
p

k=1
[x
k
[
p
_1
p
+
_

k=1
[y
k
[
p
_1
p
< .
Assim,
_

k=1
[x
k
+y
k
[
p
_1
p
|x|
p
+ |y|
p
, o que mostra que x + y
p
e que |x + y|
p

|x|
p
+|y|
p
.
Se p = , o espaco

foi denido em 1.13 e e um espaco de Banach. O proximo


teorema diz que os outros
p
s tambem s ao completos.
Teorema 1.25. Seja 1 p , entao
p
e um espaco de Banach.
Demonstracao. Se p = j a sabemos. Suponha ent ao que 1 p < . Seja (x
n
)
nN
uma sequencia de Cauchy em
p
. Note que aqui cada x
n
e uma sequencia de escalares
x
n
= (x
(1)
n
, x
(2)
n
, . . .)
p
. Como (x
n
)
nN
e uma sequencia de Cauchy, para todo > 0,
existe algum n
0
N tal que
n, m > n
0
|x
n
x
m
|
p
=
_

i=1
[x
(i)
n
x
(i)
m
[
p
_1
p
< . ()
Em particular, para cada i N, se n, m > n
0
ent ao [x
(i)
n
x
(i)
m
[ < . Isso nos mostra que
cada sequencia (x
(i)
n
)
n
e uma sequencia de Cauchy em K e portanto converge, por este ser
completo.
Dena entao x
(i)
= lim
n
x
(i)
n
e considere x = (x
(1)
, x
(2)
, . . .). Vamos mostrar que x
p
.
Como a sequencia (x
n
)
n
e de Cauchy, entao e limitada (Execcio). Logo, existe M > 0
tal que
_

i=1
[x
(i)
n
[
p
_1
p
M, para todo n N. Ent ao
_
k

i=1
[x
(i)
n
[
p
_
1
p
M, para todo
n, k N. Fazendo n , obtemos que
_
k

i=1
[x
(i)
[
p
_
1
p
M, para todo k N. Entao
_

i=1
[x
(i)
[
p
_1
p
M, o que mostra que x
p
.
14 MAT5721 - Leonardo Pellegrini
Resta mostrar que (x
n
)
n
converge para x (na norma de
p
). Dado > 0, fazendo
m em (), obtemos que
_
k

i=1
[x
(i)
n
x
(i)
[
p
_
1
p
, para n > n
0
e k N. Ent ao,
|x
n
x|
p
=
_

i=1
[x
(i)
n
x
(i)
[
p
_1
p
, se n > n
0
.
Denicao 1.26. Seja 1 p < . Denotamos por L
p
[0, 1] o espaco vetorial
das classes de equivalencias das funcoes escalares (Lesbesgue)-mensuraveis tais que
_
[0,1]
[f(t)[
p
dt < (Aqui duas funcoes estao na mesma classe se sao iguais quase
sempre), munido de uma norma natural
|f|
p
=
__
[0,1]
[f(t)[
p
dt
_1
p
.
Denotamos por L

[0, 1] o espaco vetorial das classes de equivalencias das funcoes


escalares (Lesbesgue)-mensuraveis que sao limitadas quase sempre munido da norma
|f|

= inf > 0 : t [0, 1] : f(t) > = 0,


onde denota a medida de Lesbeguem em [0, 1].
Os espaco acima denidos s ao espacos de Banach. A demonstrac ao pode ser encon-
trada em qualquer livro sobre a medida de Lesbegue.
1.6 Espacos Separaveis
Seja X um espaco metrico e suponha que D A X. Dizemos que D e denso em A
se toda bola aberta centrada em elementos de A contem algum elemento de D. Observe
que isso signica que todo elemento de A e aderente a D. Ent ao, D e denso em A se
D A.

E facil ver que se D e denso em A e A e denso em X, entao D e denso em X.
Tambem e imediato que A e denso em

A. Verique como exerccio.
Um subconjunto A X e dito separavel se possui um conjunto enumer avel denso.
Por exemplo, sabemos que um intervalo da reta e separ avel, pois o conjunto dos racionais
deste intervalo e enumeravel e denso. Em particular a reta e um espa co separ avel.
Estaremos interessados em saber quando um espaco normado e separ avel. O seguinte
criterio e util para decidir. Lembramos que se A e um subconjunto de X, ent ao [A] denota
o subespaco gerado por A (no sentido da

Algebra Linear).
1.6. Espacos Separ aveis 15
Proposicao 1.27. Seja X um espaco normado sobre K.
(a) Se X possui um subconjunto A enumeravel (podendo ser nito) tal que X = [A], entao
X e separavel.
(b) Se X possui um subconjunto B nao enumeravel tal que, para algum r > 0, |xy| r,
para qualquer par de elementos distintos x, y de B, entao X nao pode ser separavel.
Demonstracao. (a) Seja S = [A]. Um elemento de S e portanto uma combinac ao linear
(nita!!) de elementos de A. Seja D o subconjunto de S formado apenas pelas combinac oes
lineares com coecientes racionais (Se K = C, coecientes com parte real e imagin aria
racionais). Ent ao D tem a cardinalinada das func oes nitas de N em Q e portanto e
enumer avel (aqui e importante que seja combina cao nita).

E f acil ver que D e denso em
em S. Claramente, S e denso em S = [A] = X. Logo, D e denso em X, sendo separ avel.
(b) Seja D um conjunto denso qualquer em X. As bolas centradas em elementos de B e
raio r/2 s ao disjuntas. Cada uma dessas bolas deve conter pelo menos um elemento de
D. Como ha uma quantidade nao enumeravel dessas bolas, segue que D n ao pode ser
enumer avel. Logo, X n ao possui conjunto enumer avel denso.
Vamos usar a proposicao anterior para dar exemplo de espacos separ aveis e n ao
separ aveis.
Exemplo 1.28. c
0
e um espaco separavel. De fato, considere a sequencia unitaria
can onica e
n
= (0, . . . , 0,
nesima
..
1 , 0, . . .). Vamos mostrar que c
0
= [e
n
: n N] e portanto c
0
ser a separ avel pela parte (a) da proposic ao anterior. Seja ent ao x = (x
n
) c
0
e > 0.
Ent ao, existe n
0
tal que [x
n
[ < , se n > n
0
. A sequencia x

= (x
1
, x
2
, . . . , x
n
0
, 0, 0, . . .)
est a em [e
n
: n N] e |x x

| < . Como era arbitrario, segue que x [e


n
: n N].
Exemplo 1.29.

nao e separavel. Considere, para cada subconjunto N N a


sequencia caracterstica de N. Ou seja, a sequencia x = x
N
= (x
n
), onde x
n
= 1 se
n N e x
n
= 0 se n / N. Claro que cada uma destas sequencias est a em

. Tomamos
o conjunto B = x
N
: N N

. Ent ao a cardinalidade de B e a das partes de N e


portanto n ao enumeravel. Alem disso, |x
N
x
N
| = 1, se N

,= N. Entao, pela parte (b)


da proposicao anterior,

n ao e separavel.
Exemplo 1.30. Qualquer espaco normado de dimensao nita e separavel, pois e gerado
por um conjunto nito. (Que conjunto e esse?)
Exemplo 1.31. Pelo Teorema de Aproximac ao de Weierstrass, os polin omios s ao densos
emc[0, 1] (Veja por exemplo o livro do Elon de Espacos Metricos). Ent ao, [t
n
: n = 0, 1, . . .] =
c[0, 1], o que mostra que c[0, 1] e separavel.
16 MAT5721 - Leonardo Pellegrini
1.7 Aplicac oes Lineares
Estaremos agora tratando das aplicac oes lineares entre espa cos normados. Os as-
pectos algebricos destas aplica coes s ao estudados no curso de

Algebra Linear. Como um
espaco normado tambem possui uma estrutura topologica, e natural estuda-las tambem
no que diz respeito `a continuidade.
Se X e um espaco normado denotaremos por B
X
a bola fechada de raio 1 centrada
na origem. Ou seja B
X
= x X : |x| 1. A esfera unit aria de X e o conjunto
S
X
= x X : |x| = 1. Comecamos com o seguinte resultado.
Proposicao 1.32. Sejam x e Y espacos normados e T : X Y linear. Entao sao
equivalentes:
(a) T e contnua;
(b) T e contnua na origem;
(c) existe uma constante M > 0 tal que |T(x)| M para qualquer x B
X
.
(d) existe uma constante M > 0 tal que |T(x)| M|x| para qualquer x X.
Demonstracao. (a) (b):

E evidente.
(b) (c): Como T e contnua na origem, para = 1, existe > 0 tal que, para
qualquer x X, com |x| < , temos que |T(x)| < 1. Se x B
X
, temos que |
x
2
| < e
portanto |T
_
x
2
_
| < 1. Ent ao, pela linearidade de T, |T(x)| <
2

.
(c) (d): Se x X 0, temos que
x
x
tem norma 1 e portanto T
_
x
x
_
M.
Ent ao, |T(x)| M|x|. Se x = 0, temos que T(x) = 0 e a desigualdade tambem e
satisfeita.
(d) (a): Se existe M > 0 tal que |T(x)| M|x| para qualquer x X, ent ao
dados u, v X temos que |T(u) T(v)| = |T(u v)| M|u v|. Isso mostra que T
e lipschitziana e portanto (uniformemente) contnua.
O item (c) nos mostra que aplicacoes lineares contnuas s ao limitadas sobre B
X
.

E
por esse motivo que aplicac ao lineares contnuas sao tambem chamadas de limitadas.
1.7. Aplicacoes Lineares 17
Antes do pr oximo exemplo, salientamos que se | | e | |
0
s ao normas equivalentes
em X ent ao uma func ao f denida em X ser a contnua segundo | | se, e somente se, o
for segundo | |
0
.
Exemplo 1.33. Qualquer aplicacao linear denida em K
p
e contnua. Vamos demonstar
este fato usando a norma da soma de K
p
. Como sabemos, ela e equivalente `a norma
euclidiana e mais simples de se trabalhar. Seja e
1
, e
2
, . . . , e
p
a base canonica de K
p
e
considere uma aplicacao linear T : K
p
Y linear. Ent ao
|T(x
1
, . . . , x
p
)| = |x
1
T(e
1
) + +x
p
T(e
p
)|
[x
1
[|T(e
1
)| + +[x
p
[|T(e
p
)|
max
i=1,...,p
|T(e
i
)| ([x
1
[ + +[x
p
[)
= M|(x
1
, . . . , x
p
)|
1
,
onde M = max
i=1,...,p
|T(e
i
)|. Logo T e contnua pela proposic ao anterior.
Exemplo 1.34. Considere o espa co vetorial T(R) de todos os polin omios reais munido
da norma |p| = sup
t[0,1]
[p(x)[. Entao o operador derivac ao D : T(R) T(R) nao e
contnuo, pois para cada n N o polinomio t
n
est a em B
P(R)
mas sua derivada nt
n1
tem
norma n. Como n pode ser sucientemente grande, segue que e impossvel encontrar M
como na proposic ao anterior.
Um isomorsmo entre espacos normados, ou simplesmente isomorsmo, e uma aplica coes
linear contnua inversvel e com inversa contnua. Ou seja, e um isomorsmo no sentido da

Algebra Linear e um homeomorsmo. Se h a um isomorsmo entre X e Y , entao diremos


que X e Y s ao isomorfos e escreveremos X

= Y .
Lembramos que inversa de aplicac ao linear e sempre linear, mas nem sempre e
contnua, como mostra o exemplo seguinte.
Exemplo 1.35. Considere X = c
00
e o operador linear T : c
00
c
00
dado por
T(x
1
, x
2
, x
3
, . . .) = (x
1
,
x
2
2
,
x
3
3
, . . .). Temos que, se x = (x
1
, x
2
, x
3
, . . .) c
00
,
|T(x)| = |(x
1
,
x
2
2
,
x
3
3
, . . .)| = sup
nN
[x
1
[, [
x
2
2
[, [
x
3
3
[, . . . sup
nN
[x
1
[, [x
2
[, [x
3
[, . . . = |x|.
Logo, T e contnua pelo item (c) da proposic ao. Porem, a inversa de T e dada por
T
1
(x
1
, x
2
, x
3
, . . .) = (x
1
, 2x
2
, 3x
3
, . . .). Para cada n N, os vetores
e
n
= (0, . . . , 0,
nesima
..
1 , 0, . . . , ) tem norma 1 mas |T(e
n
)| = n. Logo, T
1
n ao satisfaz
o item (c) da proposic ao.
18 MAT5721 - Leonardo Pellegrini
Observe que no exemplo anterior o espaco normado em quest ao n ao era completo,
como vimos em 1.16. Isso n ao foi por acaso. Veremos mais para frente que se os espacos
forem completos, ent ao a inversa e sempre contnua. Ser a uma consequencia do Teorema
da Aplicac ao Aberta.
O seguinte criterio e t ao simples quanto util.
Proposicao 1.36. Uma bijecao linear T : X Y e um isomorsmo, se, e somente se,
existem constantes positivas a e b tais que a|x| |T(x)| b|x|, x X.
Demonstracao. De fato, a segunda desigualdade nos diz que T e contnua. A primeira
que T
1
e contnua, pois dado y Y , existe x X tal que T(x) = y e portando
|T
1
(y)| = |x| a
1
|T(x)| = a
1
|y|.
Corolario 1.37. Para que duas normas | | e | |
0
sejam equivalentes e necessario e
suciente que existam constantes positivas a e b tais que a|x|
0
|x| b|x|
0
, x X.
Demonstracao. Que a condi cao acima e suciente foi visto na proposic ao 1.6. Para
mostrar que e necess aria, basta observar que as normas serem equivalente signica que a
identidade de
_
X, | |
_
em
_
X, | |
0
_
e um isomorsmo.
Teorema 1.38. Seja T : X Y um isomorsmo entre espacos normados. Entao, se X
for de Banach, entao Y tambem sera.
Demonstracao. Seja (y
n
)
n
uma sequencia de Cauchy em Y . Temos que mostrar que (y
n
)
n
converge. Seja ent ao > 0. Para cada n, y
n
= T(x
n
), com x
n
X. Ent ao,
|x
n
x
m
| = |T
1
(y
n
) T
1
(y
m
)| = |T
1
(y
n
y
m
)| M|y
n
y
m
|,
pois T
1
e contnua. Logo, como (y
n
)
n
e de Cauchy existe n
0
N tal que |y
n
y
m
| <

M
,
se n, m > n
0
. Assim, se n, m > n
0
, temos que |x
n
x
m
| M|y
n
y
m
| < M

M
= .
Vemos que (x
n
)
n
e uma sequencia de Cauchy em X e portanto converge para algum
x X, j a que X e completo. Pela continuidade de T, y
n
= T(x
n
) T(x), o que mostra
que (y
n
)
n
converge.
Observacao 1.39. O teorema anterior nos diz que ser Banach e preservado por isomor-
smos. Talvez seja interessante observar que em espacos metrico em geral nem sempre ser
completo e preservado por homeomorsmos. Por exemplo, N e 1/n : n N s ao homeo-
morfos pois ambos sao enumer aveis e discretos. Porem, N e completo e 1/n : n N n ao
(convenca-se disso). O que acontece e que os isomorsmos sao sempre homeomorsmos
uniformes, pela proposic ao 1.32. Estes sempre preservam a completude.
1.7. Aplicacoes Lineares 19
Como uma aplicac ao do teorema anterior, vamos mostrar que todo espa co de di-
mens ao nita e de Banach.
Proposicao 1.40. Seja V um espaco normado sobre K de dimensao nita p. Entao V e
isomorfo a K
p
. Consequentemente, todo espaco normado de dimensao nita e de Banach.
Demonstracao. Tomamos uma base v
1
, v
2
, . . . , v
p
de V . Denimos a aplicac ao T : K
p

V pondo T(x
1
, . . . , x
p
) = x
1
v
1
+ + x
p
v
p
. Pela denic ao de base, T e um isomorsmo
algebrico. Pelo exemplo 1.33, T e contnua. Resta mostrar que T
1
e contnua. S
K
p e
um subconjunto limitado e fechado de K
p
e portanto compacto. Entao a fun cao contnua
x |T(u)| admite mnimo M em S
K
p. Mas como T e injetora, segue que T(u) ,= 0, para
todo u S
K
p e portanto |T(u)| M > 0. Assim, se x K
p
0, |T(
x
x
)| M > 0 e
portanto |T(x)| M|x|. Isso mostra que T e um isomorsmo, pela proposic ao 1.36.
Que V e um espaco de Banach segue imediatamente do teorema anterior.
Corolario 1.41. Se X e um espaco normado, entao todo subespaco V X de dimensao
nita e fechado.
Demonstracao. Se V tem dimes ao nita, V e Banach e portanto fechado pela proposic ao
1.17.
Corolario 1.42. Toda aplicacao linear denida em um espaco normado de dimensao
nita e contnua.
Demonstracao. Seja T : V Y , V de dimens ao nita. Tomamos S : K
p
V iso-
morsmo. Entao T S e contnua pois est a denida em K
p
(exemplo 1.33). Mas
T = (T S) S
1
e portanto e contnua.
Corolario 1.43. Quaisquer duas normas denida em um espaco vetorial de dimensao
nita sao equivalentes.
Demonstracao. Se V tem dimensao nita ent ao a aplica cao identidade de
_
V, | |
_
em
_
V, | |
0
_
e sempre isomorsmo. Logo
_
V, | |
_
e
_
V, | |
0
_
tem a mesma topologia.
20 MAT5721 - Leonardo Pellegrini
1.8 O espaco /(X; Y )
Sejam X e Y espacos normados. Denotaremos por /(X; Y ) o espaco vetorial das
aplicac oes lineares contnuas (ou limitadas) de X em Y . As operac oes de espa co vetorial
em /(X; Y ) sao as usuais.
Em particular, se Y = K denotaremos /(X; K) por X

. Ou seja, X

e o espaco de
todos os funcionais lineares contnuos denidos em X. Note que X

e sempre Banach,
pois K e completo. Para evitar confus ao, o espaco vetorial dos funcionais lineares em X
ser a chamado de dual algebrico de X e o denotaremos por X
#
. Como vimos, se V tem
dimens ao nita, ent ao todo funcional linear e contnuo e portanto V

= V
#
. Porem, se
X tem dimensao innita X
#
sempre possui funcionais descontnuos. Veja os exerccios.
Considere a funcao T /(X; Y ) |T| = sup
xB
X
|T(x)|. Pela proposic ao 1.32
temos que sup
xB
X
|T(x)| e nito e portanto |T| est a bem denida. Se |T| = 0,
|T(x)| = 0 para todo x em B
X
e portanto T e identicamente nula em B
X
. Pela lin-
earidade, T e a aplicac ao nula. De maneira indentica ao exemplo 1.3 mostramos que
|T| = [[|T| e |T +S| |T| +|S|. Vemos entao que |T| = sup
xB
X
|T(x)| e uma
norma em /(X; Y ).
Note que se T /(X; Y ) ent ao e imediato pela linearidade de T e pela denicao
de supremo que |T(x)| |T||x|, para todo x X. O pr oximo teorema e sobre a
completude de /(X; Y ).
Teorema 1.44. O espaco normado /(X; Y ) e um espaco de Banach, se Y o for.
Demonstracao. Seja (T
n
)
n
uma sequencia de Cauchy em /(X; Y ). Ent ao para todo > 0,
existe algum n
0
N tal que
n, m > n
0
|T
n
T
m
| = sup
xB
X
|(T
n
T
m
)(x)| < . ()
Assim, para cada x X, |T
n
(x) T
m
(x)| = |(T
n
T
m
)(x)| |T
n
T
m
||x|. Ent ao,
para cada x xado temos por () que a sequencia (T
n
(x))
n
uma sequencia de Cauchy em
Y e portanto converge (pois Y e Banach). Dena T : X Y pondo T(x) = lim
n
T
n
(x).
Observe que, se x B
X
e n, m > n
0
|T
n
(x) T(x)| |T
n
(x) T
m
(x)| +|T
m
(x) T(x)| |T
n
T
m
| +|T
m
(x) T(x)|
< +|T
m
(x) T(x)|.
1.8. O espaco /(X; Y ) 21
Fazendo m , obtemos que |T
n
(x) T(x)| para qualquer x B
X
. Ent ao,
sup
xB
X
|T
n
(x) T(x)| , se n > n
0
()
Devemos mostrar que T /(X; Y ). T e claramente linear, pois
T(x +y) = lim
n
T
n
(x +y) = lim
n
(T
n
(x) +T
n
(y)) = lim
n
T
n
(x) + lim
n
T
n
(y)
= T(x) +T(y),
pela continuidade das opera coes.
Mostremos agora que T e contnua. Fazendo = 1 em (), encontramos n tal que
|T
n
(x) T(x)| < 1 para qualquer x B
X
e portanto
|T(x)| |T(x) T
n
(x)[ +|T
n
(x)| 1 +|T
n
|, x B
X
.
Logo, T e limitada em B
X
.
Finalmente, e imediato por () que (T
n
)
n
converge para T.
Se Y n ao e Banach n ao ha motivo de /(X; Y ) ser. Daremos exemplo nos exerccios.
O proximo resultado e sobre extens ao de aplica coes lineares.
Teorema 1.45. Sejam X um espaco normado e Y um espaco de Banach. Se M um
subespaco de X e T /(M; Y ), entao T admite uma unica extensao contnua T : M Y .
Tal extensao e tambem linear e |T| = |T|.
Demonstracao. Seja x M. Entao existe uma sequencia (x
n
)
n
convergindo para x. A
sequencia (x
n
)
n
, por ser convergente, e de Cauchy em M. Ent ao T(x
n
)
n
tambem e de
Cauchy em Y e portanto converge, por Y ser completo. Denimos T(x) = lim
n
T(x
n
).
Note que se (y
n
)
n
e outra sequencia que converge para x, ent ao, lim
n
T(x
n
)lim
n
T(y
n
) =
lim
n
T(x
n
y
n
) = T(lim
n
(x
n
y
n
)) = 0. Logo, T est a bem denida.

E facil ver que T e linear. Se m M, entao tomando a sequencia constante igual a


m, vemos que T(m) = lim
n
T(m) = T(m). Logo, T estende T.
Pela densidade de B
M
emB
M
e pelo modo que T foi denida, vemos que sup
xM
|T(x)| =
sup
xM
|T(x)| = |T|, o que mostra que T e contnua e |T| = |T|.
A unicidade segue do fato de que se duas func oes contnuas coincidem em um conjunto
denso do domnio, ent ao coincidem em todo domnio.
22 MAT5721 - Leonardo Pellegrini
1.9 Isometrias
Uma aplicacao linear T : X Y e uma imersao isometica se |T(x)| = |x|, x X.
As seguintes propriedades s ao imediatas.
Proposicao 1.46. Seja T : X Y uma imersao isometica. Entao
(a) T e contnua;
(b) T e injetora;
(c) T e inversvel sobre sua imagem e T
1
: ImT X tambem e uma imersao
isometrica e portanto e contnua.
Demonstracao. (a) Basta tomar M = 1 na proposicao 1.32.
(b)

E injetora pois T(x) = 0 |T(x)| = 0 |x| = 0 Ker T = 0.
(c) Dado y ImT, seja x X tal que T(x) = y. Ent ao
|T
1
(y)| = |T
1
_
T(x)
_
| = |x| = |T(x)| = |y|.
Logo T
1
: ImT X e uma imersao isometrica e portanto contnua pelo item (a).
Tendo em vista a proposi cao anterior, para uma imers ao isometrica ser um isomor-
smo basta que seja sobrejetora. Chameremos ent ao uma imers ao isometrica sobreje-
tora de isomorsmo isometrico ou simplesmente isometria. Se existir um isomorsmo
isometrico entre X e Y escreveremos X Y . Quando dois espacos s ao isometricos, existe
uma correspondencia entre seus elementos que preserva tanto a estrutura algebrica quanto
a norma. Ou seja, podem ser diferentes como conjunto, mas sao identicos como espacos
normados.
Veremos um exemplo importante de imers ao isometrica quando estudarmos os espa cos
duais.
1.10 O espaco Quociente
Seja X um espaco vetorial e M um subespaco de X. Lembramos que o espaco
quociente de X por M e o espaco vetorial X/M formado pelas classes de equivalencias
1.10. O espaco Quociente 23
x + M = x + m : m M, munido das operac oes (x + M) + (y + M) = (x + y) + M e
(x +M) = (x) +M.
Note que a classe x

+ M e igual a classe x + M se, e somente se, x

x M.
De fato, se x

+ M = x + M ent ao existem m, m

M tais que x

+ m

= x + m.
Logo x

x = m

m M. Reciprocamente, se x

x M, entao dado um elemento


x +m x +M podemos escrever x +m = x +x

+m = x

+ (x x

+m) x

+M
e portanto x +M x

+M. A outra inclus ao se ve de maneira identica.


A partir dai e f acil ver que as operacoes est ao bem denidas. Por exemplo,
x

+M = x+M x

x M (x

x) M x

x M x

+M = x+M.
A soma se faz de maneira an aloga.
As propriedades de espaco vetorial s ao f aceis de serem vericadas usando as de X.
Salientamos apenas que o elemento neutro de X/M e 0 +M = M.
Agora suponha que X seja normado. Estamos interessados em denir uma norma
em X/M. Considere a func ao |x +M| = inf
mM
|x +m|. Como M e um subespaco, entao
inf
mM
|x+m| = inf
mM
|xm| = d(x, M) s ao outras formas de se calcular |x+M|. Temos
o seguinte resultado.
Proposicao 1.47. Seja X um espaco normado e M um subespaco de X. Entao a funcao
denida em X/M por |x+M| = inf
mM
|x+m| e uma semi-norma. Se M for um subespaco
fechado, entao | | sera uma norma.
Demonstracao. Sejam x + M e y + M elementos de X/M. Para quaisquer m
1
, m
2
M
temos que
|(x +M) + (y +M)| = |(x +y) +M| = inf
mM
|x +y +m| |x +y + (m
1
+m
2
)|
|x +m
1
| +|y +m
2
|.
Tomando o nmo obtemos |(x +M) + (y +M)| |x +M| +|y +M|.
Considere agora K 0. Ent ao
|(x+M)| = |x+M| = inf
mM
|x+m| = inf
mM
|x+m| = [[ inf
mM
|x+m| = [[|x+M|.
O caso = 0 e trivial (note que 0 M!). Vemos ent ao que | | e uma semi-norma.
Suponha agora que M seja fechado. Entao |x +M| = 0 signica que d(x, M) = 0 e
portanto x M = M. Ent ao x +M = M = 0.
24 MAT5721 - Leonardo Pellegrini
O proposic ao anterior nos diz que X/M e mais interessante quando M for fechado,
pois neste caso X/M e normado. Alem disso, se X e completo, tal propriedade e repassada
para X/M:
Teorema 1.48. Seja X um espaco de Banach e M um subespaco fechado de X. Entao
X/M e um espaco de Banach.
Demonstracao. Pela proposicao anterior X/M e um espaco normado. Temos apenas que
mostrar que e completo. Usaremos a caracterizac ao vista em 1.20. Seja

nN
x
n
+M uma
serie absolutamente convergente em X/M. Pela denic ao de nmo, para cada n N
existe y
n
x
n
+ M com |y
n
| < |x
n
+ M| + 2
n
. Entao a serie

nN
y
n
e absolulamente
convergente no espaco de Banach X e portanto converge. Seja y seu limite e considere a
classe y +M. Como
|(y +M)
k

n=1
(x
n
+M)| |y
k

n=1
y
n
|
k
0,
vemos que

nN
x
n
+M converge para y+M. Mostramos ent ao que toda serie absolutamente
convergente em X/M converge, o que equivale dizer que X/M e Banach.
Seja M subespaco fechado do normado X. A aplicacao quociente de X em X/M e
denida por (x) = x +M. Veremos agora algumas propriedades dessa aplicac ao.
Teorema 1.49. Se M e um subespaco fechado de um espaco normado X, aplicacao
quociente : X X/M tem as seguinte propriedades:
(a) e aplicacao linear contnua.
(b) leva a bola unitaria aberta de X na de X/M.
(c) e uma aplicacao aberta.
(d) Ker = M
Demonstracao. (a) Pela denic ao das operac oes em X/M, e claramente linear. Dado
x X, pela denicao da norma em X/M temos que |(x)| = |x + M| |x|, o que
mostra que e contnua.
1.10. O espaco Quociente 25
(b) Sejam U
1
e U
2
as bolas unit arias abertas de X e X/M respectivamente. Se
x U
1
, |(x)| = |x+M| |x| < 1. Logo (x) = x+M U
2
. Seja agora x+M U
2
.
Ent ao |x + M| < 1. Novamente pela denic ao de nmo, existe y x + M tal que
|x +M| |y| < 1. Ent ao y U
1
e (y) = y +M = x +M, e portanto (U
1
) U
2
.
(c) Considere um conjunto U ,= aberto em X. Seja x+M (U) arbitr ario. Como
U e um conjunto aberto, deve existir r > 0 tal que x + rU
1
U. Logo, pela linearidade
de e pelo item anterior, (y) +r(U
1
) = (x+M) +rU
2
T(U). Segue entao que T(U)
e um conjunto aberto.
(d) Claro que M est a contido no n ucleo de . Por outro lado, se (x) ,= 0, entao
x +M ,= 0 = M e assim |x +M| = d(x, M) ,= 0. Logo x , M.
Para denirmos uma aplicacao em X/M temos que tomar certo cuidado para nao
depender da escolha dos representantes das classes. Veja como zemos quando denimos
as operacoes em X/M. Neste sentido, o teorema seguinte e util.
Teorema 1.50. Sejam X e Y espacos normados e T : X Y linear. Suponha que M
seja um subespaco fechado de X contido no n ucleo de T. Entao existe uma unica funcao
S : X/M Y tal que T = S . Tal funcao S e linear e tem a mesma imagem de T.
Se M = Ker T, S sera injetora. A aplicacao S sera contnua se, e somente se, T o for.
Neste caso, |S| = |T|. Analogamente, S sera aberta se, e somente se, T tambem for
aberta.
Demonstracao. Dena S(x + M) = T(x) para cada x X. Se x + M = y + M, ent ao
x y M Ker T e portanto T(x) = T(y). Ent ao S est a bem denida.

E imediato que
T = S e portanto est a provada a existencia. Suponha que S

: X/M Y seja tal que


T = S

. Ent ao S

(x +M) = S

((x)) = T(x) = S(x). Isso mostra a unicidade.


Tambem e imediato que S e linear e que T e S tem a mesma imagem. Suponha ent ao
que M = Ker T. Ent ao
S(x +M) = 0 S((x)) = 0 T(x) = 0 x Ker T x M x +M = M = 0.
Logo S e injetora.
Se U
1
e U
2
denotam as bolas abertas unit arias de X e X/M respectivamente, entao
pelo Teorema 1.49 (U
1
) = U
2
e portanto
sup
x+MU
2
|S(x +M)| = sup
xU
1
|S((x))| = sup
xU
1
|T(x)|.
26 MAT5721 - Leonardo Pellegrini
Assim, S ser a contnua se, e somente se, T for contnua e em caso armativo, |S| = |T|.
Finalmente, se S for aberta, T tambem sera, como composta de aplicacoes abertas.
Reciprocamente, se T e aberta, entao dado um aberto U em X/M temos que
S(U) = S
_
(
1
(U))
_
= T(
1
(U)).
Pelo Teorema 1.49, e contnua e portanto
1
(U) e aberto em X/M. como T e aberta,
segue que S(U) e aberto em X. Logo, S tambem e aberta.
Nos exerccios h a algumas aplicac oes do teorema anterior. Dele tambem resultara o
Teorema do Isomorsmo para espacos de Banach, que e uma vers ao do conhecido teorema
hom onimo para grupos. Mas antes precisaremos do Teorema da Aplicacao Aberta, que
veremos na parte seguinte.
1.11 Exerccios
Topologia dos espacos normados
1. Seja X um espaco normado.
(a) Mostre que toda sequencia convergente em X e limitada, de Cauchy e possui
um unico limite.
(b) Mostre que se uma sequencia (x
n
) X e convergente, ent ao qualquer sub-
sequencia de (x
n
) X converge para o mesmo limite.
(c) Mostre que se uma sequencia de Cauchy possui uma subsequencia convergente,
ent ao ela e convergente.
2. Seja X um espaco normado.
(a) Mostre que se x
0
X e K 0 ent ao sao homeomorsmos as aplicac oes
x X x +x
0
X e x X x X.
(b) Conclua que um subconjunto A de X e aberto se, e somente se,
x
0
+ A
def
= x
0
+ a : a A e aberto. Mostre o resultado an alogo para
A
def
= a : a A com K 0.
(c) Mostre que se A e aberto e B e um conjunto qualquer, entao A + B
def
= a + b :
a A, b B e aberto em X. Sugestao: Escreva A + B como uniao de conjuntos
abertos.
(d) Se F e G s ao fechados em X, F + G e necess ariamente fechado? Prove ou de
1.11. Exerccios 27
um contra-exemplo.
(e) Mostre que se F e fechado e K e compacto ent ao F + K e fechado. Sugestao:
Use a caracterizacao de compacidade por sequencia, valida para espacos metricos.
(f) Mostre que A + B A +B.

E v alida a inclusao contraria? O item (d) pode
ajudar.
3. (Conjuntos convexos) Um subconjunto C de um espaco vetorial e convexo se, para
todo escalar [0, 1] e x, y C temos que x+(1)y C. Por exemplo, as bolas
de um espaco normado s ao convexas (verique). Mostre que se C e um subconjunto
convexo de um espaco normado, ent ao seu fecho tambem e convexo.
4. (Distacia de ponto a conjunto) Se A e um subconjunto de um espaco normado X,
denimos a distancia de x X a A pondo d(x, A) = inf|x a| : a A. Prove
que x A d(x, A) = 0.
Espacos de Banach
5. Mostre que c o espaco vetorial das sequencias convergentes munido da norma do
supremo e um espaco de Banach.
6. Mostre que
1
equipado com a norma do sup n ao e um espa co de Banach.
7. (Soma direta externa) Sejam (X, | |) e (Y, | |
0
) espacos normados.
(a) Mostre que [[[ [[[ : X Y R
+
dada por [[[(x, y)[[[ = max| x |, | y |
0
e
uma norma em X Y .
(b) Se X e Y s ao espacos de Banach, mostre que
_
X Y, [[[ [[[
_
e um espa co
de Banach.
_
X Y, [[[ [[[
_
e chamado de soma direta externa de X e Y .
8. (a) Mostre |f|
1
=
_
1
0
[f(x)[dx e uma norma em c[0, 1].
(b) Verique se
_
c[0, 1], | |
1
_
e um espaco de Banach.
(c) Qual a relac ao entre as topologias geradas por | |
1
e | |

?
9. Mostre que
p
e L
p
[0, 1] s ao separ aveis se 1 p < . Sugestao: Use o fato de que
as funcoes contnuas sao densas em L
p
[0, 1] (com a norma p!) se 1 p < .
10. Mostre que se X e separ avel, qualquer subconjunto de X e separ avel. Consequente-
mente, qualquer subespaco de X e separ avel.
28 MAT5721 - Leonardo Pellegrini
Aplicac oes Lineares
11. (a) Mostre que se X e um espaco normado de dimensao innita e Y ,= 0, ent ao
existe uma aplicac ao linear de X em Y descontnua. Sugestao: Use uma base
algebrica de X e construa uma aplicacao linear nao limitada
(b) Conclua que se X e um espaco normado de dimens ao innita ent ao X

,= X
#
.
12. Se T /(X, Y ), e imediato da continuidade de T que kerT = T
1
(0) e fechado
em X (por que?). Mostre que a recproca e falsa exibindo uma aplicac ao linear
descontnua de n ucleo fechado. Sugestao: Pense em alguma aplicacao injetora de-
scontnua.
13. Mostre que a imagem de um operador linear contnuo nao precisa ser fechada.
14. Sejam X e Y espacos normados.
(a) Mostre se T
n
T em /(X, Y ), entao T
n
(x) T(x), x X. Ou seja, a
convergencia em /(X, Y ) implica convergencia pontual.
(b) Mostre que a recproca n ao e verdadeira. Para isso, considere a sequencia
e
n
: c
0
K denida por e

n
_
(x
m
)
m
_
= x
n
. Mostre que (e

n
) converge pontualmente
para o funcional nulo mas nao em norma.
15. Mostre que se Y n ao for Banach, entao /(X, Y ) pode n ao ser completo. Sugestao:
Talvez seja facil construir uma sequencia de Cauchy em /(

, c
00
) nao convergente.
Na verdade, sempre que Y nao for completo /(X, Y ) tambem nao sera. Veremos
isso mais adiante.
16. Sejam X, Y e Z espacos normados sobre K. Sejam T /(X, Y ) e S /(Y, Z).
(a) Prove que S T /(X, Z) e que | S T | | S | | T |.
(b) De um exemplo para mostrar que a desigualdade pode ser estrita.
17. Seja T : c[0, 1] c[0, 1] dada por T(f) = g, onde g(t) =
_
1
0
k(t, s)f(s)ds e k e uma
func ao contnua em [0, 1] [0, 1]. Prove que T e um operador linear contnuo.
18. Verique que uma aplica cao linear entre espacos normados e contnua se, e somente
se, e limitada em alguma bola.
19. Mostre que se D e um subconjunto denso em B
X
e T /(X, Y ), entao |T| =
sup
dD
|T(d)|.
20. Mostre que se T /(X, Y ), ent ao |T| = sup
x=1
|T(x)| = sup
x<1
|T(x)|.
1.11. Exerccios 29
21. Mostre que c e isomorfo a c
0
mas n ao isometrico. Sugestao: Para mostrar que nao
sao isometricos mostre que dado um elemento x c
0
de norma 1, existem x
1
e x
2
distintos em c
0
tambem de norma 1 tais que x =
1
2
(x
1
+x
2
).
22. Mostre que
p
pode ser isometricamente imerso em L
p
[0, 1]. Ou seja, que
p
e
isometrico a um subespaco de L
p
[0, 1].
23. Mostre que L

[0, 1] nao e separ avel.


24. Mostre que

e isometrico a c(N), onde N e a compacticac ao de Stone-

Cech
dos Naturais. A compacticacao de Stone-

Cech N dos Naturais e o unico espaco


topologico compacto (a menos de homeomorsmo) que contem N densamente com
a propriedade de que toda funcao de N em [0, 1] se estende continuamente a N.
Quociente
25. Seja M = f C[0, 1] : f(0) = 0. Mostre que M e um subespaco fechado de
c[0, 1]. De uma expressao mais simples para a norma quociente de c[0, 1]/M. Este
quociente e isometrico a qual espaco conhecido? Explicite a isometria.
26. Seja M o subespaco de c formado pelas sequencias constantes. c/M e isomorfo a
qual espaco conhecido?
27. (Operadores de Posto Finito) Um operador linear tem posto nito se sua imagem
(que e sempre um subespa co vetorial) tem dimens ao nita. Mostre que um operador
linear de posto nito e contnuo se, e somente se, seu n ucleo e fechado.
Sugestao: Um lado e direto. Para o outro, use o quociente do domnio do operador
por seu n ucleo.
Compare com o exerccio 12. Observe que funcionais lineares tem posto nito.
28. Mostre que se X for separavel, qualquer quociente de X tambem sera.
Parte 2
Os Teoremas Fundamentais
2.1 Consequencias do Teorema de Baire
Lembramos que um subconjunto de um espaco topologico X e de primeira categoria
em X se pode ser escrito como uni ao enumer avel de conjuntos cujos respectivos fechos tem
interior vazio. Por exemplo, Q e de primeira categoria em R, pois Q e uni ao enumer avel
de seus pontos que evidentemente tem interior vazio. Um subconjunto e de segunda
categoria se n ao e de primeira categoria. Ou seja, se nao e possvel escreve-lo como uniao
enumer avel de conjuntos cujos fechos tem interior vazio. Destacamos a seguir o Teorema
de Baire.
Teorema 2.1. (de Baire) Seja M um espaco metrico completo. Entao cada aberto de M
e de segunda categoria em M. Em particular, M e de segunda categoria em si proprio.
A demonstracao pode ser encontrada, por exemplo, no livro de Espa cos Metricos
do Elon. Veremos como o Teorema de Baire e usado para demonstrar os tres teoremas
fundamentais para espacos de Banach, o Princpio da Limitac ao Uniforme, o Teorema
do Gr aco Fechado e o Teorema da Aplicacao Aberta. Daremos aqui uma demonstracao
adaptada da obtida originalmente por P.P. Zabreko para espacos vetorias topologicos
metriz aveis e completos.
Denicao 2.2. Seja X um espaco normado. Uma funcao p : X R
+
e dita enumerav-
elmente sub-aditiva se p
_

n=1
x
n
_

n=1
p(x
n
) para toda serie covergente

n=1
x
n
de
termos em X.
30
2.1. Consequencias do Teorema de Baire 31
Seja p uma semi-norma contnua denida em um espaco normado X. Entao p e
enumeravelmente subaditiva. De fato, segue imediatamente por induc ao que
p
_
m
n=1
x
n
_


m
n=1
p(x
n
), para qualquer m N. Usando a continuidade de p, obtemos
que p
_

n=1
x
n
_
= lim
m
p
_
m

n=1
x
n
_
lim
m
m

n=1
p(x
n
) =

n=1
p(x
n
).
O Lema de Zabreko trata da recproca para espacos de Banach. Antes de demonstr a-
lo, vejamos um resultado sobre a continuidade de semi-normas.
Proposicao 2.3. Seja X espaco normado e p : X R
+
uma semi-norma. Entao, sao
equivalente:
(a) p e contnua;
(b) p e contnua na origem;
(c) p e limitada em alguma bola centrada na origem.
Demonstracao. A unica implicacao que n ao e imediata e (c) (a). Para demonstr a-la,
suponha que p(x) M para x B[0, r]. Ent ao, se x, y X, temos que p
_
r
xy
xy
_
M e
portanto p
_
x y
_
Mr
1
|x y|. Ent ao
[p(x) p(y)[ [p(x y)[ Mr
1
|x y|,
O que mostra que p e contnua.
Teorema 2.4. (Lema de Zabreko) Se X e um espaco de Banach, entao toda semi-norma
enumeravelmente sub-aditiva e contnua.
Demonstracao. Para cada > 0, denimos o conjunto
() = x X : p(x) .
Claramente X =

nN
n(/2), pela propriedade N1) de semi-norma. Pelo teorema de
Baire, para algum n, n(/2) = n(/2) tem interior nao vazio. Consequentemente
(/2) tambem tem interior nao vazio (pois sao homeomorfos). Ent ao existe uma bola
B(x
0
, r

) (/2). Como (/2) e simetrico,


B(x
0
, r

) = B(x
0
, r

) (/2) = (/2) = (/2),


32 MAT5721 - Leonardo Pellegrini
ou seja, (/2) tambem contem a bola B(x
0
, r

). Assim
B(0, r

) B(x
0
, r

) +B(x
0
, r

) (/2) + (/2) (/2) + (/2) (),


ou seja, () contem uma bola centrada na origem B(0, r

). Podemos supor que r

.
Ent ao, denindo o conjunto
A()
def
= B(0, r

) (),
temos que A() e um subconjunto denso em B(0, r

) ().
Considere entao, fazendo = 1, a bola B = B(0, r
1
). Para mostrar que p e contnua,
pela proposi cao anterior basta mostrar que e limitada nesta bola. Seja ent ao x B(0, r
1
).
Pela densidade, existe x
1
A(1) com |xx
1
| r1
2
. Fazendo =
1
2
em (), encontramos
x
2
A(
1
2
) com |xx
1
x
2
| < r 1
2
2
. Prosseguindo assim, para cada n N, encontraremos
x
n
A(
1
2
n1
) com |x x
1
x
2
x
n
| < r 1
2
n
. Vemos ent ao que a serie

n=1
x
n
converge para x (note que supusemos r 1
2
n

1
2
n
). Como p e enumeravelmente sub-aditiva
e cada x
n
A(
1
2
n1
),
p(x)

n=1
p(x
n
)

n=1
1
2
n1
= 2.
Como x B era arbitrario, vemos que p(x) 2, x B, sendo p contnua.
Teorema 2.5. (Princpio da Limitacao Uniforme) Seja T uma famlia nao-vazia de
operadores lineares contnuos denidos num espaco de Banach X e tomando valores no
espaco normado Y . Se, para cada x X, c
x
= sup|T(x)| : T T e nito, entao
sup|T| : T T e nito. Em outras palavras, toda famlia pontualmente limitada e
limitada em norma.
Demonstracao. Dena a aplica cao p : X R como sendo, para cada x X,
p(x) = sup|T(x)| : T T.
Como a famlia e pontualmente limitada, tal supremo e nito. Ainda, pela linearidade de
T vemos que p e uma semi-norma. Para mostrar que p e enumeravelmente sub-aditiva,
suponha que seja dada uma serie convergente

n=1
x
n
de termos em X. Para cada T T
xado,

T
_

n=1
x
n
_

n=1
T(x
n
)

n=1
|T(x
n
)|

n=1
p(x
n
).
2.1. Consequencias do Teorema de Baire 33
Portanto, p
_

n=1
x
n
_

n=1
p(x
n
). Assim, p e uma semi-norma enumeravelmente
sub-aditiva denida no espa co de Banach X. Ent ao p e contnua, pelo Lema de Zabreko.
Logo, para = 1, existe > 0 tal que |x| p(x) 1. Assim, se x B
X
, |x|
e portanto p(x) 1, o que implica p(x)
1
. Vemos ent ao que, para cada x B
X
xado, |T(x)| sup|T(x)| : T T
1
, donde segue que |T|
1
, T T.
Logo, sup|T| : T T < .
Corolario 2.6. Seja T
n
uma sequencia de operadores lineares contnuos denidos em um
espaco de Banach X e tomando valores em um espaco normado Y . Entao se para cada
x X, (T
n
(x))
n
converge, entao a aplicacao denida por T(x) = lim
nN
T
n
(x) e linear e
contnua.
Demonstracao. Claramente T e linear. Como (T
n
(x))
n
converge ent ao, para cada x X
a sequencia (T
n
(x))
n
e limitada. Pelo princpio da Limitac ao Uniforme, existe M tal que
|T
n
| M, n N. Seja x B
X
. Dado > 0, existe N N tal que |T
N
(x) T(x)| < ,
e portanto
|T(x)| |T
N
(x) T(x)| +|T
N
(x)| < +M, > 0.
Ent ao, |T(x)| M, x B
X
, o que mostra que T e contnua com |T| M.
Outra aplicac ao do Lema de Zabreko (e portanto do teorema de Baire) e o Teorema
da Aplicac ao Aberta. Lembramos que Uma aplicacao : A B entre dois espacos
topologicos e dita aberta se (U) for um conjunto aberto em B sempre que U for aberto
em A.
Teorema 2.7. (da Aplicacao Aberta) Toda transformacao linear contnua e sobrejetora
entre dois espacos de Banach e uma aplicacao aberta.
Demonstracao. Seja T : X Y contnua e sobrejetora. Mostraremos inicialmente que
T(U
X
) e um conjunto aberto em Y , onde e U
X
e a bola aberta unit aria centrada na origem
de X.
Denimos a aplicac ao p : Y R
+
pondo p(y) = inf|x| : x X, T(x) = y. Note
que p est a bem denida, pois T e sobrejetora. Se y Y e e um escalar n ao nulo,
x X : T(x) = y = x X : T
_
1

x
_
= y = x X : T(x) = y.
34 MAT5721 - Leonardo Pellegrini
Logo, p(y) = inf|x| : x X, T(x) = y = inf[[|x| : x X, T(x) = y = [[p(y).
Como o caso = 0 e trivial, segue-se que p(y) = [[p(y) para qualquer vetor y Y e
escalar K. Note que a desigualdade triangular seguir a imediatamente se mostrarmos
que p e enumeravelmente sub-aditiva.
Mostremos ent ao que p e enumeravelmente sub-aditiva. Considere uma serie conver-
gente

n=1
y
n
emY . Observe que como queremos mostrar que p
_

n=1
y
n
_

n=1
p(y
n
),
podemos supor, sem perda de generalidade, que

n=1
p(y
n
) e convergente, pois caso
contr ario teramos

n=1
p(y
n
) = + e a desigualdade seria trivial. Seja > 0. Pela
denic ao de nmo, podemos tomar uma sequencia (x
n
)
nN
em X tal que, T(x
n
) = y
n
e
|x
n
| < p(y
n
) +2
n
. Logo,

n=1
|x
n
|

n=1
p(y
n
) +, e portanto

n=1
x
n
e uma serie
absolutamente convergente em X e, como este espaco e de Banach, tal serie converge.
Portanto, como T e um operador contnuo, T
_

n=1
x
n
_
=

n=1
T(x
n
) =

n=1
y
n
.
Logo,
p
_

n=1
y
n
_

n=1
x
n

n=1
|x
n
|

n=1
p(y
n
) +.
Como > 0 era arbitrario, segue que p
_

n=1
y
n
_

n=1
p(y
n
), e portanto p e
uma semi-norma enumeravelmente sub-aditiva. Como est a denida no espaco de Banach
Y p e contnua pelo Lema de Zabreko. Assim, como T(U
X
) = y Y : p(y) < 1 =
p
1
(] , 1[), segue que T(U
X
) e aberto em Y .
O caso geral segue facilmente da linearidade de T: Considere um conjunto U ,=
aberto em X, e tome y T(U) arbitrario. Seja x U tal que T(x) = y. Como U e um
conjunto aberto, deve existir r > 0 tal que x + rU
X
U. Logo, pela linearidade de T,
y +rT(U
X
) T(U). Pelo que mostramos anteriormente T(U
X
) e um conjunto aberto em
Y . Segue entao que T(U) e um conjunto aberto.
Corolario 2.8. Toda bijecao linear contnuas entre dois espacos de Banach e um isomor-
smo.
Demonstracao. Pois tal bijecao sera aberta pelo teorema anterior, o que implica a con-
tinuidade de sua inversa.
2.1. Consequencias do Teorema de Baire 35
Corolario 2.9. Sejam | | e | |
0
sao duas normas em um espaco vetorial X munido
das quais X e completo. Entao, se existir M > 0 tal que |x| M|x|
0
, para todo x X,
entao as normas sao equivalentes.
Demonstracao. De fato, as hip oteses implicam que a identidade de
_
X, | |
0
_
em
_
X, | |
_
e uma bijec ao linear contnua. Basta ent ao usar o corolario anterior para concluir que e
um isomorsmo. Logo,
_
X, | |
0
_
em
_
X, | |
_
tem a mesma topologia.
Como uma ultima aplicacao do Teorema da Aplicac ao Aberta, demonstraremos o
Teorema do Isomorsmo para espacos de Banach:
Teorema 2.10. (do Isomorsmo para espacos de Banach) Sejam X e Y espacos de
Banach e T /(X, Y ). Suponha que a imagem de T seja fechada em Y . Entao
X/Ker T

= T(X)
Demonstracao. Seja S : X/Ker T T(X) a aplicac ao obtida pelo Teorema 1.50 com
M = Ker T. Entao pelo referido teorema, S e uma bije cao linear contnua. Como T(X)
e Banach pois e fechado em Y , segue que S e um isomorsmo.
Vejamos agora o Teorema do do Gr aco Fechado. Lembramos que se A e B conjuntos
n ao vazios e f : A B uma func ao, entao o graco de f e o subconjunto Graf(f) =
(x, y) A B : y = f(x) de A B.
Se X e Y forem espacos normados entao o gr aco de uma aplicac ao f : X Y
contnua e sempre fechado, pois e a imagem inversa do vetor nulo de Y pela aplica cao
contnua (x, y) |y f(x)|. Na verdade, e um exerccio simples de topologia que
o gr aco de uma aplicacao contnua entre dois espa cos topologicos Hausdor e sempre
fechado. O teorema do Gr aco Fechado e a recproca deste fato, porem para espacos de
Banach.
Teorema 2.11. (do Graco Fechado) Seja T uma transformacao linear denida num
espaco de Banach X tomando valores num espaco de Banach Y . Se o graco de T e um
subconjunto fechado de X Y , entao T e contnua.
Demonstracao. Seja p(u) = |T(x)|, x X.

E imediato que p e uma semi-norma em
X. Provemos p que e enumeravelmente sub-aditiva. De fato, dada uma serie conver-
gente

n=1
x
n
em X. Novamente, podemos supor, sem perda de generalidade, que
36 MAT5721 - Leonardo Pellegrini

n=1
|T(x
n
)| converge. Logo, como a serie absolutamente convergente

n=1
T(x
n
)
est a denida num espaco de Banach, converge. Note que

m
n=1
x
n
(m)

n=1
x
n
e que T
_
m
n=1
x
n
_
=

m
n=1
T(x
n
)
(m)

n=1
T(x
n
). Vemos ent ao que a sequencia
_
m
n=1
x
n
, T
_
m
n=1
x
n
__
m
pertence ao gr aco de T e converge, na topologia produto de
X Y , para (

n=1
x
n
,

n=1
T(x
n
))
m
. Como o graco de T e fechado em X Y , segue
que

n=1
T(x
n
) = T
_

n=1
x
n
_
, o que implica que
p
_

n=1
x
n
_
=

T
_

n=1
x
n
_

n=1
T(x
n
)

n=1
|T(x
n
)| =

n=1
p(x
n
).
Ent ao p e uma semi-norma enumeravelmente sub-aditiva, sendo contnua pelo Lema de
Zabreko. Ent ao exite > 0 tal que |x| p(x) = |T(x)| 1, o que mostra que T
e contnua pois e limitada na bola B[0, ].
Observacao 2.12. Para mostrar que uma aplicac ao T : X Y entre espacos normados
e contnua, em princpio temos que mostrar que
x
n
x = T(x
n
) y e y = T(x).
O Teorema do Gr aco fechado diz que se X e Y forem espacos de Banach, entao basta
mostrar que
x
n
x e T(x
n
) y = y = T(x).
O exemplo seguinte, apesar de articial, mostra que n ao podemos tirar a hip otese
Banachdo contra-domnio de T. Nos execcios h a um exemplo que mostra o analogo
para o domnio.
Exemplo 2.13. Seja (X, | |) um espaco de Banach separ avel de dimens ao innita. Por
exemplo, X pode ser
1
ou c
0
. Tome uma base algebrica x
i
: i I normalizada de X.
Ent ao I e n ao enumer avel (veja os exerccios). Cada x X se escreve de maneira unica
na forma x =

i
x
i
(soma nita). Dena uma outra norma em X pondo |x|
0
=

[
i
[.
Temos que
|x|

[
i
[|x
i
| =

[
i
[ = |x|
0
.
Logo, a identidade Id :
_
X, | |
0
_

_
X, | |
_
e contnua e portanto seu gr aco e
fechado, pela observa cao feita pouco antes do teorema. Claro que o gr aco de Id
1
tambem e fechado. Porem, Id
1
n ao pode ser contnua, pois se fosse, a identidade seria
um isomorsmo e
_
X, | |
0
_
seria tambem separavel, um absurdo, pois para i ,= j,
|x
i
x
j
|
0
= 2 e ha uma quantidade nao enumer avem de x

i
s.
2.2. O Teorema de Hahn-Banach 37
2.2 O Teorema de Hahn-Banach
Sejam X e Y espacos normados e M um subespaco de X. Nem sempre uma aplicac ao
linear contnua T : M Y pode ser estendida continuamente para X (Veja os exerccios).
O Teorema de Hahn-Banach assegura que sempre e possvel estender quando Y = K.
Comecamos com uma deni cao:
Denicao 2.14. Seja X um espaco vetorial. Uma funcao p : X R e sublinear se
(i) p(tx) = tp(x), para todo x X e t > 0;
(ii) p(x +y) p(x) +p(y), para todo x, y X.
Lema 2.15. Sejam X um espaco vetorial sobre R, p : X R sublinear e M um subespaco
proprio de X. Dado y X M, seja N = M + [y]. Se e um funcional linear em M
com
(x) p(x), x M,
entao existe N
#
tal que

M
= e (x) p(x), x N.
Demonstracao. Para x
1
, x
2
M, temos que
(x
1
) +(x
2
) = (x
1
+x
2
) p(x
1
+x
2
) = p(x
1
y +y +x
2
) p(x
1
y) +p(y +x
2
),
e portanto
(x
1
) p(x
1
y) p(y +x
2
) (x
2
).
Assim, sup
xM
(x) p(x y) inf
xM
p(y + x) (x). Seja R qualquer satisfazendo
sup
xM
(x) p(xy) inf
xM
p(y +x) (x). Ent ao, pelo modo que foi escolhido,
(x) p(x y) p(y +x) (x), x M. ()
Para cada z N, podemos escrever de maneira unica z = x + y, onde x M e
R. Denimos (x + y) = (x) + . Claro que e linear. Alem disso, para cada
z = x +y N temos que
Se > 0,
(x +y) =
_
x

+y
_
=
_

_
x

_
+
_
()
p
_
x

+y
_
= p(x +y).
38 MAT5721 - Leonardo Pellegrini
Se < 0, e positivo e portanto
(x +y) =
_

y
_
=
_

_
()
p
_

y
_
= p(x +y).
Como o caso = 0 e imediato, segue (x) p(x), x N.
Vejamos agora o caso geral. Na demonstra cao usaremos o Lema de Zorn cujo enunci-
ado destacaremos a seguir. Lembramos que um elemento m de um conjunto parcialmente
ordenado P e dito maximal se m x implica m = x, para qualquer x P.
Lema de Zorn: Se, em um conjunto nao-vazio P parcialmente ordenado, toda cadeia
(subconjunto totalmente ordenado de P) tem uma quota superior, entao P possui um
elemento maximal.
Teorema 2.16. (de Hahn-Banach para espacos vetoriais reais) Sejam X um espaco ve-
torial sobre R, p : X R sublinear e M um subespaco X. Se e um funcional linear
em M com
(x) p(x), x M,
entao existe X
#
tal que

M
= e (x) p(x), x X.
Demonstracao. Seja P a famlia de todos os pares
_
N,
_
tais que N e um subespaco de X
que contem M e e um funcional linear em N tal que

M
= e (x) p(x), x N.
Note que P e n ao vazia, pois
_
M,
_
P. Denimos em P a seguinte ordem parcial
_
N
1
,
1
_

_
N
2
,
2
_
N
1
N
2
e
2

N
1
=
1
.
Usaremos o Lema de Zorn para mostrar que P possui um elemento maximal. Seja C
um cadeia (subconjunto totalmente ordenado) em P. Denimos

N =
_
iI
N
i
e

N
#
denido por

(x) =
i
(x), se x N
i
. Note que como C e totalmente ordenado,

N e um
subespaco de X e

est a bem denida. Obviamente
_

N,

_
P e e uma cota superior
de C. Pelo Lema de Zorn, P possui um elemento maximal
_
N,
_
. Vamos mostrar que
N = X.
Suponha que N ,= X, tomamos y X N e denimos S = N + [y]. Pelo lema
anterior, existe S
#
com

N
= e (x) p(x), se x S. Entao S N M e

M
=

M
= . Portanto
_
S,
_
P e
_
S,
_
>
_
N,
_
, contrariando o fato de
_
N,
_
ser maximal. Devemos ter entao N = X e e o funcional procurado.
2.2. O Teorema de Hahn-Banach 39
Vejamos agora uma vers ao do teorema anterior valida para espacos complexos. Seja
X um espaco vetorial complexo. Restringindo a opera cao de multiplicac ao por escalar de
C para R, X pode ser visto como um espaco vetorial real. Denotaremos tal espaco por
X
R
. Diremos que um funcional u : X R denida em um espaco vetorial complexo X e
R-linear se e um funcional em X
R
. Ou seja, se a deni cao de linearidade e satisfeita para
os escalares reais.
Proposicao 2.17. Seja X um espaco vetorial complexo. Entao, dado u : X R com u
R-linear,
(x) = u(x) iu(ix), ()
dene um funcional X
#
. Reciprocamente, cada funcional em X pode ser escrito
na forma () com u R-linear.
Demonstracao. Seja u R-linear. Ent ao para x X,
(ix) = u(ix) iu(x) = u(ix) +iu(x) = i (iu(ix) +u(x)) = i(x).
A partir dai e facil concluir que e C-linear.
Por outro lado, dado X
#
denimos u(x) como sendo a parte real de (x). Ent ao
claramente u e R-linear. Como a parte imagin aria de um n umero complexo e a parte
real de i, temos tambem que
(x) = Re((x)) iRe(i(x)) = Re((x)) iRe((ix)) = u(x) iu(ix).
Teorema 2.18. (de Hahn-Banach para espacos vetoriais) Sejam X um espaco vetorial
sobre K e M um subespaco de X. Suponha que : M K seja um funcional linear e
que p : X R seja uma semi-norma tais que [(x)[ p(x), para todo x M. Entao
existe X
#
tal que

M
= e [(x)[ p(x), x X.
Demonstracao. Suponha primeiramente que X seja um espaco vetorial real e seja como
na hpotese do teorema. Para x M, (x) [(x)[ p(x). Ent ao pelo Teorema de
Hahn-Banach real existe X

tal que

M
= e (x) p(x), x X. Mas como
(x) = (x) p(x) = p(x), segue que [(x)[ p(x), x X.
Suponha agora que X seja complexo. Pela proposic ao anterior podemos escrever
(x) = u(x) iu(ix), x M, com u R-linear. Note que [u(x)[ [(x)[ p(x).
40 MAT5721 - Leonardo Pellegrini
Aplicando o que zemos anteriormente para o espaco real X
R
e o funcional u, obtemos U
R-linear tal que
U

M
= u e [U(x)[ p(x), x X.
Denimos (x) = U(x)iU(ix). Novamente pela proposicao anterior X
#
. Se x M,
ent ao tambem temos que ix M e portanto (x) = U(x)iU(ix) = u(x)iu(ix) = (x).
Ent ao

M
= . Resta apenas mostrar que e dominado pela semi-norma. Seja entao
x X. Se (x) = 0 e trivial. Suponha ent ao que (x) ,= 0. Tomamos R tal que
(x) = e
i
[(x)[. Assim,
[(x)[ = e
i
(x) = (e
i
x) = U(e
i
x) iU(ie
i
x)
|(x)|0
..
= U(e
i
x) p(e
i
x) = p(x),
o que completa a demonstrac ao.
Teorema 2.19. (de Hahn-Banach para espacos normados) Sejam X um espaco vetorial
sobre K, M um subespaco de X e : M K um funcional linear contnuo em M. Entao
existe X

tal que

M
= e || = ||.
Demonstracao. Para x X denimos a semi-norma p(x) = |||x|. Pela continuidade
de , se x M, [(x)[ |||x| = p(x). Entao, pelo Teorema de Hahn-Banach para
espacos vetoriais existe X
#
tal que

M
= e [(x)[ p(x) = |||x|, x X.
Ent ao se |x| 1, [(x)[ || e portanto e contnua e || ||. Mas por ser uma
extens ao de , || ||. Logo || = ||.
Corolario 2.20. Seja X um espaco normado e x
0
X 0. Entao existe X

tal
que
|| = 1 e (x
0
) = |x
0
|.
Demonstracao. Seja M = [x
0
]. Dena em M o funcional por (x
0
) = |x
0
|. Ent ao
e claramente linear e contnuo, pois M tem dimensao nita. Note que (x
0
) = |x
0
| e
|| = sup
xS
M
[(x)[ = sup
x=1
[[|x| = 1.
Pelo Teorema de Hahn-Banach, existe X

tal que

M
= e || = ||. Ent ao
(x
0
) = (x
0
) = |x
0
| e || = 1.
2.3. Exerccios 41
Corolario 2.21. Seja X um espaco normado e x X. Entao
|x| = sup
B
X

[(x)[,
e tal supremo e atingido para algum B
X
.
Demonstracao. Se || 1, entao [(x)[ |||x| |x|. Logo sup
B
X

[(x)[ |x|.
Mas pelo corolario anterior, existe S
X
tal que (x) = |x|. Entao |x| = sup
B
X

[(x)[
e o supremo e atingido em .
Corolario 2.22. Seja M um subespaco fechado de um espaco normado X. Entao dado
x
0
X M, existe X

tal que

M
0, || = 1 e (x
0
) = d(x
0
, M).
Demonstracao. Sendo M fechado, X/M e um espaco normado. Como vimos, a norma em
X/M e dada por |x+M| = d(x, M). Como x
0
/ M, x
0
+M ,= 0 em X/M. Pelo primeiro
corol ario aplicado em X/M, existe

(X/M)

com |

| = 1 e |

(x
0
+M)| = |x
0
+M|.
Seja : X X/M a aplicac ao quociente e denimos =

: X K. Entao e
linear e contnua. Se x M, ent ao (x) =

(M) = 0, e portanto

M
0. Pelo teorema
1.50, || = |

| = 1. Finalmente, (x
0
) =

(x
0
+M) = |x
0
+M| = d(x
0
, M).
Outras consequencias do Teorema de Hahn-Banach estao nos exerccios.
2.3 Exerccios
Consequencias do Teorema de Baire
1. (a) Mostre que todo subespaco proprio de um espaco normado X tem interior vazio.
(b) Use o teorema de Baire para mostrar que n ao existem espacos de Banach de
dimens ao enumeravel.
2. Seja X um espaco de Banach de dimens ao innita e considere uma base algebrica
B = x
i
: i I de X. Entao I e nao enumeravel pelo exerccio anterior. Considere
os funcionais coordenados x

i
, i I. Mostre que apenas um n umero nito destes
funcionais sao contnuos.
42 MAT5721 - Leonardo Pellegrini
3. Sejam X = C
1
[0, 1] o espaco das fun coes com a primeira derivada contnua e Y =
C[0, 1], ambos com a norma do supremo. Mostre que o operador derivac ao D : X
Y tem graco fechado, mas nao e contnuo. Conclus ao?
4. Mostre que se T : X e uma aplicac ao linear do espa co de Banach X no espaco
normado Y , ent ao T e contnua se, e somente se, T
1
(B
Y
) tem interior n ao vazio.
5. (Aplicacoes Bilineares Contnuas) Sejam X, Y e Z espacos vetoriais normados sobre
K e B : X Y X uma aplicac ao bilinear. Mostre que as seguintes condic oes sao
equivalentes:
(a) B e contnua;
(b) B e contnua na origem (0, 0) X Y ;
(c) Existe M > 0 tal que |B(x, y)| M|x||y| para quaisquer x X, y Y .
6. Mostre que toda bilinear separadamente contnua (ou seja, contnua na primeira
variavel e contnua na segunda separadamente) denida em espacos de Banach e
contnua. Sugestao: Use o Princpio da Limitacao Uniforme.
7. Mostre que uma aplicac ao bilinear denida em espacos de dimensao nita e sempre
contnua.
8. Suponha que | | e | |
0
sejam duas normas denidas em um espaco vetorial X
com as quais
_
X, | |
_
e
_
X, | |
0
_
sejam espa cos de Banach. Mostre que se existe
M > 0 tal que |x|
0
M|x|, para todo x X, entao as normas n ao equivalentes.
9. Mostre que a norma | |
1
e uma semi-norma enumeravelmente sub-aditiva em c
00
que nao e contnua. Qual o motivo?
10. O objetivo deste exerccio e mostrar que todo espaco separavel e um quociente de
1
.
Seja X um espaco separavel e considere um conjunto d
n
: n N denso em B
X
.
(a) Mostre que a (
n
)
n

1


nN

n
d
n
X e uma aplicacao linear contnua de

1
em X sobrejetora.
(b) Mostre que existe um subespa co fechado M
X
de
1
tal que
1
/M
X

= X.
Sugestao: Teorema do Isomorsmo.
11. (Base de Schauder) Uma sequencia (x
n
)
n
de elementos de um espaco de Banach
X e chamada de base de Schauder se cada elemento x X pode ser escrito de
modo unico na forma x =

nN

n
x
n
(Note que na denic ao de base algebrica so e
2.3. Exerccios 43
permitido usar somas nitas).
(a) Mostre que se X possui uma base de Schauder entao X e separ avel.
(b) Seja (x
n
)
n
uma base de Schauder para um espa co de Banach
_
X, | |
_
. Mostre
que a fun cao
|x|
(x
n
)
= sup
kN
_
_
_
_
_
k

n=1

n
x
n
_
_
_
_
_
(x =

nN

n
x
n
)
dene uma outra norma em X.
(c) Mostre que
_
X, | |
(x
n
)
_
tambem e um espaco de Banach.
(d) Mostre que ||
(x
n
)
e equivalente a norma original de X. Exerccio 8 pode ajudar.
(e) Mostre que as proje coes
P
k
: x =

nN

n
x
n
X
k

n=1

n
x
n
[x
1
, x
2
, . . . , x
k
]
s ao contnuas. Conclua que os funcionais lineares
x

k
_

nN

n
x
n
_
=
k
s ao contnuos. Tais funcionais s ao chamados de funcionais coordenados em relacao
` a base de Schauder (x
n
)
n
. Compare com o exerccio 2.
Teorema de Hahn-Banach
12. Mostre que o operador identidade em c
00
n ao pode ser estendido a uma aplicac ao
contnua de c
0
em c
00
.
13. Seja M um subespa co de um espaco normado X. Mostre que M =

_
Ker :

M
0
_
.
14. Mostre que X

separa pontos de X. Ou seja, mostre que dados x, y X com x ,= y


existe X

tal que (x) ,= (y).


15. Um espaco de Banach Y e chamado de isometricamente injetivo se o teorema de
Hahn-Banach continua v alido com Y no lugar de K. Mostre que

e isometrica-
mente injetivo.
Parte 3
Duais e Biduais
3.1 O Espaco Dual
Lembramos que se X e um espaco normado, o dual (topol ogico) de X e o espaco de
Banach X

def
= /(X; K). O espaco vetorial dos funcionais lineares em X e chamado de
dual algebrico de X e e denotado por X
#
.
Exemplo 3.1. Seja X = c
0
. Entao X


1
.
De fato, considere a aplicacao T :
1
c

0
denida por T(
n
)
n
(
n
)
n
=

nN

n
. T est a
bem denida, pois para cada k N,
k

n=1
[
n

n
[ max
n=1,...k
[
n
[
k

n=1
[
n
[ |(
n
)
n
|

|(
n
)
n
|
1
.
Logo,

nN

n
e absolutamente convergente e portanto converge em K. Vemos tambem
pelas desigualdades acima que se |(
n
)
n
|

1, |T(
n
)
n
(
n
)
n
| |(
n
)
n
|
1
. Ent ao
|T(
n
)
n
| |(
n
)
n
|
1
. (1)

E imediato que T e linear e injetora. Vamos mostrar que T e sobre c

0
. Seja ent ao c

0
.
Para cada n, denimos
n
= (e
n
), onde e
n
= (0, . . . , 0, 1, 0, . . . , ). Tomamos
n
escalar
de modulo 1 tal que [
n
[ =
n

n
. Assim,
k

n=1
[
n
[ =
k

n=1

n
(e
n
) =
_
k

n=1

n
e
n
_
||,
44
3.1. O Espaco Dual 45
pois

k
n=1

n
e
n
tem norma um em c
0
. Logo, (
n
)
n

1
e |(
n
)
n
|
1
|| (2). Alem
disso, para todo (
n
)
n
c
0
,
(
n
)
n
=
_

nN

n
e
n
_
=

nN

n
(e
n
) =

nN

n
= T(
n
)
n
(
n
)
n
,
e portanto T(
n
) = , mostrando que T e sobrejetora. Finalmente, por (1) e (2) T e uma
isometria.
O exemplo anterior mostra que o dual de c
0
pode ser identicado de uma maneira
natural com
1
, onde a ac ao de (
n
)
n

1
em (
n
)
n
c
0
e dada por (
n
)
n
(
n
)
n
=

nN

n
.
Os duais de outros espacos de sequencias podem ser identicados da mesma maneira.
Exemplo 3.2. Se 1 p < , entao

p

q
, onde q e o conjugado de p. Em particu-
lar,

. As identicacoes sao como no exemplo anterior: (


n
)
n
(
n
)
n
=

nN

n
.
Deixaremos a demonstracao como exerccio.
Exemplo 3.3. Se 1 p < , o dual de L
p
[0, 1] pode ser identicado com L
q
[0, 1],
onde q e o conjugado de p. Se L
p
[0, 1]

esta identicado com g L


q
[0, 1], entao
(f) =
_
[0,1]
fgd.
Denicao 3.4. Seja X um espaco normado. Se A e subconjunto de X, denimos o
anulador de A por
A

= x

: x

(a) = 0, a A.
Se B e um subconjunto de X

, denimos o anulador `a esquerda de B por

B = x X : b(x) = 0, b B.

E facil ver que A

e

B s ao subespacos fechados de X

e X, respectivamente (ex-
erccio). Alem disso, temos o seguinte fato:
Proposicao 3.5. Sejam A e B como na denicao anterior. Entao

(A

) = [A]. Conse-
quentemente, se A e um subespaco de X, entao

(A

) = A.
Demonstracao. Pela observacao feita anteriormente,

(A

) e um subespaco fechado de
X. Claramente

(A

) contem A. Logo

(A

) A. Por outro lado, suponha que x / A.


Ent ao por Hahn-Banach, exite um um funcional X

que se anula em A mas n ao em


x. Ent ao A

. Mas como (x) ,= 0, segue que x /

(A

). Logo

(A

) = A.
46 MAT5721 - Leonardo Pellegrini
Os anuladores podem ser usados para identicar certos duais. Vejamos alguns exem-
plos:
Teorema 3.6. Seja X normado e M um subespaco fechado de X. Entao o dual de X/M
e isometrico a M

.
Demonstracao. Seja : X X/M a projec ao natural. Denimos a aplicac ao T :
(X/M)

pondo T() = . Note que T est a bem denida, pois (M) = 0.


Seja x

. Entao M Ker x

e portanto pelo teorema 1.50 existe um unico


funcional linear : X/M K tal que x

= e alem disso |x

| = ||. Entao T() =


= x

. Vemos entao que T e uma aplicacao sobrejetora e |T()| = |x

| = ||, o
que mostra que T e uma isometria.
Mais explicitamente, o teorema anterior diz que (X/M)

pode ser identicado com


M

da seguinte forma: Se (X/M)

est a identicado com m

, ent ao
m

(x +M) = m

(x).
A proxima identica cao e bastante intuitiva.
Teorema 3.7. Seja X normado e M um subespaco de X. Entao existe uma isometria
que que identica o dual de M com X

/M

da seguinte forma: Se um elemento de M

e visto como um elemento x

+ M

/M

, entao x

+ M

age em m M por
x

+M

(m) = x

(m).
Demonstracao. Considere T : X

/M

denida por T(x

+ M

) = x

M
. Temos
que mostrar que T est a bem denida, ou seja, que independe dos representantes da classe
x

+M

. Tomamos entao y

+M

= x

+M

. Pela denic ao do quociente, y

e portanto y

se anula em M. Isso mostra que x

M
= y

M
e T est a bem denida.
Claramente T e linear. T tambem e sobrejetora pois dado m

, basta tomarmos
m

uma extens ao de Hahn-Banach de m

que teremos T( m

+ M

) = m

. Resta
mostrar que T preserva norma.
Seja ent ao x

0
+M

/M

e considere m

= T(x

0
+M

) M

. Ent ao m

= x

M
.
Tomamos uma extensao de Hahn-Banach x

de m

. Ent ao x
0
e x coincidem em M
e portanto x

0
+M

= x

+M

. Se y

, entao
|m

| = sup
mB
M
[x

(m)[ = sup
mB
M
[(x

+y

)(m)[ sup
xB
X
[(x

+y

)(x)[ = |x

+y

|,
3.2. O Adjunto de um operador linear 47
e assim |m

| inf
y

|x

+y

| = |x

+M

| = |x

0
+M

|. Mas por outro lado, |x

0
+
M

| |x

| = |m

|. Isso mostra que T preserva norma e conclui a demonstrac ao.


3.2 O Adjunto de um operador linear
Denicao 3.8. Sejam X e Y espacos normados e T /(X; Y ). Entao o (Banach)
adjunto de T e a aplicacao linear T

: Y

denida por T

(y

) = y

T.
Lema 3.9. Sejam X e Y espacos normados.
(a) Se T : X Y e linear, entao T e contnuo se, e somente se, sup[y

(T(x))[ : x
B
X
, y

B
Y
< . Neste caso. |T| = sup[y

(T(x))[ : x B
X
, y

B
Y
.
(b) Se T : Y X

e linear, entao T e contnuo se, e somente se, sup[T(y)(x)[ : x


B
X
, y B
Y
< . Neste caso. |T| = sup[T(y)(x)[ : x B
X
, y B
Y
.
Demonstracao. (a) Por Hahn-Banach, |T(x)| = sup[y

(T(x))[ : y

B
y
. Logo
sup
xB
X
|T(x)| = sup[y

(T(x))[ : x B
X
, y

B
y
. Assim, T e contnua se e somente
se tal supremos e nito. E neste caso, |T| = sup[y

(T(x))[ : x B
X
, y

B
y
.
(b)

E parecida com o item anterior e deixaremos como exerccio.
Teorema 3.10. Seja T /(X; Y ) e considere T

: Y

seu adjunto. Entao T

e contnuo e |T| = |T

|. Se T e um isomorsmo (ou isometria), entao T

tambem e
isomorsmo (ou isometria).
Demonstracao. Pelo lema anterior, partes (a) e (b)
|T|
(a)
= sup[y

(T(x))[ : x B
X
, y

B
y

= sup[T

(y

)(x)[ : x B
X
, y

B
y

(b)
= |T

|.
Agora suponha que T seja isomorsmo. Entao, T

e injetor, pois
T

(y

) = 0 T

(y

)(x) = 0, x X y

(T(x)) = 0, x X y

0,
pois T e sobrejetor. T

tambem e sobrejetor, pois dado x

tomamos x

T
1
Y

.
Assim,
T

(x

T
1
) = x

T
1
T = x

.
48 MAT5721 - Leonardo Pellegrini
Assim, T

e uma bijec ao contnua entre os espacos de Banach Y

e X

, sendo contnuo,
pelo Teorema da Aplicacao Aberta. Logo, e um isomorsmo.
Agora, se T e uma isometria, pelo que acabamos de fazer T

e uma bijec ao, e alem


disso,
|T

(y

)| = sup
xB
X
[T

(y

)(x)[ = sup
xB
X
[y

T(x)[ = sup
yB
Y
[y

(y)[ = |y

|,
pois T e uma isometria. Vemos ent ao que T

preserva norma.
Destacamos o seguinte corol ario, cuja demonstrac ao e imediata usando o teorema
anterior.
Corolario 3.11. Se dois espacos normados sao isomorfos ou isometricos, entao seus
duais tem a mesma propriedade.
Observacao 3.12. A recproca do corol ario nao e verdadeira. Dois duais podem ser
isometricos sem que os espa cos originais sejam isometricos. Por exemplo, o dual de c
0
e
de c s ao isometricos a
1
e portanto s ao isometricos entre si. Porem c
0
e c s ao isomorfos,
mas nao isometricos. Veja os exerccios.
3.3 O Bidual
Seja X um espaco normado. O bidual e o espaco de Banach X

def
= (X

.
Exemplo 3.13. O dual de c
0
e (isometrico a)
1
. Por sua vez, o dual de
1
e

. Entao,
o bidual de c
0
e (isometrico a)

.
Um espaco normado X pode ser imerso canonicamente em seu bidual. Considere a
aplicac ao natural i
X
: X X

denida por
i
X
(x) = x, onde x(x

) = x

(x), x

.
i
X
: X X

est a bem denida, pois


sup
x

B
X

[i
X
(x)(x

)[ = sup
x

B
X

[x

(x)[ = |x|,
por Hahn-Banach. Logo i
X
(x) X

e |i
X
(x)| = |x|. Isso mostra tambem que i
X
: X
X

e uma imersao isometrica. Salientamos que i


X
n ao e necessariamente sobrejetora.
Discutiremos isso a seguir. Antes, vejamos uma aplicacao desta imersao.
3.3. O Bidual 49
Teorema 3.14. (Completamento de um espaco normado) Seja X um espaco normado.
Entao existe um espaco de Banach Y e uma imersao isometrica T : X Y com T(X)
denso em Y . Alem disso, Y com as propriedades acima e unico a menos de isometria.
Demonstracao. Seja i
X
: X X

. Basta considerar Y = i
X
(X) e T : X Y dada por
T(x) = i
X
(x), x X. Y e completo pois e fechado dentro do Banach X

. Evidente-
mente T(X) e denso em Y e T e uma imersao isometrica.
Para a unicidade, suponha que exista uma imersao isometrica R : X Z com Z
Banach e R(X) denso emZ. Considere a aplicacao S = Ri
1
: i
X
(X) R(X), onde i
1
e
a inversa a esquerda de i
X
. Ent ao S e uma isometria, por ser composta de isometrias. Pelo
teorema 1.45, S admite uma extens ao contnuas

S de Y = i
X
(X) em Z = R(X). Como
S preserva normas em i
X
(X), segue facilmente da continuidade de

S e da densidade de
i
X
(X) em Y que

S e uma imers ao isometrica, ou seja, |

S(y)| = |y|, y Y . Basta ent ao


vericar que

S e sobrejetora. Como Y e Banach,

S(Y ) tambem e e portanto e fechado
em Z. Como

S(Y ) contem o denso R(X), devemos ter obrigat oriamente

S(Y ) = Z, o
que mostra que

S e sobrejetora.
Um espaco Y como no teorema anterior ( unico a menos de isometria) e chamado
de completamento de X e e denotado por

X. Note que se X e Banach, entao i
X
(X) e
fechado e portanto i
X
(X) = i
X
(X). Entao X e igual (isometrico) ao seu completamento.
Temos a seguinte propriedade para o completamento.
Proposicao 3.15. Um espaco normado tem o mesmo dual que seu completamento.
Demonstracao. Claro que aqui mesmo dualsignica duais isometricos. Como espacos
isometricos tem o mesmo dual, e suciente provar o resultado para completamento de X
explicitado na demonstracao do teorema anterior. Considere a aplicacao
S : i
X
(X)

X

dado por S(y

) = y

i
X
,
onde i
X
e a imersao can onica de X em X

. Claramente S e linear e est a bem denida.


Seja y

i
X
(X)

. Pela densidade de i
X
(X) em i
X
(X) temos que
|y

| = sup
zB
i
X
(X)
[y

(z)[ = sup
xB
X
[y

(i
X
(x))[ = sup
xB
X
[S(y

)(x)[ = |S(y

)|,
o que mostra que S e injetora e preserva normas.
50 MAT5721 - Leonardo Pellegrini
Resta mostrar que S e sobrejetora. Seja ent ao x

. A funcao x

i
1
e um
funcional linear contnuo em i
X
(X). Logo, admite uma unica extens ao y

para i
X
(X).
Assim, se x X,
S(y

)(x) = y

i
X
(x) = x

(x),
pelas denicoes de S e y

. Logo, S(y

) = x

.
Exemplo 3.16. c
00
e denso em c
0
que por sua vez e completo. Entao c
0
e o completamento
de c
00
. A imersao isometrica T : c
00
c
0
do Teorema 3.14 e a inclusao. Pela proposic ao
anterior o dual de c
00
e igual ao de c
0
. Ent ao c

00
=
1
.
Vimos no Teorema 3.7 que o dual de um subespaco M de X pode ser visto como um
quociente de X

. A proposi cao seguinte nos mostra que o bidual de M pode ser visto
como um subespaco do bidual de X. Denotaremos por M

o subespaco (M

.
Proposicao 3.17. Seja M um subespaco de um espaco normado X. Considere a isome-
tria T : X

/M

dada pelo Teorema 3.7. Entao a aplicacao S : M

denida por S(m

)(T(x

+M

)) = m

(x

) e uma isometria.
Demonstracao. Pelo teorema 3.6 a aplicac ao Q : M

(X

/M

dada por
Q(m

)(x

+M

) = m

(x

)
e uma isometria. A aplica cao T : X

/M

a qual o enunciado se refere e dada por


T(x

+M

)(m) = x

(m).
Considere seu adjunto T

: M

(X

/M

, que tambem e uma isometria pelo teorema


3.10. Ent ao a aplicac ao S
def
= (T

)
1
Q : M

e uma isometria. Alem disso


S(m

)(T(x

+M

)) = (T

)
1
Q(m

)(T(x

+M

))
= T

_
(T

)
1
Q(m

)
_
(x

+M

)
= Q(m

)(x

+M

)
= m

(x).
O Teorema anterior deve ser interpretado da seguinte forma: Considere M

identi-
cado com X

/M

como no Teorema 3.7. Ent ao h a uma isometria que identica M

com M

, a saber, a ac ao de um elemento m

em x

+ M

e dada por
m

(x

+M

) = m

(x

).
3.4. Espacos Reexivos 51
3.4 Espacos Reexivos
Comentamos na secao anterior que a aplica cao canonica i
X
: X X

n ao e neces-
sariamente sobrejetora. De fato, se consideramos o bidual de c
0
identicado com

ent ao
i
X
: c
0

claramente n ao pode ser sobrejetora, pois c


0
e separ avel e

(veja a secao
sobre espacos separaveis). Isto motiva a seguinte
Denicao 3.18. Um espaco normado e reexivo se a imersao canonica i
X
: X X

for sobrejetora.
A deni cao acima e devida a H. Hahn. Porem ele chamava tais espacos de regulares,
um termo um tanto vago.

E importante salientar que a deni cao de reexividade exige que i


X
: X X

seja
isometria e nao que exista uma isometria entre X e X

. Surge entao a pergunta natural:


Se h a uma isometria entre X e X

, ser a que X e reexivo. Ou seja, a existencia de uma


isometria X e X

implica que i
X
: X X

seja isometria? A pergunta foi respondida


negativamente por R.C. James em um artigo onde ele constroi um espaco de Banach J
isometrico ao seu bidual, mas n ao reexivo.
No entanto, note que para um espaco ser reexivo ele deve ser em particular isometrico
ao bidual, que sempre e completo. Ent ao todo espaco reexivo e de Banach.
Exemplo 3.19. Se X tem dimens ao nita entao, como vimos, X

= X
#
. Sendo assim,
X e X

tem a mesma dimens ao. Logo, a imersao can onica deve ser sobrejetora, pois e
sempre injetora. Isso mostra que todo espaco normado de dimensao nita e reexivo.
Exemplo 3.20. Seja 1 < p < e q o conjugado de p. Considere as isometrias
T
p
: L
p
[0, 1] L
q
[0, 1]

e T
q
: L
q
[0, 1] L
p
[0, 1]

denidas no exemplo 3.3. Seja


i : L
p
[0, 1] L
p
[0, 1]

a imers ao can onica. Dado x

L
p
[0, 1]

, temos que x

T
q

L
q
[0, 1]

. Logo, existe f L
p
[0, 1] tal que T
p
(f) = x

T
q
. Assim, dado x

L
p
[0, 1]

,
tomamos g L
q
[0, 1] tal que T
q
(g) = x

e obtemos
x

(x

) = x

(T
q
(g)) = T
p
(f)(g) =
_
[0,1]
fgd = T
q
(g)(f) = x

(f) = i(f)(x

).
Logo, i(f) = x

e portanto i : L
p
[0, 1] L
p
[0, 1]

e sobrejetora, sendo L
p
[0, 1] reexivo.
Exemplo 3.21. De uma maneira bem parecida mostramos que
p
e reexivo se 1 < p <
. Deixaremos a demonstra cao como exerccio.
52 MAT5721 - Leonardo Pellegrini
Veremos adiante que se p = 1 ou p = ent ao nem L
p
[0, 1] e nem
p
s ao reexivos.
Antes vejamos algumas propriedades dos espacos reexivos.
Proposicao 3.22. Se X e reexivo, entao todo elemento de X

atinge sua norma.


Demonstracao. Seja X

. Entao, por Hahn-Banach, existe x

de norma 1 tal
que || = [x

()[. Como X e reexivo, existe x


0
B
X
tal que i
X
(x
0
) = x

. Assim
|| = [i
X
(x
0
)()[ = [(x
0
)[.
Exemplo 3.23. Considere c

0
identicado com
1
da maneira usual. Tomamos o funcional
(2
n
)
n
c

0
. Ent ao |(2
n
)
n
|
1
= 1, mas se (
n
)
n
B
c
0
, entao vemos que
[(2
n
)
n
(
n
)
n
[ = [

nN

n
2
n
[ < [

nN
2
n
[ = 1,
pois (
n
)
n
converge a zero. Logo (2
n
)
n
n ao atinge sua norma. Como j a sabemos, c
0
n ao
e reexivo.
A recproca da proposic ao anterior e verdadeira. Se X e um espaco de Banach o
qual todo funcional denido em X atinge a norma, ent ao X e reexivo. O resultado foi
demonstrado tambem por R.C. James, mas a demonstrac ao nao e simples e nao a faremos
aqui. Fica apenas o registro.
Teorema 3.24. Seu espaco normado e isomorfo a um espaco reexivo, entao tambem e
reexivo.
Demonstracao. Sejam Y isomorfo ao reexivo X e T : X Y um isomorsmo. Entao,
como vimos, os adjuntos T

: Y

e T

: X

tambem sao isomorsmos.


Temos que mostrar que a imers ao can onica i
Y
: Y Y

e sobrejetora. Seja y

.
Ent ao existe x

tal que T

(x

) = y

. Como X e reexivo, existe x X tal que


i
X
(x) = x

. Assim, para todo y

,
y

(y

) = T

(x

)(y

) = x

(y

) = x

(y

T) = i
X
(x)(y

T) = y

(T(x)).
Portanto, y

= i
Y
(T(x)).
Teorema 3.25. Todo subespaco fechado de um espaco reexivo e reexivo.
Demonstracao. Seja M subespaco fechado de um espa co reexivo X. Dado um elemento
m

, temos que mostrar que existe m M tal que m

(m

) = m

(m), m

.
3.4. Espacos Reexivos 53
Considere a isometria T : X

/M

dada por T(x

+ M

)(m) = x

(m), usada no
Teorema 3.7. Dena o funcional x

por x

= m

T , onde : X

/M

e a aplicac ao quociente. Como X e reexivo, existe x X tal que x

(x

) = x

(x), x

().
Armamos que x M. De fato, caso contr ario, por Hahn-Banach, existiria um
funcional m

que se anula em M mas nao em x (note que ai usamos o fato de


M ser fechado). Por (), x

(m

) = m

(x) ,= 0 mas pela denic ao de x

, x

(m

) =
m

T (m

) = m

T(0 +M

) = 0, chegando a uma contradic ao. Entao x M.


Assim, para todo m

, se x

+M

= T
1
(m

),
m

(m

) = m

_
T(x

+M

)
_
= m

T (x

)
= x

(x

) = x

(x) = m

(x) = i
M
(x)(m

).
Logo, i
M
(m) = m

.
Corolario 3.26. Um espaco de Banach e reexivo se, e somente se, seu dual e reexivo.
Demonstracao. Suponha que X seja reexivo. Temos que mostrar que a imers ao
i
X
: X

e sobrejetora. Dado X

, tomamos = i
X
X

. Ent ao,
se x

, existe x X tal que i


X
(x) = x

(pois X e reexivo). Assim


i
X
()(x

) = x

() = i
X
(x)() = (x) = i
X
(x) = (x

).
Logo i
X
() = e portanto i
X
e sobrejetora.
Reciprocamente, se X

for reexivo, pelo que zemos anteriormente X

tambem
ser a. Como X e Banach, i
X
(X) e fechado no reexivo X

e portanto reexivo pelo


teorema anterior. Consequentemente X e reexivo por ser isometrico a i
X
(X).
Exemplos 3.27. Sabemos que c
0
n ao e reexivo. Pelo corolario anterior c

0
tambem n ao
e. Consequentemente
1
c

0
n ao e reexivo. Analogamente,

1
n ao e reexivo.
Como
p
e (isometrico a) um subespa co de L
p
[0, 1] (veja os exerccios), ent ao L
p
[0, 1]
tambem nao e reexivo se p = 1 ou p = .
54 MAT5721 - Leonardo Pellegrini
3.5 Exerccios
Duais e Biduais
1. Mostre que o dual de c tambem pode ser identicado com
1
. Conclua que dois
espacos normados nao isometricos podem ter duais isometricos.
2. Mostre que se X for separavel entao X

ser a separ avel. A recproca e verdadeira?


3. Caracterize os elementos de c

0
que atingem sua norma. Mostre que o conjunto de
tais funcionais e denso em c

0
. Isso e um caso particular do Teorema de Bishop-
Phelps que diz que se X um espaco de Banach, o conjuntos dos elementos de X

que atingem a norma e denso em X.


4. (a) Verique que a aplicac ao T T

e uma imersao isometrica de /(X; Y ) em


/(Y

; X

).
(b) Mostre que nao pode existir um isomorsmo de /(K; c
0
) sobre /(c

0
; K

). Con-
clua que a imers ao do item (a) nem sempre e sobrejetora, ou seja, existem operadores
entre duais que n ao sao adjuntos de ninguem.
5. Sejam X e Y espacos normados.
(a) Dados x

e y Y , mostre que a aplica cao T


x

;y
: X Y denida pela
f ormula T
x

;y
(x) = x

(x)y e linear e contnua. Mostre ainda que |T


x

;y
| = |x

||y|.
(b) Se X ,= , mostre que /(X; Y ) contem um subespaco fechado isometrico a Y .
(c) Mostre que se X ,= ent ao/(X; Y ) e Banach se, e somente se, Y e Banach.
6. Se X e reexivo e M e um subespaco fechado de X, mostre que X/M tambem e
reexivo.
7. Mostre que se existe uma aplicac ao linear contnua de um espaco reexivo X sobre
um espaco de Banach Y , ent ao Y tambem e reexivo.
8. Prove que um subconjunto A de um espaco normado e limitado se, e somente se,
(A) e limitado em K para todo X