Professional Documents
Culture Documents
Daniel Pellegrino
Departamento de Matematica, UFPB, Joao Pessoa, PB
e-mail: dmpellegrino@gmail.com
Outubro, 2007
Sum
ario
1 Introdu
c
ao
2 Espa
cos vetoriais normados e operadores lineares
2.1 Espacos vetoriais normados . . . . . . . . . . . . . . . . . . . .
2.2 Operadores lineares . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Conjuntos compactos em espacos vetoriais normados . . . . . .
2.3.1 Comentarios e curiosidades . . . . . . . . . . . . . . . .
2.4 Primeiros exemplos de espacos de Banach de dimensao infinita:
2.5 Espacos normados de funcoes . . . . . . . . . . . . . . . . . . .
2.5.1 Os espacos Lp (X, , ) . . . . . . . . . . . . . . . . . . .
2.5.2 O espaco L (X, , ) . . . . . . . . . . . . . . . . . . .
2.6 Completamento de espacos normados . . . . . . . . . . . . . . .
2.7 Series em espacos vetoriais normados . . . . . . . . . . . . . . .
2.7.1 Comentarios e curiosidades sobre series. . . . . . . . . .
2.8 Bases de Schauder . . . . . . . . . . . . . . . . . . . . . . . . .
2.8.1 Comentarios e curiosidades sobre bases de Schauder . .
2.8.2 Nota historica . . . . . . . . . . . . . . . . . . . . . . . .
2.9 Caracterizacao do dual de lp . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
espacos de sequencias
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
6
9
12
13
18
21
23
26
29
30
32
35
35
35
3 Espa
cos com produto interno
3.1 Resultados preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.1 Nota historica sobre a Desigualdade de Cauchy-Bunyakovskii-Schwarz
3.2 Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Conjuntos ortonormais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4 Processo de ortogonalizacao e suas consequencias . . . . . . . . . . . . . . . .
3.4.1 Nota historica sobre o Processo de Gram-Schmidt . . . . . . . . . . .
3.5 O Teorema de Riesz-Frechet . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6 Operadores auto-adjuntos em espacos de Hilbert . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
42
42
45
49
53
53
54
4 Resultados cl
assicos da An
alise Funcional e suas consequ
encias
4.1 Teoremas de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.1 Aplicacoes do Teorema de Hahn Banach para espacos separaveis
4.1.2 Formas geometricas do Teorema de Hahn-Banach . . . . . . . . .
4.1.3 Possveis generalizacoes do Teorema de Hahn-Banach . . . . . .
4.2 O Teorema de Banach-Steinhaus . . . . . . . . . . . . . . . . . . . . . .
4.2.1 Nota historica . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 O Teorema da Aplicacao Aberta . . . . . . . . . . . . . . . . . . . . . .
4.4 O Teorema do Grafico Fechado . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
58
58
63
65
71
72
74
74
78
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
80
80
84
86
87
.
.
.
.
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
de Goldstine e
. . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
caracterizacao de espacos
. . . . . . . . . . . . . . .
94
98
. 98
. 105
. 110
. 112
8 Ap
endice 0: Axioma da Escolha e Lema de Zorn
9 Ap
endice I: No
c
oes de Topologia Geral
9.1 O Teorema de Baire . . . . . . . . . . .
9.2 Espacos topologicos . . . . . . . . . . .
9.2.1 Vizinhancas . . . . . . . . . . . .
9.2.2 Funcoes contnuas . . . . . . . .
9.2.3 Subespacos e topologia relativa .
9.2.4 Topologia produto . . . . . . . .
9.2.5 Redes . . . . . . . . . . . . . . .
9.2.6 Filtros . . . . . . . . . . . . . . .
9.2.7 O Teorema de Tychonoff . . . . .
90
90
92
115
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
117
117
119
121
126
127
128
130
133
139
10 Ap
endice II: No
c
oes de Teoria da Medida
10.1 Espacos mensuraveis . . . . . . . . . . . . .
10.2 Funcoes Mensuraveis . . . . . . . . . . . . .
10.3 Sequencias de Funcoes Mensuraveis . . . . .
10.4 Espacos de Medida . . . . . . . . . . . . . .
10.5 Funcoes simples e integracao . . . . . . . .
10.6 Integracao de funcoes positivas . . . . . . .
10.7 Integracao de funcoes reais . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
140
140
142
144
147
149
153
158
.
.
.
.
.
.
.
.
.
Captulo 1
Introduc
ao
A Analise Funcional, assim como a topologia, nasceu nas primeiras decadas do seculo 20, trazendo o
amadurecimento de certos conceitos, como convergencia e continuidade em objetos mais abstratos que
n
umeros. Nesse perodo, a caracterizacao de duais (espacos de funcionais lineares contnuos) colaborou
com o surgimento de alguns conceitos que foram formalizados em linguagem moderna com o livro
de Banach em 1932 ([3]). Desde entao a Analise Funcional evoluiu bastante e com o concomitante
desenvolvimento da Topologia Geral, tem se ramificado para espacos vetoriais nao necessariamente
normados e caminhos nao lineares.
Esse texto e baseado em notas de aula de cursos ministrados, por mim, em cursos de pos-graduacao
na Unicamp, UFCG e UFPB. A sequencia do curso e um pouco inspirada em [11] e em notas de aula
do Professor J. Mujica [18]. Outras boas referencias sao [6] e [2] e [16]. Nossa intencao e que o texto
seja o mais auto-suficiente possvel e, por isso, em seu final, acrescentamos tres apendices (adaptados
de nossas notas de aula de Topologia Geral [20] e Teoria da Medida) com definicoes e resultados
importantes de teoria de conjuntos, topologia e medida, que sao necessarios nesse curso. A leitura
do(s) apendice(s) nao e indispensavel e o leitor mais preguicoso podera evitar certas abstracoes sem
grandes prejuzos.
E o mais importante: esse texto esta em construcao e em constante aperfeicoamento e, por isso,
alguns deslizes talvez sejam encontrados pelo caminho. Sugestoes e/ou correcoes sao bem vindas.
Captulo 2
Seja E um espaco vetorial sobre um corpo K, que denotara R ou C (os elementos de K sao chamados
de escalares). Uma funcao
k.k : E R
e uma norma se as seguintes propriedades ocorrerem:
(N1) kxk 0 para todo x em E e kxk = 0 x = 0.
(N2) kxk = || kxk para todo escalar e todo x em E.
(N3) kx + yk kxk + kyk para quaisquer x e y em E.
Um espaco vetorial munido de uma norma sera chamado de espa
co vetorial normado (evn).
Um evn pode ser sempre considerado como um espaco metrico, com a metrica dada por
d(x, y) = kx yk .
(2.1)
Exemplo 2.1.1 A reta R e um espaco vetorial normado, com kxk = |x| . Em geral, Rn com a norma
1
(euclidiana) kxk = (x21 + + x2n ) 2 e um espaco vetorial normado (a demonstrac
ao da desiguladade
triangular n
ao e imediata). Mais adiante veremos exemplos mais elaborados.
Um evn E e chamado espa
co de Banach quando for um espaco metrico completo, com a metrica
induzida pela norma. Veremos adiante que todo espaco vetorial normado de dimensao finita e completo.
O proximo resultado e a chave desse e de varios outros resultados importantes:
Lema 2.1.2 Para um conjunto {x1 , ..., xn }, linearmente independente, de vetores em um espaco
vetorial normado E, existe um n
umero real positivo c tal que para qualquer escolha de escalares
a1 , ..., an , temos
ka1 x1 + + an xn k c (|a1 | + + |an |)
(2.2)
Demonstracao. Se |a1 | + + |an | = 0 nao ha o que demonstrar. Suponhamos |a1 | + + |an | > 0.
Entao mostrar (2.2) equivale a mostrar que existe c > 0 tal que
kd1 x1 + + dn xn k c,
para quaisquer dj da forma
dj =
(2.3)
aj
.
|a1 | + + |an |
Portanto, para mostrar (2.2) basta mostrar que (2.3) vale, com
n
X
|dj | = 1.
j=1
Suponha que isso nao aconteca. Entao, existe uma sequencia (ym ) de elementos de E,
ym =
n
X
(m)
bj
xj
j=1
X
(m)
bj = 1
j=1
tal que
lim kym k = 0.
Como
(2.4)
X
(m)
(m)
bj = 1, temos bj 1 para cada j e cada m. Entao, para cada j = 1, ..., n fixo, a
j=1
sequencia
(m)
)m=1
(bj
(1)
(2)
= (bj , bj , ...)
(m)
encia convergente.
e limitada. Pelo Teorema de Bolzano-Weierstrass, (b1 )
m=1 possui uma subsequ
Seja b1 o limite dessa subsequencia. Seja (y1,m ) a subsequencia correspondente de (ym ). Usando
o mesmo argumento, (y1,m ) possui uma subsequencia (y2,m ) para a qual a sequencia correspondente
(m)
os n etapas, obtemos uma subsequencia
(b2 )
m=1 converge. Procedendo dessa forma, ap
yn,m =
n
X
(m)
cj
xj
j=1
com
X
(m)
cj = 1
j=1
Assim
lim yn,m =
com
n
X
j=1
= bj .
n
X
bj xj ,
j=1
X
(m)
|bj | = lim
cj = 1.
m
j=1
Portanto nem todos os bj sao nulos e como {x1 , ..., xn } e LI, segue que
n
X
y :=
bj xj 6= 0.
j=1
Como limm yn,m = y, segue que limm kyn,m k = kyk . Por (2.4), kym k 0, e como (yn,m ) e
subsequencia de (ym ), temos que
lim kyn,m k = 0.
m
2.2
Operadores lineares
kT (x)k
x
=
T
(
)
kxk kT k .
kxk
Logo, se x1 , x2 X, temos kT (x1 ) T (x2 )k = kT (x1 x2 )k kT k kx1 x2 k e segue a continuidade
(uniforme) de T.
ao finita e contnuo.
Corol
ario 2.2.2 Todo operador linear cujo domnio tem dimens
Demonstracao. Seja F um espaco vetorial normado qualquer e seja E um espaco vetorial normado
de dimensao n, com B = {e1 , ..., en } uma base de E. Se T : E F e linear, temos, pelo Lema 2.1.2,
que existe c > 0 tal que
kT (x)k max kT ej k
1jn
max kT ej k
1jn
n
X
|aj |
j=1
1
kxk ,
c
para todo x =
n
X
aj ej E. Pela Proposicao 2.2.1, segue que T e contnuo.
j=1
Duas normas kk1 e kk2 em um espaco vetorial E sao ditas equivalentes se existirem constantes
positivas c1 e c2 tais que
c1 kxk1 kxk2 c2 kxk1 x E.
Como sera visto a seguir, como consequencia do corolario anterior, conclui-se facilmente que
em espacos vetoriais de dimensao finita, quaisquer normas sao equivalentes. Entretanto, veremos
posteriormente que para espacos de dimensao infinita podem existir normas que nao sao equivalentes.
Se uma transformacao linear T : D(T ) Y for injetiva, entao faz sentido definir T 1 : R(T )
D(T ) por T 1 (y) = x se y = T (x). A funcao T 1 e chamada inversa de T .
Corol
ario 2.2.3 Se E e um espaco vetorial normado de dimens
ao finita, quaisquer duas normas s
ao
equivalentes.
Demonstracao. Se k.k1 e k.k2 sao normas em E, considere a aplicacao identidade
id : (E, k.k1 ) (E, k.k2 ).
Como id e bijetiva e como o domnio e o contradomnio tem dimensao finita, temos que id e id1
sao contnuas, e o resultado segue.
Dizemos que dois espacos vetoriais normados E e F sao topologicamente isomorfos se existir
uma transformacao linear T : E F contnua, com inversa contnua (chamada de isomorfismo).
A seguir veremos que espacos vetoriais normados sobre um corpo K, com mesma dimensao finita,
sao topologicamente isomorfos. Nesse texto, por simplicidade, escreveremos isomorfos ao inves de
topologicamente isomorfos. Quando o isomorfismo for tal que kT (x)k = kxk para todo x, diremos que
os espacos vetoriais sao isometricamente isomorfos.
Corol
ario 2.2.4 Se n N, E e F s
ao espacos vetoriais normados sobre um corpo K, com dim E =
dim F = n, ent
ao E e F s
ao topologicamente isomorfos.
Demonstracao. Sejam B = {e1 , ..., en } e C = {f1 , ..., fn } bases de E e F , respectivamente. Defina
T :EF
linear, levando ej em fj , para cada j = 1, ..., n. Assim, T e bijetiva e como o domnio e o contradomnio
tem dimensao finita, segue que tanto T quanto T 1 sao contnuas.
Corol
ario 2.2.5 Todo espaco vetorial de dimens
ao finita (sobre o corpo K) e um espaco de Banach.
Demonstracao. De fato, todo espaco de dimensao finita (sobre K) e isomorfo a Kn , que e completo.
O resultado segue facilmente.
ao finita de um espaco normado e fechado.
Corol
ario 2.2.6 Todo subespaco de dimens
Demonstracao. Com efeito, sendo completo e tambem fechado.
Se E e F sao evn, o espaco vetorial formado pelos operadores lineares contnuos de E em F e
denotado por L(E; F ). O dual alg
ebrico de um espaco vetorial normado E e o conjunto L(E; K) e
o dual topol
ogico de E e o conjunto L(E; K), tembem denotado por E 0 . Estaremos principalmente
interessados em duais topologicos. Posteriormente veremos caracterizacoes de duais (topologicos) de
certos espacos de Banach.
8
E
Ker()
' Im
rx0
= r.
|(x0 )|
Da
rx0
|(x0 )|
= rei
rx0 ei()
0 ei()
Como rx|(x
1, segue que
0 )|
{|(x)| ; x E e kxk 1} = C.
Exerccio 2.2.10 Sejam E um evn, F um espaco de Banach e G um subespaco de E. Se f : G F
e linear e contnua, mostre que existe uma u
nica extens
ao linear contnua de f ao fecho de G. Alem
disso, a norma da extens
ao e a mesma. Sugest
ao: [11, Theorem 2.7.11].
Exerccio 2.2.11 Se T : D(T ) Y e um operador linear, mostre que R(T ) e um subespaco vetorial
de Y .
Exerccio 2.2.12 Sejam X e Y espacos vetoriais, ambos sobre K. Considere T : D(T ) Y um
operador linear com D(T ) X e imagem R(T ) Y.
(a) Mostre que a inversa T 1 : R(T ) D(T ) existe se e somente se
T x = 0 x = 0.
(b) Mostre que se T 1 existe, ent
ao e linear.
Exerccio 2.2.13 Sejam E e F evn. Mostre que se T : E F e linear e contnuo, ent
ao
sup kT xk = sup kT xk = sup kT xk .
kxk1
kxk=1
kxk<1
Exerccio 2.2.14 Sejam E e F evn. Mostre que kT k = supkxk1 kT xk e uma norma em L(E; F ).
Exerccio 2.2.15 Sejam E e F evn. Se T L(E; F ) e existe c > 0 tal que
kT xk c kxk para todo x E,
mostre que T 1 existe e e contnua.
9
a
o
na
pr
o
xima
se
c
a
o)
e
T
:
E
E
dada
por
2.3
A compacidade tem comportamentos distintos em dimensoes finita e infinita. Veremos adiante que a
bola unitaria fechada em um espaco vetorial normado de dimensao finita e sempre compacta. Ja em
dimensao infinita, sera provado que a bola nunca e compacta. No decorrer do curso, estudaremos
as topologias fraca e fraca estrela, que terao um otimo papel no sentido de reduzir a quantidade de
abertos, e facilitar o aparecimento de conjuntos compactos.
ao finita, ent
ao os compactos em E
Teorema 2.3.1 Se E e um espaco vetorial normado de dimens
s
ao precisamente os limitados e fechados.
10
Demonstracao. Em espacos metricos os compactos sempre sao fechados e limitados (veja [13]).
Assim, uma das implicacoes e conhecida. Nos resta provar que todo conjunto M E, limitado e
fechado e ainda compacto. Suponha que dim E = n e seja {e1 , ..., en } uma base de E. Como estamos
em espacos metricos, basta mostrar que M e sequencialmente compacto. Seja, portanto, (xm ) uma
(m)
(m)
sequencia em M . Para cada xm , existem escalares a1 , ..., an tais que
xm =
n
X
(m)
a j ej .
j=1
Como M e limitado, e claro que a sequencia (xm ) e limitada, digamos por L > 0. Pelo Lema 2.1.2,
existe c > 0 tal que
X
n (m)
(m)
c
a
L kxm k =
a
e
j
j
j
j=1
j=1
(m)
e uma
para todo m N. Portanto, para cada j {1, ..., n} fixo, a sequencia (aj )
m=1
sequencia limitada de escalares (reais ou complexos). Pelo Teorema de Bolzano-Weierstrass aplicado
(m)
cao do Lema 2.1.2, encontramos uma
a cada sequencia (aj )
m=1 , procedendo como na demonstra
n
X
subsequencia de (xm ) que converge para um certo y =
aj ej . Como M e fechado, segue que y M
j=1
e M e compacto.
Corol
ario 2.3.2 A bola unit
aria fechada em um espaco vetorial normado de dimens
ao finita e
compacta.
A seguir, apresentamos um famoso resultado, devido a F. Riesz, que sera u
til para mostrar que a
bola unitaria fechada em espacos de dimensao infinita nunca e compacta.
Lema 2.3.3 (Lema de Riesz) Seja M um subespaco fechado pr
oprio de um espaco normado E e
seja um n
umero real tal que 0 < < 1. Ent
ao existe y E tal que kyk = 1 e
ky xk
para todo x em M .
Demonstracao. Sejam y0 E r M e
d = dist(y0 , M ) := inf ky0 xk .
xM
Como M e fechado, temos d > 0. De fato, se fosse d = 0, existiria uma sequencia de elementos de M
convergindo para y0 e, como M e fechado, isso contrariaria o fato de ser y0
/ M.
Seja x0 M tal que
d
ky0 x0 k .
Escolha entao
y0 x0
.
y=
ky0 x0 k
claro que y tem norma 1 e, alem disso, para x M , temos
E
y0 x0
ky0 (x0 + ky0 x0 k x)k
ky xk =
x
=
ky0 x0 k
ky0 x0 k
()
d
,
ky0 x0 k
Observa
c
ao 2.3.4 Mais adiante, veremos que a conclus
ao do Lema de Riesz, em geral, n
ao vale para
= 1.
Teorema 2.3.5 Um espaco vetorial normado tem dimens
ao finita se, e somente se, a bola unit
aria
fechada e compacta.
Demonstracao. O Corolario 2.3.2 garante uma das direcoes. Resta-nos provar que se a bola e
compacta, entao o espaco tem dimensao finita. Suponha que E tenha dimensao infinita.
Escolha x1 E com norma 1. Como dim E = , temos que [x1 ] e um subespaco proprio fechado
de E. Pelo Lema de Riesz, existe x2 E r [x1 ], unitario, tal que
kx2 x1 k =
1
.
2
1
, para j = 1, 2.
2
Procedendo dessa forma, construimos uma sequencia (xn ) de vetores unitarios de E tal que
kxm xn k
1
2
sempre que m 6= n. Assim, (xn ) e uma sequencia em BE que nao possui subsequencia convergente, o
que impede que BE seja compacta.
ogicos, em geral, os compactos n
ao s
ao necessariamente
Exerccio 2.3.6 Mostre que em espacos topol
fechados
Exerccio 2.3.7 Sejam E um espaco vetorial normado de dimens
ao finita e M um subespaco pr
oprio
de E. Mostre que existe y E com kyk = 1 e
ky xk 1
para todo x M .
Solucao. Pelo Lema de Riesz, para cada n N, existe yn E com kyn k = 1 tal que
kyn xk 1
1
para todo x M.
n
Como a esfera unitaria (em dimensao finita) e compacta (sequencialmente compacta), a sequencia
(yn )n=1 possui uma subsequencia (ynk )k=1 que converge para um certo y0 E com ky0 k = 1. Como
kynk xk 1
1
para todo x M,
nk
2.3.1
Coment
arios e curiosidades
Diz-se que um operador linear contnuo T : E F atinge a norma quando existe x E com norma
1 tal que kT xk = kT k . Um resultado delicado, conhecido como Teorema de Bishop-Phelps garante
que se E e F sao espacos normados (sobre os reais), o conjunto dos funcionais lineares contnuos que
atingem a norma e denso em E 0 . No mesmo artigo em que provaram seu resultado fundamental, Bishop
e Phelps especularam sobre uma possvel extensao desses resultados para operadores lineares:
Se X e Y sao espacos de Banach, sera que o conjunto dos operadores lineares T : X Y que
atingem a norma e denso em L(X; Y )?
Em 1963, J. Lindenstrauss [15] mostrou que isso nao e verdadeiro em geral, mas em alguns casos
particulares sim. A seguir, La (X, Y ) denota o conjunto dos operadores lineares contnuos T : X Y
que atingem a norma.
Como a pergunta original de Bishop e Phelps era muito abrangente, para que uma investigac
ao
mais criteriosa pudesse ser feita, em [15] foram definidas as seguintes propriedades para espacos de
Banach X:
A. Para todo espaco de Banach Y , La (X, Y ) e denso (em norma) em L (X, Y ) .
B. Para todo espaco de Banach Y , La (Y, X) e denso (em norma) em L (Y, X) .
Note que o Teorema de Bishop-Phelps diz que R tem a propriedade B.
demonstrado que existem espacos de Banach que nao possuem a propriedade B.
Uma boa monografia em portugues sobre o assunto e [9].
13
Recentemente, foi
2.4
Nessa secao, introduziremos alguns espacos de sequencias, chamados espacos lp . Para tanto, precisamos
de alguns resultados tecnicos:
Teorema 2.4.1 (Desigualdade de H
older) Sejam n N, p, q > 1 tais que
n
P
j=1
|j j |
n
P
j=1
! p1
|j |
1
p
1
q
= 1. Ent
ao
! q1
n
P
j=1
|j |
a p .b q
a b
+ .
p q
(2.5)
Considere, para cada 0 < < 1, a funcao f : (0, ) R dada por f (t) = t t. Temos
f 0 (t) = t1 = (t1 1).
Logo
f 0 (t) > 0 se 0 < t < 1
f 0 (t) < 0 se t > 1
e f tem um maximo em t = 1. Portanto
f (t) f (1)
para todo t > 0 e
Fazendo t =
a
b
t t + (1 ).
e = p1 , temos
1a
1
+ 1
.
b
pb
p
Multiplicando a desigualdade acima por b, obtemos
a p1
a p b1 p
a b
+ ,
p q
k=1
k=1
k=1
|k | 6= 0.
Basta usar (2.5) com
|j |
|j |
aj = P
e bj = P
.
n
n
p
q
|k |
|k |
k=1
Entao
n
P
k=1
|k |
k=1
|j | |j |
p1 n
P
p
aj
bj
q1 p + q
q
|k |
k=1
n
P
p1
|k + k |
k=1
n
P
|k |
p1
k=1
n
P
|k |
p1
k=1
n
P
p1
(|k | + |k |)
k=1
O caso em que
n
P
n
P
|k |
p1
+
k=1
n
P
|k |
p1
.
k=1
n
P
k=1
(|k | + |k |) 6= 0.
k=1
p1
= |k | (|k | + |k |)
p1
+ |k | (|k | + |k |)
n
P
p1
|k | (|k | + |k |)
k=1
n
P
|k |
k=1
n
P
|k |
p1
p1
k=1
n
P
(p1)q
(2.6)
(|k | + |k |)
k=1
n
P
q1
q1
(|k | + |k |)
k=1
n
P
|k | (|k | + |k |)
p1
n
P
p1
|k |
k=1
k=1
n
P
(|k | + |k |)
q1
.
(2.7)
k=1
(|k | + |k |)
k=1
n
P
|k |
p1
k=1
n
P
k=1
n
P
q1
(|k | + |k |)
k=1
(|k | + |k |)
n
P
|k |
p1
k=1
1 q1
n
P
|k |
k=1
p1
n
P
q1
(|k | + |k |)
k=1
n
P
|k |
p1
.
k=1
Para cada n
umero real p, com 1 p < , definimos
(
)
N P
lp = (xj )j=1 K ;
|xj | < .
j=1
Proposi
c
ao 2.4.3 Se 1 p < , lp e um espaco vetorial (com as operaco
es naturais de soma e
! p1
P
p
e uma norma em lp .
multiplicac
ao por escalar) e a func
ao k.kp dada por (xj )
|xj |
j=1 p =
j=1
15
p1
X
p
kxn xm k =
|nj mj | |nj mj |
j=1
e
uma
sequ
e
ncia
de
Cauchy no corpo de escalares K. Como K e completo, para cada j, o
n=1
limite da sequencia (nj )
existe,
e sera denotado por j .
n=1
Seja x = (j )
.
Vamos
mostrar
que x pertence a lp e que (xn )
n=1 converge para x.
j=1
Dado > 0, existe n0 natural, tal que
kxm xn k
sempre que m, n n0 .
Da, para cada N natural, temos
N
X
p1
p
|mj nj | ,
j=1
sempre que m, n n0 .
Fazendo n , obtemos
p1
N
X
p
|mj j |
j=1
(2.8)
para todo m n0 . Logo xn0 x lp . Como xn0 lp , segue que x lp . De (2.8) e claro que (xn )
n=1
converge para x.
Quando p = , escrevemos l para denotar o espaco das sequencias (de escalares) limitadas.
Precisamente,
N
l = x = (j )j=1 K ; kxk := sup |j | < .
jN
N
c = x = (j )
K
;
lim
<
j
j=1
j
N
c0 = x = (j )
K
;
lim
=
0
j
j=1
j
N
c00 = x = (j )j=1 K ; exite j0 tal que j = 0 para todo j > j0
Mostre que c e c0 s
ao subespacos fechados de l e que c00 e um subespaco de l que n
ao e fechado.
16
Exerccio 2.4.7 Prove que (Kn , k.k ) e isometricamente isomorfo a um subespaco fechado de c0 .
Exerccio 2.4.8 Prove que (Kn , k.kp ) e isometricamente isomorfo a um subespaco fechado de lp , para
cada p com 1 p .
Exerccio 2.4.9 Um espaco metrico M e dito separ
avel se existir D M enumer
avel e denso, isto
e, D = M . Mostre que se 1 p < , lp e separ
avel.
Exerccio 2.4.10 Mostre que se D e um conjunto denso e enumer
avel em um espaco vetorial normado
E 6= {0}, e a D, ent
ao D {a} e denso em E.
Exerccio 2.4.11 Prove que (Kn , k.kp ) e separ
avel.
Exerccio 2.4.12 Prove que todo evn de dimens
ao finita e separ
avel.
ao e separ
avel.
Exerccio 2.4.13 Mostre que l n
Exerccio 2.4.14 Mostre que se E e um espaco de Banach separ
avel, ent
ao a esfera unit
aria SE e
separ
avel.
n
o
x
Solucao. Seja D um conjunto denso e enumeravel em E. Seja D1 = kxk
; x D e x 6= 0} . Vamos
mostrar que D1 e denso em SE . Sejam x0 SE e > 0. Nao ha perda de generalidade em supor
< 12 . Entao, existe x D tal que
kx0 x k < .
2
Entao, claramente x 6= 0 e kxx k D1 . Logo
x0 x = x0 x + x x
kx k
kx k
kx0 x k + x
kx k
kx k
= kx0 x k + 1
kx k
< + |kx k 1|
2
+ kx0 x k
2
.
Observacao: Usando um pouco mais profundamente a teoria de espacos metricos, pode-se provar
algo bastante mais geral: todo subconjunto de um espaco metrico separavel e ainda separavel.
Exerccio 2.4.15 Determine c00 em c0 .
Exerccio 2.4.16 Determine c00 em lp .
Exerccio 2.4.17 Mostre que {e1 , e2 , ...} n
ao e base de Hamel de lp , 1 p .
Exerccio 2.4.18 Se 1 p q , mostre que lp lq e que inc : lp lq e contnua. Encontre o
valor da norma dessa inclus
ao.
17
n
Exerccio 2.4.19 Seja cs = x = (xj )
xj converge .
j=1 K ;
j=1
K
;
sup
x
.
j
n
j=1
j=1
X
n
(a) Mostre que bs e um evn com a norma kxk = supn xj
j=1
(b) Prove que bs e isometricamente isomorfo a l .
n
X
xj
Sugest
ao. (b) Defina f : bs l por f (xj )
e verifique que e linear, bijetiva
j=1 =
j=1
e preserva a norma.
n=1
(2.9)
f , B).
e Portanto, W
f = V.
Mas, (2.9) nao e compatvel com a maximalidade de (W
Exerccio 2.4.22 Seja E um espaco de Banach de dimens
ao infinita. Se D E e um conjunto denso
e enumer
avel, existe A D, LI, com card(A) = card(D).
claro que D e gerador de [D]. Pelo Exerccio 2.4.21, podemos extrair de D uma base,
Solucao. E
que chamaremos de B, para [D]. Se B for finita, temos que [D] tem dimensao finita. Logo [D] e fechado.
Como D e denso, temos D = E e portanto [D] = E. Da segue que
[D] = [D] = E,
e E tera dimensao finita (absurdo). Conclumos, portanto, que B e uma base infinita. Como B D e
D e enumeravel, segue que card(B) = card(D).
18
2.5
Nessa secao, construiremos os exemplos classicos de espacos de Banach cujos vetores sao funcoes.
Proposi
c
ao 2.5.1 Seja X um conjunto n
ao nulo e B(X) o espaco vetorial de todas as funco
es
limitadas f : X K. Ent
ao B(X) e um espaco de Banach com a norma
kf k = sup |f (x)| .
xX
facil ver que k.k e uma norma. Vamos mostrar que B(X) e completo. Seja (fn )
Demonstracao. E
uma sequencia de Cauchy em B(X). Para todo > 0, existe n0 tal que
kfn fm k
para quaisquer m, n n0 . Da, para m, n n0 , temos
|fn (x) fm (x)| kfn fm k
(2.10)
Z1
h(x)dx
0
19
g(x)dx
0
khk .
1 1
Z
h(x)dx
(2.12)
x n dx =
0
1
n
1
1.
+1
Note que de (2.12) usado com as hn nos faz concluir que g(x)dx 1. Por outro lado, como
0
max0x1 |g(x)| = 1 e g(0) = 0, a continuidade de g em zero implica que
1
a p .b q
Tome, em (2.13),
(2.13)
a=
Assim
a b
+ .
p q
q
|f (x)|
|g(x)|
p e b=
q .
kf kp
kgkq
Z
Z
p
kf kp kgkq
|f | d
|f (x)g(x)| d
p kf kp
e o resultado segue.
20
|g| d
+
q kgkq
=1
(2.14)
p1
|f + g| = |f + g| |f + g|
p1
|f | |f + g|
(2.15)
+ |g| |f + g|
p1
p1
|g| |f + g|
p1
X
p
p1 Z
X
(p1)q
|f + g|
|g| d
q1
d
.
|f + g| d
|f | d
|g| d
X
q1
p
|f + g| d
, o resultado segue.
Demonstracao. Exerccio.
Observa
c
ao 2.5.9 O espaco vetorial normado definido acima n
ao e completo. De fato, suponha
a = 0, b = 1 e considere a sequencia
0, se t [0, 1/2]
1, se t [an , 1], an = 12 + n1
fn (t) =
n(t 12 ), se t [1/2, an ].
Note que (fn ) e de Cauchy, mas n
ao converge.
21
Observa
c
ao 2.5.10 Note que k.kp n
ao e uma norma em Lp (X, , ), pois pode acontecer kf kp = 0
para func
oes n
ao identicamente nulas.
2.5.1
Os espacos Lp (X, , )
Nessa secao, por simplicidade, embora valham resultados semelhantes para K = C, admitiremos K = R.
De modo geral, se (X, , ) e um espaco de medida, dizemos que f, g : X R sao equivalentes se
f = g (-qtp). Denotando a classe de equivalencia de uma funcao f por [f ], o conjunto
Lp (X, , ) := {[f ]; f Lp (X, , )}
e um espaco vetorial com as operacoes
[f ] + [g] = [f + g]
c[f ] = [cf ]
e, definindo
k[f ]kLp (X,,) = kf kLp (X,,) ,
nao e difcil notar (usando a Desigualdade de Minkowski) que Lp (X, , ) se torna um espaco vetorial
normado. A seguir, mostraremos que Lp (X, , ) e um espaco de Banach.
ao classes de equivalencia,
Observa
c
ao 2.5.11 Devemos ter em mente que os vetores de Lp (X, , ) s
mas e usual interpretar tais elementos simplesmente como func
oes, e escrever f no lugar de [f ]. A
seguir, esse abuso de notac
ao ser
a rotineiro.
Teorema 2.5.12 Se 1 p < , Lp (X, , ) e um espaco de Banach com a norma
Z
kf kp =
p1
|f | d
.
p
Demonstracao. Ja sabemos que Lp (X, , ) e um evn. Nos resta provar que e um espaco de Banach.
encia de Cauchy em Lp (X, , ).
Seja (fn )
n=1 uma sequ
Entao, dado > 0, existe M = M () tal que
Z
p
p
m, n M
|fn fm | d = kfn fm kp < p .
Seja (gk ) uma subsequencia de (fn ) tal que
kgk+1 gk kp < 2k
para todo k natural.
Considere
g(x) = |g1 (x)| +
(2.16)
k=1
!p
n
X
p
|g(x)| = lim |g1 (x)| +
|gk+1 (x) gk (x)| .
n
k=1
|g1 | +
n
X
k=1
22
!p
|gk+1 gk |
d.
1
p
!
p1
n
X
|g| d
lim inf kg1 kp +
kgk+1 gk kp
p
(2.17)
k=1
kg1 kp + 1.
Entao, definindo E = {x X; g(x) < } , de (2.17) podemos concluir que
(X E) = 0.
Logo, a serie em (2.16) converge -qtp e g.1E Lp (X, , ).
Defina entao f : X R por
g (x) + X (g
1
k+1 (x) gk (x)) , se x E
f (x) =
k=1
0, se x
/ E.
Como gk = g1 + (g2 g1 ) + (g3 g2 ) + + (gk gk1 ), temos que
k1
X
|gk | |g1 | +
|gj+1 gj | g
j=1
gk f -qtp
e da
|gk | g p
.
p
(gk ) f p -qtp
Note que, como estamos lidando, a rigor, com classes de equivalencia, podemos considerar, se
necessario, gk 1E e g.1E ao inves de gk e g, respectivamente.
Pelo Teorema da Convergencia Dominada (veja Teorema 10.7.9), segue que
f p L1 (X, , ),
ou ainda,
f Lp (X, , ).
Como
(|f gk | 0) d = 0
23
2.5.2
O espaco L (X, , )
Se
(2.18)
Note que pode acontecer kf k = 0 com f nao identicamente nula. Para contornar esse problema,
tambem recorremos `as classes de equivalencia.
Duas funcoes sao equivalentes (pertencem a mesma classe de equivalencia) se coincidem -qtp.
O espaco L (X, , ) e o conjunto de todas as classes de equivalencia das funcoes mensuraveis
f : X K que sao limitadas -qtp. Aqui tambem identificaremos as classes de equivalencia
com seus representantes.
Se [f ] L (X, , ), definimos
k[f ]k = kf k .
(2.19)
Note que k.k esta bem definida (nao depende do representante da classe de equivalencia).
De fato, se f (x) = g(x) para todo x
/ A, com (A) = 0, entao, para cada N com (N ) = 0,
temos
Sf (N ) = sup {|f (x)| ; x
/ N } Sf (N A) = Sg (N A).
Analogamente,
Sg (N ) = sup {|g(x)| ; x
/ N } Sg (N A) = Sf (N A)
e da
kf k = inf {Sf (N ); N e (N ) = 0} = inf {Sg (N ); N e (N ) = 0} = kgk .
1
para todo x
/ Nk .
k
Nj , temos que (N ) = 0 e
j=1
Mj .
j=1
Logo
|fj (x)| kfj k para todo x
/ M0 .
Temos ainda que para cada n, m N, existe Mn,m com (Mn,m ) = 0 e
|fn (x) fm (x)| kfn fm k para todo x
/ Mn,m .
Seja
M = M0
!
Mn,m
n,m=1
(2.20)
limn fn (x), se x
/M
f (x) =
0, se x M.
Entao f e mensuravel e, por (2.20), como (fn ) e de Cauchy, segue que dado > 0, existe L N tal
que
sup |fn (x) fm (x)|
xM
/
(2.21)
xM
/
1
r
p1 .
26
2.6
Intuitivamente, a reta real preenche os buracos nos racionais, isto e, nem toda sequencia de Cauchy
nos racionais converge, mas nos reais sim. Alem disso, os racionais sao densos nos reais. A seguir,
veremos que algo semelhante tambem ocorre para espacos normados em geral.
Teorema 2.6.1 Se E e um espaco vetorial normado, existem um espaco de Banach F e um subespaco
F0 , denso em F , tais que E e isometricamente isomorfo a F0 .
Demonstracao. Seja C a famlia de todas as sequencias de Cauchy em E. Dadas (xn ), (yn ) em C,
dizemos que (xn ) (yn ) se
lim kxn yn k = 0.
facil ver que e uma relacao de equivalencia. Considere, portanto, o conjunto de todas as classes
E
de equivalencia, segundo essa relacao, e denote esse conjunto por F . Em F , defina
[(xn )] + [(yn )] = [(xn + yn )]
c[(xn )] = [(cxn )].
facil perceber que essas operacoes estao bem definidas e que com elas F e um espaco vetorial. Dado
E
[y] F , com y = (yn )
n=1 , definimos
k[y]k = lim kyn k .
n
e portanto k[y]k esta bem definida. Por fim, tambem e facil provar que essa funcao e de fato uma
norma.
Seja F0 o conjunto das classes de equivalencia que contem as sequencias constantes e perceba que
a funcao
T : E F0
x 7 [(x, x, ...)]
e uma isometria. Para concluir a demonstracao, vamos mostrar que F0 e denso em F e F e completo.
Sejam > 0 e [y] F. Entao, y = (yn ) e uma sequencia de Cauchy em E e existe N N tal que
kyn ym k <
para quaisquer m, n N .
Considere [z] F0 , com
z = (yN , yN , ...).
Temos entao
k[y] [z]k = lim kyn yN k .
n
(k)
1
(k)
[y ] [z (k) ] < ,
k
com z (j) = (zj , zj , ...), j N.
Note que z = (z1 , z2 , ...) e uma sequencia de Cauchy em E e portanto [z] F . De fato,
De fato,
(j)
1
+ lim (kzj zn k)
j n
e portanto
e
Nas condicoes do teorema anterior, dizemos que F e o completamento de E e denotamos F por E.
Como E e isometricamente isomorfo a F0 e F0 e denso em F , nos identificamos E e F0 , e consideramos
que E e denso em F .
e Fe) tal que Te(x) = T (x) para todo x
Teorema 2.6.2 Dado T L(E; F ), existe um u
nico Te L(E;
e
em E. Alem disso, T e T tem mesma norma.
e e (xn ) E tais que xn x
Demonstracao. Sejam x
eE
e. Assim,
kT xm T xn k kT k kxm xn k
e (T xn ) e sequencia de Cauchy em F . Logo, existe ye Fe tal que
lim T xn = ye.
Defina
e Fe
Te : E
x
e 7 ye,
isto e,
Te(e
x) = lim T xn , onde lim xn = x
e.
n
28
Como
kT xn k kT k kxn k ,
fazendo n tender a infinito, temos
e
e
xk
x) kT k ke
T (e
e
T kT k .
29
2.7
S
eries em espacos vetoriais normados
Series em espacos vetoriais normados tem um papel importante. Por exemplo, podemos caracterizar
espacos vetoriais normados completos por meio de propriedades relativas `a convergencia de series. Essa
caracterizacao e u
til em algumas demonstracoes.
Uma seq
uencia (xn ) em um evn E e dita absolutamente som
avel se
n=1 kxn k < . Nesse caso,
dizemos que a serie
x
e
absolutamente
convergente.
Se
(x
)
for
tal
que para qualquer bijecao
n
n=1 n
: N N,
x
converge,
dizemos
que
(x
)
e
incondicionalmente
som
avel e que
n
n=1 (n)
n=1 xn
e incondicionalmente convergente. Se uma serie e convergente mas nao e incondicionalmente
convergente, dizemos que ela e condicionalmente convergente.
A seguir caracterizamos espacos de Banach atraves de series.
Teorema 2.7.1 Um evn E e Banach se e somente se cada serie absolutamente convergente for
convergente em E.
Demonstracao. Suponhamos que E seja completo. Seja
xn
n=1
k
X
xn , temos
n=1
n
X
X
kSn Sm k =
xj
kxj k .
j=m+1 j=m+1
Como
(2.22)
kxj k e convergente, de (2.22) inferimos que dado > 0, existe N tal que
j=1
n, m N kSn Sm k < .
Portanto (Sn ) e convergente.
Reciprocamente, suponhamos que toda serie absolutamente convergente em E seja tambem
convergente. Seja (xn ) uma sequencia de Cauchy em E. Entao, para cada k natural, existe nk
tal que
kxm xn k < 2k para todo m, n nk .
Assim, encontramos n
umeros naturais n1 n2 tais que
xn xn < 2k .
k
k+1
Em particular,
xn
k+1
X
xnk
2k = 1
k=1
e portanto a serie
k=1
(xnk+1 xnk )
k=1
e absolutamente convergente. Usando nossa hipotese, conclumos que essa serie e convergente. Como
xnk+1 = xn1 +
k
X
j=1
30
(xnj+1 xnj ),
j=1
equivalentes:
X
(a)
xj e incondicionalmente convergente;
j=1
X
xjk converge;
j=1
j xj converge;
j=1
x
j <
jF
para qualquer conjunto finito F {n + 1, n + 2, ...}.
Demonstracao. Para uma demonstracao detalhada, veja [7]. O livro [1] tambem comenta as
equivalencias, com menos detalhes.
Exerccio 2.7.3 Mostre que se
j=1
Banach E, ent
ao
x1 (j) =
j=1
x2 (j)
j=1
2.7.1
Coment
arios e curiosidades sobre s
eries.
1. Em cursos de an
alise aprendemos que, na reta, convergencia absoluta e incondicional s
ao a mesma coisa. No
caso de series (de n
umeros reais) condicionalmente convergentes, o leitor deve se lembrar do seguinte resultado,
usualmente creditado a Riemann:
e
,
o
conjunto
das
somas
dos
(n)
n=1
rearranjamentos convergentes de uma serie condicionalmente convergente de n
umeros reais coincide com
R.
natural que nossa curiosidade nos leve a perguntar o que acontece se passarmos de R para Rn . O
E
que seria razo
avel acontecer? Ser
a que o conjunto das somas dos rearranjamentos convergentes de uma serie
condicionalmente convergente em Rn coincide com o Rn ? Surpreendentemente, o resultado abaixo nos mostra
que n
ao e bem assim:
31
n
(Levy [12], 1905 - Steinitz [23], 1913). Para qualquer serie convergente
n=1 xj em R , o conjunto das
A pr
oxima quest
ao natural e o problema 106 do Scottish Book (veja [17]), livro de problemas formulados
por matem
aticos da escola de matem
atica de Lvov, Pol
onia, na decada de 30,epoca em que surgiu a An
alise
Funcional moderna: Qual a generalizac
ao do resultado de Levy-Steinitz para dimens
ao infinita? Mais uma
vez, surpresas nos esperam:
(Kadets [10], 1986). Se um espaco de Banach tem dimensao infinita, existe uma serie cujo conjunto das
somas dos rearranjamentos convergentes n
ao e convexo.
Como todo subespaco vetorial e convexo, fica claro que o comportamento das somas dos rearranjamentos
convergentes de series em espacos de dimens
ao infinita n
ao segue o que acontece no Rn .
2. Em espacos normados h
a noco
es mais abstratas para series. Uma famlia {x ; } em um espaco
vetorial normado E e som
avel se existir um x E tal que, para todo > 0, existe F finito tal que, para
todo G finito, com F G , temos
x x < .
G
X
X
Nesse caso, ecrevemos
x = x e dizemos que
x e uma serie convergente, e converge para x. De modo
sup{
kx k ; } < .
F, F finito
32
2.8
Bases de Schauder
Na algebra linear, quando lidamos apenas com espacos vetoriais, sem nocoes topologicas, temos o
conceito de base (de Hamel). Bases de Hamel sao de difcil manuseio e sao muito grandes, em
geral! O seguinte resultado e um bom indcio:
ao infinita e B uma base de E. Ent
ao B
Proposi
c
ao 2.8.1 Seja E um espaco de Banach de dimens
n
ao e enumer
avel.
claro que
Demonstracao. Se B fosse enumeravel, poderamos enumerar seus elementos v1 , v2 , .... E
E=
Fn ,
(2.23)
n=1
onde cada Fn e o espaco gerado por {v1 , v2 , ..., vn }. Como cada Fn tem dimensao finita, e fechado e
o Teorema de Baire garante que algum dos Fn que aparecem em (2.23) tem interior nao-vazio. Mas,
isso e um absurdo, pois todo subespaco proprio de um espaco vetorial normado tem interior vazio
(verifique!).
Em espacos normados, temos a nocao de convergencia e e natural e frutfero pensar em series para
substituir combinacoes lineares finitas:
e uma base de Schauder de
Defini
c
ao 2.8.2 Se E e um espaco de Banach, uma sequencia (en )
n=1
E se cada x em E puder ser representado de maneira u
nica como
x=
n e n .
(2.24)
n=1
e0 = (1, 1, 1, ...)
e1 = (1, 0, 0, ...)
e2 = (0, 1, 0, 0, ...) .
..
.
Com efeito, se x = (x1 , x2 , ...) c, denotando x0 = lim xn , temos
x = x0 e0 +
(xj x0 )ej .
j=1
33
Solucao. Se x l1 , entao x =
x j ej e
j=1
a1 e1 +
j=1
aj (ej ej1 ) = x =
j=2
xj ej .
j=1
P
P
aj (ej ej1 )
x j ej <
n > N a1 e1 +
j=2
j=1
xj ej <
(a1 a2 x1 )e1 + + (an1 an xn1 )en1 + (an xn )en
j=n+1
k(a1 a2 x1 )e1 + + (an1 an xn1 )en1 k < .
Escolhendo > 0 suficientemente pequeno, conclumos que
aj1 aj xj1 = 0 para todo j 2.
Da segue que
ak =
xj para todo k 1.
j=k
j=2
xj
j=k
n
P
j=2
aj (ej ej1 )
!
n1
P
P
=
xj ej +
xj en
j=1
j=n
n > N0
|xj | = xj ej < .
j=n
j=n
Logo,
P
P
n > N0 a1 e1 +
aj (ej ej1 )
xj ej
j=2
j=1
!
n1
P
P
P
=
xj ej +
xj en
xj ej
j=1
j=n
j=1
!
P
=
xj en
xj ej < 2,
j=n
j=n
e a convergencia ocorre.
34
Entao x = (xj )
c
ao na base de Schauder dada e
j=1 l1 e sua representa
1
1
x = 1e1 + (e2 e1 ) + (e3 e2 ) +
2
3
Se essa convergencia fosse incondicional, entao, em particular, a serie
1
1
1e1 + (e3 e2 ) + (e5 e4 ) +
3
5
deveria ser convergente em l1 , mas isso nao ocorre.
Exerccio 2.8.9 Para cada t (0, 1), seja xt = (t, t2 , t3 , ...)
(a) Mostre que {xt ; 0 > t < 1} e um subconjunto LI de l.
(b) Mostre que dim(l ) = card(R). Lembre-se que a dimens
ao de um espaco vetorial e a
cardinalidade de alguma de suas bases de Hamel (todas as bases de Hamel de um mesmo espaco
vetorial tem a mesma cardinalidade).
Sugest
ao para a solucao. (a) Se a1 xt1 + + an xtn = 0, entao
a1 (t1 , t21 , ...) + a2 (t2 , t22 , ...) + + an (tn , t2n , ....) = 0.
Logo
t1 a1 + t2 a2 + tn an = 0
..
.
n
n
t
a
+
t
a
+
tnn an = 0
1
2
1
2
..
(2.25)
Para que o sistema infinito tenha solucao, em particular, as n primeiras igualdades devem ser
satisfeitas. Mas o determinante da matriz de Vandermonde
t1 t2 tn
t21 t22 t2n
..
..
..
..
.
.
.
.
tn1
tn2
tnn
35
N
l (E) = (xj )
j=1 E ; sup{kxj k ; j N} < ,
(xj )
2.8.1
Coment
arios e curiosidades sobre bases de Schauder
Todo espaco com base de Schauder e separavel. Um problema que ficou aberto durante algum tempo
foi: sera que todo espaco separavel tem base de Schauder? A resposta, negativa, foi obtida pelo
matem
atico sueco Per Enflo, em 1972.
Um resultado, que ja era conhecido por Banach, garante que todo espaco de Banach possui um
natural perguntar se todo espaco de Banach possui um
subespaco fechado com base de Schauder. E
subespaco fechado com base de Schauder incondicional. Esse problema e chamado problema da base
incondicional, foi resolvido na negativa, recentemente, por W. T. Gowers, que ganhou a medalha
Fields em 1998. O leitor mais interessado podera encontrar uma exposicao elementar do assunto em
[5].
2.8.2
Nota hist
orica
Georg Karl Wilhelm Hamel foi um matematico alemao que estudou mecanica e fundamentos da
matem
atica. Ficou famoso com um trabalho em 1905, que, via Axioma da Escolha, construiu
explicitamente uma base dos reais sobre o corpo dos racionais.
Juliusz Schauder era polones e foi aluno de Hugo Steinhaus.
2.9
Caracterizac
ao do dual de lp
36
1
p
1
q
= 1 (se
: lp K
X
xj yj
(x) =
(2.26)
j=1
xj ej lp , entao
j=1
X
X
X
(x) = ( xj ej ) = ( lim
x j ej ) =
xj (ej ).
n
j=1
j=1
j=1
sgn(yj ) se j = n
xj =
.
0, se j 6= n.
claro que x l1 e que kxk 1. Por (2.27) segue que
E
(x) = xn yn = |yn |
e
|yn | = |(x)| kk kxk1 kk .
Como isso vale para todo n, segue que
kyk kk .
Caso p > 1. Fixado n N, seja x = (xj ), com
q1
|yj |
sgn(yj ) se 1 j n
.
xj =
0, se j > n.
37
(2.27)
Para 1 j n, temos
(
xj yj = |yj |
q1
sgn(yj )yj =
|yj |
e portanto, se 1 j n,
q1 yj
|yj | yj
= |yj | se yj 6= 0
0 se yj = 0.
xj yj = |yj | = |xj | .
Assim x lp (claro pois apenas uma quantidade finita de entradas sao nao nulas) e
(x) =
n
n
X
X
q
xj yj =
|yj | .
j=1
j=1
Assim,
n
X
|yj | kk kxkp
j=1
p1
n
X
p
= kk
|xj |
j=1
p1
n
X
q
= kk
|yj |
j=1
n
X
1 p1
q
|yj |
kk .
j=1
definida por
T (y) = : lp K
dada por
(x) =
X
xj yj
j=1
J : l1 (c0 )
X
J(y)(x) =
xj yj .
j=1
38
Por outro lado, dada T (c0 ) , para cada n N, defina n K tal que |T (en )| = n T (en ). Logo,
para cada m, temos
X
m
m
X
X
m
j ej kT k j ej
|T (ej )| = j T (ej ) = T
= kT k .
j=1
j=1
j=1
j=1
Fazendo m , temos
|T (ej )| kT k .
(2.28)
j=1
J (T (ej ))
j=1 (x) =
Portanto,
X
xj T (ej ) = T xj ej = T (x).
j=1
j=1
J (T (ej ))
j=1 = T
facil ver que J e injetiva. Logo J e bijetiva e, denotando por I a sua inversa,
e J e sobrejetiva. E
temos
0
I : (c0 ) l1
I(T ) = (T ej )
j=1 .
De (2.28) segue que
kIk = sup kI(T )k = sup
kT k1
kT k1 j=1
|T (ej )| sup kT k = 1.
kT k1
Logo, se y l1 , temos
kyk1 = kI(Jy)k1 kIk kJyk = kJyk kJk kyk kyk .
Portanto, kJyk = kyk e J e uma isometria.
39
Captulo 3
que e uma especie de produto entre vetores. Dizemos que a norma euclidiana provem do produto
interno, pois
2
(x, x) = kxk .
O que faremos a seguir e definir um conceito abstrato de produto interno, e estudar os espacos normados
cuja norma provem de um produto interno. Tais espacos sao chamados de espacos com produto interno
e, se forem completos, sao chamados de espacos de Hilbert.
3.1
Resultados preliminares
um
espaco
(3.1)
40
2
2
= |a| (x, x) 2 Re ab(x, y) + |b| (y, y).
Se tomarmos a = (y, y) e b = (x, y), encontramos
2
(3.2)
(3.3)
X
j=1
41
xj yj .
Ha alguns resultados u
teis que relacionam a norma proveniente do produto interno com o produto
interno:
Proposi
c
ao 3.1.4 Seja E um espaco vetorial com um produto interno. Ent
ao
(i) (Lei do Paralelogramo)
2
kx + yk + kx yk = 2(kxk + kyk )
para quaisquer x, y E.
(ii) (F
ormula de Polariza
ca
o, caso real)
i
1h
2
2
(x, y) =
kx + yk kx yk
4
para quaisquer x, y E.
(iii) (F
ormula de Polariza
c
ao, caso complexo)
h
i
1
2
2
2
2
(x, y) =
kx + yk kx yk + i kx + iyk kx iyk
4
para quaisquer x, y E.
Demonstracao. (i) e (ii). Como
2
2
2
kx + yk = kxk + (x, y) + (y, x) + kyk
2
2
2 ,
kx yk = kxk (x, y) (y, x) + kyk
somando as duas igualdades obtemos (i) e subtraindo as duas igualdades, obtemos (ii).
(iii). Como
2
2
2
2
2
kx + iyk = kxk + (x, iy) + (iy, x) + kyk = kxk i(x, y) + i(y, x) + kyk
2
2
2
2
2 ,
kx iyk = kxk + (x, iy) + (iy, x) + kyk = kxk + i(x, y) i(y, x) + kyk
subtraindo as igualdades, temos
2
kx + yk kx yk = 2(x, y) + 2(y, x)
Logo
i
1h
2
2
2
2
kx + yk kx yk + i kx + iyk kx iyk
4
1
= [2(x, y) + 2(y, x) + 2(x, y) 2(y, x)]
4
= (x, y).
Se E1 e E2 sao espacos normados, E1 E2 tem normas naturais, a saber
k(x, y)k1 = kxk + kyk
k(x, y)k2 = max{kxk , kyk}.
claro que essas duas normas sao equivalentes. (Cuidado para nao confundir a notacao de par
E
ordenado com a notacao de produto interno. Estamos usando o mesmo smbolo...)
Sempre que E1 e E2 forem evn, quando considerarmos o produto cartesiano E1 E2 , estaremos
subentendendo E1 E2 com uma dessas normas, e consequentemente E1 E2 e um espaco metrico
com a metrica proveniente dessas normas. Como as duas normas sao equivalentes, as duas metricas
serao equivalentes.
42
Exerccio 3.1.5 Mostre que em E1 E2 com k.k1 , um par ordenado (xj , yj ) converge para um par
ordenado (x, y) se e somente se xj x e yj y.
Exerccio 3.1.6 Mostre que a func
ao produto interno (de E E em K) e contnua. Sugest
ao: use o
exercicio anterior e a f
ormula de polarizaca
o.
Exerccio 3.1.7 Mostre que lp (com sua norma usual), com p 6= 2, n
ao e um espaco com produto
interno. Sugest
ao: Lei do Paralelogramo.
3.1.1
Nota hist
orica sobre a Desigualdade de Cauchy-BunyakovskiiSchwarz
Victor Yajovlevich Bunyakovskii foi um matematico nascido onde atualmente e a Ucrania, com
contribuicoes em diversas areas da matematica. Bunyakovskii publicou a hoje chamada Desigualdade
de Cauchy-Schwarz em 1859, cerca de 25 anos antes do trabalho de Schwarz. Em alguns livros a
referencia a Bunyakovskii e feita, mas principalmente no ocidente seu nome e em geral esquecido.
Hermann Schwarz nasceu em 1843, numa regiao que atualmente faz parte da Polonia e Cauchy
dispensa comentarios.
3.2
Ortogonalidade
isto e, seu produto interno e zero. Para espacos com produto interno, generalizamos o conceito de
ortogonalidade de maneira natural:
Defini
c
ao 3.2.1 Em um espaco com produto interno (., .) , dizemos que x e y s
ao ortogonais (notac
ao
x y) se (x, y) = 0.
Exerccio 3.2.2 (Teorema de Pit
agoras) Se E e um espaco com produto interno, prove que se x e y
s
ao ortogonais em E, ent
ao
2
2
2
kx + yk = kxk + kyk .
Teorema 3.2.3 Seja E um espaco com produto interno e seja M um subespaco completo de E. Dado
x E, existe um u
nico p M tal que
kx pk = dist(x, M ) := inf kx yk
yM
1
n
(3.4)
2 kx ym k + 2 kx yn k = kx yn + x ym k + kx yn x + ym k
43
yn + ym
kyn ym k = 2 kx ym k + 2 kx yn k 4 x
2
1
1
2 d+
+2 d+
4d2 0
m
n
2
quando n e m crescem.
Logo (yn ) e de Cauchy em M e, como M e completo, converge para um certo p M . De (3.4),
fazendo n , temos
kx pk = d.
Para provar a unicidade, suponha
kx qk = d.
Pela Lei do Paralelogramo, temos
2
2 kx pk + 2 kx qk = k2x p qk + kp qk
e da segue que
2
p + q
+ kp qk2
4d2 = 4
x
2
2
p + q
2
2
kp qk = 4d 4 x
2
2
kp qk 4d2 4d2 = 0
kp qk = 0.
Exerccio 3.2.4 Mostre que, para R2 com k(x, y)k = max{|x| , |y|}, existem um subespaco fechado M
ex
/ M tal que n
ao e u
nico o p M com
kx pk = dist(x, M ).
Exerccio 3.2.5 Mostre que em todo espaco vetorial V pode ser definido um produto interno. Mais
ainda, para cada base de Hamel B de V , podemos definir um produto interno de modo que os vetores
de B sejam ortogonais.
Defini
c
ao 3.2.6 Seja E um espaco com produto interno e M um subconjunto de E. Denominamos o
subconjunto
M = {y E; (x, y) = 0 para todo x M }
de complemento ortogonal a M.
Exerccio 3.2.7 Mostre que M (M ) .
Exerccio 3.2.8 Mostre que M e um subespaco fechado de E.
Teorema 3.2.9 Seja E um espaco de Hilbert e seja M um subespaco fechado de E. Ent
ao
(a) E e soma direta de M e M , isto e, cada x E admite uma u
nica representac
ao na forma
x = p + q com p M e q M .
Alem disso
kx pk = dist(x, M )
e p e chamado de projec
ao ortogonal de x sobre M.
(b) Se definirmos P (x) = p e Q(x) = q para x E, ent
ao P, Q L(E, E). O operador P e chamado
de operador projec
ao de E sobre M , ou simplesmente projec
ao.
(c) P 2 = P, Q2 = Q e P Q = Q P = 0.
44
kqk = kx pk kx p yk = (x p y, x p y)
2
com p M e q M .
Para provar a unicidade, basta supor que p + q = p1 + q1 , com p, p1 M e q, q1 M . Assim,
p p1 = q1 q M M .
Como M M = {0} (verifique), o resultado segue.
(b) Como x = p + q e p e q sao ortogonais, temos que
2
kP xk = kpk kxk
e da
kP k 1.
Para Q o resultado e analogo.
(c) Facil.
Exerccio 3.2.10 Se M e um subespaco fechado de um espaco de Hilbert E, mostre que M = (M ) .
Solucao. Basta mostrar que (M ) M. A outra inclusao ja e conhecida. Temos que
E = M M .
Se x (M ) , entao (x, y) = 0 para todo y M . Mas x = xM + xM M M . Logo
(xM + xM , y) = 0 para todo y M
e da
45
3.3
Conjuntos ortonormais
Defini
c
ao 3.3.1 Seja E um espaco com produto interno. Um conjunto S E e dito ortonormal se
dados x, y S tivermos (x, y) = 0 se x 6= y e (x, x) = 1. Um conjunto ortonormal S e dito completo
se S = {0}.
Exerccio 3.3.2 Todo conjunto ortonormal e LI.
Exerccio 3.3.3 Mostre que S = {ej ; j N} e um conjunto ortonormal completo em l2 .
Exerccio 3.3.4 Mostre que L2 ([0, 2]) (caso real) e um espaco de Hilbert e que o conjunto formado
pelas func
oes
1
f0 (t) = ,
2
1
fn (t) = cos(nt), n N e
1
gn (t) = sin(nt), n N
e um conjunto ortonormal.
O proximo resultado nos da a forma precisa da melhor aproximacao de x em um subespaco de
dimensao finita M de um espaco com produto interno.
Proposi
c
ao 3.3.5 Seja E um espaco com produto interno e {x1 , ..., xn } um conjunto ortonormal
finito em E.
(a) Se M = [x1 , ..., xn ] e x E, ent
ao
i=1
(b)
n
X
i=1
n
X
i xi .
i=1
Como x p = q M , temos
0 = (x p, xj ) = (x, xj ) j
j = (x, xj )
e segue (a).
(b) Note que
n
X
(x, xi )xi , x
i=1
2
0 kxk
n
X
!
(x, xi )xi
i=1
n
X
|(x, xi )|
i=1
n
X
i=1
e o resultado segue.
46
|(x, xi )| +
n
X
i=1
|(x, xi )|
n
X
Observa
c
ao 3.3.6 A express
ao
(x, xi )xi e,
por motivos
obvios,
chamada de melhor
i=1
aproxima
c
ao de x em M = [x1 , ..., xn ].
Exerccio 3.3.7 Se M = {p(x); p e polin
omio com coeficientes reais e grau menor igual a 1} e E e o
espaco de Hilbert L2 [1, 1], encontre a melhor aproximac
ao de f (x) = ex em M .
O proximo lema ajudara na obtencao de uma desigualdade famosa, chamada Desigualdade de
Bessel.
Lema 3.3.8 Seja E um espaco com produto interno e S = {xi ; i I} um conjunto ortonormal em E.
Ent
ao, para cada x E, o conjunto
J = {i I; (x, xi ) 6= 0}
e enumer
avel.
Demonstracao. Note que J =
Jk , com
k=1
Jk = {i I; |(x, xi )| >
1
}.
k
Para mostrar que J e enumeravel, basta mostrar que cada Jk e finito. Como, para todo n natural,
temos
n
X
2
2
|(x, xi )| kxk ,
i=1
se i1 , ..., in Jk , temos
1
2
n( )2 kxk
k
n k 2 kxk .
2
|(x, xi )| =
k=1
47
(3.5)
iI
Como sabemos que {i I; (x, xi ) 6= 0} e enumeravel, fica claro que a soma que aparece em (3.5)
denota, na verdade, uma soma em um conjunto enumeravel de ndices. Entretanto, ainda nao e claro
que tal soma esta bem definida, isto e, converge e, mais ainda, e incondicionalmente convergente. O
proximo lema demonstra esse fato.
Lema 3.3.10 Seja E um espaco de Hilbert. Seja S = {xi ; i I} um conjunto ortonormal em E.
Ent
ao, para cada x E, denotando Ix = {i I; (x, xi ) 6= 0}, temos que a serie
X
(x, xi )xi
iIx
converge incondicionalmente.
Demonstracao. Se Ix for finito, o resultado e claro. Se Ix for infinito, seja (yj )
c
ao
j=1 uma enumera
n
X
de {xi ; i Ix }. Seja Sn =
(x, yi )yi . Entao, se n > m, temos
i=1
2
n
n
X
2
kSn Sm k =
(x, yi )yi =
|(x, yi )|
i=m+1
i=m+1
e, pela Desigualdade de Bessel, segue que a sequencia (Sn ) e de Cauchy em E, e portanto converge
para um certo s E.
n
X
X
i=m+1
i=n+1
Fixando m1 m0 e tomando n1 n0 tal que {y1 , ..., ym1 } {z1 , ..., zn1 }, temos
X
X
Rn1 Sm1 =
(x, zj )zj =
(x, yj )yj ,
jJ1
jJ
kRn1 Sm1 k =
|(x, yj )|
|(x, yi )| 2 .
i=m1 +1
jJ
Logo
kt sk kt Rn1 k + kRn1 Sm1 k + kSm1 sk 3.
Como > 0 e arbitrario, o resultado segue.
48
Observa
c
ao 3.3.11 Perceba que se usarmos o resultado do Exerccio 2.7.3, a demonstraca
o do Lema
3.3.10 pode ser bastante reduzida. Com efeito, sabendo que, para qualquer enumeraca
o dada de
{xi ; i Ix }, a sequencia Sn converge, o Exerccio 2.7.3 garante que, quaisquer que sejam a enumerac
oes
escolhidas, as series correspondentes convergem para o mesmo valor.
O proximo resultado apresenta caracterizacoes interessantes de conjuntos ortonormais completos.
Teorema 3.3.12 Seja E um espaco de Hilbert. Seja S = {xi ; i I} um conjunto ortonormal em E.
Ent
ao, as seguintes
afirmac
oes s
ao equivalentes:
X
(x, xi )xi para cada x em E.
(a) x =
iI
(b) S e completo.
(c) [S] = E.
X
2
2
(d) (Identidade de Parseval) kxk =
|(x, xi )| para todo x em E.
(e) (x, y) =
iI
iI
X
X
x
(x, x(j) )x(j) , xi = (x, xi )
(x, x(j) )(x(j) , xi ) = 0.
j=1
j=1
e, como S e completo,
x
i=1
i=1
X
X
(x, xi )xi x
i xi < .
x
iJ
Logo
iJ
(x, xi )xi , x
iJ
X
iJ
49
!
(x, xi )xi
< 2
e da
kxk
|(x, xi )| < 2 .
iJ
Logo
2
kxk <
|(x, xi )| + 2
iI
(x + y, x + y) = kx + yk
X
2
|(x + y, xi )|
=
iI
(x + y, xi )(x + y, xi )
iI
e da
2
X 2
2
2
=
|| |(x, xi )| + (x, xi )(xi , y) + (y, xi )(xi , x) + |(xi , y)| .
iI
Logo, separando as series do lado direito (isso e possvel pois, pela Desigualdade de Holder, todas elas
sao convergentes) e usando (d) chegamos a
X
(x, y) + (y, x) =
(x, xi )(xi , y) + (y, xi )(xi , x)
iI
(x, xi )(y, xi ) +
iI
(y, xi )(x, xi ).
iI
Fazendo = 1, obtemos
Re(x, y) = Re
(x, xi )(y, xi )
iI
e escolhendo = i, chegamos a
Im(x, y) = Im
(x, xi )(y, xi ).
iI
X
(x, xi )(y, xi ).
iI
(e)(b) e imediato. Com efeito, se x S , temos (x, xi ) = 0 para todo i em I. Usando (e) com x = y,
obtemos (x, x) = 0 e consequentemente x e o vetor nulo.
3.4
Processo de ortogonalizac
ao e suas consequ
encias
um
Em espacos com produto interno, ha uma forma de ortogonalizar conjuntos de vetores. E
processo simples, porem u
til, chamado Processo de Ortogonalizacao de Gram-Schmidt.
50
Proposi
c
ao 3.4.1 (Processo de Ortogonaliza
c
ao de Gram-Schmidt) Seja E um espaco com
produto interno e (xn )
uma
sequ
e
ncia
de
vetores
LI em E. Existe uma sequencia ortonormal
n=1
(en )
tal
que
n=1
[x1 , ..., xn ] = [e1 , ..., en ]
para todo n natural.
Demonstracao. Definimos e1 =
x1
kx1 k .
v2
.
kv2 k
e definimos
e3 =
v3
.
kv3 k
X
(x, xi )xi .
i=1
Nesse caso S e uma base de Schauder de H e o Exerccio 2.8.5 garante que H e separavel.
Reciprocamente, se H e separavel, seja D = {xn ; n N} um subconjunto denso de H.
Entao D e um gerador de [D] e, de D, podemos extrair uma base para [D] (veja exerccio 2.4.21).
51
Mas
H = D [D] H.
Se essa base (que foi extrada de D) fosse finita, digamos {v1 , ..., vn }, teramos que
H = [D] = [v1 , ..., vn ] = [v1 , ..., vn ],
mas isso nao pode acontecer, pois H e um espaco vetorial de dimensao infinita.
Seja, ent
ao {v1 , ..., vn , ...} a base (infinita) de [D] extrada de D.
Pelo Processo de Ortogonalizacao de Gram-Schmidt, e possvel obter um conjunto ortonormal S
tal que
[S] = [v1 , ..., vn , ...].
Assim,
[S] = [v1 , ..., vn , ...] = [D] = H
e conclumos que S e completo.
Em algebra linear, pode-se provar que se V e um espaco vetorial e S0 e um conjunto LI em V ,
entao existe uma base de V que contem S0 . A peca fundamental da demonstracao desse resultado e o
Lema de Zorn. A seguir, mostraremos um resultado similar para espacos com produto interno, cuja
demonstracao e bastante parecida com aquela da algebra linear.
Teorema 3.4.4 Seja H um espaco com produto interno e S0 um conjunto ortonormal em H. Ent
ao
existe um conjunto ortonormal completo S que contem S0 .
Demonstracao. Seja F a famlia de todos os conjuntos ortonormais S em H que contem S0 . Note
que F 6= , pois S0 F. Para utilizar o Lema de Zorn, consideramos F com a ordem parcial dada
pela inclusao de conjuntos.
Seja {Si ; i I} F um subconjunto de F totalmente ordenado. Note que
S
Si F .
iI
De fato, se x, y
S
iI
iI
superior para o conjunto totalmente ordenado {Si ; i I}. Assim, o Lema de Zorn pode ser usado,
garantindo a existencia de um conjunto ortonormal S F que e maximal.
Resta-nos mostrar que S e completo. Se supusermos o contrario, existira z H nao nulo tal que
z S . Da
z
S1 := S {
}
kzk
e um conjunto ortonormal (distinto de S) e S S1 , e isso contradiz a maximalidade de S.
O proximo resultado mostra que o prototipo de espacos de Hilbert de dimensao infinita e separaveis
e o l2 .
avel, de dimens
ao
Teorema 3.4.5 (Teorema de Riesz-Fischer) Todo espaco de Hilbert, separ
infinita, e isometricamente isomorfo a l2 .
52
Demonstracao. Seja H um espaco de Hilbert separavel, com dimensao infinita. Pelo Corolario 3.4.3
e Teorema 3.4.4, existe um conjunto ortonormal completo e enumeravel S = {xj ; j N} em H. Alem
disso, sabemos que nesse caso todo x em H e representado por
x=
X
(x, xi )xi .
i=1
Defina
T : H l2
por
T(
A desigualdade de Bessel garante que T esta bem definida. Alem disso, e facil ver que T e linear e
a identidade de Parseval garante que kT xk = kxk e portanto T e injetiva. Para provar que T e um
isomorfismo isometrico, resta mostrar que T e sobrejetiva. Seja (aj )
j=1 l2 . Primeiro, notemos que a
serie
X
aj xj
j=1
k
X
j=1
2
n
n
X
X
2
2
kSn Sm k =
a
x
=
|aj | .
j j
j=m+1
j=m+1
Como
j=1
aj xj H
j=1
Exerccio 3.4.6 Seja E um espaco com produto interno. Sejam S1 = {xn ; n N} e S2 = {yn ; n N}
conjuntos ortonormais em E tais que
[x1 , ..., xn ] = [y1 , ..., yn ]
para cada n natural. Mostre que existe uma sequencia (an ) de escalares com m
odulo 1, tais que
yn = an xn
para todo n.
Solucao. Como [x1 ] = [y1 ], segue que y1 = a1 x1 . Como kx1 k = ky1 k = 1, segue que |a1 | = 1. Agora,
procedemos por inducao. Suponha que
y1 = a1 x1 , com |a1 | = 1,
..
.
yn = an xn , com |an | = 1.
Vamos mostrar que yn+1 = an+1 xn+1 com |an+1 | = 1. Como
[x1 , ..., xn+1 ] = [y1 , ..., yn+1 ],
53
temos que
yn+1 = 1 x1 + + n xn + n+1 xn+1 .
(3.6)
3.4.1
Nota hist
orica sobre o Processo de Gram-Schmidt
Erhard Schmidt nasceu em 1876, Dorpat, Alemanha (atualmente Estonia) e Jorgen Petersen Gram
nasceu em 1850, em Nustrup, Dinamarca. O processo de Gram-Scmidt parece, entretanto, ser anterior
a Gram e Schmidt, sendo aparentemente um resultado de Laplace, usado tambem em essencia por
Cauchy em 1836.
E. Schmidt (com F. Riesz) tambem e lembrado por trazer a linguagem da geometria euclidiana
(desigualdade triangular, Teorema de Pitagoras,...) aos espacos de Hilbert.
3.5
O Teorema de Riesz-Fr
echet
A seguir, veremos um resultado classico, devido a Riesz e Frechet, que caracteriza todos os funcionais
lineares contnuos em espacos de Hilbert.
Teorema 3.5.1 Seja E um espaco de Hilbert e : E K um funcional linear contnuo. Ent
ao,
existe um u
nico y0 E tal que
(x) = (x, y0 ).
Alem disso, kk = ky0 k .
Demonstracao. Se e identicamente nulo, basta tomar y0 = 0. Suponhamos nao identicamente
nulo.
Seja
M = {x E; (x) = 0}.
Como nao e identicamente nulo, e claro que M e um subespaco proprio de E. Alem disso, M e
fechado, pois e a imagem inversa de {0}, que e fechado. Temos, portanto, pelo Teorema 3.2.9, que
M 6= {0}. Escolha x0 em M de norma 1. Vamos mostrar que, para todo x em E, temos
(x) = (x, y0 ),
onde y0 = (x0 )x0 .
De fato, x sempre pode ser escrito como
(x)
(x)
x= x
x0 +
x0
(x0 )
(x0 )
54
(x)
(x0 ) x0
com x
M e
(x)
(x0 ) x0
M .
Logo
(x)
(x)
(x, y0 ) = x
x0 , y0 +
x0 , y0
(x0 )
(x0 )
(x)
(x0 , y0 )
=0+
(x0 )
(x)
=
x0 , (x0 )x0
(x0 )
= (x).
A unicidade e facil e fica como exercicio.
Tambem e facil mostrar que kk = ky0 k .
Corol
ario 3.5.2 Se H e um espaco de Hilbert sobre R, H e H 0 s
ao isometricamente isomorfos.
Observa
c
ao 3.5.3 No caso que H = l2 , mesmo sobre o corpo dos complexos, j
a vimos que H e H 0
s
ao isometricamente isomorfos.
Exerccio 3.5.4 No Teorema de Riesz-Frechet, considere o caso 6= 0. Apesar da unicidade do y0 ,
note que escolhemos arbitrariamentex0 M com norma 1 e depois definimos y0 como sendo um
m
ultiplo de x0 . A pergunta e a seguinte: Como, apesar da liberdade de escolha para x0 , o vetor y0 e
u
nico ?
Sugest
ao: Mostre que M tem dimens
ao 1. Para isso, considere x, y M e estude o vetor
(x)y (y)x.
3.6
Proposi
c
ao 3.6.1 Sejam E e F espacos de Hilbert. Para cada T L(E; F ), existe um u
nico
T L(F ; E) tal que
(T x, y) = (x, T y)
(3.7)
para todo x E e y F. Alem disso, kT k = kT k .
Demonstracao. Para cada y F , defina
:EK
(x) = (T x, y)
Note que e linear e, pela Desigualdade de Cauchy-Schwarz, temos
|(x)| = |(T x, y)| kT xk kyk .
Portanto
kk kT k kyk .
Pelo Teorema de Riesz-Frechet, existe um u
nico y0 E tal que
(x) = (x, y0 ),
e
kk = ky0 k .
55
Da
(T x, y) = (x, y0 ) para todo x E.
(3.8)
Definimos, entao,
T : F E
T (y) = y0 .
De (3.8) temos que T e linear (faca as contas!) e
kT (y)k = ky0 k = kk kT k kyk .
Assim
kT k kT k .
kT k kT k
Defini
c
ao 3.6.2 Se E e F s
ao espacos de Hilbert e T L(E; F ), o operador T : F E tal que
(T x, y) = (x, T y) para todo x E e y F
(3.10)
e portanto
sup {|(T x, x)| ; kxk = 1} kT k .
Resta provar a outra inclusao. Como T 6= 0, existe x0 E com kx0 k = 1 tal que T (x0 ) 6= 0.
56
Sejam
1
x = kT x0 k 2 x0 e y = kT x0 k
Entao
1
2
T x0 .
kxk = kyk = kT x0 k .
Note que
2
(T x, y) = kT x0 k
(T y, x) = (kT x0 k
1
2
T (T x0 ), kT x0 k 2 x0 )
= (T (T x0 ), x0 )
T auto-adjunto
(T x0 , T x0 ) = kT x0 k .
e portanto
(T x, y) = (T y, x) = kT x0 k .
Defina
u = x + y e v = x y.
Entao
(T u, u) = (T x, x) + (T x, y) + (T y, x) + (T y, y)
(T v, v) = (T x, x) (T x, y) (T y, x) + (T y, y).
Portanto
(T u, u) (T v, v) = 2(T x, y) + 2(T y, x) = 4 kT x0 k .
(3.11)
w
w
(T
,
) C
kwk
kwk
e o resultado segue. Logo, usando a Lei do Paralelogramo, temos
2
(T u, u) (T v, v) C kuk + C kvk
= C kx + yk + C kx yk
2
2
= 2C kxk + kyk
= 4C kT x0 k .
Finalmente, temos de (3.11) e (3.12), que
2
4 kT x0 k 4C kT x0 k
e assim
kT x0 k C.
Da, como a u
nica restricao a x0 e kx0 k = 1 e T (x0 ) 6= 0, segue que
kT k = sup kT x0 k C.
kx0 k=1
57
(3.12)
2
Se T L(E; E) e auto-adjunto, definimos
mT = inf {(T x, x); kxk = 1}
MT = sup {(T x, x); kxk = 1}
O proximo corolario e imediato:
Corol
ario 3.6.5 Se E e espaco de Hilbert e T : E E e auto-adjunto, ent
ao
kT k = max{MT , mT }
Lembre-se que se E e um espaco vetorial e T : E E e um operador linear, K e autovalor
de T se T (v) = v para algum vetor nao-nulo v E (v e chamado de autovetor). Se e autovalor
de T , o conjunto
E = {v E; T v = v}
e um espaco vetorial, `as vezes chamado de autoespa
co associado a .
Os autovalres e autoespacos de operadores auto-adjuntos tem um comportamento especial:
Proposi
c
ao 3.6.6 Seja E um espaco de Hilbert e T L(E, E) um operador auto-adjunto.
(a) Se e um autovalor de T , ent
ao R e kT k kT k .
(b) Se e s
ao autovalores distintos de T , ent
ao (v, w) = 0 para quaisquer v E e w E .
Demonstracao. (a) Seja x0 E nao-nulo tal que T x0 = x0 . Entao
2
(T x0 , x0 ) = (x0 , x0 ) = kx0 k .
Assim,
x0
x0
,
)
kx0 k kx0 k
e portanto R e mT MT . O resultado segue sem dificuldade.
(b) Se T x = x e T y = y, entao, por (a), temos que e sao n
umeros reais e
= (T
Exerccio 3.6.11 Seja T L(E; E) um operador auto adjunto. Mostre que T n e auto-adjunto, para
cada n natural.
Exerccio 3.6.12 Sejam S, T L(E; E) operadores auto-adjuntos. Mostre que T S e auto-adjunto se
e somente se T S = ST .
58
Captulo 4
Resultados cl
assicos da An
alise
Funcional e suas consequ
encias
Os resultados centrais da Analise Funcional sao o Teorema de Hahn-Banach, teorema de BanachSteinhaus, Teorema da Aplicacao Aberta e Teorema do Grafico Fechado. O Teorema de Hahn-Banach,
em sua forma mais geral, pode ser encarado como um resultado de Algebra
Linear, enquanto os outros
tres resultados, como veremos, necessitam de completude. Nessa secao estudaremos esses quatro
teoremas, comecando com o Teorema de Hahn-Banach.
4.1
Teoremas de Hahn-Banach
A seguir, demonstraremos o teorema de Hahn-Banach em sua forma analtica, para espacos vetoriais
sobre o corpo dos reais. O resultado, na forma que sera apresentado, e devido a S. Banach (1929),
mas uma primeira versao e creditada a H. Hahn (1927). A generalizacao desse teorema para espacos
vetoriais sobre o corpo dos complexos e devida a H. F. Bohnenblust e A. Sobczyk (1938).
Teorema 4.1.1 (Teorema de Hahn-Banach (forma analtica)) Seja E um espaco vetorial sobre
o corpo dos reais e p : E R uma aplicac
ao que satisfaz
p(ax) = ap(x) para todo a > 0 e todo x E
e
p(x + y) p(x) + p(y) para quaisquer x, y E.
Se G E e um subespaco vetorial e g : G R e uma aplicac
ao linear tal que
g(x) p(x) para todo x em G,
ent
ao existe um funcional linear T : E R que estende g e que satisfaz
T (x) p(x) para todo x em E.
Demonstracao. Seja
(4.1)
Note que P e nao-vazio, pois g P. Alem disso, para todo subconjunto totalmente ordenado de
P, existe uma cota superior. Com efeito, se Q P e totalmente ordenado, entao defina h : D(h) R
por
[
D(f ) e h(x) = f (x) se x D(f ) (note que h esta bem definida).
D(h) =
f Q
claro que h P e que h e cota superior para Q. Podemos entao usar o Lema de Zorn e concluir que
E
P admite um elemento maximal, que sera denotado por T .
Mostraremos que D(T ) = E. Suponha que fosse D(T ) 6= E. Escolha x0 E D(T ) e defina
e
h : D(e
h) R com
D(e
h) = D(T ) + [x0 ] e e
h(x + tx0 ) = T (x) + t,
onde e uma constante que sera definida depois, de modo que tenhamos e
h P. Queremos, por
enquanto que satisfaca as desigualdades abaixo:
T (x) + = e
h(x + x0 ) p(x + x0 ) para todo x D(T )
T (x) = e
h(x x0 ) p(x x0 ) para todo x D(T ).
Para tanto, basta escolher de modo que
sup {T (x) p(x x0 )}
xD(T )
xD(T )
x
e
h(x + tx0 ) = e
h(t( + x0 ))
t
x
e
= th( + x0 )
t
x
= t(T ( ) + )
t
x
tp( + x0 )
t
= p(x + tx0 )
Se t < 0,
60
x
e
h(x + tx0 ) = e
h(t(
x0 ))
t
x
= te
h(
x0 )
t
x
= t(T (
) )
t
x
tp(
x0 )
t
= p(x + tx0 )
Se t = 0,
h(x + tx0 ) = e
h(x) = T (x) p(x) = p(x + tx0 ).
Portanto, e
h P, T e
h e T 6= e
h, e isso fere a maximalidade de T . Consequentemente, temos
D(T ) = E e o teorema esta provado.
O proximo corolario `as vezes tambem e enunciado como o Teorema de Hahn-Banach:
Corol
ario 4.1.2 Seja G um subespaco de um espaco vetorial real normado E e seja g : G R um
funcional linear contnuo. Ent
ao existe um funcional linear contnuo T : E R cuja restric
ao a G
coincide com g e kT k = kgk .
Demonstracao. Basta usar o Teorema de Hahn-Banach com p(x) = kgk kxk .
Corol
ario 4.1.3 Seja E um espaco vetorial normado sobre o corpo dos reais. Para todo x0 E existe
um funcional linear contnuo T : E R tal que
2
(4.3)
61
(4.4)
Demonstracao. Antes de tudo, note que de (4.2) e (4.3) temos que p(x) 0 para todo x em E
(este fato sera usado na parte final dessa demnonstracao). Com efeito, de (4.3) temos que
p(0) = p(0 + 0) 2p(0)
e consequentemente p(0) 0. De (4.3), temos que p(x) = p(x) e assim, para todo x em E, temos
2p(x) = p(x) + p(x)
p(x + (x))
= p(0) 0.
Se E e um espaco vetorial real, (4.4) nos garante que g(x) p(x) para todo x em G. Pelo Teorema de
Hahn-Banach para espacos vetoriais reais, temos que existe T : X R que estende g e que
T (x) p(x) para todo x em E.
Dessa desigualdade e de (4.2) temos
T (x) = T (x) p(x) = |1| p(x) = p(x)
e entao
T (x) p(x) para todo x em E.
Logo
|T (x)| p(x) para todo x em E.
Agora, trataremos do caso K = C. Seja E um espaco vetorial sobre o corpo dos complexos. Entao,
g(x) = g1 (x) + ig2 (x),
onde g1 e g2 assumem valores reais. Como artifcio, consideraremos E e G como espacos vetoriais sobre
o corpo dos reais, que serao denotados, respectivamente por Er e Gr . Como g e linear, e claro que g1
e g2 sao funcionais lineares sobre Gr . Como
g1 (x) |g1 (x)| ,
de (4.4) segue que
g1 (x) p(x).
Pelo Teorema de Hahn-Banach, existe T1 : Er R linear, que estende g1 e tal que
T1 (x) p(x).
Agora, estudemos o caso de g2 . Note que se x G,
i [g1 (x) + ig2 (x)] = ig(x) = g(ix) = g1 (ix) + ig2 (ix).
Assim, se x G, temos
g2 (x) = g1 (ix).
(4.5)
(4.6)
4.1.1
Aplicac
oes do Teorema de Hahn Banach para espacos separ
aveis
Proposi
c
ao 4.1.15 Sejam E um espaco normado e M um subespaco fechado de E, y0 E M e
d = dist(y0 , M ). Ent
ao existe E 0 tal que kk = 1, (y0 ) = d e (x) = 0 para todo x em M .
Demonstracao. Seja N = M + [y0 ]. Se z N , entao
z = x + ay0 ,
com a K e x M , u
nicos. Defina
0 : N K
0 (x + ay0 ) = ad.
claro que 0 e linear, 0 (M ) = {0} e que 0 (y0 ) = d. Vamos provar que k0 k = 1. Seja
E
z = x + ay0 N.
64
Se a 6= 0,
y
0 d |a| = |0 (z)|
a
y0 x
ky0 x k .
Entao z N, kz k = 1 e
0 (z ) =
d
d
.
ky0 x k
d+
Como > 0 e arbitrario, segue que k0 k 1. Logo k0 k = 1. Pelo teorema de Hahn-Banach, existe
E 0 que estende 0 e tal que kk = k0 k = 1.
Teorema 4.1.16 Se E 0 for separ
avel, ent
ao E tambem e separ
avel.
Demonstracao. Seja SE 0 a esfera unitaria de E 0 , ou seja,
SE 0 = { E 0 ; kk = 1}.
Como E 0 e separavel, temos que SE 0 e separavel (veja Exerccio resolvido 2.4.14)
Seja {n ; n N} um subconjunto enumeravel e denso de SE 0 , onde Para cada n, existe xn em SE
tal que
1
|n (xn )| .
2
Seja M = [x1 , x2 , ...]. Vamos provar que M = E. Para tanto, suponhamos que seja M diferente de E
e escolhamos y0 E M. Pela Proposicao 4.1.15, existe E 0 com kk = 1 tal que
(y0 ) = d = dist(y0 , M )
(x) = 0 para todo x em M .
Temos entao que
k n k = sup |( n )(x)| |( n )(xn )| = |n (xn )|
kxk1
1
,
2
ou o conjunto
X
x=
(aj + ibj )xj ; n N e aj , bj Q (no caso complexo)
j=1
(4.7)
(4.8)
4.1.2
Formas geom
etricas do Teorema de Hahn-Banach
Nessa secao, demonstraremos dois teoremas, conhecidos como primeira e segunda formas geometricas
do teorema de Hahn-Banach. Antes, precisamos de algumas definicoes e resultados preliminares.
Um pouco sobre hiperplanos
Defini
c
ao 4.1.19 Seja V um espaco vetorial n
ao-nulo. Um hiperplano de V e um subespaco W 6= V
tal que se
W W 0 V,
ent
ao W 0 = V ou W 0 = W.
Teorema 4.1.20 Seja V um espaco vetorial sobre F , V 6= {0}. Se f : V F e um funcional linear
n
ao nulo, ent
ao KerT e um hiperplano de V . Alem disso, para cada hiperplano W de V existe um
funcional linear f : V F que tem como n
ucleo precisamente o hiperplano W .
66
Demonstracao. Como f e nao nulo, temos que Ker(f ) 6= V. Seja W tal que
Ker(f ) W V.
isso que vamos fazer!
Basta mostrar que se Ker(f ) 6= W , entao W = V. E
Escolha v0 W Ker(f ). Tome v V arbitrario. Nossa tarefa sera mostrar que v W.Seja
u=v
f (v)
v0 .
f (v0 )
v =u+
f (v)
v0 ,
f (v0 )
segue que v W .
Agora demonstraremos que todo hiperplano W V e o n
ucleo de um funcional f : V F
adequado. Escolha v0 V W. Seja W 0 = [W {v0 }]. Como W W 0 e W =
6 W 0 , temos que W 0 = V.
Assim, e facil ver que cada v V se escreve de modo u
nico como
v = u + v0 ,
com u W e escalar. O funcional
f :V F
dado por f (u + v0 ) = satisfaz tudo que desejamos.
Assim, hiperplanos sao n
ucleos de funcionais lineares. Se H um hiperplano de V e v0 V, o
conjunto
v0 + H = {v0 + v; v H}
e chamado hiperplano afim de V . Nao e difcil mostrar que os hiperplanos afins sao precisamente os
conjuntos da forma
{v V ; f (v) = },
com f V 0 , f 6= 0 e escalar. De agora em diante chamaremos os hiperplanos afins simplesmente de
hiperplanos.
Note que um hiperplano H V e sempre diferente de V , pois como f e linear e nao-nula, f nao e
constante.
Formas Geom
etricas de Hahn-Banach
67
f (x1 )a
f (x1 )f (x0 ) ,
f (x1 ) a
f (x1 ) a
=
f (x0 ) + 1
f (x1 )
f (x1 ) f (x0 )
f (x1 ) f (x0 )
= a,
e, como tx0 + (1 t)x1 B(x0 ; r), isso contradiz (4.9).
Portanto,
f (x0 + rz) < a
para cada z BE (0; 1). Da,
f (x0 ) + rf (z) < a
e
f (z) <
a f (x0 )
r
kf k
a f (x0 )
r
e f e contnua.
Defini
c
ao 4.1.22 Sejam A, B E. Dizemos que o hiperplano [f = a] separa A e B no sentido
largo se
f (x) a f (y) para quaisquer x A e y B.
Diz-se que [f = a] separa A e B no sentido estrito se existe > 0 tal que
f (x) a e f (y) a + para quaisquer x A e y B.
ao
Defini
c
ao 4.1.23 Seja C E um conjunto convexo, aberto, com 0 C. A aplicac
p:ER
p(x) = inf{a > 0;
x
C}
a
68
p(x) (1 + )1 < 1.
Reciprocamente, se p(x) < 1, entao da definicao de nfimo, existe 0 < a < 1 tal que
x
x=a
+ (1 a).0 C,
a
x
a
C. Logo
pois C e convexo.
(iii) Seja r > 0 tal que B(0; r) C. Logo, se s < r, temos
s
x
C para todo x em E, x 6= 0.
kxk
Assim, kxk
C e
1
s
p(
1
x
) .
kxk
s
x
p(x) +
1
p(x) < 1,
p(x) +
e o mesmo vale para y. Assim, por (ii), segue (4.1.2). Como C e convexo, sendo t =
temos 0 < t < 1 e
x
y
t
+ (1 t)
C
p(x) +
p(y) +
e chegamos a
x+y
p(x)+p(y)+2
p(x)+
p(x)+p(y)+2 ,
x+y
p(x) + p(y) + 2
<1
1
p(x + y) < 1
p(x) + p(y) + 2
e
p(x + y) < p(x) + p(y) + 2.
Como e arbitrario, o resultado segue.
Lema 4.1.25 Seja C E um convexo aberto n
ao-vazio, C 6= E, e seja x0 E C. Ent
ao existe
f E 0 tal que f (x) < f (x0 ) para todo x em C.
69
Demonstracao. Se 0
/ C, escolha z0 C e considere D = {x z0 ; x C}, y0 = x0 z0 . Temos
y0
/ D e como 0 D e D e convexo, podemos definir o funcional de Minkowski
p(x) = inf{a > 0;
x
D}.
a
Defina G = [y0 ] e g(ty0 ) = t para todo real t. Verifique que g(x) p(x) para todo x G. Assim, pelo
Teorema de Hahn-Banach, existe f : E R linear tal que f (x) = g(x) para todo x G e f (x) p(x)
para todo x em E. Pela Proposicao 4.1.24 (iii), existe M > 0 tal que
f (x) p(x) M kxk
e f e contnua. Como p(y) < 1 para todo y D, segue que
f (y) p(y) < 1
e
f (y) < 1 = g(y0 ) = f (y0 ) = f (x0 z0 )
para todo y D. Pela definicao de D, temos entao
f (x z0 ) < f (x0 z0 )
para todo x em C, e
f (x) < f (x0 )
para todo x em C.
Teorema 4.1.26 (Teorema de Hahn Banach, Primeira Forma Geom
etrica) Sejam A, B
E conjuntos convexos, n
ao-vazios, disjuntos. Se A for aberto, existe um hiperplano fechado que separa
A e B no sentido largo.
Demonstracao. Seja C = A B. Note que
C e aberto, pois
C=
(A {b}).
bB
aA
aA
aA
2
.
n
(4.11)
kz1 k<
Da
z1
z2
f (a) + sup f ( ) c f (b) + zinf f ( )
2
k k<1
k z1 k<1
e finalmente
f (a) + kf k c f (b) kf k .
71
4.1.3
Possveis generalizac
oes do Teorema de Hahn-Banach
72
4.2
O Teorema de Banach-Steinhaus
Nessa secao veremos o Princpio (ou Teorema) da Limitacao Uniforme/ Teorema de Banach-Steinhaus.
Para tanto, precisaremos do Teorema de Baire (veja apendice), que ja foi usado na Proposicao 2.8.1.
Teorema 4.2.1 (Teorema de Banach-Steinhaus ) Sejam E e F espacos normados e E completo.
Seja (Ti )iI uma famlia de operadores em L(E; F ) tais que
sup kTi (x)k < para todo x em E.
(4.12)
iI
Ent
ao
sup kTi k < .
iI
{x E; kTi xk n},
iI
S
E=
An
n=1
e, pelo Teorema de Baire, algum An possui interior nao-vazio. Seja n0 o natural tal que An0 tem
interior nao-vazio, e sejam a int(An0 ) e r > 0 tais que
{x E; kx ak r} int(An0 ).
Seja y E com kyk 1. Se x = a + ry, entao
kx ak = kryk r
e portanto x An0 . Assim,
kTi (x a)k kTi (x)k + kTi (a)k n0 + n0
para todo i em I. Logo,
kTi (ry)k = kTi (x a)k 2n0
e
kTi (y)k
para todo i em I. Portanto,
sup kTi k
iI
2n0
r
2n0
.
r
Corol
ario 4.2.2 Sejam E e F espacos normados, com E completo. Seja (Tn )
encia em
n=1 uma sequ
L(E; F ) tal que (Tn x)
n=1 converge em F , qualquer que seja x em E. Se definirmos
T (x) = lim Tn x,
n
ent
ao T L(E; F ).
73
nN
Pelo teorema anterior, existe c > 0 tal que supnN kTn k c e assim
kTn xk kTn k kxk c kxk
para todo x E e n natural. Fazendo n , temos
kT xk c kxk x E
e T L(E; F ).
O corolario acima tambem e chamado de Teorema de Banach-Steinhaus, e, assim como o teorema
anterior, e tamem chamado de Princpio da Limitacao Uniforme.
Exerccio 4.2.3 Se G e um espaco normado, B G e f (B) e limitado para cada f G0 , mostre
que B e limitado. Sugest
ao: Use o Teorema de Banach-Steinhaus com E = G0 , F = K , I = B e
Tb (f ) = f (b).
Exerccio 4.2.4 Seja 1 p < . Se (yj )
e uma sequencia numerica tal que
j=1
xj yj <
j=1
1
p
1
p
= 1.
n
X
xj yj ,
j=1
e esse limite existe (por hipotese). Logo, pelo Corolario 4.2.2, segue que a funcao (linear)
(x) = lim
n
X
xj yj =
j=1
X
xj yj
j=1
74
4.2.1
Nota hist
orica
Pelczynski
Kwapien
Mazur
,
Hilbert Steinhaus Banach
Zelaszco
Schauder
todos famosos matematicos poloneses, exceto Hilbert, que era alemao e Steinhaus, que era de Galicia,
Imperio Austrco, regiao que hoje faz parte da Polonia.
A genealogia de Hilbert tambem e interessante:
Leibniz J.Bernoulli Jacob Bernoulli Euler Lagrange Fourier Dirichlet Lipschitz
Klein Lindemann Hilbert.
Uma boa referencia de pesquisa e http://www.genealogy.ams.org.
4.3
O Teorema da Aplicac
ao Aberta
O Teorema da Aplicacao Aberta e mais um resultado famoso da Analise Funcional, devido a Banach
(1929), e garante que se E e F sao espacos de Banach, entao toda aplicacao linear contnua e sobrejetiva
T : E F e uma aplicacao aberta, isto e, T (A) e aberto em F , sempre que A for aberto em E. Para
demonstra-lo, precisamos do seguinte lema.
Lema 4.3.1 Sejam E e F espacos normados, com E completo e T L(E; F ). Se existirem R, r > 0
tais que
T (BE (0; R)) BF (0; r),
(4.13)
ent
ao
r
T (BE (0; R)) BF (0; ).
2
(4.14)
(4.15)
r
r
, isto e, y T x1 BF (0; ).
4
4
r
.
8
Procedendo por inducao, podemos, para cada n, achar xn BE (0; 2Rn ) tal que
ky T x1 T xn k <
75
r
2n+1
(4.16)
Assim,
P
n=1
kxn k <
R
P
= R.
n
n=1 2
n=1
kxk
P
n=1
kxn k < R
S
n=1
e, como T e sobrejetivo,
F =
BE (0; n)
n=1
S
n=1
Pelo Teorema de Baire, existe n0 natural tal que T (BE (0; n0 )) tem interior nao-vazio. Assim, existe
uma bola de centro b F e raio r > 0 tal que
BF (b; r) T (BE (0; n0 ))
Como
T (BE (0; n0 )) = T (BE (0; n0 )),
temos que
BF (b; r) = BF (b; r) T (BE (0; n0 )).
Como x =
1
2 (b
+ x) +
1
2 (b
BF (0; r)
1
1
BF (b; r) + BF (b; r) T (BE (0; n0 )).
2
2
e
T (BE (x; cn0 )) = T x + T (BE (0; cn0 ))
T x + BF (0; c)
= BF (T x; c).
Agora podemos provar que T (U ) e aberto em F para cada U aberto em E. Sejam x U e c > 0
tais que
BE (x, cn0 ) U.
Entao
T (U ) T (BE (x; cn0 )) BF (T x; c)
e T (U ) e aberto.
O Lema 4.3.1 tem uma versao otimizada que nos foi sugerida por Diogo Diniz:
Lema 4.3.3 (Vers
ao otimizada do Lema 4.3.1) Sejam E e F espacos normados, com E completo
e T L(E; F ). Se existirem R, r > 0 tais que
T (BE (0; R)) BF (0; r),
(4.17)
(4.18)
ent
ao
(1)
2j1
(4.19)
j = 1.
j=1
P
n=1
kxn k < R +
(1 ) R
P
= R.
2n1
n=2
77
(4.20)
n=1
kxk
P
n=1
kxn k < R
0<<1
78
4.4
O Teorema do Gr
afico Fechado
Sejam E e F espacos normados e T : D(T ) F um operador linear tal que D(T ) e subespaco vetorial
de E. O gr
afico de T e o conjunto
G(T ) = {(x, y); x D(T ) e y = T x}.
Dizemos que T e fechado se G(T ) e fechado em E F ; em E F consideramos as operacoes usuais
e a norma e dada por
k(x, y)k = kxk + kyk .
(4.21)
Note que G(T ) e um subespaco vetorial de E F .
Teorema 4.4.1 (Teorema do Gr
afico Fechado) Sejam E e F espacos de Banach e T : D(T ) F
um operador linear fechado com D(T ) E. Ent
ao se D(T ) e fechado em E, T e contnuo. Em
particular, se T : E F e fechado, temos que T e contnuo.
Demonstracao. Note que E F com a norma (4.21) e completo.
Por hipotese, G(T ) e fechado em E F e D(T ) e fechado em E. Assim, G(T ) e D(T ) sao completos.
Considere
: G(T ) D(T )
.
(x, T x) 7 x
Temos que e claramente linear. Alem disso, e contnua, pois
k(x, T x)k = kxk
kxk + kT xk
= k(x, T x)k .
Note ainda que e bijetiva e sua inversa e
1 : D(T ) G(T )
.
x 7 (x, T x)
Pelo Teorema da Aplicacao Aberta, 1 e contnua e existe C > 0 tal que
k(x, T x)k C kxk
para todo x em D(T ). Logo
kT xk kT xk + kxk = k(x, T x)k C kxk
e T e contnua.
Exerccio 4.4.2 Seja T : D(T ) F um operador linear com D(T ) E e E, F espacos vetoriais
normados. Mostre que T e fechado se e somente se vale a seguinte propriedade:
Se xn x E e T xn y F, ent
ao x D(T ) e y = T x.
Exerccio 4.4.3 Sejam X e Y espacos vetoriais normados e T : D(T ) Y e linear contnua, com
D(T ) X.
(a) Se T e fechado e Y Banach, mostre que D(T ) e fechado.
(b) Se D(T ) e fechado, mostre que T e fechado.
79
Solucao. (a) Seja x D(T ) e (xn ) uma sequencia em D(T ), que converge para x. Como T e
contnuo, temos
kT xn T xm k kT k kxn xm k .
Logo (T xn ) e de Cauchy. Como Y e completo, T xn converge para um certo y Y . Como T e fechado
e
(xn , T xn ) (x, y) X Y,
segue que x D(T ) e T x = y. Da D(T ) e fechado.
(b) Se (xn , T xn ) (x, y) X Y, com xn D(T ) para todo n, entao
xn x
T xn y
Logo, x D(T ) = D(T ). Como T e contnua, temos T xn T x. Pela unicidade do limite, segue que
T x = y.
Exerccio 4.4.4 Se T : D(T ) Y e fechado e possui inversa T 1 , mostre que T 1 e fechado.
Exerccio 4.4.5 Sejam X, Y espacos vetoriais normados. Mostre que o n
ucleo de um operador linear
fechado T : X Y e fechado.
Exerccio 4.4.6 Sejam X e Y espacos normados. Se T1 : X Y e fechado e T2 : X Y e contnuo,
mostre que T1 + T2 e fechado.
Exerccio 4.4.7 Mostre que se D X e um subespaco pr
oprio e denso do evn X, ent
ao id : D X
e contnua, mas n
ao tem o gr
afico fechado.
Exerccio 4.4.8 Sejam X um espaco de Banach, Y um evn e T : X Y e um operador fechado. Se
T 1 existe e e contnua, mostre que R(T ) e fechado.
Exerccio 4.4.9 Seja X um espaco de Banach e suponha que (xj )
encia em X tal
j=1 seja uma sequ
que
X
|(xj )| < para todo E 0 .
j=1
Mostre que
sup
|(xj )| < .
kk1 j=1
Sugest
ao: Defina
u : E 0 l1
80
Captulo 5
5.1
Na Analise Funcional, quando nos referirmos `a topologia fraca em um espaco vetorial normado E,
estaremos nos referindo `a topologia fraca em E induzida pela colecao dos funcionais lineares contnuos
E0.
A topologia fraca em E e usualmente denotada por (E, E 0 ). Se uma sequencia (xn )
n=1 converge
w
para x na topologia fraca, escrevemos xn * x.
Exerccio 5.1.1 Se X tem a topologia fraca induzida pela colec
ao {f }, com f : X X , mostre
que f : Y X e contnua se e somente se f f e contnua para cada .
Proposi
c
ao 5.1.2 Um espaco vetorial normado E com a topologia fraca e um espaco de Hausdorff,
isto e, se x1 6= x2 s
ao vetores de E, existem abertos A1 e A2 com A1 A2 = e xj Aj , j = 1, 2.
Demonstracao. Pelo Teorema de Hahn Banach (veja Exerccio 4.1.6), existe f E 0 tal que
f (x1 x2 ) = kx1 x2 k 6= 0.
Assim, f (x1 ) 6= f (x2 ), e existem abertos disjuntos V1 e V2 em K tais que f (x1 ) V1 e f (x2 ) V2 .
Definindo
A1 = f 1 (V1 )
A2 = f 1 (V2 ),
temos que A1 e A2 sao abertos (na topologia fraca), disjuntos, e separam x1 e x2 .
w
Proposi
c
ao 5.1.3 Seja E um espaco vetorial normado. Ent
ao xn * x se e somente se (xn ) (x)
para todo E 0 .
81
Demonstracao. Se xn * x, como cada : (E, (E, E 0 )) K e contnua, temos que (xn ) (x).
Reciprocamente, suponha que (xn ) (x) para cada E 0 . Seja A um aberto da base da
topologia fraca de E, com x A. Pela definicao da topologia fraca, existem n N 1 , ..., m E 0 e
V1 , ..., Vm abertos em K tais que
m
T
xA=
1
j (Vj ).
j=1
e xn * x.
w
Corol
ario 5.1.4 Em um espaco vetorial normado E, se xn x, ent
ao xn * x.
Demonstracao. Se xn x, entao f (xn ) f (x) para todo f E 0 e, pela Proposicao 5.1.3, temos
w
xn * x.
Proposi
c
ao 5.1.5 Seja E um espaco vetorial normado. Os conjuntos da forma
VI, = {x E; |i (x) i (x0 )| < para todo i I}
com I finito, i E 0 e > 0 formam uma base de vizinhancas (abertas) de x0 para a topologia fraca.
Demonstracao. Seja U uma vizinhanca de x0 na topologia fraca. Pela definicao da topologia fraca,
existe um aberto V da topologia fraca, contendo x0 tal que
T 1
V =
i (Vi ) U,
iI
com I finito e cada Vi aberto em K. Como V contem x0 , temos que cada Vi e vizinhanca de i (x0 ).
Assim, como I e finito, existe > 0 tal que
B(i (x0 ), ) Vi
para todo i. Temos que
VI, = {x E; |i (x) i (x0 )| < para todo i I}
T 1
T 1
=
i (B(i (x0 ), ))
i (Vi ) U,
iI
iI
e portanto os conjuntos da forma {x E; |i (x) i (x0 )| < para todo i I} formam uma base de
vizinhancas abertas de x0 para a topologia fraca.
Proposi
c
ao 5.1.6 Seja E um espaco vetorial normado. Ent
ao
w
(i) xn * x (kxn k)
e
limitada
e
kxk
lim
inf
kx
k
.
n
n=1
w
(ii) Se xn * x e fn f em E 0 , ent
ao fn (xn ) f (x).
82
kf k=1
(5.1)
Note que cada fi e linear e contnua, pois dim E < . Temos que
(0)
kx x0 k = (xj xj )ej
j=1
n
P
(0)
xj xj
=
j=1
n
P
j=1
|fj (x x0 )| .
83
Agora defina
V = {x E; |fi (x) fi (x0 )| <
e perceba que se x V , entao
kx x0 k
r
, i = 1, ..., n}
2n
n r
P
r
= .
2n
2
j=1
Logo V B(x0 , r) U.
Proposi
c
ao 5.1.8 Se dim E = , a topologia fraca e a topologia da norma nunca coincidem.
Demonstracao. Seja S a esfera unitaria de E, isto e, S = {x E; kxk = 1}. Sabemos que S e
fechado na topologia forte (da norma). Vamos mostrar que S nao e fechado na topologia fraca. Para
tanto, mostraremos que
{x E; kxk < 1}
esta contido no fecho de S, na topologia fraca.
Seja x0 E tal que kx0 k < 1 e seja V = Vx0 um aberto (na topologia fraca) contendo x0 . Para
claro que
mostrar que x0 pertence ao fecho de S na topologia fraca, basta mostrar que S V 6= . E
basta considerar V como sendo um aberto da base de vizinhancas de x0 . Portanto, existem > 0 e
f1 , ..., fn em E 0 tais que
V = {x E; |fi (x) fi (x0 )| < , i = 1, ..., n}.
Seja y0 E {0} tal que fi (y0 ) = 0 para todo i = 1, ..., n. Note que isso e possvel, pois caso
contrario a transformacao linear
T : E Kn
z 7 (fi (z))nj=1
seria injetiva, e isso e impossvel.
Considere
r:RR
t 7 kx0 + ty0 k
Como r e contnua, r(0) = kx0 k < 1 e limt r(t) = , o Teorema do Valor Intermediario garante a
existencia de um certo t0 tal que
kx0 + t0 y0 k = r(t0 ) = 1
Portanto
x0 + t0 y0 S V.
84
5.2
Em E 0 , por enquanto podemos considerar a topologia gerada pela norma e tambem a topologia fraca.
Vamos definir uma outra topologia em E 0 . Considere a aplicacao
J : E E 00
com
Jx : E 0 K
dada por
Jx(f ) = f (x).
Note que Jx de fato pertence a E 00 e portanto J esta bem definida. Alem disso, e linear e contnua.
De fato, J e linear, pois
J(ax + y)(f ) = f (ax + y) = af (x) + f (y)
= aJ(x)(f ) + J(y)(f ).
Alem disso, J e uma isometria sobre a imagem, pois
kJxk = sup |Jx(f )| = sup |f (x)| = kxk .
kf k1
kf k1
Ker(i ) Ker.
i=1
Ent
ao existem escalares a1 , ..., an tais que
=
n
X
ai i .
i=1
n
\
Ker(i ).
i=1
Portanto,
g(1 (x), ..., n (x)) =
n
X
aj j (x).
j=1
Como
g(1 (x), ..., n (x)) = f (1 (x), ..., n (x)) = (x),
segue que
(x) =
n
X
aj j (x).
j=1
Se Jxi (f ) = f (xi ) = 0 para todo i = 1, ..., n, temos claramente que f V. Nesse caso, para todo
natural k, temos (kf )(xi ) = 0 para todo i, e portanto
kf V.
Logo
(kf ) B(0; 1)
e
1
(f ) B(0; )
k
para todo k natural. Logo (f ) = 0. Conclumos que se Jxi (f ) = 0 para todo i = 1, ..., n, entao
(f ) = 0. Logo
n
\
Ker(Jxi ) Ker.
i=1
Pelo lema anterior, temos que existem escalares a1 , ..., an tais que
n
X
= a1 Jx1 + + an Jxn = J aj xj .
j=1
Corol
ario 5.2.7 (E 00 , (E 00 , E 0 ))0 = J(E 0 ).
ao evn e f : E F e linear e contnua, mostre que f : (E, (E, E 0 ))
Exerccio 5.2.8 Se E e F s
0
(F, (F, F )) e contnua.
Solucao. Seja x0 E e V uma vizinhanca aberta de f (x0 ). Podemos supor V um aberto da forma
V = {y F ; |i (y) i (f (x0 ))| < , i = 1, ..., n}.
Como cada i F 0 , segue que i f E 0 . Considere, entao, o aberto W (na topologia fraca) definido
por
W = {x E; |i f (x) i f (x0 )| < , i = 1, ..., n}.
Note que se x W, entao f (x) V , e conclumos que f : (E, (E, E 0 )) (F, (F, F 0 )) e contnua.
5.2.1
O Teorema de Banach-Alaoglu-Bourbaki
87
Portanto x0 = J(x0 ), e da, pela definicao da topologia fraca estrela em E 0 , temos que x0
e contnua. Finalmente, lembrando que a topologia produto em Y e gerada pelas projecoes x0 , o
Exerccio 5.1.1 nos garante que e contnua.
A injetividade da aplicacao nos permite considerar a nova aplicacao
: E 0 (E 0 ).
claro que e bijetiva. Como e contnua, pelo Exerccio 9.2.49, segue que
definida por (f ) = (f ). E
e contnua. Mostraremos que essa aplicacao e bem mais que isso: e um homeomorfismo. Considere,
portanto sua inversa 1 .
Como E 0 esta munido com a topologia fraca estrela, novamente o Exerccio 5.1.1 garante que 1
sera contnua se provarmos que para cada x0 , as aplicacoes
J(x0 ) 1 : (E 0 ) K
sao contnuas. Note que
pois
J(x0 ) 1 = (x0 | (E 0 ))
(5.2)
Portanto, como Y esta com a topologia produto, temos que x0 e contnua e a restricao (x0 | (E 0 ))
tambem. Assim, de (5.2), temos que todas as J(x0 ) 1 sao contnuas e portanto 1 e contnua.
Conclumos, portanto, que E 0 e homeomorfo a um subespaco (E 0 ) de Y e consequentemente BE 0
e homeomorfo a (BE 0 ).
Assim, para provar que BE 0 e compacto na topologia fraca estrela, basta provar que (BE 0 ) e
compacto em (E 0 ). Mas, pelo Exerccio 9.2.103, basta mostrar que (BE 0 ) e compacto em Y.
Note que
(BE 0 ) = { E 0 ; kk 1} = { E 0 ; |(x)| kxk x E}.
Assim,
(BE 0 )
Pelo Teorema de Tychonoff,
[ kxk , kxk].
xE
xE
5.3
Espacos reflexivos
ao can
onica J : E E 00 for
Defini
c
ao 5.3.1 Um espaco normado E e dito reflexivo se a aplicac
00
bijetiva, ou seja, J(E) = E .
O proximo resultado mostra que nao ha perda de generalidade em definir reflexividade
exclusivamente em espacos de Banach:
Proposi
c
ao 5.3.2 Se um espaco normado e reflexivo, e necessariamente completo.
88
Demonstracao. Da Algebra
Linear, se E tem dimensao finita, entao o dual algebrico de E tem
mesma dimensao que E. Mas como a dimensao e finita, o dual algebrico coincide com o dual topologico.
Logo E e E 0 tem mesma dimensao. O mesmo se aplica a E 00 . Como J:E E 00 e uma isometria sobre
a imagem e E e E 00 tem mesma dimensao, segue que J(E) = E 00 .
Defini
c
ao 5.3.4 Se T L(E; F ), definimos T 0 L(F 0 ; E 0 ) por
T 0 (f )(x) = f (T x).
O operador T 0 e chamado adjunto de T .
Note que T 0 e linear e kT 0 k = kT k. De fato, se y 0 F 0 , temos
kT 0 y 0 k = sup |T 0 y 0 (x)| = sup |y 0 (T x)|
kxk1
kxk1
sup ky 0 k kT xk ky 0 k kT k .
kxk1
Logo
kT 0 k kT k .
ky 0 k1
kT k kT 0 k .
Proposi
c
ao 5.3.5 Se T L(E; F ) e um isomorfismo isometrico, ent
ao T 0 L(F 0 ; E 0 ) tambem e um
isomorfismo isometrico.
Demonstracao. Primeiro vejamos que T 0 e sobrejetiva. Seja g E 0 . Considere h F 0 dada por
h(z) = g(T 1 (z)) e perceba que T 0 (h) = g. Portanto T 0 e sobrejetiva. Para mostrar que T 0 e uma
isometria, basta mostrar que kT 0 f k = kf k para todo f em F 0 . Isso nao e complicado:
kT 0 f k = sup |T 0 f (x)| = sup |f (T x)| = sup |f (T x)|
kxk1
kxk1
kT xk1
= sup |f (z)| = kf k .
kzk1
89
ao
Sejam x = (xj )
j=1 lp , y (lp ) e T y = (j )j=1 lq . Ent
X
xj j = y 0 (x) = J(x)(y 0 )
j=1
T 0 S = J.
90
Captulo 6
Operadores compactos
e portanto T e contnuo.
(b) O conjunto BX = {x X; kxk 1} e limitado. Como X tem dimensao infinita, BX nao e
compacto. Logo, id(BX ) = BX = BX , que nao e compacto.
Teorema 6.1.3 Sejam X e Y espacos normados e T : X Y um operador linear. Ent
ao T
e compacto se e somente se T leva sequencias limitadas em sequencias que possuem subsequencia
convergente.
Demonstracao. Suponha T compacto e (xn )
encia limitada em X. Entao,
n=1 uma sequ
{T (xn ); n N} e compacto. Assim, (T (xn ))
encia convergente (lembre-se que
n=1 possui uma subsequ
em espacos metricos, um conjunto e compacto se e somente se e sequencialmente compacto)
Reciprocamente, suponha que toda sequencia limitada em X seja levada, por T , numa sequencia
que possui subsequencia convergente.
Seja B X um subconjunto limitado. Para mostrar que T (B) e compacto, mostraremos que e
sequencialmente compacto. Seja (yn )
encia em T (B).
n=1 uma sequ
Se houver infinitos ndices n para os quais yn T (B), podemos nos restringir a uma subsequencia
encia convergente, e portanto
otese, (T (xnk ))
(ynk ) = (T (xnk ))
k=1 possui uma subsequ
k=1 . Por hip
(yn )
possui
subsequ
e
ncia
convergente.
n=1
91
Suponha que so existem finitos ndices n tais que yn T (B). Nao ha perda de generalidade se
supusermos todos os elementos da sequencia em T (B) T (B). Para cada yj , considere xj B
tal que
1
kT (xj ) yj k < .
j
em possui. Logo,
Como (T (xj ))
encia convergente, segue que (yj )
j=1 tamb
j=1 possui subsequ
T (B) e compacto.
Exerccio 6.1.4 Mostre que se T1 , T2 : X Y s
ao compactos, ent
ao T1 + T2 e compacto.
Teorema 6.1.5 Sejam X um espaco vetorial normado e Y um espaco de Banach. Se (Tn )
e uma
n=1
sequencia de operadores lineares compactos de X em Y e
lim kTn T k = 0,
ent
ao T e compacto.
Demonstracao. Seja (xm )
encia limitada em X. Pelo Teorema 6.1.3 basta mostrar
m=1 uma sequ
encia
encia convergente. Como T1 e compacto, (xm )
que (T (xm ))
m=1 tem subsequ
m=1 possui subsequ
e de Cauchy.
(x1,m )
m=1 tal que (T1 (x1,m ))m=1
e de Cauchy.
encia (x2,m )
Analogamente, (x1,m )
m=1 tal que (T2 (x2,m ))m=1
m=1 possui subsequ
Procedendo dessa forma, a sequencia diagonal
.
3c
.
3
.c + + .c = .
3c
3 3c
Logo, (T (ym ))
e de Cauchy e converge, pois Y e Banach. Lembrando que (ym )
e
m=1
m=1
subsequencia de uma sequencia limitada arbitraria (xm )
,
segue
que
T
e
compacto.
m=1
O resultado anterior implica:
92
Corol
ario 6.1.6 O espaco vetorial formado pelos operadores lineares compactos de E em F e um
subespaco fechado de L(E; F ).
Proposi
c
ao 6.1.7 Seja X um evn e sejam T : X X e S : X X operadores lineares, com T
compacto e S contnuo. Ent
ao T S e S T s
ao compactos.
Demonstracao. Demonstraremos primeiro que T S e compacto. Seja B X um conjunto
limitado. Como S e contnuo, segue que S(B) e limitado e a compacidade de T garante que T (S(B))
e relativamente compacto. Logo T S e um operador compacto.
Agora mostraremos que S T e compacto. Seja (xn )
encia limitada em X. Ent
ao,
n=1 uma sequ
6.2
n
X
aj xj .
j=1
Assim
(T n I)z = (T n I)
n
X
aj xj =
j=1
n
X
j=1
aj T xj
n
X
n a j x j
j=1
e consequentemente
(T n I)z Mn1
(6.1)
para todo z Mn . Cada Mn e fechado, pois tem dimensao finita, e portanto, o Lema de Riesz (com
E = Mn e M = Mn1 ) garante que existe uma sequencia (yn )
n=1 tal que
yn Mn , kyn k = 1 e kyn zk
93
1
para todo z Mn1 .
2
1
k0 (n > m)
(6.2)
2
nao possui subsequencia convergente, pois k0 > 0, e isso vai contradizer
kT yn T ym k
T y n T y m = n y n x
e,
(6.3)
x
e = (n yn T yn ) + T ym .
(6.4)
com
Seja m < n. Note que x
e Mn1 . De fato, como m n 1, temos que
ym Mm Mn1 =< x1 , ..., xn1 > .
Entao
T ym Mn1 ,
(6.5)
n yn T yn = (T n I)yn Mn1 .
(6.6)
1
e.
n x
Entao x Mn1 e
kn yn x
ek = |n | kyn xk
1
1
|n | k0 .
2
2
(6.7)
De (6.7) e (6.3), segue (6.2) e, como ja foi dito, isso nos leva a uma contradicao.
Observa
c
ao 6.2.2 O teorema anterior implica que se um operador linear compacto possui infinitos
autovalores, ent
ao eles formam uma sequencia que converge para zero.
Teorema 6.2.3 Seja T : X X um operador compacto em um espaco normado X. Ent
ao, para todo
6= 0, o n
ucleo de T := T I, denotado por Ker(T ), tem dimens
ao finita.
Demonstracao. Basta mostrar que a bola unitaria fechada B de Ker(T ) e compacta.
encia em B. Entao kxn k 1 e (T (xn ))
encia
Seja (xn )
n=1 possui uma subsequ
n=1 uma sequ
convergente (T xnk )
.
Como
x
Ker(T
),
temos
n
k=1
0 = T xn = T xn xn ,
e da
Assim,
xn = 1 T xn .
(xnk )
k=1
6.3
Nessa secao, os espacos vetoriais normados sempre serao considerados sobre o corpo dos complexos.
Seja E um espaco vetorial normado sobre o corpo dos complexos, E 6= {0} e T : D(T ) E um
operador linear com domnio D(T ) E. Associamos a T o operador
T = T I,
onde e um n
umero complexo e I e o operador identidade. Denotamos a imagem de T pot R(T )
1
Quando T possui inversa (i.e., T e injetiva), denotamos (T ) por R (T ) e denominamos R (T ) de
resolvente de T .
Um valor regular de T e um n
umero complexo tal que
(R1) R (T ) existe
(R2) R (T ) e limitado
(R3) R (T ) e definido num conjunto denso em E.
O conjunto resolvente (T ) de T e o conjunto de todos os valores regulares de T . Seu
complemento, isto e, C (T ), e chamado espectro de T, denotado por (T ).
Se dim E < , sabemos que T e injetiva se, e somente se, T e sobrejetiva. Segue que T vai
possuir inversa quando, e apenas quando, for bijetiva. Portanto, se (R1) for valida, (R2) e (R3) tambem
serao validas. Logo (T ) se e somente se T nao e injetiva, i.e., quando e apenas quando e um
autovalor de T . Em resumo, em dimensao finita, o conjunto formado pelos autovalores de T coincide
com o espectro de T.
Em dimensao infinita, e facil ver que autovalores de T ainda sao sempre elementos do espectro de
T, mas a igualdade, em geral, nao ocorre. Por exemplo, consideremos
T : l2 l2 dado por T (x) = (0, x1 , x2 , ...)
claro que = 0 nao e autovalor, mas 0 (T ), pois T0 = T e injetiva (portanto possui inversa),
E
mas a imagem nao e densa em l2 , e consequentemente (R3) nao ocorre.
De agora em diante, nessa secao, H sempre sera um espaco de Hilbert (sobre os complexos).
Proposi
c
ao 6.3.1 Seja H um espaco de Hilbert e T L(H, H) um operador n
ao-nulo, compacto e
auto-adjunto. Ent
ao kT k ou kT k e um autovalor de T , e existe um autovetor associado x H com
kxk = 1 e tal que
|(T x, x)| = kT k .
Demonstracao. Pelo Corolario 3.6.5, podemos encontrar uma sequencia de vetores unitarios (xn )
n=1
tais que
(T xn , xn ) ,
com = kT k ou kT k . Note que
2
0 kT xn xn k = (T xn xn , T xn xn )
2
= kT xn k (T xn , xn ) (xn , T xn ) + 2 kxn k
2
kT k 2(T xn , xn ) + 2 .
Mas, como
lim
2
kT k 2(T xn , xn ) + 2 = 0,
95
segue que
lim (T xn xn ) = 0.
(6.8)
e, como (T yn ) e convergente, segue que (yn ) e convergente. Seja y = limn yn (note que y 6= 0,
pois kyn k = 1 e 6= 0). De (6.9), temos
lim T yn = y
(6.10)
y
.
(6.11)
conclumos que
|(T x, x)| = kT k .
Lema 6.3.2 Se E e um espaco de Banach, T : E E e um operador linear e (T ), ent
ao, se T
for fechado ou limitado, temos
D(R (T )) = E.
Demonstracao. (a) Se T for fechado, entao T e fechado (veja Exerccio 4.4.6). Assim, G(T ) e
fechado. Da G(R (T )) e fechado. Assim, R (T ) e um operador fechado e, pelo Exerccio 4.4.3 (a),
segue que D(R (T )) e fechado. Portanto,
D(R (T )) = D(R (T )) = E.
(b) Se T for limitado, como D(T ) = E, segue que T e fechado (Exerccio 4.4.3 (b)). Pelo que foi
feito no item (a), conclumos que D(R (T )) = E.
Teorema 6.3.3 Seja T : H H um operador auto-adjunto (contnuo). Ent
ao (T ) se, e somente
se, existe c > 0 tal que
kT xk c kxk ,
onde T = T I.
Demonstracao. Se (T ), entao R = T1 : H H existe e e contnuo (note que o domno e
todo o H, devido ao Lema 6.3.2). Seja k = kR k . Temos que k > 0, pois R nao e nulo (perceba que
R e injetivo). Entao
kxk = kR T xk kR k kT xk
= k kT xk
e da segue que
kT xk
96
1
kxk .
k
(6.12)
para todo x H.
Para garantir que (T ), vamos mostrar que:
(a) T : H T (H) e bijetiva.
(b) T (H) e denso em H.
(c) T (H) e fechado em H.
De fato, se provarmos que (a), (b) e (c) ocorrem, teremos que T (H) = H e R sera contnua pelo
Teorema da Aplicacao Aberta (lembre-se que, por hipotese, T e contnuo e portanto T e contnuo).
(a) Se T (x1 ) = T (x2 ), entao
0 = kT (x1 ) T (x2 )k = kT (x1 x2 )k
c kx1 x2 k .
Logo, x1 = x2 e o resultado segue.
(b) Mostraremos que T (H) = {0}. Note que isso e suficiente, pois H = T (H) T (H) .
1
1
kT (xn xm )k = kyn ym k .
c
c
Portanto, (xn ) e de Cauchy (pois (yn ) e convergente). Como H e completo, temos que (xn ) converge.
Digamos que convirja para um certo x H. Como T e contnua, temos que T e contnua e
yn = T xn T x T (H).
Como o limite e u
nico, temos y = T x. Da y T (H), e conclumos que T (H) e fechado.
Teorema 6.3.4 O espectro (T ) de um operador linear auto-adjunto (contnuo) T : H H e real.
97
(6.13)
(T x, x) = (T x, x) (x, x)
(6.14)
Logo
= (T x, x) (x, x).
Fazendo (6.14) menos (6.13), obtemos
(T x, x) (T x, x) = (x, x)( )
2
= 2i kxk .
Logo
2 Im(T x, x) = 2i kxk
e da conclumos que
(6.15)
para todo x 6= 0. Podemos, entao, concluir que (6.15) ocorre para todo x H, pois o caso x = 0 e
trivial. Pelo Teorema anterior, segue que (T ).
Exerccio 6.3.5 (Propriedade de Ideal) Sejam Xj espacos normados e Tj : Xj Xj+1 , j =
1, 2, 3, operadores lineares contnuos. Se T2 e compacto, mostre que T = T3 T2 T1 : X1 X4 e
compacto.
Exerccio 6.3.6 Se X e um evn de dimens
ao infinita e T : X X e um operador linear compacto
bijetivo, mostre que T 1 n
ao e contnua.
ao infinita e T : X X e um operador linear compacto
Exerccio 6.3.7 Se X e um evn de dimens
bijetivo, mostre que X n
ao e completo. Sugest
ao: Se X fosse completo, o que diria o TAA ?
Exerccio 6.3.8 Se T : X X e um operador linear compacto, mostre que dado k > 0, existe, no
m
aximo, uma quantidade finita de autovetores LI de T , correspondentes a autovalores , com || > k.
98
Captulo 7
evts e elcs
A generalizacao natural de evn e o conceito de espacos vetoriais topologicos, que estudaremos a seguir.
No decorrer desse captulo revisitaremos o teorema de Hahn-Banach e as topologias fracas.
co vetorial topol
ogico (evt)
Defini
c
ao 7.1.1 Um espaco vetorial E sobre um corpo K e um espa
sobre K se
(a) E e um espaco topol
ogico.
(b) A aplicac
ao (x, y) E E x + y E e contnua.
(c) A aplicac
ao (a, x) K E ax E e contnua.
Observa
c
ao 7.1.2 Em K consideramos a topologia usual e em E E e KE consideramos a topologia
produto, que tem produtos cartesianos de abertos como base.
Note que todo espaco vetorial normado e um espaco vetorial topologico.
Proposi
c
ao 7.1.3 Se E e um evt, x0 E e a K, ent
ao a translac
ao
x E x + x0 E
e a homotetia
x E ax E
s
ao homeomorfismos.
Demonstracao. Basta ver a translacao como a composicao
x E (x, x0 ) E E x + x0 E
e a homotetia como a composicao
x E (a, x) K E ax E,
e observar que a definicao de evt e a definicao da topologia produto garantem que todas as funcoes
envolvidas sao contnuas.
99
Corol
ario 7.1.4 Se E e um evt, V e uma vizinhanca de zero em E se e somente se V + x0 e uma
vizinhanca de x0 em E.
Demonstracao. Basta lembrar que homeomorfismos levam abertos em abertos.
Defini
c
ao 7.1.5 Seja E um espaco vetorial e A E.
(a) A e dito absorvente se dado x E, existir 0 > 0 tal que x A para todo K com
|| 0 .
(b) A e dito equilibrado se x A para todo x A e K com || 1.
(c) A e dito convexo se x + y A para cada x, y E e , 0 com + = 1.
Um evt e dito localmente convexo (elc) se cada vizinhanca de zero contem uma vizinhaca de zero
convexa.
Exerccio 7.1.6 Seja E um espaco vetorial. Mostre que a intersec
ao de conjuntos equilibrados e um
conjunto equilibrado e que a intersec
ao de conjuntos convexos e um conjunto convexo.
Proposi
c
ao 7.1.7 Seja E um evt e seja U a famlia de todas as vizinhancas de zero em E. Se U U ,
ent
ao
(a) U e absorvente.
(b) Existe V U tal que V + V U.
(c) Existe V U, V equilibrado, tal que V U .
Demonstracao. (a) Seja x0 E. A aplicacao f : K E dada por
K x0 E
e contnua, pois e a composicao das aplicacoes contnuas
K (, x0 ) K E
e
(, x) K E x E.
Logo, existe > 0 tal que
|| < f () U,
ou seja,
x0 U sempre que || < ,
ou ainda,
x0 U sempre que || > 1/.
(b) Como
g : (x, y) E E x + y E
e contnua e g(0, 0) = 0, existe V U tal que g(V V ) U, ou seja, V + V U.
(c) Seja
= { K; || 1}.
A aplicacao
(, x) K E x E
e contnua e leva (, 0) em 0. Logo, existem A vizinhanca de em K e V U tais que
x U
100
(7.1)
Proposi
c
ao 7.1.9 Em um evt, toda vizinhanca de zero contem uma vizinhanca fechada e equilibrada
de zero.
101
Demonstracao. Seja V uma vizinhanca de zero. Entao, existe uma vizinhanca equilibrada U de zero
tal que U + U V . Vejamos que U V (note que U e equilibrado, pois e o fecho de um equilibrado).
Se x U , entao (x + U ) U 6= , isto e, existe y U tal que x + y U. Logo
x y + U U + U V.
Para espacos localmente convexos, temos um resultado mais forte que a Proposicao 7.1.7:
Proposi
c
ao 7.1.10 Seja E um elc e U a famlia de todas as vizinhancas de zero em E. Se U U ,
ent
ao
(a) U e absorvente.
(b) Existe V U tal que V + V U.
(c) Existe V U, V equilibrada, convexa e fechada, tal que V U .
Demonstracao. (a) e (b) ja sao conhecidas. Vamos mostrar (c). Seja U1 uma vizinhanca de zero.
Dentro de U1 , existe uma vizinhanca fechada U2 de zero e dentro de U2 podemos considerar U uma
vizinhanca de zero convexa, pois E e um elc. Entao, sabemos que U contem uma vizinhanca equilibrada
W de zero. Para cada s K, com |s| = 1, temos, pelo fato de ser W equilibrada,
sW W
s
W W.
Assim,
W = s1 (sW ) s1 W
W = s(s1 W ) sW
a portanto
sW = W = s1 W
sU.
|s|=1
102
De fato, se s1 |t| u s1 |t| U , temos s1 |t| u = |t| (s1 u) + (1 |t|)0 s1 U (pois s1 U e convexo). Portanto
tv s1 U. Como s varia por todos os |s| = 1, temos que s1 varia por todos os |s1 | = 1. Da
\
tv
s1 U = V.
|s1 |=1
Assim, encontramos uma vizinhanca de zero V , convexa e equilibrada, contida em U. Como fecho
de convexo e convexo e fecho de equilibrado e equilibrado, segue que
V U2
e V e uma vizinhanca de zero fechada, convexa e equilibrada, com V U2 U1 .
Defini
c
ao 7.1.11 Seja E um espaco vetorial sobre K. Uma seminorma em E e uma aplicac
ao
p : E R que satisfaz
(a) p(x) 0 para todo x E.
(b) p(x) = || p(x) para todo K e x E.
(c) p(x + y) p(x) + p(y) para quaisquer x, y E.
Note que se p e uma seminorma, (b) nos diz que p(0) = 0.
Exerccio 7.1.12 Se p : E R e uma seminorma, mostre que
|p(x) p(y)| p(x y)
A seguir veremos como se comportam transformacoes lineares em evts.
ao linear. Ent
ao T e contnuo
Proposi
c
ao 7.1.13 Sejam E e F evts e T : E F uma transformac
se e somente se T e contnuo em 0.
Demonstracao. Exerccio.
Teorema 7.1.14 Seja T : E K um funcional linear T 6= 0 em um evt E. As seguintes sentencas
s
ao equivalentes:
(a) T e contnuo.
(b) Ker(T ) e fechado.
(c) T e limitado em alguma vizinhanca de zero.
Demonstracao. (i) implica (ii) e claro, pois {0} e fechado em K.
Suponha agora Ker(T ) fechado e diferente de E. Assim, Er Ker(T ) e aberto (nao-vazio) em E.
Entao, V = E r Ker(T ) e uma vizinhanca (aberta) de x V . Seja
U = V x.
Entao U e uma vizinhanca aberta de zero, e portanto contem uma vizinhanca equilibrada W de 0.
Logo
x+W V
e portanto
(x + W ) Ker(T ) = .
(7.2)
Suponhamos finalmente (c). Existem, entao, uma vizinhanca V de 0 e algum K > 0 tais que
|T (v)| < K
para todo v V . Dado > 0, temos portanto
|T (x)| <
se x
KV
(7.3)
claro que pA (x) 0. Vamos mostrar primeiro que p(x) = || p(x) para todo
Demonstracao. E
K e x E.
Se = 0, o resultado e facil.
Suponha 6= 0. Seja > 0 tal que x A. Logo x A = || A, pois A e equilibrado.
Portanto, se x A, temos
pA (x) ||
e
pA (x) || inf{ > 0; x A} = || pA (x).
(7.4)
A=
A
||
e da
pA (x)
Logo
pA (x)
.
||
1
pA (x)
||
e
pA (x) || pA (x).
De (7.4) e (7.5) segue que pA (x) = || pA (x).
Nos resta provar que pA (x + y) pA (x) + pA (y) para quaisquer x, y E.
Sejam , > 0 tais que x A e y A. Logo
x + y A + A
e, como A e convexo, temos
A + A
+
A
A
= ( + )
+
( + )A,
+ +
x + y ( + )
104
(7.5)
pois
1,
1e
+
= 1.
+
+
+ +
Portanto
pA (x + y) +
e consequentemente
pA (x + y) pA (x) + pA (y).
Agora demonstraremos (7.3).
Se pA (x) < 1, entao existe tal que pA (x) < 1 tal que
x A A,
pois A e equilibrado. Da
{x E; pA (x) < 1} A.
A inclusao de A em {x E; pA (x) 1} e imediata.
Proposi
c
ao 7.1.17 Seja E um espaco vetorial e p : E R uma seminorma. Se
A = {x E; p(x) 1},
ent
ao A e convexo, equilibrado, absorvente e
pA (x) = p(x)
para todo x em E.
Demonstracao. Se a, b > 0 e x, y A, temos
p(ax + by) ap(x) + bp(y) a + b = 1.
Logo ax + by A e A e convexo. Se || 1 e x A, temos
p(x) = || p(x) 1.
Logo x A e A e equilibrado.
Agora mostraremos que A e absorvente. Seja x E.
Se x A, entao
x 1A.
(7.6)
Note que, como A = {x E; p(x) 1}, e facil ver que se x 0 A, entao x 1 A sempre que
|1 | |0 | . Portanto, de (7.6) segue que x A sempre que || 1.
x
Se x
/ A, entao p(x) > 1 e portanto p(x)
A e portanto
x p(x)A
e consequentemente x A sempre que || p(x). Logo A e absorvente.
Da Proposicao 7.1.16, temos
{x E; pA (x) < 1} A {x E; pA (x) 1}.
Se p(x) = 0, entao x A para todo > 0. Logo x A para todo > 0 e pA (x) = 0. Assim,
pA (x) = p(x).
rx
rx
105
kxk
r .
7.2
Seminormas e topologias
A seguir veremos como um espaco vetorial (sem topologia) pode ser munido de uma topologia natural
e se tornar um evt localmente convexo, a partir de uma famlia de seminormas.
No que segue, se P = {p ; } e uma famlia de seminormas em um espaco vetorial E,
definiremos os conjuntos
V (x0 , p1 , ..., pn ; ) = {x E; pi (x x0 ) < , i = 1, ..., n},
onde x0 E, > 0 e p1 , ..., pn P.
Exerccio 7.2.1 Mostre que
V (x0 , p1 , ..., pn ; ) = x0 + V (0, p1 , ..., pn ; ).
Exerccio 7.2.2 Seja E um espaco vetorial e sejam p1 e p2 seminormas em E.
p(x) = p1 (x) + p2 (x) e q(x) = max{p1 (x), p2 (x)} s
ao seminormas em E.
Mostre que
Teorema 7.2.3 Seja E um espaco vetorial e P uma famlia de seminormas em E. Para cada
x E, seja seja Vx a colec
ao de todos os subconjuntos de E da forma V (x, p1 , ..., pn ; ), com n N,
p1 , ..., pn P e > 0. Seja 2E com e tal que os outros elementos de s
ao todos os conjuntos
G E da forma
x G (existe U Vx com U G).
Ent
ao e uma topologia em E compatvel com a estrutura de espaco vetorial (isto e, a soma e
produto por escalar s
ao contnuas) e cada conjunto Vx e uma base de vizinhancas de x. Alem disso,
cada seminorma p P e contnua e (E, ) e um espaco de Hausdorff se e somente se para cada x E
com x 6= 0, existe um p P tal que p(x) 6= 0.
A topologia ser
a chamada de topologia determinada (ou gerada) pela famlia de
seminormas P.
Demonstracao. Da definicao de , e imediato que E e que uniao arbitraria de elementos de
ainda e um elemento de . Mostraremos que se A, B , entao A B .
Se A B = , temos que A B . Suponhamos que A B 6= e x A B. Entao, existem
U, V Vx tais que U A e V B. Existem, portanto, seminormas p1 , ..., pm , q1 , ..., qn e 1 , 2 > 0
tais que
U = V (x, p1 , ..., pm ; 1 ) e V = V (x, q1 , ..., qn ; 2 ).
Assim, se
W = V (x, p1 , ..., pm , q1 , ..., qn ; min{1 , 2 }),
temos que W Vx e W U V A B. Logo A B e e uma topologia em E.
Agora, mostraremos que se U Vx , entao U . Suponha
U = V (x, p1 , ..., pn ; )
e z U . Devemos mostrar que existe V Vz tal que
V U.
Como z U , temos
pi (z x) < para todo i = 1, ..., n.
Seja > 0 tal que
< pi (z x), para todo i = 1, ..., n.
106
2(pj (x0 ) + 1)
=
, com = min{j , j = 1, ..., n}
2(|a0 | + )
A = {a K; |a| < }
j =
V = V (0, p1 , ..., pn ; ).
Segue que
g((a0 + A) (x0 + V )) a0 x0 + U.
107
(7.7)
De fato, se a a0 + A e x x0 + V , temos
pj (ax a0 x0 ) |a| pj (x x0 ) + |a a0 | pj (x0 )
|a| + pj (x0 )
|a|
+
pj (x0 )
2(|a0 | + ) 2(pj (x0 ) + 1)
+
pj (x0 )
(|a0 | + )
2(|a0 | + ) 2(pj (x0 ) + 1)
<
e da ax a0 x0 U e ax a0 x0 + U e segue (7.7).
Nos resta provar que (E, ) e Hausdorff se e somente se para cada x E com x 6= 0, existe um
p P tal que p(x) 6= 0.
Suponha que para cada x E com x 6= 0, existe um p P tal que p(x) 6= 0. Se x, y E e
x 6= y, entao existe p P tal que p(x y) = > 0. Entao, os conjuntos V (x, p; /2) e V (y, p; /2) sao
vizinhancas de x e y, disjuntas e consequentemente E e Hausdorff.
Reciprocamente, suponha que E e Hausdorff. Entao, dado x E, x 6= 0, existe uma vizinhanca
V = V (0, p1 , ..., pn ; ) de zero que nao contem x. Segue que pi (x) = pi (x 0) > 0 para algum
i = 1, ..., n, e o resultado segue.
Por fim, veremos que cada seminorma p P e contnua.
Sejam x0 E e U uma vizinhanca de p(x0 ) em K. Existe, portanto > 0 tal que
B(p(x0 ), ) U.
Logo, se
V = V (x0 , p, ),
temos que
x V p(x x0 ) < |p(x) p(x0 )| p(x x0 ) <
e portanto p(x) U .
f
acil ver que a topologia construda acima torna E um elc. Com efeito, cada
Observa
c
ao 7.2.4 E
V (x, p1 , ..., pn ; ) e um conjunto convexo, pois se z, y V (x, p1 , ..., pn ; ) e , > 0 s
ao tais que
+ = 1, ent
ao, para cada i = 1, ..., n, temos
pi (z + y x) = pi (z + y x x) pi (z x) + pi (y x) + =
e da
z + y V (x, p1 , ..., pn ; ).
Proposi
c
ao 7.2.5 Suponha que p e uma seminorma em um evt (E, ). S
ao equivalentes:
Lema 7.2.6 a) p e contnua em zero.
b) p e contnua.
c) p e limitada em alguma vizinhanca de zero.
claro que (b) implica (a).
Demonstracao. E
Agora suponha (a). Se x0 E, sabemos que a aplicacao
x E x x0 E
e contnua (veja Proposicao 7.1.3) e portanto se (x ) e uma rede que converge para x0 , entao
x x0 0.
108
(7.8)
Como
|p(x ) p(x0 )| p(x x0 ),
usando (7.8) e a continuidade de p em zero, segue que p(x ) p(x0 ). Logo, temos (b).
Mostraremos agora que (a) e (c) sao equivalentes. Verificar que (a) implica (c) e facil, pois, como
p(0) = 0, a partir de (a), sabemos que existe uma vizinhanca U de 0 tal que
p(U ) {t K; |t| < 1}.
Logo p e limitada em U .
Reciprocamente, suponha (c). Existe, portanto, uma vizinhanca V de zero e uma constante C > 0
tal que
|p(x)| < C
para todo x V . Da temos que dado > 0,
|p(x) p(0)| = |p(x)| <
se x
CV
e segue (a).
Corol
ario 7.2.7 Se E e um evt e A E e uma vizinhanca de zero convexa, equilibrada (e absorvente,
pois toda vizinhanca de zero e absorvente), ent
ao o funcional de Minkowski pA e contnuo.
Demonstracao. De fato, se x A, entao pA (x) 1, e portanto pA e limitado numa vizinhanca de
zero e, pelo resultado anterior, contnuo.
Proposi
c
ao 7.2.8 Se V e uma vizinhanca convexa e equilibrada de zero em E, ent
ao
V = {x E; pV (x) 1}.
Em particular, se V e fechada, temos
V = {x E; pV (x) 1}.
Demonstracao. A continuidade de pV garante que {x E; pV (x) 1} e fechado. Como sabemos
que
{x E; pV (x) < 1} V {x E; pV (x) 1},
segue que V {x E; pV (x) 1}. Por outro lado, seja x0 tal que pV (x0 ) 1 e W uma vizinhanca
de x0 . Como a aplicacao
f :KE
a 7 ax0
e contnua e f (1) = x0 , existe > 0 tal que
ax0 W
sempre que |a 1| < . Sabemos tambem que ax0 V para a < 1 e. a R, pois pV (ax0 ) = apV (x0 ) <
1. Logo, se 1 < a < 1, temos que ax V W. Portanto
x0 V .
Exerccio 7.2.9 Seja E um espaco vetorial sobre K. Um conjunto A E e dito absolutamente
convexo se x + y A para quaisquer x, y A e , K com || + || 1. Mostre que A e
absolutamente convexo se e somente se A e convexo e equilibrado.
109
Exerccio 7.2.10 Seja E e um espaco vetorial sobre K e A E. Mostre que se A e equilibrado, ent
ao
n
n
X
X
co(A) :=
j xj ; xj A, j 0, n N e
j = 1
j=1
j=1
e equilibrado.
Exerccio 7.2.11 De exemplo de um conjunto convexo A R2 tal que
eq(A) = {x; || 1 e x A}
n
ao seja convexo.
Exerccio 7.2.12 Considere o espaco vetorial C sobre o corpo C e S = {z C; |Im z| < 1}. Mostre
que S e convexo, absorvente, mas n
ao e equilibrado.
Exerccio 7.2.13 Seja a topologia determinada por uma famlia de seminormas P em em espaco
vetorial E. Mostre que uma rede (x ) converge para zero em (E, ) se e somente se p(x ) converge
para zero para todo p P.
oes do exerccio anterior, mostre que pode ocorrer p(x ) p(x)
Exerccio 7.2.14 Nas mesmas condic
para todo p P sem que a rede (x ) seja convergente para x. Sugest
ao: Considere em (E, k.k),
E 6= {0}, a topologia fraca, que sabemos ser gerada pela famlia de seminormas
P = {p(x) = |(x)| ; E 0 },
n
ao-nulo em E.
e considere (xn )
n=1 = ((1) x0 )n=1 para algum x0 n
110
7.3
Revisitando Hahn-Banach
Nessa secao veremos uma versao do Teorema de Hahn-Banach para espacos localmente convexos.
Teorema 7.3.1 (Teorema de Hahn-Banach para elc) Sejam E um elc e M0 um subespaco de E.
Ent
ao, dado 0 M00 , existe E 0 tal que
(x) = 0 (x)
para todo x M0 .
Demonstracao. Seja
U = {x M0 ; |0 (x)| 1}.
Como 0 e contnuo, U e vizinhanca de zero em M0 , temos
U intU = M0 W,
com W aberto em E (vizinhanca de zero em E). Existe, portanto V W , vizinhanca de zero em E,
convexa, equilibrada.
M0 V U.
E claro que V e absorvente, pois toda vizinhanca de zero e absorvente. Como V e convexa, equilibrada
e absorvente, temos que
{x E; pV (x) < 1} V {x E; pV (x) 1}.
Afirmamos que
0 (x) pV (x) para todo x M0 .
x
De fato, se x M0 , como pV ( pV (x)+
) < 1, segue que
x
pV (x)+
(7.9)
V e consequentemente
x
V M0 U.
pV (x) +
Da
x
0 (
) 1 (pela definicao de U )
pV (x) +
e consequentemente
|0 (x)| pV (x) + .
Como isso vale para todo > 0, segue (7.9).
Pelo Teorema de Hahn-Banach (Teorema 4.1.4), com a seminorma pV , existe : E K (extensao
de 0 ) tal que
|(x)| pV (x) = inf{ > 0; x V }
para todo x E.
Assim, |(x)| para todo x V . Portanto (pelo Teorema 7.1.14), e contnuo.
O proximo resultado sera u
til na demonstracao do Teorema de Goldstine.
Teorema 7.3.2 (Forma Geom
etrica de Hahn Banach para elcs) Seja E um elc e A um
subconjunto convexo, equilibrado e fechado de E, com 0 A. Para cada b E, b
/ A, existe E 0
tal que
(b) > sup |(x)| .
xA
111
Demonstracao. Como 0 6= b
/ A e A e fechado, existe uma vizinhanca (de zero) convexa, equilibrada
e fechada U, tal que
(b + U ) A = .
(7.10)
De fato, como A e fechado, E \ A e aberto e contem b. Assim, (E \ A) b e uma vizinhanca aberta
de zero. Existe, pela Proposicao 7.1.10, U , vizinhanca convexa, equilibrada e fechada de zero, com
0 U (E \ A) b.
Logo
b + U (E \ A)
e segue (7.10). Da, podemos concluir que
1
1
(b + U ) (A + U ) = .
2
2
(7.11)
b+
1
1
x + (y)
2
2
= a A.
1
1
b+
x + (y) (b + U ) A,
2
2
o que contradiz (7.10). Assim, vale (7.11).
Portanto
1
b
/ V := A + U .
2
pV (x)
pV (b)
7.4
1
< 1 = (b).
pV (b)
J(BE )
claro que
E
(E 00 ,E 0 )
J(BE )
= BE 00 .
BE 00 ,
pois se x J(BE ), temos x = J(y) e kxk = kyk = 1 e, pelo Exerccio 5.2.4, se J(xn ) converge para z
na topologia fraca estrela, entao
kzk lim inf kxn k .
O conjunto J(BE ) e claramente convexo e equilibrado. Logo, pelo Exerccio 7.1.8 temos que
(E 00 ,E 0 )
J(BE )
113
(E 00 ,E 0 )
(E 00 ,E 0 )
(y 00 ) > sup |(x00 )| ; x00 J(BE )
.
Por maior razao
(7.12)
(E 00 , (E 00 , E 0 ))0 = J(E 0 ).
Assim, existe x00 E 0 tal que J(x00 ) = . Logo (7.12) pode ser reescrita como:
y 00 (x00 ) > sup {|x00 (x00 )| ; x00 J(BE )} .
Como, como para cada x00 , existe x em BE tal que x00 = J(x), temos
y 00 (x00 ) > sup {|x00 (x)| ; x BE } = kx00 k .
Portanto
y 00 (
x00
)>1
kx00 k
e da conclumos que y 00
/ BE 00 .
Teorema 7.4.2 Um espaco de Banach e reflexivo se e somente se BE e compacta na topologia fraca.
Demonstracao. Suponha que E seja reflexivo. Entao J(E) = E 00 e J(BE ) = BE 00 . Pelo Teorema
de Alaoglu, BE 00 e compacta na topologia fraca estrela.
Notemos que
J : (E, (E, E 0 )) (E 00 , (E 00 , E 0 ))
e contnua e tem inversa contnua.
De fato, se x0 E, seja V uma vizinhanca de J(x0 ) E 00 na topologia fraca estrela. Podemos
sempre supor
V = { E 00 ; |(fj ) Jx0 (fj )| < , j = 1, ..., n}
= {Jx J(E); |Jx(fj ) Jx0 (fj )| < , j = 1, ..., n}
= {Jx J(E); |fj (x) fj (x0 )| < , j = 1, ..., n}
= J({x E; |fj (x) fj (x0 )| < , j = 1, ..., n})
= J(Vx0 ),
onde Vx0 = {x E; |fj (x) fj (x0 )| < , j = 1, ..., n} e uma vizinhanca de x0 na topologia fraca.
Assim, J e contnua. Analogamente
J 1 : (E 00 , (E 00 , E 0 )) (E, (E, E 0 ))
e contnua. De fato, se 0 E 00 , seja U uma vizinhanca de J 1 (0 ) na topologia fraca. Podemos supor
(E 00 ,E 0 )
= BE 00
115
Captulo 8
Ap
endice 0: Axioma da Escolha e
Lema de Zorn
Embora a formacao de um matematico muitas vezes passe longe de um curso de Logica Formal, e
bom que (pelo menos) saibamos que a matematica que usamos possui, como alicerces, axiomas para
a construcao e manipulacao de conjuntos. Esses axiomas sao conhecidos como Axiomas de ZermeloFrankel (ZF).
O Axioma da Escolha (AE) garante a existencia de um conjunto escolha E, que possui exatamente
um elemento de cada conjunto de uma famlia A de conjuntos nao vazios. Precisamente:
ao A de conjuntos n
ao-vazios e disjuntos, existe
Axioma 8.0.3 (Axioma da Escolha). Dada uma colec
um conjunto E que possui exatamente um elemento em comum com cada conjunto pertencente a A.
Em outras palavras, para cada A A , o conjunto E A tem apenas um elemento.
Seu enunciado parece bobo, porem e indispensavel em varios resultados da matematica moderna.
Muita controversia sempre cercou o Axioma da Escolha. Para conjuntos finitos, o AE nao e necessario,
pois pode ser obtido a partir de outros axiomas de (ZF). Entretanto, para conjuntos infinitos, `as vezes
certos resultados so podem ser obtidos por intermedio do AE.
Um resultado equivalente ao AE e o menos inofensivo Lema de Zorn (LZ), que veremos a seguir.
Apesar aparentemente menos natural, ele e obtido a partir dos nossos axiomas, e portanto podemos
bom que saibamos, entretanto, que essa equivalencia e apenas uma dentre
usa-lo sem hesitacao! E
numerosas outras conhecidas. Curiosamente, varios resultados que foram obtidos como consequencias
do AE, posteriormente mostraram-se equivalentes ao AE. Esse e mais um ponto muito interssante
a respeito do AE: mesmo sendo aparentemente inofensivo, ele e equivalente a muitos resultados
fortemente nao intuitivos. Por exemplo, o Teorema da Boa-Ordenacao, que afirma que qualquer
conjunto pode ser bem-ordenado, e equivalente ao AE.
Nesse curso, precisaremos apenas do Lema de Zorn. O LZ e peca fundamental na construcao de
claro que por ser equivalente ao AE,
varios teoremas dos mais diversos ramos da matematica. E
toda demonstracao que usa o LZ poderia usar o AE no seu lugar. Entretanto, o LZ parece ter mais
facil aplicacao em algumas situacoes, e se consagrou em varias demonstracoes de resultados classicos:
Teorema de Hahn-Banach e Teorema de Bishop-Phelps, na Analise Funcional, a demonstracao de
117
Captulo 9
Ap
endice I: Noco
es de Topologia
Geral
9.1
O Teorema de Baire
n=1
interior vazio. Conjuntos magros sao tambem chamados de conjuntos de primeira categoria. Todo
conjunto que nao e de primeira categoria e chamado de conjunto de segunda categoria. O Teorema
de Baire data de 1899, e devido ao matematico frances Rene Baire e afirma que todo espaco metrico
completo, nao-vazio, e de segunda categoria.
Teorema 9.1.1 (Teorema de Baire) Todo espaco metrico completo, n
ao-vazio, e de segunda
categoria, isto e, n
ao pode ser uma uni
ao enumer
avel de conjuntos cujo fecho tem interior vazio.
Demonstracao. Seja X = (X, d) um espaco metrico. Por contradicao, vamos supor que X seja de
primeira categoria. Entao, existem Sn X tais que Sn tem interior vazio e
X=
Sn .
n=1
rn
4
r1
Note que, como rn+1 r4n para todo n, temos rn 4n1
.
Pela desigualdade triangular, e facil ver que (xn )n=1 e uma sequencia de Cauchy em X. Com efeito,
p
p
X
X
rn+j1
d(xn+j1 , xn+j )
d(xn , xn+p )
4
j=1
j=1
<
(9.1)
p
X
r1
.
n+j1
4
j=1
Como X e completo, existe um x X, que e limite da sequencia (xn ). Note que podemos tambem
escrever
rn
rn+1
rn+p1
rn
rn
rn
d(xn , xn+p )
+
+ ... +
+ 2 + ... + p1 .
(9.2)
4
4
4
4
4
4
Fixando, arbitrariamente, n em (9.2) e fazendo p tender a infinito, temos que d(xn , x) < rn e
[
x Ud (xn , rn ). Logo x
/
Sn = X (absurdo).
n=1
119
9.2
Espacos topol
ogicos
Defini
c
ao 9.2.1 Uma topologia em um conjunto X e uma colec
ao de subconjuntos de X, chamados
conjuntos abertos, satisfazendo as seguintes propriedades:
a) Qualquer uni
ao de elementos de e um elemento de .
b) Qualquer intersec
ao finita de elementos de pertence a .
c) X e o conjunto vazio pertencem a .
Dizemos que (X, ) e um espa
co topol
ogico, que naturalmente abreviaremos para X quando nao
houver possibilidade de confusao.
Exerccio 9.2.2 Seja X um conjunto. Seja c a coleca
o de todos os subconjuntos U de X tais que
X U e enumer
avel ou e X. Verifique que c e uma topologia em X.
Exemplo 9.2.3 Se (M, d) e um espaco metrico, o Teorema ?? nos garante que o conjunto formado
pelos abertos de M forma uma topologia em M, chamada topologia m
etrica d .
Sempre que (X, ) for um espaco topol
ogico e sua topologia for uma topologia metrica d para
uma metrica d em X, dizemos que (X, ) e um espa
co topol
ogico metriz
avel .
Se X e um conjunto qualquer, a colecao de todos os subconjuntos de X, que de agora em diante
sera denotada por P(X), e uma topologia em X, chamada topologia discreta. Uma outro topologia
patologicae a topologia = {X, }, chamada de topologia trivial.
Exerccio 9.2.4 Mostre que (X, P(X)) e um espaco metriz
avel.
Exerccio 9.2.5 Mostre que se X tem mais de um elemento, (X, ), com = {X, }, n
ao e metriz
avel.
Novamente, seguindo o que foi feito na secao anterior, definimos:
ogico e E X, dizemos que E e fechado se e somente se
Defini
c
ao 9.2.6 Se X e um espaco topol
X E e aberto.
Aplicando as leis de De Morgan, temos:
Teorema 9.2.7 Se F a colec
ao de todos os conjuntos fechados em um espaco topol
ogico X, ent
ao:
a) Qualquer intersec
ao de elementos de F e ainda um elemento de F ,
b) Qualquer uni
ao finita de elementos de F pertence a F ,
c) X e s
ao elementos de F .
Demonstracao. Feita em sala.
Defini
c
ao 9.2.8 Se X e um espaco topol
ogico e E X, o fecho de E em X e o conjunto
E = {K X; K e fechado e E K}.
Note que o fecho de um conjunto e uma intersecao de fechados, e portanto e um conjunto fechado.
Tambem denotamos E por ClX (E).
Lema 9.2.9 Se A B, ent
ao A B.
claro que B B. Como A B, temos A B. Logo B e um conjunto fechado
Demonstracao. E
contendo A e da A B.
120
121
9.2.1
Vizinhancas
Defini
c
ao 9.2.16 Se X e um espaco topol
ogico e x X, uma vizinhan
ca de x e um conjunto U
contendo um conjunto aberto V, com x V . A colec
ao Ux de todas as vizinhancas de x e chamada de
sistema de vizinhan
cas de x.
Teorema 9.2.17 O sistema de vizinhancas de x em um espaco topol
ogico X tem as seguintes
propriedades:
a) Se U Ux , ent
ao x U.
b) Se U, V Ux , ent
ao U V Ux
c) Se U Ux , ent
ao existe um V Ux , tal que U Uy para cada y V.
d) Se U Ux e U V , ent
ao V Ux .
e) G X e aberto se e somente se G contem uma vizinhanca de cada um de seus pontos.
Demonstracao. Facil. vamos mostrar (e). Se G e aberto, o proprio G e uma vizinhaca de seus
pontos (veja definicao de vizinhanca).SReciprocamente, se para cada x em G existe uma vizinhaca Vx
de x, contida em G, temos que G =
int(Vx ).
xG
Exerccio 9.2.18 Mostre que se cada ponto x de um conjunto X e associado a uma colec
ao n
ao-vazia
Ux de subconjuntos de X satisfazendo a), b), c) e d) do teorema anterior, a colec
ao
= {G X; para cada x em G, x U G para algum U Ux }
e uma topologia para X, e cada colec
ao Ux e o sistema de vizinhancas de x.
Defini
c
ao 9.2.19 Uma base de vizinhan
cas em x em um espaco topol
ogico X e uma subcolec
ao
Bx , Bx Ux , tendo a propriedade que cada U Ux contem algum V Bx . Assim, Ux pode ser
determinado por Bx da seguinte forma:
Ux = {U X; V U para algum V Bx }.
Uma vez escolhida uma base de vizinhancas em x, seus elementos s
ao chamados vizinhan
cas b
asicas.
ogico, as vizinhancas abertas de x formam uma base de
Exemplo 9.2.20 Em qualquer espaco topol
vizinhancas em x.
Teorema 9.2.21 Seja X um espaco topol
ogico e para cada x em X, seja Bx uma base de vizinhancas
em x. Ent
ao:
a) Se V Bx , ent
ao x V.
b) Se V1 , V2 Bx , ent
ao existe um V3 Bx tal que V3 V1 V2 .
c) Se V Bx , ent
ao existe um V0 Bx , tal que se y V0 , ent
ao existe um W By com W V.
d) G X e aberto se e somente se G contem uma vizinhanca b
asica de cada um de seus pontos.
Demonstracao. Facil. Vamos mostrar (c) e (d).
(c) Seja V Bx Ux . Existe, portanto, V1 Bx Ux com V1 V . Podemos encontrar V0 aberto
com V0 V1 . Se y V0 , existe W By com W V0 V.
A demonstracao de (d) tambem e facil. Com efeito, se G e aberto, o proprio G e uma vizinhaca de
seus pontos, e existe uma vizinhanca basica de cada um de seus pontos, contida em G. Reciprocamente,
S
se para cada x em G existe uma vizinhaca basica Vx de x, contida em G, temos que G =
int(Vx ).
xG
ao n
aoExerccio 9.2.22 Mostre que se para cada ponto x de um conjunto X, e associada uma colec
vazia Bx , de subconjuntos de X, satisfazendo (a),...,(c) do teorema anterior, com (d) usada para definir
abertos, teremos uma topologia em X, na qual os Bx s
ao uma base de vizinhancas de x.
122
Teorema 9.2.24 (Criterio de Hausdorff ) Para cada x X, seja Bx1 uma base de vizinhancas de x
para uma topologia 1 em X, e seja Bx2 uma base de vizinhancas em x para uma topologia 2 em X.
Ent
ao 1 2 se e somente se para cada x X, dado B 1 Bx1 , existe um B 2 Bx2 tal que B 2 B 1 .
Demonstracao. Suponha 1 2 . Seja B 1 Bx1 . Entao, como B 1 e vizinhanca de x em (X, 1 ), x
esta contido em algum elemento B de 1 , com B B 1 . Como 1 2 , temos que B 2 e portanto
B e vizinhanca de x em (X, 2 ). Logo existe B 2 Bx2 tal que B 2 B e da B 2 B 1 .
Reciprocamente, se B 1 , entao B contem algum B 1 Bx1 para cada x B. Logo B contem
algum B 2 Bx2 para cada x em B. Da B 2 .
O teorema anterior pode ser pensado da seguinte forma:
Pequenas vizinhancas fazem grandes topologias. Isso e intuitivo, pois quanto menores sao as
vizinhancas em um espaco, mais facil e para um conjunto conter vizinhancas de todos os seus pontos.
Assim, e mais facil que o conjunto seja aberto.
123
Defini
c
ao 9.2.25 Um ponto de acumula
c
ao de um conjunto A em um espaco topol
ogico X e um
ponto x X tal que cada vizinhanca (ou equivalentemente, cada vizinhanca b
asica) de x contem algum
ponto de A, diferente de x. O conjunto A0 formado por todos os pontos de acumulac
ao de A e chamado
derivado de A.
Proposi
c
ao 9.2.26 A = A A0 .
Demonstracao. Do Teorema 9.2.23 (c), segue que A0 A e, como A A, segue que A A0 A.
Por outro lado, se x A, entao cada vizinhanca de x intercepta A. Portanto, ou x esta em A ou cada
vizinhanca de x intercepta A em pontos diferentes de x. Da x A A0 .
124
Bases e sub-bases
Defini
c
ao 9.2.27 Se (X, ) e um espaco topol
ogico, uma base para (`
as vezes dizemos base para X)
e uma colec
ao B tal que
S
=
B; C B .
BC
Em palavras, todo aberto da topologia pode ser representado como uniao de abertos da base.
Exerccio 9.2.28 Seja (X, ) um espaco topol
ogico e B (X, ). Mostre que B e uma base para X
se e somente se sempre que G e um aberto em X e p G, ent
ao existe um B B tal que p B G.
Exemplo 9.2.29 Na reta real, a colec
ao de todos os intervalos abertos e uma base para a topologia
usual. Mais geralmente, num espaco metrico M , a colec
ao de todas as bolas abertas centradas em
pontos de M, e uma base para M .
Teorema 9.2.30
B e uma base para uma topologia em X se e somente se
S
a) X =
B e
BB
BB
BC
BB
(b) tambem segue facil, pois como B1 e B2 estaoSem B, sao abertos, assim como B1 B2 . Logo
B com C B, e segue que existe B3 B, com
B1 B2 e p B1 B2 . Assim, temos B1 B2 =
BC
p B3 B1 B2 .
Reciprocamente, suponha que X e um conjunto e B e uma colecao de subconjuntos de X com as
propriedades
(a) e (b).
S
B; C B . Entao a uniao de elementos de ainda pertence a . Alem disso, se
Seja =
BC
S
S
C sao elementos de de , entao
Be
B1 B e B2 B sao tais que
BB2
BB1
BB1
!
B
!
C
(B C) .
BB1 CB2
CB2
Mas, por (b) note que intersecao (finita) de elementos de B e ainda uniao de elementos de B. Logo
intersecao finita de elementos de ainda pertence a .
Finalmente X por (a) e , pois e a uniao de elementos da subcolecao vazia de B. Logo,
e uma topologia para X, e, pela definicao de , segue que B e uma base para a topologia em X.
O proximo terorema mostra que a diferenca essencial entre as nocoes de base de vizinhancas em
cada ponto e base para a topologia de X esta no fato de que as bases de vizinhancas nao sao formadas
necessariamente por conjuntos abertos.
Teorema 9.2.31 Se B e uma colec
ao de abertos em X, B e uma base para X se e somente se para
cada x X, a colec
ao Bx = {B B; x B} e uma base de vizinhancas em x.
Demonstracao. Suponha que B e uma base para X. Para cada x em X, considere Bx = {B
claro que os elementos de Bx sao vizinhancas de x. Seja U uma vizinhanca de x.
B; x B}. E
Entao x int(U ) e, como int(U ) e uma uniao de elementos de B, existe algum B em B tal que
x B int(U ). Logo B Bx e B U . Da conclumos que Bx e base de vizinhancas em x.
125
BS
126
9.2.2
Fun
co
es contnuas
Defini
c
ao 9.2.37 Sejam X e Y espacos topol
ogicos e seja f : X Y uma funca
o. Ent
ao f e
contnua em x0 X se e somente se para cada vizinhanca V de f (x0 ) em Y , existir uma vizinhanca
U de x0 em X tal que f (U ) V. Dizemos que f e contnua em X se f for contnua em cada ponto
de X.
Exerccio 9.2.38 Mostre que na definic
ao acima podemos trocar vizinhanca por vizinhanca
b
asica.
Exerccio 9.2.39 Mostre que na definic
ao acima podemos trocar vizinhanca por aberto
O proximo teorema nos da caracterizacoes bastante u
teis de funcoes contnuas:
Teorema 9.2.40 Se X e Y s
ao espacos topol
ogicos e f : X Y e uma func
ao, as seguintes
afirmac
oes s
ao equivalentes:
a) f e contnua,
b) para cada aberto H em Y , temos que f 1 (H) e aberto em X,
c) para cada fechado K em Y , temos que f 1 (K) e fechado em X
d) para cada E X, f (ClX (E)) ClY (f (E)).
Demonstracao.
(a) (b). Se H e aberto em Y , ent
ao para cada x f 1 (H), H e uma vizinhanca de f (x). Pela
continuidade de f , existe uma vizinhanca V de x tal que f (V ) H. Logo V f 1 (H). Conclumos
que f 1 (H) contem uma vizinhanca de cada um de seus pontos, e portanto f 1 (H) e aberto.
(b) (c). Se K e fechado em Y , ent
ao f 1 (Y K) e aberto em X. Entao
f 1 (K) = X f 1 (Y K)
e portanto f 1 (K) e fechado em X.
(c) (d). Seja K um fechado em Y , com f (E) K. Pela parte (c), temos que f 1 (K) e fechado
em X e contem E. Entao ClX (E) f 1 (K). Da f (ClX (E)) K. Como isso vale para qualquer
conjunto fechado K contendo f (E), temos que
f (ClX (E)) ClY (f (E)).
(d) (a). Seja x X e seja V uma vizinhanca aberta de f (x). Defina E = X f 1 (V ) e
U = X ClX (E).
Como, por hipotese, f (ClX (E)) ClY (f (E)), temos que x U . De fato, se fosse x
/ U , teramos
x ClX (E) e da
f (x) f (ClX (E)) ClY (f (E)).
(9.3)
Mas
f (E) = f (X f 1 (V )) Y V
Demonstracao. Se H e aberto em Z, (g f )
e contnua.
127
9.2.3
Defini
c
ao 9.2.46 Se f : X Y e A X, denotaremos por f | A a restric
ao de f a A, ou seja, a
func
ao de A em Y dada por (f | A)(a) = f (a) para cada a em A.
Proposi
c
ao 9.2.47 Se A X e f : X Y e contnua, ent
ao (f | A) : A Y e contnua.
Demonstracao. Se H e aberto em Y, entao (f | A)1 (H) = f 1 (H) A, e este conjunto e aberto
na topologia relativa de A.
O proximo resultado e uma especie de recproca da proposicao anterior:
Teorema 9.2.48 Se X = A B, com A e B abertos (ou ambos fechados) em X, e f : X Y uma
func
ao tal que (f | A) e (f | B) s
ao contnuas, ent
ao f e contnua.
Demonstracao. Suponha A e B abertos e H e aberto em Y . Como
f 1 (H) = (f | A)1 (H) (f | B)1 (H),
e como (f | A) e (f | B) sao contnuas, temos que (f | A)1 (H) e (f | B)1 (H) sao abertos em A e B,
respectivamente. Como A e B sao abertos em X, segue que (f | A)1 (H) e (f | B)1 (H) sao tambem
abertos em X (verifique!) Da f 1 (H) e aberto em X, pois e uniao de abertos.
Exerccio 9.2.49 Suponha Y Z e f : X Y. Mostre que f e contnua se e somente se f vista
como func
ao de X em Z e contnua.
9.2.4
Topologia produto
Defini
c
ao 9.2.50 Seja X um conjunto para cada em . O produto cartesiano dos conjuntos
X e o conjunto
S
Q
X ; x() X para cada ,
X = x :
Q
que denotamos simplesmente por X se n
ao houver possibilidade de confus
ao em relac
ao ao conjunto
de ndices. Na pr
aQ
tica, o valor de x() e denotado por x .
A func
ao : X X , definida por (x) = x , e chamada a -
esima proje
c
ao.
Q
Se cada X e um espaco topologico, vamos definir, em X , uma topologia de modo que seja
compatvel com algumas exigencias. Queremos, por exemplo, que a topologia em R R seja a
topologia usual do R2 .
Q
Q
Poderamos pensar em definir uma topologia para X simplesmente tomando U (com U
aberto em X ) como base. Entretanto essa topologia, chamada de box topology gera muitos
abertos, e nao e tao interessante na pratica. A seguinte definicao e mais u
til:
Q
Defini
c
ao 9.2.51 A topologia produto
(ou topologia de Tychonoff) em X e obtida tomando
Q
como base os conjuntos da forma U , onde
(a) U e aberto em X para cada ,
(b) U = X , exceto para uma quantidade finita de ndices.
Note que (a) pode ser substituda por
(a)0 U B , para cada , onde B e uma base (fixa) para a topologia de X , para cada .
Q
Note que U com U = X exceto para = 1 , ..., n , pode ser escrito como
Q
U = 1
(U1 ) ... 1
(Un ).
1
n
Entao, a topologia produto e precisamente a topologia que tem como sub-base a colecao {1 (U );
1
A, U e aberto em
Q X } ou ainda { (U ); A, U B , com B base de X }. De agora em diante,
a topologia de X sera sempre a topologia produto, exceto se algo for mencionado em contrario.
interessante notar que no caso de produtos cartesianos finitos, a topologia produto coincide com a
E
box topology .
129
(9.4)
(9.5)
[
1
1
(U
)
...
(U
)
.
A=
n ,
1,
n ,
1,
Logo
(A) =
1
(U1, ) ... 1
1,
n
(U
)
.
n,
,
Da conclumos que (A) e X ou (A) e uma uniao de abertos de X . Em todo caso, (A) e
aberto.
ao f : X
Teorema 9.2.55 Uma aplicac
cada .
130
9.2.5
Redes
Em geral, sequencias nao descrevem bem as topologias. Por exemplo, e possvel exibir situacoes em
que nao e sempre possvel caracterizar os fechados de um espaco topologico por meio de sequencias.
De fato, `as vezes e possvel encontrar um ponto de acumulacao de um conjunto F X sem que exista
uma sequencia (xn ) em F convergindo para esse ponto. Ha duas generalizacoes classicas do conceito de
sequencia, que consertam essa limitacao das sequencias: redes e filtros. O conceito de redes originou-se
com trabalhos de Moore-Smith e o conceito de filtros deve-se a E. Cartan.
Defini
c
ao 9.2.56 Um conjunto e dito conjunto dirigido quando existe uma relac
ao em
satisfazendo:
a) para todo ,
b) se 1 2 e 2 3 , ent
ao 1 3 ,
c) se 1 , 2 , ent
ao existe algum 3 tal que 1 3 e 2 3 .
` vezes dizemos que a relacao
Dizemos que a relacao e uma dire
c
ao para o conjunto . As
dirige o conjunto . Note que nao se exige a propriedade anti-simetrica, ou seja, se 1 2 e 2 1
nao se tem necessariamente que 1 = 2 .
Note se X e um conjunto com mais de um elemento, a relacao x y para quaisquer x, y em X,
dirige X, mas nao e anti-simetrica.
Defini
c
ao 9.2.57 Uma rede em um conjunto X e uma func
ao P : X, onde e um conjunto
dirigido. O ponto P () e usualmente denotado por x , e n
os usualmente falamos a rede (x ) se
isso n
ao causar confus
ao.
Defini
c
ao 9.2.58 Uma subrede de uma rede P : X e a composic
ao P : M X, onde
: M e uma func
ao de um conjunto dirigido M em , que satisfaz as seguintes propriedades:
a) (1 ) (2 ) sempre que 1 2 ( e crescente)
b) para cada em , existe um M tal que () ( e cofinal em ).
Para M , o ponto P () e em geral escrito como x , e escrevemos a subrede (x ) de
(x ).
A definicao de convergencia em redes e naturalmente modelada pela definicao de convergencia em
sequencias:
Defini
c
ao 9.2.59 Seja (x ) uma rede em um espaco topol
ogico X. Dizemos que (x ) converge
para x X (escrevemos x x) se para cada vizinhanca U de x, existir algum 0 tal que 0
implica x U . Logo, x x se e somente se cada vizinhanca de x tem um rabode (x ).
Dizemos que uma rede (x ) est
a em um conjunto A se x A para todo . Se x est
a em A para
todo 0 , dizemos que (x ) est
a residualmente (ou eventualmente) em A. Quando para cada
0 existe um 0 tal que x A, dizemos que (x ) est
a frequentemente em A. Quando (x ) est
a
frequentemente em cada vizinhanca de x, dizemos que x e ponto de acumula
c
ao da rede (x ).
Exerccio 9.2.60 Uma rede n
ao pode estar residualmente em dois conjuntos disjuntos.
Note que em ambas as definicoes acima podemos nos restringir a uma base de vizinhancas de x.
Exerccio 9.2.61 Se uma rede (x ) converge para x, mostre que x e ponto de acumulac
ao dessa rede.
Exemplo 9.2.62 Seja X um espaco topol
ogico, x X e uma base de vizinhancas de x em X.
A relac
ao de ordem U1 U2 U2 U1 dirige o conjunto . Portanto, se tomarmos um xU U
para cada U , temos uma rede (xU ) em X. Note que xU x. De fato, dada uma vizinhanca V
de x, podemos encontrar U0 V para algum U0 em . Ent
ao U U0 implica U U0 e portanto
xU U V.
131
Exemplo 9.2.63 O conjunto N dos naturais positivos com sua ordem natural e um conjunto dirigido.
Ent
ao toda sequencia (xn ) em N e uma rede.
Note que toda subsequencia de uma sequencia (xn ) e uma subrede. Entretanto, n
ao h
a garantia
de que uma subrede de (xn ) seja uma subsequencia. Uma subrede pode ter mais ndices que a pr
opria
rede!
ao P de todas as partic
oes finitas do intervalo fechado [a, b] em subintervalos
Exemplo 9.2.64 A colec
fechados e um conjunto dirigido, quando munido da relac
ao A1 A2 (A2 refina A1 ). Ent
ao, se
f e uma funcao de [a, b] tomando valores na reta real, podemos definir a rede PI : P R definindo
PI (A) como a soma inferior de Riemann de f na partic
ao A. De modo semelante, podemos definir
PS : P R como a soma superior de Riemann de f na partic
ao A. A convergencia dessas duas redes
Rb
para um n
umero c significa que f (x)dx = c.
a
cada A, (x ) (x) em X .
133
Demonstracao. Se x x em
A.
por outro lado, suponha que (x ) (x) para cada A. Seja
1
(U1 ) ... 1
(Un )
1
n
uma vizinhanca basica de x no espaco produto. Entao, como em particular, i (x ) i (x), para
cada i = 1, ..., n existe um i tal que sempre que i , temos i (x ) Ui . Escolhendo 0 i ,
i = 1, ..., n, temos que i (x ) Ui para todo i = 1, ..., n sempre que 0 . Portanto
(U1 ) ... 1
(Un )
0 x 1
1
n
Y
X .
propriedade:
Uma rede (f ) converge para f se e somente se f () f () para cada A.
Defini
c
ao 9.2.78 Uma rede (x ) em um conjunto X e dita ultrarede (ou rede universal) quando
para cada subconjunto E de X, ou (x ) est
a residualmente em E ou residualmente em X E.
ao, ent
ao ela converge para esse
Proposi
c
ao 9.2.79 Se uma ultrarede tem um ponto de acumulac
ponto.
Demonstracao. Seja (x ) uma ultrarede em X e x0 um ponto de acumulacao de (x ) .
Entao, dado U um aberto contendo x0 e 0 , temos que existe 0 tal que x U. Como (x ) e
ultrarede, para U existe um certo 1 tal que
(i) 1 x U ou
(ii) 1 x X U.
Como sabemos que existe algum 1 tal que x U , segue que vale (i) e portanto x x.
ao (f (x )) e uma ultrarede em Y .
Teorema 9.2.80 Se (x ) e uma ultrarede em X e f : X Y , ent
Demonstracao. Se A Y , entao f 1 (A) = X f 1 (Y A). Pela definicao de ultrarede, temos
que (x ) esta residualmente em f 1 (A) ou f 1 (Y A). Portanto (f (x )) esta residualmente em A ou
em Y A, e consequentemente e uma ultrarede.
Observa
c
ao 9.2.81 Uma rede convergente em R n
ao e necessariamente limitada. Por exemplo, se
I = R com a ordem natural, e x = e , a rede (x )I e convergente (para zero) e n
ao e limitada.
9.2.6
Filtros
Uma outra forma de se estudar convergencia em espacos topologicos e atraves do conceito de filtros.
Defini
c
ao 9.2.82 Um filtro F em um conjunto X e uma colec
ao n
ao-vazia contida em P(X) tal que
a)
/ F,
b) se F1 e F2 s
ao elementos de F, ent
ao F1 F2 F,
c) se F F e F G, ent
ao G F.
Uma subcolec
ao F0 F e uma base para o filtro F se cada elemento de F contem algum elemento
de F0 .
134
Proposi
c
ao 9.2.83 Uma colec
ao qualquer C de subconjuntos n
ao-vazios de X e uma base para algum
filtro de X se sempre que C1 , C2 C, tivermos que C1 C2 C.
Demonstracao. Seja F = {F X; F C para algum C C}. Temos que
/ F , e se F1 e F2
sao elementos de F, entao existem C1 e C2 em C tais que C1 F1 e C2 F2 . Logo C1 C2 C e
C1 C2 F1 F2 . Logo F1 F2 F . Finalmente, como o item (c) da definicao de filtro e obviamente
valido para F, segue que F e um filtro.
Exemplo 9.2.84 Note que se X e um espaco topol
ogico e x X, o conjunto das vizinhancas de x,
denotado por Ux , e um filtro em X. Alem disso, qualquer base de vizinhancas de x e uma base para o
filtro Ux . Esse filtro ser
a chamada de filtro de vizinhan
cas de x.
Observa
c
ao 9.2.85 Note que as condic
oes (a) e (b) nos restringem bastante a quantidade de
elementos dos filtros, pois como
/ F, o item (b) nos diz que se F1 F2 = , ent
ao pelo menos um
desses conjuntos n
ao pertence a F.
Defini
c
ao 9.2.86 Um filtro F em um espaco topol
ogico X converge para x se Ux F (notac
ao
F x).
Exemplo 9.2.87 Considere X = {a, b, c} com a topologia = {, {a, b}, X}. O conjunto F =
{{a}, {a, b}, {a, c}, X} e um filtro em X. Alem disso, perceba que F a.
Defini
c
ao 9.2.88 Um filtro F e um ultrafiltro se n
ao existe nenhum outro filtro que o contenha
estritamente.
Exemplo 9.2.89 O filtro F do Exemplo 9.2.87 e um ultrafiltro.
Teorema 9.2.90 Um filtro F e um ultrafiltro se e somente se para cada E X tivermos E F ou
X E F.
Demonstracao. Seja F um ultrafiltro e E X. Se existir F0 F tal que F0 E = entao
F0 (X E). Da, para todo F F, temos que F (X E) 6= . Portanto, conclumos que
F (X E) 6= para todo F F
ou
F E 6= para todo F F .
Suponha, entao, que F E 6= para todo F F. Assim, o conjunto {F E; F F} e uma base para
um filtro G. Mas esse filtro contem E = X E e F G. Como F e um ultrafiltro, segue que E F.
Se supusermos que F (X E) 6= para todo F F, de modo analogo, conclumos que X E F.
Agora vamos supor que F e um filtro tal que para cada E X temos E F ou X E F. Se
G e um filtro que contem estritamente F, entao para algum A G, temos que A
/ F. Mas, nesse caso
X A F G. Da temos um absurdo, pois tanto A como seu complementar estarao em G. Logo F
e ultrafiltro.
Observa
c
ao 9.2.91 Perceba que num filtro (ou ultrafiltro) F n
ao podemos ter ao mesmo tempo E F
e X E F , pois se isso ocorresse, teramos = E (X E) F.
a contido em algum ultrafiltro.
Teorema 9.2.92 Todo filtro F est
Demonstracao. Seja C a colecao de todos os filtros que contem F. Em C, consideremos a relacao
de ordem parcial
S F1 F 2 F 1 F 2 . Note que qualquer subconjunto totalmente ordenado {F
; } tem
F C como cota superior. Assim, C e um conjunto indutivo e nao vazio, pois F C.
135
Pelo Lema de Zorn, temos que C admite um elemento maximal, que e obviamente um ultrafiltro que
contem F.
As nocoes de filtro e rede tem uma relacao muito forte. Rigorosamente, tudo que puder ser provado
ou enunciado usando-se redes, podera ser paralelamente provado ou enunciado usando-se filtros, e
vice-versa. Entretanto, em determinadas ocasioes um ou outro conceito pode parecer mais natural,
e assim e interessante conhecer um pouco de ambos. A seguinte definicao e os proximos exerccios
deixam claro como fazer a ligacao formal entre esses dois conceitos:
Defini
c
ao 9.2.93 Se (x ) e uma rede em X, o filtro gerado pela base C formada pelos conjuntos
B0 = {x ; 0 }, 0 , e chamado filtro gerado por (x ) .
Se F e um filtro em X, seja F = {(x, F ); x F F}. Ent
ao F e um conjunto dirigido pela
relac
ao
(x1 , F1 ) (x2 , F2 ) F2 F1
e a aplicac
ao P : F X dada por P (x, F ) = x e uma rede em X, chamada de rede gerada por F.
Exerccio 9.2.94 Um filtro F, em um espaco topol
ogico X, converge para x X se e somente se a
rede gerada por F converge para x.
ogico X, converge para x X se e somente se
Exerccio 9.2.95 Uma rede (x ), em um espaco topol
o filtro gerado por ela converge para x.
O seguinte resultado nos sera u
til no decorrer do curso:
Proposi
c
ao 9.2.96 A rede gerada por um ultrafiltro e uma ultrarede.
Demonstracao. Seja F um ultrafiltro. Entao, seja P : F X a rede gerada por F.
Seja E X. Como F e ultrafiltro, temos que E F ou X E F. No primeiro caso,
se (x, F ) (x, E), temos P (x, F ) = x F E e consequentemente a rede P : F X esta
eventualmente em E.
No segundo caso, se (x, F ) (x, X E), temos P (x, F ) = x F X E e consequentemente a
rede P : F X esta eventualmente em X E. Logo, a rede P : F X e uma ultrarede.
Conjuntos compactos
Defini
c
ao 9.2.97[Seja X um espaco topol
ogico. Um conjunto Y X e compacto (em X) quando
sempre que Y
A com cada A aberto em X, existirem 1 , ..., n tais que Y A1 ...An .
Note que, intuitivamente, quanto menos abertos possui uma topologia, mais facil e para se encontrar
compactos. Podemos destacar doisa extremos:
Em uma topologia com uma quantidade finita de abertos, todo conjunto e compacto. Por outro
lado, para um conjunto X munido da topologia = P(X), temos que um subconjunto de X e
compacto se e somente se tem uma quantidade finita de elementos.
Conjuntos compactos tem propriedades especiais em espacos de Hausdorff. Um resultado
importante e o seguinte:
Teorema 9.2.98 Se X e um espaco de Hausdorff K e um compacto que n
ao contem um ponto x X,
ent
ao existem abertos disjuntos que os separam.
136
n
[
Byj .
j=1
claro que x
E
n
\
Ax,yj e que
j=1
n
\
Ax,yj e
j=1
n
[
j=1
concluda.
Exemplo 9.2.99 No Rn , os compactos s
ao precisamente os subconjuntos fechados e limitados (veja
[?]).
Em geral, compactos nao sao necessariamente fechados, mas em espacos de Hausdorff sim:
Teorema 9.2.100 Se X e um espaco de Hausdorff, ent
ao os compactos s
ao fechados.
Demonstracao. Seja K um compacto num espaco de Hausdorff X. Para mostrar que K ;e fechado,
mostraremos que seu complementar e aberto. Se X K for vazio, a demonstracao esta concluda. Caso
contrario, seja x X K. Pelo Teorema 9.2.98, x e K podem ser separados por abertos e, portanto,
existe um aberto A tal que x A X K. Logo X K e aberto.
Exerccio 9.2.101 De exemplo de um compacto que n
ao e fechado. Sugest
ao: Pense num espaco
topol
ogico com uma quantidade finita de abertos.
Exerccio 9.2.102 Exiba um espaco topol
ogico X que n
ao e Hausdorff, mas todo compacto em X e
fechado. Sugest
ao: Considere a reta com a topologia do Exemplo 9.2.2.
Exerccio 9.2.103 Seja X um espaco topol
ogico e B X um subespaco. Mostre que A B e
compacto em B se e somente se A e compacto em X. Em particular, fazendo A = B, segue que A e
compacto em X se, e somente se, A, pensado com espaco topol
ogico, e compacto.
Exerccio 9.2.104 Mostre que se f : X Y e contnua e K e compacto em X, ent
ao f (K) e
compacto em Y .
Exerccio 9.2.105 Mostre que ser compacto e uma propriedade topol
ogica.
Exerccio 9.2.106 Lembre que em teoria de conjuntos, o Teorema de Cantor-Bernstein afirma que
se A e B s
ao conjuntos e existem func
oes injetivas f : A B e g : B A, ent
ao existe uma bijec
ao
entre A e B. Para espacos topol
ogicos, o an
alogo seria:
Se X pode ser mergulhado em Y e Y pode ser mergulhado em X, ent
ao X e Y s
ao homeomorfos.
Encontre um contra-exemplo. Sugest
ao: Use [0, 1] e R.
Defini
c
ao 9.2.107 Uma famlia E de subconjuntos de X tem a propriedade da interse
ca
o finita
se a intersec
ao de qualquer subcolec
ao finita de E e n
ao-vazia.
Os conceitos de rede e de conjuntos com a propriedade da intersecao finita caracterizam conjuntos
compactos da seguinte forma:
137
n
[
(X Ei ) = X
i=1
n
\
Ei . Logo
i=1
i=1
{x ; 0 }.
Finalmente, para qualquer U aberto e , como x {x ; }, temos que existe tal que
x U , e x e ponto de acumulacao da rede (veja definicao na Definicao 9.2.59).
(c)(d). Se (x ) e uma ultrarede em X, em particular, (x ) e uma rede e, por hipotese, tem ponto
de acumulacao. Pela Proposicao 9.2.79, segue que essa ultrarede e convergente.
(d)(a). Seja F um ultrafiltro em X. A rede gerada por F e, pela Proposicao 9.2.96, uma
ultrarede. Por hipootese, temos que essa ultrarede (rede) converge. Pelo Exerccio 9.2.95, segue que
F tambem converge. Logo, todo ultrafiltro F em X converge.
Suponhamos, por contradicao, que X nao seja compacto. Escolha, entao, um conjunto de abertos
U que formam uma cobertura de X, que nao possui subcobertura finita. Entao X (A1 ...An ) 6=
para cada colecao finita de abertos {A1 , ..., An } em U. Fazendo uso da Proposicao 9.2.83, temos que
a famlia de conjuntos
{X (A1 ...An ); n N e Aj U , j = 1, ..., n}
forma uma base para um filtro F. Como todo filtro esta contido num ultrafiltro (veja Teorema 9.2.92),
segue que existe um ultrafiltro G que contem F. Mas, ja sabemos que todo ultrafiltro em X converge.
Assim, existe x X tal que G x. Como os abertos de U cobrem X, existe um aberto U U
contendo x. Como U e vizinhanca de x, e como G x, segue que U G. Por construcao, temos que
X U F G. Assim, U
/ G (contradicao). Logo X e compacto.
B
ao A A .
Exerccio 9.2.109 Se A B Y , ent
138
AA
A =A
e portanto A = A .
Exerccio 9.2.111 Se A B Y , A e fechado em Y e B e compacto em Y , mostre que A e compacto
em Y .
Solucao. Basta mostrar que A (com a topologia induzida) e um espaco topologico compacto.
Como A e fechado em Y , segue (de exerccio anterior) que A e fechado em B. Como B e compacto
em Y , B e um espaco topologico compacto. Logo, basta mostrar que todo subespaco fechado de um
espaco topologico compacto, e compacto. Para isso, vejam [22, pagina 111].
139
9.2.7
O Teorema de Tychonoff
compacto.
Demonstracao. Como as projecoes sao contnuas, e como funcao contnua leva compacto em
compacto, segue que se Y0 e compacto, entao cada A e compacto.
Pelo Exerccio 9.2.103, mostrar que Y0 e um subconjunto compacto de Y e o mesmo que mostrar
que Y0 e um espaco compacto.
Suponha, agora, que cada A e compacto. Seja (x ) uma ultrarede em Y0 (cuidado para
nao confundir: temos que cada x Y0 ). Entao, pelo Teorema 9.2.80 segue que, para cada ,
( (x )) e uma ultrarede em A . Pelas caracterizacoes dos conjuntos compactos, temos que cada
( (x )) converge para um certo z A . Seja
S
A dada por f () = z } Y0 .
z0 = {f :
Assim, para cada , temos que ( (x )) converge para (z0 ). Finalmente, o Teorema 9.2.77
garante que (x ) converge para z0 e o Teorema 9.2.108, que caracteriza compactos, garante que Y0
e compacto.
140
Captulo 10
Ap
endice II: Noc
oes de Teoria da
Medida
10.1
Espacos mensur
aveis
[
(iii) Se An para cada n N, ent
ao
An .
n=1
An .
n=1
Com efeito,
An =
n=1
AC
n
n=1
!C
.
\
iI
i e uma sigma-
algebra de subconjuntos de X.
Demonstracao. Clara.
141
Defini
c
ao 10.1.5 Se F 2X , a interseca
o de todas as sigma-
algebras que contem F e ainda uma
sigma-
algebra (pela proposica
o anterior). Alem disso, ela e a menor sigma-
algebra que contem F, e
ser
a denotada por (F). Chamamos (F) de sigma-
algebra gerada por F
ogico, a sigma-
algebra ( ) e chamada de
Observa
c
ao 10.1.6 Quando (X, ) e um espaco topol
sigma-
algebra de Borel de X, e denotada por B = B(X). Os elementos de B s
ao chamados de
subconjuntos de Borel.
Exerccio 10.1.7 Se C 2X , F = (C) e A X, defina C A = {B A; B C}. Mostre que
A (C A) = F A,
ou seja,
A (C A) = (C) A.
Solu
c
ao. Primeiro, vejamos que F A e sigma-algebra em A. De fato,
=AF A
B F A B = F A com F F B cA = F c A F A
Bn F A Bn = Fn A com Fn F
[
[
Fn A F A.
Bn =
n=1
n=1
Logo A (C A) F A.
Para mostrar a inclusao inversa, basta mostrar que
B A A (C A) para todo B F.
Seja
S = {B F; B A A (C A)}.
Vejamos que S e sigma-algebra em X:
S pois A = A (C A)
Se B S, entao B A A (C A). Logo
cA
(B A)
e da
B c A A (C A)
e portanto
Se Bn S, entao
A (C A)
B c S.
(Bn A) A (C A)
n=1
!
Bn
A A (C A)
n=1
e portanto
Bn S.
n=1
142
10.2
Funco
es Mensur
aveis
Defini
c
ao 10.2.1 Se (X, 1 ) e (Y, 2 ) s
ao espacos mensur
aveis, uma funca
o f : (X, 1 ) (Y, 2 ) e
mensur
avel se f 1 (A) 1 para cada A 2 .
Proposi
c
ao 10.2.2 Se 2 = (C), ent
ao f : (X, 1 ) (Y, 2 ) e mensur
avel se e somente se
f 1 (A) 1 para cada A C.
Demonstracao. Uma das implicacoes e clara. Basta mostrar que se f 1 (A) 1 para cada A C,
entao f e mensuravel. Seja
S = A 2 ; f 1 (A) 1 .
Vamos mostrar que S e sigma-algebra de subconjuntos de Y . De fato
S, pois f 1 () = 1 .
Se A S, entao f 1 (AcY ) = (f 1 (A))cX 1 , pois f 1 (A) 1 . Logo AcY S.
[
[
Se An S, entao f 1
An =
f 1 (An ) 1 , pois f 1 (An ) 1 .
n=1
n=1
Trabalharemos, em geral, com funcoes f : (X, ) (R, B(R)). Como B(R) e a sigma-algebra
gerada pelos abertos de R, para mostrar que f : (X, ) (R, B(R)) e mensuravel, bastara mostrar
que
f 1 (V ) para cada V R aberto.
Quando escrevermos f : (X, ) R, estara implcito que R e o espaco mensuravel (R, B(R).
Proposi
c
ao 10.2.3 Dada f : (X, ) R, as seguintes condic
oes s
ao equivalentes:
(i) f e mensur
avel
(ii) B = {x X; f (x) < } para todo R
(iii) C = {x X; f (x) > } para todo R
(iv) D = {x X; f (x) } para todo R
(v) E = {x X; f (x) } para todo R
Demonstracao. Note que Bc = E e Cc = D . Logo (ii) (v) e (iii) (iv). Temos ainda
D =
B+ n1
n=1
143
e
E =
\
n=1
C n1 .
Logo (ii) (iv) e (iii) (v). Alem disso, (i) (ii), pois e claro que B = f 1 ((, )) e (, ) e
aberto.
Resta provar que (ii) (i). Se V e aberto de R, entao
V =
n=1
Assim,
f 1 (V ) = f 1 (
(an , bn ) ) =
n=1
Com efeito,
f 1 (an , bn ) .
n=1
Proposi
c
ao 10.2.4 Se f, g : X R s
ao func
oes mensur
aveis, ent
ao f + g e mensur
avel.
Demonstracao.
{x X; (f + g)(x) > } = {x X; f (x) > g(x)}
[
=
{x X; g(x) < r < f (x)}
rQ
rQ
Proposi
c
ao 10.2.5 Se f, g : X R s
ao func
oes mensur
aveis, ent
ao:
(i) f e mensur
avel, para todo R.
(ii) f 2 e mensur
avel.
(iii) |f | e mensur
avel.
(iv) max{f, g} e mensur
avel
(v) min{f, g} e mensur
avel.
(vi) f.g e mensur
avel.
Demonstracao. (i) Se = 0, e trivial. Se > 0, note que
n
o
{x X, f (x) < } = x X, f (x) <
.
Se < 0, e analogo.
(ii)
n
o
2
x X, (f (x)) < = , se < 0
n
o
2
x X, (f (x)) < = x X, < f (x) < , se > 0.
(iii), (iv) e (v). Exerccio.
(vi) Use que
fg =
1
(f + g)2 + (f g)2
4
144
10.3
Sequ
encias de Func
oes Mensur
aveis
Defini
c
ao 10.3.1 A reta estendida e o conjunto
R = R {} {},
tambem denotada por [, ], onde e s
ao smbolos que, como veremos, ter
ao as propriedades
que intuitivamente esperamos para infinito e menos infinito..
Em
R, definimos as operacoes usuais de R e
a + = + a = para todo a R
= + a = para todo a R
+ = e + () =
, se b R e b > 0
b.() = ().b =
, se b R e b < 0
0. = 0.() = .0 = ().0 = 0
Note que R nao e corpo.
No que segue, usaremos as notacoes:
[, a) = {x R; x < a} {}
(a, ] = {{x R; x > a} {}.
Defini
c
ao 10.3.2 Seja a famlia dos abertos de R. Um conjunto A R e aberto se:
(i) A ou
(ii) A = [, a) com a R ou
(iii) A = (a, ] com a R, ou
(iii) A e uni
ao de alguns abertos anteriores.
Exerccio 10.3.3 Mostre que a famlia dos abertos definidos acima formam de fato uma topologia em
R.
Exerccio 10.3.4 Mostre que (na topologia de R), limn n = e limn (n) =
Quando nos referirmos a R, eatara implcito, quando quisermos nos referir a funcoes mensuraveis,
que estaremos considerando (R, ()), onde e a topologia de R.
Portanto, para provar que uma funcao f : (X, ) R e mensuravel, basta provar que f 1 (V )
para cada V .
O conjunto de todas as funcoes mensuraveis f : (X, ) R sera denotado por M (X, ).
O conjunto {f M (X, ); f 0} sera representado por M + (X, ).
Proposi
c
ao 10.3.5 Dada f : (X, ) R, as seguintes condic
oes s
ao equivalentes:
(i) f e mensur
avel
(ii) B = {x X; f (x) < } para todo R
(iii) C = {x X; f (x) > } para todo R
(iv) D = {x X; f (x) } para todo R
(v) E = {x X; f (x) } para todo R
145
Proposi
c
ao 10.3.7 Dada uma sequencia (fn )
c
oes s
ao mensur
aveis:
n=1 em M (X, ), as seguintes fun
a) f (x) = inf nN fn (x)
b) F (x) = supnN fn (x)
c) f (x) = lim inf fn (x)
d) F (x) = lim sup fn (x)
Demonstracao. (a) Basta notar que
{x C; f (x) } =
n=1
n=1
(c) Como
f (x) = sup inf fk (x) e
nN kn
Defini
c
ao 10.3.9 Se f, g M (X, ), dizemos que f + g est
a bem definida se
{x X; f (x) = e g(x) = } = e
{x X; f (x) = e g(x) = } = .
a bem definida, ent
ao f + g M (X, ).
Proposi
c
ao 10.3.10 Sejam f, g M (X, ). Se f + g est
Demonstracao. Para uma funcao h : X Rarbitraria e c > 0, usaremos a seguinte notacao:
h(x), se |h(x)| c
c, se h(x) > c
hc (x) =
c, se h(x) < c
146
(10.1)
De fato,
Se h(x) R, entao hn (x) = h(x) para todo n > |h(x)| .
Se h(x) = , entao hn (x) = n para todo n.
Se h(x) = , entao hn (x) = n para todo n.
Da (10.1) segue facilmente (lembrando que na topologia de R, limn n = e limn (n) =
).
Entao
(f + g)(x) = f (x) + g(x) = lim fn (x) + lim gn (x)
n
Como as funcoes fn e gn sao mensuraveis e assumem valores reais, sabemos que cada fn + gn e uma
funcao mensuravel. Pelo Corolario 10.3.8 segue que f + g M (X, ).
ao f.g M (X, ).
Proposi
c
ao 10.3.11 Se f, g M (X, ), ent
Demonstracao. Aproveitando a notac
ao da demonstracao do resultado anterior, temos
h
i
(f.g)(x) = f (x).g(x) = lim f (x)gn (x) = lim lim fm (x)gn (x) .
n
n m
Como cada fm e cada gn e uma funcao mensuravel, assumindo valores reais, sabemos que fm .gn
M (X, ). Logo, pelo Corolario 10.3.8, segue que
lim fm (x)gn (x) M (X, )
i
lim fm (x)gn (x)
n m
e mensuravel.
Proposi
c
ao 10.3.12 Uma func
ao f : (X, ) R e mensur
avel se e somente se os conjuntos
A = {x X; f (x) = } e B = {x X; f (x) = }
pertencem a e a func
ao
f0 (x) =
f (x), se x
/ AB
0, se x A B
e mensur
avel.
147
\
n=1
{x X; f (x) < n}
{x X; f (x) > n} .
n=1
Como
{x X; f0 (x) < } = {x X; f (x) < } r A , se 0
{x X; f0 (x) < } = {x X; f (x) < } B , se > 0,
temos que f0 e mensuravel.
Reciprocamente, suponha que A, B e que f0 e mensuravel. Como
{x X; f (x) < } = {x X; f0 (x) < } A, se 0
{x X; f (x) < } = {x X; f0 (x) < } r B, se > 0,
segue que f e mensuravel.
10.4
Espacos de Medida
Defini
c
ao 10.4.1 Seja (X, ) um espaco mensur
avel. Uma medida e uma funca
o : [0, ]
que satisfaz as seguintes condic
oes:
(a) () = 0
e uma sequencia de membros disjuntos de , ent
ao
(b) Se (An )
n=1
[
X
An =
(An ) .
n=1
n=1
Quando (X) < , dizemos que a medida e finita. Quando existe (An )
n=1 em tal que
X=
An
n=1
(A) = , se A e infinito
(A) = n, se A tem exatamente n elementos
Note que e uma medida -finita, chamada de medida de contagem.
da seguinte forma
1, se a A
(A) =
0, se a
/A
Note que e uma medida finita.
148
Proposi
c
ao 10.4.4 Seja (X, , ) um espaco de medida. Se A, B , ent
ao:
(a) A B (A) (B).
(b) A B e (A) < (B r A) = (B) (A).
Demonstracao. (a) B = A (B r A) (uniao disjunta). Logo
(B) = (A) + (B r A)
(10.2)
Proposi
c
ao 10.4.5 (a) Se An A (isto e, A1 A2 e
n=1
ent
ao
(A) = lim (An ).
n
(b) Se An A (isto e, A1 A2 e
n=1
Demonstracao. (a) Se (An ) = para algum n, o resultado e claro. Suponha (An ) < para
todo n. Seja (Bn )
n=1 uma sequencia de elementos de definida por
B1 = A1
B2 = A2 r A1
..
.
Bn = An r An1
..
.
claro que os Bn sao disjuntos,
E
N
[
N
[
Bj =
j=1
Aj = AN para cada N .
j=1
e alem disso,
Bj =
j=1
Aj = A.
j=1
Da
(A) = (
Bj ) =
j=1
N
X
X
(Bj ) = lim
(Bj )
N
j=1
= lim (A1 ) +
N
N
X
j=2
= lim (AN ).
N
149
j=1
((Aj ) (Aj1 ))
n=1
(10.3)
\
n=1
Logo
(
An =
(A1 r An ) =
n=1
Bn ) = (A1 r
n=1
Bn .
n=1
An ) = (A1 ) (
n=1
An )
(10.4)
n=1
n=1
e o resultado segue.
10.5
Funco
es simples e integrac
ao
Defini
c
ao 10.5.1 Uma func
ao 1E : X R com E X, dada por
1, se x E
1E (x) =
0, se x
/E
e chamada de fun
c
ao caracterstica.
Defini
c
ao 10.5.2 Uma func
ao : X R e dita simples se f assumir apenas um n
umero finito de
valores.
Se os valores (finitos) que a func
ao simples assume s
ao a1 , ..., an (disjuntos), e Aj = 1 (aj ),
j = 1, ..., n, podemos escrever
n
X
=
aj 1AJ
(10.5)
j=1
n
[
Aj = X
j=1
150
An,k =
x X;
k
k1
f (x) < n
n
2
2
n.2n
[
!
An,k
Bn .
k=1
n2
X
k1
n =
2n
k=1
Temos
1An,k
+ n1Bn .
(10.6)
(10.7)
n =
n2
X
k1
k=1
2n
(n+1)2n+1
n+1 =
k=1
1An,k + n1Bn
k1
1A
+ (n + 1)1Bn+1 .
2n+1 n+1,k
Para x Bn+1 , temos f (x) n + 1. Logo n+1 (x) = n + 1 e n (x) = n e o resultado segue.
Para x An+1,2k com 1 k n.2n , temos 2 2k n2n+1 . Logo, como de (10.6),
An,k = An+1,2k1 An+1,2k (1 k n2n ),
temos x An,k . Da
n (x) =
xAn+1,2k 2k 1
k1
k1
e n+1 (x)
=
.
n
n+1
2
2
2n
k1
n2n+1 + 1 1
= n.
n+1
2
2n+1
Se f (x) R, entao se f (x) < n, temos que x An . Da, existe k, 1 k n2n , tal que x An,k .
Logo
k1
n (x) =
.
2n
Entao, como x An,k , temos
k1
k
f (x) < n .
(10.8)
n
2
2
Segue que
k
k1
1
0 f (x) n (x) < n n = n
2
2
2
e portanto limn n (x) = f (x).
Note que se f for limitada, isto e, existir M tal que f (x) < M para todo x em X, entao a
convergencia e uniforme.
ao simples, M + (X, ) com representac
ao padr
ao dada por
Defini
c
ao 10.5.4 Seja uma func
=
m
X
j 1Aj .
j=1
m
X
d =
j (Aj ).
j=1
Defini
c
ao 10.5.5 Seja uma func
ao simples, M + (X, ) Dizemos que
=
m
X
j 1Bj
j=1
e uma representa
c
ao semi-padr
ao de se Bj ,
m
[
Bj = X e Bk Bl = se k 6= l (note que
j=1
os k n
ao precisam ser distintos).
Lema 10.5.6 Se uma func
ao simples, M + (X, ), ent
ao
Z
m
X
j (Bj ),
d =
j=1
m
X
j 1Bj de .
j=1
152
Demonstracao. Suponha
=
m
X
j 1Aj
j=1
Aj =
Bk .
kKj
Entao
Z
d =
m
X
j (Aj ) =
j=1
m
X
j=1
m X
X
(Bk )
kKj
j (Bk )
j=1 kKj
m X
X
k (Bk )
j=1 kKj
n
X
k (Bk ),
k=1
pois
m
[
j=1
Proposi
ao 10.5.7Z Sejam e func
oes simples em M + (X, ), e seja R, 0. Ent
ao
Z c
(a) d = d.
Z
Z
Z
(b) ( + )d = d + d.
Demonstracao. Sejam =
m
n
X
X
j 1Aj e =
k 1Bk as representacoes-padrao de e .
j=1
k=1
m
X
j 1Aj
j=1
e a representacao-padrao de . Logo
Z
d =
Z
m
m
X
X
j (Aj ) = j (Aj ) = d.
j=1
j=1
153
(b) Se X =
m
[
Aj e X =
j=1
n
[
k=1
!
n
n
[
[
A
=
(Aj Bk )
A
=
j
k
j
k=1
k=1
m
m
[
[
B
=
A
B
=
(Aj Bk )
j
k
k
j=1
j=1
Entao
n
X
0
1 =
1
=
1
1Bk Aj
n
A
j
B
C
k=1
Bk Aj A
@
k=1
1 =
1Bk = 10 [
1Bk Aj
m
B
C
j=1
Bk Aj A
@
j=1
Logo
m
m
n
m X
n
X
X
X
X
1
=
1
=
j 1Aj Bk
j Aj
j
Aj Bk
j=1
j=1
k=1
j=1 k=1
j=1
k=1
j=1
j=1 k=1
m
n
m
m X
n
X
X
X
X
1
=
1
=
k 1Aj Bk
k
B
k
A
B
j
k
k
Z X
m X
n
(j + k ) (Aj Bk )
j=1 k=1
m X
n
X
j (Aj Bk ) +
j=1 k=1
Z
=
10.6
(j + k ) 1Aj Bk d
j=1 k=1
m X
n
X
d +
m X
n
X
k (Aj Bk )
j=1 k=1
Z
d
Integrac
ao de funco
es positivas
Defini
c
ao 10.6.1 Seja f M + (X, ). A integral de f com rela
c
ao a e dada por
Z
Z
f d = sup d,
onde o supremo e tomado sobre todas as func
oes simples em M + (X, ) tais que 0 (x) f (x) para
todo x X.
Se A , a integral de f sobre A com relac
ao a e definida por
Z
Z
f d = f.1A d.
A
154
Proposi
c
ao 10.6.2 Sejam f, g M + (X, ) e sejam A, B .
(a) Se f g, ent
ao
Z
Z
f d gd
(b) Se A B, ent
ao
Z
f d
f d
m
X
j 1Aj a representacao-padrao de . Entao
j=1
m
m
X
X
.1A = j 1Aj 1A =
j 1AAj .
j=1
Logo
j=1
Z
(A) =
1A d =
m
X
j (A Aj ).
j=1
m
X
j j (A) e medida.
j=1
pontualmente, ent
ao
Z
f d = lim
155
fn d.
Z
fn d
Z
fn+1 d
Logo
Z
lim
Z
fn d
(10.9)
Z
lim
fn d,
Z
pois a sequencia (
f d.
fn d)
e crescente. Portanto, ou o limite existe, ou ele e infinito. Seja 0 < < 1
n=1
An (pois se x X, como
n=1
f, temos (x) f (x). Como limn fn (x) = f (x), existe N tal que fN (x) > (x)).
Da
Z
Z
Z
d
fn d
fn d
An
An
(10.10)
Z
d = (X) = lim (An ) = lim
n
d.
An
e assim, temos
An
Z
d lim
X
fn d.
Z
d lim
fn d
X
Z
d lim
fn d.
X
156
(10.11)
Defini
c
ao 10.6.5 Seja (X, , ) um espaco de medida. Dadas f, g : X R, dizemos que
f = g para quase todo x X
ou
f = g (-qtp)
se existir N com (N ) = 0 tal que
f (x) = g(x) para todo x X r N.
Proposi
c
ao 10.6.6 Seja f M + (X, ). Ent
ao
Z
f d = 0 f = 0 (-qtp).
Z
Demonstracao. Suponha
f d = 0. Sejam
1
}.
n
1
n 1An .
Logo
Z
Z
1
1
0 = f d
1An d = (An )
n
n
e da
(An ) = 0
para todo n. Como An A, segue que
(A) = lim (An ) = 0,
n
ou seja,
f = 0 (-qtp).
Reciprocamente, suponha f = 0 (-qtp). Usando a notacao do item anterior, temos (A) = 0.
encia Monotona,
Defina fn = n1A . Temos (fn )
n=1 crescente e f limn fn . Pelo Teorema da Converg
segue que
Z
Z
Z
0 f d
lim fn d = lim
fn d = lim n(A) = lim 0 = 0.
n
Logo
Z
f d = 0.
157
ao cf M + (X, ) e
Corol
ario 10.6.8 (a) Se f M + (X, ) e c 0, ent
Z
Z
cf d = c f d.
(b) Se f, g M + (X, ), ent
ao f + g M + (X, ) e
Z
Z
Z
(f + g)d = f d + gd.
encia crescente de funcoes
Demonstracao. (a) Se c = 0, e claro. Se c > 0, seja (n )
n=1 uma sequ
simples em M + (X, ) convergindo para f (sabemos que existe, por um resultado anterior). Ent
ao
e
crescente
e
converge
a
cf.
Pelo
TCM,
temos
(cn )
n=1
Z
Z
Z
Z
cf d = lim
cn d = c lim
n d = c f d.
n
(b) Se (n )
ao sequencias crescentes de funcoes simples, convergindo para f e g,
n=1 e (n )n=1 s
respectivamente, entao
(n + n )
n=1
e uma sequencia crescente de funcoes simples convergindo a f + g. Logo, pelo TCM, temos
Z
Z
Z
Z
Z
Z
(f + g)d = lim
(n + n )d = lim
n d + n d = f d + gd.
n
158
Demonstracao. Lembre-se que lim inf n fn = limn (inf kn fk ) . Seja, para todo n,
gn = inf fk .
kn
Z
gn d inf
fk d.
kn
Como (gn )
e crescente e
n=1
Z
lim inf fn d = lim
gn d lim
n
n
Z
= lim inf
fn d.
Z
inf
kn
fk d
10.7
Integrac
ao de funco
es reais
Observa
c
ao 10.7.1 Se f : X R e uma funca
o, definimos
f + : X R por f + (x) = max{f (x), 0}
f : X R por f + (x) = min{f (x), 0}.
Note que
f = f+ f
|f | = f + + f
f + = 12 (|f | + f )
f = 12 (|f | f )
e portanto f e mensur
avel se e somente se f + e f s
ao mensur
aveis.
Defini
c
ao 10.7.2 Seja (X, , ) um espaco de medida. Uma func
ao mensur
avel f : X R e dita
integr
avel se
Z
Z
f + d < e f d < .
O conjunto de todas as func
oes integr
aveis f : X R e denotado por L1 (X, , ). Se f L1 (X, , )
e A , definimos
Z
Z
Z
f d = f + d f d
Z
Z
Z
+
f d = f d f d.
A
Observa
c
ao 10.7.3
Note que se f L1 (X, , ) e f = f1 f2 com f1 , f2 : X [0, ) mensur
aveis
Z
Z
e f1 d < e f2 d < , ent
ao
Z
Z
f d =
Z
f1 d
159
f2 d.
De fato,
f1 f2 = f + f .
Logo
f1 + f = f + + f2 .
Assim, temos
Z
f1 d +
Z
f2 d +
f + d
Z
+
f d =
f d =
f d
f d =
f1 d
f2 d.
o mensur
avel f : X R e integr
avel se e somente se
Proposi
c
ao 10.7.4 Uma funca
Z
|f | d < .
Demonstracao. |f | = f + + f . Entao
Z
Z
Z
+
|f | d = f d + f d
e da
Z
Z
|f | d <
Z
+
f d < e
f d < f e integravel.
avel, ent
ao
Corol
ario 10.7.5 Se f : X R e integr
Z
Z
f d |f | d.
Demonstracao.
Z
Z
Z
Z
Z
Z
f d = f + d f d f + d + f d = |f | d.
ao f e f + g pertencem a L1 (X, , ) e
Proposi
c
ao 10.7.6 Sejam f, g L1 (X, , ) e R. Ent
Z
Z
f d = f d
Z
Z
Z
(f + g)d = f d + gd.
Demonstracao. Se = 0, o resultado e claro. Se > 0, entao
(f )+ = f + e (f ) = f .
Logof
Z
Z
Z
(f )+ d = f + d = f + d <
Z
Z
Z
(f ) d = f d = f d < ,
160
Z
(f )+ d (f ) d
Z
Z
+
= f d f d
Z
= f d.
f d =
uma
Teorema 10.7.7 (Teorema da Converg
encia Dominada) Seja
(fn )
n=1
sequencia de func
oes em L1 (X, , ) que converge pontualmente para uma func
ao f : X R. Se
existir g L1 (X, , ) tal que |fn | |g| para todo n, ent
ao f L1 (X, , ) e
Z
Z
f d = lim
fn d.
n
Demonstracao. Como limn fn (x) = f (x) e cada fn e mensuravel, segue que f e mensuravel.
Como |fn | |g| para todo n, temos que |f | |g| . Mas, por hipotese, g e integravel e
consequentemenete |g| e integravel. Portanto |f | e integravel e finalmente f e integravel. Temos
ainda
|g| fn |g|
e da segue que
|g| + fn 0 para todo n.
Portanto
|g| d + f d
Z
Z
= (|g| + f ) d =
lim (|g| + fn ) d
n
Z
Lema de Fatou
lim inf
(|g| + fn ) d
n
Z
Z
= lim inf
|g| d + fn d
n
Z
Z
= |g| d + lim inf
fn d.
n
161
Logo
Z
f d lim inf
fn d.
|g| d f d
Z
Z
= (|g| f ) d =
lim (|g| fn ) d
n
Z
Lema de Fatou
lim inf
(|g| fn ) d
n
Z
Z
= lim inf
|g| d fn d
n
Z
Z
= |g| d lim sup fn d
n
e consequentemente
Z
f d lim sup
n
Finalmente, temos
Z
lim sup
n
e portanto
fn d.
fn d
f d lim inf
fn d
Z
f d = lim
fn d.
A seguir, obteremos uma versao mais abrangente do Teorema da Convergencia Dominada (TCD).
Lema 10.7.8 Seja (X, , ) um espaco de medida. Se f : X R e mensur
avel e f = 0 (-qtp),
ent
ao f e integr
avel e
Z
f d = 0.
Demonstracao. Como f + (x) = max{f (x), 0} e f (x) = min{f (x), 0}, temos que
f = 0 (-qtp) f + = 0 (-qtp) e f = 0 (-qtp).
Logo
Z
f + d
f d =
f d = 0 0 = 0.
Z
f d = lim
162
fn d.
n=0
e
|fn (x)| |g(x)| para todo x X r N.
Se A = X r N , entao
f 1A = limn fn 1A
|fn 1A | |g| 1A para todo n.
Z
Z
f 1A d = lim
fn 1A d.
f = f (1A + 1N ) = f 1A + f 1N
fn = fn (1A + 1N ) = fn 1A + fn 1N para todo n.
Z
Z
f 1N d =
fn 1N d = 0 para todo n.
Logo
Z
Z
Z
f (1A + 1N )d = f 1A d = lim
fn 1A d
n
Z
Z
= lim
fn (1A + 1N )d = lim
fn d.
f d =
163
Refer
encias Bibliogr
aficas
[1] F. Albiac e N. Kalton, Topics in Banach Space Theory, Graduate Texts in Mathematics, Springer
Verlag, 2005.
[2] G. Bachman and L. Narici,
[3] S. Banach, Theorie des operations lineaires, Warsaw, 1932.
[4] R. Bartle, The elements of integration and Lebesgue measure, Wiley Classics Library, 1995.
[5] G. Botelho e D. Pellegrino, Os problemas da base incondicional e do espaco homogeneo, a aparecer
em Matematica Universitaria.
[6] H. Brezis, Analyse Fonctionelle, Masson, 1987.
[7] J. Diestel, H. Jarchow, A. Tonge, Absolutely summing operators, Cambridge Studies in Advanced
Mathematics, 1995.
[8] U. Dini, Sui prodotti infiniti, Annali di Matem. 2 (1868), 28-38.
[9] D. Diniz, Aplicacoes entre espacos de Banach que atingem a norma, Anais das Jornadas de
Iniciacao Cientfica do IMPA (2004), 448-477.
[10] V.M. Kadets, On a problem of Banach, Problem 106 in the Scottish Book, Funct. Anal. Appl.
20 (1986), 317-319.
[11] E. Kreysig, Introductory Functional Analysis with Applications, Wiley Classics Library Edition,
1989.
[12] P. Levy, Sur les series semi-convergentes, Nouv. Ann. de Math. 64 (1905), 506-511.
[13] E. L. Lima, Espacos Metricos, Projeto Euclides.
[14] S. Lang, Real and Functional Analysis, Springer Verlag 1993.
[15] J. Lindenstrauss, On operators which attain their norm, Isr. J. Math, 1 (1963), 139-148.
[16] M. C. Matos, Notas de Aula de Analise Funcional.
[17] R. Maudlin, The scottish book, Birkhauser-Verlag, Boston-Basel-Stuttgart 1981.
[18] J. Mujica, Notas de Aula de Analise Funcional.
[19] L. Narici, Partners: Functional Analysis and Topology, Notas na Internet
[20] D. Pellegrino, Notas de Aula de Topologia Geral.
165