Você está na página 1de 46

INSTITUTO FEDERAL DE EDUCAO, CINCIA E TECNOLOGIA DA BAHIA

CAMPUS EUNPOLIS
DEPARTAMENTO DE ENSINO - DEPEN
COLEGIADO DE MATEMTICA COMAT
GIVALDO SOARES DOS SANTOS FILHO
O Teorema de Hahn-Banach e aplicaes
em espaos separveis
Eunpolis
2012
GIVALDO SOARES DOS SANTOS FILHO
O Teorema de Hahn-Banach e aplicaes
em espaos separveis
Monograa apresentada ao Curso de Licenciatura
em Matemtica do IFBA/Campus Eunpolis
como requisito parcial para obteno do grau de
licenciado emMatemtica, elaborada
sob a orientao do Prof.
Ms. Marcos dos Santos Ferreira
Eunpolis
2012
INSTITUTO FEDERAL DE EDUCAO, CINCIA E TECNOLOGIA DA BAHIA
CAMPUS EUNPOLIS
DEPARTAMENTO DE ENSINO - DEPEN
COLEGIADO DE MATEMTICA COMAT
O Teorema de Hahn-Banach e aplicaes
em espaos separveis
por
Givaldo Soares dos Santos Filho
Apresentao da monograa para o Instituto Federal de Educao, Cincia e
Tecnologia da Bahia, como requisito parcial para a obteno do diploma de Licenciado
em Matemtica.
Prof. Ms. Marcos dos Santos Ferreira - IFBA (Orientador)
Prof. Ms. Alex Santana dos Santos - UFRB
Prof. Ms. Claudemir Mota da Cruz - UESC
Nada h, fora do homem, que, entrando nele,
o possa contaminar, mas o que sai dele isso
que contamina o homem. (...) Porque do
interior do corao dos homens saem os maus
pensamentos, os adultrios, as prostituies,
os homicdios, os furtos, a avareza, as
maldades o engano, a dissoluo, a inveja,
a blasfmia, a soberba, a loucura. Todos
estes males procedem de dentro e contaminam
o homem. (Marcos 7 v.15;21-23)
Agradecimentos
A Deus pelo dom da vida.
A minha me pelo seu timo papel como o meu anjo da guarda!
As minhas irms que, devido as brigas de casa, zeram da faculdade um recanto de
paz!
Ao meu pai.
Aos meus professores especialmente ao
Professor Adlson Correia por ter depositado f em mim!
Professor Marcos Ferreira pelas orientaes que me encaminharam at aqui!
Aos meus colegas especialmente a
Eraldo Gonalves, a minha eterna dupla!
Elaine Santos, a minha companhia nas conversas de corredores!
Resumo
Neste trabalho apresentamos a demonstrao, consequncias e algumas aplicaes
de um dos resultados centrais da Anlise Funcional: O Teorema de Hahn-Banach.
Salientamos que a ferramenta, dentre algumas existentes, que iremos utilizar na
demonstrao ser o Lema de Zorn. Alm disso, apresentamos duas aplicaes do
referido teorema em espaos separveis.
Palavras-Chave: Lema de Zorn, Teorema de Hahn-Banach, Espaos Separveis.
Sumrio
Introduo 8
1 Preliminares 9
1.1 Espaos vetoriais normados . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Operadores lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Espaos de sequncias . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4 Espaos separveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2 O Teorema de Hahn-Banach 33
2.1 Lema de Zorn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2 O Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . 34
2.3 Algumas aplicaes em espaos separveis . . . . . . . . . . . . . . . . 41
Indicao de estudos 44
Referncias Bibliogrcas 46
Introduo
A grosso modo, a Anlise Funcional a juno de conceitos da lgebra Linear,
Anlise e Topologia e o ramo da matemtica que estuda os espaos de funes.
Esta teve sua origem no sculo XX decorrente a vrios problemas envolvendo equaes
diferenciais e integrais, os quais requeriam o uso de espaos vetoriais de dimenso
innita. O seu desenvolvimento se deve aos trabalhos de S. Banach (1892 - 1945),
M. Frchet (1878 - 1973), E. Helly (1884 - 1943), D. Hilbert (1862 - 1943), F. Riesz
(1880 - 1956), E. Schmidt (1876 - 1959) dentre outros.
O Teorema de Hahn-Banach um dos resultados centrais da Anlise Funcional assim
como os Teoremas de Banach-Steinhaus, da Aplicao Aberta e do Grco Fechado. O
foco deste trabalho ser apresentar e demonstrar o Teorema de Hahn-Banach, trazendo
algumas consequncias e aplicaes.
Hans Hahn (1879 - 1934) e Stefan Banach demonstraram o teorema, separadamente,
nos anos 1922 e 1923, respectivamente. Hahn utilizou ordinais para demonstrar
o teorema, enquanto Banach usou a boa-ordenao e a induo transnita como
ferramenta para a demonstrao. Neste trabalho, usaremos o Lema de Zorn como
ferramenta na demonstrao do Teorema de Hahn-Banach.
Toda a pesquisa do trabalho foi realizada atravs de revises bibliogrcas em um
estudo denido por Fiorentini e Lorenzato [3] como metanlise, no qual os documentos
pesquisados como livros, trabalhos acadmicos e artigos cientcos, foram estudados
visando apresentar uma sntese dos conceitos que fundamentam o Teorema de Hahn-
Banach.
O trabalho ser exposto ao longo de trs captulos. No captulo inicial, trataremos
dos conceitos que determinam os espaos de Banach. Discutiremos tambm resultados
que sero importantes para o desenvolvimento deste trabalho como os espaos
normados, espaos de sequncias e separveis, alm de demonstramos alguns dos
principais resultados referentes a estes conceitos. No segundo captulo, apresentamos
a demonstrao do teorema central do nosso trabalho, precedido do Lema de Zorn e
seguido de algumas aplicaes em espaos separveis. Por m, concluiremos o trabalho
dando algumas indicaes de estudos baseado no artigo de Narici e Beckenstein [7].
O trabalho teve como principal referncia as notas de aulas do professor Pellegrino
[9] e o trabalho de monograa de Aguiar [1]. No entanto, resultados de Anlise Real,
Espaos Mtricos e Topologia foram obtidos dos livros de Lima, [5] e [6], Kreyszig [4],
Coelho [2] e Oliveira [8].
8
Captulo 1
Preliminares
1.1 Espaos vetoriais normados
Denio 1.1.1 Sejam 1 um conjunto no-vazio e K um corpo, que denotar R ou
C. Denimos em 1 as seguintes operaes:
+ : 1 1 1; (r. ) r + (soma de vetores)
+ : K1 1; (c. r) cr (multiplicao por escalar).
Diz-se que (1. +. K) um espao vetorial sobre K se, para r. . . 1 e c. , K,
ocorrer:
1. (r + ) + . = r + ( + .);
2. r + = + r;
3. r + 0 = r;
4. r + (r) = 0;
5. (c,)r = c(,r);
6. 1r = r;
7. (c + ,)r = cr + ,r;
8. c(r + ) = cr + c.
Por conveno, chamamos os elementos de um espao vetorial 1 de vetores e os
elementos do corpo K de escalares.
Denio 1.1.2 Sejam r
1
. r
2
. . . . . r
n
e c
1
. c
2
. . . . . c
n
subconjuntos de 1 e K.
respectivamente. Se para toda combinao linear de vetores nula
n

i=1
c
i
r
i
= 0
9
1.1. ESPAOS VETORIAIS NORMADOS
tivermos todos c
i
nulos, dizemos que r
1
. r
2
. . . . . r
n
linearmente independente
(L.I). Se pelo menos um c
i
for no nulo, ento dizemos que r
1
. r
2
. . . . . r
n

linearmente dependente (L.D).
Denio 1.1.3 Seja 1 um espao vetorial sobre K. Uma norma em 1 uma funo
[[ [[ : 1 R
que satisfaz as seguintes propriedades:
1. [[r[[ _ 0. para todo r em 1. e [[r[[ = 0 = r = 0;
2. [[`r[[ = [`[ |r| . para todos ` em K e r em 1;
3. [[r + [[ _ [[r[[ +[[[[ para todos r. em 1.
Um espao vetorial munido de uma norma ser chamado de espao vetorial normado
(evn).
Denio 1.1.4 Dizemos que um conjunto no vazio 1 um espao mtrico se sobre
ele est denida uma funo
d : 1 A 1 R
satisfazendo as seguintes propriedades
1. d(r. ) = 0 se e somente se r = ;
2. d(r. ) = d(. r); (simtrica)
3. d(r. .) _ d(r. ) + d(. .) (desigualdade triangular)
Chamamos a funo d de mtrica e, um evn pode ser sempre considerado um espao
mtrico, com a mtrica induzida pela norma, isto
d(r. ) = [[r [[.
Dizemos que uma sequncia (r
n
)
1
n=1
em um espao mtrico ` converge para r
quando lim
n!1
d (r
n
. r) = 0. Neste caso, escrevemos r
n
r. claro que podemos garantir
a convergncia se lim
n!1
d(r
n
. r) = 0.
Denio 1.1.5 Uma sequncia (r
n
)
1
n=1
em um espao mtrico ` de Cauchy se
dado 0. existe :
0
N tal que
:. : _ :
0
= d (r
n
. r
m
) < .
No h diculdades mostrar que em espaos mtricos, toda sequncia convergente
de Cauchy. A recproca, porm, desse fato no necessariamente verdadeira. Isso nos
motiva a seguinte denio:
10
1.1. ESPAOS VETORIAIS NORMADOS
Denio 1.1.6 Um espao mtrico ` dito ser completo se toda sequncia de
Cauchy for convergente no espao (isto , seu limite um elemento de `).
Observao 1.1.7 Como em R uma sequncia convergente se, e s se, de Cauchy,
segue-se que R completo. (veja [5])
Denio 1.1.8 Um espao de Banach um evn que completo com a mtrica
induzida pela norma.
Proposio 1.1.9 O espao vetorial normado K
n
um espao de Banach.
Demonstrao: Mostraremos apenas que R
n
Banach. O caso K = C anlogo.
Seja (r
m
)
1
m=1
uma sequncia de Cauchy em R
n
. Observe que os elementos r
m
podem
serem escritos da forma
r
1
=
_
r
(1)
1
. r
(1)
2
. . . . . r
(1)
n
_
r
2
=
_
r
(2)
1
. r
(2)
2
. . . . . r
(2)
n
_
.
.
.
r
m
=
_
r
(m)
1
. r
(m)
2
. . . . . r
(m)
n
_
.
.
.
.
Como (r
m
)
1
m=1
de Cauchy, dado 0 existe :
0
N tal que
:. : _ :
0
= [[r
m
r
r
[[ =
_
n

j=1
_
r
(m)
j
r
(r)
j
_
2
< . (1.1)
Elevando a desigualdade anterior ao quadrado, obtemos
n

j=1
(r
(m)
j
r
(r)
j
)
2
<
2
sempre que :. : _ :
0
. Em particular, para cada , = 1. . . . . : xo, temos
(r
(m)
j
r
(r)
j
)
2
<
2
para :. : _ :
0
, donde

r
(m)
j
r
(r)
j

< . (1.2)
De (1.2), segue que (r
(m)
j
)
1
m=1
uma sequncia de Cauchy de nmeros reais e portanto
convergente. Seja r
j
= lim
m!1
r
(m)
j
. Considere agora r = (r
1
. . . . . r
n
) o vetor formado
pelos limites das : sequncias (r
(m)
j
)
1
m=1
.
11
1.1. ESPAOS VETORIAIS NORMADOS
Fazendo : em (1.1) obtemos
_ lim
r!1
|r
m
r
r
|
= lim
r!1
_
n

j=1
(r
(m)
j
r
(r)
j
)
2
_1
2
=
_
lim
r7!1
n

j=1
(r
(m)
j
r
(r)
j
)
2
_1
2
=
_
n

j=1
lim
r!1
(r
(m)
j
r
(r)
j
)
2
_1
2
=
_
n

j=1
(r
(m)
j
r
j
)
2
_1
2
= |r
m
r|
sempre que : _ :
0
. Isso mostra que (r
m
)
1
m=1
converge para r R
n
.
Veremos adiante que todo evn de dimenso nita completo. Para tanto, precisamos
do seguinte lema tcnico:
Lema 1.1.10 Para um conjunto L.I r
1
. r
2
. . . . . r
n
de vetores em um evn 1, existe
um nmero real c 0 tal que, para qualquer escolha de escalares c
1
. c
2
. . . . . c
n
vale a
desigualdade
|c
1
r
1
+ . . . + c
n
r
n
| _ c ([c
1
[ + . . . +[c
n
[) . (1.3)
Demonstrao: Por simplicidade, faremos = [c
1
[ +. . . +[c
n
[. Sendo assim, se = 0
o resultado imediato. Logo, vamos supor 0. Ento, fazendo /
j
= c
j
,, para cada
, = 1. . . . :, provar (1.3) equivale provar a existncia de c 0 tal que para quaisquer
escalares /
1
. . . . . /
n
tem-se
[[/
1
r
1
+ . . . + /
n
r
n
[[ _ c. (1.4)
onde
n

j=1
[/
j
[ = [
c
1

[ + . . . +[
c
n

[ =
1

([c
1
[ + . . . +[c
n
[) = 1.
Suponha, por absurdo, que isso no ocorra. Dessa forma teramos
Para c
1
= 1. existem /
(1)
1
. . . . . /
(1)
n
tais que [[/
(1)
1
r
1
+ . . . + /
(1)
n
r
n
[[ < 1
Para c
2
=
1
2
. existem /
(2)
1
. . . . . /
(2)
n
tais que [[/
(2)
1
r
1
+ . . . + /
(2)
n
r
n
[[ <
1
2
.
.
.
Para c
m
=
1
:
. existem /
(m)
1
. . . . . /
(m)
n
tais que [[/
(m)
1
r
1
+ . . . + /
(m)
n
r
n
[[ <
1
:
.
.
.
.
12
1.2. OPERADORES LINEARES
Seja a sequncia
m
= /
(m)
1
r
1
+ + /
(m)
n
r
n
. Observe que, para cada : N,

n
j=1

/
(m)
j

= 1 e que |
m
| 0. Dessa forma, para cada ,, [/
(m)
j
[ _ 1. Isso mostra que
cada sequncia (/
(m)
j
) = (/
(1)
j
. /
(2)
j
. . . .) limitada, e portanto, pelo teorema de Bolzano-
Weierstrass, possui uma subsequncia convergente. Seja c
1
o limite da subsequncia
(/
(m)
1
)
1
m=1
. Chame (
1
.
m
)
1
m=1
a subsequncia correspondente de (
m
)
1
m=1
. Procedendo
dessa forma : vezes, obtemos uma subsequncia

n
.
m
=
n

j=1
d
(m)
j
r
j
. com
n

j=1
[d
(m)
j
[ = 1
e, para cada ,, lim
m7!1
d
(m)
j
= c
j
. Portanto,
lim
m!1

n
.
m
= lim
m!1
(d
(m)
1
r
1
+ . . . + d
(m)
n
r
n
) (1.5)
= lim
m!1
d
(m)
1
r
1
+ . . . + lim
m!1
d
(m)
n
r
n
= c
1
r
1
+ . . . + c
n
r
n
:= .
Veja que
n

j=1
[c
j
[ = lim
m!1
n

j=1
[d
(m)
j
[ = lim
m!1
1 = 1. Assim, nem todos os c
j
so nulos e,
como r
1
. r
2
. . . . . r
n
li, segue que
=
n

j=1
c
j
r
j
,= 0. (1.6)
Segue de (1.5) que
lim
m!1
[[
n
.
m
[[ = [[[[. (1.7)
De (1.7) e dos fatos de |
m
| 0 e (
n
.
m
)
1
m=1
ser subsequncia de (
m
)
1
m=1
temos que
[[[[ = 0. Mas isso contradiz (1.6). Logo, existe c 0 que satisfaz a desigualdade (1.4)
para quaisquer escalares /
1
. . . . . /
n
.
1.2 Operadores lineares
Denio 1.2.1 Sejam 1 e 1 espaos vetoriais sobre K. Uma aplicao 1 : 1 1
um operador linear (ou transformao linear) se
1(r + `) = 1(r) + `1(). \` K. \r. 1.
O conjunto formado por todos operadores lineares de 1 em 1 denotado por
1(1. 1). Se 1 = K, dizemos que 1 um funcional linear sobre 1 e denotamos 1(1. 1)
por 1

ou 1
0
. Chamamos 1
0
o espao dual ou dual de 1.
13
1.2. OPERADORES LINEARES
Denio 1.2.2 Sejam 1 e 1 espaos vetoriais normados sobre K e 1 : 1 1 um
operador linear. Denimos a norma de 1 por
[[1[[ = sup[[1(r)[[; [[r[[ _ 1.
No Exemplo 1.2.13 veremos que /(1.1) um evn com a norma dada acima. Note
tambm que se [[1[[ < , dizemos que 1 limitado.
Denio 1.2.3 Sejam 1 e 1 espaos vetoriais normados sobre K e 1 : 1 1 um
operador linear. Dizemos que 1 contnuo em r
0
1 se, para cada 0 existir o 0
tal que
[[r r
0
[[ < o = [[1(r) 1(r
0
)[[ < .
Proposio 1.2.4 A norma em um evn uma funo contnua.
Demonstrao: Sejam (1. ||) um evn e r
0
1 qualquer. Dados 0 e r 1
veja que
d (r. r
0
) < o = |r r
0
| < o.
donde
d (|r| . |r
0
|) = ||r| |r
0
|| _ |r r
0
| < o := .
o que mostra o resultado.
O conjunto formado por todas as transformaes lineares contnuas de 1 em 1
denotado por /(1. 1).
Denio 1.2.5 Sejam 1 e 1 espaos vetoriais normados. Se existir um operador
1 : 1 1 bijetivo, contnuo e com inversa contnua dizemos que 1 e 1 so
topologicamente isomorfos (isomorfos). Neste caso, dizemos que 1 um isomorsmo
topolgico (isomorsmo) de 1 em 1.
Quando o isomorsmo for tal que |1(r)| = |r| . \r 1, dizemos que 1 e 1 so
isometricamente isomorfos e que 1 uma isometria.
Exemplo 1.2.6 O operador identidade de qualquer evn uma isometria.
Proposio 1.2.7 Sejam 1 e 1 espaos vetoriais normados sobre K. Dado 1
1(1. 1), as seguintes armaes so equivalentes:
(i) T contnuo.
(ii) T contnuo na origem.
(iii) T limitado.
14
1.2. OPERADORES LINEARES
Demonstrao:
(i) = (ii) obvio.
(ii) = (iii) Suponha que (iii) no ocorra. Ento, sendo 1
E
a bola unitria fechada de
1, temos
Para c
1
= 1. r
1
1
E
; [[1(r
1
)[[ 1
Para c
2
= 2. r
2
1
E
; [[1(r
2
)[[ 2
.
.
.
Para c
k
= /. r
k
1
E
; [[1(r
k
)[[ /.
.
.
.
Dessa forma, existe uma sequncia (r
k
)
1
k=1
em 1
E
tal que [[1(r
k
)[[ _ /, para cada
/ N. Considere .
k
=
x
k
jjT(x
k
)jj
. Ento lim
k!1
.
k
= 0, pois r
k
limitado e
1
jjT(x
k
)jj
0.
Temos ainda
[[1(.
k
)1(0)[[ = [[1(.
k
)[[ = [[1
_
r
k
[[1(r
k
)[[
_
[[ = [[
1
[[1(r
k
)[[
1(r
k
)[[ =
1
[[1(r
k
)[[
[[1(r
k
)[[ = 1.
o que fere a continuidade de 1 na origem.
(iii) = (i)
Armamos que [[1(r)[[ _ [[1[[[[r[[ para todo r em 1. Com efeito, se r = 0 no h o
que provar. Suponha ento r ,= 0. Assim
[[1(r)[[
[[r[[
= [[1(
r
[[r[[
)[[ _ [[1[[ = [[1(r)[ _ [[1[[[[r[[.
Seja [[1[[ = c. Observe que, para r
1
. r
2
1. temos
[[1(r
1
) 1(r
2
)[[ = [[1(r
1
r
2
)[[ _ [[1[[[[r
1
r
2
[[ = c[[r
1
r
2
[[.
donde 1 lipschtziana e portanto (uniformemente) contnua.
Corolrio 1.2.8 Todo operador linear cujo domnio tem dimenso nita contnuo.
Demonstrao: Sejam 1. 1 espaos vetoriais normados com dim1 = : e 1 : 1 1
um operador linear. Considere , = c
1
. . . . . c
n
uma base de 1. Veja que
[[1(r)[[ =
_
_
_
_
_
1
_
n

j=1
c
j
c
j
__
_
_
_
_
=
_
_
_
_
_
n

j=1
c
j
1(c
j
)
_
_
_
_
_
_
n

j=1
[c
j
[ |1(c
j
)| _ max
1kn
|1(c
k
)|
n

j=1
[c
j
[.
Faa / = max
1kn
|1(c
k
)| e observe que, pelo Lema (1.1.10), existe c 0 tal que
n

j=1
[c
j
[ _ |r| ,c. Logo |1(r)| _
k
c
|r|. Portanto
|1| = sup
jjxjj1
|1(r)| _ sup
jjxjj1
/
c
|r| =
/
c
sup
jjxjj1
|r| =
/
c
.
15
1.2. OPERADORES LINEARES
e o resultado segue.
Duas normas ||
1
e ||
2
em um espao vetorial 1 so equivalentes se existirem
constantes positivas c
1
. c
2
tais que
c
1
|r|
1
_ |r|
2
_ c
2
|r|
1
. \r 1.
Como consequncia do corolrio anterior, veremos a seguir que quaisquer normas
em um espao vetorial de dimenso nita so equivalentes.
Corolrio 1.2.9 Se 1 um espao vetorial normado de dimenso nita, quaisquer
duas normas so equivalentes.
Demonstrao: Sejam ||
1
e ||
2
normas em 1. Considere a aplicao identidade
id : (1. ||
1
) (1. ||
2
)
Como id bijetiva e o domnio e contradomnio tem dimenso nita, tem-se que id e
id
1
so contnuas. Da, existem c
1
. c
2
constantes tais que
|id (r)|
2
_ c
1
|r|
1
e
_
_
id
1
(r)
_
_
1
_ c
2
|r|
2
.
Logo
1
c
2
|r|
1
_ |r|
2
_ c
1
|r|
1
.

Veremos agora que quaisquer espaos vetoriais normados de mesma dimenso (nita)
so isomorfos.
Corolrio 1.2.10 Sejam : N, 1 e 1 espaos vetoriais normados sobre K com
dim1 = dim1 = :. Nessas condies 1 e 1 so isomorfos.
Demonstrao: Sejam E = c
1
. . . . . c
n
e ( = ,
1
. . . . . ,
n
bases de 1 e 1,
respectivamente. Dena
1 : 1 1
c
j
,
j
.
Armao 1. 1 linear. De fato, para n. 1 e ` K temos
1(`n + ) = 1(`(c
1
c
1
+ . . . + c
n
c
n
) + (,
1
c
1
+ . . . + ,
n
c
n
))
= 1((`c
1
+ ,
1
)c
1
+ . . . + (`c
n
+ ,
n
)c
n
)
= 1((`c
1
+ ,
1
)c
1
) + . . . + 1((`c
n
+ ,
n
)c
n
)
= 1(`c
1
c
1
) + 1(,
1
c
1
) + . . . + 1(`c
n
c
n
) + 1(,
n
c
n
)
= `1(c
1
c
1
) + . . . + `1(c
n
c
n
) + 1(,
1
c
1
) + . . . + 1(,
n
c
n
)
= `1(c
1
c
1
+ . . . + c
n
c
n
) + 1(,
1
c
1
+ . . . + ,
n
c
n
) = `1(n) + 1().
16
1.2. OPERADORES LINEARES
Armao 2. 1 injetiva. Sejam n. 1 tais que 1(n) = 1(). Assim
1(c
1
c
1
+ . . . + c
n
c
n
) = 1(,
1
c
1
+ . . . + ,
n
c
n
)
c
1
1(c
1
) + . . . + c
n
1(c
n
) = ,
1
1(c
1
) + . . . + ,
n
1(c
n
)
c
1
,
1
+ . . . + c
n
,
n
= ,
1
,
1
+ . . . + ,
n
,
n
.
Como ,
1
. . . . . ,
n
li e
(c
1
,
1
),
1
+ . . . + (c
n
,
n
),
n
= 0.
segue que
c
1
= ,
1
. . . . . c
n
= ,
n
.
donde n = .
Armao 3. 1 sobrejetora. De fato, se 1 ento
= c
1
,
1
+ . . . + c
n
,
n
= c
1
1(c
1
) + . . . + c
n
1(c
n
)
= 1(c
1
c
1
+ . . . + c
n
c
n
) = 1(r).
onde r 1.
Armao 4. 1 e 1
1
so contnuas. Como dim1 = dim1 = :, pelo Colorrio
(1.2.8), a armao est provada. Portanto, 1 e 1 so isomorfos.
Teorema 1.2.11 Sejam 1 e 1 espaos vetoriais normados com 1 completo. Se
1 : 1 1 um isomorsmo, ento 1 completo.
Demonstrao: Seja (r
n
)
1
n=1
uma sequncia de Cauchy em 1. Considere
n
=
1
1
(r
n
) . \: N.
Armao 1. (
n
)
1
n=1
uma sequncia de Cauchy em 1. Como (r
n
)
1
n=1
de Cauchy,
dado 0 existe :
0
N tal que
:. : _ :
0
= |r
n
r
m
| < .
Veja que
|
n

m
| =
_
_
1
1
(r
n
) 1
1
(r
m
)
_
_
=
_
_
1
1
(r
n
r
m
)
_
_
_
_
_
1
1
_
_
|r
n
r
m
|
_
_
_
1
1
_
_
.
Como 1
1
contnua, segue que (
n
)
1
n=1
de Cauchy e portanto convergente. Seja o
limite em questo.
Armao 2. r
n
convergente. De fato, como
n
e 1 contnua, segue que
1 (
n
) 1 (), donde r
n
1 () 1. O resultado segue.
17
1.2. OPERADORES LINEARES
Corolrio 1.2.12 Todo evn de dimenso nita sobre K um espao de Banach.
Demonstrao: Seja 1 um evn sobre K com dim1 = :. Pelo Colorrio (1.2.10), 1
isomorfo a K
n
. Usando o teorema anterior e o fato de K
n
ser Banach temos o resultado.

Exemplo 1.2.13 /(1.1) um evn com a norma |1| = sup[[1(r)[[; [[r[[ _ 1.


De fato, fcil mostrar que /(1.1) um espao vetorial. Resta-nos mostrar que
|1| = sup[[1(r)[[; [[r[[ _ 1 norma. Sejam 1
1
. 1
2
/(1.1) e ` K. Observe que
(i) |1| _ 0. \1 /(1.1). Agora, se 1 = 0 claro que |1| = 0. Por outro, se
|1| = 0 ento
sup
kxk1
|1 (r)| = 0 = 1 (r) = 0. \r 1
E
.
Assim,
1
_
r
|r|
_
= 0 =
1
|r|
1 (r) = 0 = 1 (r) = 0. \r 1.
(ii) |`1
1
| = sup
kxk1
|`1
1
(r)| = sup
kxk1
[`[ |1
1
(r)| = [`[ sup
kxk1
|1
1
(r)| = [`[ |1
1
|.
(iii)
|1
1
+ 1
2
| = sup
kxk1
|(1
1
+ 1
2
) (r)|
_ sup
kxk1
|1
1
(r)| + sup
kxk1
|1
2
(r)|
= |1
1
| +|1
2
| .
Exemplo 1.2.14 Se 1 um evn e 1 Banach, ento /(1.1) um espao de Banach.
Seja (1
n
)
1
n=1
uma sequncia de Cauchy em /(1.1). Assim, dado 0 existe :
0
N
tal que
:. : _ :
0
= |1
n
1
m
| < .
Da, observe que
:. : _ :
0
=
_
_
_
_
(1
n
1
m
)
_
r
|r|
__
_
_
_
_ |1
n
1
m
| < = |(1
n
1
m
) (r)| < |r| . \r 1.
(1.8)
Logo, para cada r 1, (1
n
(r))
1
n=1
uma sequncia de Cauchy em 1. Como 1
Banach segue que (1
n
(r))
1
n=1
convergente. Dena 1 : 1 1 por 1 (r) =
lim
n!1
1
n
(r) .
Armao 1: 1 linear. De fato, se r. 1 e ` K ento
1 (r + `) = lim
n!1
1
n
(r + `)
= lim
n!1
(1
n
(r) + 1
n
(`))
= lim
n!1
1
n
(r) + ` lim
n!1
1
n
()
= 1 (r) + `1 ()
18
1.2. OPERADORES LINEARES
Armao 2: 1 limitada. Com efeito, como 1
n
(r) 1 (r), fazendo : em
(1.8) obtemos
|1
m
(r) 1 (r)| _ |r| ,
sempre que : _ :
0
. Deste modo
|1 (r)| _ |1 (r) 1
n
0
(r)| +|1
n
0
(r)| _ |r| +|1
n
0
| |r| _ ( +|1
n
0
|) |r| .
Passando sup
x2B
E
na desigualdade anterior temos
|1| _ sup
x2B
E
[( +|1
n
0
|) |r|] = +|1
n
0
| .
donde |1| < .
Armao 3: 1
n
1. De fato,
lim
n!1
|1
n
1| = lim
n!1
sup
x2B
E
|(1
n
1) (r)|
= sup
x2B
E
lim
n!1
|1
n
(r) 1 (r)|
= sup
x2B
E
_
_
_ lim
n!1
1
n
(r) lim
n!1
1 (r)
_
_
_
= sup
x2B
E
|1 (r) 1 (r)| = 0.
Portanto /(1.1) Banach.
O Corolrio (1.2.8) arma que todo operador linear denido num evn de dimenso
nita contnuo. O prximo exemplo mostra que em dimenso innita o mesmo no
ocorre:
Exemplo 1.2.15 Para todo evn de dimenso innita 1 e todo evn 1 ,= 0, existe um
operador linear 1 : 1 1 no contnuo. De fato, seja E uma base de 1. Considere
E
0
= r
1
. r
2
. . . . um subconjunto enumervel de E e 1 no nulo. Dena a seguinte
aplicao
1 : E 1 dada por 1 (r) :=
_
:
y
kyk
. r
m
E
0
0. r E E
0
.
claro que 1 acima linear. Agora veja que
|1 (r
n
)| = : = sup
kxnk1
|1 (r
n
)| = .
donde |1| = .
19
1.3. ESPAOS DE SEQUNCIAS
1.3 Espaos de sequncias
Nesta seo veremos alguns espaos de Banach de dimenso innita cujos elementos
so sequncias. Para tanto, ser necessrio estudarmos alguns resultados precursores,
a saber as desigualdades de Hlder e Minkowski. Daremos incio demostrando a
Desigualdade de Young que ser necessrio para a prova da desigualdade de Hlder.
Lema 1.3.1 Sejam c. / nmeros reais positivos e j. 1 tais que
1
p
+
1
q
= 1. Ento
c
1
p
/
1
q
_
c
j
+
/

.
Demonstrao: Considere, para cada 0 < c < 1, a funo , = ,

: (0. ) R dada
por , (t) = t

ct. Observe que


,
0
(t) = ct
1
c =
_
t
1
1
_
c.
Veja que
,
0
(t) 0. :c 0 < t < 1
,
0
(t) < 0. :c t 1.
Como , derivvel em t = 1, pelo Teste da 1
a
Derivada, segue que , tem um mximo
local nesse ponto, isto , (t) _ , (1) em algum intervalo contendo 1. Desse modo
t

ct _ 1 c = t

_ 1 c + ct. \t 0.
Fazendo t =
a
b
e c =
1
p
, obtemos
_
c
/
_1
p
_ 1
1
j
+
c
j/
.
Multiplicando / em ambos os lados da desigualdade anterior temos
c
1
p
/
1
p
/ _
_
1
1
j
_
/ +
c
j
= c
1
p
/
1
1
p
_
_
1
1
j
_
/ +
c
j
.
Como
1
q
= 1
1
p
. conclumos que
c
1
p
/
1
q
_
c
j
+
/

Teorema 1.3.2 (Desigualdade de Hlder) Sejam j. 1 tais que


1
p
+
1
q
= 1 e
: N. Ento
n

j=1
[r
j

j
[ _
_
n

j=1
[r
j
[
p
_1
p
_
n

j=1
[
j
[
q
_1
q
para quaisquer escalares r
j
.
j
com , = 1. . . . . :.
20
1.3. ESPAOS DE SEQUNCIAS
Demonstrao: O caso em que
n

j=1
[r
j
[
p
= 0 ou
n

j=1
[
j
[
q
= 0 trivial. Suponha ento
que
n

j=1
[r
j
[
p
,= 0 e
n

j=1
[
j
[
q
,= 0. Usando o Lema (1.3.1) com
c
j
=
[r
j
[
p
n

k=1
[r
k
[
p
c /
j
=
[
j
[
q
n

k=1
[
k
[
q
temos que
c
1
p
j
/
1
q
j
_
c
j
j
+
/
j

=
[r
j
[
_
n

k=1
[r
k
[
p
_1
p

[
j
[
_
n

k=1
[
k
[
q
_1
q
_
c
j
j
+
/
j

.
Repetindo o procedimento acima e somando as : desigualdades, obtemos
n

j=1
[r
j
[ [
j
[
_
n

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

k=1
[
k
[
q
_1
q
_
n

j=1
_
c
j
j
+
/
j

_
. (1.9)
Observe que
n

j=1
_
c
j
j
+
/
j

_
=
n

j=1
c
j
j
+
n

j=1
/
j

=
1
j
n

j=1
c
j
+
1

j=1
/,
=
1
j
n

j=1
_
_
_
_
[r
j
[
p
n

k=1
[r
k
[
p
_
_
_
_
+
1

j=1
_
_
_
_
[
j
[
q
n

k=1
[
k
[
q
_
_
_
_
=
1
j
n

j=1
[r
j
[
p
n

k=1
[r
k
[
p
+
1

j=1
[
j
[
q
n

k=1
[
k
[
q
=
1
j
+
1

= 1.
Logo, segue de (1.9)
n

j=1
[r
j
[ [
j
[ _
_
n

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

k=1
[
k
[
q
_1
q
.
o que prova o resultado.
21
1.3. ESPAOS DE SEQUNCIAS
Teorema 1.3.3 (Desigualdade de Minkowski) Sejam : N e j _ 1. Ento
_
n

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

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

k=1
[
k
[
p
_1
p
(1.10)
quaisquer que sejam os escalares r
k
.
k
com / = 1. . . . . :.
Demonstrao: Para j = 1 temos
n

k=1
[r
k
+
k
[ = [r
1
+
1
[ + . . . +[r
n
+
n
[
_ ([r
1
[ +[
1
[) + . . . + ([r
n
[ +[
n
[)
= ([r
1
[ + . . . +[r
n
[) + ([
1
[ + . . . +[
n
[)
=
n

k=1
[r
k
[ +
n

k=1
[
k
[ .
Suponha agora j 1. Pela desigualdade triangular, para mostrarmos (1.10) suciente
garantirmos
_
n

k=1
([r
k
[ +[
k
[)
p
_1
p
_
_
n

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

k=1
[
k
[
p
_1
p
.
Se
n

k=1
([r
k
[ +[
k
[)
p
= 0. o resultado segue facilmente. Seja ento
n

k=1
([r
k
[ +[
k
[)
p
0.
Nosso objetivo aqui ser utilizar a desigualdade de Hlder. Veja que
([r
k
[ +[
k
[)
p
= ([r
k
[ +[
k
[) ([r
k
[ +[
k
[)
p1
(1.11)
= [r
k
[ ([r
k
[ +[
k
[)
p1
+[
k
[ ([r
k
[ +[
k
[)
p1
.
Observe que j = (j 1) . De fato,
1
j
+
1

= 1 =
j +
j
= 1 = j + = j = j = j = (j 1) .
Agora, fazendo em (1.11) c
k
= [r
k
[ e /
k
= ([r
k
[ +[
k
[)
p1
e aplicado a Desigualdade de
Hlder em
n

k=1
[c
k
/
k
[ . obtemos
n

k=1
[r
k
[ ([r
k
[ +[
k
[)
p1
_
_
n

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

k=1
([r
k
[ +[
k
[)
(p1)q
_1
q
(1.12)
=
_
n

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

k=1
([r
k
[ +[
k
[)
p
_1
q
.
22
1.3. ESPAOS DE SEQUNCIAS
De modo anlogo, conclumos que
n

k=1
[
k
[ ([r
k
[ +[
k
[)
p1
_
_
n

k=1
[
k
[
p
_1
p
_
n

k=1
([r
k
[ +[
k
[)
p
_1
q
. (1.13)
Somando (1.12) e (1.13), obtemos
n

k=1
([r
k
[ +[
k
[) ([r
k
[ +[
k
[)
p1
_
_
_
_
n

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

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

k=1
([r
k
[ +[
k
[)
p
_1
q
.
Logo
n

k=1
([r
k
[ +[
k
[)
p
_
n

k=1
([r
k
[ +[
k
[)
p
_1
q
_
_
n

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

k=1
[
k
[
p
_1
p
.
donde
_
n

k=1
([r
k
[ +[
k
[)
p
_1
p
=
_
n

k=1
([r
k
[ +[
k
[)
p
_
1
1
q
_
_
n

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

k=1
[
k
[
p
_1
p
.

Denio 1.3.4 Para cada j R com 1 _ j < denimos o conjunto


|
p
=
_
r := (r
j
)
1
j=1
K
N
;
1

j=1
[r
j
[
p
<
_
.
Exemplo 1.3.5 Se K = R. ento
|
1
=
_
(r
j
)
1
j=1
R
N
;
1

j=1
[r
j
[ <
_
.
Observe que r
n
=
1
n
, |
1
, enquanto
n
=
1
n
2
|
1
. Por outro lado, temos
|
2
=
_
(r
j
)
1
j=1
R
N
;
1

j=1
[r
j
[
2
<
_
.
Nesse caso, temos que r
n
=
1
n
|
2
e
n
=
1
p
n
, |
2
.
23
1.3. ESPAOS DE SEQUNCIAS
Observao 1.3.6 A Desigualdade de Hlder ainda vlida se : . De fato,
tomando r. |
p
temos que
1

j=1
[r
j
[
p
< e
1

j=1
[
j
[
q
< .
donde
_
1

j=1
[r
j
[
p
_1
p
< e
_
1

j=1
[
j
[
q
_1
q
< .
Dessa forma, fazendo : na Desigualdade de Hlder, obtemos
1

j=1
[r
j

j
[ _
_
1

j=1
[r
j
[
p
_1
p
_
1

j=1
[
j
[
q
_1
q
.
Usando um raciocnio anlogo, obtemos a Desigualdade de Minkowski para : .
Proposio 1.3.7 Se 1 _ j < , |
p
um espao vetorial normado com a norma dada
por
_
_
_(r
j
)
1
j=1
_
_
_
p
:=
_
1

j=1
[r
j
[
p
_1
p
. (1.14)
Demonstrao: Tomando r. |
p
e ` K, denimos
r + = (r
j
)
1
j=1
+ (
j
)
1
j=1
= (r
1
+
1
. . . . . r
j
+
j
. . . .)
` + r = `(r
j
)
1
j=1
= (`r
1
. . . . . `r
j
. . . .) .
Mostraremos que as operaes esto bem denidas. Inicialmente observe que, pela
desigualdade de Minkowski, tem-se
_
1

j=1
[r
j
+
j
[
p
_1
p
_
_
1

j=1
[r
j
[
p
_1
p
+
_
1

j=1
[
j
[
p
_1
p
< .
donde r + |
p
. Por outro lado, veja que
1

j=1
[`r
j
[
p
= [`[
p
1

j=1
[r
j
[
p
<
portanto `r |
p
. As propriedades de espao vetorial no oferecem diculdades.
Provaremos agora que a funo (1.14) uma norma em|
p
. De fato, vejamos as condies:
(i) claro que
_
_
_(r
j
)
1
j=1
_
_
_
p
0. Agora veja que, sendo (r
j
)
1
j=1
= 0 temos
_
_
_(r
j
)
1
j=1
_
_
_
p
= 0.
24
1.3. ESPAOS DE SEQUNCIAS
Por outro lado, se
_

1
j=1
[r
j
[
p
_1
p
= 0 ento

1
j=1
[r
j
[
p
= 0 e portanto r
j
= 0. \, N.
(ii) Veja que
_
_
_`(r
j
)
1
j=1
_
_
_
p
=
_
_
_(`r
j
)
1
j=1
_
_
_
p
=
_
1

j=1
[`r
j
[
p
_1
p
=
_
[`[
p
n

j=1
[r
j
[
p
_1
p
= [`[
_
_
_(r
j
)
1
j=1
_
_
_
p
.
(iii) Como
_
_
_(r
j
)
1
j=1
+ (
j
)
1
j=1
_
_
_
p
=
_
_
_(r
j
+
j
)
1
j=1
_
_
_
p
=
_
1

j=1
[r
j
+
j
[
p
_1
p
segue da Desigualdade de Minkowski que
_
_
_(r
j
)
1
j=1
+ (
j
)
1
j=1
_
_
_
p
=
_
1

j=1
[r
j
+
j
[
p
_1
p
_
_
1

j=1
[r
j
[
p
_1
p
+
_
1

j=1
[
j
[
p
_1
p
=
_
_
_(r
j
)
1
j=1
_
_
_
p
+
_
_
_(
j
)
1
j=1
_
_
_
p
.
o que prova o resultado.
Proposio 1.3.8 Se 1 _ j < , ento |
p
um espao de Banach.
Demonstrao: Seja (r
n
)
1
n=1
uma sequncia de Cauchy em |
p
. Consideremos a
seguinte notao
r
1
= (r
11
. r
12
. . . .)
r
2
= (r
21
. r
22
. . . .)
.
.
.
r
n
= (r
n1
. r
n2
. . . .) .
.
.
.
Como (r
n
)
1
n=1
de Cauchy, dado 0 existe :
0
N tal que
:. : _ :
0
= |r
n
r
m
|
p
=
_
1

j=1
[r
nj
r
mj
[
p
_1
p
_ [r
nj
r
mj
[ . (1.15)
para cada , N. Dessa forma, para cada ,, (r
nj
)
1
n=1
uma sequncia de Cauchy em
K. Como K Banach, temos que cada (r
nj
)
1
j=1
converge, digamos para
j
K. Seja
25
1.3. ESPAOS DE SEQUNCIAS
r = (
j
)
1
j=1
K
N
. Vamos mostrar que r |
p
e r
n
r. De (1.15) segue, para cada `
natural, que
_
N

j=1
[r
mj
r
nj
[
p
_
1
p
< . (1.16)
sempre que :. : _ :
0
. Fazendo : em (1.16), obtemos
_
N

j=1
[r
mj

j
[
p
_
1
p
_ .
para :. : _ :
0
e todo ` natural. Fazendo agora ` . temos
:. : _ :
0
= |r
m
r| =
_
1

j=1
[r
mj

j
[
p
_1
p
_ .
donde, r
n
r. Por outro lado, como r
n
0
r e r
n
0
pertencem ao espao vetorial |
p
e
r = r
n
0
(r
n
0
r). segue que r |
p
.
Denio 1.3.9 Denimos o espao vetorial
|
1
=
_
r := (r
j
)
1
j=1
K
N
; sup
j2N
[r
j
[ <
_
munida da norma
|r|
1
:= sup
j2N
[r
j
[ .
Proposio 1.3.10 (|
1
. ||
1
) um espao de Banach.
Demonstrao: Seja (r
n
)
1
n=1
uma sequncia de Cauchy em |
1
. Denotemos cada
termo da sequncia r
n
por
r
1
= (r
11
. r
12
. r
13
. .... r
1n
. ...)
.
.
.
r
n
= (r
n1
. r
n2
. r
n3
. .... r
nn
. ...)
.
.
.
.
onde (r
nj
)
1
j=1
K
N
, para cada :.
Como (r
n
)
1
n=1
de Cauchy, dado 0. existe :
0
N tal que
:. : _ :
0
= sup
j2N
[r
nj
r
mj
[ _ |r
n
r
m
|
1
< .
donde
:. : _ :
0
= [r
nj
r
mj
[ < . (1.17)
26
1.3. ESPAOS DE SEQUNCIAS
para cada , N xo.
Dessa forma, para cada ,, a sequncia de escalares (r
nj
)
1
n=1
de Cauchy em K, e sendo
assim convergente. Seja
j
= lim
n!1
r
nj
e considere = (
j
)
1
j=1
. Mostraremos ento
que r
n
e que |
1
.
Em (1.17), fazendo : . obtemos, para cada ,.
[r
mj

j
[ _
sempre que : _ :
0
. Assim,
: _ :
0
= |r
m
|
1
= sup
j2N
[r
mj

j
[ _ . (1.18)
donde r
m
. Por outro lado, de (1.18), temos que r
n
0
|
1
. Como r
n
0
|
1
e
= r
n
0
(r
n
0
) . segue que |
1
, visto que |
1
um espao vetorial. O resultado
segue.
Em |
1
. consideramos os seguintes subespaos
c =
_
r = (r
j
)
1
j=1
K
N
; lim
j!1
r
j
existe
_
c
0
=
_
r = (r
j
)
1
j=1
K
N
; lim
j!1
r
j
= 0
_
c
00
=
_
r = (r
j
)
1
j=1
K
N
; r
j
= 0 para , _ :
0
N
_
.
Exemplo 1.3.11 c fechado em |
1
. De fato, seja (r
n
)
1
n=1
uma sequncia em c tal que
lim
n!1
r
n
= r. Mostraremos que r c. Primeiro cosideremos
r
1
=
_
r
(1)
1
. r
(1)
2
. . . .
_
r
2
=
_
r
(2)
1
. r
(2)
2
. . . .
_
.
.
.
r
n
=
_
r
(n)
1
. r
(n)
2
. . . .
_
.
.
.
e r = (r
1
. r
2
. . . .) .Como r
n
r. dado 0 existe :
1
N tal que
: _ :
1
= sup
j2N

r
(n)
j
r
j

= |r
n
r|
1
< .
Logo, para cada , N, temos

r
(n)
j
r
j

< . (1.19)
27
1.3. ESPAOS DE SEQUNCIAS
sempre que : _ :
1
. Isso mostra que cada sequncia de escalares
_
r
(n)
j
_
1
n=1
converge
para r
j
. Por outro lado, como cada r
n
=
_
r
(n)
1
. r
(n)
2
. . . .
_
convergente em K, e portanto
de Cauhy, temos que existe :
2
N de modo que
/. , _ :
2
=
_
_
_r
(n)
k
r
(n)
j
_
_
_ < . (1.20)
Considerando :
0
= max :
1
. :
2
. segue de (1.19) e (1.20) que
/. , _ :
0
= [r
k
r
j
[ _

r
k
r
(n
0
)
k

r
(n
0
)
k
r
(n
0
)
j

r
(n
0
)
j
r
j

< 3
Dessa forma, r = (r
j
)
1
j=1
uma sequncia de Cauchy em K, donde r c.
Exemplo 1.3.12 c
0
fechado em |
1
. De fato, seja (r
n
)
1
n=1
uma sequncia em c
0
tal
que r
n
r. Devemos mostrar que r c
0
. Usaremos a mesma notao para r
n
e r
como no exemplo anterior. Como r
n
r, dado 0 existe :
1
N tal que
: _ :
1
= sup
j2N

r
(n)
j
r
j

= |r
n
r|
1
< .
Dessa forma

r
(n)
j
r
j

<
para todo : _ :
1
e cada , N. Isso mostra que lim
n!1
r
(n)
j
= r
j
. Como r
n
1
c
0
existe
:
2
N de modo que
, _ :
2
=

r
(n
1
)
j

< .
Considerando :
0
= max :
1
. :
2
temos que
, _ :
0
= [r
j
[ _

r
j
r
(n
1
)
j

r
(n
1
)
j

< 2.
Portanto r
j
0. donde r = (r
j
)
1
j=1
c
0
.
Exerccio 1.3.13 Mostraremos agora que c
00
no fechado em |
1
. De fato, seja
r
n
=
_
1.
1
2
.
1
3
. . . . .
1
:
. 0. 0. . . .
_
c
00
.
Agora, considere
r =
_
1.
1
2
.
1
3
. . . . .
1
:
.
1
: + 1
. . . .
_
e observe que r |
1
c
oo
. Por outro lado, veja que
lim
n!1
|r
n
r|
1
= lim
n!1
_
_
_
_
_
0. . . . . 0.
1
: + 1
.
1
: + 2
. . . .
__
_
_
_
1
= lim
n!1
1
: + 1
= 0
donde r
n
r.
28
1.4. ESPAOS SEPARVEIS
1.4 Espaos separveis
Denio 1.4.1 Sejam (`. d) um espao mtrico e A `. Dizemos que A denso
em ` se, dados ` e 0. existir r A tal que
d (r. ) < .
Denio 1.4.2 Um espao mtrico ` dito separvel se existir 1 ` denso e
enumervel.
Proposio 1.4.3 Sejam 1 e 1 evn com 1 separvel. Se 1 e 1 so isomorfos, ento
1 separvel.
Demonstrao: Seja 1 : 1 1 o isomorsmo em questo e considere 1 1 denso
e enumervel.
Armao 1: 1 (1) enumervel. De fato, sendo , : N 1 uma bijeo segue
que a aplicao 1 , : N 1 (1) bijetora. Logo, 1 (1) enumervel
Armao 2: 1 (1) denso em 1. Com efeito, sejam 1 e 0. Como 1
um isomorsmo, existe . 1 tal que 1 (.) = . Como 1 denso em 1, existe r 1
tal que
|r .|
E
< .
Como
|1 (r) |
F
= |1 (r) 1 (.)|
F
= |1 (r .)|
F
_ |1| |r .|
E
< |1| .
segue nossa armao, donde 1 separvel.
Proposio 1.4.4
_
K
n
. ||
p
_
separvel.
Demonstrao: Faamos inicialmente para K = R.
Armamos que Q
n
denso em R
n
. Com efeito, seja r = (r
1
. . . . . r
n
) R
n
. Como Q
denso em R, dado 0. existem
1
. . . . .
n
Q tais que
[r
i

i
[ < ,:
1
p
. com i = 1. . . . . :.
Considere = (
1
. . . . .
n
) Q
n
e observe que
|r |
p
=
_
n

i=1
[r
i

i
[
p
_1
p
<
_
:
p
:
_1
p
= .
o que prova nossa armao. claro que Q
n
enumervel. Logo R
n
separvel.
Para termos C
n
separvel, basta lembrar que R
n+1
isomorfo a C
n
.
O prximo resultado nos diz mais que a proposio anterior.
29
1.4. ESPAOS SEPARVEIS
Proposio 1.4.5 Todo evn de dimenso nita separvel.
Demonstrao: Seja 1 um evn com dim1 = :. Pelo Corolrio 1.2.10, temos que 1
isomorfo a K
n
. As Proposies 1.4.3 e 1.4.4 nos garantem a separabilidade de 1.
Proposio 1.4.6 Se 1 _ j < , ento |
p
separvel.
Demonstrao: Faremos apenas o caso K = R. Com as devidas modicaes, o caso
K = C anlogo.
Seja
1 =
_
= (
j
)
1
j=1
Q
N
; ,
0
N de modo que
j
= 0. \, ,
0
_
.
Observe que 1 |
p
.
Armamos que 1 denso em |
p
. De fato, sejam r = (r
1
. r
2
. . . .) |
p
e 0. Como
1

j=1
[r
j
[
p
< , existe :
0
N tal que
1

j=n
0
[r
j
[
p
<

2
. (1.21)
Como Q denso em R, existem .
1
. .
2
. . . . . .
n
0
1
Q, tais que
[.
i

i
[ <

1
p
2
i+1
p
. (1.22)
onde i = 1. . . . . :
0
1. Tomando . = (.
1
. .
2
. . . . . .
n
0
1
. 0. 0. . . .) 1, segue de (1.21) e
(1.22) que
|r .|
p
=
_
1

j=1
[r
j
.
j
[
p
_1
p
=
_
n
0
1

j=1
[r
j
.
j
[
p
+
1

j=n
0
[r
j
.
j
[
p
_1
p
<
_
n
0
1

j=1

2
j+1
+
1

j=n
0
[r
j
[
p
_1
p
<
_
n
0
1

j=1

2
j+1
+

2
_1
p
=
_

2
n
0
_1
p
<
1
p
< .
30
1.4. ESPAOS SEPARVEIS
o que mostra nossa armao.
Por m, para vermos que 1 enumervel, basta observar que
1 =
1

i=1
1
i
onde cada 1
i
= (r
1
. r
2
. . . . . r
i
. 0. . . .) ; r
i
Q enumervel.
Exemplo 1.4.7 |
1
no separvel. De fato, seja
C =
_
(r
j
)
1
j=1
; r
j
= 0 ou r
j
= 1
_
|
1
.
Do processo de diagonalizao de Cantor, segue que C no enumervel. Observe que
para r. C, com r ,= , tem-se
d (r. ) = |r |
1
= sup
j2N
[r
j

j
[ = 1.
Agora, para cada r C considere a bola 11
3
(r) e veja que
11
3
(r) 11
3
() ,= ?.
Se ` qualquer subconjunto denso em |
1
, ento cada bola 11
3
(r) . r C. contm
algum : `. Isso mostra que ` no enumervel.
Proposio 1.4.8 Se 1 um espao de Banach separvel, ento a esfera unitria o
E
separvel.
Demonstrao: Seja 1 1 denso e enumervel. Considere o seguinte subconjunto
de o
E
1
1
=
_
r
|r|
; r 1 0
_
.
Armamos que 1
1
denso em o
E
. De fato, sejam o
E
e 0. No h perda de
generalidade supor <
1
2
. Por hptese, existe r
0
1 tal que
| r
0
| <

2
.
Observe que r
0
,= 0, visto que <
1
2
. Dessa forma
_
_
_
_

r
0
|r
0
|
_
_
_
_
_ | r
0
| +
_
_
_
_
r
0

r
0
|r
0
|
_
_
_
_
<

2
+

1
1
|r
0
|

|r
0
|
<

2
+[|r
0
| 1[
=

2
+[|r
0
| ||[
_

2
+|r
0
|
<

2
+

2
= .
31
1.4. ESPAOS SEPARVEIS
o que prova a armao. claro que 1
1
enumervel.
32
Captulo 2
O Teorema de Hahn-Banach
O Teorema de Hahn-Banach , sem dvida, um dos resultados centrais da Anlise
Funcional. Ele nos fornece condies para estendermos funcionais lineares sem
alterarmos as propriedades dos mesmos.
2.1 Lema de Zorn
O Lema de Zorn (LZ) um axioma da Teoria de Conjuntos que trata de famlias
de conjuntos. O LZ se consagrou como pea fundamental em vrias demonstraes de
diversos resultados clssicos da matemtica, como por exemplo Teorema de Bishop-
Phelps, que todo espao vetorial possui base de Hamel, Teorema de Tychono dentre
outros.
A seguir, apresentamos alguns resultados necessrios para denirmos o Lema de
Zorn.
Denio 2.1.1 Dado um conjunto A e uma relao binria - sobre ele, dizemos que
(A. -) um conjunto parcialmente ordenado se valem as seguintes propriedades:
1. - . \ A (reexiva).
2. - j e j - = - (transitiva).
3. - j e j - = j = (antissimtrica).
Observao 2.1.2 Chamamos (A. -) de conjunto "parcialmente"ordenado porque
podem existir elementos em A no comparveis de acordo com a ordenao - dada.
Se quaisquer dois elementos de (A. -) so comparveis, ento dizemos que (A. -)
totalmente ordenado.
Denio 2.1.3 Seja (A. -) um conjunto parcialmente ordenado. Um elemento c A
dito maximal se, para todo r A com c - r, tem-se que r = c. Por outro lado, um
elemento / A chamado limite superior de 1 A se - /. \ 1 .
33
2.2. O TEOREMA DE HAHN-BANACH
Exemplo 2.1.4 Seja A = A

2
uma famlia de conjuntos. A incluso de conjuntos
uma relao de ordem parcial em A. Observe que

2
A

um elemento maximal
de A.
Exemplo 2.1.5 A ordem natural _ de R uma relao de ordem total. Observe que
R no possui elemento maximal.
Agora estamos em condies de enunciar o Lema de Zorn.
Lema 2.1.6 (LZ) Um conjunto no-vazio parcialmente ordenado, no qual todo
subconjunto totalmente ordenado possui um limite superior, possui um elemento
maximal.
2.2 O Teorema de Hahn-Banach
A seguir, apresentamos o teorema de Hahn-Banch em sua forma analtica.
Apresentamos duas verses, uma para os espaos vetorias reais e outra para os espaos
vetoriais complexos.
Teorema 2.2.1 (Hahn-Banach (caso real) ) Seja 1 um espao vetorial sobre o
corpo dos reais e j : 1 R uma aplicao sublinear, isto , que satisfaa
j (cr) = cj (r) para todo c 0 c todo r 1
e
j (r + ) _ j (r) + j () para quaisquer r. 1.
Se G _ 1 e q : G R um funcional linear tal que
q (r) _ j (r) para todo r em G.
ento existe um funcional linear 1 : 1 R que estende q e que satisfaz
1 (r) _ j (r) para todo r em 1.
Demonstrao: Considere o conjunto
1 =
_
/ : 1(/) 1 R; 1(/) _ 1. / linear. G _ 1(/) .
/ estende q e /(r) _ j (r) . \r 1(/)
_
claro que 1 no-vazio, pois q 1.
Armao 1: A seguinte relao
/
1
- /
2
sse 1(/
1
) _ 1(/
2
) e /
2
estende /
1
34
2.2. O TEOREMA DE HAHN-BANACH
dene uma ordenao parcial em 1. De fato,
1. Claramente / - /. \/ 1.
2. Se /
1
- /
2
e /
2
- /
1
, ento 1(/
1
) = 1(/
2
) e portanto /
1
= /
2
.
3. Se /
1
- /
2
e /
2
- /
3
, ento 1(/
1
) _ 1(/
2
) _ 1(/
3
). claro que /
3
estende /
1
.
Armao 2: Todo subconjunto totalmente ordenado de 1 possui um limite superior.
Com efeito, seja Q 1 totalmente ordenado. Dena
/ : 1(/) R com 1(/) =

f2Q
1(,) e /(r) = , (r) . \r 1(,) .
Note que / est bem denida, pois se r 1(/) ento existe ,
0
Q tal que
r 1(,
0
).Caso exista ,
1
Q com r 1(,
1
), pela ordenao total de Q devemos
ter ,
0
- ,
1
ou ,
1
- ,
0
Caso ,
0
- ,
1
, ento 1(,
0
) _ 1(,
1
) e ,
1
estende ,
0
. Nesse caso, basta considerar
/(r) = ,
0
(r).
Por outro lado, se ,
1
- ,
0
. ento 1(,
1
) _ 1(,
0
) e ,
0
estende ,
1
Dessa forma, basta
considerar /(r) = ,
1
(r). Isso mostra que / est bem denida.
claro que / 1 e / limite superior de Q. Nessas condies, o Lema de Zorn garante
que 1 possui um elemento maximal, que denotaremos por 1.
Armao 3: 1(1) = 1. Suponha por absurdo que 1(1) ,= 1. Assim, considere
r
0
11(1) e dena

/ : 1
_

/
_
R pondo
1
_

/
_
= 1(1) + [r
0
] e

/(r + tr
0
) = 1 (r) + tc.
onde c uma constante que ser denida depois de modo que

/ 1. No momento,
desejamos mostrar que c satisfaa as seguintes desigualdades
1 (r) + c =

/(r + r
0
) _ j (r + r
0
) e
1 (r) c =

/(r r
0
) _ j (r r
0
) . \r 1(1) .
Para tanto, basta escolher c de modo que
sup
x2D(T)
1 (r) j (r r
0
) _ c _ inf
x2D(T)
j (r + r
0
) 1 (r) .
Felizmente, tal escolha possvel pois se r. 1(1) ento
1 (r) + 1 () = 1 (r + )
_ j (r + )
= j (r + r
0
+ r
0
)
_ j (r + r
0
) + j ( r
0
)
35
2.2. O TEOREMA DE HAHN-BANACH
e, consequentemente
1 () j (
0
) _ j (r + r
0
) 1 (r) . \r. 1(1) .
Cosideremos agora os seguintes casos:
Caso 1: t 0. Neste caso, temos

/(r + tr
0
) =

/
_
t
_
r
t
+ r
0
__
= t

/
_
r
t
+ r
0
_
= t
_
1
_
r
t
_
+ c
_
_ tj
_
r
t
+ r
0
_
= j (r + tr
0
) .
Caso 2: t < 0. Para este caso, segue que

/(r + tr
0
) =

/
_
t
_
r
t
r
0
__
= t

/
_
r
t
r
0
_
= t
_
1
_
r
t
_
c
_
_ tj
_
r
t
r
0
_
= j (r + tr
0
) .
Caso 3: t = 0. Temos que

/(r + tr
0
) =

/(r) = 1 (r) _ j (r) = j (r + tr


0
) .
Isso mostra que

/(r) _ j (r) . \r 1
_

/
_
. Da, como

/ estende q, segue que

/ 1.
Ora, 1 -

/ e 1 ,=

/, mas isso fere a maximilidade de 1. Logo 1(1) = 1 e o resultado


segue.
O prximo corolrio s vezes enunciado como Teorema de Hahn-Banach.
Corolrio 2.2.2 Sejam G um subespao de um espao vetorial normado 1 (sobre R) e
q : G R um funcional linear contnuo. Nessas condies, existe um funcional linear
contnuo 1 : 1 R que estende q tal que |1| = |q|.
36
2.2. O TEOREMA DE HAHN-BANACH
Demonstrao: Dena j : 1 R pondo j (r) = |q| |r|. Observe que, se c 0,
ento j (r) = |q| |cr| = c |q| |r| = cj (r). Por outro lado, para r. 1 temos
j (r + ) = |q| |r + | _ |q| (|r| +|r|) = |q| |r| +|q| || = j (r) + j () .
Agora, veja que
r G = q (r) _ [q (r)[ _ |q| |r| = j (r) = q (r) _ j (r) .
Logo, pelo Teorema de Hahn-Banach, existe 1 : 1 R linear que estende q e
1 (r) _ j (r) . \r 1.
Resta-nos mostrar que 1 contnuo e que |1| = |q|. Com efeito, por hiptese
1 (r) _ |q| |r| . \r G. (2.1)
Logo, para todo r G 0 temos que
1 (r)
|r|
_ |q| = 1
_
r
|r|
_
_ |q| = |1| _ |q| < .
donde 1 limitado. Por m, observe que
|q| = sup
x2B
G
[q (r)[ = sup
x2B
G
[1 (r)[ _ sup
x2B
E
[1 (r)[ = |1|
o que prova que |1| = |q| .
Demonstraremos agora a verso generalizada do Teorema de Hanh-Banach.
Teorema 2.2.3 (Hahn-Banach (caso complexo)) Seja 1 um espao vetorial sobre
K (R ou C) e j : 1 R uma aplicao que satisfaz
j (cr) = [c[ j (r) para todo c K e todo r 1
e
j (r + ) _ j (r) + j () para quaisquer r. 1.
Se G _ 1 e q : G K uma aplicao linear tal que
[q (r)[ _ j (r) para todo r em G. (2.2)
ento existe um funcional linear 1 : 1 K que estende q e que satisfaz
[1 (r)[ _ j (r) jc:c todo r c: 1.
37
2.2. O TEOREMA DE HAHN-BANACH
Demonstrao:
Armao 1: j (r) _ 0. \r 1. De fato, primeiro veja que
0 = j (0) = j (0 + 0) _ 2j (0) .
e portanto j (0) _ 0. Por outro lado, como j (r) = j (r) ento
2j (r) = j (r) + j (r) _ j (r r) = j (0) _ 0
donde j (r) _ 0.
Se 1 um espao vetorial real, de (2.2), temos que q (r) _ j (r) . \r G. Logo, pelo
Teorema de Hahn-Banach (caso real) para espaos vetoriais reais, existe 1 : 1 R
que estende q tal que
1 (r) _ j (r) . \r 1.
Como
1 (r) = 1 (r) _ j (r) = j (r)
segue que
1 (r) _ j (r) .
donde
[1 (r)[ _ j (r) . \r 1.
Seja agora 1 um espao vetorial sobre C. Ento, podemos considerar
q (r) = q
1
(r) + iq
2
(r) .
onde q
1
e q
2
so funcionais lineares sobre R. Como artifcio, no momento, restringiremos
1 e G como espaos vetoriais sobre R, que denotaremos, respectivamente, por 1
R
e G
R
.
Como
q
1
(r) _ [q (r)[ _ j (r) . \r G
R
.
oTeorema de Hahn-Banach (caso real) garante a existncia de 1
1
: 1
R
R linear que
estende q
1
e tal que
1
1
(r) _ j (r) . \G
R
.
Agora, note que
r G = i [q
1
(r) + iq
2
(r)] = iq (r) = q (ir) = q
1
(ir) + iq
2
(ir)
= q
2
(r) + iq
1
(r) = q
1
(ir) + iq
2
(ir) .
e portanto
r G = q
2
(r) = q
1
(ir) . (2.3)
Dessa forma, dena 1 : 1 C pondo
1 (r) = 1
1
(r) i1
1
(ir) . (2.4)
38
2.2. O TEOREMA DE HAHN-BANACH
De (2.3) e (2.4) segue que
1 (r) = q
1
(r) iq (ir) = q
1
(r) + i [q
2
(r)] = q (r) . \r G.
Mostraremos que 1 um funcional linear em 1
C
. Com efeito, veja que
1 ( + (c + i/) r) = 1
1
( + (c + i/) r) i1
1
( + i (c + i/) r)
= 1
1
() + 1
1
(cr + i/r) i1 () i1
1
(icr /r)
= c1
1
(r) + /1
1
(ir) i [c1
1
(ir) /1
1
(r)] + [1
1
() i1
1
()]
= (c + i/) [1
1
(r) i1
1
(ir)] + 1 ()
= (c + i/) 1 (r) + 1 () .
Por m, provaremos que [1 (r)[ _ j (r) para todo r em 1. O caso 1 (r) = 0 imediato,
pois j (r) _ 0. Suponha ento 1 (r) ,= 0. Assim
1 (r) = [1 (r)[ c
i
= [1 (r)[ = c
i
1 (r) = 1
_
c
i
r
_
.
Como [1 (r)[ real, vale
[1 (r)[ = 1
_
c
i
r
_
= 1
1
_
c
i
r
_
_ j
_
c
i
r
_
=

c
i

j (r) = j (r) .

O mais natural agora, apresentarmos um corolrio que generalize o Corolrio 2.2.2


para o caso complexo.
Corolrio 2.2.4 Seja G um subespao de um espao vetorial normado 1 e seja
q : G K um funcional linear contnuo. Ento existe um funcional linear contnuo
1 : 1 K que estende q e |1| = |q|.
Demonstrao: Considere j : 1 K pondo j (r) = |q| |r| . Veja que j satisfaz
j ((c + i/) r) = |q| |(c + i/) r| = [c + i/[ |q| |r| = [c + i/[ j (r)
e
j (r + ) = |q| |r + | _ |q| |r| +|q| || = j (r) + j () .
Veja tambm que
[q (r)[ _ |q| |r| = j (r) . \r G.
Logo, por Teorema de Hahn-Banach (caso complexo), existe 1 : 1 K linear, que
estende q satisfazendo [1 (r)[ _ j (r) . \r 1.
Armao 1: 1 contnuo. De fato, observe que
r 1 = [1 (r)[ _ j (r) = |q| |r| = |1| _ |q| < .
Armao 2: |1| = |q|. Com efeito, basta observarmos que
|1| = sup
x2B
E
[1 (r)[ _ sup
x2B
G
[1 (r)[ = sup
x2B
G
[q (r)[ = |q| .

39
2.2. O TEOREMA DE HAHN-BANACH
Corolrio 2.2.5 Seja 1 um espao vetorial normado. Dado r
0
1 0 . existe
, 1
0
tal que |,| = 1 e ,(r
0
) = |r
0
| .
Demonstrao: Seja j : 1 R dada por j (r) = |r| . Note que j satisfaz
j (cr) = [c[ j (r) . \c 0
e
j (r + ) = |r + | _ |r |+| | = j (r) + j () .
Considere q : [r
0
] K dada por q (tr
0
) = t |r
0
| e veja que
[q (tr
0
)[ = [t[ |r
0
| = |tr
0
| .
Logo, pelo Teorema de Hahn-Banach, existe um funcional linear , : 1 K que estende
q, tal que
[,(r)[ _ j (r) = |r| . \r 1.
Por m, como
|,| = sup
kxk1
[,(r)[ _ sup
kxk1
j (r) = sup
kxk1
|r| = 1
e
|,| _

,
_
r
0
|r
0
|
_

q
_
r
0
|r
0
|
_

= 1.
temos o resultado.
Corolrio 2.2.6 Seja 1 um evn no trivial. Mostre que, para todo r em 1 vale
|r| = sup [,(r)[ ; , 1
0
com |,| _ 1 .
onde o supremo atingido.
Demonstrao: Se r = 0 o resultado claro. Suponha ento r ,= 0. Como
sup [,(r)[ _ sup |,| |r| . \, 1
0
.
segue que
sup
'2B
E
0
[,(r)[ _ sup
'2B
E
0
|,| |r| = |r| . (2.5)
Por outro lado, dena ,
0
: [r] R, pondo ,
0
(`r) = `|r|. Assim
[,
0
(r)[ = |r| = sup
kxk1
[,
0
(r)[ = sup
kxk1
|r| = 1.
Dessa forma, o Teorema de Hahn-Banach garante a existncia de ,
1
1
0
que estende
,
0
tal que |,
1
| = |,
0
| = 1. Logo, fazendo ` = 1, obtemos
,
0
(r) = |r| = |,
1
| _ sup [,(r)[ ; , 1
0
com |,| _ 1 (2.6)
De (2.5) e (2.6) segue que
|r| = sup [,(r)[ ; , 1
0
co: |,| _ 1 .
e o resultado segue.
40
2.3. ALGUMAS APLICAES EM ESPAOS SEPARVEIS
2.3 Algumas aplicaes em espaos separveis
Nesta seo, iremos aplicar o Teorema de Hahn-Banach na construo de dois
resultados envolvendo espaos separveis. Antes desses resultados, precisamos da
seguinte proposio.
Proposio 2.3.1 Sejam 1 um evn, ` um subespao fechado de 1,
0
1` e
d = di:t (
0
. `). Ento existe , 1
0
tal que |,| = 1, ,(
0
) = d e ,(r) = 0. \r `.
Demonstrao: Seja ` = ` + [
0
]. Se . `, ento
. = r + c
0
.
com c K e r `. Dena ,
0
: ` K pondo ,
0
(r + c
0
) = cd. Armamos que ,
0
linear. Com efeito, para .
1
. .
2
` e ` K temos
,
0
(.
1
+ `.
2
) = ,
0
((r
1
+ c
1

0
) + `(r
2
+ c
2

0
))
= ,
0
((r
1
+ `r
2
) + (c
1
+ `c
2
)
0
)
= (c
1
+ `c
2
) d
= c
1
d + `c
2
d = ,
0
(.
1
) + `,
0
(.
2
) .
Veja ainda que ,
0
(`) = 0 e que ,
0
(
0
) = d. Mostraremos agora que |,
0
| = 1.
Para tanto, seja . = r + c
0
e observemos que, se c ,= 0 ento
|.| = |r + c
0
| = [c[
_
_
_
_
r
c

0
_
_
_
_
_ [c[ d = [,
0
(.)[
e, se c = 0 ento
|.| = |r| _ 0 = 0 d = [,
0
(.)[ .
Logo
|,
0
| = sup
kzk1
[,
0
(.)[ = sup
kzk1
|.| = 1.
Como d = di:t (
0
. `) . por propriedade de nmo, dado 0 existe r
"
` tal que
d _ |
0
r
"
| _ d + .
Seja .
"
=
y
0
x"
ky
0
x"k
. Ento .
"
`, |.
"
| = 1 e
|,
0
| _ [,
0
(.
"
)[ =
d
|
0
r
"
|
_
d
d +
.
donde |,
0
| _ 1. e portanto |,
0
| = 1. Pelo Teorema de Hahn-Banach, existe , 1
0
que estende ,
0
e tal que |,| = |,
0
| . O resultado segue.
41
2.3. ALGUMAS APLICAES EM ESPAOS SEPARVEIS
Teorema 2.3.2 Se 1
0
for separvel, ento 1 tambm separvel.
Demonstrao: Visto que 1
0
separvel, a Proposio 1.4.8 garante a separabilidade
de o
E
0 = , 1
0
; |,| = 1. Seja ento ,
n
; : N o
E
0 denso e enumervel. Logo
|,
n
| = sup
x2S
E
[,
n
(r)[ = 1
para cada : N. Dessa forma, para cada :, existe r
n
o
E
de modo que
[,
n
(r
n
)[ _
1
2
.
Seja ` = [r
1
. r
2
. . . .]. Vamos provar que ` = 1.
Suponhamos por absurdo que ` ,= 1. Seja ento
0
1`. Pela proposio (2.3.1),
existe , 1
0
com |,| = 1 tal que
,(
0
) = d := di:t (
0
. `) e ,(r) = 0. \r `.
Dessa forma
|, ,
n
| = sup
kxk1
[(, ,
n
) (r)[ _ [(, ,
n
) (r
n
)[ = [,(r
n
) ,
n
(r
n
)[ = [,
n
(r
n
)[ _
1
2
.
que absurdo pois ,
n
; : N denso em o
E
0 . Assim ` = 1 e portanto, o conjunto
_
r =
n

i=1
c
i
r
i
; : N e c
i
Q
_
(no caso real)
ou o conjunto
_
r =
n

j=1
(c
j
+ i/
j
) r
j
; : N e c
i
. /
j
Q
_
(no caso complexo)
enumervel e denso em 1. O resultado segue.
Observao 2.3.3 A recproca do teorema anterior no vale, pois |
1
separvel e |
1
no , entretanto |
1
= (|
1
)
0
. Para uma demonstrao detalhada do ltimo fato, veja
([9, pg. 40]).
Teorema 2.3.4 Todo evn separvel isometricamente isomorfo a um subespao de |
1
.
Demonstrao: Sejam 1 um evn separvel e 1 = r
n
; : N um subconjunto
denso em 1. Observe que podemos supor 0 , 1. Assim, pelo Corolrio 2.2.5, para cada
: N, existe ,
n
1
0
tal que |,
n
| = 1 e ,
n
(r
n
) = |r
n
| .
Dena a seguinte aplicao
1 : 1 |
1
r (,
n
(r))
1
n=1
.
42
2.3. ALGUMAS APLICAES EM ESPAOS SEPARVEIS
Como
[,
n
(r)[ _ |,
n
| |r| = |r| .
segue que 1 est bem denida, visto que (,
n
(r))
1
n=1
|
1
. Da linearidade de cada ,
n
.
temos que 1 linear. Temos ainda que
|1 (r)| = sup [,
n
(r)[ ; : N _ |r| . (2.7)
donde 1 contnua. Por outro lado, veja que
|1 (r
k
)| = sup [,
n
(r
k
)[ ; : N _ [,
n
(r
k
)[ = |r
k
| . (2.8)
Segue de (2.7) e (2.8) que, para cada /.
|1 (r
k
) |=| r
k
| . (2.9)
Visto que 1 = r
n
; : N denso em 1. dado r 1 existe (r
n
)
1
k=1
em 1 de modo
que r
n
r. donde |r
n
| |r|. Como 1 contnua, segue que 1 (r
k
) 1 (r) e
portanto |1 (r
k
)| |1 (r)| . Dessa forma, de (2.9) conclumos que |1 (r)| = |r|
para todo r 1. Isso mostra que 1 injetiva, e consequentemente, 1 : 1 1 (1)
uma isometria.
43
Indicao de estudos
O Teorema de Hahn-Banach, tambm formulado como teorema de separao e
teorema de extenso, um teorema cuja forma particularmente apropriado para
aplicaes em problemas lineares. Na Anlise Funcional podemos aplic-lo em:
Dualidade.
O Teorema Integral de Cauchy para funes analticas vetoriais.
Critrio de Helly para resolver sistemas de equaes lineares em espaos normados
reexivos.
E, se o estendermos para alm da anlise funcional, encontraremos aplicaes como:
A prova da existncia de funes de Green;
Soluo de Banach do problema "fcil"de medida;
Aplicao de programaes convexas;
Aplicao para teoria de jogos;
A formulao da termodinmica;
O estudo do teorema de Hahn-Banach um "tesouro"para o desenvolvimento de
outros teoremas importantes. Alguns desses desenvolvimentos recentes incluem:
Plewnia [1993]: Em vez de um subespao linear de um espao real A.
Seja C um subconjunto no-vazio convexo de A. Seja j : A R uma funo
convexa e deixe , : C R uma funo cncava com ,(r) _ j(r) em C. Ento
existe uma linear funo q : A R e uma constante real a tal que q(r)+c _ j(r).
jc:c r A e ,(r) _ j(r) + c. jc:c r C.
Ruan [1992]: Um teorema de Hahn-Banach para bisublineares funcionais.
Ding [1992]: Algumas condies para um espao no-localmente convexo, como o
|
p
, 0 < j < 1, para ter a propriedade de extenso Hahn-Banach.
44
2.3. ALGUMAS APLICAES EM ESPAOS SEPARVEIS
Burgin [1991]: Usando a anlise fora do padro, um anlogo do teorema de Hahn-
Banach para obteno de "hiperfuncionais".
Su [1990]: Um teorema de Hahn-Banach para uma classe de funcionais lineares
em espaos normados probabilsticas.
E o melhor de tudo, ainda no se tem uma idia se as descobertas extraidas desse
teorema se esgotaro.
45
Referncias Bibliogrcas
[1] AGUIAR, T. dos S. Uma Introduo Anlise Funcional: O Teorema de
Hahn-Banach. Ilhus: UESC, 2008. (Monograa de Graduao)
[2] COELHO, F. U. LOURENO, M. L. Um Curso de lgebra Linear. So Paulo:
Edusp, 2007.
[3] FIORENTINI, D.; LORENZATO, S. Processo de Coleta de Informaes e de
Constituio do Material de Estudo. In:______. Investigao em Educao
Matemtica: percursos tericos e metodolgicos. Campinas: So Paulo, 2006. p.
101 131.(Coleo Formao de Professores).
[4] KREYSZIG, E. Introductory Functional Analysis With Applications. Dlhi:
Wiley Classics Library, 1989.
[5] LIMA, E. L. Curso de Anlise vol. 1. Rio de Janeiro: IMPA, 2011. (Coleo
Projeto Euclides)
[6] LIMA, E. L. Espaos Mtricos. Rio de Janeiro: IMPA, 2007. (Coleo Projeto
Euclides)
[7] NARICI, L.; BECKENSTEIN, E. The Hahn-Banach Theorem: The Life and
Times. Nova York: St. Johns University, 2002.
[8] OLIVEIRA, C. R. Introduo Anlise Funcional. Rio de Janeiro: IMPA, 2010.
(Coleo Projeto Euclides)
[9] PELLEGRINO, D. M. Notas de Aula de Introduo Anlise Funcional.
Joo Pessoa: UFPB, 2008.
46