An alise Funcional: Uma introduc ao

Cleon S. Barroso
Universidade Federal do Cear a
EMALCA DA AMAZ

ONIA 2009
2
Escola de Matem atica
da America Latina e do Caribe - 2009
UFAM
Introducao
O que e Analise Funcional? Essa e, sem d uvida, uma boa pergunta e, como tantas outras,
o conjunto das respostas e innito. Informalmente, podemos dizer que trata-se de um tipo de
analise matematica sobre objetos de dimensao innita. Mas, o que e um objeto de dimensao
innita? Tambem e uma pergunta com possibilidades enumeraveis de respostas. Escolhamos
um foco para xar as ideias. Em

Algebra Linear, estudamos os espa cos vetoriais e, em seguida,
os espacos de dimensao nita. Nesse ambito, os objetos, vetores, sao representaveis por uma
combinacao linear nita. Assim, muito do que se faz em matematica (mensurar, comparar,
classicar, caracterizar, provar a existencia de algo, etc.) pode car mais tratavel. Isso e bem
razoavel pois lidar com coisasnitas e lidar com o controlavel, em princpio. Entretanto, ao
considerar, por exemplo, fun coes como vetores de um espaco vetorial, a ideia de representacao
nita perde o sentido. Por exemplo, sera que existe um subconjunto nito e linearmente
independente do espaco C[0, 1] das funcoes contnuas no intervalo [0, 1] em que todas as fun coes
do espaco possam ser representadas por uma combina cao linear nita de seus elementos?
Suponha que existisse tal conjunto, digamos B = f
1
, . . . , f
n
. Entao, C[0, 1] seria um espa co
vetorial de dimensao n, ou seja, dim
_
C[0, 1]
_
= n. Mas, o conjunto U = 1, t, t
2
, . . . , t
n
e um
conjunto L.I em C[0, 1]. Com efeito, se

0
1 +
1
t
2
+ +
n
t
n
= 0,
entao da igualdade de polinomios segue-se que
0
, . . . ,
n
= 0. Dessa forma, C[0, 1] conteria
um subespaco de dimenao n + 1, a saber, o espaco gerado por U . Contradi cao.
Sob essa perspectiva, pode-se dizer que Analise Funcional e uma analise em espacos de
dimensao innita. De um modo geral, em um modo simples de dizer, trata-se de uma das areas
mais fascinantes da Matematica. Alem de sua propria importancia teorica, como sendo uma
generalizacao natural da

Algebra Linear Classica, por exemplo, ela destaca-se por desempenhar
um papel crucial nos mais diversos ramos da Matematica como Analise Nao-Linear, Teoria do
Controle, Otimiza cao, EDPs e sobre tudo na moderna Teoria dos Espacos de Banach.
3
4
O objetivo do presente texto, escrito especicamente para a EMALCA da Amazonia 2009
- Escola de Matematica da Americana Latina e do Caribe, e apresentar de forma introdutoria
o curso de Analise Funcional como uma analise matematica em espacos de dimensao innita.
O texto tem como p ublico-alvo estudantes do nal da graduacao e incio do mestrado. Na
escolha dos temas a serem tratados aqui, esbocamos uma tentativa de econtrar um equilbrio
entre o vasto espectro de assuntos que merecem ser abordados, os varios pontos de vistas,
classicos e modernos, e o desao de cumprir com a missao em um curto espaco de tempo. Para
tanto, optamos por uma abordagem que vai na direcao de enfatizar as nuances topologicas que
surgem ao passar do nito para o innito.
No Captulo 1, dedicamos atencao especial aos conceitos basicos da

Algebra Linear como
espacos vetoriais, subspa cos, bases, e dimensao. No Captulo 2, fazemos uma introdu cao aos
espacos normados com enfase aos espacos de Banach. O Captulo 3, dedica-se a uma re-
visao dos conceitos basicos de topologia geral focados nos espacos metricos. Os tres captulos
subsequentes sao os principais captulos do texto. No Captulo 4, estudamos o Teorema de
Hahn-Banach, uma das principais ferramenta da Analise funcional. Estudamos tambem varias
de suas consequencias. No Captulo 5, introduzimos a no cao de topologia fraca em espacos
de Banach e fazemos um esboco comparativo entre ela e a topologia da norma (tambem con-
hecida como topologia forte). O Captulo 6, dedica-se ao estudo de algumas das propriedades
topologicas dos espacos de Banach sob a otica da topologia fraca.
Gostaria de externar meus sinceros agradecimentos ao Professor Marcelo Viana pelo convite
ao desao de ministrar esse curso. De um modo geral, agradecer tambem aos organizadores
do evento, em particular ao Professor Cicero Mota pelo constante apoio e motivacao e ao
Professor Leonardo Mora pela exemplar conduta das atividades. Varias pessoas tambem foram
fundamentais durante a escrita desse trabalho. Entre elas, a nutricionista Adriane Guimaraes
Barroso, meus dois amados lhos, Marco Antonio M. Barroso e Abner Montenegro Barroso,
e os Professores Aldemir Oliveira e Flavia Morgana pelo carinho e apreco demonstrados de
forma mpar durante minha estada no Rio de Janeiro, onde parte desse trabalho foi escrita.
Muito obrigado por tudo.
Conte udo
1 Algebra Linear - Uma abordagem innito-dimensional 9
1.1 Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.1 Exemplos de Espacos Vetoriais. . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 Bases Algebricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Funcionais Lineares - Dual Algebrico . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4 Aplicacoes Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 Espacos Normados 23
2.1 Exemplos de Espa cos Normados. . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1.1 Desigualdades Classicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2 Convergencia em Espacos Normados . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3 Dual de um espaco normado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4 Aplicacoes Lineares em Espacos Normados . . . . . . . . . . . . . . . . . . . . . 28
2.4.1 Dual de Espacos de Sequencias . . . . . . . . . . . . . . . . . . . . . . . 28
2.5 Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.5.1 Exemplos de Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . 30
2.5.2 Espacos com Produto Interno . . . . . . . . . . . . . . . . . . . . . . . . 31
2.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
5
6
3 Nocoes de Topologia Geral 33
3.1 Espacos Topologicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.3 Construindo Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.3.1 Topologia Induzida em Subconjuntos . . . . . . . . . . . . . . . . . . . . 34
3.3.2 Topologia Induzida por Bases . . . . . . . . . . . . . . . . . . . . . . . . 34
3.3.3 Topologia induzida por uma famlia de funcoes . . . . . . . . . . . . . . 35
3.3.4 Topologia Produto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.4 Espacos Metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.5 Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.6 Pontos Interiores e Conjuntos Fechados . . . . . . . . . . . . . . . . . . . . . . 38
3.7 Compacidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.7.1 Alguns Resultados de Compacidade em Dimensao Innita . . . . . . . . 41
3.7.2 A Propriedade da Intersecao Finita . . . . . . . . . . . . . . . . . . . . . 41
3.8 Comparando Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.9 Topologias Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.10 Metrizabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.10.1 Primeiro Axioma da Enumerabilidade . . . . . . . . . . . . . . . . . . . 42
3.11 Separabilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.12 Teorema de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.13 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4 Teorema de Hahn-Banach 45
4.1 Solucao do Problema da Extensao de Funcionais . . . . . . . . . . . . . . . . . 46
4.2 Consequencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.3 Versao Geometrica do Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . 49
4.3.1 Hiperplanos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.3.2 Funcional de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
7
4.3.3 A Forma Geometrica do THB . . . . . . . . . . . . . . . . . . . . . . . . 51
5 Topologias Fracas 53
5.1 Teorema de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.2 Denicao de Topologia Fraca . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.2.1 Propriedades da Topologia Fraca . . . . . . . . . . . . . . . . . . . . . . 54
5.3 Denicao de Topologia Fraca* . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.3.1 Propriedades da Topologia fraca* . . . . . . . . . . . . . . . . . . . . . . 56
5.3.2 Teorema de Banach-Alaoglu . . . . . . . . . . . . . . . . . . . . . . . . . 57
6 Reexividade 59
6.1 Injecao Canonica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6.1.1 Teorema de Goldstine . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
6.1.2 Caracterizacao de Espa cos Reexivos . . . . . . . . . . . . . . . . . . . . 60
8
Captulo 1
Algebra Linear - Uma abordagem
innito-dimensional
1.1 Espacos Vetoriais
Um espaco vetorial sobre o corpo dos n umeros reais R e um conjunto nao-vazio X, cujos
elementos sao chamados de vetores, munido de duas operacoes chamadas adicao e produto por
escalar, respectivamente. A adicao, simbolizada por +, associa a cada par (x, y) do conjunto
carteziano X X um novo elemento em X, indicado por x + y, chamado soma de x com y.
O produto por escalar, simbolizado por , associa a cada par (, x) do produto carteziano
RX um novo elemento em X, indicado por x, chamado o produto do escalar pelo vetor
x. Alem disso, tais operacoes gozam das seguintes propriedades:
Adicao. Para quaisquer x, y X tem-se:
(a
1
) (Comutatividade): x +y = y +x;
(a
2
) (Associatividade): x + (y +z) = (x +y) +z;
(a
3
) (Elemento Neutro): Existe um elemento x

X tal que x +x

= x, x X;
(a
4
) (Elemento inverso): Para cada x X, existe x X tal que x + x = x

.
9
10
Produto por Escalar. Para quaisquer x, y X e , R, tem-se:
(p
1
) (Distributividade): (x +y) = x + y e ( +) x = x + x;
(p
2
) (Associatividade): ( x) = () x;
(p
3
) (Elemento Neutro): Para cada x X, tem-se 1 x = x onde 1 R;
Doravante, usaremos a expressao espaco vetorialtao somente para designar um espa co
vetorial sobre o corpo dos reais. Tambem, por simplicidade notacional, usaremos a nota cao
x em vez de x, sempre que R e x X.
Proposicao 1.1.1 Em um espaco vetorial X valem as seguintes propriedades:
(a) O elemento neutro da adi cao e unico;
(b) O elemento inverso da adi cao e unico.
Prova. (a) Com efeito, se existe um outro elemento em X, digamos N, tal que x + N = x
para todo x X, entao x

= x

+ N = N + x

= N. (b) De fato, suponha que para cada

x X, exista um outro x

X tal que x + x

= x

. Entao, x = x + x

= x + (x + x

) =
( x +x) +x

= (x + x) +x

= x

+x

= x

+x

= x

.
O leitor podera encontrar na literatura [3] uma boa referencia onde as propriedades acima
e outras mais sao demonstradas.
Denicao 1.1.2 Um subconjunto nao-vazio Y de um espaco vetorial X e dito ser um sub-
espaco de X quando munido com as operacoes de adic ao e multiplicacao do espaco X ele
proprio constituir um espaco vetorial.

E bem conhecido, para que um subconjunto Y de um espaco vetorial X seja um subespaco

vetorial e necessario, e suciente, que a seguinte propriedade seja vericada:
x +y Y, para todo x, y Y e R.
Deste modo, as opera coes de adicao de vetores e multiplica cao por escalar quando restritas aos
conjuntos Y Y e RY , respectivamente, possuem em comum como contradomnio o proprio
conjunto Y . Na circunstancia, dizemos que Y e fechado em relacao `a essas opera coes.
11
1.1.1 Exemplos de Espacos Vetoriais.
(a) Fixado um natural n N, dena o espa co euclidiano R
n
como o seguinte conjunto
carteziano:
R
n
= x = (x
1
, x
2
, . . . , x
n
): x
i
R
As operacoes de adicao e produto por escalar sao denidas do seguinte modo natural:
x +y : = (x
1
+y
1
, x
2
+y
2
, . . . , x
n
+y
n
), e
x : = (x
1
, . . . , x
n
).
(b) O conjunto dos n umeros complexos C e um espaco vetorial com as operacoes usuais de
adicao e multiplicacao de n umeros complexos.
(c) Seja X um conjunto nao-vazio. O conjunto T(X) de todas a funcoes reais f : X R e
um espaco vetorial com as operacoes usuais de adicao e multiplicacao de fun coes.
(d) O conjunto T
n
[0, 1] de todos as fun coes polinomiais de grau n denidas no intervalo
[0, 1]:
p(x) = a
n
x
n
+a
n1
x
n1
+. . . a
1
x +a
0
,
munido com as operacoes usuais entre polinomios e um espa co vetorial.
(e) O conjunto C[0, 1] das fun coes contnuas no intervalo [0, 1].
O exemplo (a) acima ensina-nos uma das varias formas de como proceder na construcao
de espacos vetoriais. Com efeito, se X e Y sao espacos vetoriais arbitrarios, entao podemos
introduzir uma estrutura de espaco vetorial no conjunto carteziano X Y da mesma forma
que foi feito com o espa co R
n
. Para tanto, basta denir a adi cao entre dois vetores (e
1
, f
1
) e
(e
2
, f
2
) arbitrarios de X Y como sendo o vetor (e
1
+e
2
, f
1
+f
2
). Analogamente, o produto
por escalar e denido por (e, f): = (e, f).
12
1.2 Bases Algebricas
Seja X um espaco vetorial.
Denicao 1.2.1 Seja v
1
, . . . , v
n
uma colecao nita de vetores em X. Uma combinacao
linear desses vetores e um vetor da forma
x =
1
v
1
+ +
n
v
n
,
com
1
, . . . ,
n
R.
Denicao 1.2.2 (i) Uma colecao nita de vetores v
1
, . . . , v
n
em X e dita ser linearmente
independente quando

1
v
1
+ +
n
v
n
= 0,
implicar que
1
=
2
= =
n
= 0.
(ii) Um conjunto innito | contido em X e dito linearmente independente quando nenhum
de seus elementos puder ser escrito como combinacao linear de um n umero nito de
vetores de |.
Assim, para que | seja linearmente independente e necessario e suciente que a seguinte
condicao se verique: Dada uma quantidade n de vetores distintos x
1
, x
2
, . . . , x
n
em | e
escalares
1
, . . . ,
n
tais que:

1
x
1
+
2
x
2
+ +
n
x
n
= 0,
entao deve ocorrer que
1
=
2
= =
n
= 0.
Doravante, a notacao L.I. indicara a frase linearmente independente.
Denicao 1.2.3 Um conjunto nao-vazio B X e dito ser uma base de Hamel para o espaco
X quando B for um conjunto linearmente independente maximal, ou seja, se u e um vetor em
X tal que B u e um conjunto L.I., entao u B. Em outras palavras, B e uma base de
Hamel quando n ao for subconjunto proprio de nenhum outro conjunto L.I em X.
Denicao 1.2.4 Seja A um subconjunto de um espaco vetorial X. O espaco gerado por A,
denotado por A), e o conjunto de todas as combinacoes lineares de nitos vetores de A, ou
seja,
A) =
_
m

j=1

j
v
j

m N,
i
R, v
j
A
_
.
13
Daqui em diante, a menos que seja dito em contrario, nos referiremos a uma base de Hamel
simplesmente como base. Ressaltamos que a partir da nocao de base e possvel determinar
todos os elementos de um espa co vetorial, haja vista que qualquer vetor x em X pode ser
expresso como uma combinacao linear de uma quantidade nita de vetores de B. Alem do
que, conforme pode ser vericado facilmente tal expressao e unica. Neste caso, de acordo com
a Denicao 1.2.4, segue-se que B gera o espa co X, ou que X e gerado pela base B.
Portanto, cabe aqui a seguinte indaga cao:
Problema. Dado um espa co vetorial X qualquer, sempre existe uma base para X?
A resposta a essa questao, conhecida como o problema de existencia de bases, e positiva.
A seguir, faremos uma pequena pausa para estudarmos algumas nocoes basicas que nos con-
duzirao `a compreensao de uma ferramenta que sera usada de forma decisiva na solucao desse
problema.
Relacao de Ordem. Uma ordem parcial em um conjunto nao-vazio A e uma rela cao entre
pares de elementos de A, genericamente representada pelo smbolo , que caracteriza-se por
cumprir a tres propriedades, a saber:
(i) x x,
(ii) Se x y e y z, entao x z,
(iii) Se x y e y x, entao x = y,
para quaisquer x, y e z em A.
Indica-se com a nota cao (A, ) um conjunto A munido com uma ordem parcial . Dizemos
neste caso que A e um conjunto parcialmente ordenado. Dizemos ainda que (A, ) e um
conjunto totalmente ordenado se dados quaisquer a, b A pudermos vericar que ou a b,
ou b a. Agora, seja / um subconjunto de um conjunto parcialmente ordenado A. Um
elemento a A e dito ser uma cota superior para / quando x a para todo x /. No caso
em que isso se verica com a /, dizemos que a e um elemento maximal para / (segundo
a relacao ).
O proximo resultado e de fundamental importancia para o desenvolvimento da teoria.
14
Lema 1.2.5 (Lema de Zorn) Seja (A, ) um conjunto parcialmente ordenado. Suponha que
todo subconjunto nao-vazio e totalmente ordenado / de A possui uma cota superior em A.
Entao A possui um elemento maximal.
O seguinte resultado nos diz que um conjunto L.I. em um espaco vetorial pode ser com-
pletado `a uma base para o espaco X.
Teorema 1.2.6 Seja | um conjunto linearmente independente em um espaco vetorial X.
Entao, existe uma base B em X tal que | B.
Prova. Seja C o conjunto de todas os subconjuntos linearmente independentes C de X tais
que | C. Naturalmente C e nao-vazio pois | C. Vamos denir uma ordem parcial em
C: Dados C
1
, C
2
C, dizemos que C
1
C
2
se tivermos C
1
C
2
. Pelo Lema de Zorn, C
possui um elemento maximal que o indicaremos por B. Portanto, B e um conjunto linearmente
independente maximal, ou seja, uma base para X contendo |.
Como uma simples aplicacao deste resultado, obtemos a seguinte caracterizacao de bases
em termos de geracao de espa cos vetoriais.
Proposicao 1.2.7 Seja | um subconjunto de um espaco vetorial X. Entao, | e uma base
para X se, e somente se, | e L.I. e gera o espaco X, ou seja, X = |).
Prova. Exerccio.
O resultado a seguir resolve de uma vez por todas o problema da existencia de bases.
Proposicao 1.2.8 Todo espaco vetorial possui um base de Hamel.
Prova. Seja X um espaco vetorial. Se X for gerado por um unico vetor nao-nulo u X,
entao o conjunto B = u e uma base para E. Assim, podemos supor que existem ao menos
dois vetores nao-nulos u, v E que sao L.I.. Considere o conjunto | = u, v. Pelo Teorema
1.2.6, X possui uma base B que contem |. Isso conclui a prova do resultado.
Denicao 1.2.9 Um espaco vetorial X e dito ser nito-dimensional se ele possui uma base
nita. Do contrario, ele e dito ser innito-dimensional.
15
Se X possui uma base nita, digamos com n vetores, entao dizemos que a dimensao de
X e n e escrevemos dim(X) = n. Se X e innito-dimensional, entao simbolizamos isso por
dim(X) = . Antes de prosseguirmos, lembremos que dois conjuntos nao-vazios sao ditos
terem a mesma cardinalidade quando existe uma bijecao entre eles. O proximo resultado,
conhecido como o teorema da dimensao, estabelece uma caracterizacao importante sobre bases
em termos de cardinalidade.
Teorema 1.2.10 (Teorema da Dimensao) Duas bases em um espaco vetorial possuem a mesma
cardinalidade.
Prova. Sejam B
1
e B
2
bases de um espa co vetorial E. Vamos mostrar que existe uma fun cao
injetiva : B
1
B
2
.
Etapa 1. Considere o conjunto A formado por todas as funcoes injetivas cujo domnio D

e um subconjunto de B
1
, a imagem R

e um subconjunto de B
2
, e que a uniao R

_
B
1
D

_
seja um conjunto L.I.. Consideremos em A a seguinte ordem parcial:
1

2
desde que
D

1
D

2
e que
2
restrita a D

1
seja identica a
1
. Seja / um subconjunto nao-vazio e
totalmente ordenado de A. Entao, denindo D
0
=
M
D

e
0
: D
0
B
2
pondo
0
(x) =
(x) se x D

, concluimos a partir da hipotese que /e totalmente ordenado que

0
pertence
a A e, de fato, e uma cota superior para /. Sendo assim, pelo Lema de Zorn o conjunto A
possui um elemento maximal que o representaremos por : D

B
2
.
Etapa 2. Armamos agora que D

= B
1
. Suponhamos por contradicao que isso nao ocorre,
ou seja, que D

e um subconjunto proprio de B
1
. Entao, segue-se da que R

tambem e um
subconjunto proprio de B
2
pois do contrario teramos que o conjunto R

_
B
1
D

_
seria
linearmente independente, o que contrariria a denicao de base para B
2
.
Seja agora y B
2
R

arbitrario. Entao, ou y e linearmente independente de R

_
B
1
D

_
ou nao. No primeiro caso, escolhemos um vetor arbitrario x B
1
D

e denimos a estensao

: D

x B
2
de pondo

(x) = y. Isso implica que

, o que contradiz a
maximalidade de . No segundo caso, podemos expressar y de modo unico como
y =

vR

v
v +

uD

u
u,
em que ao menos um
u
0
e diferente de zero pois y e um elemento da base B
2
. Considere agora
a extensao

: D

u
0
B
2
em que

(u
0
) = y. Claramente,

e injetiva e D

u
0
B
1
.
Resta mostrarmos que R

_
B
1
D

_
e um conjunto linearmente independente. Isso, de fato,
e uma tarefa simples e a deixaremos como exerccio para o leitor.
16
Etapa 3. Portanto, vale a arma cao e e a fun cao injetiva procurada. De modo inteiramente
analogo, mostra-se que existe uma funcao injetiva : B
2
B
1
. Pelo Teorema de Schroeder-
Bernstein, existe uma bije cao entre B
1
e B
2
e, portanto, possuem a mesma cardinalidade. Isso
completa a prova do teorema.
O teorema da dimensao surgiu em 1934 num artigo devido a Lowig. A referencia precisa e
a seguinte: H. Lowig,

Uber die Dimension linearer Raume,Studia Math., 5, 18-23 (1934).

1.3 Funcionais Lineares - Dual Algebrico
Um funcional linear em um espa co vetorial X e uma fun cao f : X R satisfazendo as
seguintes propriedades:
(i) f(x +y) = f(x) +f(y),
(ii) f(x) = f(x),
para quaisquer vetores x, y em X e escalar em R.
Denicao 1.3.1 O dual algebrico de um espaco vetorial X e o conjunto
X

=
_
f : X R

f e um funcional linear
_
.
Um exerccio simples e mostrar que X

e um espa co vetorial.
Denicao 1.3.2 Se f X

, entao o n ucleo do funcional f e o espaco vetorial Ker(f) denido

por
Ker(f) = x X

f(x) = 0.
Proposicao 1.3.3 Uma funcao f : R R e linear se, e somente se, f e uma funcao am, ou
seja, existe um n umero real a tal que f(x) = ax, para todo x R. Em particular,
R

=
_
f : R R

f e am .
Uma pergunta natural e a seguinte: O dual algebrico de qualquer espaco vetorial e nao-
trivial? A proposicao seguinte fornece uma resposta positiva a essa questao.
17
Proposicao 1.3.4 Seja X um espaco vetorial nao-trivial. Entao, existe um funcional n ao
nulo em X.
Prova. Seja B um base para X. Fixe e B e dena um funcional f : X R pondo f(e) = 1,
f(u) = 0 para todo u B e e se x X e tal que x =

i=1

i
e
i
com e
i
B, dena
f(x) =

i=1

i
f(e
i
). Segue-se que f X

e f , 0.
Uma outra propriedade interessante e a seguinte.
Proposicao 1.3.5 Sejam f, f
1
, . . . , f
n
funcionais lineares em um espaco vetorial X. Entao,
f e uma combina cao linear de f
1
, . . . , f
n
se, e somente se,

n
i=1
Ker(f
i
) Ker(f).
Prova. Podemos supor que f
1
, . . . , f
n
s ao L.I.. Suponha que f f
1
, . . . , f
n
). Entao, existem
escalares
1
, . . . ,
n
tais que
f =
1
f
1
+ +
n
f
n
.
Segue-se da que

n
i=1
Ker(f
i
) Ker(f). A recproca sera demonstrada por inducao em n.
Consideremos o caso n = 1. Fixe x , Ker(f
1
), entao f
1
(x) ,= 0. Entao, para todo y X
tem-se que y
f
1
(y)
f
1
(x)
x Ker(f
1
). Usando a hipotese que Ker(f
1
) Ker(f), segue-se que
f(y) = f
1
(y), com =
_
f(x)
f
1
(x)
_
. Suponha por inducao que o resultado vale para n 1, e
assuma que
n

i=1
Ker(f
i
) Ker(f).
Se x Ker(f
n
), e suponha que f
1
(x) = = f
n1
(x) = 0. Entao, x

n
i=1
Ker(f
i
) e portanto,
f(x) = 0. Considerando as restri coes f

Ker(f
n
)
, f
1

Ker(f
n
)
, . . . , f
n1

Ker(f
n
)
, vemos que
n1

i=1
Ker
_
f
i

Ker(f
n
)
_
Ker
_
f

Ker(f
n
)
_
.
Pela hipotese de inducao, existem escalares
1
, . . . ,
n1
tais que
f(y) =
1
f
1
(y) + +
n1
f
n1
(y),
para todo y Ker(f
n
). Por consequencia, o n ucleo de f

n1
i=1

i
f
i
contem o n ucleo de f
n
.
Usando novamente a parte ja demonstrada para n = 1, segue-se o resultado.
18
1.4 Aplicacoes Lineares
A nocao de funcionais lineares se estende naturalmente `a no cao de aplicacoes lineares.
Denicao 1.4.1 Sejam X, Y espacos de Banach. Uma aplicacao T : X Y e dita ser linear
quando T cumpre as seguintes condicoes:
(i) T(x +y) = T(x) +T(y), e
(ii) T(x) = T(x),
para quaisquer x, y X e R.
Um exemplo basico de aplicacoes lineares e dado pela aplicacao identidade: T : X X e
tal que T(x) = x para todo x X. De um modo inteiramente analogo, se denem o n ucleo
N(T) e a imagem Im(T) de uma aplica cao linear T como sendo os conjuntos:
N(T) =
_
x X

T(x) = 0
_
e Im(T) =
_
T(x)

x X
_
.
Mostra-se tambem tais conjuntos sao espacos vetoriais.
1.5 Exerccios
1. Seja X um espaco vetorial. Mostre que:
(i) Se B = e

: e uma base de Hamel para X e x XB, entao existem unicos escalares

h

(x) tais que

x =

supp(x)
h

(x)e

,
onde supp(x) e suporte de x, ou seja, o conjunto do ndices tais que h

(x) ,= 0. (Use
o fato que B e maximal, e lembre da deni cao de base de Hamel que supp(x) e nito.)
(ii) No item (i) acima, mostre que para cada , a funcao x h

(x) dene um funcional

linear em X. (Use um argumento de unicidade.)
(iii) Se X possui um conjunto L.I. innito, entao dim(X) = .
(iv) Se | e um conjunto L.I. em X, entao | e uma base para o espaco |).
19
2. Mostre que os conjuntos abaixo sao espacos vetoriais:
(i)
p
=
_
(
n
) :
n
R, e

n=1
[
n
[
p
<
_
, se 1 p < .
(ii) c
0
=
_
(
n
):
n
R, e lim
n

n
= 0
_
e um espa co vetorial.
(iii)

=
_
(
n
)

Existe uma constante C > 0 tal que [

n
[ C, n N
_
.
(iv) C[0, 1] =
_
u: [0, 1] R

u e uma funcao contnua

_
.
(v) L
1
[0, 1] =
_
[u]

u: [0, 1] R e uma funcao mensuravel `a Lebesgue e

_
1
0
[u(s)[ds <
_
.
(Lembrando que [u] representa a classe de equivalencia de todas a funcoes u que sao iguais a
menos de um conjunto de medida nula).
3. Mostre que:
(i) Se B = e
1
, e
2
, . . . , onde e
i
= (0, . . . , 0, 1, 0, . . . ), em que 1 aparece na i-esima posicao,
entao B e um conjunto L.I. nos espa cos c
0
,
1
,
p
,

.
(ii) Se B = 1, t, t
2
, t
3
, . . . , entao B e um conjunto L.I. em C[0, 1].
(iii) Se B = u
n
: n N, onde u
n
(t) =
[0,11/n]
(t) com t [0, 1], entao B e um conjunto
L.I. em L
1
[0, 1]. Conclua que L
1
[0, 1] e um espaco innito-dimensional.
(Lembrando que se A e um conjunto nao-vazio qualquer, entao
A
e a funcao caracterstica de
A, ou seja,
A
(x) = 1 se x A e
A
(x) = 0 se x , A).
4. Considere o espaco L

[0, 1] das classes [u] de fun coes u: [0, 1] R tal que existem uma
constante uma constante C > 0 e um conjunto de medida nula N [0, 1] tal que
[u(t)[ C, t [0, 1] N.
Mostre que:
(i) L

[0, 1] e um espaco vetorial.

(ii) C[0, 1] e um subespa co de L

[0, 1].
(iii) Conclua que L

[0, 1] e um espaco innito-dimensional.

20
5. Mostre que:
(i)
p

q
se 1 p q .
(ii)
1

p
c
0

, em que 1 < p < .

6. Seja c
00
=
_
(
n
):
n
R, e a menos de um n umero nito, todos os termos
n
= 0
_
.
Mostre que:
(i) c
00
e um espaco vetorial.
(ii) Se B = e
i
: i N e como no Exerccio 2, entao B e uma base para o espa co c
00
.
7. Sejam X, Y espacos vetoriais. Mostre que:
(i) Se f X

, entao Ker(f) e um espaco vetorial.

(ii) O conjunto L(X, Y ) das aplica coes lineares de X em Y tambem e um espaco vetorial.
(iii) Se T L(X, Y ), entao N(T) e Im(T) sao espa cos vetoriais.
8. Sejam X, Y espacos vetoriais nao-triviais. Mostre que:
(i) Sempre existe uma aplica cao linear T : X Y nao-identicamente nula. Conclua neste
caso que o espaco L(X, Y ) e nao-trivial.
(ii) Se X e innito-dimensional, entao L(X, Y ) e innito-dimensional.
9. Seja X um espaco vetorial. Mostre que:
(a) Todo funcional linear nao-nulo em X e sobrejetivo;
(b) Um funcional linear em X e injetivo se, e somente se, dimX = 1.
10. Sejam X um espa co nito-dimensional e B = v
1
, . . . , v
n
uma base para X. Mostre que
dados n umeros a
1
, . . . , a
n
R, existe um funcional linear f em X tal que f(v
i
) = a
i
para todo
i = 1, . . . , n.
11. Seja X um espa co vetorial. Entao, X e nito-dimensional se, e somente se, X

tambem e
nito-dimensional. Em particular, dimX = dimX

.
21
12. Sejam X e Y espacos vetoriais e T : X Y um aplica cao linear. Suponha que X e
nito-dimensional. Entao Im(T) e nito-dimensional e vale dimX = dimN(T) + dimIm(T).
Prova. Sejam m = dimX e n = dimN(T). Devemos mostrar entao que a imagem Im(T)
tem dimensao nita e que dimIm(T) = mn. Para mostrar que Im(T) e nito-dimensional e
suciente mostrar que esse espaco admite uma quantidade nita de geradores. Seja v
1
, . . . , v
n

uma base para N(T). Pelo Teorema 1.2.6, existem vetores u

1
, . . . , u
mn
tais que
B = v
1
, . . . , v
n
, u
1
, . . . , u
mn

e uma base para X. Amarmos que | = T(u

1
), . . . , T(u
mn
) forma uma base para a imagem
Im(T). Com efeito, seja y Im(T) qualquer. Entao, existe x X tal que T(x) = y. Como B
e uma base para X, podemos encontrar escalares
1
, . . . ,
n
,
n+1
, . . . ,
mn
tais que
x =
1
v
1
+ +
n
v
n
+
n+1
u
1
+ +
mn
u
mn
.
Entao, y = T(x) =
n+1
T(u
1
) + +
mn
T(u
mn
) donde segue-se que Im(T) e gerado por
|. Em particular, a imagem de T e um espaco nito-dimensional. Mostremos agora que | e
um conjunto L.I.. Suponhamos que existam escalares
1
, . . . ,
mn
tais que
1
T(u
1
) + +

mn
T(u
mn
) = 0, entao, por linearidade, segue-se que
1
u
1
+ +
mn
u
mn
pertence ao
n ucleo de T. Logo, podemos encontrar escalares
1
, . . . ,
n
que vericam a igualdade

1
u
1
+ +
mn
u
mn
=
1
v
1
+ +
n
v
n
,
a qual e possvel se, e somente se,
1
= =
mn
= 0. Isso prova a armacao. Portanto,
dimIm(T) = mn. Isso conclui o exerccio.
13. Mostre que se X e innito-dimensional e f
1
, . . . , f
n
sao funcionais lineares em X, entao
n

i=1
Ker(f
i
) ,= 0.
(Considere a aplicacao linear T : X R
n
denida por T(x) = (f
1
(x), . . . , f
n
(x)). Em seguida,
use o Teorema do N ucleo e da Imagem (Exerccio 12)).
22
Captulo 2
Espa cos Normados
Uma norma em um espa co vetorial X e uma funcao N: X [0, ) tal que as seguintes
propriedades sao vericadas:
(i) Desigualdade Triangular: N(x +y) N(x) +N(y),
(ii) Homegeneidade: N(x) = [[N(x),
(iii) Nulidade: N(x) = 0 implica x = 0,
para quaisquer vetores x, y em X e escalar em R.
Visando uma simplicidade notacional, ao inves de N(x) escreveremos |x|. Tambem,
quando necessario for, faremos uso da notacao |x|
X
para indicar que trata-se da norma do
espaco X.
Denicao. Se X e um espaco vetorial e | | uma norma em X, entao ao par (X, | |) da-se
o nome de espaco normado.
A seguir conheceremos alguns exemplos de espacos normados.
2.1 Exemplos de Espacos Normados.
(i) (Espacos das seq uencia convergentes para zero): Considere a funcao | |: c
0
[0, )
denida por
|(
n
)|
c
0
= max
nN
[
n
[.
23
24
Entao, (c
0
, | |
c
0
) e um espaco normado.
(ii) (O espaco das sequencias somaveis): Considere a funcao | |

1
:
1
[0, ) dada por:
|(
n
)|

1
=

n=1
[
n
[.
Entao, (
1
, | |

1
) e um espaco normado.
Observe que vale a inclusao
1
c
0
e que
1
,= c
0
, pois (
1
n
) pertence a c
0
mas nao pertence
a
1
. Menos trivial que os exemplos acimas sao o que virao a seguir. Mas, antes, facamos uma
pausa para estabelecermos alguamas desigualdades importantes.
2.1.1 Desigualdades Classicas
Proposicao 2.1.1 Sejam n umeros reais a, b 0 e p 1. Entao,
(a +b)
p
2
p
(a
p
+b
p
).
Prova. Basta considerar o caso em que a b. O outro e analogo. Assim,
(a +b)
p
(2b)
p
= 2
p
b
p
2
p
(a
p
+b
p
).
Proposicao 2.1.2 (Desigualdade de Young) Sejam n umeros reais a, b 0 e p, q > 1. Suponha
que
1
p
+
1
q
= 1. Entao,
ab
a
p
p
+
b
q
q
.
Prova. Considere as fun cao f(x) = x
p1
com 0 x a e g(y) =
p1

y com 0 y b.
Observe que ha um intervalo I para o qual g e a inversa de f. Suponhamos sem perda de
generalidade que f(a) b. Considerando o n umero ab como a area do retangulo de base
a, no eixo das abscissas, e altura b no eixo das ordenadas e, alem disso, representando por
A
1
=
_
a
0
f(x)dx e por A
2
=
_
b
0
g(y)dy ve-se facilmente que
ab A
1
+A
2
.
Apos os devidos calculos de A
1
e A
2
chega-se a desigualdade procurada.
25
Proposicao 2.1.3 (Desigualdade de H older) Dados n umeros reais a
1
, . . . , a
N
, b
1
, . . . , b
N
, e
n umeros p, q > 1 com
1
p
+
1
q
= 1, tem-se:
N

n=1
a
n
b
n

_
N

n=1
[a
n
[
p
_1
p
_
N

n=1
[b
n
[
q
_1
q
.
Prova. Basta aplicar a desigualdade de Young aos n umeros
A
k
=
a
k
_

N
n=1
[a
n
[
p
_
1/p
, B
k
=
b
k
_

n=1
[b
n
[
q
_
1/q
.
Proposicao 2.1.4 (Desigualdade de Minkowski) Dados n umeros a
1
, . . . , a
N
, b
1
, . . . , b
N
, e p
1, tem-se
_
N

n=1
[a
n
+b
n
[
p
_
1/p

_
N

n=1
[a
n
[
p
_
1/p
+
_
N

n=1
[b
n
[
p
_
1/p
.
Prova.
N

n=1
[a
n
+b
n
[
p

n=1
[a
n
+b
n
[
p1
[a
n
+b
n
[

n=1
[a
n
+b
n
[
p1
[a
n
[ +
N

n=1
[a
n
+b
n
[
p1
[b
n
[

_
N

n=1
[a
n
+b
n
[
p
_
p1
p

_
N

n=1
[a
n
[
p
_
1/p
+
_
N

n=1
[a
n
+b
n
[
p
_
p1
p

_
N

n=1
[b
n
[
p
_
1/p
=
_
N

n=1
[a
n
+b
n
[
p
_
p1
p

__
N

n=1
[a
n
[
p
_
1/p
+
_
N

n=1
[b
n
[
p
_
1/p
_
.

Apos a pausa, voltemos para os exemplos de espacos normados.

(iii) (O espaco das seq uencias p-somaveis). Para 1 < p < , considere a funcao | |

p
:
p

[0, ) dada por
|(
n
)|

p
=
_

n=1
[
n
[
p
_
1/p
.
Entao, (
p
, | |

p
) e um espaco normado.
26
(iv) (O espaco das seq uencias limitadas.) Considere a funcao | |

[0, ) denida
por
|(
n
)|

= sup
nN
[
n
[.
Entao, (

, | |

) e um espaco normado.
(v) (O espaco das classes de funcoes p-integraveis). Para 1 p < , dena
L
p
[0, 1] =
_
[u]

u: [0, 1] R e uma funcao mensuravel `a Lebesgue e

_
1
0
[u(t)[
p
dt <
_
.
Considere a fun cao | |
L
p
: L
p
[0, 1] R denida por
|u|
L
p
=
_
_
1
0
[u(t)[
p
dt
_
1/p
.
(vi) (O espa co das classes de funcoes limitadas) Considere a fun cao | |
L

: L

[0, 1] R
denida por
|u|
L

= inf
_
C > 0

Existe N [0, 1], [N[ = 0, tal que [u(t)[ C, t [0, 1] N

_
.
Entao, (L

[0, 1], | |
L

) e um espaco normado.
2.2 Convergencia em Espacos Normados
Seja (X, | |) um espaco normado. Tal como ocorre em R
n
, ou mais geralmente nos espa cos
metricos, podemos resgatar em X a nocao de convergencia de sequencias.
Denicao 2.2.1 Dizemos que uma sequencia x
n
em X converge para um vetor x X se
para todo > 0 dado, existir um inteiro n

1 tal que |x
n
x| < , para todo ndice n n

.
Usaremos a notacao x
n
x para indicar a convergencia em norma da sequencia x
n
para o
vetor x.
2.3 Dual de um espaco normado
Um funcional linear f : X R em um espa co normado (X, | |) e dito ser limitado se:
|f|: = sup
xB
X
,x=0
[f(x)[
|x|
< .
27
O espa co dual de um espaco normado (X, | |) e o subconjunto X

do espaco X

denido
por:
X

=
_
f : X R

f e linear e limitada .

E facil vericar que X

e um espaco vetorial (Ex.). O resultado a seguir mostra que nem todo

funcioanal linear em um espaco normado e limitado. Portanto, X

e um subespa co proprio de
X

.
Proposicao 2.3.1 Seja X um espaco vetorial normado de dimensao innita. Entao, existe
um funcional linear nao-limitado em X.
Prova. Seja B = e

uma base de Hamel para X, e e

n
: n N uma seq uencia de vetores
em B. Sem perda de generalidade, podemos assumir que |e

| = 1 para todo . Dena um

funcional linear f : X R pondo f(e

) = 0 se e

, e
n
: n N, e f(e
n
) = n para todo n N.
Considere agora a seq uencia x
n
em X denida por x
n
=
1
n
e
n
. Entao, |x
n
| =
1
n
e
[f(x
n
)[
|x
n
|
= n,
para todo n N, o que mostra que |f| = .
A proposicao a seguir fornece uma caracteriza cao importante sobre funcionais lineares
limitados.
Proposicao 2.3.2 Um funcional linear em um espaco normado e limitado se, e somente se,
ele e contnuo se, e somente se, ele e contnuo no vetor nulo.
Prova. Exerccio.
Observacao 2.3.1 A demonstra cao da Proposicao 2.3.1 mostra ainda que |x
n
| 0 mas
f(x
n
) = 1, para todo n N.
Portanto, f e um funcional linear nao-contnuo.
Proposicao 2.3.3 Se f e um funcional linear limitado em um espaco normado X, entao
|f| = sup[f(x)[ : x S
X
,
em que S
X
= x X: |x| = 1.
28
Prova. Como S
X
B
X
, segue-se da denicao de supremo que
|f| sup[f(x)[ : x S
X
.
Seja x B
X
tal que x ,= 0, entao u =
x
|x|
S
X
e portanto,
sup[f(z)[ : z S
X
[f(u)[ =
[f(x)[
|x|
,
donde segue-se da deni cao de supremo que sup[f(z)[ : z S
X
|f|. Isso conclui a prova.

2.4 Aplicacoes Lineares em Espacos Normados

Sejam X, Y espacos de normados.
Denicao 2.4.1 Uma aplica cao linear T : X Y e dita ser contnua ser limitada se existe
uma constante C > 0 tal que
|Tx|
Y
C|x|
X
,
para todo x X.
O conjunto das apicacoes lineares limitadas de X em Y e denotado por: L(X, Y ). Mostra-
se facilmente que L(X, Y ) e um espa co vetorial. Alem disso, e possvel mostrar que se T
L(X, Y ), entao:
(i) |T| = sup
_
Tx
Y
x
X
_
< .
(ii) A fun cao que associa a cada T L(X, Y ) o n umero |T| dene uma norma no espa co
L(X, Y ).

E facil vericar que T L(X, Y ) se, e somente se, T e contnua em rela cao a topologia
gerada pela norma, ou seja, x
n
x em X se, e so se, T(x
n
) T(x) em Y .
2.4.1 Dual de Espacos de Sequencias
Uma aplicacao linear T : X Y e dita ser uma isometria se ela satisfaz |Tx|
Y
= |x|
X
, para
qualquer x X. No caso em que T e uma isometria sobrejetiva, dizemos que X e Y sao
isometricos e usamos a nota cao X Y para representar tal acontecimento.
29
Teorema 2.4.2 c

0
e isometrico a
1
.
Prova. Dena uma aplicacao T : c

0

1
pondo T(f) = (f(e
i
)), onde e
i
= (
ij
)

j=1
. Clara-
mente, T e linear. Armamos que T e limitada (e portanto, contnua). Com efeito, se f c

0
dena uma sequencia x
n
em c
0
tal que
x
n
= (sign(a
1
), . . . , sign(a
n
), 0, 0, . . . ) =
n

i=1
sign(a
i
)e
i
,
onde a
i
= f(e
i
) e sign() = 1 se 0 e zero caso contrario. Note que f(x
n
) =

n
i=1
[a
i
[ e que
|x
n
|
c
0
= 1 para todo n N. Portanto,
n

i=1
[a
i
[ = f(x
n
) |f|
c

0
|x
n
| = |f|,
para todo n N. Isso implica que

i=1
[a
i
[ |f|. Portanto, |T(f)|

1
|f|
c

0
. Por outro
lado, dado > 0 arbitrario, pela Proposicao 2.3.3 existe x

c
0
com |x

|
c
0
= 1 tal que
|f|
c

0
[f(x

)[
Portanto, escrevendo agora u
n

=

n
i=1
x
i

e
i
, obtemos que
|x

u
n

|
c
0
= sup
in+1
[x
i

[ 0, quando n ,
donde conclui-se que [f(x

) f(u
n

)[ 0. Assim
|f|
c

0
[f(x

) f(u
n

)[ +[f(u
n

)[
[f(x

) f(u
n

)[ +
n

i=1
[x
i

[[a
i
[
[f(x

) f(u
n

)[ +

i=1
[a
i
[
= [f(x

) f(u
n

)[ +|T(f)|

1
.
Fazendo n e depois 0, obtemos |f|
c

0
|T(f)|

1
. Resta mostrarmos que T e
sobrejetiva. Seja x = (
n
)
1
qualquer. Dena f : c
0
R pondo f(x) =

n=1
x
n

n
.

E
facil vericar que f esta bem denida e que f c

0
. Agora, note que f(e
i
) =
i
. Portanto,
T(f) = (f(e
i
)) = (
i
) = x. Isso conclui a prova.
30
Observacao. Por causa do Teorema 2.4.2, costumamos dizer que o dual de c
0
e o
1
. Em
geral, se X, Y sao espacos normados e X

e isometrico a Y , dizemos que o dual de X e iguala

Y .
Os seguintes resultados sao classicos.
Teorema 2.4.3 Valem as seguintes isometrias:
(i)

,
(ii) Se p, q > 1 e
1
p
+
1
q
= 1, entao

p

q
,
2.5 Espacos de Banach
Um sequencia x
n
de vetores em um espaco normado (X, | |) e dita ser de Cauchy se a
seguinte senten ca for vericada:
Para todo > 0 dado, existe um n

N tal que |x
m
x
n
| < , m, n n

.
Mostra-se facilmente que se x
n
e uma sequencia de Cauchy em X, entao ela e limitada, ou
seja, existe uma constante C > 0 tal que |x
n
| C para todo n N.
Denicao 2.5.1 Um espaco normado (X, | |) e dito ser um espaco de Banach se quando
toda sequencia de Cauchy for convergente.
A Teoria dos Espa cos de Banach desempenha um papel fundamental em Analise Funcional.
A seguir veremos alguns exemplos desses espa cos.
2.5.1 Exemplos de Espacos de Banach
Proposicao 2.5.2 Considere o espaco C[0, 1] das funcoes contnuas no intervalo [0, 1] munido
com a norma
|u|

= sup
t[0,1]
[u(t)[.
Entao, (C[0, 1], | |

) e um espaco de Banach.
31
Prova. Seja (u
n
) uma sequencia de Cauchy em C[0, 1]. Entao, para todo t [0, 1] a sequencia
u
n
(t) e de Cauchy em R. Seja u(t) = lim
n
u
n
(t). Armamos que u e contnua e que
|u
n
u|

0 quando n . Dado , existe n

N tal que [u
m
(t) u
n
(t)[ < para
todo m, n n

, e para todo t [0, 1]. Fixe m n n

e faca n . Segue-se que

|u
m
(t) u(t)[ para todo m n

e todo t [0, 1]. Isso mostra que |u

m
u| para
todo m n

. Portanto, u
m
converge para u uniformemente. Entao, u C[0, 1] pois e o limite
uniforme de funcoes contnuas. A prova esta completa.
Proposicao 2.5.3

munido com a norma do supremo e um espaco de Banach.

Prova. Com efeito, considere em

a norma |(
n
)|

= sup
nN
[
n
[. Seja x
n
uma
sequencia de Cauchy em

. Entao, para cada i N a sequencia x

n
i
: n N e de Cauchy em
R. Seja y
i
= lim
n
x
n
i
. Um metodo muito similar usado na proposicao anterior, mostra que
(y
1
, y
2
, . . . )

e que x
n
y em

.
2.5.2 Espacos com Produto Interno
Seja X um espaco vetorial. Um produto interno em X e uma fun cao (, ) em X X com
valores reais satisfazendo as seguintes propriedades:
(i) Para cada x X, a funcao y (x, y) e linear.
(ii) (x, y) = (y, x), para todo x, y X.
(iii) (x, y) 0, para todo x X.
(iv) (x, x) = 0 se, e somente se, x = 0.
Proposicao 2.5.4 Valem as seguinte propriedades:
(a) (Desigualdade de Cauchy-Schwarz) [(x, y)[
_
(x, x)
_
(x, y)
(b) (Norma Induzida) A funcao |x| =
_
(x, x) dene uma norma em X.
Denicao 2.5.5 Um espaco de Banach (X, ||) e dito ser um espaco de Hilbert se || provem
de um produto interno.
Example 2.5.1 Exemplos de Espa cos de Hilbert:
32
(i)
2
=
_
(
n
):
n
R,

n=1

2
n
<
_
.
(ii) L
2
[0, 1] =
_
u: [0, 1] R:
_
1
0
u
2
(t)dt <
_
.
2.6 Exerccios
1. Mostre que os exemplos listados na Secao 2.1 sao de fato espacos normados.
2. Construa um funcional C[0, 1]

tal que ||
C[0,1]
= 1.
3. Construa uma apli cao linear limitada T :
1
L
1
[0, 1]. (Use o Exerccio 3, Cap. 1).
4. Seja (X, | |) um espa co normado. Entao, o dual X

e um espa co de Banach.(Pesquise.)
5. Todo subespa co fechado de um espa co de Banach e um espaco de Banach.
6. Para p [1, ), os espa cos
p
sao espacos de Banach.
7. Mostre que a aplicacao T :

denida por T(f) = (f(e

1
), f(e
2
), . . . ) e uma isometria.
Conclua que

.
8. Mostre que se 1 < p, q < sao conjugados (ou seja, 1/p + 1/q = 1), entao a aplica cao
T :

p

q
denida por T(f) = (f(e
1
), f(e
2
), . . . ) e uma isometria.
9. Demonstre a Proposicao 2.5.4.
10. Mostre que todo espa co vetorial admite uma norma. (Use Exerccio 1 do Captulo 1.)
11. Seja B uma base de Hamel de um espa co vetorial X. Mostre que existe uma aplicao linear
bijetiva entre X

e R
B
.
Captulo 3
Nocoes de Topologia Geral
O objetivo deste captulo e fazer uma ligeira revisao sobre topologia geral. O leitor que
detem os conhecimentos fundamentais do tema podera passar para o proximo captulo.
3.1 Espacos Topologicos
Denicao 3.1.1 Seja X um conjunto nao-vazio. Uma topologia em X e uma colecao de
subconjuntos de X com as seguintes propriedades:
(i) , X pertencem a ,
(ii) A uniao dos elementos de uma subcolecao de pertence a ,
(iii) A intersec ao dos elementos de uma subcolecao nita de pertence a .
No caso, o par (X, ) e chamado um espa co topologico e os elementos de sao chamados
abertos de X, ou abertos em X. Em resumo, um espaco topologico e um conjunto nao-vazio
X com uma colecao de subconjuntos de X tal que , X sao abertos em X, a uniao arbitraria
de abertos em X e um aberto de X, e a intersecao nita de abertos de X e aberto em X.
Denicao 3.1.2 Seja (X, ) um espaco topologico.
(i) Se U X e um aberto e x U, entao dizemos que U e uma vizinhanca de x.
(ii) e dita ser de Hausdor se dados quaisquer x, y em X, com x ,= y, existem vizinhancas
U de x, e V de y, tais que U V = .
33
34
3.2 Continuidade
Sejam (X, ) e (Y, ) espacos topologicos.
Denicao 3.2.1 Uma fun cao f : X Y e dita ser:
Contnua se f
1
(A) para todo A .
Um homeomorsmo se f e bijetiva, contnua e possui inversao contnua.
3.3 Construindo Topologias
A secoes seguintes nos rementem ao seguinte questionamento: Como construir uma topolo-
gia em um conjunto nao-vazio?
3.3.1 Topologia Induzida em Subconjuntos
Seja S um subconjunto de um espaco topologico (X, ). Considere a colecao

S
= A S

A .
Nao e difcil ver que
S
dene uma topologia em S. Neste caso, dizemos que S herda a topologia
de X, ou que X induz uma topologia natural em S.
3.3.2 Topologia Induzida por Bases
Uma outra forma de induzir uma topologia em um conjunto e descrita a partir da nocao de
base para uma topologia.
Denicao 3.3.1 Seja X um conjunto n ao-vazio. Uma base para uma topologia em X e uma
colecao B de subconjuntos de X com as seguintes propriedades:
(i) Para todo elemento x X, existe A B tal que x A,
(ii) Se para cada dois elementos A
1
, A
2
B, x A
1
A
2
,= , entao existe um terceiro
A
3
B tal que x A
3
A
1
A
2
.
35
Proposicao 3.3.2 Seja X um conjunto nao-vazio. Se B e uma base para uma topologia em
X, entao B induz um topologia em X.
Prova. De fato, considere o seguinte conjunto:
(B) =
_
U X

Para cada x U, existe A B tal que x A U.

Armamos que (B) dene uma topologia em X. Claramente, (B). Pelo item (i) da
Denicao 3.3.1, segue-se tambem que X (B). Vamos mostrar agora que (B) e fechada
para unioes arbitrarias. Seja U

uma famlia de elementos de (B). Ponha U =

.
Seja x U qualquer. Entao, x U

0
, para algum
0
. Por denicao, existe A B tal que
x A U

0
. Portanto,
x A U

0

_

= U.
Analogamente, usando (ii) da Deni cao 3.3.1, mostra-se por inducao que (B) e fechado para
intersecoes nitas. (Conra tambem [4])
3.3.3 Topologia induzida por uma famlia de funcoes
Considere a seguinte situa cao. Seja X um conjunto nao-vazio, (Y, ) um espaco topologico
e F =

: X Y

uma famlia de fun coes de X em Y .

Problema. Construir uma topologia em X tal que todas as funcoes de F sejam contnuas.
O resultado a seguir fornece uma solucao armativa para esse problema.
Proposicao 3.3.3 Considere a seguinte famlia de subconjuntos de X:
B =
_

,A

(A)

e nito , e uma famlia nita de abertos em Y

_
.
Entao, B e base de uma topologia (X, F) em X na qual todas as funcoes de F sao contnuas.
Alem disso, se T e uma topologia em X com a mesma propriedade, ent ao (X, F) T
Prova. De fato, seja x X qualquer. Entao, como para qualquer tem-se X =
1

(Y )
e Y e aberto, segue-se que x
1

(Y ) X, provando o item (i) da Deni cao 3.3.1. Sejam

U =

1
,A
1

1

(A), V =

1
,A
2

1

(A) elementos arbitrarios de B, e x UV . Seja

W =

,A

(A), onde

=
1

2
e =
1

2
. Entao, W B e x W U V .
Isso conclui a prova.
36
Observacao. A topologia (X, F) e chamada a topologia em X induzida por F.
Uma propriedade interessante da topologia denida acima e a seguinte:
Proposicao 3.3.4 Sejam X, Y and F =

: X Y como acima. Considere em X a

topologia (X, F) induzida pela famlia F, e seja Z um espaco topologico qualquer. Entao, uma
aplicacao : Z X e contnua se, e somente se,

: Z Y e contnua, para todo .

Prova. Exerccio.
3.3.4 Topologia Produto
Consideremos a seguinte situa cao: Sejam A

J uma famlia de conjuntos indexadas

por um conjunto J. O produto cartesiano generalizado dos A

s e denido por

J
A

=
_
x: J
_
J
A

: = x() A

_
.
Ou seja, um elemento de

J
A

e uma fun cao do conjunto J na uniao de todos os A

s com
a propriedade que cada imagem x

pertence ao respectivo A

. Por simplicidade, usaremos

a notacao

A

para representar o produto cartesiano denido acima. Tambem, usaremos a

notacao (x

para representar um elemento qualquer de

A

.
Problema. Construir uma topologia em

A

sabendo que cada A

e um espaco topologico.
Solucao. Optaremos como solucao, a constru cao de um topologia chamada topologia pro-
duto. Considere a famlia F das funcoes

:

A

denidas por

((x

) = x

. Tais
fun coes sao as chamadas aplicacoes de projecao associadas ao ndice . Entao, a topologia

, F
_
denida na Proposi cao 3.3.3 e por denicao a topologia produto em

A

. Isso resolve o
problema.
Observacao. Vale a pena ressaltar que a topologia produto
_

, F
_
denida acima e
tal que as projecoes

sao contnuas.
37
3.4 Espacos Metricos
Exemplos de espacos topologicos incluem os espacos metricos (X, d). Neste caso, uma
topologia e gerada por todas as bolas abertas de X. Vejamos isso a seguir.
Denicao 3.4.1 Um espaco metrico e uma par (X, d), onde X e um conjunto nao-vazio e
d: X X [0, ) e uma fun cao tal que:
(i) d(x, y) = 0 se x = y.
(ii) d(x, y) = d(y, x), para todo x, y X.
(iii) d(x, z) d(x, y) +d(y, z), para quaisquer x, y, z X.
Sejam (X, d) um espaco metrico, p X e r > 0. A bola aberta de centro p e raio r e o
conjunto:
B
r
(p) = x X: d(x, p) < r.
A bola fechada, (resp., a esfera) de centro p e raio r, e o conjunto B
r
[p] = x X: d(x, p) r,
(resp., S
r
[p] = x X, d(x, p) = r).
Proposicao 3.4.2 Seja (X, d) um espaco metrico. Entao, a colecao:
B =
_
B
r
(p)

r > 0, p X A
_
,
dene uma base para uma topologia em X.
Prova. Elementar.
Exemplos particulares de espacos metricos, (e portanto, espacos topologicos), sao os espacos
euclidianos R
n
, e mais geralmente, todos os espacos vetoriais normados (X, | |).
Proposicao 3.4.3 Todo espaco normado e um espaco metrico.
Prova. Ora, se (X, | |) e um espa co normado, entao a funcao d: XX [0, ) denida por
d(x, y) = |xy| dene uma metrica em X. Em particular, a norma | | induz uma topologia
em X, a saber, a topologia metrica gerada por d.
38
3.5 Convergencia
Os conceitos classicos de convergencia de sequencias sao naturalmente reproduzidos no
ambiente de um espaco topologico.
Denicao 3.5.1 Sejam (X, ) um espaco topologico. Dizemos que uma sequencia x
n
uma
sequencia em X converge para um ponto x X se para qualquer vizinhanca U de x, for possvel
determinar n
U
N tal que x
n
U, para todo n n
U
.
Contudo, os conceitos envolvendo as nocoes de limitacao e de Cauchy sao melhores repro-
duzidas em espa cos metricos.
Denicao 3.5.2 Seja (M, d) um espaco metrico.
(i) Um subconjunto K de M e dito ser limitado quando existe uma constante c > 0 tal que
d(x, y) c, para quaisquer x, y M.
(ii) Uma sequencia x
n
converge para x M se, e so se, para todo > 0 existe um n

N
tal que d(x
n
, x) < , para todo n n

.
(iii) M e dito ser completo se toda sequencia de Cauchy e convergente em M.

E facil checar que toda sequencia convergente de M e limitada.

3.6 Pontos Interiores e Conjuntos Fechados
Seja (X, ) um espa co topologico.
Denicao 3.6.1 Seja A um subconjunto de X.
Um ponto p A e dito pertence ao interior de A se existe um aberto U tal que
p U A.
O conjunto dos pontos interiores de A e representado por Int(A).
O fecho do conjunto A de X e o conjunto A tal que x A se, e somente se, para qualquer
vizinhan ca U de x em X, dada arbitrariamente, tem-se U A ,= .
39
Um subconjunto F de X e dito ser fechado se ele coincide com seu fecho. Mostra-se que
um conjunto F X e fechado se, e somente se, o complementar X F for um conjunto aberto
em X.
Denicao 3.6.2 (Densidade) Um subconjunto A de X e dito ser denso em X quando o seu
fecho for igual a X, ou seja, quando ocorrer A = X.
O seguinte resultado e bem conhecido e caracteriza conjuntos fechados.
Teorema 3.6.3 As seguintes propriedades se vericam:
e X sao fechados.
Intersecoes arbitr arias de conjuntos fechados sao fechados.
Unioes nitas de conjuntos fechados sao fechados.
3.7 Compacidade
Seja (X, ) um espaco topologico e K um subconjunto de X. Uma cobertura aberta de K
e uma colecao U de abertos de X tal que K esta contido na uniao dos elementos de U, ou seja,
K
_
AU
A.
Uma subcolecao U de U e chamado uma subcobertura de K se ela mesma ainda for uma
cobertura aberta de K. Neste caso, dizemos tambem que U admite uma subcobertura.
Denicao 3.7.1 Um subconjunto K de um espaco topol ogico (X, ) e dito ser compacto
quando toda cobertura aberta de K admite uma subcobertura nita. Dizemos tambem que
K e relativamente compacto se o seu fecho K for compacto.
O resultado a seguir e bem conhecido.
40
Teorema 3.7.2 (Bolzano-Weiestrass) Seja K R
n
. Sao equivalentes:
(i) K e limitado e fechado.
(ii) K e compacto.
(iii) Toda sequencia em K possui subsequencia convergente em K.
Em particular, e verdadeira a frase:
Toda sequencia limitada em R
n
possui subsequencia convergente.
Entretanto, essa armacao nao e verdadeira em geral para espacos de dimensao innita.
Example 3.7.1 Seja X =
2
munido com sua norma usual | |

2
. Considere a sequencia (x
n
)
em
2
denida por:
x
n
= (0, . . . , 0, 1, 0, . . . ),
em que o n umero 1 aparece na n-esima entrada.

E f acil ver que (x
n
) e limitada em
2
, porem
nao converge ja que |x
m
x
n
|

2
=

2 para quaisquer m, n N e m ,= n.
Isso sugere o conceito de compacidade sequencial.
Denicao 3.7.3 Seja (X, ) um espaco topologico.
(i) Um subconjunto K de X e dito ser sequencialmente compacto se toda sequencia em K
possui subsequencia convergente em K.
(ii) Uma sequencia x
n
em X e dita ser pre-compacta se ela possui uma subsequencia con-
vergente.
Em geral, vale o seguinte resultado para um espaco metrico.
Teorema 3.7.4 Um espaco metrico (X, d) e compacto se, e somente se, X e sequencialmente
compacto.
O seguinte resultado e devido a Tychono.
Teorema 3.7.5 O produto cartesiano generalizado de espaco topologicos compactos e compato.
41
3.7.1 Alguns Resultados de Compacidade em Dimensao Innita
Vimos a pouco que, em geral, nao se pode armar que uma sequencia limitada num espa co
normado de dimensao innita e pre-compacta. No entanto, existem determinados espacos em
que sob certas condicoes uma tal frase e verdadeira. O objetivo desta subsecao e relembrar
alguns desses resultados. Comecemos pelo, tal vez, o mais conhecido de todos.
Teorema 3.7.6 (Arzela-Ascoli) Seja K um subconjunto limitado de C[0, 1]. Suponha que K
e equicontnuo. Entao, K e relativamente compacto.
O resultado acima diz quando um conjunto limitado e fechado em C[0, 1] e compacto.
Existe ainda um outro famoso resultado de compacidade em dimensao innita. Mas, trata-se
de compacidade nos espacos L
p
[0, 1], veja [2].
3.7.2 A Propriedade da Intersecao Finita
Estreitamente relacionado `a compacidade e a propriedade da intersecao nita. Vejamos.
Sejam (X, ) um espa co topologico e U uma famlia de subconjuntos fechados de X.
Denicao 3.7.7 Dizemos que U possui a propriedade da intersecao nita se a intersecao de
qualquer subcolecao nita F
1
, . . . , F
n
de elementos de U e nao-vazia.
O seguinte resultado caracteriza espa cos topologicos compactos em termos da propriedade
da interse cao nita.
Teorema 3.7.8 Seja (X, ) um espaco topologico. Entao, X e compacto se, se somente se,
toda colec ao U de subconjuntos fechados de X possui a propriedade da intersec ao nita.
3.8 Comparando Topologias
Suponha que e sejam duas topologias em um conjunto nao-vazio X.
Denicao 3.8.1 Se , entao dizemos que e mais na que .
Importancia. Quanto menos abertos, melhores sao as chances de se obter compacidade.
42
Denicao 3.8.2 e sao ditas equivalentes se a aplicacao identidade I : (X, ) (X, )
denida por I(x) = x for um homeomorsmo.
3.9 Topologias Vetoriais
Seja X um espa co vetorial. Uma topologia em X e dita ser vetorial se as operacoes usuais
de adicao de vetores e multiplica cao por escalar sao funcoes contnuas. O seguinte resultado
fornece uma importante caracteriza cao de topologias vetoriais em espacos nito-dimensionais.
Teorema 3.9.1 Seja X um espaco vetorial nito-dimensional. Entao, duas topologias Haus-
dor vetoriais sao equivalentes.
3.10 Metrizabilidade
Em varia situacoes praticas, compacidade sequencial e mais prefervel a que compacidade.
Por outro lado, em espacos metricos as duas no coes coincidem. Portanto, e razoavel questionar
o quao parecida e uma dada topologia com uma topologia metrica. Um espa co topologico (X, )
e dito ser metrizavel quando existe uma metrica d em X cuja topologia induzida
d
coincide
com a topologia original .
Em consequencia, vale o seguinte resultado.
Teorema 3.10.1 Seja (X, ) um espaco topologico metrizavel. Entao, X e compacto se, e
somente se, X e sequencialmente compacto.
3.10.1 Primeiro Axioma da Enumerabilidade
No contexto da metrazibilidade a seguinte nocao tambem e importante.
Denicao 3.10.2 Seja (X, ) um espaco topologico. Dizemos que:
(i) Um ponto x X possui uma base enumer avel de vizinhancas se existe uma colecao
enumeravel U
n
de vizinhancas de x tal que qualquer vizinhanca U de x contem algum
dos U

n
s.
(ii) satisfaz o primeiro axioma da enumerabilidade se cada ponto de X possui uma base
enumeravel de vizinhancas.
43
3.11 Separabilidade
Um espaco topologico (X, ) e dito ser separavel quando existe uma sequencia x
n
em X
que e densa em X, ou seja, x
n
= X.
3.12 Teorema de Baire
Teorema 3.12.1 Seja (M, d) um espaco metrico completo. Suponha que F
n

n N e um
famlia enumeravel de subconjuntos fechados de M tais que Int(F
n
) = . Entao,
Int
_

_
n=1
F
n
_
= .
A seguinte versao do Teorema de Baire e mais usada.
Corolario 3.12.2 Seja M um espaco metrico completo tal que M =

n=1
F
n
, onde cada F
n
e um subconjunto fechado de M. Entao, existe algum n
0
tal que Int(F
n
0
) = .
No contexto acima, o seguinte resultado e importante.
Proposicao 3.12.3 Sejam X um espaco normado innito-dimensional e F um subespaco de
dimensao nita. Entao, Int(F) = .
Prova. Suponha o contrario que Int(F) ,= . Entao, F contem um bola do espaco X, digamos
B. Mas, em B podemos escolher uma quantidade innita de vetores L.I. Contradicao, pois F
e nito-dimensional.
3.13 Exerccios
1. (Pesquise). Mostre que:
(i) Se p [1, ), entao
p
e separavel.
(ii) O espaco c
0
e separavel.
(iii) O espaco

nao e separavel.
44
2. (Pesquise). Mostre que:
(i) C[0, 1] e separavel.
(ii) Se p [1, ), entao L
p
[0, 1] e separavel.
(iii) L

[0, 1] nao e separavel.

3. Mostre que todo espa co metrico satisfaz o primeiro axioma da enumerabilidade.
4. Mostre que todo espa co de Banach nao pode conter uma base de Hamel enumeravel.
Captulo 4
Teorema de Hahn-Banach
A existencia de funcionais lineares em espacos vetoriais decorre da existencia de bases
algebricas. Alem disso, se (X, ||
X
) e um espaco normado o dual topologico X

e um subespaco
proprio do dual algebrico X

. Para o desenvolvimento da teoria dos espa cos de Banach, e

fundamental sabermos o quao substancial e o dual X

. Ate aqui, nao sabemos sequer se X

e nao-trivial. Trata-se de um problema nao-simples, a priori. Por sua vez, esse problema
esta estreitamente relacionado ao problema da extensao de funcionais lineares. Com efeito,
seja e X um vetor nao-nulo num espaco normado X e M o espa co gerado por e. Entao,
M = te: t R e g : M R dado por g(te) = t dene um funcional linear em M. Como X
e um espaco normado e M e nito-dimensional, nao e difcil mostrar que g M

. Portanto,
cabe a pergunta: Existe um funcional linear f X

tal que f[
M
g? Naturalmente, uma
condicao necessaria e que g(x) (x) x M, em que (x) = [f(x)[ se x M. De um modo
geral, podemos questionar o seguinte:
Problema 4.1 (Extensao de funcionais) Sejam X um espaco vetorial real, M um sube-
spaco de X e g : M R um funcional linear. Existe um funcional linear f : X R tal que
f

M
g?
O problema sobre a extensao de funcionais data de 1912 e deve-se a Eduard Helly. Entre os
anos de 1927 e 1929, Hahn e Banach, usaram as tecnicas de Helly, outrora utilizadas somente
em espa cos de seq uencias, e passaram a lidar com o problema da extensao de funcionais em
toda sua generalidade em espacos normados abstratos.
Na secao seguinte iremos, passo a passo, promover a solucao do problema sobre a extensao
de funcionais lineares.
45
46
4.1 Solucao do Problema da Extensao de Funcionais
Comecemos com a seguinte deni cao.
Denicao 4.1.1 Seja X um espaco vetorial real. Uma seminorma em X e uma func ao
: X [0, ) com as seguintes propriedades:
(i) (x +y) (x) +(y), para todo x, y X.
(ii) (x) = [[(x), para todo x X e R.
Vamos ao Teorema principal deste captulo.
Teorema 4.1.2 (Hahn-Banach) Seja M um subspaco de um espaco vetorial X, e g : M
R um funcional linear em M. Suponha que exista uma seminorma em X, : X [0, ) tal
que: g(x) (x), para todo x M. Entao, existe um funcional linear f : X R tal que
f

M
g e f(x) (x) para todo x X.
Prova. Mais uma vez faremos uso do Lema de Zorn. Considere o seguinte conjunto:
F = (F, h)

F e um subepaco de X, M F, h F

, h

M
g, e h(x) (x), x F .
Por deni cao, (M, g) F. Considere em F a seguinte relacao de ordem: (F
1
, h
1
) _ (F
2
, h
2
)
se, e somente se, F
1
F
2
e h
2

F
1
h
1
. Deixamos para o leitor a constatacao de _ dene
uma ordem parcial em F. Seja M = (F

, h

): um subconjunto totalmente ordenado

de F, e mostremos que M possui uma cota superior em F. Dena F =

e h: F R
por h(x) = h

(x) se x F

. Como M e totalmente ordenado e cada F

contem M, segue-se
facilmente que (F, h) F. Alem disso, (F

, h

) _ (F, h) para todo . Portanto, (F, h)

e uma cota superior para M em F. Pelo Lema de Zorn, o conjunto F possui um elemento
maximal que o denotaremos por (T, h). Agora, vamos `a segunda parte da demonstra cao.
Armacao. T = X. Suponhamos o contrario que exista x
0
X tal que x
0
, T. Considere
o espaco gerado por x
0
, M = tx
0
: t R. Dena

T: = T M, e

h:

T R pondo

h(z +tx
0
) = h(z) +t, onde e um n umero real (a ser escolhido). Note que (T, h) _ (

T,

h). A
ideia, portanto, e chegarmos a uma contradi cao em relacao a maximalidade do par (T, h). Para
tanto, basta mostrarmos que o novo par (

T,

h) e um elemento de F. Para isso, so resta mostrar

que

h(x) (x) para todo x

T. Seja x = z +tx
0
com t > 0. Entao,

h(z +tx
0
) (z +tx
0
)
se, e so se,
h(z) +t (z +tx
0
),
47
se, e so se, (dividindo ambos os lados da desigualdade por t > 0)
(y +x
0
) h(y),
para todo y X. Por outro lado, se x = z +tx
0
com t < 0, entao

h(z +tx
0
) (z +tx
0
) se,
e so se,
h(z) +t (z +tx
0
),
se, e so se, (dividindo ambos os lados da desigualdade por t > 0)
h(
z
t
) (
z
t
x
0
),
se, e so se,
h(x) (x x
0
) ,
para todo x X. Assim, devemos ter
sup
xX
_
h(x) (x x
0
) inf
yX
(y +x
0
) h(y). (4.1)
Vejamos se isso de fato ocorre. Sabemos que h(x + y) (x + y), para quaisquer x, y X.
Da, segue-se que
h(x) +h(y) = h(x +y) (x +y) (x x
0
) +(y +x
0
),
donde vem que
h(x) (x x
0
) (y +x
0
) h(y),
para quaisquer x, y X. Desta feita, basta nalmente escolher

_
sup
xX
_
h(x) (x x
0
), inf
yX
(y +x
0
) h(y)
_
.
Isso demonstra a desigualdade (4.1) e prova o Teorema de Hahn-Banach.
48
4.2 Consequencias
Proposicao 4.2.1 Seja X um espaco normado e x
0
um vetor nao-nulo em X. Entao, existe
um funcional linear h X

tal que h(x

0
) = |x
0
| e |h| = |x
0
|.
Prova. Seja M = span(x
0
) e dena g : M R pondo g(tx
0
= t|x
0
|. Considere a seminorma
p: X [0, ) denida por p(x) = |x|. Entao, g(tx
0
) [t[|x
0
| = |tx
0
| = p(tx
0
). Pelo
Teorema de Hahn-Banach, existe um funcional linear f : X R que e uma extensao de g e
satisfaz f(x) p(x) para todo x X. Note tambem que f(x) = f(x) p(x) = p(x),
para todo x X. Isso mostra que [f(x)[ p(x), x X. Em particular, f e cont i nua no
zero e, portanto, f X

.
Proposicao 4.2.2 Seja Y um subespaco de um espaco normado (X, | |). Suponha que g
Y

. Entao, existe um funcional f X

tal que f

Y
g e |f|
X
= |g|
Y
.
Prova. Dena p: X [0, ) pondo p(x) = |g|
Y
|x|. Entao, g(y) |g|
Y
|y| = p(y) para
todo y Y . Pelo Teorema de Hahn-Banach, existe um functional linear f : X R tal que
f

Y
g e f(x) p(x), par qualquer x X. Ja sabemos que [f(x)[ p(x), para todo x X.
Portanto, [f(x)[ |g|
Y
|x|, x X, o que implica que |f|
X
|g|
Y
. Por outro lado, se
x Y entao
|f|
X

[f(x)[
|x|
=
[g(x)[
|x|
,
o que implica que |f|
X
|g|
Y
. Como desejado.
Proposicao 4.2.3 Sejam (X, | |) um espaco normado e x X 0. Entao, existe f X

tal que |f| = 1 e f(x) = |x|.

Prova. Seja Y = span(x) e dena g : M R pondo g(tx) = t|x|. Note que
|g|
Y
= sup
tx=1
[g(tx)[
|tx|
= 1,
donde segue-se que g Y

. Pela Proposicao 4.2.2, existe f X

tal que f

Y
g e |f|
X
=
|g|
Y
. Mas, isso signifca que f(x) = |x| e |f|
X
= 1.
A Proposi cao 4.2.3 permite mostrar a seguinte caracteriza cao da norma de uma espaco
normado.
49
Corolario 4.2.4 Seja (X, | |) um espaco normado. Entao, para todo x X vale
|x| = sup
fB
X

[f(x)[ = max
fB
X

[f(x)[.
Prova. Podemos supor que x ,= 0, pois do contrario nao ha o que ser feito. Claramente, tem-se
[f(x)[ |f||x| |x|, para todo f B
X
. Agora, pela Proposi cao 4.2.3, existe f X

tal
que |f| = 1 e f(x) = |x|. Isso conclui a demonstracao.
Uma outra consequencia simples mas importante e a seguinte.
Corolario 4.2.5 Se X e um espaco de Banach innito-dimensional, entao X

e innito-
dimensional.
Prova. Suponha o contrario que X

e nito-dimensional, digamos dim(X

) = n. Sejam
f
1
, . . . , f
n
uma base para X

, e dena : X R
n
pondo (x) = (f
1
(x), . . . , f
n
(x)). Clara-
mente tem-se que e linear. Armamos que e injetiva. De fato, suponha que (x) = 0.
Entao, x

Ker(f
i
). Como todo funcional em X

e combina cao linear dos f

i
s, segue-se que
f(x) = 0 para todo f X

. Se fosse x ,= 0, entao do Corolario 4.2.4 acima concluiramos que

f(x) = |x| , = 0 para algum f X

tal que |f| = 1. Contradicao.

4.3 Versao Geometrica do Teorema de Hahn-Banach
Nesta se cao veremos uma outra aplica cao decorrente do Teorema de Hahn-Banach.
4.3.1 Hiperplanos
Seja (X, | |) um espaco de Banach Banach. Um subespa co Y de X e dito ser um hiperplano
de X se existe um funcional f X

tal que Y = f
1
(0). Em particular, todo hiperplano de X
e um subespaco fechado. Um subconjunto H X e chamado um hiperplano am se existem
um vetor x X e um hiperplano Y de X tal que H = x +Y .
Proposicao 4.3.1 H X e um hiperplando am se, se somente se, existem f X

e R
tais que H = f
1
().
Prova. Se H = x + f
1
(0) e um hiperplando am, entao pondo = f(x) segue-se que
H = f
1
(). Deixamos como exerccio a demonstracao da recproca.
50
Denicao 4.3.2 Sejam dados conjuntos A, B X e H = f = um hiperplano am.
H e dito separar A e B quando f(x) f(y), para todo x A e y B.
H e dito separar estritamente os conjuntos A e B quando existe um > 0 tal que
f(x) e + f(y),
para quaisqer x A e y B.
4.3.2 Funcional de Minkowski
Seja C um subconjunto convexo de um espaco normado (X, | |).
Denicao 4.3.3 O funcional de Minkowski de C e a funcao p
C
: X R denida por:
p
C
(x) = inf
_
> 0

x C
_
.
As propriedades fundamentais dos funcionais de Minkowski estao relacionadas no seguinte
resultado.
Proposicao 4.3.4 Seja C um subconjunto convexo de um espaco normado (X, | |). Suponha
que 0 Int(C). Entao,
(i) 0 p
C
(x) < para todo x X,
(ii) p
C
(x) = p
C
(x), para todo > 0 e x X,
(iii) p
C
(x +y) p
C
(x) +p
C
(y), para todo x, y X,
(iv) x X

p
C
(x) < 1 C x X

p
C
(x) 1.
O detalhes da prova abaixo sao deixadas como exerccio.
Prova. Para o item (i) e suciente provar que p
C
(x) < para todo x C. Por hipotese, existe
> 0 tal que B

= x X: |x| C. Se x ,= 0, entao |x|

1
x B

C. Portanto,
como C e convexo e 0 C, segue-se que x
x

C. Por denicao, temos p

C
(x)
x

< ,
para todo x X 0.
51
(ii): Seja > 0 e x C. Entao, x C se, e somente se, x C. Portanto,
p
C
(x) = p
C
(x).
(iii): Sejam x, y X quaisquer. Fixe n umeros s > p
C
(x) e t > p
C
(y). Por deni cao,
existem s
0
, t
0
> 0 tais que s
0
x C e t
0
y C, com s > s
0
e t > t
0
. Armamos que s
0
C sC.
Com efeito, dado z C arbitrario, vemos que
s
0
z =
s
0
s
(sz) + (1
s
0
s
)0 sC.
Portanto, x sC e da mesma forma y tC. Segue-se que x +y sC +tC. Por convexidade,
temos
x +y (t +s)
_
s
t +s
C +
t
t +s
C
_
(t +s)C,
donde conclui-se que p
C
(x+y) (t +s) e, portanto, como s, t sao arbitrarios, que p
C
(x+y)
p
C
(x) +p
C
(y).
(iv): Se p
C
(x) < 1, entao da deni cao de nmo, concluimos que x C para algum
(0, 1). Entao, existe u C tal que
x = u + (1 )0 C.
Por outro lado, se x C entao p
C
(x) 1 por denicao. Isso conclui a prova de (iv).
Com um pouco mais de perseveran ca, prova-se ainda que:
Proposicao 4.3.5 Seja C como acima.
(i) Se C e aberto, entao C = x X

p
C
(x) < 1.
(ii) Se C e fechado, entao C = x X

p
C
(x) 1.
4.3.3 A Forma Geometrica do THB
A versao geometrica do Teorema de Hahn-Banach e a seguinte.
Teorema 4.3.6 Sejam C um subconjunto fechado e convexo de um espaco normado X e
x
0
X C. Entao, existe f X

tal que supf(x) < f(x

0
) para todo x C. Em particular,
o hiperplano am H = f = f(x
0
) separa x
0
e C.
Prova. Sem perda de generalidade, podemos supor que 0 C. Do contrario, consideramos o
conunto C x e o vetor x
0
x ao inves de C e x
0
. Seja = dist(x
0
, C). Como C e fechado,
52
segue-se que > 0. Considere agora o conjunto D = x X

dist(x, C) . Tendo em
vista que 0 C, mostra-se facilmente que

4
B
X
D. Portanto, D contem o vetor 0 em seu
interior. Note tambem que D e fechado, convexo e x
0
, D. Seja p
D
o funcional de Minkowski
de D. Pela Proposicao 4.3.5, vemos que p
D
(x
0
) > 1. Seja M = x
0
) o espa co gerado por x
0

e dena g(tx
0
) = tp
D
(x
0
). Segue-se que g(tx
0
) p
D
(tx
0
) para todo t R. Pelo Teorema
de Hahn-Banach, existe um funcional linear f : X R tal que f(x) p
D
(x) e f

M
g.
Armamos que f X

. Com efeito, se x D entao p

D
(x) 1. Logo, f(x) p
D
(x) 1.
Uma vez que D contem uma vizinhan ca da origem, segue-se que f e limitada numa vizinhanca
da origem. Isso implica que f X

. Por outro lado, como C D vemos que se x C, entao

f(x) p
D
(x) 1 < p
D
(x
0
) = f(x
0
). Segue-se que supf(x) 1 < f(x
0
). Isso conclui a
prova.
Corolario 4.3.7 Seja X um espaco de Banach.
(i) Seja C um subconjunto aberto convexo de X. Se x
0
, C, entao existem f X

e R
tal que f(x
0
) = e f(x) < para todo x C.
(ii) Sejam A, B convexos disjuntos em X. Se A e aberto, entao existem f X

e R tais
que f(x) < f(y), para todo x A e y B.
Corolario 4.3.8 Sejam A, B convexos disjuntos em X. Suponha que A e fechado e B e
compacto. Entao, existe um hiperplano que separa A e B estritamente.
Captulo 5
Topologias Fracas
5.1 Teorema de Riesz
O seguinte resultado e devido a F. Riesz.
Teorema 5.1.1 Seja X um espaco normado. Suponha que a bola B
X
e compacta. Entao, X
e um espaco nito-dimensional.
Proof. Suponha por contradicao que X e innito-dimensional. Considere a esfera S
X
= x
X: |x| = 1. Como B
X
e compacto segue-se que S
X
e compacto como um subconjunto fechado
de um espa co metrico compacto. Em particular, S
X
satisfaz a propriedade da interse cao nita.
Considere a famlia F de todos os hiperplanos contidos em X. O Corolario 4.2.4 implica que

HF
H = 0. Considere agora a famlia U = H S
X
: H F. Como S
X
e compacto, do
Teorema 3.7.8 existem H

1
, . . . , H

n
hiperplanos em F tais que (H

1
H

n
) S
X
= (H

1

S
X
) (H
n
S
X
) = . Isso implica que H

1
H

n
= 0. Sejam f
1
, . . . , f
n
funcionais em
X

tais que H

i
= Ker(f
i
). Dado qualquer f X

, segue-se que

n
i=1
Ker(f
i
) = 0 Ker(f).
Entao, pela Proposi cao 1.3.5, f f
1
, . . . , f
n
). Isso implica que dim(X

) n. Contradicao.
Observacao 5.1.1 A demonstra c ao acima mostra tambem que se X e de dimensao innita,
entao para quaisquer f
1
, . . . , f
n
X

, tem-se

n
i=1
Ker(f
i
) ,= 0.
Corolario 5.1.2 Se K e um subconjunto compacto de um espaco normado X, ent ao K possui
interior vazio.
53
54
Do ponto de vista topologico, a partir desses resultados vemos a necessidade de considerar
topologias mais ricas e frutferas em espa cos vetoriais normados.
5.2 Denicao de Topologia Fraca
Seja X um espaco normado e X

o dual topologico de X. Considere a famlia

F = f : X R

f X

= X

.
Denicao 5.2.1 A topologia fraca de X e a topologia (X, X

) em X induzida por X

.
5.2.1 Propriedades da Topologia Fraca
Proposicao 5.2.2 Seja X um espaco normado. Entao, (X, X

) e Hausdor.
Prova. Isso e uma consequencia do Teorema de Hahn-Banach. (Exerccio).
Seja x
n
uma sequencia em X. Usamos a notacao x
n
w
x para indicar que x
n
converge
na topologia (X, X

) para um ponto x X.
Proposicao 5.2.3 Seja X um espaco normado. Entao, x
n
w
x se, e somente se, para todo
f X

tem-se
lim
n
f(x
n
) = f(x).
Prova. Seja f X

qualquer, e suponha que x

n
w
x. Dado > 0, segue-se da denicao de
topologia fraca que U = f
1
_
(f(x) , f(x) + )
_
e um aberto fraco. Logo, existe n

N
tal que x
n
U para todo n n

. Isso implica que, f(x

n
) (f(x) , f(x) + ) para todo
n n

. Portanto, [f(x
n
) f(x)[ < para todo n n

. Isso demonstra o que queramos.

Recprocamente, seja U um aberto da topologia fraca contentendo x. Por causa da Proposi cao
3.3.3, existem > 0 e funcionais f
1
, . . . , f
n
X

tais que
y X

[f
i
(y) f
i
(x)[ < , i = 1, . . . , n U.
Por hipotese, para cada i = 1, . . . , n, existe n
i
N tal que [f
i
(x
n
)f
i
(x)[ < para todo n n
i
.
Seja n
0
= minn
i
: i = 1, . . . , n. Entao, x
n
y X

[f
i
(y) f
i
(x)[ < , i = 1, . . . , n, para
todo n n
0
. Isso conclui a prova.
55
Proposicao 5.2.4 Seja X um espaco normado de dimensao innita. Se U e um aberto fraco,
entao U nao pode ser limitado na topologia da norma. Em particular, vale a inclusao estrita
(X, X

) T

X
, onde T

X
representa a topologia gerada pela norma de X.
Prova. Sem perda de generalidade, podemos supor que 0 U. Entao, existem > 0 e
funcionais f
1
, . . . , f
n
X

tais que

_
x X

[f
i
(x)[ <
_
U.
Da Obeserva cao 5.1.1, segue-se que N =

n
i=1
Ker(f
i
) ,= 0. Portanto, existe x ,= 0 em N.
Em particular, x N para todo R. Isso implica que U nao pode ser limitado na topologia
da norma.
Proposicao 5.2.5 A topologia fraca (X, X

) num espaco normado e uma topologia vetorial.

Prova. Exerccio.
Proposicao 5.2.6 Seja (X, | |) um espaco normado. Suponha que x
n
e um sequencia em
X tal que x
n
x em X. Entao:
(i) x
n
e limitada na topologia da norma.
(ii) |x| liminf
n
|x
n
|
Prova. Exerccio.
Vale ainda a seguinte caracterizacao da topologia fraca em termos da dimensao do espa co
X.
Teorema 5.2.7 Seja X um espaco normado. Sao equivalentes:
(i) X e nito-dimensional.
(ii) As topologias fraca e forte coincidem em X.
(iii) A topologia fraca e metrizavel.
(iv) A topologia fraca satisfaz o primeiro axioma da enumerabilidade.
56
Prova. Num espaco vetorial de dimensao nita, duas topologias vetoriais de Hausdor sao
sempre equivalentes (veja, Teorema 3.9.1). Portanto, (i) implica (ii). As implica coes (ii)
(iii) (iv) sao obvias. Vamos provar agora que (iv) (i). Suponha por contradicao que X e
innito-dimensional. Como (X, X

) satisfaz o primeiro axioma da enumerabilidade, podemos

encontrar uma sequencia f
n
em X

tal que as vizinhancas fracas

_
U
1
, U
2
, . . .
_
denidas por
U
n
=
_
x X

[f
i
(x)[ < 1, i = 1, . . . , n
_
,
constituem uma base enumeravel de vizinhancas do vetor nulo 0 em X. Ja sabemos que

n
i=1
Ker(f
i
) ,= 0. Portanto, podemos escolher uma sequencia x
n
em

n
i=1
Ker(f
i
) tal que
|x
n
| = n. Segue-se que x
n
e ilimitada. Mas, como U
n+1
U
n
para todo n, x
n
U
n
para todo n, e U
n
forma uma base de vizinhan cas do zero em X para (X, X

), podemos
concluir que x
n
0 em X. Pela Proposicao 5.2.6, segue-se que x
n
e limitada em norma.
Contradicao.
Embora a topologia fraca nunca seja metrizavel em espacos normados de dimensao innita,
em alguns espa cos ocorrem propriedades bastantes bizarras.
Teorema 5.2.8 Considere o espaco
1
munido com sua norma usual. Entao, as convergencias
fraca e forte coincidem em
1
. Ou seja, x
n
x em
1
se, e somente se, x
n
x em
1
.
5.3 Denicao de Topologia Fraca*
Seja X um espaco normado e X

o dual topologico de X. Considere o conjunto

F =
x
: X

x X,
x
(f) = f(x).
Denicao 5.3.1 A topologia fraca* de X

e a topologia (X

, X) em X

induzida por F.
5.3.1 Propriedades da Topologia fraca*
Proposicao 5.3.2 Seja X um espaco normado. Entao, (X

, X) e Hausdor.
Se f
n
e uma sequencia em X

, usamos a notacao f
n
w

f para indicar que f

n
converge
para o funcional f na topologia (X

, X). Tal como foi feito na Proposi cao 5.2.3, vale o

seguinte resultado.
57
Proposicao 5.3.3 Seja X um espaco normado. Entao, f
n
w

f se, e somente se, para todo

x X tem-se
lim
n
f
n
(x) = f(x).
Proposicao 5.3.4 Suponha que (X, | |) seja um espaco de Banach separavel. Entao, B
X

munido com a topologia fraca

e metrizavel, ou seja, (B
X
, (X

, X)) e um espaco topologico

metrizavel.
Prova. Seja x
n
uma sequencia densa na topologia de norma em B
X
. Dena um metrica d
na bola B
X
da seguinte forma: d: B
X
B
X
[0, ) e tal que
d(f, g) =

n=1
[f(x
n
) g(x
n
)[
2
n
.
Nao e difcil mostrar que as topologias (X

, X) e
d
(topologia induzida por d) sao equiva-
lentes.
Um raciocnio similar prova ainda o seguinte resultado:
Teorema 5.3.5 O dual X

de um espaco de Banach X e separavel se, se somente se, a bola

B
X
e fracamente metrizavel.
Uma outra propriedade bastante interessante e a seguinte:
Proposicao 5.3.6 Seja X um espaco de Banach.
5.3.2 Teorema de Banach-Alaoglu
Enquanto que a bola de um espaco de Banach innito-dimensional nao pode ser compacta, o
principal resultado desta se cao fala-nos que a bola do dual e compacta com relacao a topologia
(X

, X). Vamos ao seu enunciado.

Teorema 5.3.7 Seja X um espaco de Banach. Entao, a bola B
X
e compacta na topologia
fraca

.
Prova. Para cada x X dena A
x
= R. Entao, cada A
x
e igual ao espa co topologico R.
Considere agora o produto cartesiano generalizado R
X
: =

A
x
munido com a topologia
produto usual. Dena uma aplica cao : X

R
X
pondo (f) = ((f
x
)
x
), onde f
x
= f(x).
58
Armacao 1. e contnua de (X

, (X

, X)) em R
X
. Com efeito, se f
n
w

f em X

, entao
vemos da desigualdade

(
x
)(f
n
) (
x
)(f)

f
n
(x) f(x)

,
que (
x
)(f
n
) (
x
)(f), para todo x X. Isso mostra que cada
x
e contnua de
X

em R. Portanto, da Proposicao 3.3.4, segue-se e contnua. Como queramos.

Armacao 2. e injetiva. Ora, se (f) = (g) entao ((f
x
)
x
) = ((g
x
)
x
). Isso implica,
aplicando as projecoes em cada coordenada se necessario, que f
x
= g
x
para todo x X.
Portanto, f g. Isso demonstra a armacao.
Armacao 3. e um homeomorsmo de (X

, (X

, X)) sobre (X

). Para tanto, em vista

da Proposicao 3.3.4, e suciente mostrar que para todo x X a funcao
x

1
e contnua de
R
X
em R. Ora, xado x X,
x

1
coincide com a x-esima projecao
x
que e contnua.
Assim, para mostrar que B
X
e (X

, X)-compacta basta mostrarmos que (B

X
) e com-
pacto em R
X
.
Armacao 4. K = (B
X
) e compacto. Com efeito, note que
K =
_
u R
X

[u
x
[ |x|, e u
x+y
= u
x
+u
y
, u
x
= u
x
, R, x, y X
_
= K
1
K
2
,
onde
K
1
=

xX
_
|x|, |x|

,
e
K
2
=
_

x,yX
A
x,y
_

x,y
B
x,y
_
,
em que A
x,y
=
_
u R
X
: u
x+y
u
x
u
y
= 0
_
e B
x,y
=
_
u R
X
: u
x
u
x
= 0
_
. Nao e
difcil mostrar que A
x,y
, B
x,y
sao fechados em R
X
. Portanto, K
2
e fechado. Por outro lado,
segue-se do Teorema 3.7.5 (de Tychono) que K
1
e compacto. Segue-se que K e compacto
como a interse cao de um compacto com um fechado. Isso conclui a demonstracao do Teorema
de Banach-Alaoglu.
Captulo 6
Reexividade
6.1 Injecao Canonica
Seja X um espa co de Banach, e considere o espa co bi-dual X

. A inje cao canonica de X

em X

e aplicacao J : X X

denida por:
J(x)(f) = f, x), x X.
O principal propriedade da inje cao can onica e a seguinte:
Proposicao 6.1.1 A injecao canonica J e uma isometria.
Prova. Claramente tem-se que J e uma aplicacao linear. Resta-nos mostrar agora que
|J(x)| = |x| para todo x X. Dados quaisquer f X

0 e x X, vemos que

J(x)(f)

= [f(x)[ |f||x|, donde segue-se que

[J(x)(f)[
|f|
|x|.
Isso mostrar em particular que |J(x)| |x|, para todo x X. Por outro lado, sabemos via
Proposi cao 4.2.3 que para todo x X 0, existe f
0
X

com |f
0
| = 1 tal que f
0
(x) = |x|.
Assim,
|J(x)|
[f
0
(x)[
|f
0
|
= |x|,
que quando combinada com a desigualdade anterior mostra ser verdadeira a igualdade |J(x)| =
|x| para todo x X. Portanto, J e uma isometria.
59
60
Denicao 6.1.2 Um espaco de Banach X e dito ser reexivo quando a injecao canonica for
uma aplicac ao sobrejetiva, ou seja, J(X) = X

.
Proposicao 6.1.3 Sao reexivos os seguintes espacos:
(i)
p
com 1 < p < ,
(ii) L
p
() com 1 < p < .
Prova. Provaremos somente o item (i). Sabemos que
_

p
_

q
com p e q conjugados.
Segue-se da que
_

p
_

q
_

p
.
6.1.1 Teorema de Goldstine
O resultado a seguir estabelece uma rela cao importante entre a topologia (X

, X

) e a
aplicacao J.
Teorema 6.1.4 Seja X um espaco de Banach. Entao,
J
_
B
X
_(X

,X

)
= B
X
.
Prova. Do Teorema de Banach-Alaoglu podemos concluir que B
X

(X

,X

)
= B
X
. Como
J e uma isometria, segue-se que J(B
X
) B
X
. Portanto, passando o fecho, vemos que
J(B
X
)
(X

,X

)
B
X

(X

,X

)
= B
X
.
Deixamos a prova da inclusao contraria como exerccio. (Veja por exemplo, [1])
6.1.2 Caracterizacao de Espacos Reexivos
O principal resultado deste captulo e o seguinte.
Teorema 6.1.5 Um espaco de Banach X e reexivo se, e somente se, a bola B
X
e compacta
na topologia fraca.
61
Prova. Suponha X reexivo. Entao, J(X) = X

e, portanto, J(B
X
) = B
X
. Sabemos, pelo
Teorema de Banach-Alaoglu, que B
X
e (X

, X

)-compacta em X

. Agora, armamos
que a aplicacao inversa J
1
:
_
X

, (X

, X

)
_

_
X, (X, X

)
_
e contnua com rela cao `as
topologias indicadas. Pela Proposi cao 3.3.4, e suciente mostrarmos que se f X

, entao
f J
1
:
_
X

, (X

, X

)
_
R e contnua. Isso de fato ocorre. Com efeito, dado qualquer

_
X

, (X

, X

)
_
existe x X tal que J(x) = . Assim, (f J
1
)() = f(x) = J(x)(f) =

f
(), o que implica dizer que f J
1

f
. Lembrando a denicao de topologia fraca*,
conclumos que
f
pertence `a famlia que gera (X

, X

) e, portanto, f J
1
e contnua.
Segue-se, em particular, que B
X
e fracamente compacta em X.
Recprocamente, se B
X
e fracamente compacta, entao como J e linear, J(B
X
) e (X

, X

)-
compacta (e portanto, (X

, X

)-fechada) em X

. Por outro lado, sabemos pelo Teorema

6.1.4, que J
_
B
X
_(X

,X

)
= B
X
. Portanto, J(B
X
) = B
X
. Isso implica que X e reexivo.

62
Bibliograa
[1] H. Brezis, Functional Analysis, Masson, Paris (1983) (in French).
[2] N. Dunford and J. T. Schwartz, Linear Operators, Part I: General Theory. Interscience,
New York (1958).
[3] E. L. Lima, lgebra Linear, 4a Ed., Coleo Matemtica Universitria, IMPA, RJ, 2000.
[4] J. R. Munkres, Topology, 2nd. Ed. Upper Saddle River. NJ: Prentice Hall. 2000.
63