Escolar Documentos
Profissional Documentos
Cultura Documentos
An
alise Funcional
Notas de Aula
Maring
a - Segundo Semestre de 2014
Sum
ario
Programac
ao
0.1 Aulas . . .
0.2 Avaliacoes .
0.3 Programa .
0.4 Bibliografia
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1 Espacos M
etricos
1.1 Definicao . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Conjuntos Abertos, Fechados e Vizinhancas . . . . . .
1.3 Sequencias Convergentes, de Cauchy e Completicidade
1.4 Espacos Metricos Completos . . . . . . . . . . . . . . .
1.5 Completamento de Espacos Metricos . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Espacos Normados
2.1 Definicao e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 A Topologia dos Espacos Normados . . . . . . . . . . . . . . . . . .
2.3 Convergencia de Sequencias e Espacos de Banach . . . . . . . . . .
2.4 Compacidade e Dimensao Finita . . . . . . . . . . . . . . . . . . . .
2.5 Operadores Lineares . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6 Operadores Lineares Contnuos e Limitados . . . . . . . . . . . . .
2.7 Funcionais Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.8 Operadores e Funcionais Lineares Limitados em Espacos Vetoriais
Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.9 Operadores em Espacos Normados e O Espaco Dual . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
. .
. .
. .
. .
. .
. .
de
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ii
iii
iii
iii
iv
.
.
.
.
.
1
1
7
13
19
25
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
Dimensao
. . . . . .
. . . . . .
31
31
42
48
66
70
74
82
85
88
3.4
3.5
3.6
3.7
3.8
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
116
120
124
128
129
4 Os Teoremas de Hahn-Banach
134
4.1 Formas Analticas do Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . . 134
4.2 Formas Geometricas do Teorema de Hahn-Banach . . . . . . . . . . . . . . . . . . 139
5 Consequencias do Teorema da Categoria
5.1 O Teorema da Categoria de Baire . . . .
5.2 O Teorema de Banach-Steinhaus . . . . .
5.3 O Teorema da Aplicacao Aberta . . . . .
5.4 O Teorema do Grafico Fechado . . . . .
Refer
encias Bibliogr
aficas
de
. .
. .
. .
. .
Baire.
. . . . .
. . . . .
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
146
146
147
150
153
156
Programa
c
ao
0.1
Aulas
6.
13.
Outubro: 1, 3, 6, 8, 10, 13, 15, 17, 20, 22, 24, 27, 29, 31
14.
0.2
42.
Avaliac
oes
1a Avaliac
ao: 03/10/2014.
2a Avaliac
ao: 21/11/2014.
0.3
9.
Programa
1. Espacos Metricos;
2. Espacos Normados;
0.4
Bibliografia
Captulo 1
Espa
cos M
etricos
Intuitivamente, Um espaco metrico e um conjunto X munido de uma metrica. Esta metrica
associa a cada par de elementos de X a distancia entre eles e sera definida axiomaticamente,
com os axiomas sugeridos por determinadas propriedades obtidas da distancia conhecida entre
elementos da reta real estudada nos cursos de Analise Real ou na distancia entre elementos do
plano complexo estudada nos curso de variaveis complexas. A principal propriedade que um
espaco metrico pode ter e a completicidade, o que sera bem discutido neste captulo.
1.1
Definic
ao
(Simetria);
(Desigualdade Triangular).
Analise Funcional
Outro Espaco Metrico pode ser obtido se considerarmos R2 e uma nova metrica definida por
d1 (x, y) =| 1 1 | + | 2 2 |,
onde x = (1 , 2 ), y = (1 , 2 ) R2 . Assim, (R2 , d1 ) tambem e um espaco metrico.
Assim, vemos que com um mesmo conjunto podemos definir varios espacos metricos, bastando
para isso definirmos uma nova metrica neste conjunto.
Exemplo 1.3. O Espaco Euclidiano consiste do conjunto R3 formado por triplas ordenadas de
n
umeros reais x = (1 , 2 , 3 ), y = (1 , 2 , 3 ), . . . , e da metrica Euclidiana definida por
d(x, y) =
p
(1 1 )2 + (2 2 )2 + (3 3 )2 ,
para quaisquer x = (1 , 2 , 3 ), y = (1 , 2 , 3 ) R3 .
Exemplo 1.4. O espaco Euclideano n-dimensional Rn , e obtido tomando as n uplas ordenadas
de n
umeros reais x = (1 , . . . , n ), y = (1 , . . . , n ), etc., e a metrica Euclideana definida por
d(x, y) =
p
(1 1 )2 + . . . + (n n )2 .
x, y C.
iN
e
| zi yi | sup | zi yi |,
iN
iN
Analise Funcional
X
1 | xi y i |
d(x, y) =
,
2i 1+ | xi yi |
i=1
onde x = (xi ), y = (yi ) s e xi , yi C, para todo i N. Entao (s, d) e um espaco metrico
De fato: Para mostrarmos os itens (M1) e (M2), dado x = (x1 , x2 , ...) para todo i N, temos
| xi xi |= 0 1+ | xi xi |= 1.
Portanto,
d(x, x) =
X
X
X
1
1 | xi xi |
=
.0
=
0 = 0.
i 1+ | x x |
i
2
2
i
i
i=1
i=1
i=1
Da,
d(x, x) = 0.
Ainda, se xi 6= yi para algum i N, entao
xi yi 6= 0 | xi yi | > 0
1+ | xi yi | > 0
| xi y i |
> 0,
1+ | xi yi |
X
1 | xi y i |
> 0,
2i 1+ | xi yi |
i=1
Logo,
| xi y i |
| yi xi |
=
.
1+ | xi yi |
1+ | yi xi |
X
X
1 | xi yi |
1 | y i xi |
=
.
i
2 1+ | xi yi |
2i 1+ | yi xi |
i=1
i=1
Portanto,
d(x, y) = d(y, x).
t
,
1+t
f (t) =
1
,
(1 + t)2
1
2i
X
X
X
1 | xi y i |
1 | yi zi |
1 | xi zi |
6
+
.
i
i
2 1+ | xi zi |
2 1+ | xi yi | i=1 2i 1+ | yi zi |
i=1
i=1
Portanto,
d(x, z) 6 d(x, y) + d(y, z),
provando (M4) e completando a prova do exemplo.
Exemplo 1.7. Seja X um conjunto qualquer e definamos sobre X uma metrica, denominada
metrica discreta, por
(
0, se x = y;
d(x, y) =
1, se x 6= y.
Entao (X, d) e um espaco metrico, denominado espaco metrico discreto.
Exemplo 1.8. Considere o conjunto de todas as funcoes limitadas f : A R definidas em um
conjunto nao vazio A, isto e,
B(A) := {x : A R; |x(t)| cf , t A e cf 0}.
Em B(A) defina a metrica
d(x, y) = sup |x(t) y(t)|,
tA
Analise Funcional
1.2
Nessa secao estudaremos alguns conceitos auxiliares, os quais tem grande relacao com espacos
metricos e serao u
teis no desenvolvimento do curso..
Definic
ao 1.2. Dados um ponto x0 X e um n
umero real r > 0, definimos tres tipos de conjuntos:
(a) Bola aberta
B(x0 , r) = {x X, d(x, x0 ) < r}
(b) Bola fechada
B(x0 , r) = {x X, d(x, x0 ) 6 r}
(c) Esfera
S(x0 , r) = {x X, d(x, x0 ) = r}
Desta definicao segue que
S(x0 ; r) = B(x0 ; r) B(x0 ; r).
Definic
ao 1.3. Seja (X, d) um espaco metrico. Um subconjunto M X do espaco metrico X
e aberto se ele contem uma bola com centro em cada um de seus pontos. Um subconjunto K do
espaco metrico X e fechado se seu complementar (em X) e aberto, isto e, Kc = X K e aberto.
Proposic
ao 1.1. Seja (X, d) um espaco metrico. Entao
(i) Uma bola aberta em X e um conjunto aberto em X.
(ii) Uma bola fechada em X e um conjunto fechado em X.
Demonstrac
ao:
(i) Dado x0 , x X e > 0, seja B(x0 , ) a bola aberta em X e x B(x0 , ), entao d(x0 , x) <
e portanto s = d(x0 , x) e um n
umero positivo. Afirmamos que B(x, s) B(x0 , )
De fato
Seja y B(x, s), entao
d(x, y) < s d(x, y) < d(x0 , x) d(x, y) + d(x0 , x) <
como d(y, x0 ) < d(x, y) + d(x0 , x) (pela desigualdade triangular). Entao
d(y, x0 ) <
logo
y B(x0 , )
c
(ii) Dado x0 X e > 0, seja B(x0 , ) a bola fechada em X, devemos mostrar que B =
X B(x0 , ) = {x X; d(x, x0 ) > }
De fato
c
Seja p B , isto e, d(x0 , p) > . Tomemos s > 0 tal que + s < d(x0 , p), entao as bolas
c
fechadas B(x0 , ) e B(p, s) sao disjuntas . Portanto B(x0 , )B(p, s) = . Da B(p, s) B
c
logo todo ponto p B c e interior , portanto B e aberto em X, o que prova que B(x0 , ) e
fechada.
Definic
ao 1.4. Seja (X, d) um espaco metrico. Uma bola aberta B(x0 ; ) de raio > 0 e
centro x0 X e denomindada de vizinhanca de x0 . Uma vizinhanca de x0 e definida como
sendo qualquer subconjunto de X que contenha uma qualquer subconjunto de X que contenha uma
vizinhanca de x0 .
Observemos que
toda vizinhanca de x0 contem x0 ;
Se N e uma vizinhanca de x0 e N M , entao M tambem e uma vizinhanca de x0 .
De fato
B(x0 , ) N M, logo B(x0 , ) M
Definic
ao 1.5. Seja (X, d) um espaco metrico e M X. Diremos que x0 e um ponto interior
de M , se M for uma vizinhanca de x0 , isto e, se existir > 0 tal que B(x) ; ) M .
Chamamos de interior de M , o conjunto de todos os pontos interiores de M e denotaremos
por int(M ) ou M 0 .
Algumas observacoes importantes.
O int(M ) e aberto e e o maior conjunto aberto contido em M.
Seja J a colecao dos subconjuntos abertos do espaco metrico X. Entao:
(T1) J e X J;
(T2) A uniao de quaisquer elementos de J e um elemento de J;
Analise Funcional
(T3) A intersecao de um n
umero finito de elementos de J e um elemento de J.
Vamos verificar esses fatos. Para mostrarmos (T1), precisamos mostrar que e um subconjunto aberto. De fato, suponhamos que nao seja aberto, entao devemos exibir pelo menos um
ponto que nao seja ponto interior do . Como nao conseguimos exibir este ponto, pois vazio nao
tem ponto, entao concluimos que e aberto.
Agora, mostraremos que X J. De fato, temos por definicao que
B(x0 ; ) = {x X; d(x, x0 ) < } X,
todo x0 X, provando o item (T1).
Para o item (T2), seja x um ponto qualquer da uniao
U := nN Mn ,
de subconjuntos abertos de X. Entao x pertence a pelo menos um desses subconjuntos de Mn .
Suponha que x pertenca a Mi . Sabemos que Mi contem B(x; ), para algum > 0, pois Mi e
aberto em X. Entao
B(x, ) U,
logo U e aberto, provando o item (T2).
Para o item (T3), seja y qualquer ponto da intersecao de conjuntos abertos M1 , M2 , ..., MN ,
entao cada Mi contem uma bola B(y, ) e a menor dessas bolas esta contida na intersecao, provando
(T3).
Definic
ao 1.6. Um espaco topologico (X, J) e um conjunto X e uma colecao, J, de subconjuntos
de X que satisfazem os axiomas (T1), (T2) e (T3). A colecao J e chamada de uma topologia para
X e os elementos desta colecao sao chamados de abertos de X.
Proposic
ao 1.2. Todo espaco metrico e um espaco topologico.
Definic
ao 1.7. Sejam X = (X, d) e Y = (Y, d) dois espacos metricos. Uma aplicacao T : X
Y e dita ser contnua em um ponto x0 X se para todo > 0 existir > 0 tal que
d(T x, T x0 ) < , sempre que d(x, x0 ) < .
A aplicacao T e dita ser contnua se ela for contnua em todos os pontos de X.
Aplicacoes continuas podem ser caracterizadas em termos de conjuntos abertos como segue
Teorema 1.1. Sejam X = (X, d) e Y = (Y, d) dois espacos metricos e T : X Y uma aplicac
ao
dada. Entao T e continua se, e somente se, a imagem inversa de qualquer subconjunto aberto de
Y e um subconjunto aberto de X.
10
Demonstrac
ao: Suponha que T seja uma aplicacao contnua. Seja S Y aberto e S0 = T 1 (S).
Se S0 = ja provamos que S0 e aberto. Se S0 6= , entao seja x0 S0 um ponto qualquer em S0 .
Portanto, para cada x0 S0 , existe y0 S tal que T x0 = y0 . Desde que S e aberto, existe > 0
tal que B(y0 , ) S e, como T e continua, existe > 0 tal que T (B(x0 ; )) B(y0 ; ). Assim,
T (B(x0 ; )) B(y0 ; ) S, mostrando que B(x0 ; ) S0 e, portanto, mostrando que S0 e aberto.
Reciprocamente para cada x0 X, y0 = T x0 e qualquer B(y0 ; ) Y, entao T 1 (B(y0 ; ))
X e um subconjunto aberto de X. A hipotese implica que existe > 0 tal que B(x0 ; )
T 1 (B(y0 ; )). Portanto, T (B(x0 ; )) B(y0 ; ), mostrando que T e contnua em x0 X. A
arbitrariedade de x0 X mostra entao a continuidade de T, completando a prova do teorema.
Definic
ao 1.8. Seja M um subconjunto de um espaco metrico X, entao um ponto x0 X e
chamado de ponto de acumulacao de M se para todo > 0 a bola aberta B(x0 ; ) contem pelo
menos um ponto y M distinto de x0 , isto e,
B(x0 ; ) (M {x0 }) 6= .
Algumas notacoes e propriedades com respeito a pontos :
o conjunto de todos os pontos de acumulacao de M ,
M 0 := {x0 X; x0 e ponto de acumulacao de M },
e chamado de conjunto derivado de M ;
o conjunto
M = M M0
e chamado de fecho de M no espaco metrico X;
o conjunto M e um subconjunto fechado do espaco metrico X;
M M;
M e o menor conjunto fechado que contem M.
Temos que em R3 o fecho B(x0 ; r) de uma bola aberta B(x0 ; r) e a bola fechada B(x0 , r), mas
isso nao acontece, em geral, para todos espacos metricos. Por exemplo no espaco metrico discreto
com raio r = 1 temos que o fecho da bola aberta nao e a bola fechada.
Recordemos que um conjunto M e enumeravel se M e finito ou existe um aplicacao bijetora
: Z M.
Analise Funcional
11
Definic
ao 1.9. Um subconjunto M X de um espaco metrico X = (X, d) e denso em X se
M = X.
O espaco metrico X sera chamado de espaco metrico separavel se ele possui um subconjunto
enumeravel que e denso em X.
Algumas observacoes importantes sobre conjuntos densos e exemplos de espacos metricos
separaveis.
Um subconjunto M X de um espaco metrico e denso em X se toda bola em X contiver
pontos de M , isto e,
B(x0 ; r) M 6= ou B(x0 ; r) M 6= ,
para quaisquer r > 0 e qualquer x0 X;
Um subconjunto M X de um espaco metrico e denso em X se nao existir x X que
possua uma vizinhanca que nao contenha pontos de M, isto e para todo x X,
Vx M 6= ,
onde Vx e uma vizinhanca de x em X.
Exemplo 1.9. A reta real, munida da metrica usual, e separavel.
De fato: O conjunto dos n
umeros racionais e enumeravel e e denso em R.
Exemplo 1.11. Um espaco metrico discreto X e separavel se, e somente se, o conjunto X e
enumeravel.
De fato: Mostremos que nao existem subconjuntos proprios de X que sejam densos em X.
Para provarmos este fato sejam M X um subconjunto prooprio de X e x X tal que x 6 M.
Logo,
1
B(x, ) M = ,
2
pois
d(x, y) = 1, para qualquer y M,
mostrando que M nao pode ser denso em X.
Portanto, o u
nico subconjunto denso em X e o proprio X e o exemplo segue deste fato.
12
Analise Funcional
1.3
13
Nesta secao vamos definir e mostrar algumas propriedades elementares de sequencias convergentes e de Cauchy e apresentar exemplos de espacos metricos completos que e o principal assunto
desse incio de curso.
Definic
ao 1.10. Uma sequencia (xn ) em um espaco metrico X = (X, d) e convergente se existir
x X tal que
lim d(xn , x) = 0.
ou, simplesmente
xn x
Diremos que (xn ) converge para x ou tem limite x. Se (xn ) nao e convergente, ela e divergente.
Recordemos que um subconjunto nao vazio M X de um espaco metrico X = (X, d) e um
conjunto limitado se o seu diametro
(M ) = sup d(x, y) <
x,yM
for finito. Assim, diremos que uma sequencia (xn ) e limitada se o conjunto {xn , n N} for um
subconjunto limitado de X.
Obviamente se M e limitado entao
M B(x0 ; r),
onde x0 X e ponto de X e r > 0 e um n
umero real positivo(suficientemente grande).
Lema 1.1. Sejam X = (X, d) um espaco metrico e (xn ) um sequencia convergente em X. Ent
ao,
(a) o limite desta sequencia e u
nico;
(b) a sequencia e limitada;
(c) Se yn y em X, entao
d(xn , yn ) d(x, y).
14
Demonstrac
ao: Observemos inicialmente que como a sequencia e convergente, entao existe
x X tal que para todo > 0, existe N N com
d(xn , x) <
Para provarmos o item (a), seuponhamos que exista um outro y X tal que
xn y,
isto e, existe M N tal que
d(xn , y) <
+ = .
2 2
Analise Funcional
15
d(yn , y) <
+ = ,
2 2
+ = ,
2 2
sempre que m, n > N . Isso mostra que (xn ) e uma sequencia de Cauchy em X, provando o
teorema.
Teorema 1.3. A reta real e o plano complexo, munidos das metricas usuais, sao espacos metricos
completos.
Exemplo 1.13. O conjunto R {a}, munido da metrica usual da reta real, nao e um espaco
metrico completo.
16
1
0,
n
mostrando que
xn x.
Reciprocamente, seja (xn ) M uma sequencia em M e tal que
xn x.
Primeiro observe que se existir N N tal que xn = x, para todo n > N, entao x M e, portanto,
x M . Suponhamos entao que para todo n N,
xn0 6= x, para algum n0 > n.
Analise Funcional
17
18
Mas entao, por hipotese, devemos ter que x M, mostrando que M M. Portanto, M = M, ou
seja, M e fechado, completando a prova do item (b) e do teorema.
Usando o resultado anterior, vamos relacionar o conceito de espacos metricos completos com
subconjunto fechados desses espacos metricos completos.
Teorema 1.5. Seja X = (X, d) um espaco metrico completo e M X um subconjunto de X.
Entao M e fechado em X se, e somente se, M = (M, d) munido da metrica que e a restric
ao da
metrica em X para M e um espaco metrico completo.
Demonstrac
ao: Suponhamos inicialmente que M X seja um subconjunto fechado do espaco
metrico X. Seja (xn ) M uma sequencia de Cauchy em M = (M, d). Como a metrica em M e
a herdada de X e M X, entao (xn ) X e uma sequencia de Cauchy em X, que e um espaco
metrico. Logo, existe x X tal que
xn x em X.
Mas, M e um subconjunto fechado de X e o item (b) do teorema anterior implica que x M,
mostrando que M = (M, d) e um espaco metrico completo.
Suponhamos agora que M = (M, d) seja um espaco metrico completo e consideremos (xn )
M uma sequencia em M tal que exista x X tal que
xn x.
Como (xn ) e uma sequencia convergente em X, ela e uma sequencia de Cauchy em X e, portanto,
(xn ) M e uma sequencia de Cauchy em M = (M, d) que e completo. Logo, existe x0 M tal
que
xn x0 em M.
Portanto,
xn x0 em X
e, a unicidade do limite implica que x0 = x e, portanto, o item (b) do teorema anterior implica
que M e fechado em X, completando a prova deste teorema.
Para finalizar esta secao, vamos agora relacionar o conceito de continuidade de aplicacoes
definidas entre espacos metricos com o conceito de convergencia de sequencias.
Teorema 1.6. Uma aplicacao T : X Y definida entre os espacos metricos X = (X, d) e
Y = (Y, d) e continua em um ponto x0 X se, e somente se, para toda sequencia (xn ) X tal
que xn x0 em X, tivermos que T xn T x0 em Y.
Analise Funcional
19
Demonstrac
ao: Vamos assumir inicialmente que T e contnua no ponto x0 X. Logo, dado
> 0, existe um > 0 tal que
d(x, x0 ) < = d(T x, T x0 ) < .
Seja (xn ) X uma sequencia tal que xn x0 . Entao, existe N N tal que
n > N = d(xn , x0 ) <
Portanto,
n > N = d(T xn , T x0 ) < ,
mostrando que T xn T x0 .
Reciprocamente, suponhamos por absurdo que a aplicacao T nao seja contnua em x0 X.
Entao, para algum > 0 e para todo > 0 existe X 3 x 6= x0 satisfazendo
d(x, x0 ) < e d(Tx , Tx0 ) > .
Assim, para cada n N, tomando = n1 , temos que existe xn X satisfazendo
d(xn , x0 ) <
1
e d(Txn , Tx0 ) > .
n
Portanto,
xn x0 em X,
enquanto que
(Txn 6 Tx0 em Y,
o que e um absurdo. Portanto, T e contnua em x0 , provando o teorema.
1.4
Espacos M
etricos Completos
20
(m)
(1.1)
i=1
(xi
(r)
xi )2 < 2 .
| xi
(r)
xi |< .
(1)
(2)
Portanto, para cada i fixado (1 6 i 6 n), a sequencia (xi , xi , ...) e uma sequencia de Cauchy
de n
umeros reais e portanto convergente, isto e, existe xi R tal que
(m)
xi
xi quando m .
Definindo x = (x1 , x2 , ..., xn ), temos que x Rn . Ainda, por (1.1), obtemos que
d(xm , x) 6 sempre que m > N,
mostrando que
lim xm = x,
Analise Funcional
21
(m)
(m)
De fato: Seja (xm ) uma sequencia de Cauchy no espaco l , onde (xm ) = (x1 , x2 , ...). Recordemos que a metrica em l e dada por
d(x, y) = sup | xi yi | .
iN
Como (xm ) e uma sequencia de Cauchy, entao para todo > 0, existe N N tal que para todo
m, n > N
(m)
(n)
d(xm , xn ) = sup | xi xi |< .
iN
| xi
(n)
xi
(1.2)
(2)
Para qualquer i N fixado, temos que a sequencia (xi , xi , ...) e uma sequencia de Cauchy de
n
umeros reais, a qual e convergente, pois a reta real e um espaco metrico completo. Entao, existe
xi R tal que
(m)
xi xi quando m ,
para todo i N. Consideremos
x = (x1 , x2 , ...)
e mostremos que
x l ;
xm x em l .
Para mostrarmos o primeiro item em (1.2), fixando m N e fazendo n , obtemos que
(m)
| xi
(1.3)
| xi
|6 km ,
| xi |6| xi xi
(m0 )
| + | xi
|6 + km0 ,
22
d(xm , x) = sup | xi
xi |< ,
Exemplo 1.20. O espaco das funcoes C[a, b] e completo, onde [a, b] R e um intervalo fechado
em R.
De fato: Seja (xm ) uma sequencia de Cauchy em C[a, b]. Entao, dado > 0, existe N1 N tal
que para todo m, n > N1 temos
d(xm , xn ) = max | xm (t) xn (t) |< .
(1.4)
t[a,b]
t[a,b]
sempre que m > N. Isso mostra que (xm (t)) converge para x(t) uniformemente em [a, b] e a
convergencia e uniforme. Como cada xm e uma funcao contnua em [a, b], entao a funcao limite x
e uma funcao contna em [a, b], isto e, x C[a, b]. contnuo em J. Portanto x C[a, b] e, tambem
xm x em C[a, b].
Portanto, C[a, b] e um espaco metrico completo.
Analise Funcional
23
Definic
ao 1.12. Dizemos que uma sequencia de funcoes fn : X R converge uniformemente
para uma funcao f : X R quando, para todo > 0 dado, existe n0 N tal que
n > n0 = | fn (x) f (x) |< ,
para todo x X.
Teorema 1.7. A convergencia xm x no espaco metrico C[a, b] e uniforme, isto e, (xm )
converge uniformemente para x em [a, b].
Demonstrac
ao: Por hipotese xm x em C[a, b]. Portanto, dado > 0, existe N N tal que
d(xm , x) < ,
sempre que m > N . Logo
max | xm (t) x(t) |< ,
t[a,b]
|x(t) y(t)|dt,
d(x, y) =
0
|x(t) y(t)|dt,
d(x, y) =
0
para x, y X, define uma metrica em X. Vamos mostrar que este espaco metrico nao e completo.
Para isso vamos construir uma sequencia de Cauchy em X que nao sera convergente em X.
Para cada m N definimos xm : [0, 1] R R por
se t [0, 12 ];
0,
xm (t) =
f (t), se t [ 12 , am ];
1,
se t [am , 1],
24
1
1
+ , mN
2 m
e f (t) e um polinomio de gra
u 1 passando pelos pontos ( 21 , 0) e (am , 1). Veja o grafico de xm na
figura logo abaixo. Temos que (am ) e uma sequencia de Cauchy em X, pois dado > 0, tomando
m, n 1 , teremos que
1
1 1
d(xm , xn ) = ( ) < .
2 m n
am =
Vamos mostrar agora que essa sequencia nao pode convergir em X. Para todo x X, temos
que
Z
d(xm , x) =
0
Z
=
1
2
am
Z
|x(t)|dt +
1
2
Assim, se
Z
d(xm , x) =
0
entao
Z
1
2
Z
||x(t)|dt =
ou seja,
(
x(t) =
0,
1,
se t [0, 12 ];
se t [ 12 , 1].
Portanto x nao seria contnua o que e um absurdo. Logo (xm ) nao pode convergir em X o que
completa o exemplo.
Analise Funcional
1.5
25
Completamento de Espa
cos M
etricos
A ideia desta secao e acrescentar pontos em um espaco metrico de forma a deixa-lo completo.
Definic
ao 1.13. Sejam (X, dX ) e (Y, dY ) dois espacos metricos. Uma transformacao T : X Y
e dita uma isometria se para todo x, y X temos que
dY (T x, T y) = dX (x, y).
Neste caso dizemos que (X, dX ) esta imerso em (Y, dY ).
Algumas observacoes:
Claramente uma isometria e uma aplicacao injetora;
diremos que os espacos metricos (X, dX ) e (Y, dY ) sao isometricos se existir uma isometria,
T : Y, que e sobrejetora;
a inversa de uma isometria sobrejetora e tambem uma isometria.
b d)
Seja (X, d) um espaco metrico qualquer. Vamos construir um espaco metrico completo (X,
b d).
a partir de (X, d), tal que (X, d) pode ser imerso em (X,
b adicionando os pontos de X e mais os limites de sequencias
A ideia principal e contruir X
de Cauchy em X que nao convergem em X. Para fazermos isso, sejam (xn ) e (yn ) sequencias de
Cauchy em X e seja a seguinte relacao em X :
(xn ) (yn ) d(xn , yn ) 0.
Lema 1.2. A relacao e uma relacao de equivalencia em X.
Demonstrac
ao: Para provar que e uma relacao de equivalencia, primeiramente observamos
que claramente
i) (xn ) (xn ) para toda (xn ) X e
ii) (xn ) (yn ) implica (yn ) (xn ) para toda (xn ), (yn ) X.
Resta apenas verificar que
iii) se (xn ), (yn ), (zn ) X, (xn ) (yn ) e (yn ) (zn ), entao (xn ) (zn ). Isto segue do fato
que
0 d(xn , zn ) 6 d(xn , yn ) + d(yn , zn ),
completando a prova do lema.
b o conjunto de todas as classes de equivalencia de sequencias de Cauchy (xn ) X que
Seja X
b e uniao disjunta dessas classes de equivalencia.
sao equivalentes. Temos que X
26
Lema 1.3. Sejam (X, d) um espaco metrico, (xj ) e (yj ) sequencias de Cauchy em X, e seja
dj = d(xj , yj ) para todo j N. Entao (dj ) e uma sequencia de Cauchy em R.
Demonstrac
ao: Da desigualdade triangular temos que
dj = d(xj , yj ) 6 d(xj , xk ) + dk + d(yk , yj ),
para todo j N. Assim,
dj dk 6 d(xj , xk ) + d(yk , yj ),
para j, k N. Similarmente
dk dj 6 d(xj , xk ) + d(yk , yj ),
para j, k N. Logo,
|dj dk | 6 d(xj , xk ) + d(yk , yj )
para j, k N.
Seja > 0 dado. Entao existe um n
umero natural N N tal que
d(xj , xk ) <
e d(yj , yk ) < ,
2
2
sempre que j, k > N, pois as sequencias (xj ) e (yj ) sao sequencias de Cauchy em X. Portanto,
|dj dk | < ,
sempre j, k > N . Assim, a sequencia (dj ) e uma sequencia de Cauchy de n
umeros reais, o que
prova o lema.
Como R e um espaco metrico completo, o Lema 1.3 implica que
lim d(xj , yj ) = lim dj
Demonstrac
ao: Segue imediatamente da desigualdade triangular.
Lema 1.5. Sejam (X, d) um espaco metrico e (xj ), (yj ), (zj ) X. Suponhamos que
lim d(xj , yj ) = 0 e
lim d(yj , zj ) = 0.
Entao,
lim d(xj , zj ) = 0.
Analise Funcional
27
Entao,
lim d(xj , yj ) = lim d(x0j , yj0 ).
Demonstrac
ao: Segue do Lema 1.5 que
lim d(xj , yj ) 6 lim d(xj , x0j ) + lim d(x0j , yj0 ) + lim d(yj0 , yj ) = lim d(x0j , yj0 ).
Similarmente,
lim d(x0j , yj0 ) 6 lim d(xj , yj ).
Entao,
lim d(xj , yj ) = lim d(x0j , yj0 ),
como queramos.
b =
Teorema 1.8. Para todo espaco metrico X = (X, d) existe um espaco metrico completo X
que possui um subespaco metrico W
b d)
c que e isometrico ao espaco metrico X e e denso em
(X,
b Este espaco metrico X
b e u
e e um outro espaco metrico
X.
nico exceto por isometrias, isto e, se X
f isometrico a X e denso em X,
e entao X
beX
e sao isometricos.
completo que possui um subespaco W
Demonstrac
ao: Para demonstrar o teorema seguiremos os seguintes passos:
b = (X,
b d);
(a) construiremos o espaco metrico X
c tal que
(b) construiremos uma isometria T : X W
c = X;
b
W
b e completo;
(c) mostraremos que X
(d) mostraremos a unicidade, exceto por isometrias.
b o conjunto de todas as classes de equivalencia de sequencias de
Para o passo (a), seja X
b e uniao disjunta
Cauchy x = (xn ) X que sao equivalentes, conforme o lema 1.2. Temos que X
dessas classes de equivalencia.
Definimos
x, y) = lim d(xj , yj ),
d(
j
28
d(xn , xN +1 ) < ,
2
Analise Funcional
29
b Como W
c e denso em X,
b para
Para o passo (c), seja (
xn ) uma sequencia de Cauchy em X.
b existe zn W
c tal que
xn (xn ) X,
xn , zn ) < 1 ,
d(
n
(1.5)
quando n .
Temos que
xn , x) d(
xn , zn ) + d(
zn , x)
d(
1
zn , x)
< + d(
n
1
= + lim d(zn , zm ).
n m
Logo, existe N N tal que
m, n > N = d(zn , zm ) <
Assim,
e
< .
2
n
2
xn , x) < + = ,
n > N = d(
2 2
30
e eX
b sao isometricos. Para quaisquer x, y X
temos que existem (xn ), (yn )
Vamos mostrar que X
f tais que
W
xn x e yn y,
e Assim,
em X.
x, y) d(
x, xn ) + d(
xn , yn ) + d(
yn , y),
d(
ou seja,
x, y) d(
xn , yn ) d(
x, xn ) + d(
yn , y),
d(
para qualquer n N. Da mesma forma,
xn , yn ) d(
x, y) d(
x, xn ) + d(
yn , y),
d(
para qualquer n N. Portanto,
x, y) d(
xn , yn )| d(
x, xn ) + d(
yn , y),
|d(
para qualquer n N, mostrando que
xn , yn ) = d(
x, y).
lim d(
c quanto a W
f e como inversa de isometria e ainda um isometria,
Mas, X e isometrico tanto a W
c e W
f sao isometricos. Como W
c e denso em X
b obtemos que X
e e X
b sao isometricos,
entao W
concluindo o passo (d) e completando a prova do teorema.
Captulo 2
Espa
cos Normados
Neste captulo vamos estudar com detalhes espacos vetoriais normados e suas principais propriedades.
2.1
Definic
ao e Exemplos
Uma norma em um espaco vetorial e uma maneira de medir o comprimento de elementos desse
espaco e tambem a distancia entre elementos desse espaco. Nesta secao vamos definir e apresentar
os principais espacos vetoriais normados que serao utilizados no decorrer do curso.
Definic
ao 2.1. Seja X um espaco vetorial sobre um corpo K. Uma norma no espaco vetorial X
e uma funcao real, k k : X R, satisfazendo as seguintes propriedades:
(N1) kxk 0, para todo x X;
(N2) kxk = 0 se, e somente, se x = 0;
(N3) kxk = || kxk, para todo x X e K;
(N4) kx + yk 6 kxk + kyk para quaisquer x, y X.
Um espaco normado e um par ordenado (X, k k), onde X e um espaco vetorial e k k e uma
norma em X.
Algumas observacoes:
Uma funcao satisfazendo (N1) e (N2) e chamada de funcao definida positiva;
a propriedade (N4) e conhecida como desigualdade triangular;
32
Proposic
ao 2.1. Sejam x, y X dois elementos quaisquer em um espaco vetorial X sobre um
corpo K. Entao,
kxk kyk |kxk kyk| kx yk.
Demonstrac
ao: Para x, y X, temos y = (y x) + x. Logo, a desigualdade triangular implica
que
kyk = k(y x) + xk ky xk + kxk.
Da,
kyk kxk ky xk
Por outro lado, para x, y X, temos x = (x y) + y. Logo, a desigualdade triangular implica
que
kxk kx yk + kyk.
Da,
kx yk kyk kxk.
Portanto,
ky xk = kx yk kyk kxk ky xk,
ou seja,
|kyk kxk| ky xk,
para quaisquer x, y X, provando a proposicao.
Proposic
ao 2.2. Uma norma em um espaco vetorial X sobre um corpo K e uma func
ao real
contnua, istoe, X 3 x 7 kxk R, e contnua para cada x X.
Analise Funcional
33
Demonstrac
ao: Dado > 0, como
| kyk kxk | ky xk,
para quaisquer x, y X, tomando = segue que
ky xk < | kyk kxk |< .
Portanto, a aplicacao x 7 kxk e contnua em X, provando o resultado.
Exemplo 2.1. Um subespaco Y de um espaco vetorial normado e um espaco vetorial normado,
se o munirmos da norma definida em X.
Exemplo 2.2. Considere R o conjunto de todos os n
umeros reais e definamos
kxk = |x|
para todo x R. Entao R e um espaco normado.
Exemplo 2.3. Considere R2 o conjunto de todos os pares ordenados de n
umeros reais e definamos
q
kxk = x21 + x22 ,
onde x = (x1 , x2 ) R2 . Dessa forma (R2 , k k) e um espaco normado, chamado de plano
euclideano.
Exemplo 2.4. Considere R2 o conjunto de todos os pares ordenados de n
umeros reais e definamos
kxk1 = |x1 | + |x2 |,
onde x = (x1 , x2 ) R2 . Dessa forma (R2 , k k1 ) e um espaco normado.
Exemplo 2.5. Considere R2 o conjunto de todos os pares ordenados de n
umeros reais e definamos
kxk2 = max{|x1 |, |x2 |},
onde x = (x1 , x2 ) R2 . Dessa forma (R2 , k k2 ) e um espaco normado.
Antes de continuarmos com os exemplos, vamos mostrar um resultado que relaciona as diversas
normas em espacos vetoriais normados de dimensao finita.
Definic
ao 2.2. Seja X um espaco vetorial sobre um corpo K. Diremos que duas normas em X,
k k1 e k k2 , sao equivalentes se existirem c1 > 0 e c2 > 0 tais que
c1 kxk1 6 kxk2 6 c2 kxk1 ,
para todo x X.
34
Vamos mostrar agora que em um espaco vetorial de dimensao finita todas as normas sao
equivalentes.
Lema 2.1. Seja {x1 , x2 , . . . , xn } um conjunto linearmente independente de vetores em um espaco
veotorial normado X (de qualquer dimensao). Entao existe um n
umero c > 0 tal que para toda
escolha de escalares 1 , 2 , . . . , n temos
k1 x1 + 2 x2 + . . . + n xn k > c(|1 | + |2 | + . . . + |n |)
(2.1)
Demonstrac
ao: Seja
s = |1 | + |2 | + . . . + |n |.
Se s = 0, entao 1 = 2 = . . . = n = 0 e, portanto, (2.1) vale para qualquer c. Se s > 0, entao
(2.1) e equivalente a
k1 x1 + 2 x2 + . . . + n xn k > c,
n
X
i
|i | = 1.
i = , i = 1, 2, . . . , n e
s
i=1
(2.2)
Portanto e suficiente provar a existencia de c > 0 tal que (2.1) e satisfeita para toda n-upla de
P
escalares 1 , 2 , . . . , n com ni=1 |i | = 1.
Suponhamos, por absurdo, que isso e falso. Entao existe uma sequencia (ym ) X em X tal
que
(m)
(m)
ym = 1 x1 + 2 x2 + . . . + n(m) xn ,
tais que
n
X
(m)
|i
| = 1,
i=1
e
kym k 0, quando m .
Como
Pn
i=1
(m)
|i
| = 1, entao
(m)
|i
| 6 1, para quaisquer i = 1, 2, . . . , n e m N.
(m)
(1)
(2)
n
X
i=1
(m)
xi ,
Analise Funcional
35
onde
n
X
(m)
|i
|=1
i=1
e
(m)
i .
Portanto,
yn,m y =
n
X
i xi ,
i=1
P
onde ni=1 |i | = 1, portanto nem todo i pode ser zero e como {x1 , x2 , . . . , xn } e um conjunto
linearmente independente, devemos ter que
y 6= 0.
Por outro lado,
yn,m y
logo, a continuidade da norma implica que
kyn,m k kyk.
Mas,
kym k 0
e, portanto, como (yn,m ) e uma subsequencia de (ym ), devemos ter
kyn,m k 0.
Consequentemente kyk = 0 e, por (N2), conclumos que
y = 0,
o que e um absurdo, provando o lema.
Teorema 2.1. Em um espaco vetorial de dimensao finita X sobre um corpo K, duas normas
quaisquer k k1 e k k2 sao equivalentes.
Demonstracao. Sejam n = dim X e {x1 , , xn } uma base de X. Entao todo x X tem uma
u
nica representacao x = a1 x1 + an xn , com ai K, i = 1, 2, . . . , n. Como o conjunto {x1 , , xn }
e linearmente independente, existe c > 0 tal que
kxk1 > c
X
n
j=1
|aj | .
36
n
X
n
X
|aj | kxj k2 6 k
j=1
|aj |,
j=1
mostrando que a aplicacao l 3 x 7 kxk esta bem definida e kxk 0, para todo x l , provando
tambem (N1).
Para x, y l temos
| xi + yi || xi | + | yi | cx + cy ,
para todo i N, mostrando que x + y l . Com essa informacao prova-se facilmente que l ,
munido das operacoes usuais, e um espaco vetorial. Tambem,
kx + yk = sup | xi + yi | sup |xi | + sup |yi | = kxk + |yk,
iN
iN
iN
Analise Funcional
37
para todo f C([a, b], R). Entao C([a, b], R) e um espco normado e a norma definida acima e a
chamada norma da convergencia uniforme, ou norma do sup.
Exemplo 2.8. Consideremos p 1 fixado. O conjunto lp e formado pelas sequencias x =
(x1 , x2 , . . .), tais que
| xj |p < ,
j=1
isto e,
lp = {(x1 , x2 , . . .); xj K, j = 1, 2, . . . , e
| xj |p < }.
j=1
Definamos
v
uX
u
p
kxkp = t
| xj |p ,
j=1
para x = (x1 , x2 , . . .) lp e p 1.
Entao lp e um espaco vetorial normado. Quando p = 2 obtemos o espaco l2 , que e chamado
de espaco das sequencias de Hilbert .
De fato: Para mostrarmos que lp , p 1, e um espaco normado, demonstraremos antes alguns
lemas auxiliares.
Lema 2.2 (Desigualdade de Young). Seja p > 1 e defina q R por
1 1
+ = 1.
p q
Entao,
p q
+ ,
p
q
para quaisquer , 0.
Demonstrac
ao: Considere a funcao f : [0, +) [0, +) definida por
f (t) = tp1 .
(2.3)
(2.4)
38
f 1 (u) = u p1 = uq1 ,
onde a u
ltima igualdade segue de (2.3). Logo, usando as Figuras 2.1 e 2.2
obtemos que
Z
Z
p q
p1
t dt +
uq1 du =
+ ,
p
q
0
0
provando o lema.
Lema 2.3 (Desigualdade de H
older). Sejam p > 1 e q > 0 expoentes conjugados dados por
(2.3). Entao,
X
X
1 X
1
p
|xj yj | (
|xj |) (
|yj |) q ,
(2.5)
j=1
j=1
j=1
X
j=1
|
xj | = 1 e
X
j=1
|
yj | = 1.
Analise Funcional
39
|
xj yj |
j=1
1 1
+ = 1.
p q
(2.6)
xj = 1 e
j=1
yj = 1.
j=1
yj
xj
| P
1 P
1 | 1,
p
q
j=1 (
=1 xj ) (
=1 yj )
X
1 X
1
p
|xj yj | (
xj ) (
yj ) q ,
=1
j=1
=1
X
X
1
1
|xj yj | (
|xj |) 2 (
|yj |) 2 ,
j=1
j=1
j=1
X
j=1
1
p
|xj + yj | ) (
1
p
|xj | ) + (
j=1
|yj |p ) p ,
(2.7)
j=1
40
|wj |
n
X
p1
|wj |
j=1
n
X
j=1
n
X
=(
|xj | +
n
X
j=1
p
n
X
1
p
|xj | ) (
(|wj |
j=1
n
X
|xj |p ) p (
j=1
n
X
= (
p1 q
) ) +(
|wj |p ) q + (
|xj |p ) p + (
j=1
n
X
n
X
1
|yj | ) ( (|wj |p1 )q ) q
p
1
p
j=1
j=1
1
1
q
n
X
1
|yj |p ) p (
j=1
|yj |p ) p (
j=1
n
X
n
X
j=1
n
X
|wj |p ) q
j=1
1
|wj |p ) q
j=1
Logo,
(
n
X
n
n
X
X
1
p p1
(
|xj | ) + (
|yj |p ) p ,
p 1 1q
|wj | )
j=1
j=1
j=1
ou seja,
n
n
n
X
X
X
1
p p1
p p1
(
|xj + yj | ) (
|xj | ) + (
|yj |p ) p .
j=1
j=1
j=1
X
j=1
inf ty
X
X
1
p p1
|xj | ) + (
|xj + yj | ) (
|yj |p ) p ,
p
1
p
j=1
j=1
Analise Funcional
41
Demonstrac
ao: Para x, y X temos temos
d(x + a, y + a) = kx + a (y + a)k = kx + a y ak = kx yk = d(x, y),
para todo a X. Tambem,
d(x, y) = kx ykk(x y)k = ||kx yk = ||d(x, y),
para todo K, provando a proposicao.
Exemplo 2.9. Considerando o espaco metrico de sequencias s, o qual consiste de todas as
sequencias de n
umeros reais (complexos) com a metrica definida por
X
1 | xi y i |
d(x, y) =
,
2i 1+ | xi yi |
i=1
onde x = (xi ), y = (yi ) s e xi , yi C, para todo i N. Entao (s, d) e um espaco metrico com
metrica que nao pode ser induzida por nenhuma norma definida em s.
De fato: O exemplo 1.6 mostra que s munido de d(x, y), x, y s, e um espaco metrico.
Tambem, munido das operacoes usuais, o conjunto s e um espaco vetorial sobre o corpo do
n
umeros reais (reais ou complexos). Vamos mostrar que d nao e induzida por nenhuma norma em
s. Suponhamos, por absurdo, que d seja induzida por uma norma k k : s R, isto e,
X
1 | xi y i |
= d(x, y) = kx yk,
2i 1+ | xi yi |
i=1
2d(x0 , y0 ) = 2[
42
e
1
|2 0|
1
|0 2|
+ 2
1
2 1 + |2 0| 2 1 + |0 2|
1 2 1 2
=
+
]
2 3 4 3
1 1
= +
3 6
1
= ,
2
d(2x0 , 2y0 ) =
mostrando que
d(2x0 , 2y0 ) 6= 2d(x0 , y0 ).
Logo, essa metrica em s nao pode ser induzida por qualquer norma definida em s, completando
o exemplo.
2.2
Nesta secao vamos adaptar alguns conceitos topologicos para o contexto de espacs vetoriais
normados. Lembrando que todo espaco vetorial normado e um espaco vetorial metrico, as provas
das propriedades que ja foram demonstradas, para espacos metricos, na secao 1.2 serao omitidas
nessa secao.
Definic
ao 2.3. Seja (X, k k) um espaco normado. Dado um ponto x X e r > 0, o conjunto
B(x, r) = {y X : kx yk < r}, e chamado de bola aberta de centro em x e raio r;
B[x, r] = {y X : kx yk 6 r}, e chamado de bola fechada de centro em x e raio r;
S(x, r) = {y X : kx yk = r}, e chamado de esfera de centro em x e raio r.
Note que
B[x, r] = B(x, r) S(x, r),
onde significa uniao disjunta.
Seja Y X um subespaco do espaco normado X. Para cada a Y e cada r > 0, seja
BY (a, r) a bola aberta de centro a e raio r, relativamente `a norma induzida pela norma definida
no espaco normado X em Y . Tem-se
BY (a, r) = B(a, r) Y,
onde B(a, r) e a bola aberta de centro a e raio r no espaco normado X. Analogamente,
BY [a, r] = B[a, r] Y e SY (a, r) = S(a, r) Y.
Analise Funcional
43
Definic
ao 2.4. Um conjunto U X de um espaco normado X e um conjunto aberto (ou apenas
aberto) no espaco normado X se para cada x U existe r = rx > 0 tal que B(x, r) U .
Lema 2.5. Sejam (X, k k) um espaco normado e x0 X. Entao para qualquer r > 0, a bola
aberta B(x0 , r), de raio r e centro em x0 , e aberto em X.
Demonstrac
ao: Seja x B(x0 , r). Queremos mostrar que existe > 0 tal que B(x, ) B(x0 , r).
Como kx x0 k < r, escolhendo = r kx x0 k, obtemos que se x0 B(x, ), entao
kx0 x0 k 6 kx0 xk + kx x0 k < + kx x0 k = r.
Portanto, x0 B(x0 , r), mostrando B(x, ) B(x0 , r), ou seja, que B(x0 , r) e aberto em X.
Lema 2.6. Sejam (X, k k) um espaco normado e x0 X. Entao, para qualquer r > 0, o conjunto
{x X : kx x0 k > r} e um conjunto aberto em X.
Demonstrac
ao: Para qualquer r > 0, sejam x X satisfazendo kx x0 k > r e x0 X um
ponto qualquer de X satisfazendo kx0 xk < , onde = kx x0 k r. Entao, pela desigualdade
triangular temos
kx x0 k 6 kx x0 k + kx0 x0 k
e, portanto,
kx0 x0 k > kx x0 k kx x0 k > kx x0 k = r.
Assim,
B(x, ) {x X : kx x0 k > r},
provando este lema.
Proposic
ao 2.4. Seja (X, k k) um espaco normado. A colecao de conjuntos abertos de X tem as
seguintes propriedades:
(i) , X sao conjuntos abertos,
(ii) a uniao de qualquer colecao de conjuntos abertos em X e um conjunto aberto,
(iii) a intersecao de qualquer colecao finita de conjuntos abertos em X e um conjunto aberto.
Demonstrac
ao: O conjunto e por vacuidade. Tambem, a definicao de conjunto aberto e
trivialmente satisfeita pelo conjunto X, mostrando o item (i).
Para provarmos o item (ii), seja A uma colecao qualquer de conjuntos abertos em X, e
denotemos por U a uniao de todos os conjuntos abertos pertencentes a A, isto e,
U = AA A.
44
Queremos mostrar que U e um conjunto aberto. Seja x U. Entao, x A para algum conjunto
aberto A A. Portanto, existe > 0 tal que
B(x, ) A.
Mas,
V U.
Assim,
B(x, ) U,
mostrando que U e aberto.
Sejam agora V1 , V2 , V3 , ..., Vk uma colecao finita de conjuntos abertos em X. Sejam
V = V1 V2 ... Vk e x V.
Entao, x Vj para todo j e, portanto, existem n
umeros reais positivos 1 , 2 , ...k tais que
B(x, j ) Vj , para j = 1, 2, ..., k.
Tomando
= min{j : j = 1, 2, ..., k},
entao > 0 e alem disso,
B(x, ) B(x, j ) Vj para todo j = 1, 2, ..., k.
Portanto,
B(x, ) V,
mostrando que a intersecao V, de conjuntos abertos V1 , V2 , ..., Vk em X, e um conjunto aberto em
X, completando a prova deste item e da proposicao.
Obervac
ao 2.1. Para cada n
umero natural n, denotemos por Vn o conjunto aberto no plano R2
definido por
1
Vn = {(x, y) R2 : x2 + y 2 < }.
n
A intersecao
V = nN Vn = {0},
e a origem e este conjunto nao e um subconjunto aberto de R2 . Isto mostra que a intersecao de um
n
umero infinito de conjuntos abertos num espaco normado nao e necessariamente um conjunto
aberto.
Analise Funcional
45
Definic
ao 2.5. O interior A de um conjunto A X e uniao de todos os conjuntos abertos de
(X, k k) contidos em A. Isto e,
[
A =
V,
V F
onde
F = {V X; V e aberto e V A}.
Observermos que
A e um conjunto aberto em X;
A e o maior conjunto aberto contido em A.
Definic
ao 2.6. Sejam X um espaco normado e x X. Um subconjunto N X e uma vizinhanca
de x no espaco normado X se, e somente, se existir > 0 tal que
B(x, ) N.
Claramente, subconjunto V de um espaco normado X e um conjunto aberto se, e somente,
se V e uma vizinhanca de v para todo v V .
Definic
ao 2.7. Um conjunto F X de um espaco normado X e um conjunto fechado (ou apenas
fechado) no espaco normado X se F c = X\F (complementar de F em X) e um conjunto aberto
no espaco normado X.
O proximo resultado segue imediatamente dos Lema 2.5 e 2.6.
Lema 2.7. Sejam X um espaco normado e x0 X. Os conjuntos
{x X : kx x0 k 6 r} e {x X : kx x0 k > r},
para r > 0, sao fechados em X. Em particular, o conjunto {x0 } consistindo de um u
nico ponto de
X e um conjunto fechado em X.
Seja A alguma colecao de subconjuntos de X, isto e,
A = {S; S X}.
Entao,
X\
[
SA
S=
(X\S) e X\
SA
\
SA
S=
(X\S),
SA
isto e, o complemento da uniao de alguma colecao de subconjuntos de X e a intersecao dos complementos daqueles subconjuntos, e o complemento da intersecao de alguma colecao de subconjuntos
de X e a uniao dos complementos destes subconjuntos, de modo que a operacao de tomar complementos converte unioes em intersecoes e intersecoes em unioes. Com essas duas observacoes, o
seguinte resultado segue diretamente da proposicao 2.3.
46
Proposic
ao 2.5. Seja X um espaco normado. A colecao dos subconjuntos fechados em X tem
as seguintes propriedades:
(i) e X sao conjuntos fechados em X;
(ii) a intersecao de qualquer colecao de conjuntos fechados em X e um conjunto fechado em X;
(iii) a uniao de qualquer colecao finita de conjuntos fechados em X e um conjunto fechado em
X.
Definic
ao 2.8. O fecho S de um conjunto S X e a intersecao de todos os fechados de X
contendo S, isto e,
\
S=
F,
F F
onde
F = {F X; F e fechado em X e S F }.
Temos que
S S;
S e um conjunto fechado em X;
S e o menor conjunto fechado em X que contem S;
um conjunto F X e fechado em X se, e somente se, F = F .
Definic
ao 2.9. Sejam (X, k kX ), (Y, k kY ) dois espacos normados e f : X Y uma func
ao
dada. Diremos que f e contnua em x X se para todo > 0 existir > 0 tal que
ky xkX < = kf (y) f (x)kY < .
A funcao e dita ser contnua em X, ou simplesmente contnua se, e somente se, f e contnua em
todo x X.
Note que esta definicao de continuidade para funcoes entre espaco normados generaliza a
definicao de continuidade para funcoes de uma variavel real ou complexa.
Expressando em termos de bolas abertas a definicao de funcao contnua (Definicao 2.10), isto
significa que a funcao f : X Y e contnua em x se e somente se dado qualquer > 0, existe um
> 0 tal que f leva BX (x, ) na bola BY (f (x), ) (onde BX (x, ) e BY (f (x), ) denotam as bolas
abertas de raios e em x e f (x) respectivamente).
Sejam X e Y conjuntos quaisquer e f : X Y uma funcao. dado um subconjunto V Y ,
denotamos por f 1 (V ) a imagem inversa de V sob a aplicacao f , definida por
f 1 (V ) = {x X : f (x) V }.
Analise Funcional
47
Proposic
ao 2.6. Sejam X e Y espaco normados, e seja f : X Y uma funcao. A func
ao f e
1
contnua se, e somente se, f (V ) e um conjunto aberto em X para todo conjunto aberto V de Y .
Demonstrac
ao: Suponhamos que f e contnua. Seja V Y um conjunto aberto. Vamos
1
mostrar que f (V ) e aberto em X. Seja x f 1 (V ). Vamos mostrar que existe > 0 com a
propriedade que BX (x, ) f 1 (V ). Como x f 1 (V ) segue que f (x) V . Como V e aberto,
existe > 0 com a propriedade que BY (f (x), ) V . Como f e contnua em x, existe um delta
> 0 tal que f leva a bola aberta BX (x, ) na bola BY (f (x), ). Assim f (x0 ) V para todo
x0 BX (x, ), mostrando que B(x, ) f 1 (V ). Com isto temos mostrado que se f : X Y e
contnua entao f 1 (V ) e aberto em X para todo conjunto aberto V em Y .
Suponhamos que f : X Y tem a propriedade que f 1 (V ) e aberto em X para todo
conjunto aberto V em Y . Seja x X um ponto qualquer. Vamos mostrar que f e contnua
em x. Seja > 0 dado. A bola aberta BY (f (x), ) e um conjunto aberto em Y , portanto
f 1 (BY (f (x), )) e um conjunto aberto em X o qual contem x. Segue que existe um > 0 tal que
BX (x, ) f 1 (BY (f (x), )). Temos mostrado assim que, dado qualquer > 0, existe um > 0
tal que f leva a bola aberta BX (x, ) na bola aberta aberta BY (f (x), ). Conclumos assim que f
e contnua em x.
Seja f : X Y uma funcao entre espacos normados X e Y . Entao,
f 1 (Y \G) = X\f 1 (G).
De fato: Temos que
x f 1 (Y \G) f (x) Y \G f (x)
/Gx
/ f 1 (G).
O seguinte resultado portanto segue diretamente da Proposicao 2.6.
Corol
ario 2.1. Sejam X e Y espacos normados e f : X Y uma funcao. A funcao f e contnua
se, e somente se, f 1 (G) e um conjunto fechado em X para todo subconjunto fechado G de Y .
Seja f : X Y uma funcao contnua entre espacos normados X e Y . Entao, para qualquer
ponto y Y , o conjunto {x X : f (x) = y} e um subconjunto fechado de X. Isto segue
diretamente do Corolario 2.1 e do fato que {y} e um subconjunto fechado do espaco normado Y .
Lema 2.8. Sejam X, Y, Z espacos normados, f : X Y e g : Y Z funcoes contnuas. Ent
ao,
a funcao composta g f : X Z definida por
(g f )(x) = g(f (x)), x X,
e contnua.
48
Demonstrac
ao: Seja x X um ponto qualquer. Vamos mostrar que g f e contnua em x.
Seja > 0 dado. Como a funcao g e contnua en f (x), existe > 0 tal que
k(g(y) g(f (x)kZ < ,
para todo y Y satisfazendo ky f (x)kY < . Mas entao existe algum > 0 tal que
kf (x0 ) f (x)kY < ,
para todo x0 X satisfazendo kx0 xkX < . Assim,
kg(f (x0 )) g(f (x))kZ < ,
para todo x0 X satisfazendo kx0 xkX < , mostrando que g f e contnua en x, provando o
lema.
Definic
ao 2.10. Sejam X e Y espaco normados. Uma funcao h : X Y e um homeomorfismo
se h e uma bijecao e h e h1 : Y X sao funcoes contnuas.
Se existe um homeomorfismo h : X Y de um espaco normado X em um espaco normado
Y , entao os espacos normados X e Y sao ditos de homeomorfos.
O seguinte resultado segue diretamente aplicando a Proposicao 2.6 para h : X Y e para
h1 : Y X.
Corol
ario 2.2. Qualquer homeomorfismo h : X Y entre espacos normados X e Y induz
uma correspondencia um a um entre os conjuntos abertos de X e os conjuntos abertos de Y : um
subconjunto V Y e aberto em Y se e somente se h1 (V ) X e aberto em X.
2.3
Convergencia de Sequ
encias e Espa
cos de Banach
Nesta secao vamos estudar o conceito de convergencia de sequencias e suas principais propriedades e tambem definir e obter propriedades sobre espacos de Banach, que sao espacos completos
com a metrica induzida pela norma.
Definic
ao 2.11. Uma sequencia (xn )
co normado X e dita convergente se
n=1 = (xn ) em um espa
existir um ponto x X tal que
lim kxn xk = 0.
n
Note que esta definicao de convergencia generaliza para um espaco normado arbitrario a
definicao ja conhecida de convergencia para sequencias de n
umeros reais ou complexos.
Analise Funcional
49
Proposic
ao 2.7. Se uma sequencia de pontos num espaco normado e convergente, entao o limite
desta sequencia e u
nico.
Demonstrac
ao: Seja (xn ) X uma sequencia de pontos no espaco normado X e, suponhamos
que esta sequencia converge para dois pontos p, p X do espaco normado . Vamos mostrar que
p = p0 . Dado > 0, existem n
umeros naturais N1 , N2 N tais que
kxn pk < , sempre que n > N1
e
kxn p0 k < , sempre que n > N2 .
Escolhendo N = max{N1 , N2 } N obtemos que
0 6 kp p0 k 6 kp xn k + kxn p0 k < 2.
Portanto,
kp p0 k = 0,
mostrando que p = p0 e completando a prova da proposicao.
O seguinte resultado caracteriza o fecho de um conjunto em um espaco normado.
Proposic
ao 2.8. Seja A X um subconjunto qualquer. Entao
A = x X : (xn ) A e xn x .
Demonstrac
ao: Mostremos inicialmente que
A x X : (xn ) A e xn x := B.
Para isso seja x A. Temos que
se x A, entao tomando
xn = x, n N,
entao
xn A e xn x,
mostrando, nesse caso, que x B.
se x A A, entao devemos ter que
1
B(x, ) A 6= ,
n
para todo n N.
50
1
) A = ,
n0
entao
A [X B(x,
1
)].
n0
1
)]
n0
e, portanto,
A B(x,
1
) = ,
n0
Analise Funcional
51
52
Proposic
ao 2.9. Sejam F X um conjunto fechado em um espaco normado X e (xn ) F uma
sequencia de pontos de F , tal que xn x X quando n . Entao, x F .
Demonstrac
ao: Suponhamos, por abusrdo, que x 6 F, ou seja, x X F. Como X F e
aberto, segue do Lema 2.9 que existe um n
umero natural N N tal que
xn X F para todo n > N,
contradizendo o fato que xn F para todo n N. Logo, x F , provando a proposicao.
Lema 2.10. Seja X um espaco normado e (xn ) X uma sequencia em X tal que xn x X.
Entao, para qualquer y X,
kxn yk kx yk, quando n .
Demonstrac
ao: Seja > 0. Queremos mostrar que existe um n
umero natural N N tal que
|kxn yk kx yk| < ,
sempre que n > N .
Sabemos que existe N N tal que
kxn xk < , sempre que n > N.
Mas, para todo n N temos que
kxn yk 6 kxn xk + kx yk
e
kx yk 6 kx xn k + kxn yk.
Da,
kxn xk 6 kxn yk kx yk 6 kxn xk,
para todo n N, ou seja,
|kxn yk kx yk| 6 kxn xk,
para todo n N. Portanto,
|kxn yk kx yk| < , sempre que n > N,
provando o lema.
Vamos agora relacionar o conceito de continuidade de aplicacoes entre espacos normados com
o conceito de convergencia de sequencias nestes espacos.
Analise Funcional
53
Proposic
ao 2.10. Seja f : X Y uma funcao entre espacos normados X e Y . Entao, f e
contnua em x0 X se, e somente se, para toda sequencia (xn ) X com xn x0 X em X,
tivermos f (xn ) f (x0 ) Y em Y.
Demonstrac
ao: Suponhamos inicialmente que f seja contnua em x0 X e consideremos (xn )
X uma sequencia tal que xn x0 . Dado > 0, pela continuidade de f em p existe, > 0 tal que
kx x0 k < = kf (x) f (x0 )k < .
Pela convergencia de {xn }, temos que existe N N tal que
n N = kxn x0 k < .
Portanto,
n N = kf (xn ) f (x0 )k < ,
mostrando que f (xn ) f (x0 ) em Y.
Supopnhamos agora que para todo sequencia (xn ) X tal que xn x0 X em X, tenhamos
que f (xn ) f (x0 ) Y, em Y e suponhamos, por absurdo, que f nao seja contnua em x0 X.
Entao existe 0 > 0, tal que para todo n N existe xn X tal que
0 6 kxn x0 k <
1
n
54
para quaisquer x, y X,
Analise Funcional
55
para todo n N;
2
,
n
ou seja,
n
X
|xjm xj |2 2 .
j=1
56
Corol
ario 2.3. Um subespaco vetorial F de Rn e completo se, e somente se, F e fechado.
Corol
ario 2.4. Seja k| . k| uma norma em Rn . Entao (Rn , k| . k|) e um espaco de Banach.
Exemplo 2.11. O espaco l e e um espaco de Banach.
(m)
(m)
De fato: Seja (x(m) ) uma sequencia de Cauchy em l , entao (x(m) ) = (x1 , x2 , ...) com
kx(m) k cm , m = 1, 2, . . . ,
(2.8)
onde
(m)
kxm k = sup | xi
|.
iN
(n)
xi
|<
m, n > N =| xi
(1)
(n)
xi
|< ,
(2.9)
(2)
umeros,
ou seja, para qualquer i fixado, a sequencia (xi , xi , ...) e uma sequencia de Cauchy de n
a qual e convergente. Entao existe xi R tal que
(m)
xi
xi , quando m .
mostrando que x l .
Novamente (2.10) implica que
(m)
xi | < ,
iN
Analise Funcional
57
(n)
n N = |xj xj | 6 sup | = kxn xk < .
3
jN
Fixado N + 1 N, temos que xN c, isto e, xN e uma sequencia convergente em l e, portanto,
e uma sequencia de Cauchy em l . Logo, existe N1 N, tal que
)
(N )
m, n > N1 = |x(N
m xn | < .
3
Portanto, a desigualdade triangular implica que
)
(N )
(N )
(N )
m, n > N1 = |xm xn | |xm x(N
xn |
m | + |xm xn | + |xn
< + +
3 3 3
= ,
X
j=1
| xj |p < },
58
X
1
kxkp = (
|xk |p ) p ,
k=1
e um espaco de Banach.
(m)
(m)
De fato: Seja (x(m) ) lp uma sequencia de Cauchy em lp , entao (x(m) ) = (x1 , x2 , ...) com
(m)
|xi |p < .
i=1
Vamos mostrar que (x(m) ) lp e convergente em lp . Para isso, tomemos > 0. Como a
sequencia e uma sequencia de Cauchy, existe N N tal que para todo
X
1
(n)
(m)
m, n > N = kx(m) x(n) kp = (
|xi xi |p ) p < .
(2.11)
i=1
m, n > N == |xi
(n)
xi | < ,
(2.12)
(2)
(1)
ou seja, para qualquer i N fixado, a sequencia (xi , xi , ...) e uma sequencia de Cauchy de
n
umeros e, portanto, existe xi R tal que
(m)
xi
xi , quando m .
k
X
(m)
|xi
(n)
xi |p < p ,
i=1
k
X
(m)
|xi
xi |p < p ,
i=1
(m)
|xi
xi |p < p ,
(2.13)
i=1
(m)
Analise Funcional
59
(2.14)
t[a,b]
(2.15)
t[a,b]
60
Definic
ao 2.14. Seja X R . Dizemos que uma sequencia de funcoes fn : X R converge
uniformemente para uma funcao f : X R quando, para todo > 0 dado, existe n0 N tal que
n > n0 = | fn (x) f (x) |< ,
para todo x X.
Proposic
ao 2.12. Convergencia no espaco de Banach C[a, b], o espaco de todas as func
oes
contnuas definidas no intervalo fechado [a, b] com a norma
kxk = sup |x(t)|,
t[a,b]
e uniforme.
Demonstrac
ao: Sejam (xm ) uma sequencia em C[a, b] e x C[a, b] tal que
kxm xk 0,
quando m . Portanto, dado > 0, existe N N tal que
sup | xm (t) x(t) |< ,
t[a,b]
ym = 1 e1 + . . . + n(m) en .
Tambem, existe N N tal que
kym yr k < , sempre que m, n > N.
O Lema 2.1 implica que existe c > 0 tal que
> kym yr k
n
X
(m) (r)
=k
(j j )ej k
j=1
n
X
j=1
(m)
| j
(r)
j |,
Analise Funcional
61
| j
(r)
j |
n
X
(m)
| j
j=1
(r)
j |< ,
c
(m)
Definamos
y = 1 e1 + . . . + n en .
Entao y Y e
kym yk = k
n
X
(m)
(j
j )ej k
(m)
(m)
| j
j | kej k.
j=1
j=1
Mas j
n
X
j , quando m , da
kym yk 0, quando m ,
|x(t)|dt,
(2.16)
62
xk = x 1 + x2 + . . . = S
(2.17)
k=1
X
kxn k < .
i=1
= |Sm Sn | < .
xn
n=1
Analise Funcional
63
1
.
2j
Consideremos a subsequencia (xNj ) (xn ) de (xn ) e definamos
m, n Nj = kxm xn k <
u 1 = xN 1
u2 = xN2 xN1
..
.
uk = xNK xNK1
..
.
Temos
k
X
uj = xNk
j=1
k
X
kuj k 6 ku1 k +
j=1
k
X
2j < ku1 k + 1,
j=1
uj
j=1
k
X
uj x, quando k .
j=1
Assim, (xNk ) e convergente para x X e, portanto, (xn ) tambem deve ser convergente, isto e,
xn x quando n ,
mostrando que X e um espaco de Banach.
64
Obervac
ao 2.2. O conceito de convergencia de uma serie pode ser usado para definir uma base.
Se um espaco normado X contem uma sequencia (en ) com a propriedade de que para todo x X
existe uma u
nica sequencia de escalares (n ) tal que, quando n temos
kx (1 e1 + 2 e2 + . . . + n en )k 0
Entao (en ) e chamada de base de Schauder (ou base) para X. A serie
x=
k ek ,
k=1
e
db(
x, y) = lim d(xn , yn ), para (xn ) x e (yn ) y.
n
Analise Funcional
65
n N.
= lim kxn yn 0k
n
= lim kxn yn k
n
= lim d(xn , yn )
n
= db(
x, y)
b seja x X.
b Temos que
Para mostramos que k k1 e uma norma em X,
k
xk1 = db(
x, 0) 0 e k
xk1 = 0 db(
x, 0) = 0 x = 0,
66
provando que k k1 satisfaz as propriedades (N1) e (N2). Ainda, para K temos que
k
xk1 = db(
x, 0)
= lim d(xn , 0)
n
= lim kxn 0k
n
= lim ||kxn 0k
n
= || lim d(xn , 0)
n
x, 0)
= ||db(
= ||k
xk 1 ,
provando a propriedade (N3). A propriedade (N3) prova-se de forma analoga e o teorema fica
demonstrado.
2.4
Compacidade e Dimens
ao Finita
Analise Funcional
67
l = {x = (x1 , x2 , x3 , . . .);
|xi |2 < },
i=1
munido da norma
X
1
k(x1 , x2 , x3 , . . .)k2 = (
|xi |2 ) 2 .
i=1
1, se i = j
}.
0, se i 6= j
0, se i = k
1, se i 6= k
onde i
K, para i = 1, 2, . . . , n e m N.
68
para todo m N. O Lema 2.1 implica que existe uma constante c > 0 tal que
k kxm k = k
n
X
(m)
j ej k
n
X
j=1
(m)
| j
|.
j=1
(m)
Logo a seq
uencia (j ) e limitada para cada j = 1, 2, . . . , n fixo. Segue do Teorema de Bolzano (m)
Weierstrass que existem subsequencias (j ) tais que
(m)
j ,
para 1 j n. Definamos
x = 1 e1 + 2 e2 + . . . + n en
e mostremos que x M e xm x em X. De fato, temos que
(m)
0 kxm xk = k1 e1 + . . . + n(m) en (1 e1 + 2 e2 + . . . + n en )k
(m)
= k(1
(m)
|1
(m)
1 )e1 + (2
0,
quando m . Logo, xm x, quando m . Como M e fechado e xm M, para todo
m N, obtemos que x M, concluindo a prova deste teorema.
Vamos mostrar agora que a compacidade da bola fechada so e verdade em espacos de dimensao
finita. Comecemos com o seguinte lema.
Lema 2.11 (Lema de Riesz). Sejam Z, Y X subespacos vetoriais de um espaco normado X.
Suponhamos que Y seja fechado e que Y Z. Entao, para todo (0, 1) R, existe z Z tal
que
kzk = 1 e kz yk ,
(2.18)
para todo y Y.
Demonstrac
ao: Sejam v Z Y, y Y tais que
a = inf kv yk > 0
yY
(2.19)
Analise Funcional
69
Consideremos c =
1
> 0 e definamos
kv y k
z = c(v y ).
Logo, kzk = 1.
Vamos mostrar que kz yk , para todo y Y. De fato, temos que
kz yk = kc(v y ) yk = ckv y c1 yk = ckv y1 k,
onde y1 = y + c1 y Y. Logo,
kv y1 k a,
por (2.19). Entao,
kz yk = ckv y1 k ca =
a
,
kv y k
completando a prova.
Teorema 2.6. Se um espaco normado X tem a propriedade que toda bola unitaria fechada
M = {x X; kxk 1}
e compacta, entao X tem dimensao finita.
Demonstrac
ao: Suponhamos, por absurdo, que X tenha dimensao infinita. Seja x X tal que
kxk = 1 e consideremos X1 = [x1 ]. Entao,
dim X1 < e X1
X,
pois dim X = .
Como dim X1 < , entao X1 e fechado e, portanto, o Lema de Riesz implica que existe
x2 X, com kx2 k = 1 e tal que
1
kx2 x1 k = .
2
Da mesma forma, x1 , x2 X geram um subespaco fechado e proprio de X, denotado por X2 ,
e novamente o Lema de Riesz implica que existe x3 X com kx3 k = 1 e tal que
1
kx3 xk ,
2
para todo x X2 . Em particular,
kx3 x1 k
e
1
2
1
kx3 x2 k .
2
Por inducao, obtemos uma seq
uencia de elementos (xm ) de M tal que
70
1
2
se m 6= n. Assim, qualquer subsequencia de (xm ) nao pode ser convergente. Logo M nao e
compacto, o que contradiz a hipotese. Logo dim X < .
Vamos mostrar agora algumas relacoes entre compacidade e aplicacoes contnuas.
kxm xn k
2.5
Operadores Lineares
Em calculo, trabalhamos com o conjunto dos reais R e com funcoes de valores reais definidas
em R, estas funcoes sao aplicacoes que vao de um domnio D R em subconjutos de n
umeros
reais. Na Analise Funcional, consideramos espacos mais gerais, como espacos metricos e espacos
normados e trabalhamos com aplicacoes nestes espacos.
No caso de espacos vetoriais, e em particular, no caso de espacos normados, uma aplicacao e
chamada de operador.
Vamos dar atencao especial a operadores que preservam as duas operacoes do espaco vetorial,
temos a seguinte definicao para tais operadores:
Analise Funcional
71
Definic
ao 2.17. Sejam X, Y um espacos vetoriais sobre o mesmo corpo de escalares K e T :
D(T ) X Y um operador definido de um subconjunto D(T ) X em Y. Diremos que T e um
operador linear se
(i) o domnio D(T ) de T e um subespaco vetorial de X e sua imagem R(T ) Y e um subconjunto de Y ;
(ii) para quaisquer x, y D(T ) e K,
T (x + y) = T x + T y e T (x) = T x.
(2.20)
x( )d,
a
onde t [a, b], para todo x C[a, b]. Este operador e linear e e denominado operador integral.
72
Exemplo 2.21. Seja A Mr,n (R) uma matriz dada com r linhas e n colunas. Definamos
T : Rn Rr , por
y = Ax,
onde para x = (1 , . . . , n ) Rn y = (1 , . . . , r ) Rr e calculado da seguite maneira:
1
..
. =
r
11 . . .
..
.
1n
..
r1 . . . rn
1
..
. .
n
Analise Funcional
73
x, y D(T ).
Assim, existe
T 1 : R(T ) Y D(T ) X,
onde para todo y0 R(T ) existe um u
nico x0 D(T ) tal que
T 1 y0 = x0 ,
(y0 = T x0 ).
T 1 T x = x,
x D(T ),
T T 1 y = y,
y R(T ).
Notemos que
Sabemos que um operador linear entre espacos vetoriais possui inversa se, e somente se, o
n
ucleo deste operador consiste apenas do vetor nulo. Temos o seguinte resultado para a existencia
da inversa de operadores.
Teorema 2.9. Sejam X e Y espacos vetoriais sobre o mesmo corpo de escalares K e T : D(T )
X Y um operador linear onde D(T ) X e R(T ) Y. Entao
1. A inversa T 1 : R(T ) Y D(T ) existe se, e somente se,
T x = 0 x = 0.
2. Se existe T 1 , entao T 1 e um operador linear.
3. Se dim D(T ) = n < e T 1 existe, entao dim R(T ) = dim D(T ).
Demonstrac
ao: Os itens 1. 2. sao imeditatos. Sendo dim D(T ) = n < , segue do Teorema
2.8 que
dim R(T ) dim D(T ) = n.
Sendo
T 1 : R(T ) D(T ),
linear, o mesmo Teorema 2.8 implica que
dim D(T ) dim R(T ).
Assim conclumos que dim R(T ) = dim D(T ).
74
2.6
Nesta secao mostraremos algumas relacoes entre limitacao e continuidade de operadores lineares
em espacos normados e espacos de Banach.
Definic
ao 2.18. Sejam X e Y espacos normados e T : D(T ) X Y um operador linear. O
operador T e dito limitado se existe um n
umero real c > 0 tal que para todo x D(T ) temos
kT xkY ckxkX .
Algumas observacoes que seguem imediatamente da definicao acima:
um operador linear limitado leva subconjuntos limitados de D(T ) em subconjuntos limitados
de Y ;
para todo x D(T ) com x 6= 0 temos que
kT xk
c.
kxk
Logo, o n
umero
kT k :=
sup
xD(T ),
kT xk
x6=0 kxk
kT xk.
sup
xD(T ), kxk=1
2. O n
umero
kT k =
sup
xD(T ),
kT xk
x6=0 kxk
x
kxk
(2.21)
Analise Funcional
75
obtemos que
kyk = k
x
kxk
k=
= 1.
kxk
kxk
sup
xD(T ),
kT xk
x
=
sup
kT (
)k =
sup
kT yk,
kxk
x6=0 kxk
xD(T ), x6=0
yD(T ), kyk=1
provando o item 1.
Vamos verificar agora que o n
umero real kT k dado em (2.21) satisfaz as condicoes exigidas
na Definicao 2.1. Para isso considere x D(T ), com x 6= 0. Entao,
0
kT xk
c.
kxk
Logo,
0 kT k = sup
x6=0
kT xk
c.
kxk
Ainda mais,
kT k = 0 sup
x6=0
kT xk
=0
kxk
kT xk = 0, com x D(T ) e x 6= 0
T x = 0, com x D(T ) e x 6= 0.
Como T 0 = 0, obtemos que
kT k = 0 T = 0.
Mostrando as condic0oes (N1) e (N2) exigidas na Definicao 2.1.
Para todo K temos que
k(T )(x)k
||kT xk
kT xk
=
= ||
,
kxk
kxk
kxk
para todo x D(T ), com x 6= 0. Logo,
kT k = sup
x6=0
k(T )(x)k
kT xk
kT xk
= sup ||
= || sup
= ||kT k,
kxk
kxk
x6=0
x6=0 kxk
76
x( )d,
(T x)(t) =
a
Z
x( )d |
Exemplo 2.23. Seja X o espaco de todos as funcoes polinomiais definidas em um intervalo [0, 1].
Consideremos em X a norma
kxk = max |x(t)|,
t[0,1]
Analise Funcional
77
t[0,1]
para todo n N. Por outro lado, x0n (t) = ntn1 , para todo n N e, portanto,
kT (xn )k = max |x0n (t)| = max |ntn1 | = n,
t[0,1]
t[0,1]
kT (xn )k
= n , quando n ,
kxn k
Teorema 2.10. Sejam X, Y dois espacos normados sobre o mesmo corpo de escalares K. Se X
possui dimensao finita, entao todo operador linear em T : D(T ) X Y e limitado.
Demonstrac
ao: Sejam dimK X = n < e considere {e1 , . . . , en } uma base de X. Para todo
x D(T ) X temos que
x=
n
X
xj ej ,
xj K, i = 1, 2, . . . , n.
j=1
n
X
xj T ej k
j=1
n
X
| xj | kT ej k max kT ek k
j=1
1kn
n
X
| xj | .
j=1
n
1 X
1
| xj | k
xj ej k = kxk.
c j=1
c
Assim,
1
kT xk max kT ek k kxk.
1kn
c
Tomando = max1kn
kT ek k
segue que
kT xk kxk.
78
Seja T : D(T ) Y um operador nao necessariamente linear, tal que D(T ) X, com X e Y
espacos normados. Entao T e contnuo em x0 D(T ) se para todo > 0, existe > 0 tal que
kx x0 k < = kT x T x0 k < .
Dizemos que um operador T e contnuo, se ele for contnuo em todo x D(T ). Se T e linear temos
o seguinte resultado
Teorema 2.11. Sejam X e Y espacos normados sobre o mesmo corpo de escalares K e T :
D(T ) X Y um operador linear. Entao,
1. T e contnuo se, e somente se, T e limitado.
2. T e contnuo em x0 D(T ) se, e somente se, T e contnuo.
Demonstrac
ao: Sejam X e Y dois espacos normados sobre o mesmo corpo de escalares e T :
D(T ) X Y um operador linear.
Para provarmos o item 1, suponhamos inicialmente que T e um operador linear limtado.
Assim, para x0 D(T ) e > 0, escolhendo
=
,
kT k
y D(T ),
2kyk
y,
2kyk
ou seja,
kx x0 k =
kyk
= < .
2kyk
2
Analise Funcional
79
Logo,
1 > kT x T x0 k = kT (x x0 )k = kT
k=
kT yk.
kyk
kyk
Portanto,
1
kT yk kyk,
80
T |B x = T x,
para todo x B.
Uma extensao de um operador T : D(T ) X Y a um conjunto M D(T ) e um operador
T : M X Y tal que
T D(T ) = T,
ou seja, Tx = T x, para todo x D(T ).
Teorema 2.12. Seja T : D(T ) X Y um operador linear limitado, onde X e um espaco
normado e Y e um espaco de Banach, ambos sobre o mesmo corpo de escalares. Entao, existe
uma extensao de T definida por
T : D(T ) X Y,
onde T e um operador linear limitado tal que
kTk = kT k.
Analise Funcional
81
82
Assim,
0 kT xn k kT kkxn k.
Por outro lado,
T xn Tx, quando n
e,a continuidade da norma implica que
kTxk kT kkxk,
mostrando que T e limitado e que
kTk kT k.
Mas, para todo x D(T ) temos que Tx = T x. Logo,
kT xk = kTxk kTkkxk,
mostrando que
kT k kTk,
completando a prova do teorema.
2.7
Funcionais Lineares
| f (x) |
,
xD(T ),x6=0 kxk
sup
ou ainda,
kf k =
sup
xD(T ), kxk=1
| f (x) | .
Analise Funcional
83
x(t)dt,
f (x) =
a
Z
f (x + y) =
Z
(x(t) + y(t))dt =
x(t)dt +
a
tJ
84
As operacoes algebricas definidas neste espaco sao a adicao e a multiplicacao por escalar
usuais. Para f1 , f2 X funcionais lineares em X e x X temos que a soma e definida por
(f1 + f2 )(x) = f1 (x) + f2 (x).
O produto de um escalar K por um funcional linear f X e definido por
(f )(x) = f (x),
para todo x X. Assim, com as operacoes acima, X e um espaco vetorial sobre o corpo de
escalares K.
O espaco bidual de X que denotamos por X , e o espaco que consiste de todos os funcionais
lineares definidos em X , isto e,
X = { : X K; e linear}.
Observemos entao que
X = (X ) .
Vamos relacionar agora os espacos normados X e X . Consideremos
C : X X
x 7 C(x) = gx : X K
f 7 gx (f ) = f (x).
Sejam x1 , x2 X. Se x1 = x2 , entao
f (x1 ) = f (x2 ),
para todo f X . Logo,
C(x1 ) = gx1 = gx2 = C(x2 )
Tambem, para cada x X fixado, f1 , f2 X e , K temos que
gx (f1 + f2 ) = (f1 + f2 )(x) = f1 (x) + f2 (x) = gx (f1 ) + gx (f2 ),
mostrando que C esta bem definida.
Ainda, para x1 , x2 X e , K temos que
C(x1 + x2 )(f ) = gx1 +x2 (f )
= f (x1 + x2 )
= f (x1 ) + f (x2 )
= gx1 (f ) + gx2 (f )
= C(x1 )(f ) + C(x2 )(f )
= (C(x1 ) + C(x2 ))(f ),
Analise Funcional
85
2.8
Mostraremos nesta secao que operadores lineares em espacos vetoriais de dimensao finita podem
ser representados atraves de matrizes e apresentaremos algumas propriedades imediatas sobre esses
operadores lineares.
Sejam X e Y espacos vetoriais de dimensao finita sobre o mesmo corpo de escalares K e
T : X Y um operador linear. Escolhemos E = {e1 , . . . , en } base de X e B = {b1 , . . . , bm } base
de Y. Se x X, entao
x = x1 e1 + . . . + xn en .
(2.22)
Como T e linear, entao
n
n
X
X
y = Tx = T(
xk ek ) =
xk T ek .
k=1
(2.23)
k=1
m
X
j bj e T ek =
j=1
m
X
jk bj .
(2.24)
j=1
j bj = y = T x =
n
X
xk T ek =
k=1
n
X
xk
k=1
m
X
j=1
m X
n
X
jk bj =
(
jk xk )bj .
j=1 k=1
n
X
jk xk
k=1
A imagem y = T x pode ser obtida de (2.23) e os coeficientes em (2.24) formam uma matriz
TEB = (jk ),
86
com m linhas e n colunas. A matriz TEB e unicamente determinada pelo operador linear T.
Tambem, toda matriz determina um u
nico operador linear T .
Sejam X um espaco vetorial, n = dimK < , {e1 , . . . , en } uma base de X e X o espaco dual
de X. Assim, para todo f X temos que
n
n
n
X
X
X
f (x) = f (
xj ej ) =
xj f (ej ) =
xj j , x X,
j=1
j=1
j=1
onde
j = f (ej ).
(2.25)
Conseq
uentemente toda n upla de escalares 1 , . . . , n determina um funcional linear em
X, definido por (2.25). Em particular se tomarmos as nuplas
(1, 0, 0,
(0, 1, 0,
.
. .
(0, 0, 0,
0, 0)
0, 0)
.
.
0, 1).
para 1 , 2 , . . . , n . Assim,
n
X
j fj (x) = 0,
j=1
n
X
j=1
j fj (ek ) = k .
Analise Funcional
87
n
X
xj e j ,
k=1
n
X
xj f (ej ) =
j=1
n
X
xj j ,
(2.27)
j=1
(2.28)
n
X
j fj (x),
j=1
mostrando que
f = 1 f1 + . . . + n fn .
Logo,
{f1 , f2 , . . . , fn }
e uma base para X , provando teorema.
Mostremos agora uma importante propriedade em espacos vetoriais de dimensao finita.
Lema 2.12. Seja X um espaco vetorial de dimensao finita sobre um corpo de escalares K. Se
x0 X e tal que f (x0 ) para todo f X , entao x0 = 0.
Demonstrac
ao: Seja {e1 , e2 , . . . , en } uma base de X e 1 , . . . , n K tais que
x0 = 1 e1 + 2 e2 + . . . + n en .
Por hipotese temos que
0 = f (x0 ) =
n
X
i f (ei ),
i=1
n
X
i fj (ei ) = j ,
i=1
88
Definic
ao 2.21. Seja X um espaco vetorial. Diremos que X e algebricamente reflexivo quando
C for sobrejetora, isto e, quando
R(C) = X .
Teorema 2.15. Todo espaco vetorial de dimensao finita e algebricamente reflexivo.
Demonstrac
ao: Seja x0 Ker (C). Entao C(x0 ) = 0 e, portanto, gx0 = 0, ou seja,
0 = gx0 (f ) = f (x0 ),
para todo f X . Logo, o Lema 2.12 implica que x0 = 0, mostrando que Ker (C) = {0} e que C
e injetora. Como o Teorema 2.14 implica que
dim X = dim X = dim X ,
obtemos que C tambem e sobrejetora, concluindo a prova deste teorema.
2.9
Operadores em Espa
cos Normados e O Espa
co Dual
kT xk
= sup kT xk.
kxk
kxk=1
Analise Funcional
89
O resultado que segue nos diz quando o espaco B(X, Y ) e um espaco de Banach.
Teorema 2.17. Se Y e um espaco de Banach, entao B(X, Y ) e um espaco de Banach.
Demosntrac
ao: Seja (Tn ) uma seq
uencia de Cauchy em B(X, Y ). Entao, para todo > 0 existe
N > 0 tal que
kTn Tm k < sempre que m, n > N.
Para todo x X e m, n > N, temos que
kTn x Tm xk = k(Tn Tm )xk kTn Tm kkxk kxk.
(2.29)
90
kTn x T xk
< ,
kxk
| f (x) |
.
kxk
T :XX
que preserva norma, isto e, para todo x X
kT xk = kxk.
sao chamados de espacos isometricamente isomorfos.
Quando existe tal isomorfismo, X e X
Exemplo 2.26. O espaco dual de Rn e isomorfo a Rn .
De fato: O Teorema 2.10 implica que
(Rn )0 = (Rn ) .
Agora, seja x Rn e f (Rn ) . Logo,
x = 1 e1 + . . . n en =
n
X
i ei
i=1
n
X
i=1
i f (ei ) =
n
X
i=1
i i ,
Analise Funcional
91
i=1
i=1
i=1
i=1
Logo,
v
u n
X
| f (x) | u
t
i2 .
kf k = sup
kxk
x6=0
i=1
Ainda, como x0 = 1 e1 + 2 e2 + . . . + n en Rn , obtemos que
v
u n
uX
kf k = t
i2 = kck,
i=1
onde c = (1 , 2 , . . . , n ) Rn .
Portanto, existe um isomorfismo isometrico
: (Rn )0 Rn
definido por
f 7 (f ) = c = (f (e1 ), f (e2 ), . . . , f (en )).
Claramente e linear, injetora e, portanto bijetora, uma vez que dim Rn = dim(Rn )0 . As observacos acima mostram que e uma isometria, completando o exemplo.
Exemplo 2.27. O espaco dual de l1 e isomorfo a l .
De fato: Seja {e1 , e3 , . . .} l1 uma base de Schauder para l1 , onde
e1 = (1, 0, 0,
e2 = (0, 1, 0,
..
..
.
. .
ek = (0, 0, 0,
..
.. ..
.
. .
0, . . .) = (1j )
0, . . .) = (2j )
..
..
.
.
1, . . .) = (kj )
..
..
.
..
k ek ,
k=1
onde k R, k = 1, 2, . . . .
Consideremos agora um elemento f (l1 )0 no dual de l1 . Como
x = lim
n
X
k=1
k ek
(2.30)
92
n
X
k ek ) = lim
n
X
k=1
k f (ek ),
k=1
ou seja,
f (x) =
k k ,
(2.31)
k=1
(2.32)
kN
mostrando que c = (1 , 2 , . . .) l .
Por outro lado, para todo b = (k ) l , vamos definir um funcional linear limitado em l1
associado a` b. Para isso, definamos g : l1 K por
g(x) = g(1 , 2 , . . .) =
k k .
k=1
Como x = (1 , 2 , . . .) l1 , entao
|
n
X
k k |
n
X
|k k | kbk
k=1
k=1
k=1
|k | < ,
k k |
k=1
e
|g(x)|
|k k | kbk
k=1
X
k=1
|k |kbk = kbk
|k | <
k=1
|k | = kbk kxk1 ,
k=1
Analise Funcional
93
onde k = f (ek ), k = 1, 2, . . . unicamente determinados por f sao dados em (2.31). Ainda, (2.31)
implica que
X
|f (x)| = |
k k | kxk1 sup |j k,
jN
k=1
mostrando que
kf k sup |j k,
jN
mostrando que
kf k = sup |j k = kck .
jN
1 1
+ = 1.
p q
0, 0,
1, 0,
..
. .
ek = (0, 0, 0,
..
.. ..
.
. .
0, . . .) = (1j )
0, . . .) = (2j )
..
..
.
.
1, . . .) = (kj )
..
..
.
..
X
k=1
onde k R, k = 1, 2, . . . .
k ek ,
(2.33)
94
n
X
k ek
k=1
n
X
k ek ) = lim
k=1
ou seja,
f (x) =
n
X
k f (ek ),
k=1
k k ,
(2.34)
k=1
Substituindo os valores de k
(n)
k k
n
X
|k |q ,
k=1
k=1
X
1
(n)
= kf k(
|k |p ) p
k=1
n
X
|k |q p p1
= kf k(
|
|)
k
k=1
n
X
1
= kf k(
|k |(q1)p ) p
k=1
n
X
1
= kf k(
|k |q ) p .
k=1
Logo,
n
X
k=1
n
X
1
|k | = f (xn ) kf k(
|k |q ) p ,
q
k=1
Analise Funcional
95
q
k=1 |k |
P
1
( nk=1 |k |q ) p
n
X
kf k,
|k |q ) q kf k,
k=1
|k |q ) q kf k,
k=1
mostrando que c = (1 , 2 , . . .) = (k ) lq .
Por outro lado, para todo b = (k ) lq , vamos definir um funcional linear limitado em lp
associado `a b. Para isso, definamos g : lp K por
g(x) = g(1 , 2 , . . .) =
k k ,
k=1
onde x = (1 , 2 , . . .) lp . Observemos inicialmente que a linearidade de g e imediata e a desigualdade de Holder implica que
|g(x)| kxkp kbkq ,
para todo x lp , mostrando que g (lp )0 .
Vamos mostrar agora que
X
1
kckq = (
|k |q ) q = kf k.
k=1
Ja provamos que
X
1
kckq = (
|k |q ) q kf k.
k=1
p
X
k=1
k k |
|k k | kxkp kckq ,
k=1
provando o desejado.
Portanto a aplicacao : (lp )0 lq definida por
(f ) = c,
onde c = (1 , 2 , . . .) = (f (e1 ), f (e2 ), . . .) e um isomorfismo isometrico, completando o exemplo.
96
Definic
ao 2.23. Sejam X um espaco normado sobre um corpo K, X 0 o dual de X e
X 00 = (X 0 )0 = { X ; e limitado }.
Definimos a imersao canonica
C : X X 00
x 7 C(x) = gx : X 0 K
f 7 gx (f ) = f (x).
Dizemos que X e reflexivo se, e somente se,
R(C) = X 00 .
Captulo 3
Espa
cos com Produto Interno
O objetivo principal deste captulo e generalizar o conceito de produto escalar, estudados no
curso de Geometria Analtica para os espacos euclideanos R2 e R3 , para espacos vetorias mais
gerais e tambem tentar obter as propriedades geometricas decorrentes dos produtos escalares tais
como ortogonalidade, angulos, entre outras.
3.1
Definic
ao e Espacos de Hilbert
Nesta secao vamos definir os espacos que serao estudados neste captulo, apresentar alguns
exemplo, estudar algumas de suas propriedades e relacionar esses espacos com os espacos normados
e de Banach estudados no captulo anterior.
Definic
ao 3.1. Seja H um espaco vetorial sobre um corpo K.. Dizemos que uma aplicac
ao
h , i : H H R e um produto escalar se para todos u, v, w H e K valem as seguintes
condicoes:
(IP1) hu + v, wi = hu, wi + hv, wi;
(IP2) hu, vi = hu, vi;
(IP3) hu, vi = hv, ui;
(IP4) hu, ui 0 e hu, ui = 0 u = 0.
Nesse caso, dizemos que H = (H, h , i) e um espaco com produto interno.
Observemos que se o corpo de escalares do espaco vetorial H for o corpo dos n
umeros reais
R, entao (IP 3) pode ser escrita como
hu, vi = hv, ui
98
(3.1)
2. A aplicacao u 7 kuk = hu, ui 2 define uma norma em H, que sera denominada norma
induzida pelo produto interno h , i.
1
3. A aplicacao (u, v) 7 d(u, v) = huv, uvi 2 define uma metrica em H, que sera denominada
metrica induzida pelo produto interno h , i.
Demonstrac
ao: Primeiro observemos que para todo u, v H, o n
umero complexo, h u, vi pode
ser escrito sob a forma
h u, vi = |h u, vi |ei
e, portanto,
h v, ui = h u, vi = |h u, vi |ei = |h u, vi |ei .
Assim, para todo C temos que
0 hu + ei v, u + ei vi
= hu, ui + ei hu, vi + ei hv, ui + hv, vi
= hu, ui + ei |h u, vi |ei + ei |h u, vi |ei + hv, vi
= hu, ui + ( + )|h u, vi | + hv, vi.
Analise Funcional
99
Tomando R e fazendo a = hu, ui, b = 2|hu, vi| e c = hv, vi, obtemos que
0 hu + ei v, u + ei vi = a2 + b + c := p().
Mas,
p() 0 4|hu, vi|2 4hu, uihv, vi 0
|hu, vi|2 hu, uihv, vi.
Assim,
1
kuk = hu, ui 2 ,
para todo u H. Assim, para todo u, v H, segue que
ku + vk2 + ku vk2 = (
p
p
hu + v, u + vi)2 + ( hu v, u vi)2
= hu + v, u + vi + hu v, u vi
= hu, u + vi + hv, u + vi + hu, u vi hv, u vi
= hu, ui + hu, vi + hv, ui + hv, vi + hu, ui hu, vi hv, ui + hv, vi
= 2(kuk2 + kvk2 ),
mostrando que a desigualdade do paralelogramo e valida.
100
Suponhamos agora que a identidade do paralelogramo seja valida para a norma definida em
H e definamos f : H H R por
1
f (u, v) = (ku + vk2 ku vk2 ), u, v H.
4
Observemos inicialmente que para todo u H,
1
f (u, u) = (ku + uk2 ku uk2 ) = kuk2 .
4
(3.2)
1
1
f (u, v) = (ku + vk2 ku vk2 ) = (kv + uk2 | 1|kv uk2 ) = f (v, u).
4
4
(3.3)
Tambem, para u, v H,
(3.4)
(3.6)
Analise Funcional
101
1
(0) = f (0, v) = [kvk2 k vk2 ] = 0,
4
provando o resultado para este caso.
(3.7)
102
(3.8)
() = 0, Q.
(3.9)
Analise Funcional
103
104
onde J = [a, b], e um espaco de Banach, mas a norma definida acima nao pode ser obtida de um
produto interno.
Analise Funcional
105
De fato: Se tomarmos
x(t) = 1 e y(t) =
(t a)
,
(b a)
ta
ta
e x(t) y(t) = 1
.
ba
ba
Portanto,
kx + yk = 2, kx yk = 1 e kx + yk2 + kx yk2 = 5.
Mas,
2(kxk2 + kyk2 ) = 4.
Assim, o Teorema 3.1 implica que a norma definida acima nao provem de um produto interno.
Exemplo 3.2. No espaco vetorial lp , com 1 p < e p 6= 2, a norma usual nao pode ser obtida
de um produto interno neste espaco.
De fato: Para 1 p < e p 6= 2 tomemos
x = (1, 1, 0, 0, 0, . . .) e y = (1, 1, 0, 0, 0, . . .).
Entao,
x, y lp ;
1
kxkp = kykp = 2 p ;
kx + ykp = kx ykp = 2.
Assim, vemos que para 1 p < e p 6= 2,
2
106
x, y l ;
kxk = kyk = 1;
kx + yk = kx yk = 2.
Assim, vemos que
kx + yk + kx yk2 = 4 + 4 = 8 6= 4 = 2(1 + 1) = 2(kxk2 + kyk2 ),
ou seja, a identidade do paralelogramo nao esta satisfeita em l .
Portanto, a norma usual de l nao pode ser obtida de um produto interno.
Definic
ao 3.2. Um espaco com produto interno H e um espaco de Hilbert se ele for um espaco
de Banach relativamente `a norma induzida pelo produto interno.
Exemplo 3.4. O espaco Rne um espaco de Hilbert com produto interno definido por
hx, yi = 1 1 + . . . + n n ,
(3.10)
onde x = (1 , . . . , n ) e y = (1 , . . . , n ).
Exemplo 3.5. O espaco vetorial Cn e um espaco de Hilbert com produto interno dado por
hx, yi = 1 1 + . . . + n n
(3.11)
kxk = (1 1 + . . . + n n ) 2 = (|1 |2 + . . . + |n |2 ) 2 .
Exemplo 3.6 (Espaco l2 das Sequ
encias de Hilbert ). O espaco vetorial l2 definido por
2
l = {x = (x1 , x2 , . . .); xi C e
| xi |2 < }
i=1
j j .
j=1
X
1
kxk = hx, xi = (
|j |2 ) 2 ,
2
j=1
Analise Funcional
107
Exemplo 3.7. Considere o o espaco vetorial de todas as funcoes contnuas de valores reais em
[a, b] com norma dada por
Z b
1
|x(t)|2 dt) 2 ,
kxk = (
a
para toda funcao contnua x : [a, b] R. Denotaremos este espaco vetorial por tais que
Z b
1
|x(t)|2 dt) 2 ).
L (a, b) = ({x : (a, b) R; x e contnua }, kxk = (
2
Em L2 (a, b) esta norma pode ser obtida do produto interno definido por
Z
hx, yi =
x(t)y(t)dt.
a
Considerando as funcoes com valores complexos (e mantendo t [a, b] real), elas foram um
espaco vetorial complexo e definimos o produto interno por
Z
hx, yi =
x(t)y(t)dt.
a
(3.12)
para todo u, v H.
2. Se H e um espaco vetorial complexo, entao
1
<h u, vi = (ku + vk2 ku vk2 )
4
1
=h u, vi = (ku + ivk2 ku ivk2 )
4
(3.13)
108
Demonstrac
ao: Para todo u, v H, como H e um espaco vetorial real, temos que
ku + vk2 ku vk2 = h u + v, u + vi + h u v, u vi
= h u, ui + h u, vi + h v, ui + h v, vi h u, ui + h u, vi + h v, ui h v, vi
= 4h u, vi ,
provando (3.12). Se H for um espaco vetorial complexo temos que
ku + vk2 ku vk2 = 2h u, vi + 2h v, ui
= 4<h u, vi ,
provando a primeira igualdade em (3.13). Tambem, para u, v H, temos que
ku + ivk2 ku ivk2 = h u + iv, u + ivi + h u iv, u ivi
= h u, ui + h u, ivi + h iv, ui + h iv, ivi
h u, ui + h u, ivi + h iv, ui h iv, ivi
= ih u, vi + ih v, ui ih u, vi + ih v, ui
= 2i[h u, vi + h v, ui ]
= 2i(2i)=h u, vi
= 4=h u, vi ,
provando a u
ltima igualdade em (3.13).
3.2
Propriedades de Espa
cos com Produto Interno
Nesta secao mostraremos algumas propriedades sobre espacos com produto interno. Comecemos com um resultado que mostra a continuidade do produto interno.
Lema 3.1. Sejam H um espaco com produto interno, (un )nN e (vn )nN duas seq
uencias em H
tais que
un u H e vn v H,
quando n . Entao,
hvn , vn i hu, vi,
quando n .
Demonstrac
ao: Como sequencias convergentes sao limtiadas, a desigualdade triangular e a
desigualdade de Cauchy-Schwarz implicam que
|hun , vn i hu, vi| = |hun , vn i hun , vi + hun , vi hu, vi|
6 |hun , vn vi| + |hun u, vi|
6 kun kkvn vk + kun ukkvk
0,
Analise Funcional
109
pois yn y e xn x, quando n .
Sejam H1 e H2 dois espacos com produto interno sobre o mesmo corpo de escalares. Diremos
que H1 e H2 sao espacos com produto interno isomorfos se existir uma transformacao linear
bijetora
T : H1 H2
tal que
hT x, T yi2 = hx, yi1 ,
para quasiquer x, y H1 . Observemos que tomando
kxk1 = hx, xi1 , x H1
e
kxk2 = hy, yi1 , y H2 ,
entao T e uma isometria entre os espaco normados (H1 , k k1 ) e (H2 , k k2 ).
Os dois proximos resultados seguem do que foi demonstrado nos captulos anteriores.
Teorema 3.2. Seja X um espaco com produto interno, entao existe um espaco de Hilbert H e
um isomorfismo A : X W H tal que W e denso em H. O espaco de Hilbert H e u
nico exceto
por isomorfismo.
Definic
ao 3.3. Um conjunto Y de um espaco com produto interno X e um subespaco de X se ele
e um subespaco vetorial de X, munido do produto interno dado pela restricao do produto interno
de X ao subespaco vetorial Y. Analogamente, um subespaco Y de um espaco de Hilbert H e um
subespaco do espaco com produto interno H.
Teorema 3.3. Seja Y um subespaco de um espaco de Hilbert H. Entao,
(a) Y e completo se, e somente se, Y e fechado em H.
(b) Se Y tem dimensao finita, entao Y e completo.
3.3
Definic
ao 3.4. Seja H um espaco com produto interno. O segmento que une dois elementos
dados u e v em H e definido como o conjunto
[x, y] := {w = u + (1 )v; R e 0 6 6 1}.
Um subconjunto K de H e dito convexo se para todo x, y K o segmento que os une [x, y] K.
Em particular, todo subespaco Y de um espaco com produto interno H e convexo, e a intersecao de conjuntos convexos e um conjunto convexo.
110
(3.15)
vn + vm 2
vn vm 2 1 2
k +k
k = (dn + d2m ).
2
2
2
vn +vm
2
kf
K. Assim,
vn + vm
k d.
2
Logo,
vn vm 2 1 2
k (dn + d2m ) d2 0,
2
2
quando m, n , mostrando que (vn )n1 e uma seq
uencia de Cauchy.
Como H e um espaco de Hilbert, entao (vn )n1 e convergente. Mas K e fechado, entao existe
u K tal que vn u. A continuidade da norma implica entao que d = kf uk.
k
Analise Funcional
111
Logo,
0 ku1 u2 k2 2d2 + 2d2 4d2 = 0,
mostrando que u1 = u2 .
(c) Equival
encia entre (3.14) e (3.15).
(3.14) (3.15): Seja u K satisfazendo (3.14). Como K e convexo, v = (1 t)u + tw K, para
todo t [0, 1]. Entao, (3.14) implica que
kf uk kf [(1 t)u + tw]k = kf u t(w u)k.
Assim
kf uk2 h f u t(w u), f u t(w u)i
= kf uk2 2th f u, w ui + t2 kw uk2 ,
ou seja,
2th f u, w ui t2 kw uk2 .
Para t 6= 0 temos que
2h f u, w ui tkw uk2 ,
para todo w K e todo t (0, 1]. Fazendo t 0 obtemos (3.15).
(3.15) (3.14): Seja u K satsfazendo (3.15). Entao,
ku f k2 kv f k2 = 2h f u, v ui kv uk2 kv uk2 0,
para todo v K, ou seja,
ku f k kv f k, v K,
mostrando que (3.14) esta satisfeita.
(d) Unicidade. Sejam u1 , u2 H satisfazendo (3.15). Entao,
h f u1 , v u1 i 0 v K
h f u2 , v u2 i 0 v K.
Como u1 , u2 K, entao
h f u1 , u2 u1 i 0 e h f u2 , u1 u2 i 0.
112
Da,
h f u1 , u2 u1 i + h f u2 , u1 u2 i 0 h f u1 , u2 u1 i h f u2 , u2 u1 i 0
h (f u1 ) (f u2 ), u2 u1 i 0
h u2 u1 , u2 u1 i 0
ku1 u2 k2 0,
mostrando que u1 = u2 , completando a prova do teorema.
Proposic
ao 3.3. Seja K um subconjunto convexo, fechado e nao vazio de um espaco de Hilbert
real H. Entao,
kpK f1 pK f2 k kf1 f2 k,
para todos f1 , f2 H. Em outras palavras, a projecao pK : H K e contnua.
Demonstrac
ao: Do Teorema 3.4, existem u
nicos u1 , u2 K tais que pK f1 = u1 e pK f2 = u2 .
Ainda mais,
h f1 u1 , v u1 i 0 e h f2 u2 , v u2 i 0, v K.
Logo, se u1 6= u2 ,
h f1 u1 , u1 u2 i + h f2 u2 , u1 u2 i 0 h f1 + u1 , u1 u2 i + h f2 u2 , u1 u2 i 0
h f2 f1 , u1 u2 i + h u1 u2 , u1 u2 i 0
ku1 u2 k2 h f2 f1 , u1 u2 i
ku1 u2 k2 h f1 f2 , u1 u2 i
ku1 u2 k2 kf1 f2 kku1 u2 k
ku1 u2 k kf1 f2 k.
Quando u1 = u2 , a demonstracao da propriedade e imediata.
Corol
ario 3.1. Sejam M um subespaco vetorial fechado de um espaco de Hilbert real H e f H.
Entao, u = pM f se caracteriza por
(
uM
(3.16)
h f u, vi = 0, v M.
Alem disso, pM : H M e um operador linear limitado.
Demonstrac
ao: Como M e um subespaco vetorial de H, entao M e convexo e nao vazio e o
Teorema 3.4 implica
h f u, v ui 0, v M.
Entao,
h f u, tv ui 0,
v M e t R,
Analise Funcional
113
ou seja,
th f u, vi h f u, ui ,
v M e t R.
Logo,
h f u, vi = 0,
v M.
6= 0.
hy1 , y1 i
||2
< d2 ,
hy1 , y1 i
(3.17)
114
Definic
ao 3.6. Seja X um espaco vetorial. Diremos que X e a soma direta de dois subespacos
Y e Z de X, denotaremos por
X = Y Z,
se todo x X tiver uma u
nica representacao da forma
x = y + z,
com y Y e z Z. Neste caso, Z(Y ) e chamado um complemento algebrico de Y (Z) em X. Os
subespacos Y e Z sao chamados de um par complementar de subespacos em X.
Teorema 3.5. Sejam H um espaco de Hilbert e Y um subespaco fechado de H. Entao,
H = Y Z,
(3.18)
onde Z = Y .
Demonstrac
ao: Como Y e convexo, o Lema 3.2 implicam que para todo x H existe um u
nico
y Y tal que
x = y + z,
(3.19)
onde z Z = Y .
Mostremos agora que a decomposicao em (3.19) e u
nica. Suponhamos que
x = y + z = y1 + z1 ,
onde y, y1 Y e z, z1 Z. Entao, y y1 = z1 z. Como y y1 Y e z1 z Z = Y , notamos
que
y y1 Y Y = {0},
mas isso implica que y = y1 e que z = z1 , conclundo a prova da unicidade da representacao em
(3.19).
Por definicao, y em (3.19) e chamado de projecao ortogonal de x em Y ou apenas a projecao
de x em Y . Este termo e motivado pela geometria elementar. Por exemplo, podemos tomar
H = R2 e projetar qualquer ponto (x, y) no eixo Ox, bastando para isso tomar (x, 0).
A equacao (3.19) define uma aplicacao P : H Y definida por
x 7 y = P x.
A aplicacao P e chamada de projecao ortogonal (ou operador ortogonal) de H em Y . Temos que
P e um operador linear limitado e sobrejetor, P (Y ) = Y e P (Z) = P (Y ) = {0}. Tambem, P e
idempotente, isto e,
P 2 = P,
Analise Funcional
115
M = {x H; xM }.
Entao, x M se, e somente se, hx, vi = 0 para todo v M , o que explica o nome de anulador.
Note que mesmo M sendo apenas um conjunto nao vazio, o complemento ortogonal M e um
subespaco vetorial do espaco com produto interno H, pois se x, y M entao, para todo v M
e , escalares temos que
hx + y, vi = hx, vi + hy, vi = 0.
Portanto, x + y M , mostrando que M e um subespaco vetorial de H.
Observermos ainda que (M ) sera escrito como M . Em geral temos que
M M ,
(3.20)
(3.21)
Demonstrac
ao: Primeiro observemos que Y Y por (3.20). Mostraremos agora que Y
Y . Para isso seja x Y H. O Teorema 3.5 implica que x = y + z, onde y Y Y
por (3.20) e z Y . Como Y e um espaco vetorial e x Y , entao z = x y Y ,
portanto zY . Logo, zz e, portanto, z = 0. Assim, x = y, isto e, x Y e, portanto, Y Y ,
completando a prova do lema.
Temos entao que (3.21) e a principal razao para o uso de subespacos fechados no presente
contexto. Como Z = Y = Y , a formula (3.18) pode tambem ser escrita como
H = Z Z .
Segue que x 7 z define uma projecao Pz : H Z, cujas propriedades sao completamente
similares `aquelas da projecao ortogonal P considerada antes.
116
Lema 3.5. Para qualquer subconjunto M 6= de um espaco de Hilbert H, o conjunto gerado por
M, que denotaremos [M ], e denso em H se, e somente se, M = {0}.
Demonstrac
ao: Seja x M e suponhamos que V = [M ] e denso em H. Entao, x V = H
e, portanto, existe uma seq
uencia (xn ) em V tal que (xn ) x. Como x M e M V , temos
hxn , xi = 0, para todo n N. A continuidade do produto interno implica que hxn , xi hx, xi.
Logo,
0 = hx, xi = kxk2 .
Da, x = 0 e, portanto, M = {0}.
Reciprocramente, suponha que M = {0}. Se xV = [M ], entao xM. Logo, x M e,
portanto, x = 0. Da, V = {0}. Note que V e um subespaco de H, entao obtemos V = H pelo
Teorema 3.5 aplicado com Y = V .
Corol
ario 3.2. Seja H um espaco de Hilbert H e M um subespaco vetorial fechado de H tal que
H = M M . Se u = v + w com v M e w M , entao w = pM (u) e v = pM u. Alem disso,
pM e pM = I pM sao projecoes ortogonais.
3.4
O Dual de um Espa
co de Hilbert
(3.22)
kzk = kf k.
(3.23)
para todo x H e
Demonstrac
ao: Provaremos que f tem uma representacao da forma (3.22), z em (3.22) e u
nico
e (3.23) e valida.
Se f = 0, entao (3.22) e (3.23) valem se tomarmos z = 0.
Seja f 6= 0. Para a representacao (3.22) existir, devemos ter necessariamente que z 6= 0, pois
de outra maneira f = 0. Alem disso, como hx, zi = 0 para todo x N (f ) H, onde
N (f ) = {x H; f (x) = 0}
e o n
ucleo de f . Portanto, o elemento z H deve pertencer ao complemento ortogonal, N (f ) ,
de N (f ).
Como N (f ) e um subespaco vetorial fechado e como f 6= 0, entao N (f ) 6= H e, portanto,
N (f ) 6= {0} pelo Teorema 3.5. Assim, existe z0 6= 0, tal que z0 N (f ) . Consideremos entao
v = f (x)z0 f (z0 )x,
Analise Funcional
117
f (z0 )
hx, z0 i
hz0 , z0 i
f (z0 )
z0 .
hz0 , z0 i
kxk=1
118
Lema 3.6. Se hv1 , wi = hv2 , wi para todo w em um espaco com produto interno X, entao v1 = v2 .
Em particular, se hv1 , wi = 0 para todo w X, entao v1 = 0.
Demonstrac
ao: Por hipotese, para todo w X,
hv1 v2 , wi = hv1 , wi hv2 , wi = 0.
Para w = v1 v2 temos kv1 v2 k2 = 0. Portanto, v1 v2 = 0 e da, v1 = v2 .
Em particular, se hv1 , wi = 0, para todo w X, tomando w = v1 , obtemos que kv1 k2 = 0 e,
portanto, v1 = 0.
Definic
ao 3.7. Sejam X e Y espacos vetoriais sobre o mesmo campo de escalares K (R ou C).
Entao, a forma sesquilinear (ou funcional sesquilinear) h sobre X Y e uma aplicacao
h : X Y K
tal que para todo x, x1 , x2 X, y, y1 , y2 Y e escalares , K as propriedades
(a) h(x1 + x2 , y) = h(x1 , y) + h(x2 , y);
(b) h(x, y1 + y2 ) = h(x, y1 ) + h(x, y2 );
(c) h(x, y) = h(x, y);
(d) h(x, y) = h(x, y),
estao satisfeitas.
As propriedades acima nos mostram que h e linear no primeiro argumento e conjugado linear
no segundo argumento. Se X e Y sao reais (K = R), entao a propriedade (d) fica da forma
h(x, y) = h(x, y),
para todos x X, y Y e R. Nesse caso diremos que h e uma forma bilinear.
Se X e Y sao espacos normados e se existe um n
umero real positivo c > 0 tal que para todo
x, y X,
|h(x, y)| 6 ckxkkyk,
(3.24)
khk = sup
(3.25)
Analise Funcional
119
Teorema 3.7 (Representacao de Riesz). Sejam H1 e H2 espacos de Hilbert sobre o mesmo corpo
de escalares e
h : H1 H2 K
uma forma sesquilinear limitada. Entao, h tem uma representacao dada por
h(x, y) = hSx, yi,
(3.26)
(3.28)
onde z H2 e u
nico para cada x H1 fixado. Assim, (3.28) define uma aplicacao S : H1 H2
por
Sx = z, x H1 .
Substituindo z = Sx em (3.28), temos
h(x, y) = hSx, yi,
mostrando (3.26).
Provaremos agora que S e linear. De fato, sejam x1 , x2 H1 . De (3.26) e das propriedades
da forma sesquilinear h obtemos que
hS(x1 + x2 ), yi = h(x1 + x2 , y)
= h(x1 , y) + h(x2 , y)
= hSx1 , yi + hSx2 , yi
= hSx1 + Sx2 , yi
para todo y em H2 . Portanto, o Lema 3.6 implica que
S(x1 + x2 ) = Sx1 + Sx2 ,
120
mostrando a linearidade de S.
Mostremos agora que S e limitado. De fato, deixando de lado o caso trivial S = 0, temos de
(3.26) e de (3.25) que
|hSx, Sxi|
|hSx, yi|
kSxk
> sup
= sup
= kSk.
x,y6=0 kxkkyk
x6=0 kxk
kxk,kSxk6=0 kxkkSxk
khk = sup
khk = sup
3.5
Analise Funcional
121
uK
1
1
a(u, u) h, ui = min{ a(v, v) h, vi}.
vK 2
2
(3.30)
Demonstrac
ao: Dada H 0 , O Teorema da Representacao de Riesz implica que existe um
u
nico f H tal que
h, vi = (f, v), v H.
Por outro lado, para todo u H fixo, a aplicacao u : H R definida por
hu , vi = a(u, v)
e um funcional linear limitado em H 0 . Aplicando o Teorema da Representacao de Riesz para este
funcional, segue que existe um u
nico Au H tal que
hu , vi = a(u, v) = (Au, v), v H.
Temos que a aplicacao A : H H definida acima e
linear, pela unicidade de Au e pela bilinearidade de a;
e limitada, pois para todo u H temos que
|Au| = ku kH 0 = sup |hu , vi| = sup |a(u, v)|
|v|1
|v|1
122
(3.31)
v K,
a : H H R
(u, v) 7 ((u, v)) = a(u, v)
define um novo produto interno em H, cuja norma associada sera denotada por kuk =
u H. Como existem > 0 e c 0 tais que
|u|2 a(u, u) c|u|2 ,
p
a(u, u),
Analise Funcional
123
vK
vK
1
1
a(u, u) a(g, u) = min{ a(v, v) a(g, v)}
vK
2
2
1
1
a(u, u) h, ui = min{ a(v, v) h, vi},
vK 2
2
mostrando que u se caracteriza por
uK
1
1
a(u, u) h, ui = min{ a(v, v) h, vi},
vK 2
2
completando a prova do teorema.
Corol
ario 3.3 (Lax-Milgran). Sejam H um espaco de Hilbert e a : H H R uma forma
bilinear, contnua e coerciva. Entao, para todo H 0 , existe um u
nico u H tal que
a(u, v) = h, vi,
v H.
uH
1
1
a(u, u) h, ui = min{ a(v, v) h, vi}
vH
2
2
124
Demonstrac
ao: Aplicando o Teorema de Stampachia para K = H, obtemos a existencia de um
u
nico u H tal que
a(u, v u) h, v ui, v H.
Como para todo v H, v + u H e obtemos que
a(u, v) h, vi, v H,
ou seja,
h, vi a(u, v) 0, v H.
Agora, para todo v H, tv H para todo t R. Logo,
t(h, vi a(u, v)) 0, v H e t R.
Da,
h, vi = a(u, v), v H.
Quando a e simetrica a caracterizacao de u H afirmada no lema segue imediatamente da
caracterizacao de u K = H dada no Teorema de Stampachia.
3.6
Nesta secao definiremos o operador Adjunto de Hilbert e mostraremos algumas de suas principais propriedades.
Definic
ao 3.9. Seja T : H1 H2 um operador linear limitado, onde H1 e H2 sao espacos de
Hilbert. Entao o operador adjunto de Hilbert, T , de T e um operador T : H2 H1 tal
que para todo x H1 e y H2 ,
hT x, yi = hx, T yi.
(3.32)
Teorema 3.9. Sejam H1 e H2 espacos de Hilbert. O operador adjunto de Hilbert T : H2 H1
do operador linear limitado T : H1 H2 dado na Definicao 3.9 acima existe, e u
nico e e um
operador linear limitado com norma dada por
kT k = kT k
(3.33)
Demonstrac
ao: A aplicacao h : H2 H1 K definida por
h(y, x) = hy, T xi
(3.34)
Analise Funcional
125
khk = sup
mostrando que
khk = kT k.
O Teorema da Representacao de Riesz implica que existe uma u
nica transformacao linear
limitada T : H2 H1 satisfazendo
h(y, x) = hT y, xi
(3.35)
e
kT k = khk = kT k.
Isso prova (3.33).
Tambem, comparando (3.34) e (3.35) obtemos hy, T xi = hT y, xi, para todo x H1 e y H2 ,
mostrando (3.32).
Seja agora S : H2 H1 um outro operador linear, limitado e satisfazendo (3.32). Assim,
para quaisquer x H1 e y H2 , temos que
hx, Syi = hT x, yi = hx, T yi,
ou seja,
hx, Sy T yi = 0,
para quaisquer x H1 e y H2 , mostrando que Sy T y = 0, para todo y H2 , completando a
prova do teorema.
Lema 3.7. Sejam X e Y espacos com produto interno e Q : X Y um operador linear limitado.
Entao,
(a) Q = 0 se, e somente se, hQx, yi = 0 para todo x X e y Y ;
(b) Se Q : X X, com X complexo, e hQx, xi = 0 para todo x X, entao Q = 0.
126
Demonstrac
ao:
(a) Q = 0 significa Qx = 0 para todo x X e implica, para todo y Y, que
hQx, yi = h0, yi = 0hw, yi = 0.
Reciprocramente, se hQx, yi = 0 para todo x X e y Y, entao Qx = 0 para todo x pelo
Lema 3.6 e, portanto, Q = 0 por definicao.
(b) Por hipotese, hQv, vi = 0 para todo v = x + y X, isto e,
0 = hQ(x + y), x + yi = ||2 hQx, xi + hQy, yi + hQx, yi + hQy, xi.
Os dois primeiros termos sao zero por hipotese. Com = 1 temos
hQx, yi + hQy, xi = 0.
E com = i, temos
hQx, yi hQy, xi = 0.
Somando as duas u
ltimas igualdades obtemos que
hQx, yi = 0,
para todo x X e y Y. Assim, Q = 0 pelo item a deste lema, conclundo a demonstracao.
Na parte (b) desse lema, e essencial que X seja complexo. De fato, a conclusao pode nao ser
Analise Funcional
127
(f ) T T = 0 T = 0;
(g) (ST ) = T S , assumindo que H1 = H2 .
Demonstrac
ao:
(a) De (3.32) temos, para x H1 e y H2 , que
hT y, xi = hx, T yi = hT x, yi = hy, T xi.
128
3.7
Operadores Auto-adjuntos
Uma das classes de operadores lineares de grande importancia pratica podem ser definidas pelo
uso de operadores adjuntos de Hilbert como segue.
Definic
ao 3.10. Um operador linear limitado T : H H em um espaco de Hilbert H e autoadjunto se T = T .
Se T e auto-adjunto, entao (3.32) fica
hT x, yi = hx, T yi,
para todo x, y H. A seguir demonstramos algumas propriedades importantes dos operadores
auto-adjuntos.
Teorema 3.11. Seja T : H H um operador linear limitado em um espaco de Hilbert H.
Entao,
(a) Se T e auto-adjunto,hT x, xi e real para todo x H.
(b) Se H e complexo e hT x, xi e real para todo x H, o operador T e auto-adjunto.
Demonstrac
ao:
(a) Se T e auto-adjunto, entao para todo x H,
hT x, xi = hx, T xi = hT x, xi.
Logo, hT x, xi e igual ao seu conjugado complexo e, portanto, e real.
(b) Se hT x, xi e real para todo x H, entao
hT x, xi = hT x, xi = hx, T xi = hT x, xi.
Analise Funcional
129
Portanto,
0 = hT x, xi hT x, xi = h(T T )x, xi.
E T T = 0 pelo Lema 3.7, pois H e complexo.
Teorema 3.12. O produto de dois operadores lineares limitados auto-adjuntos S e T em um
espaco de Hilbert H e auto-adjunto se, e somente se, os operadores comutam, isto e,
ST = T S.
Demonstrac
ao: Note que (ST ) = ST e tambem (ST ) = T S = T S. Dessas duas igualdades
temos ST = T S.
Reciprocramente, temos por hipotese T S = ST . Note tambem que T S = T S = (ST ) .
Disso temos que ST = (ST ) . Isso completa a prova.
Teorema 3.13. Seja (Tn ) uma sequencia de operadores lineares limitados auto-adjuntos, Tn :
H H, em um espaco de Hilbert H. Suponha que (Tn ) seja convergente, ou seja, exista
T : H H tal que Tn T , isto e,
kTn T k 0,
onde kk e a norma no espaco B(H, H). Entao, o operador limite T e um operador linear limitado
auto-adjunto em H.
Demonstrac
ao: Devemos mostrar que T = T . Isso seguira se mostrarmos que kT T k = 0.
Temos que
kTn T k = kTn T k = k(Tn T ) k = kTn T k = kTn T k.
A desigualdade triangular em B(H, H) implica entao que
0 kT T k 6 kT Tn k + kTn Tn k + kTn T k = kT Tn k + 0 + kTn T k = 2kTn T k 0,
se n . Portanto, kT T k = 0 e T = T .
3.8
Exerccios
p
kxk2 + kyk2 .
Mostre que k kk , k = 1, 2, 3 e uma norma e mostre que estas normas sao equivalentes.
130
n
X
|i |p
1/p
i=1
Mostrar que
1
kxk1 kxk2 kxk1 .
n
3. (Continuidade das operaco
es de espacos vetoriais) Mostrar que em um espaco vetorial
normado X, a adicao de vetores e multiplicacao por escalares sao operacoes contnuas com
respeito a norma, isto e, as aplicacoes definidas por (x, y) 7 x + y e (, x) 7 x sao
contnuas.
4. (Conjunto convexo, segmento) Um subconjunto A X de um espaco vetorial X e dito
convexo se x, y A implica
M = {z X : z = x + (1 )y, 0 1} A.
M e chamado segmento fechado com pontos finais x e y, qualquer outro ponto z M e
chamado um ponto interior de M . Mostrar que a bola unitaria fechada B[0, 1] = {x X :
kxk 1} em um espaco normado X e convexa.
5. Mostre que as expressoes abaixo definem normas nos respectivos espacos vetoriais:
(a) kxk = sup |xn | em l1 (N);
nN
(b) kf k = max{kf k , kf 0 k } em
C 1 [a, b] = {f : [a, b] R K : f e contnua e tem derivada contnua em [a, b]}
(c) kpk =
R1
0
t|p(t)|dt em
Mostre que e uma metrica e que C[a, b] e completo com esta metrica.
Analise Funcional
131
7. Sejam a, b n
umeros reais com a < b e I[a, b] o conjunto das funcoes Riemann integraveis de
[a, b] em R e : I[a, b] I[a, b] [0, ) dada por
Z b
|x(t) y(t)|dt.
(x, y) =
a
Mostre que nao uma metrica em I[a, b] mas e uma metrica em C[a, b] I[a, b] e que C[a, b]
nao e completo com esta metrica.
8. Mostre que (X, ) e completo se e somente se, toda sequencia {B k } de bolas fechadas com
B n+1 B n e lim rn = 0 (rn = raio de B n ), a intersecao
n=1 B n consiste exatamente de
n
um ponto.
9. Seja (X, ) um espaco metrico e A X. Mostre que A e fechado se e somente se A = A.
10. Seja X um espaco metrico, e seja f : X R uma funcao contnua. Entao, dado qualquer
n
umero real r, os conjuntos
{x X : f (x) > r},
{x X : f (x) < r}
{x X : f (x) r},
{x X : f (x) = r}
132
15. Sejam (X, X ) e (Y, Y ) dois espacos metricos. Suponhamos que A X e denso. Sejan
f, g : X Y duas funcoes contnuas tal que, para todo x A, f (x) = g(x). Demonstrar
que f = g, isto e f (x) = g(x), para todo x X.
16. Demonstre que metricas equivalentes definem os mesmo abertos, fechados e compactos, as
mesmas sequencias de Cauchy, e as mesmas funcoes contnuas e uniformemente contnuas.
17. Demonstrar que f (x) = x2 e uniformemente contnua em [0, 1], mas nao e em (0, ).
18. Mostre que : R R [0, ), definida por (x, y) = (x y)2 , nao e uma metrica.
p
19. Seja : X X [0, ) uma metrica. Verifique que (x, y) =
(x, y), (x, y) =
(x, y)
e (x, y) = min{1, (x, y)} sao metricas em X.
1 + (x, y)
20. Em todo espaco metrico X, tem-se
B[a, r] =
B(a, s) =
e
\
r>0
B(a, r +
n=1
s>r
{a} =
B(a, r) =
1
)
n
1
B(a, ).
n
n=1
Analise Funcional
133
X
1
(I T ) =
T n.
n=0
Z
f (t)g(t)dt +
f 0 (t)g 0 (t)dt
Captulo 4
Os Teoremas de Hahn-Banach
4.1
Analise Funcional
135
f (x) = g(x), x G.
136
Demonstrac
ao: Considere o conjunto
P := {h : D(h) E R : h e linear, D(h) G, h(x) p(x), x D(h) e h(x) = g(x), x G}.
Definamos em P a seguinte relacao:
h1 h2 D(h1 ) D(h2 ), h2 (x) = h1 (x), x D(h1 ).
Temos
e uma relacao de ordem em P ;
P 6= , pois g P ;
P e indutivo. De fato, seja Q := {hi ; i I} um subconjunto totalmente ordenado de P.
Definindo h : D(h) E R por
D(h) = iI D(hi )
h(x) = hi (x), x D(hi ).
Temos que h esta bem definida, pois se x D(hi ) D(hj ), como Q e totalmente ordenado,
entao, sem perda da generalidade, podemos supor que D(hi ) D(hj ) e hj (x) = hi (x), para
x D(hi ), mostrando que h e unicamente determinada. Ainda mais, h P, pois D(h) G,
se x D(h), entao existe i I tal que x D(hi ) e h(x) = hi (x) p(x) e se x G, entao
g(x) = hi (x) = h(x), pois x D(h). Tambem, h e um majorante de Q, pois D(hi ) D(h)
para todo i I e para todo x D(hi ), h(x) = hi (x), mostrando que hi h, para todo
i I. Mostrando que o conjunto P e indutivo.
Assim, o Lema de Zorn implica que P tem um elemento maximal, isto e, existe f P tal que
f : D(f ) E R linear, G D(f ), f (x) = g(x), para x G e f (x) p(x), para
x D(f );
se f h, para todo h P, entao h = f.
Vamos mostrar que D(f ) = E. De fato, suponhamos, por absurdo, que D(f )
existe x0 E tal que x0 6 D(f ). Definamos h : D(h) E R por
D(h) = D(f ) [x0 ] := {y E; y = x + tx0 , x D(f ) e t R}.
e
h(x + tx0 ) = f (x) + t,
com a ser determinado. Temos que
E. Logo,
Analise Funcional
137
h e linear;
se x G, entao x = x + 0, pois G D(f ) e, portanto, h(x) = f (x) = g(x), para todo
x G.
Devemos ter, para x D(f ) e t R, que
h(x + tx0 ) p(x + tx0 ),
ou seja,
f (x) + t p(x + tx0 ),
(4.1)
(4.2)
xD(f )
xD(f )
Logo,
sup {f (x) p(x x0 )} inf {p(x + x0 ) f (x)}.
xD(f )
xD(f )
Portanto, existe R tal que (4.2) e valida, ou seja (4.1) esta satisfeita para t = 1. Para este
mesmo , mostremos que (4.1) e valida para todo t R. Para todo t > 0 e x D(f ) temos
x
x
x
f (x) + t = f (t ) + t = t[f ( ) + ] tp( + x0 ) = p(x + tx0 ).
t
t
t
Para todo t < 0 e todo x D(f ), fazendo s = t > 0, temos
f (x) + t = f (s
x
x
x
) s = s[f ( ) ] sp( x0 ) = p(x + tx0 ).
s
s
s
138
Definic
ao 4.3. Seja E um espaco vetorial sobre K, K = C ou K = R. Uma aplicacao p : E R
e uma seminorma se as seguintes condicoes estao satisfeitas:
1. p : E [0, +);
2. p(x) = ||p(x), para K e x E;
3. p(x + y) p(x) + p(y), para todo x, y E.
Quando p(x) 6= 0 para x 6= 0 a seminorma e uma norma.
Teorema 4.2 (Forma Analtica do Teorema de Hahn-Banach - Caso Complexo). Sejam X um
espaco vetorial complexo, p uma seminorma em X, G um subespaco vetorial de X e f : G C
uma aplicacao linear tal que |f (x)| p(x), para todo x G. Entao, existe F : X C um
funcional linear tal que
|F (x)| p(x), x G
F (x) = f (x), x G.
Demonstrac
ao: Exerccio 4.1.
Corol
ario 4.1. Sejam E um espaco vetorial real, p : E R uma seminorma em E, G um
subespaco vetorial de E e g : G R uma transformacao linear tal que
|g(x)| p(x),
para todo x G. Entao existe f : E R tal que
|f (x)| p(x), x E
f (x) = g(x), x G.
Demonstrac
ao: Segue imediatamente da Forma Analtica do Teorema de Hahn-Banach.
Corol
ario 4.2. Sejam E um espaco vetorial normado real, G um subespaco vetorial de E e
g : G R uma transformacao linear limitada. entao existe f E 0 tal que
f (x) = g(x), x G
kf kE 0 = kgkG0 .
Analise Funcional
139
Demonstrac
ao: Defina p : E R por p(x) = kgkG0 kxkE . Entao, p e uma seminorma em E e
para todo x E,
|g(x)| kgkG0 kxkE ,
e o resultado segue do Corolario 4.1.
Quando f E 0 e x E, usaremos a notacao f (x) = hf, xi para indicar f calculada no
elemento x.
Corol
ario 4.3. Sejam E um espaco vetorial normado real e x0 E. Entao existe f0 E 0 tal que
e hf0 , x0 i = kx0 k2E .
kf0 kE 0 = kx0 kE
Demonstrac
ao: Se x0 = 0, basta tomar f 0. Suponhamos entao que x0 6= 0 e consideremos
G = [x0 ]. Defina g : G R por g(tx0 ) = tkx0 k2E . Entao,
g e linear;
kgkG0 = kx0 kE . De fato temos
kgkG0 = sup |g(x)| =
sup
kxkG 1
|t|kx0 kE 1
x0
,
kx0 kE
temos kykG = 1 e
|g(y)| = |
1
kx0 k2E | = kx0 kE ,
kx0 kE
4.2
Formas Geom
etricas do Teorema de Hahn-Banach
140
Observemos que como f 6 0, entao H 6= E e H 6= . Notemos tambem que f nao e necessariamente contnuo.
Definic
ao 4.5. Un subconjunto C E e convexo se para todo x, y C, tx + (1 t)y C, para
todo t [0, 1].
Exerccio 4.1. Sejam A e B subconjuntos abertos, convexos, nao vazios e disjuntos de E. Mostre
que A + B = {x + y; x A e y B} e nao vazio e convexo.
Exerccio 4.2. Sejam A e B subconjunto abertos, convexos, nao vazios e disjuntos em E. Mostre
que A + B = {x + y; x A e y B} e um subconjunto aberto, convexo e nao vazio de E.
Proposic
ao 4.2. O hiperplano de equacao [f = ] e fechado se, e somente se, f e contnuo
(limitado).
Demonstrac
ao:
() Como H = f 1 ({}), {} e fechado em R e f e contnuo, entao H = [f = ] e
fechado.
() Como H e fechado, entao H c := {x E; f (x) 6= } e aberto e nao vazio, ja que
H 6= E. Seja x0 H c e suponha, sem perda da generalidade, que f (x0 ) < . Como H c e aberto,
existe r > 0 tal que BE (x0 , r) H c . Mostremos que f (x) < , para todo x BE (x0 , r). De fato,
suponhamos, por absurdo, que exista x1 BE (x0 , r) tal que f (x1 ) > (note que f (x1 ) 6= ).
Como BE (x0 , r) e convexa, entao
tx0 + (1 t)x1 BE (x0 , r),
Tomando t =
t [0, 1].
f (x1 )
(0, 1), ja que f e linear, temos que
f (x1 ) f (x0 )
f (tx0 + (1 t)x1 ) = (
f (x1 )
f (x0 )
)f (x0 ) + (
)f (x1 ) = ,
f (x1 ) f (x0 )
f (x1 ) f (x0 )
isto e, tx0 + (1 t) 6 BE (x0 , r), o que e uma constradicao, mostrando que f (x) < , para todo
x BE (x0 , r).
Agora, seja r > r1 > 0 tal que
BE (x0 , r1 ) BE (x0 , r).
Entao,
x BE (x0 , r1 ) x = x0 + r1 z, z BE (0, 1).
Assim, para todo z BE (0, 1) temos que
f (x) = f (x = x0 + r1 z) < ,
Analise Funcional
141
ou seja,
f (x0 ) + r1 f (z) < , z BE (0, 1),
ou ainda,
f (z) <
f (x0 )
, z BE (0, 1).
r1
Logo, f e limitada e
kf kE 0
1
( f (x0 )),
r1
(4.3)
1
2kxkE
r
x=
r 1
x BE (0, r) C.
2 kxkE
142
2kxkE
{ > 0; 1 C} e, portanto, p esta bem definido e a definicao de p implica que
r
2
2
p(x) < kxkE . Tomando M = , obtemos a segunda desigualdade em (4.3).
r
r
Mostremos agora que x C se, e somente se, p(x) < 1. De fato, se 0 6= x0 C, existe > 0
tal que
1
(1 + )x0 = 1 x0 C,
Logo,
1+
x0 = (1 x0 ) + (1 )0 C,
ja que C e convexo.
Finalmente, mostremos que p e sublinear. Para todo x E e todo > 0 temos que
x
p(x) = inf{ > 0; (1 )x C} = inf{ > 0; C}
= p(x).
Quando = 0, temos que p(0x) = p(0) = 0 = 0x.
Tambem, para x e y em E, dado > 0, pelos casos anteriores, temos que
p(
Logo,
x
p(x)
)=
< 1.
p(x) +
p(x) +
1
1
x C. Da mesma forma,
y C. Entao, a convexidade de C implica que
p(x) +
p(y) +
t
x
y
+ (1 t)
C,
p(x) +
p(y) +
p(x) +
< 1, obtemos que
p(x) + p(y) + 2
x
y
x+y
+
=
C.
p(x) + p(y) + 2 p(x) + p(y) + 2
p(x) + p(y) + 2
Logo,
p(
x+y
)<1
p(x) + p(y) + 2
e, portanto,
p(x + y) < p(x) + p(y) + 2.
Fazendo 0, conclumos a prova deste resultado.
Analise Funcional
143
Lema 4.3. Sejam C E um conjunto convexo, aberto e nao vazio e x0 E\C. Entao, existe
f E 0 tal que f (x) < f (x0 ), para todo x C, ou seja, o hiperplano fechado de equacao [f = f (x0 )]
separa C e {x0 } no sentido fraco.
Demonstrac
ao: Suponhamos inicialmente que 0 C. Seja p : E R o funcional de Minkowski
associado ao conjunto convexo C. Considere G = [x0 ] = {tx0 ; t R} e defina o funcional linear
g : G R por g(tx0 ) = t, para todo t R. Entao
g(x) p(x),
para todo x G. De fato, temos g(x0 ) = 1 e p(x0 ) 1, pois x0 6 C. Tambem, para x = tx0 , se
t > 0, entao
g(tx0 ) = t tp(x0 ) = p(tx0 ).
Se t 0, entao
g(tx0 ) = t 0 p(tx0 ).
Assim, em qualquer caso, g(x) p(x), para x G.
Dessa forma, o Teorema 4.1 implica que existe um funcional linear f : E R tal que
f (x) p(x), x E e f (x) = g(x), x G.
Mas, para todo x E,
f (x) p(x) M kxkE ,
mostrando que f E 0 . Ainda mais, f (x0 ) = g(x0 ) = 1 e para todo x C, f (x) p(x) < 1 =
f (x0 ), completando a prova do lema neste caso.
Agora, se 0 6 C, considerando C1 = C {x1 } = {x x1 ; x C}, onde x1 C, ja que C 6= ,
e x0 = x0 x1 . Temos que 0 C1 e a primeira parte implica que existe f E 0 tal que para todo
x C1 , f (x) < f (x0 ). Logo, para todo x C, f (x x1 ) < f (x0 x1 ) e, portanto, f (x) < f (x0 ),
para todo x C.
Demonstrac
ao do Teorema 4.3: Defina
A B = {x y; x A e y B}.
O Exerccio 4.1 implica que C e convexo e nao vazio. Como C = yB (A {y}) e cada A {y} e
aberto, entao C tambem e um subconjunto aberto de E. Ainda, como A e B sao disjuntos, temos
que 0 6 C. Logo, o Lema 4.3 garante que existe f E 0 tal que f (z) < f (0) = 0, para todo z C.
Logo, f (a) < f (b), para todo a A e todo b B. Assim, podemos escolher R tal que
sup f (a) inf f (b),
aA
bB
e obtemos que
f (a) f (b),
para todo a A e todo b B.
144
Teorema 4.4 (Teorema de Hahn-Banach - Segunda Forma Geometrica). Sejam A e B subconjuntos nao vazios, disjuntos e convexos de E. Suponha que A e compacto e B e fechado. Ent
ao,
existe um hiperplano fechado que separa A e B no sentido forte.
Demonstrac
ao: Dado > 0, consideremos os conjuntos
A = A + BE (0, ) = A + BE (0, 1)
Entao, o Exerccio 4.2 implica que A e B sao subconjuntos convexos, abertos e nao vazios de E.
dist (A, B)
Tambem, A B = , para algum 0 < < 0 :=
. De fato, se, por absurdo, A B 6= ,
2
para todo < 0 , entao existem seq
uencias (n )n1 (0, 0 ) e (zn )n1 An Bn , com n 0,
quando n . Da,
an + n xn = zn = bn + n yn ,
onde an A, bn B e xn , yn BE (0, 1). Entao,
kan bn k = kn xn n yn k n (kxn k + kyn k) < 2n 0,
quando n . Como A e compacto, existem (anj )nj 1 (an )n1 e a A tais que anj a em
E. Assim,
ka bnj k ka anj k + kanj bnj k 0,
quando nj . Como B e fechado, conclumos que a AB, o que e uma contradicao. Portanto
A B = para algum > 0, suficientemente pequeno.
O Teorema 4.3 implica que existe um hiperplano fechado de equacao [f = ] que separa A e
B no sentido fraco. Temos
f (x + z1 ) f (y + z2 ),
para todo x A, y B e z1 , z2 BE (0, 1). Fixando z1 tomando o supremo em BE (0, 1) e depois
tomando o nfimo tambem em BE (0, 1), obtemos que
sup (f (x) + f (z)) inf (f (y) + f (z)),
kzk<1
kzk<1
para x A e y B. Logo,
f (x)+kf kE 0 f (y)+ inf f (z) = f (y) sup f (z) = f (y) sup f (z) = f (y)kf kE 0 ,
kzk<1
kzk<1
kzk<1
Analise Funcional
145
Demonstrac
ao: Se x0 E\F , entao {x0 } e compacto e como F e fechado, existem f E 0 e
R tais que
f (x) < < f (x0 ),
para todo x F . Como F e subespaco vetorial de E, entao f (x) = 0, para todo x F.
Obervac
ao 4.1. Nas aplicacoes, usamos o Corolario 4.4 para verificarmos quando um subespaco
ao:
vetorial F de E e denso em E (F = E). Para isso, precisamos verificar a seguinte afirmac
f E 0 ; hf, xi = 0, x F f 0.
Captulo 5
Consequencias do Teorema da Categoria
de Baire.
5.1
Nesta secao demonstraremos o Lema de Baire. Para isso, precisamos antes do seguinte resultado
topologico.
Exerccio 5.1. Seja X um espaco metrico e S um subconjunto de X. Mostre que
(S)c = int(S c ),
onde Y c := X\Y, denota o complementar, em X, de um subconjunto Y de X e int(Y ) denota o
interior, em X, de um subconjunto Y de X.
Lema 5.1 (Lema de Baire). Sejam X um espaco metrico completo e (Xn )nN uma seq
uencia de
subconjuntos fechados de X. Se int(Xn ) = para cada n N, entao
int(
n=1 Xn ) = .
Demonstrac
ao: Para cada n 1, sejam On = X \ Xn . Como para cada n N, Xn e fechado e
tem interior vazio, entao On e fechado e denso em X. Devemos mostrar que
G =
n=1 On
e denso em X, pois se isso acontecer, entao
c
c
c
int(
n=1 Xn ) = int(n=1 On ) = int((n=1 On ) ) = (n=1 On ) = (G) = ,
onde na pen
ultima igualdade foi usado o Exerccio 5.1.
Analise Funcional
147
r1
.
2
rn1
.
2
Dessa forma, (xn ) e uma seq
uencia de Cauchy em X e a completicidade de X implica que
existe l X tal que xn l. Mas, para todo p 0 e n 0, xn+p B(xn , rn ). Fazendo p
obtemos que l B(xn , rn ), para todo n 0. Assim, l On , para todo n N, ou seja l G W.
Portanto, W G 6= , completando a prova do lema.
B(xn , rn ) On B(xn1 , rn1 ), com 0 < rn <
Corol
ario 5.1. Sejam X um espaco metrico completo e (Xn )nN uma seq
uencia de subconjuntos
5.2
O Teorema de Banach-Steinhaus
Teorema 5.1. Sejam E e F espaco normados e (Ti )iI uma famlia de operadores lineares limitados de E em F . Suponhamos que E seja uma espaco de Banach e que
sup kTi (x)kF < ,
iI
(5.1)
148
[
Xn = E.
n=1
Agora, usando o Lema de Baire, temos que Int(Xn0 ) 6= , para algum n0 1. Seja x0 E e
r > 0 tais que B(x0 , r) Xn0 . Entao
kTi (x0 + rz)k n0 ,
para todo i I e todo z B(0, 1). Assim,
k Ti (x0 )k + kTi (x0 ) + rTI (z)k n0 + kTi (x0 )k
k Ti (x0 ) + Ti (x0 ) + rTi (z)k n0 + kTi (x0 )k
rkTi (z)k n0 + kTi (x0 )k
r sup kTi (z)k n0 + kTi (x0 )k
kzk1
Corol
ario 5.2. Sejam E e F dois espacos de Banach e (Tn )nN uma seq
uencia de operadores
lineares limitadas de E em F tais que para todo x em E, Tn (x) e convergente. Se T (x) = lim Tn x,
entao
(i) supnN kTn kL(E,F ) < ;
(ii) T L(E, F );
Analise Funcional
149
Demonstrac
ao: Observemos que para cada x E, a seq
uencia (Tn x) e limitada em F. Logo,
sup kTn xk < +,
nN
(5.2)
Corol
ario 5.3. Sejam G um espaco de Banach e B G. Suponhamos que para todo f G o
conjunto f (B) = {hf, xi; x B} e limitado em R. Entao B e limitado.
Demonstrac
ao: Para cada b B definimos
0
Tb (f ) = hf, bi, f G .
Desta forma temos que
sup |Tb (f )| < ,
bB
0
para todo f G . Pelo Teorema 5.1, com E = G0 , F = R e I = B, existe c > 0 tal que
|Tb (f )| = |hf, bi| ckf k,
150
5.3
O Teorema da Aplica
c
ao Aberta
Definic
ao 5.1. Sejam E e F espacos vetoriais normados. Dizemos que uma transformacao linear
T : E F e aberta se para todo subconjunto aberto U E, tivermos que T (U ) e um subconjunto
aberto de F.
Teorema 5.2. Sejam E e F dois espacos de Banach e T : E F um operador linear, limitada
e sobrejetora. Entao existe r > 0
BF (0, r) T (BE (0, 1)).
(5.3)
Demonstrac
ao: Dividiremos a prova em duas etapas.
Primeira Etapa: Vamos mostrar que existe r > 0 tal que
BF (0, 2r) T (BE (0, 1)).
(5.4)
Para mostrarmos este fato, notemos que BE (0, n) = nBE (0, 1), para todo n N. Logo, para
n > kxk, x nBE (0, 1), para todo x E. Da,
E =
n=1 nBE (0, 1).
Como T e sobrejetora e linear, entao
F = T (E) = T (
n=1 nBE (0, 1)) = n=1 nT (BE (0, 1)) = n=1 nT (BE (0, 1)).
Analise Funcional
151
1
r
e ky T (x1 )k < .
2
4
Aplicando o mesmo raciocnio para y T (x1 ) e = 4r , obtemos que existe x2 E tal que
kx2 k <
1
r
e ky T (x1 ) T (x2 )k < .
4
8
r
1
e ky T (x1 + . . . + xn )k < n+1 ,
n
2
2
para todo n N.
Assim a seq
uencia (zn )nN , onde zn = x1 + . . . + xn e uma seq
uencia de Cauchy em E. Como
E e um espaco de Banach, temos que existe x E tal que
zn x, n .
Assim, kxk < 1 e como T e contnua temos que T zn T x. Mas, T (zn ) y e a unicidade do
limite implica que y = T (x). Logo y B(0, r) e y = T (x) para x B(0, 1), isto implica que (5.3).
Corol
ario 5.4 (Teorema da Aplicacao Aberta). Sejam E e F espacos de Banach e T : E F
uma transformacao linear, limitada e sobrejetora. Entao T e uma aplicacao aberta.
Demonstrac
ao: Seja U E um subconjunto aberto de E e y0 T (U ). Entao, existe x0 U tal
que y0 = T x0 e existe > 0 tal que
BE (x0 , ) = x0 + BE (0, ) U.
Assim,
T (x0 ) + T (BE (0, )) T (U ).
(5.5)
152
(5.6)
r1
y BF (0, r1 ),
kyk
r1
y BF (0, r1 ) BF (0, r) T (BE (0, 1)).
kyk
kyk
u) = y = T x
r1
kyk
u.
r1
Da,
kyk
kyk
1
kuk <
= kT xk,
r1
r1
r1
isto e,
kxk <
1
kT xk,
r1
mostrando que
kT 1 yk <
1
kyk,
r1
para todo y F.
Corol
ario 5.6. Suponhamos que um espaco vetorial real E dotado de cada uma das normas k . k1
e k . k2 seja um espaco de Banach. Se existir c > 0 tal que
kxk2 ckxk1 ,
para todo x E, entao as normas k . k1 e k . k2 sao equivalentes.
Analise Funcional
153
Demonstrac
ao: Por hipotese a aplicacao identidade Id : (E, k . k1 ) (E, k . k2 ) e uma aplicacao
linear, contnua e bijetora. Logo, o Corolario 5.5 implica que
Id : (E, k . k2 ) (E, k . k1 )
tambem e contnua, provando que a norma k . k1 e equivalente a` norma k . k2 .
5.4
O Teorema do Gr
afico Fechado
Nesta secao vamos trabalhar com operadores definidos em subespacos de um espaco de Banach
E que nao sao limitados. Primeiro observemos que se E e F sao dois espacos de Banach, entao
E F munido das operacoes usuais e um espaco de Banach com a norma
k(u, v)kEF = kukE + kvkF ,
para (u, v) E F.
Definic
ao 5.2. Sejam E e F espacos normados reais. Definimos o grafico de uma transformac
ao
linear T : D(T ) E F como sendo o conjunto
G(T ) = {(x, y) E F ; x D(T ) e y = T x}.
Dizemos que G(T ) e fechado em E F se
G(T )
EF
= G(T ).
Lema 5.2. Mostre que G(T ) e fechado se, e somente se, a seguinte propriedade esta satisfeita:
se (xn ) D(T ) e tal que xn x e T xn y, quando n , entao x D(T ) e T x = y.
Demonstrac
ao: Suponhamos inicialmente que G(T ) seja fechado em E F, isto e G(T ) = G(T ).
Seja (xn ) D(T ) uma sequencia em D(T ) tal que
xn x e T xn y.
Assim, a sequencia (zn ) definida por zn = (xn , T xn ), para n N, e uma sequencia no grafico G(T )
de T , (zn ) G(T ), e
zn (x, y),
ou seja, (x, y) G(T ). Como G(T ) e fechado em E F, obtemos que (x, y) G(T ), ou seja,
x D(T ) e T (x) = y.
Por outro lado, seja (x, y) G(T ). Entao, existe (xn ) D(T ) uma sequencia no domnio de
T tal que
xn x e T (xn ) y.
Por hipotese obtemos que x D(T ) e T (x) = y, isto e, (x, y) G(T ), mostrando que G(T ) e
fechado em E F.
154
x D(T ),
x D(T ).
Como D(T ) e fechado em (E, k kE ) que e um espaco de Banach, entao (D(T ), k k2 ) e um espaco
de Banach. Mostremos agora que (D(T ), k k1 ) tambem e um espaco de Banach. Para vermos
isso, seja (xn ) D(T ) um seq
uencia de Cauchy em (D(T ), k k1 ). Temos
0 kxm xn k2 kxm xn k1 0,
quando m, n , mostrando que (xn ) e uma seq
uencia de Cauchy em (D(T ), k k2 ). Tambem,
0 kT xm T xn kF kxm xn kE + kT (xm xn )kF = kxm xn k1 0,
quando m, n , mostrando que (T xn ) e uma seq
uencia de Cauchy em (F, k kF ). Portanto,
existem x D(T ) e y F tais que quando n ,
xn x em (D(T ), k kE )
e
T xn y em (F, k kF ).
Como T e uma transformacao linear fechada, conclumos que y = T x. Assim,
0 kxn xk1 = kxn xkE + kT xn T xkF 0,
Analise Funcional
155
Refer
encias Bibliogr
aficas
[1] Bachman, G. e Narici, L. Fucntional Analysis. Academic Press, 1966.
[2] Br
ezis, H. Analisis Functional, Teoria y Aplicaciones. Alianza Editorial, 1983.
[3] Conway, J. B., A Course in Functional Analysis. Springer Verlag, 1985.
[4] H
onig, C. S., Analise Funcional e Aplicacoes, Volume 6. Publicacoes do Instituto de Matematica e Estatstica da Universidade de Sao Paulo, 1970.
[5] Kreyszig, E., Introductory Functional Analysis with Applications, Primeira Edicao. John
Wiley & Sons, New York, 1989.
[6] Lima, E. L., Curso de Analise, Vol. 2, Terceira Edicao, Projeto Euclides, IMPA, Rio de
Janeiro, 1981.
[7] Lima, E. L., Espacos Metricos, Terceira Edicao, Projeto Euclides, IMPA, Rio de Janeiro,
1977.
[8] Munkres, J. R., Topology. A First Course, Prentice-Hall, New Jersey, 1975.
[9] Nachbin, L., Introducao a Analise Funcional, Espacos de Banach e Calculo Diferencial,
Universidade de Braslia, Braslia, 1969.
[10] Rudin, W., Functional Analysis. McGraw Hill, 1991.
[11] Simmons, G. F., Introduction to Topology and Modern Analysis. McGraw Hill, 1963.
[12] Yosida, K., Functional Analysis. Springer Verlag, 1974.