Académique Documents
Professionnel Documents
Culture Documents
Programacao ii
0.1 Aulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
0.2 Avaliacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
0.3 Programa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
0.4 Bibliografia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
1 Espacos Metricos 1
1.1 Definicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Conjuntos Abertos, Fechados e Vizinhancas . . . . . . . . . . . . . . . . . . . . . 7
1.3 Sequencias Convergentes, de Cauchy e Completicidade . . . . . . . . . . . . . . . 14
1.4 Espacos Metricos Completos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5 Completamento de Espacos Metricos . . . . . . . . . . . . . . . . . . . . . . . . . 27
2 Espacos Normados 33
2.1 Definicao e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2 A Topologia dos Espacos Normados . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.3 Convergencia de Sequencias e Espacos de Banach . . . . . . . . . . . . . . . . . . 52
2.4 Compacidade e Dimensao Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.5 Operadores Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.6 Operadores Lineares Contnuos e Limitados . . . . . . . . . . . . . . . . . . . . . 78
2.7 Funcionais Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
2.8 Operadores e Funcionais Lineares Limitados em Espacos Vetoriais de Dimensao
Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
2.9 Operadores em Espacos Normados e O Espaco Dual . . . . . . . . . . . . . . . . . 93
0.1 Aulas
O horario das aulas sera:
Dezembro: 1, 3, 7 3
Total 32.
0.2 Avaliacoes
1a Avaliacao: 29/09/2015.
2a Avaliacao: 07/12/2015.
0.3 Programa
1. Espacos Metricos;
2. Espacos Normados;
0.4 Bibliografia
1 G. Bachman e L. Narici, Functional Analysis, Academic Press, 1966.
5 E. Kreyszig, Introductory Functional Analysis with Applications, Editora John Willey & Sons,
Nova York, 1978.
6 E. L. Lima, Espacos Metricos, Terceira Edicao, Projeto Euclides, IMPA, Rio de Janeiro, 1977..
Espacos Metricos
1.1 Definicao
No Calculo estudamos funcoes definidas na reta real R, onde a distancia, d, em R e definida
por
d(x, y) =| x y |,
Definicao 1.1. Um Espaco Metrico e um par (X, d), onde X e um conjunto e d e uma metrica
em X, ou seja, d e uma funcao real definida em X X,
d : X X R,
(M1) d(x, y) e um valor real finito e nao negativo, isto e, 0 6 d(x, y) < , para quaisquer x, y X;
De fato: Temos
x 6 |x| e y 6 |y| = x + y 6 |x| + |y|.
Tambem
x 6 |x| e y 6 |y| = x + y > (|x| + |y|).
Logo,
(|x| + |y|) 6 x + y 6 |x| + |y|,
provando a desigualdade triangular. Agora, para quaisquer x, y, z R temos que
Exemplo 1.2. Considere R2 o conjunto de todos os pares ordenados de numeros reais e definamos
em R2 a metrica Euclideana por
p
d(x, y) = (1 1 )2 + (2 2 )2 ,
d1 (x, y) =| 1 1 | + | 2 2 |,
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
numeros reais x = (1 , 2 , 3 ), y = (1 , 2 , 3 ), . . . , e da metrica Euclidiana definida por
p
d(x, y) = (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 numeros reais x = (1 , . . . , n ), y = (1 , . . . , n ), etc., e a metrica Euclideana definida por
p
d(x, y) = (1 1 )2 + . . . + (n n )2 .
d(x, y) =| x y |, x, y C.
Logo, o discriminante da equacao do segundo grau acima deve ser menor ou igual a
zero, isto e,
v v
Xn n
X n
X n
X
u n u n
2 2 2
uX uX
4( i i ) 4 (i ) (i ) 0 | i i | t (i )2 + t (i )2 = |x||y|.
i=1 i=1 i=1 i=1 i=1 i=1
Notemos que a igualdade ocorre se, e somente se, existe 0 R tal que |0 xy| = 0,
ou seja, se, e somente se, y = 0 x, isto e, se, e somente se, x e y sao linearmente
dependente.
4 Marcos Roberto Teixeira Primo
|x + y| 6 |x| + |y|,
para quaisquer x, y Rn .
Finalmente, para quaisquer x, y, z Rn temos que
Exemplo 1.5. Seja l o conjunto formado por todas as sequencias limitadas de numeros com-
plexos, isto e,
| xi | cx para todo i N
| xi yi |=| xi zi + zi yi || xi zi | + | zi yi |,
| xi zi | sup | xi zi |
iN
e
| zi yi | sup | zi yi |,
iN
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,
X 1 | xi xi | X 1 X
d(x, x) = i 1+ | x x |
= i
.0 = 0 = 0.
i=1
2 i i i=1
2 i=1
Da,
d(x, x) = 0.
6 Marcos Roberto Teixeira Primo
xi yi 6= 0 | xi yi | > 0
1+ | xi yi | > 0
| xi yi |
> 0,
1+ | xi yi |
para algum i N. Portanto,
X 1 | xi y i |
> 0,
i=1
2i 1+ | xi yi |
para algum i N. Da,
d(x, y) > 0,
provando os itens (M1) e (M2).
Para provarmos o item (M3), como xi yi = (yi xi ) para todo i N, entao
Portanto,
d(x, y) = d(y, x).
Para mostramos que (M4) e satisfeita vamos utilizar a funcao auxiliar
t
f (t) = ,
1+t
definida para todo t > 0. Temos
0 1
f (t) = ,
(1 + t)2
para todo t > 0 e como
| a + b |6| a | + | b |,
entao
f (| a + b |) 6 f (| a | + | b |).
Logo,
|a+b| |a|+|b| |a| |b| |a| |b|
6 = + 6 + .
1+ | a + b | 1+ | a | + | b | 1+ | a | + | b | 1+ | a | + | b | 1+ | a | 1+ | b |
Topicos em Analise Funcional 7
| xi zi | | xi yi | | yi zi |
6 + ,
1+ | xi zi | 1+ | xi yi | 1+ | yi zi |
1
para todo i N. Como 2i
> 0 segue que
X 1 | xi zi | X 1 | xi y i | X 1 | yi zi |
i
6 + .
i=1
2 1+ | xi zi | i=1
2 1+ | xi yi | i=1 2i 1+ | yi zi |
i
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.
Definicao 1.2. Dados um ponto x0 X e um numero real r > 0, definimos os seguintes conjuntos:
(c) Esfera
S(x0 ; r) = {x X, d(x, x0 ) = r}
Definicao 1.3. Um subconjunto M X do espaco metrico X e aberto se ele contem uma bola
com centrada em cada um de seus pontos. Um subconjunto F X do espaco metrico X e fechado
se seu complementar (em X) e aberto em X, isto e, F c = X F e aberto.
Demonstracao:
(i) Sejam x0 X, > 0 e consideremos B(x0 ; ) a bola aberta em X. Para todo x B(x0 ; ),
temos que d(x0 , x) < e, portanto,
s = d(x0 , x) > 0
(ii) Dados x0 X e > 0, seja B(x0 ; ) a bola fechada em X, vamos mostrar que
e aberto em X.
Topicos em Analise Funcional 9
De fato, seja p B(x0 ; )c , isto e, d(x0 , p) > . Tomemos s > 0 definido por
s = d(x0 , p) > 0.
B(x0 ; ) B(p; s) = .
Da
c
B(p; s) B (x0 ; ),
c
mostrando que B (x0 ; ) e aberto em X.
Definicao 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 um
subconjunto qualquer de X que contenha uma vizinhanca de x0 .
Observemos que
Definicao 1.5. Seja 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(x0 ; ) M .
Chamamos de interior de M , o conjunto de todos os pontos interiores de M e denotaremos
por int(M ) ou M 0 .
Observemos que
int(M ) M ;
int(M ) e aberto em X;
(T1) J e X J;
Vamos verificar esses fatos. Para mostrarmos (T1), precisamos mostrar que e um subcon-
junto 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 conclumos que e aberto.
Agora, mostraremos que X J. De fato, temos por definicao que
U := M ,
x M0 .
Sabemos que M0 contem B(x; ), para algum > 0, pois M0 e aberto em X. Entao
B(x; ) U,
Definicao 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
T (BX (x0 ; )) BY (T x0 ; ).
Aplicacoes contnuas podem ser caracterizadas em termos de conjuntos abertos como segue:
Topicos em Analise Funcional 11
Teorema 1.1. Sejam X = (X, d) e Y = (Y, d) dois espacos metricos e T : X Y uma aplicacao
dada. Entao T e contnua se, e somente se, a imagem inversa de qualquer subconjunto aberto de
Y e um subconjunto aberto de X.
Demonstracao: Suponha que T seja uma aplicacao contnua. Seja S Y aberto e S0 = T 1 (S).
Se S0 = , ja provamos que S0 e aberto em X. Se S0 6= , entao seja x0 S0 um ponto qualquer
em S0 . Logo, existe y0 S tal que T x0 = y0 . Desde que S e aberto em Y, existe > 0 tal que
B(y0 , ) S e, como T e contnua, 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 em X.
B(x0 ; ) (M {x0 }) 6= .
o conjunto
M = M M0
e chamado de fecho de M no espaco metrico X;
12 Marcos Roberto Teixeira Primo
M 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.
M = X.
O espaco metrico X sera chamado de espaco metrico separavel se ele possui um subconjunto
enumeravel que e denso em X.
B(x0 ; r) M 6= ou B(x0 ; r) M 6= ,
Vx M 6= ,
De fato: O conjunto
M = {a + bi; a, b Q}
e enumeravel e e denso em C.
Topicos em Analise Funcional 13
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 unico subconjunto denso em X e o proprio X e o exemplo segue deste fato.
De fato: Seja
y = (1 , 2 , . . .); i = 0 ou i = 1, i N.
Entao,
y l .
Associamos a cada y um numero real y cuja representacao binaria e dada por
1 2 3
y = + + + ....
21 22 23
Temos
Portanto, existe um numero nao enumeravel de elementos de l cujos elementos sao zeros e uns.
Ainda mais, se
y1 = (1 , 2 , . . .) e y2 = (1 , 2 , . . .)
sao tais que
i = 0 ou i = 1 e i = 0 ou i = 1, i N,
com
y1 6= y2 ,
entao
d(y1 , y2 ) = 1.
14 Marcos Roberto Teixeira Primo
Seja
L = {y l ; y = (1 , 2 , . . .), com i = 0 ou i = 1, i N}
e, para cada y L, consideremos
1 1
B(y; ) = {z l ; d(z, y) < }.
3 3
Assim, obtemos que
1 1
B(y1 ; ) B(y2 ; ) = ,
3 3
para quaisquer y1 , y2 L, com y1 6= y2 . Se M l e um subconjunto denso em l , entao devemos
ter
1
M B(y; ) 6= ,
3
para cada y L e, portanto, M nao pode ser enumeravel.
Logo, l nao possui subconjuntos enumeraveis e densos nele mesmo, mostrando que l nao
e separavel, completando o exemplo.
lim xn = x, ou xn x.
n
Diremos que (xn ) converge para x ou tem limite x. Se (xn ) nao e convergente em X, ela e
divergente em X.
for finito. Assim, diremos que uma sequencia (xn ) e limitada se o conjunto {xn , n N} for um
subconjunto limitado de X. Obviamente M e limitado se, e somente se,
M B(x0 ; r),
(c) Se yn y em X, entao
d(xn , yn ) d(x, y).
xn y,
Tomando
a = max{d(xm , xn ); 1 6 m, n 6 N1 } > 0,
ou seja,
d(xn , yn ) d(x, y) 6 d(xn , x) + d(yn , y).
Definicao 1.11. Uma sequencia (xn ) X definida em um espaco metrico X chama-se uma
sequencia de Cauchy quando para todo > 0, existe N0 N tal que se m, n > N0 , entao
d(xm , xn ) < .
O espaco metrico X sera chamado de espaco metrico completo se toda sequencia de Cauchy
(xn ) X de X for convergente em X, isto e, se existir x X tal que xn x.
Teorema 1.2. Toda sequencia convergente em um espaco metrico e uma sequencia de Cauchy.
Topicos em Analise Funcional 17
xn x.
Teorema 1.3. A reta real e o plano complexo, munidos das metricas usuais, sao espacos metricos
completos.
xnj x.
De fato: Seja > 0 dado. Temos que existem Nj0 , N2 N tais que
nj > Nj0 = |xnj x| <
2
e
n, m > N2 = |xm xn | < .
2
Tambem,
n, nj > N2 = |xn xnj | < .
2
Logo, escolhendo j0 N tal que nj0 > max{N2 , Nj0 }, teremos que
n > N2 = |xn x| 6 |xn xnj0 | + |xnj0 x| < + = ,
2 2
mostrando que xn x.
Exemplo 1.13. O conjunto R {a}, munido da metrica usual da reta real, nao e um espaco
metrico completo.
Exemplo 1.14. O conjunto dos numeros racionais, munido da metrica usual da reta real, nao e
um espaco metrico completo.
Exemplo 1.15. O conjunto (0, 1] R, munido da metrica usual da reta real, nao e um espaco
metrico completo.
Exemplo 1.16. O conjunto [0, 1] R, munido da metrica usual da reta real, como veremos mais
abaixo, e um espaco metrico completo.
Vamos apresentar agora mais tres resultados que serao de extrema importancia para o de-
senvolvimento do curso. Primeiro vamos relacionar a definicao de fecho de um conjunto com a
convergencia de sequencias.
(a) x M se, e somente se, existe uma sequencia (xn ) M em M tal que xn x;
(b) M e fechado se, e somente se, para toda sequencia (xn ) M tal que
xn M ;
xn x,
xn x.
Topicos em Analise Funcional 19
Primeiro observe que se existir N N tal que xn = x, para todo n > N, entao x M e, portanto,
x M = M M 0 . Suponhamos entao que para todo n N,
xn B(x; ) M,
mostrando que
B(x; ) (M {x}) 6= .
Logo, x M 0 e, portanto, x M , completando a demonstracao do item (a).
xn M, para todo n N;
20 Marcos Roberto Teixeira Primo
xn x.
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 restricao da
metrica em X para M e um espaco metrico completo.
Demonstracao: 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 completo. 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 com
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.
Topicos em Analise Funcional 21
Seja (xn ) X uma sequencia tal que xn x0 . Entao, existe N N tal que
Portanto,
n > N = d(T xn , T x0 ) < ,
mostrando que T xn T x0 .
1
d(xn , x0 ) < e d(Txn , Tx0 ) > .
n
Portanto,
xn x0 em X,
enquanto que
Txn 6 Tx0 em Y,
n
1
X
d(x, y) = [ (xi yi )2 ] 2 ,
i=1
(m) (m)
xm = (x1 , x2 , ..., x(m)
n )
(m) (r)
(xi xi )2 < 2 .
(m) (r)
| xi xi |< .
(1) (2)
Portanto, para cada i fixado (1 6 i 6 n), a sequencia (xi , xi , ...) e uma sequencia de Cauchy
de numeros reais e, portanto, convergente, isto e, existe xi R tal que
(m)
xi xi , quando m .
De fato: Dado > 0. Para todo i {1, 2, . . . , n} temos que existe Ni N tal que
(m)
n > Ni = |xi xi | < .
n
Topicos em Analise Funcional 23
= d(xm , x) < ,
mostrando que xm x.
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 2
Portanto, para todo i N fixado, temos que
(m) (n)
| xi xi |< , sempre que m, n > N. (1.3)
2
(1) (2)
Para qualquer i N fixado, temos que a sequencia (xi , xi , ...) e uma sequencia de Cauchy de
numeros 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 ,
e mostremos que
24 Marcos Roberto Teixeira Primo
x l ;
xm x em l .
| xi | cx ,
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.5)
t[a,b] 2
Portanto, para cada t = t0 [a, b] fixado temos
| xm (t0 ) xn (t0 ) |< ,
2
sempre quem, n > N . Isso mostra que (x1 (t0 ), x2 (t0 ), ...) e uma sequencia de Cauchy de numeros
reais. Como R e completo, a sequencia converge, isto e, existe x(t0 ) R tal que
Assim podemos associar a cada t [a, b] um unico numero real x(t), o que define uma funcao
x : [a, b] R R. Mostremos que
Topicos em Analise Funcional 25
x C[a, b];
xm x em C[a, b].
Para fazermos isso, fixando m > N e fazendo n em (1.5) obtemos, para todo t [a, b], que
| xm (t) x(t) |6 < ,
2
sempre que m > N . Portanto,
max | xm (t) x(t) |6 < ,
t[a,b] 2
sempre que m > N. Isso mostra que (xm (t)) converge para x(t) 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]. Portanto, x C[a, b] e xm x em C[a, b], mostrando que C[a, b] e um espaco
metrico completo.
para todo x X.
Demonstracao: Por hipotese xm x em C[a, b]. Portanto, dado > 0, existe N N tal que
d(xm , x) < ,
Em X definamos Z 1
d(x, y) = |x(t) y(t)|dt,
0
para x, y X. Entao, X e um espaco metrico que nao e completo.
26 Marcos Roberto Teixeira Primo
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
0,
se t [0, 12 ];
xm (t) = f (t), se t [ 12 , am ];
1, se t [am , 1],
1 1
am = + , mN
2 m
e f (t) e um polinomio de grau 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
Vamos mostrar agora que essa sequencia nao pode convergir em X. Para todo x X, temos
que
Z 1
d(xm , x) = |xm (t) x(t)|dt
0
1
Z
2
Z am Z 1
= |x(t)|dt + |xm (t) x(t)|dt + |1 x(t)|dt.
1
0 2
am
Topicos em Analise Funcional 27
Assim, se Z 1
d(xm , x) = |xm (t) x(t)|dt 0,
0
entao 1
Z
2
Z 1
|x(t)|dt = |1 x(t)|dt = 0,
1
0 2
ou seja, (
0, se t [0, 21 ];
x(t) =
1, 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.
Resolver os exerccios 2, 3, 5, 8 e 10 das paginas 39 e 40 do livro [5].
Definicao 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).
Algumas observacoes:
diremos que os espacos metricos (X, dX ) e (Y, dY ) sao isometricos se existir uma isometria,
T : X Y, que e sobrejetora;
Seja (X, d) um espaco metrico qualquer. Vamos construir um espaco metrico completo (X,
b d),
a partir de (X, d), de tal forma que (X, d) pode ser imerso em (X,
b d).
A ideia principal e construir X
b adicionando os pontos de X e mais os limites de sequencias
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 :
Lema 1.3. Sejam (X, d) um espaco metrico, (xj ), (yj ) X sequencias de Cauchy em X e
dj = d(xj , yj ), para todo j N. Entao, (dj ) e uma sequencia de Cauchy em R.
Demonstracao: 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 numero 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 numeros reais, o que
prova o lema.
Lema 1.4. Sejam (X, d) um espaco metrico e (xj ), (yj ), (zj ) X sequencias de Cauchy no espaco
metrico X. Entao,
0 6 lim d(xj , zj ) 6 lim d(xj , yj ) + lim d(yj , zj ).
j j j
Lema 1.5. Sejam (X, d) um espaco metrico e (xj ), (yj ), (zj ) X sequencias de Cauchy no espaco
metrico X. Suponhamos, alem disso, que
Entao,
lim d(xj , zj ) = 0.
j
Lema 1.6. Sejam (X, d) um espaco metrico e (xj ), (x0j ), (yj ), (yj0 ) X sequencias de Cauchy em
X. Suponhamos que
lim d(xj , x0j ) = 0 e lim d(yj , yj0 ) = 0.
j j
Entao,
lim d(xj , yj ) = lim d(x0j , yj0 ).
j j
lim d(xj , yj ) 6 lim d(xj , x0j ) + lim d(x0j , yj0 ) + lim d(yj0 , yj ) = lim d(x0j , yj0 ).
j j j j j
Similarmente,
lim d(x0j , yj0 ) 6 lim d(xj , yj ).
j j
Entao,
lim d(xj , yj ) = lim d(x0j , yj0 ),
j j
como queramos.
Teorema 1.8. Para todo espaco metrico X = (X, d), existe um espaco metrico completo
Xb = (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 unico exceto por isometrias, isto e, se X
e e um outro espaco
metrico completo que possui um subespaco W f isometrico a X e denso em X, e entao X
b eX e sao
isometricos.
W
c = X;
b
onde (xj ) x e (yj ) y. Segue do Lema 1.6 que o valor d(x, y) nao depende da escolha da
sequencias de Cauchy (xj ) e (yj ), representantes de x e y. Obtemos desta maneira uma funcao
positiva no conjunto X b X.
b Esta funcao satisfaz a desigualdade triangular (Lema 1.4) e outros
axiomas de metrica. Portanto, X b com esta metrica e um espaco metrico. Nos referiremos ao
espaco X
b como sendo o completamento do espaco metrico X, finalizando o passo (a).
b 7 T (b) = b
(b1 ) 6 (b2 )
e, portanto,
b1 6= b2 .
Mostremos entao que T e uma isometria. Para isso, sejam b, c X, entao tomando sequencias
constantes xn = b e yn = c, para quaisquer n N, obtemos que
(xN +1 , xN +1 , xN +1 , . . .) xN +1 ,
temos que xN +1 W
ce
xN +1 ) = lim d(xn , xN +1 ) < ,
d(x,
n 2
mostrando que x W
c e concluindo ao passo (b).
n , zn ) < 1 ,
d(x (1.6)
n
para todo n N. A desigualdade triangular implica que
m , zn ) d(z
d(z m , xm ) + d(x
m , xn ) + d(x
n , zn )
1 m , xn ) + 1 .
< + d(x
m n
Portanto, para todo > 0, existe N N tal que
m , zn ) < ,
m, n > N = d(z
zm = T 1 (zm ), m N,
T zm , T zn ) = d(z
d(zm , zn ) = d( m , zn ) 0,
quando m, n . Seja x X
b a classe de equivalencia associada a sequencia de Cauchy, em X,
(zm ) X, isto e,
(zm ) x.
Temos que
n , x) d(x
d(x n , zn ) + d(z
n , x)
1 n , x)
< + d(z
n
1
= + lim d(zn , zm ).
n m
Logo, existe N N tal que
1
m, n > N = d(zn , zm ) < e < .
2 n 2
Assim,
n , x) < + = ,
n > N = d(x
2 2
completando o passo (c).
existe T : X X
e uma isometria;
T (X) = W
f;
W
f e denso em X.
e
Vamos mostrar que X b sao isometricos. Para quaisquer x, y X temos que existem (xn ), (yn )
e eX
W
f tais que
xn x e yn y,
em X.
e Assim,
y) d(x,
d(x, xn ) + d(
xn , yn ) + d(
yn , y),
ou seja,
y) d(
d(x, xn , yn ) d(x,
xn ) + d(
yn , y),
Espacos Normados
Neste captulo vamos estudar com detalhes espacos vetoriais normados e suas principais pro-
priedades.
Definicao 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:
Um espaco normado e um par ordenado (X, k k), onde X e um espaco vetorial e k k e uma
norma em X.
para x, y X, definindo
d(x, y) = kx yk,
temos que d e uma metrica em X, a qual sera chamada de metrica induzida pela norma.
Assim, todo espaco vetorial normado e um espaco metrico.
O proximo resultado nos da um criterio para verificar quando uma metrica definida em um
espaco vetorial induz uma norma neste mesmo espaco.
d(x, y) = kx yk, x, y X,
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
numeros 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,
i=1
2i 1+ | xi yi |
Topicos em Analise Funcional 35
Mas,
1 |1 0| 1 |0 1|
2d(x0 , y0 ) = 2[ 1
+ 2 ]
2 1 + |1 0| 2 1 + |0 1|
1 1 1 1
= 2[ + ]
2 2 4 2
1 1
= +
2 4
3
=
4
e
1 |2 0| 1 |0 2|
d(2x0 , 2y0 ) = 1
+ 2
2 1 + |2 0| 2 1 + |0 2|
1 2 1 2
= + ]
2 3 4 3
1 1
= +
3 6
1
= ,
2
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.
Reciprocamente temos o seguinte resultado.
kxk = d(x, 0X ), x X,
36 Marcos Roberto Teixeira Primo
d(x, y) = kx yk,
Exemplo 2.2. O espaco vetorial R, munido da metrica discreta nao e um espaco normado.
Antes de apresentarmos alguns exemplos, vamos mostrar que a norma e uma funcao contnua.
Proposicao 2.4. Uma norma em um espaco vetorial X sobre um corpo K e uma funcao real
contnua, istoe, X 3 x 7 kxk R, e contnua para cada x X.
kxk = |x|
Exemplo 2.5. Considere R2 o conjunto de todos os pares ordenados de numeros 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.6. Considere R2 o conjunto de todos os pares ordenados de numeros reais e definamos
Exemplo 2.7. Considere R2 o conjunto de todos os pares ordenados de numeros reais e definamos
Antes de contnuarmos com os exemplos, vamos mostrar um resultado que relaciona as diversas
normas em espacos vetoriais normados de dimensao finita.
Definicao 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
para todo x X.
Vamos mostrar agora que em um espaco vetorial de dimensao finita todas as normas sao
equivalentes.
Demonstracao: 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, (2.2)
n
i X
i = , i = 1, 2, . . . , n e |i | = 1.
s i=1
Portanto e suficiente provar a existencia de c > 0 tal que (2.1) e satisfeita para toda n-upla de
escalares 1 , 2 , . . . , n com ni=1 |i | = 1.
P
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 .
Pn (m)
Como i=1 |i | = 1, entao
(m)
|i | 6 1, para quaisquer i = 1, 2, . . . , n e m N.
Topicos em Analise Funcional 39
onde n
X (m)
|i |=1
i=1
e
(m)
i i .
Portanto,
n
X
yn,m y = i xi ,
i=1
onde ni=1 |i | = 1, portanto nem todo i pode ser zero e como {x1 , x2 , . . . , xn } e um conjunto
P
y 6= 0.
kyn,m k kyk.
Mas,
kym k 0
kyn,m k 0.
y = 0,
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
unica 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
X n
kxk1 > c |aj | .
j=1
l = {x = (x1 , x2 , ...); xi R e | xi | cx , i = 1, 2, . . . }.
Definamos
kxk = sup |xi |,
iN
0 6 |xi | 6 cx .
Logo,
0 kxk = sup |xi | cx < ,
iN
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,
Definamos
kf k = sup |f (t)|,
t[a,b]
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.
X
| xj |p < ,
j=1
isto e,
X
lp = {(x1 , x2 , . . .); xj K, j = 1, 2, . . . , e | xj |p < }.
j=1
Definamos v
u
uX
kxkp = t
p
| 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 .
1 1
+ = 1. (2.3)
p q
42 Marcos Roberto Teixeira Primo
Entao,
p q
+ , (2.4)
p q
para quaisquer , 0.
f (t) = tp1 .
onde a ultima igualdade segue de (2.3). Logo, usando as Figuras 2.1 e 2.2
obtemos que
p q
Z Z
p1
t dt + uq1 du = + ,
0 0 p q
provando o lema.
Topicos em Analise Funcional 43
Lema 2.3 (Desigualdade de Holder). Sejam p > 1 e q > 0 expoentes conjugados dados por
(2.3). Entao,
X X 1 X 1
|xj yj | ( |xj |) p ( |yj |) q , (2.5)
j=1 j=1 j=1
0 6= x = (xi , x2 , . . .) lp e 0 6= y = (y1 , y2 , . . .) lq
tais que
X
X
p
|xj | = 1 e |yj |q = 1.
j=1 j=1
Logo,
X 1 1
|xj yj | + = 1. (2.6)
j=1
p q
Entao,
|xj |p = 1 e |yj |q = 1,
X X
j=1 j=1
Logo,
n n n
X 1 X 1 X 1
( |wj |p )1 q ( |xj |p ) p + ( |yj |p ) p ,
j=1 j=1 j=1
ou seja,
n n n
p p1 p p1 1
X X X
( |xj + yj | ) ( |xj | ) + ( |yj |p ) p .
j=1 j=1 j=1
p p
Como x, y l , obtemos que x + y l e que
X 1 X 1 X 1
( |xj + yj |p ) p ( |xj |p ) p + ( |yj |p ) p ,
j=1 j=1 j=1
Topicos em Analise Funcional 45
o que mostra a desigualdade triangular exigida na Definicao 2.1. As outras propriedades para
mostrarmos que k kp e uma norma em lp sao imediatas.
Exemplo 2.12. Sejam X e Y espacos vetoriais normados (sobre o mesmo corpo de escalares K).
Consideremos o espaco vetorial , munido das operacoes usuais,
X Y = {(x, y) : x X, y Y }
Definicao 2.3. Seja (X, k k) um espaco normado. Dado um ponto x X e r > 0, o conjunto
Note que
B[x, r] = B(x, r) S(x, r),
BY (a, r) = B(a, r) Y,
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.
Demonstracao: 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
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.
e, portanto,
kx0 x0 k > kx x0 k kx x0 k > kx x0 k = r.
Assim,
B(x, ) {x X : kx x0 k > r},
Proposicao 2.5. Seja (X, k k) um espaco normado. A colecao de conjuntos abertos de X tem as
seguintes propriedades:
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.
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,
A U.
Assim,
B(x, ) U,
V = V1 V2 ... Vk e x V.
Entao, x Vj para todo j e, portanto, existem numeros reais positivos 1 , 2 , ...k tais que
Tomando
= min{j : j = 1, 2, ..., k},
Portanto,
B(x, ) V,
Obervacao 2.1. Para cada numero 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
numero infinito de conjuntos abertos num espaco normado nao e necessariamente um conjunto
aberto.
Definicao 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 A;
A e um conjunto aberto em X;
B(x, ) N.
{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 unico ponto de
X e um conjunto fechado em X.
Topicos em Analise Funcional 49
A = {S; S X}.
Entao, [ \ \ [
X\ S= (X\S) e X\ S= (X\S),
SA SA SA SA
isto e, o complemento da uniao de alguma colecao de subconjuntos de X e a intersecao dos comple-
mentos 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 com-
plementos converte unioes em intersecoes e intersecoes em unioes. Com essas duas observacoes, o
seguinte resultado segue diretamente da proposicao 2.1.
Proposicao 2.6. Seja X um espaco normado. A colecao dos subconjuntos fechados em X tem
as seguintes propriedades:
(i) e X sao conjuntos fechados em X;
S e um conjunto fechado em X;
A funcao e dita ser contnua em X, ou simplesmente contnua se, e somente se, f e contnua em
todo x X.
50 Marcos Roberto Teixeira Primo
Note que
expressando em termos de bolas abertas a definicao de funcao contnua (Definicao 2.10) pode
ser escrita da seguinte maneira: a funcao f : X Y e contnua em x0 X se, e somente
se, dado > 0, existe > 0 tal que
f 1 (V ) = {x X : f (x) V }.
Exemplo 2.13. Seja X um espaco normado (sobre o corpo de escalares K). As aplicacoes
1. X X 3 (x, y) 7 x + y X;
2. K X 3 (, x) 7 x X;
3. X X 3 (x, y) 7 d(x, y) = kx yk R;
4. X 3 x 7 kxk R
f (B(x0 ; )) B(y0 ; ).
Assim,
f (B(x0 ; )) B(y0 ; ) V,
mostrando que B(x0 ; ) V0 e, portanto, mostrando que V0 e aberto em X.
Topicos em Analise Funcional 51
e contnua.
Demonstracao: 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
para todo y Y satisfazendo ky f (x)kY < . Mas entao existe algum > 0 tal que
para todo x0 X satisfazendo kx0 xkX < , mostrando que g f e contnua en x, provando o
lema.
52 Marcos Roberto Teixeira Primo
X 3 X 7 X + x0 X
e um homeomorfismo de X em X.
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.7 para h : X Y e para
1
h : Y X.
Corolario 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.
lim xn = x ou xn x, quando n .
n
Note que esta definicao de convergencia generaliza para um espaco normado arbitrario a
definicao ja conhecida de convergencia para sequencias de numeros reais ou complexos.
Proposicao 2.8. Se uma sequencia de pontos num espaco normado e convergente, entao o limite
desta sequencia e unico.
Demonstracao: 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 numeros naturais N1 , N2 N tais que
e
kxn p0 k < , sempre que n > N2 .
0 6 kp p0 k 6 kp xn k + kxn p0 k < 2.
Portanto,
kp p0 k = 0,
se x A, entao tomando
xn = x, n N,
entao
xn A e xn x,
xn A;
xn B(x, n1 ), ou seja, xn x,
Lema 2.9. Seja X um espaco normado. Uma sequencia (xn ) X converge para um ponto x X
se, e somente se, para qualquer conjunto aberto U X, do espaco normado X, tal que x U,
existir um numero natural N N tal que
B(x, ) U.
Mas,
xn x, quando n .
e, portanto,
xn U, para todo n > N.
Por outro lado, seja (xn ) uma sequencia satisfazendo o criterio dado no enunciado do lema e
> 0 um numero positivo dado. A bola aberta B(x, ) e um conjunto aberto. Portanto, existe
um numero natural N N tal que,
n > N = xn B(x, )
e, portanto,
n > N = kxn xk < ,
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,
Demonstracao: Seja > 0. Queremos mostrar que existe um numero natural N N tal 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,
provando o lema.
Vamos agora relacionar o conceito de continuidade de aplicacoes entre espacos normados com
o conceito de convergencia de sequencias nestes espacos.
n N = kxn x0 k < .
Portanto,
n N = kf (xn ) f (x0 )k < ,
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
1
0 6 kxn x0 k < e kf (xn ) f (x0 )k > 0 .
n
Assim, obtemos uma sequencia (xn ) X com
Agora, como A e fechado em X, a proposicao 2.10 implica que x A e, portanto, obtemos que
xn x em A, mostrando que A, munida da norma herdada de X, e um espaco de Banach.
Agora suponhamos que A, munido da norma herdada de X, seja um espaco de Banach. Vamos
supor que A nao e fechado. Entao o complemento, X A de A, nao e conjunto aberto e, portanto,
existe um ponto x X A com a propriedade que B(x, ) A 6= para todo > 0. Entao
podemos encontrar uma sequencia (xn ) A de pontos de A tais que
para todo numero natural n N. Esta sequencia e de Cauchy em A a qual nao converge para um
ponto de A, na realidade xn x 6 A, contradizendo o fato de A ser um espaco de Banach com a
norma herdada de X. Assim, A e fechado, completando a prova da proposicao.
A ideia agora e apresentar exemplos de espacos de Banach, principalmente aqueles que serao
mais utilizados no decorrer da disciplina. Para fazermos isso vamos relacionar o conceito de
sequencias em espacos metricos e espacos normados. Sejam X um espaco vetorial sobre um corpo
K (K = R ou K = C), k k : X R uma norma em X. Entao, d : X X R definida, para
quaisquer x, y X, por
d(x, y) = kx yk,
Com as consideracoes acima algumas das provas dos resultados apresentados nos exemplos
abaixo ja foram demonstradas nos exemplos apresentados de espacos metricos completos e, por-
tanto, serao omitidas aqui.
Exemplo 2.15. O espaco normado Rn com a norma euclideana e um espaco de Banach.
De fato: Sejam (xm ) uma sequencia de Cauchy em Rn e > 0. Entao, existe N 0 N tal que
q
m, k N 0 = ||xm xk k = (x1m x1k )2 + + (xnm xnk )2 < .
Entao para cada inteiro j {1, 2, . . . , n}, a sequencia (xjm ) e uma sequencia de Cauchy de numeros
reais que e convergente. Seja
xj = lim xjm ,
m
Vamos mostrar que xm x em (Rn , k k). Para > 0, existem numeros naturais N1 , N2 , ..., Nn
tais que r
2
m > Nj = |xjm xj | ,
n
para todo j = 1, 2, . . . , n. Tomando N = max{N1 , N2 , . . . , Nn } obtemos que se m N, entao
2
|xjm xj |2 ,
n
ou seja,
n
X
|xjm xj |2 2 .
j=1
mostrando que xm x.
Corolario 2.3. Seja k| . k| uma norma em Rn . Entao (Rn , k| . k|) e um espaco de Banach. Em
particular, (Rn , k kp ), para todo p > 1, e (Rn , k k ), onde
n
X 1
k(x1 , x2 , . . . , xn )kp = ( |xi |p ) p
i=1
60 Marcos Roberto Teixeira Primo
e
k(x1 , x2 , . . . , xn )k = max{|x1 |, |x2 |, . . . , |xn |},
kx(m) k cm , m = 1, 2, . . . , (2.8)
onde
(m)
kxm k = sup | xi |.
iN
|xi | |xi xN
i
+1
| + |xN
i
+1
| < + cN +1 ,
mostrando que x l .
Novamente (2.10) implica que
(m)
kxm xk = sup |xi xi | < ,
iN
Exemplo 2.17. Seja c o espaco vetorial de todas as sequencias convergentes de numeros, isto e,
x(n) x em l .
Fixado N + 1 N, temos que x(N +1) c, isto e, x(N +1) e uma sequencia convergente em K e,
portanto, e uma sequencia de Cauchy em K. Logo, existe N1 N, tal que
m, n > N1 = |x(N
m
+1)
x(N
n
+1)
|< .
3
Portanto, a desigualdade triangular implica que
c c.
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
X (m)
|xi |p < , m N.
i=1
Vamos mostrar que (x(m) ) lp e convergente em lp . Para isso, tomemos > 0. Como a
sequencia e uma sequencia de Cauchy em lp , existe N N tal que para todo
X (m) (n) 1
m, n > N = kx(m) x(n) kp = ( |xi xi |p ) p < . (2.11)
i=1
(m)
mostrando que xm x = (xi xi ) lp , para todo m > N. Assim, a desigualdade de Minkowski
implica que
x = x xN +1 + xN +1 , lp .
Topicos em Analise Funcional 63
para todo x X.
Proposicao 2.13. Convergencia no espaco de Banach C[a, b], o espaco de todas as funcoes
contnuas definidas no intervalo fechado [a, b] com a norma
e uniforme.
Demonstracao: Sejam (xm ) uma sequencia em C[a, b] e x C[a, b] tal que
kxm xk 0,
X = {f : [a, b] R; f e contnua}.
Definamos k . k : X R por
Z b
kxk = |x(t)|dt, (2.16)
a
> kym yr k
Xn
(m) (r)
=k (j j )ej k
j=1
Xn
(m) (r)
c | j j |,
j=1
(m)
sempre que m, n > N . Portanto, (j ) e uma sequencia de Cauchy de numeros para qualquer
j = 1, . . . , n. Seja
(m)
j = lim j , j = 1, 2, . . . , n.
m
Definamos
y = 1 e1 + . . . + n en .
Entao y Y e
n
X n
X
(m) (m)
kym yk = k (j j )ej k | j j | kej k.
j=1 j=1
(m)
Mas j j , quando m , da
kym yk 0, quando m ,
Vamos apresentar agora um criterio, que utiliza o conceito de convergencia de series, para
verificar quando um espaco normado e um espaco de Banach . Se (xk ) X e uma sequencia
em um espaco normado X, podemos associar com (xk ) a sequencia (Sn ) X de somas parciais
definida por
Sn = x1 + x2 + . . . + xn ,
66 Marcos Roberto Teixeira Primo
kSn Sk 0, quando n ,
Como
P
i=1 kxn k < , entao (Sn ) e convergente e, portanto, e uma sequencia de Cauchy, ou seja,
dado > 0, existe N N tal que se
S1 = x1 , S2 = x1 + x2 , . . . , Sn = x1 + x2 + . . . + xn , . . . .
para todo > 0. Mostramos assim que (Sn ) X e uma sequencia de Cauchy no espaco de Banach
X. Portanto, existe S X tal que
Sn S quando n ,
e
1
m, n Nj = kxm xn k < .
2j
Consideremos a subsequencia (xNj ) (xn ) de (xn ) e definamos
Temos
k
X
uj = xNk
j=1
e
k
X k
X
kuj k 6 ku1 k + 2j < ku1 k + 1,
j=1 j=2
Assim, (xNk ) (xn ) e uma subsequencia de (xn ) tal que xNk x X em X e, portanto, (xn )
tambem deve ser convergente, isto e,
xn x quando n ,
kx (1 e1 + 2 e2 + . . . + n en )k 0
Definicao 2.15. Sejam (X, k kX ) e (Y, k kY ) dois espacos normados. Uma transformacao
T : X Y e dita uma isometria se para todo x, y X temos que
kT x T ykY = kx ykX .
Claramente uma isometria e uma aplicacao injetora. Diremos que os espacos vetoriais nor-
mados (X, k kX ) e (Y, k kY ) sao isometricos se T for sobrejetora.
Teorema 2.4. Seja (X, k k) um espaco normado, entao existe um espaco de Banach (X, b k k1 )
tal que (X, k k) esta imerso em (X,
b k k1 ). Neste caso o espaco de Banach (X,
b k k1 ) e chamado
de completamento de (X, k k).
d(x, y) = kx yk,
temos que (X, d) e um espaco metrico. O Teorema 1.8 implica que existe X
b e uma metrica db tal
que (X,
b d)
b e um espaco metrico completo no qual X esta imerso. Recordemos que
e
db(x, y) = lim d(xn , yn ), para (xn ) x e (yn ) y.
n
b y), para x, y X.
kx yk1 = d(x, b
Topicos em Analise Funcional 69
Sejam x, y X
b e considere sequencias de Caychy (xn ) x e (yn ) y. Definamos
zn = xn + yn , n N.
z = x + y
como sendo a classe de equivalencia de todas as sequencias de Cauchy que sao equivalentes a
(zn ) = (xn + yn ). Claramente (zn ) z e esta definicao independe da escolha das sequencias de
Cauchy em x e y, pois se (xn ), (x0n ) x e (yn ), (yn0 ) x sao sequencias de Caychy tais que
(xn ) (x0n ) e (yn ) (yn0 ), entao
Definamos agora k k1 : X
b R por
para x X.
b Temos que
kx yk1 = db(x y, 0)
= lim d(xn yn , 0)
n
= lim kxn yn 0k
n
= lim kxn yn k
n
= lim d(xn , yn )
n
= db(x, y),
provando que k k1 satisfaz as propriedades (N1) e (N2). Ainda, para K temos que
kxk1 = db(x, 0)
= lim d(xn , 0)
n
= lim kxn 0k
n
= lim ||kxn 0k
n
= || lim d(xn , 0)
n
= ||db(x, 0)
= ||kxk1 ,
provando a propriedade (N2). A propriedade (N3) prova-se de forma analoga e o teorema fica
demonstrado.
Resolver os exerccios 1, 2, 3, 5, 6, 12, 14 e 15 das paginas 70 e 71 e os exerccios 5, 6, 7, 8 e
9 da pagina 76 do livro [5].
Definicao 2.16. Dizemos que um espaco normado (metrico) X e compacto se toda sequencia em
X admite uma subsequencia convergente em X. Um subconjunto M de X e compacto se toda
sequencia em M admite uma subsequencia convergente em M.
Demonstracao: Vamos mostrar que M e fechado. De fato, seja x em M , logo existe uma
sequencia (xm ) M em M tal que
xm x, quando m .
Para mostrar que M e limitado, vamos supor por absurdo que M seja ilimitado. Entao,
renomeando se necessarioo, existe uma sequencia ilimitada (yn ) M em M tal que
Logo, (yn ) nao admite nenhuma subsequencia convergente, pois se existisse essa subsequencia seria
limitada, o que contradiz o fato de M ser compacto.
munido da norma
1
X
k(x1 , x2 , x3 , . . .)k2 = ( |xi |2 ) 2 .
i=1
kei k2 = 1.
Logo, F e limitado em l2 .
Observemos que (
0, se i = k
kei ek k2 =
1, se i 6= k
para quaisquer i, k N. Assim,
F = F,
mostrando que F e fechado em l2 .
Por outro lado, F nao e compacto, pois qualquer sequencia nao constante em F nao possui
subsequencia convergente em F, completando o exemplo.
A recproca da Proposicao 2.14 so e valida se X tiver dimensao finita, como mostra o proximo
resultado.
Teorema 2.5. Seja X um espaco normado de dimensao finita, um subconjunto M X e com-
pacto se, e somente se, M e fechado e limitado em X.
72 Marcos Roberto Teixeira Primo
kxm k k,
para todo m N. O Lema 2.1 implica que existe uma constante c > 0 tal que
n
X n
X
(m) (m)
k kxm k = k j ej k c | j |.
j=1 j=1
(m)
Logo a sequencia (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 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) (m)
= k(1 1 )e1 + (2 2 )e2 + . . . + (n(m) n )en k
(m)
|1 1 |ke1 k + . . . + |n(m) n |ken k
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 em X e que Y Z seja um subconjunto proprio de Z. Entao,
para todo (0, 1) R, existe z Z tal que
kzk = 1 e kz yk , (2.18)
para todo y Y.
Topicos em Analise Funcional 73
Logo, kzk = 1.
Vamos mostrar que kz yk , para todo y Y. De fato, temos que
onde y1 = y + c1 y Y. Logo,
kv y1 k a,
por (2.19). Entao,
a
kz yk = ckv y1 k ca = ,
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}
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
74 Marcos Roberto Teixeira Primo
1
kxm xn k
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.
xnk x, quando nk ,
Demonstracao: Pelo teorema anterior temos que T (M ) e compacto e, portanto, fechado e limi-
tado, ja que T (M ) R. Logo, existem
y0 = inf T (M ) e y1 = sup T (M ).
y0 = T (x0 ) e y1 = T (x1 ).
T (x + y) = T x + T y e T (x) = T x. (2.20)
T (x + y) = T x + T y,
T 0 = 0.
Demonstracao: A demostracao dos itens 1 e 3 sao imediatas. Para provarmos o item 2, se-
jam {y1 , . . . , yn+1 } R(T ) um subconjunto qualquer de elementos em R(T ). Logo, existem
x1 , x2 , . . . , xn+1 D(T ) tais que
y1 = T x1 , . . . , yn+1 = T xn+1 .
Por hipotese dim D(T ) = n. Assim, os vetores {x1 , . . . , xn+1 } sao linearmente dependentes em
D(T ) e, portanto, em X, uma vez que D(T ) e um subespaco vetorial de X. Logo,
1 x1 + . . . + n+1 xn+1 = 0,
Topicos em Analise Funcional 77
com pelo menos algum i nao nulo. Logo, {y1 , . . . , yn+1 } e linearmente dependente em R(T ) Y.
Entao devemos ter
dim R(t) n,
provando o teorema
T x = T y x = y, x, y D(T ).
Assim, existe
T 1 : R(T ) Y D(T ) X,
T 1 y = x y = T x.
Notemos que
T 1 T x = x, x D(T ),
e
T T 1 y = y, y R(T ).
Sabemos que um operador linear entre espacos vetoriais possui inversa se, e somente se, o
nucleo 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
T x = 0 x = 0.
Demonstracao: As provas dos itens 1. e 2. sao imeditatas. Sendo dim D(T ) = n < , segue
do Teorema 2.8 que
dim R(T ) dim D(T ) = n.
Mas,
T 1 : R(T ) D(T )
tambem e um operador linear. Logo, o mesmo Teorema 2.8 implica que
kT k = sup kT xk.
xD(T ), kxk=1
2. O numero
kT xk
kT k = sup
xD(T ), x6=0 kxk
obtemos que
x kxk
kyk = k k= = 1.
kxk kxk
Sendo T um operador linear,
kT xk x
kT k = sup = sup kT ( )k = sup kT yk,
xD(T ), x6=0 kxk xD(T ), x6=0 kxk yD(T ), kyk=1
provando o item 1.
Vamos verificar agora que o numero 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,
kT xk
0 c.
kxk
Logo,
kT xk
0 kT k = sup c.
xD(T ), x6=0 kxk
Ainda mais,
kT xk
kT k = 0 sup =0
xD(T ), x6=0 kxk
kT xk = 0, com x D(T ) e x 6= 0
T x = 0, com x D(T ) e x 6= 0.
80 Marcos Roberto Teixeira Primo
k(T )(x)k kT xk kT xk
kT k = sup = sup || = || sup = ||kT k,
xD(T ), x6=0 kxk xD(T ), x6=0 kxk xD(T ), x6=0 kxk
Sejam T1 , T2 : D(T ) X X dois operadores lineares limitados. Para todo x D(T ) temos
que
k(T1 + T2 )(x)k = kT1 x + T2 xk kT1 xk + kT2 xk (kT1 k + kT2 k)kxk.
k(T1 + T2 )(x)k
kT1 k + kT2 k.
kxk
Portanto,
kT1 + T2 k kT1 k + kT2 k,
kf k = max |f (t)|
t[a,b]
x 7 T x,
onde Z t
(T x)(t) = x( )d,
a
De fato: Para vermos esse fato, observemos inicialmente que dado x C[a, b] temos que
|x(t)| kxk,
kT k |a b|,
completando o exemplo.
Exemplo 2.28. 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]
T x(t) = x0 (t)
para todo x X. O operador T definido dessa maneira e linear, porem nao e limitado.
De fato: Para todo n N considere
Temos que
kxn k = max |xn (t)| = max |tn | = 1,
t[0,1] t[0,1]
para todo n N. Por outro lado, x0n (t) = ntn1 , para todo n N e, portanto,
Demonstracao: Sejam dimK X = n < e considere {e1 , . . . , en } uma base de X. Para todo
x D(T ) X temos que
n
X
x= xj ej , xj K, i = 1, 2, . . . , n.
j=1
Assim,
1
kT xk max kT ek k kxk.
1kn c
kT ek k
Tomando = max1kn c segue que
kT xk kxk.
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
mostrando que T e contnuo em x0 D(T ). Como x0 foi tomado aleatoriamente em D(T ), temos
entao que T e um operador linear contnuo.
Suponhamos agora que T seja um operador linear contnuo. Fixado x0 D(T ), a continuidade
de T em x0 D(T ) implica que existe > 0 tal que
Corolario 2.6. Sejam X e Y dois espacos normados sobre o mesmo corpo de escalares e T :
D(T ) X Y um operador linear limitado.
mostrando que T xn T x.
D(T1 ) = D(T2 );
T1 x = T2 x, para todo x D(T1 ) = D(T2 ).
T |B : B X Y, T |B x = T x,
para todo x B.
kT k = kT k.
Demonstracao: Seja x D(T ). Entao existe uma sequencia (xn ) D(T ) tal que
xn x, quando n .
0 kT xn T xm k kT kkxm xn k 0,
T xn y, quando n .
Mostremos inicialmente que essa definicao independe da escolha da sequencia (xn ). Para isso
sejam (xn ), (x0n ) D(T ) sequencias em D(T ) tais que
xn x e x0n x,
quando n . Considerando (vn ) definida por (x1 , x01 , x2 , x02 , . . . ), temos que vn x e, portanto,
(T (vn )) converge, pois
0 kT vm T vm k kT kkvn vm k 0,
quando m, n e Y e um espaco de Banach. Como (T (xn )) e (T (x0n )) sao subsequencias de
(T (vn )) entao (T (xn )) e (T (x0n )) necessariamente convergem para o mesmo limite, mostrando que
T esta bem definida.
Mostremos agora que T e limitado e kT k = kT k. Para isso seja x D(T ). Logo existe
(xn ) D(T ) tal que
xn x D(T ).
Assim,
0 kT xn k kT kkxn k.
Por outro lado,
T xn T x, quando n
e, portanto, a continuidade da norma implica que
kT xk kT kkxk,
mostrando que T e limitado e que
kT k kT k.
Mas, para todo x D(T ) temos que T x = T x. Logo,
kT xk = kT xk kT kkxk,
ou seja,
kT k kT k,
completando a prova do teorema.
Resolver os exerccios 2, 3, 5, 6, 7 e 8 da pagina 101 do livro [5].
Topicos em Analise Funcional 87
| f (x) |
kf k = sup ,
xD(T ),x6=0 kxk
ou ainda,
kf k = sup | f (x) |= sup | f (x) | .
xD(T ), kxk=1 xD(T ), 0<kxk61
| f (x) | kf kkxk, x X
Exemplo 2.30. A integral definida e um funcional linear limitado no conjunto das funcoes
contnuas. Mais especificamente, Se f : C[a, b] R e definido por
Z b
f (x) = x(t)dt,
a
Ainda,
Z b
| f (x) |=| x(t)dt | (b a) max | x(t) |= (b a)kxk | f (x) | ckxk,
a tJ
X = {f : X K; f e linear}.
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
(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}.
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 ),
A imagem y = T x pode ser obtida de (2.23) e os coeficientes em (2.24) formam uma matriz
TBC = (jk ),
com m linhas e n colunas. A matriz TBC e unicamente determinada pelo operador linear T.
Tambem, toda matriz determina um unico 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
X n
X n
X
f (x) = f ( xj e j ) = xj f (ej ) = xj j , x X,
j=1 j=1 j=1
onde
j = f (ej ). (2.25)
Topicos em Analise Funcional 91
(1, 0, 0, 0, 0)
(0, 1, 0, 0, 0)
. . . . .
(0, 0, 0, 0, 1).
O smbolo jk e chamado de delta Kronecker, o conjunto {f1 , . . . , fn } forma uma base para X ,
denominada base dual da base {e1 , . . . , en } de X. Temos o seguinte resultado
para 1 , 2 , . . . , n . Assim,
n
X
j fj (x) = 0,
j=1
mostrando que
f = 1 f 1 + . . . + n f n .
Logo,
{f1 , f2 , . . . , fn }
e uma base para X , provando teorema.
Mostremos agora uma importante propriedade em espacos vetoriais de dimensao finita.
Lema 2.13. 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.
Demonstracao: Seja {e1 , e2 , . . . , en } uma base de X e 1 , . . . , n K tais que
x0 = 1 e1 + 2 e2 + . . . + n en .
C : X X
x 7 C(x) = gx : X K
f 7 gx (f ) = f (x).
Definicao 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.
Topicos em Analise Funcional 93
0 = gx0 (f ) = f (x0 ),
para todo f X . Logo, o Lema 2.13 implica que x0 = 0, mostrando que Ker (C) = {0} e que C
e injetora. Como o Teorema 2.14 implica que
Vamos mostrar que B(X, Y ) tambem e um espaco normado. Recordemos que definimos a soma
de dois operadores T1 , T2 B(X, Y ) por
(T1 + T2 )(x) = T1 x + T2 x
(T )x = (T x).
kT xk
kT k = sup = sup kT xk = sup kT xk.
x6=0 kxk kxk=1 0<kxk61
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.
Demosntracao: Seja (Tn ) uma sequencia 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 ,
sempre que m, n > N, ou seja (Tn x) e de Cauchy em Y, para cada x X. Como Y e Banach,
existe um unico y Y tal que
Tn x y, quando n .
Definamos T : X Y por
x 7 T x = y = lim Tn (x).
T (x + z) = lim Tn (x + z)
= lim(Tn x + Tn z)
= lim Tn x + lim Tn z
= lim Tn x + lim Tn z
= T x + T z,
isto e, T L(X, Y ).
Vamos mostrar que T e limitado e Tn T. De fato, fazendo m em (2.29) e usando a
continuidade da norma obtemos que
kTm x T xk kxk,
T = Tm (Tm T ),
kTm T k 0, quando m
Definicao 2.22. Seja X um espaco normado. Definimos o dual (topologico) de X como sendo o
espaco normado
X 0 = {f X ; f e limitado},
com norma definida por
| f (x) | | f (x) | | f (x) |
kf k = sup = sup = sup .
x6=0 kxk kxk=1 kxk 0<kxk61 kxk
kT xk = kxk.
(Rn )0 = (Rn ) .
Logo, v
u n
| f (x) | uX
kf k = sup t i2 .
x6=0 kxk i=1
96 Marcos Roberto Teixeira Primo
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 ob-
servacos acima mostram que e uma isometria, completando o exemplo.
Exemplo 2.32. 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, 0, . . .) = (1j )
e2 = (0, 1, 0, 0, . . .) = (2j )
.. .. .. ..
. . . . .
ek = (0, 0, 0, 1, . . .) = (kj )
.. .. .. .. ..
. . . . ..
onde k R, k = 1, 2, . . . .
Consideremos agora um elemento f (l1 )0 no dual de l1 . Como
n
X
x = lim k ek
n
k=1
ou seja,
X
f (x) = k k , (2.31)
k=1
Topicos em Analise Funcional 97
|k | = |f (ek )| kf kkek k = kf k
e, portanto,
sup |k | kf k, (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
X
g(x) = g(1 , 2 , . . .) = k k .
k=1
Como x = (1 , 2 , . . .) l1 , entao
n
X n
X
X
| k k | |k k | kbk |k | < ,
k=1 k=1 k=1
e
X X
|g(x)| |k |kbk = kbk |k | = kbk kxk1 ,
k=1 k=1
mostrando que
kf k sup |j |.
jN
98 Marcos Roberto Teixeira Primo
kf k = sup |j k = kck .
jN
(f ) = c,
Exemplo 2.33. Para 1 < p < , o espaco dual de lp e isomorfo a lq , onde 1 < q < e o
expoente conjugado de 1 < p < , isto e,
1 1
+ = 1.
p q
De fato: Fixemos
1 1
1 < p < e 1 < q < tais que + = 1.
p q
Como no exemplo anterior, uma base de Schauder {e1 , e3 , . . .} lp , 1 < p < , para lp e dada
por
e1 = (1, 0, 0, 0, . . .) = (1j )
e2 = (0, 1, 0, 0, . . .) = (2j )
.. .. .. ..
. . . . .
ek = (0, 0, 0, 1, . . .) = (kj )
.. .. .. .. ..
. . . . ..
Entao, todo x lp se escreve, de forma unica, como
X
x= k ek , (2.33)
k=1
onde k R, k = 1, 2, . . . .
ou seja,
X
f (x) = k k , (2.34)
k=1
|k |q
(
(n) k
, se k n e k 6= 0;
k = (2.35)
0, se k > n ou k = 0.
(n)
Substituindo os valores de k dados em (2.35) em (2.34) obtemos que
X n
X
(n)
f (xn ) = k k = |k |q ,
k=1 k=1
p(q 1) = q,
Logo,
n n
X X 1
q
|k | = f (xn ) kf k( |k |q ) p ,
k=1 k=1
k=1
100 Marcos Roberto Teixeira Primo
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
X
g(x) = g(1 , 2 , . . .) = k k ,
k=1
Ja provamos que
X 1
kckq = ( |k |q ) q kf k.
k=1
p
Mas, para todo x = (k ) l a desigualdade de Holder e (2.34) implicam que
X
X
|f (x)| = | k k | |k k | kxkp kckq ,
k=1 k=1
provando o desejado.
(f ) = c,
X 00 = (X 0 )0 = { X ; e limitado }.
C : X X 00
x 7 C(x) = gx : X 0 K
f 7 gx (f ) = f (x).
R(C) = X 00 .
Nesse caso, dizemos que H = (H, h , i) e um espaco com produto interno, ou pre-hilbertiano.
Observemos que
se o corpo de escalares do espaco vetorial H for o corpo dos numeros reais R, entao (IP 3)
pode ser escrita como
hu, vi = hv, ui
para todo u, v H e neste caso dizemos que o produto interno e simetrico;
Topicos em Analise Funcional 103
1. Para todo u, v H,
1 1
|hu, vi| hu, ui 2 hv, vi 2 . (3.1)
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.
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) = c = hv, vi > 0. Logo,
p() 0 4|hu, vi|2 4hu, uihv, vi 0
|hu, vi|2 hu, uihv, vi.
Assim,
1 1
|hu, vi| hu, ui 2 hv, vi 2 ,
para todo u, v H, provando (3.1).
As demonstracoes dos tens 2 e 4 sao imediatas e ficam como exerccio. Para o item 3,
observemos que para quaisquer u, u0 , v, v0 H temos que
|hu, vi hu0 , v0 i| = |hu, vi hu0 , vi + hu0 , vi hu0 , v0 i|
|hu u0 , vi + hu0 , v v0 i|
ku u0 kkvk + ku0 kkv v0 k,
de onde obtemos o item 3.
Observemos que a igualdade em (3.1) ocorre quando u = v, ou quando v = u. Ainda,
usando a norma definida na proposicao acima, (3.1) pode ser escrita como
|hu, vi| kukkvk,
para todos u, v H, que e conhecida como Desigualdade de Cauchy-Schwarz.
Teorema 3.1 (M. Frechet, J. Von Neumann e P. Jordan). Seja (H, k k) um espaco normado.
A norma k k e induzida por um produto interno em H se, e somente se, vale a identidade do
paralelogramo
ku + vk2 + ku vk2 = 2(kuk2 + kvk2 ),
para u, v H.
Demonstracao: Suponhamos inicialmente que exista um produto interno h , i em H tal
que
1
kuk = hu, ui 2 ,
para todo u H. Assim, para todo u, v H, segue que
p p
ku + vk2 + ku vk2 = ( 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 ),
Topicos em Analise Funcional 105
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 . (3.2)
4
Tambem, para u, v H,
1 1
f (u, v) = (ku + vk2 ku vk2 ) = (kv + uk2 | 1|kv uk2 ) = f (v, u). (3.3)
4 4
Mostremos agora que
f (u + v, w) = f (u, w) + f (v, w), (3.4)
para quaisquer u, v, w H. Para fazermos isso definamos a funcao auxiliar : H H H R
por
(u, v, w) = 4[f (u + v, w) f (u, w) f (v, w)], u, v, w H
e mostremos que (u, v, w) = 0, para todos u, v, w H. A definicao de f implica que
1
f (u + v, w) = (ku + v + wk2 ku + v wk2 )
4
1
f (u, w) = (ku + wk2 ku wk2 )
4
1
f (v, w) = (kv + wk2 kv wk2 ).
4
Logo,
(u, v, w) = ku + v + wk2 ku + v wk2 ku + wk2 + ku wk2 kv + wk2 + kv wk2
= k(u + w) + vk2 k(u w) + vk2 ku + wk2 + ku wk2 kv + wk2 + kv wk2
(3.5)
A identidade do paralelogramo implica que
k(u + w) + vk2 + k(u + w) vk2 = 2(ku + wk2 + kvk2 )
k(u w) + vk2 + k(u w) vk2 = 2(ku wk2 + kvk2 ).
Portanto,
(u, v, w) = 2ku + wk2 + 2kvk2 k(u + w) vk2 2ku wk2 2kvk2
+ k(u w) vk2 ku + wk2 + ku wk2 kv + wk2 + kv wk2
(3.6)
= ku + wk2 k(u + w) vk2 ku wk2 + k(u w) vk2
kv + wk2 + kv wk2 .
106 Marcos Roberto Teixeira Primo
mostrando que
() = 0, Q. (3.9)
A densidade de Q em R, a continuidade de f e (3.9) mostram que () = 0 para todo R e,
portanto, que (3.7) e valida.
108 Marcos Roberto Teixeira Primo
h u + v, wi = f (u + v, w) + if (u + v, iw)
= f (u, w) + f (v, w) + if (u, iw) + if (v, iw)
= f (u, w) + if (u, iw) + f (v, w) + if (v, iw)
= h u, wi + h v, wi ,
para todo uv, w H, provando (IP 1).
Agora (3.7) implica que
para u, v H. Mas,
1
f (iu, iv) = [kiu + ivk2 kiu ivk2 ]
4
1
= [|i|2 ku + vk2 |i|2 ku vk2 ]
4
1
= [ku + vk2 ku vk2 ]
4
= f (u, v),
Topicos em Analise Funcional 109
para u, v H. Logo,
para u, v H.
Portanto, para todo u, v H e = + i C, temos que
h u, vi = h ( + i)u, vi
= h (u + iu, vi
= h u, vi + ih u, vi
= ( + i)h u, vi
= h u, vi ,
onde J = [a, b], e um espaco de Banach, mas a norma definida acima nao pode ser obtida de um
produto interno.
110 Marcos Roberto Teixeira Primo
De fato: Se tomarmos
(t a)
x(t) = 1 e y(t) = ,
(b a)
temos que kxk = 1, kyk = 1 e
ta ta
x(t) + y(t) = 1 + 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
Entao,
x, y lp ;
1
kxkp = kykp = 2 p ;
kx + ykp = kx ykp = 2.
Entao,
Topicos em Analise Funcional 111
x, y l ;
kxk = kyk = 1;
kx + yk = kx yk = 2.
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)
e norma induzida pelo produto interno dada por
1 1
kxk = (1 1 + . . . + n n ) 2 = (|1 |2 + . . . + |n |2 ) 2 .
Exemplo 3.6 (Espaco l2 das Sequencias de Hilbert ). O espaco vetorial l2 definido por
X
2
l = {x = (x1 , x2 , . . .); xi C e | xi |2 < }
i=1
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
kxk = ( |x(t)|2 dt) 2 ,
a
para toda funcao contnua x : [a, b] R. Denotaremos este espaco vetorial por
Z b
1
2
L (a, b) = ({x : (a, b) R; x e contnua }, kxk = ( |x(t)|2 dt) 2 ).
a
Em L2 (a, b) esta norma pode ser obtida do produto interno definido por
Z b
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 b
hx, yi = x(t)y(t)dt.
a
O ultimo resultado desta secao nos da um formula para obtermos o produto interno em funcao
da norma induzida por ele, que sao conhecidas como identidades de polarizacao.
1
h u, vi = (ku + vk2 ku vk2 ), (3.12)
4
para todo u, v H.
1
Re(h u, vi ) = (ku + vk2 ku vk2 )
4 (3.13)
1
Im(h u, vi ) = (ku + ivk2 ku ivk2 )
4
Topicos em Analise Funcional 113
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 ,
ku + vk2 ku vk2 = 2h u, vi + 2h v, ui
= 4Re(h u, vi ),
Lema 3.1. Sejam H um espaco com produto interno, (un )nN e (vn )nN duas sequencias em H
tais que
un u H e vn v H,
quando n . Entao,
hvn , vn i hu, vi,
quando n .
114 Marcos Roberto Teixeira Primo
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 ,
e
kxk2 = hy, yi1 , y H2 ,
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 unico exceto
por isomorfismo.
dn = kf vn k d = inf kf vk,
vK
1
k (u1 + u2 ) f k > d.
2
Logo,
0 ku1 u2 k2 2d2 + 2d2 4d2 = 0,
mostrando que u1 = u2 .
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 (0, 1] temos que
2h f u, w ui tkw uk2 ,
para todo w K. Fazendo t 0 obtemos (3.15).
ku f k2 kv f k2 = 2h f u, v ui kv uk2 kv uk2 0,
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.
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,
Proposicao 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,
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.
h f u, v ui = h f u, vi h f u, ui = 0 0 0, v M
hz, y1 i = 6= 0. (3.17)
Claramente y1 6= 0, pois de outra forma hz, y1 i = 0. Alem disso, para qualquer escalar K,
kz y1 k2 = hz y1 , z y1 i
= hz, zi hz, y1 i (hy1 , zi hy1 , y1 i)
= hz, zi ( hy1 , y1 i).
Topicos em Analise Funcional 119
= 6= 0.
hy1 , y1 i
||2
kz y1 k2 = kzk2 < d2 ,
hy1 , y1 i
kz y1 k > d.
Definicao 3.6. Seja X um espaco vetorial. Diremos que X e a soma direta de dois subespacos
vetoriais Y e Z de X, denotaremos por
X = Y Z,
x = y + z,
H = Y Z, (3.18)
onde Z = Y .
Demonstracao: Como Y e convexo, o Lema 3.2 implicam que para todo x H existe um unico
y Y tal que
x = y + z, (3.19)
onde z Z = Y .
Mostremos agora que a decomposicao em (3.19) e unica. Suponhamos que
x = y + z = y1 + z1 ,
120 Marcos Roberto Teixeira Primo
x 7 y = P x.
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.
M M , (3.20)
Y = Y . (3.21)
H = Z Z .
para todo x H e
kzk = kf k. (3.23)
Demonstracao: Provaremos que f tem uma representacao da forma (3.22), z em (3.22) e unico
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}
f (z0 )
z= z0 .
hz0 , z0 i
Como x H foi tomado arbitrario, (3.22) esta provado.
kzk 6 kf k.
h : X Y K
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
Portanto,
h(x, y) = hz, yi, y H2 , (3.28)
onde z H2 e unico para cada x H1 fixado. Assim, (3.28) define uma aplicacao S : H1 H2
por
Sx = z, x H1 .
Topicos em Analise Funcional 125
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
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
Vemos que Sx = T x para todo x H1 pelo Lema 3.6. Portanto S = T, completando a prova do
teorema.
Resolver os exerccios 8, 9, 10, 12, 13 e 14 das paginas 194 e 195 do livro [5].
126 Marcos Roberto Teixeira Primo
Teorema 3.8. Sejam H1 e H2 espacos de Hilbert sobre o mesmo corpo de escalares K. O operador
adjunto de Hilbert T : H2 H1 do operador linear limitado T : H1 H2 dado na Definicao 3.8
acima existe, e unico e e um operador linear limitado com norma dada por
kT k = kT k (3.30)
khk 6 kT k.
Alem disso,
|hy, T xi| |hT x, T xi|
khk = sup > sup = kT k,
x,y6=0 kykkxk x,T x6=0 kT xkkxk
mostrando que
khk = kT k.
O Teorema da Representacao de Riesz implica que existe uma unica transformacao linear
limitada T : H2 H1 satisfazendo
h(y, x) = hT y, xi (3.32)
e
kT k = khk = kT k.
Topicos em Analise Funcional 127
ou seja,
hx, Sy T yi = 0,
Demonstracao:
(a) Q = 0 significa Qx = 0 para todo x X e implica, para todo y Y, que
hQx, yi + hQy, xi = 0.
E com = i, temos
hQx, yi hQy, xi = 0.
hQx, yi = 0,
Na parte (b) desse lema, e essencial que X seja um espaco com produto interno sobre K = C.
De fato, a conclusao pode nao ser valida se X e real. Um contra-exemplo e uma rotacao Q no
plano R2 de angulo = , isto e, Q : R2 R2 definida por
2
Q(x, y) = (y, x), (x, y) R2 .
Claramente, Q e linear, Q(x, y) (x, y) e, portanto, hQ(x, y), (x, y)i = 0 para todo (x, y) R2 ,
entretanto Q 6= 0.
Teorema 3.9. Sejam H1 , H2 espacos de Hilbert sobre o mesmo corpo de escalares K, S : H1
H2 e T : H1 H2 operadores lineares limitados e K. Entao, para x H1 e y H2 temos
(b) (S + T ) = S + T ;
(c) (T ) = T ;
(d) (T ) = T ;
(e) kT T k = kT T k = kT k2 ;
(f ) T T = 0 T = 0;
Demonstracao:
(a) De (3.29) temos, para x H1 e y H2 , que
kT k2 6 kT T k.
kT k2 6 kT T k 6 kT kkT k = kT k2
Portanto kT T k = kT k2 . Trocando T por T e usando novamente (3.30), tambem temos que
kT T k = kT k2 = kT k2
Portanto, o Lema 3.6 implica que (ST ) y = T S y, para todo y H2 , mostrando (g).
Resolver os exerccios 1, 2, 3, 4, 5, 6, 7 e 8 das paginas 200 e 201 do livro [5].
1. auto-adjunto se T = T ;
2. unitario se T e bijetor e T = T 1 ;
3. normal se T T = T T .
130 Marcos Roberto Teixeira Primo
Observemos que
hT x, yi = hx, T yi,
para todo x, y H.
Demonstracao:
(a) Se T e auto-adjunto, entao para todo x H,
hT x, xi = hx, T xi = hT x, xi.
hT x, xi = hT x, xi = hx, T xi = hT x, xi.
Portanto,
0 = hT x, xi hT x, xi = h(T T )x, xi.
ST = T S.
Teorema 3.12. 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
e auto-adjunto em H.
Demonstracao: Devemos mostrar que T = T . Isso seguira se mostrarmos que kT T k = 0.
Temos que
se n . Portanto, kT T k = 0 e T = T .
Teorema 3.13. Sejam U, V : H H dois operadores unitarios definidos em um espaco de Hilbert
H sobre um corpo de escalares K. Entao
2. se H 6= {0}, entao kU k = 1;
3. U 1 = U e um operador unitario;
4. U V e unitario;
5. U e normal;
provando o item 2.
(U 1 ) = U = U = (U 1 )1 ,
(U V ) = V U = V 1 U 1 = (U V )1 ,
U U = U U 1 = U 1 U = U U,
Para provarmos o item 6, suponhamos inicialmente que T e um operador linear limitado que
e uma isometria sobrejetora em H. O fato de T ser uma isometria implica que T e injetor e,
portanto, T e bijetor. Ainda, para todo x H, temos que
T T = T T (T T 1 ) = T (T T )T 1 = T T 1 = I,
Os Teoremas de Hahn-Banach
e linear.
Agora, em qualquer caso, se X e um espaco vetorial e f e limitado, entao
para todo x X. Logo, u : X R e um funcional linear limitado e kuk kf k. Por outro lado,
se u : X R e limitado e como
Lema 4.1 (Lema de Zorn). Todo conjunto nao vazio, ordenado e indutivo admite um elemento
maximal.
Demonstracao: A prova deste resultado pode ser encontrada em [8].
Definicao 4.2. Seja X um espaco vetorial sobre K. Um funcional sub-linear sobre E e ua funcao
p : X R tal que
p(x + y) p(x) + p(y),
p(x) = p(x),
para todo x, y X e para todo > 0.
Quando p(0) = 0, o funcional da Definicao 4.2 e chamado de Funcional de Minkowski.
Teorema 4.1 (Forma Analtica do Teorema de Hahn-Banach). Sejam X um espaco vetorial sobre
R, p um funcional sub-linear em X, G um subespaco vetorial de X e g : G R uma aplicacao
linear em X tal que
g(x) p(x),
para todo x G. Entao existe um funcional linear f : X R tal que
Temos
P 6= , pois g P ;
D(h) = iI D(hi )
Assim, o Lema de Zorn implica que P tem um elemento maximal, isto e, existe f P tal que
se f h, para h P, entao h = f.
Vamos mostrar que D(f ) = X. De fato, suponhamos, por absurdo, que D(f ) X. Logo,
existe x0 X tal que x0 6 D(f ). Definamos h : D(h) X R por
e
h(x + tx0 ) = f (x) + t,
com a ser determinado. Temos que:
136 Marcos Roberto Teixeira Primo
h e linear;
ou seja,
f (x) + t p(x + tx0 ), (4.1)
para todo x D(f ) e t R.
Primeiramente, mostremos que para t = 1, podemos escolher tal que (4.1) esta satisfeita.
Para t = 1, (4.1) e equivalente a
(
p(x + x0 ) f (x)
f (x) p(x x0 ),
Logo,
f (x) p(x x0 ) p(y + x0 ) f (y),
para todo x, y D(f ). Fixando x D(f ), temos que
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
x x x
f (x) + t = f (s ) s = s[f ( ) ] sp( x0 ) = p(x + tx0 ).
s s s
Topicos em Analise Funcional 137
Logo,
h(x + tx0 ) f (x) + tx0 ,
para todo x D(f ) e t R. Assim, h P com f h e h 6= f, pois D(f ) D(h), o que contradiz
o Lema de Zorn. Portanto D(f ) = X, e o teorema esta demonstrado.
Definicao 4.3. Seja X um espaco vetorial sobre K ( K = C ou K = R). Uma aplicacao p : X R
e uma seminorma se as seguintes condicoes estao satisfeitas:
|g(x)| p(x),
Corolario 4.2. Sejam X um espaco vetorial normado real e x0 X. Entao existe f0 X 0 tal que
g e linear;
x0
Por outro lado, tomando y = kx0 kX
, temos kykG = 1 e
1
|g(y)| = | kx0 k2X | = kx0 kX ,
kx0 kX
e
kf0 kX 0 = kgkG0 = kx0 kX ,
Exerccio 4.3. Sejam X um espaco vetorial real, p : X R uma funcao tal que
e
p(x) = ||x,
Exerccio 4.6. Sejam X um espaco normado X sobre um corpo de escalares K. Entao para todo
elemento x X, temos que
|f (x)|
kxk = sup .
f X ; f 6=0 kf k
0
H = {x E; f (x) = },
onde f e um funcional linear nao identicamente nulo e R. Diremos entao que H e o hiperplano
de equacao [f = ].
Observemos que como f 6 0, entao H 6= E e H 6= . Notemos tambem que f nao e necessa-
riamente contnuo.
Definicao 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.7. Sejam A e B subconjuntos nao vazios de E. Definindo
A + B = {x + y; x A e y B},
mostre que
1. A + B e nao vazio;
140 Marcos Roberto Teixeira Primo
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
isto e, tx0 + (1 t)x1 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
Entao,
x BE (x0 , r1 ) x = x0 + r1 z, z BE (0, 1).
Assim, para todo z BE (0, 1) temos que
f (x0 + r1 z) < ,
ou seja,
f (x0 ) + r1 f (z) < , z BE (0, 1),
ou ainda,
f (x0 )
f (z) < , z BE (0, 1).
r1
Logo,
f (x0 )
f (z) < , z BE (0, 1),
r1
Topicos em Analise Funcional 141
mostrando que
f (x0 )
|f (z)| < , z BE (0, 1).
r1
Da, f e limitada e
2
kf kE 0 ( f (x0 )),
r1
concluindo a prova desta proposicao.
Definicao 4.6. Sejam A e B subconjuntos de E. Dizemos que o hiperplano H = [f = ] separa
A e B no sentido fraco (fracamente) se
f (x) f (y),
para x A e y B.
Teorema 4.2 (Teorema de Hahn-Banach - Primeira Forma Geometrica). Se A e B sao subcon-
juntos nao vazios, convexos e disjuntos em E. Se A e aberto, entao existe um hiperplano fechado
que separa A e B no sentido fraco.
Para demostrarmos este teorema, precisamos demonstrar antes dois lemas auxiliares.
Lema 4.2 (Funcional de Minkowski). Seja C um subconjunto aberto, convexo e tal que 0 C.
Para todo x E, defina
p(x) = inf{ > 0; 1 x C}.
Entao, p e sublinear e existe M > 0 tal que
2kxkE
Logo, { > 0; 1 x C} e, portanto, p esta bem definido. Claramente p(x) 0, para
r
2 2
todo x E, e a definicao de p implica que p(x) < kxkE . Tomando M = , obtemos a segunda
r r
desigualdade em (4.3).
142 Marcos Roberto Teixeira Primo
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,
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}
= inf{( ); ( )1 x C} = inf{ > 0 : 1 x C}
= p(x).
x p(x)
p( )= < 1.
p(x) + p(x) +
1 1
Logo, x C. Da mesma forma, y C. Entao, a convexidade de C implica que
p(x) + p(y) +
x y
t + (1 t) C,
p(x) + p(y) +
p(x) +
para todo t [0, 1]. Tomando 0 < t = < 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,
x+y
p( )<1
p(x) + p(y) + 2
e, portanto,
p(x + y) < p(x) + p(y) + 2.
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.
Demonstracao: 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
C1 = C {x1 } = {x x1 ; x C} e x0 = x0 x1 ,
temos que 0 C1 e a primeira parte deste lema implica que existe f E 0 tal que para todo
f (x x1 ) < f (x0 x1 )
e, portanto, f (x) < f (x0 ), para todo x C, completando a prova deste lema.
C = A B = {x y; x A e y B}.
144 Marcos Roberto Teixeira Primo
O Exerccio 4.7 implica que C e convexo, nao vazio e aberto em 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, completando a prova do teorema.
Entao, o Exerccio 4.7 implica que A e B sao subconjuntos convexos, abertos e nao vazios de
dist (A, B)
E. Tambem, A B = , para algum 0 < 1 < 0 := . De fato, se, por absurdo,
2
A B 6= , para todo < 0 , entao existem sequencias (n )n1 (0, 0 ) e (zn )n1 An Bn ,
com n 0, quando n . Da,
an + n xn = zn = bn + n yn ,
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
A1 B1 = para algum 1 > 0, suficientemente pequeno.
O Teorema 4.2 implica que existe um hiperplano fechado de equacao [f = ] que separa A1
e B1 no sentido fraco. Temos
para x A e y B. Logo,
f (x) + 1 sup f (z) f (y) + 1 inf f (z) = f (y) 1 sup f (z) = f (y) 1 sup f (z),
kzk<1 kzk<1 kzk<1 kzk<1
Corolario 4.3. Seja E um espaco vetorial normado real e F um subespaco vetorial de E tal que
F 6= E. Entao, existe f E 0 , f 6 0, tal que
hf, xi = 0,
para todo x F.
Obervacao 4.1. Nas aplicacoes, usamos o Corolario 4.3 para verificarmos quando um subespaco
vetorial F de E e denso em E (F = E). Para isso, precisamos verificar a seguinte afirmacao:
se f E 0 e tal que
hf, xi = 0, x F,
entao f 0.
146 Marcos Roberto Teixeira Primo
Diremos que e propria se D() 6= , isto e, existe x0 E tal que (x0 ) < +. Definimos o
epigrafico de , veja Figura 2.1 abaixo, como sendo o conjunto
R
epi()
Exerccio 4.8. Mostre que e semicontnua inferiormente se, e somente se, para toda sequencia
(xn ) E tal que xn x, quando n , e tal que
onde
Xn = {(xn ), (xn+1 ), (xn+2 ), . . .}.
n n1 = xn BE (x, ).
Logo,
an1 a ,
pois
{xn1 , xn1 +1 , . . .} BE (x, ),
onde
a = inf (y),
yBE (x,)
e, portanto,
an an1 a , n n1 ,
ou seja,
lim an a > (x) .
n
Portanto,
lim inf (xn ) (x),
n+
para todo xn x.
(=) Suponhamos, por absurdo, que
1
Tomando n0 N tal que n0
< 0 , temos para todo n > n0 que
1 1
< < 0 = inf (y) < (x) , n > n0 .
n n0 1
yBE (x, n )
Assim,
= lim n lim inf (xn ) (x),
n
(xn , ) (x, ).
Como epi() e fechado, entao (x, ) epi() = epi() e, portanto, (x) , para todo
R. Assim,
(x) lim inf n = lim inf (xn );
n n
lim inf n (xn ) R: Neste caso, existe uma subsequencia (nk )nk 1 de (n ) tal que
lim inf n (xn ) < +: Neste caso, para todo numero real tal que > lim inf n (xn ),
existe um numero infinito de ndices tais que xn [ ], pois caso contrario, nao existiria
uma subsequencia (xnk ) de (xn ) tal que (xnk ) lim inf ninf (xn ). Como [ ] e fechado,
entao (x) . Se
lim inf (xn ) < (x),
n
1 < (x) 1 ,
(b) Se (i )iI e uma famlia de funcoes semicontnuas inferiormente, entao (x) = sup i (x)
iI
tambem e semicontnua inferiormente;
Demonstracao:
a) () Suponhamos que seja convexa e consideremos (x, ) e (y, ) elementos em epi().
Temos que
(tx + (1 t)y) t(x) + (1 t)(y) t + (1 t),
para todo t [0, 1], mostrando que t(x, ) + (1 t)(y, ) = (tx, t) + ((1 t)y, (1 t)) epi().
() Suponhamos agora que epi() e convexo. Primeiro notemos que se (x, ), (y, )
epi(), entao para todo t [0, 1] temos que
e, portanto,
(tx + (1 t)y) t + (1 t).
Agora, para x, y E, se (x) = + ou (y) = +, o resultado segue imediatamente da
Definicao 4.8. Se (x) e (y) sao numeros reais, entao tomando = (x) e = (y), o resultado
segue do que foi visto acima.
b) Suponhamos que seja convexa e sejam x, y [ ]. Para todo t [0, 1] temos que
3. Se (i )iI e uma famlia de funcoes convexas, entao (x) = sup i (x) tambem e convexa.
iI
(f ) = sup{hf, xi (x)},
xE
e convexa e semicontnua inferiormente. Por outro lado, para todo x E\D(), para f E 0
fixada,
sup {hf, xi (x)} = sup {hf, xi}. (4.5)
xE\D() xE\D()
Como a aplicacao f 7 hf, xi e linear e contnua para todo f E 0 , os Exerccios 4.9 e 4.10,
mostram que a aplicacao em (4.5) e convexa e semicontnua inferiormente.
Assim, e convexa e semicontnua inferiormente.
e
((x0 , 0 )) < . (4.7)
Observemos que a aplicacao E 3 x 7 ((x, 0)) e linear e contnua. Logo, existe f E 0 tal
que f (x) = (x, 0). Tomando K = ((0, 1)), para (x, ) E R, temos que
e
hf, x0 i + 0 K < . (4.9)
Como (x, (x)) epi(), para todo x D(), entao (4.8) implica que
Entao,
K((x0 ) 0 ) > 0,
de onde conclumos que K > 0, pois 0 < (x0 ) < .
Agora, dividindo (4.10) por K obtemos que
f
h , xi (x) < , x D().
K K
Note que quando x 6 D(), entao (x) = + e, portanto
f
h , xi (x) = .
K
Logo,
f
(
) ,
K K
0
mostrando que existe g E tal que (g) 6= +.
Definicao 4.10. Seja : E 0 (, +] a funcao conjugada de : E (, +]. Se e
propria, definimos a conjugada de , : E (, +], por
(f ) hf, xi (x), x E,
entao
hf, xi (f ) (x), x E.
154 Marcos Roberto Teixeira Primo
Logo,
(x) (x), x E,
de onde conclumos que .
Por outro lado, suponhamos que exista x0 E tal que
Em E R, tome A = epi() e B = {(x0 , (x0 ))}. Como na Proposicao 4.6, a segunda forma
geometrica do Teorema de Hahn-Banach implica que existem f E 0 , R e K R tais que
e
hf, x0 i + K (x0 ) < . (4.12)
Observemos que como (x0 ) pode ser igual a +, nao podemos concluir como na Proposicao 4.6
que K > 0. Mas, fixando x D(), isto e, 0 (x) < +, (4.11) implica que
hf, xi
K>
e fazendo , obtemos que K 0. Agora, dado > 0, como 0, (4.11) implica que para
todo x D(),
Logo,
f
h , xi (x) < , x D().
K + K +
Portanto, como na Proposicao 4.6, obtemos que
f
( ) , (4.13)
K + K +
para todo > 0. A definicao de e (4.13) implicam que
f f f
(x0 ) h , x0 i ( ) h , x0 i + ,
K + K + K + K +
ou seja,
hf, x0 i + (K + ) (x0 ) ,
para todo > 0. Fazendo 0, obtemos que
hf, x0 i + K (x0 ) ,
Assim, = .
Segunda Etapa: Nesta etapa estamos supondo que e uma funcao qualquer. Seja f0 D( ),
isto e, (f0 ) < +, e defina : E (, +] por
Temos que e convexa, propria e semicontnua inferiormente. Ainda mais, como (f0 ) hf0 , xi
(x), para todo x E, entao (x) 0, para todo x E. A primeira etapa da demonstracao
desse teorema implica que () = . Calculemos agora () e () . Para f E 0 temos
() (f ) = sup{hf, xi (x)}
xE
= (f + f0 ) (f0 ).
Para x E temos
() = sup {hf, xi () (f )}
f E 0
Assim,
0,
kf k 1
(f ) =
+, kf k > 1,
pois
para kf k 1, temos hf, xi kxk kf kkxk kxk kxk kxk = 0, para todo x E,
mostrando nesse caso que (f ) = 0;
B(x, ) C e B(y, ) C.
tB(x, ) + (1 t)B(y, ) C,
pois C e convexo e ainda, tB(x, ) + (1 t)B(y, ) e um subconjunto aberto. Logo, existe > 0
tal que
B(tx + (1 ty), ) tB(x, ) + (1 t)B(y, ) C,
isto e, tx + (1 t)y int(C) para todo t [0, 1], mostrando que int(C) e convexo.
Tomemos agora x0 int(C) e fixemos > 0 tal que B(x0 , ) C. Claramente int(C) C.
Se x C, entao existe (xn ) C tal que xn x, quando n . A convexidade de C implica
que para todo n N e todo t (0, 1),
y = tx0 + (1 t)xn + h,
h
y = t(x0 + ) + (1 t)xn C,
t
isto e, B(tx0 + (1 t)xn , t) C, para todo n N e todo t (0, 1). Tomando t = 1/n temos que
1 1
yn = x0 + (1 )xn int(C) e yn x,
n n
Teorema 4.5. Sejam E um espaco vetorial normado real e , : to(, +] duas funcoes
convexas. Se existir x0 E tal que (x0 ) < , (x0 ) < e e contnua em x0 , entao
b = sup {? (f ) ? (f )}
f E 0
=a.
B(x0 , ) (, + 1) epi() = C.
Temos que
A 6= .
Assim, a Primeira Forma Geometrica do Teorema de Hahn-Banach implica que existe um hiper-
plano fechado de equacao [ = ] que separa fracamente A de B. A continuidade de implica
que este mesmo hiperplano fechado separa fracamente A = int(C) = C (Lema 4.4). Assim, como
nos Teoremas 4.2 e 4.3, existem f E 0 e , k R tais que
Vamos mostrar que k > 0. Para isso, notemos que como (x0 , (x0 )) C, entao (x0 , n) C, para
n N suficientemente grande e, portanto,
f (x)
k,
n
para n suficientemente grande. Logo, k 0. Suponhamos agora, por absurdo, que k = 0. Entao,
pois se x D(), entao (x, (x)) C e para todo x D(), (x, a (x) + 1) B. Tambem, a
continuidade de em x0 implica existe > 0 tal que B(x0 , ) D(). Entao,
f (x0 + z) ,
Topicos em Analise Funcional 159
onde, (
0, se x K
IK (x) =
+, se x
6 K,
e denominada funcao indicatriz de K.
Demonstracao: Fazendo (x) = kx x0 k e (x) = IK (x), temos que e sao funcoes convexas
satisfazendo todas as condicoes do Teorema 4.5. Agora,
? (f ) = sup{hf, xi kx x0 k}
xE
=hf, x0 i + sup{hf, x x0 i kx x0 k}
xE
ou seja, (
hf, x0 i, kf k 1
? (f ) =
, kf k > 1,
e o resultado segue imediatamente do Teorema 4.5.
Captulo 5
(S)c = int(S c ),
x (S)c x 6 S
x 6 S e x 6 S 0
> 0; B(x; ) (S {x}) =
> 0; B(x; ) S) =
B(x; ) S c
x int(S c ),
provando o lema.
Lema 5.2 (Lema de Baire). Sejam X um espaco metrico completo e (Xn )nN uma sequencia de
subconjuntos fechados de X. Se int(Xn ) = para cada n N, entao
[
int( Xn ) = .
n=1
x X = x 6 int(Xn ), n N
= B(x; ) (X Xn ) 6= , > 0 e n N
= B(x; ) On , > 0 e n N
= x On , n N,
xn On B(xn1 , rn1 )
162 Marcos Roberto Teixeira Primo
e
rn1
B(xn , rn ) On B(xn1 , rn1 ), com 0 < rn < .
2
Dessa forma, (xn ) e uma sequencia de Cauchy em X e a completicidade de X implica que
existe l X tal que xn l. Mas, para todo p 0, xn+p B(xn , rn ) para cada n 0. Fazendo
p obtemos que l B(xn , rn ), para cada n 0. Assim, l On , para todo n N, ou seja
l G W.
Portanto, W G 6= , completando a prova do lema.
Corolario 5.1. Sejam X um espaco metrico completo e (Xn )nN uma sequencia de subconjuntos
fechados de X tal que
S
n=1 Xn = X. Entao, existe n0 N tal que int(Xn0 ) 6= .
Demonstracao: Suponhamos, por absurdo, que int(Xn ) = , para todo n N. Entao, o Lema
de Baire implica que
[
X = int( Xn ) = ,
n=1
o que e um absurdo.
para quaisquer x E e i I.
Agora, usando o Lema de Baire, temos que Int(Xn0 ) 6= , para algum n0 1. Sejam x0 E e
r > 0 tais que B(x0 ; r) Xn0 . Entao
para todo i I e todo z B(0, 1). A continuidade da norma, a continuidade de cada operador Ti
e o fato de que em espacos normados
implicam que
rkTi (z)k n0 + kTi (x0 )k
para todo i I e todo z B[0; 1]. Logo,
ou seja,
rkTi kL(E,F ) 2n0 .
Logo,
sup kTi kL(E,F ) < ,
iI
provando o resultado.
Corolario 5.2. Sejam E e F dois espacos de Banach sobre o mesmo corpo de escalares K e
(Tn )nN uma sequencia 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 para todo x E, entao
(ii) T L(E, F );
0
para f G e b B. Tomando o supremo em f, com kf k 1, em ambos os lados da desigualdade
acima, obtemos que
sup |hf, bi| c
kf k1
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= nBE (0, 1).
n=1
Logo,
[
[
F = nT (BE (0, 1)) = nT (BE (0, 1)).
n=1 n=1
BF (0, 4r) = y0 + BF (y0 , 4r) T (BE (0, 1)) + T (BE (0, 1)).
Topicos em Analise Funcional 167
1 r
kx1 k < e ky T (x1 )k < .
2 4
Aplicando o mesmo raciocnio para y T (x1 ) e = 8r , obtemos que existe x2 E tal que
1 r
kx2 k < e ky T (x1 ) T (x2 )k < .
8 8
Repetindo este processo, obtemos uma sequencia (xn )nN em E tal que
1 r
kx1 k < e ky T (x1 )k <
2 4
e
1 r
kxn k < e ky T (x1 + . . . + xn )k < ,
2n+1 2n+1
para todo n > 2.
Assim, a sequencia (zn )nN , onde zn = x1 + . . . + xn , e uma sequencia de Cauchy em E. Como
E e um espaco de Banach, temos que existe x E tal que
zn x, n .
Como,
3
kzn k ,
4
para todo n N, obtemos que kxk < 1. A continuidade de T implica 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.6) e valida.
BE (x0 , ) = x0 + BE (0, ) U.
168 Marcos Roberto Teixeira Primo
Assim,
T (x0 ) + T (BE (0, )) T (U ). (5.8)
Demonstracao: Para todo y F, existe um unico x E tal que y = T x. Entao, existe 0 < r1 < r
tal que
BE (0, r1 ) BE (0, r)
e
r1
y1 = y BF (0, r1 ),
kyk
onde r e dado no Teorema 5.2. Assim,
r1
y1 = y BF (0, r1 ) BF (0, r) T (BE (0, 1)).
kyk
kyk
T( u) = y = T x
r1
kyk
e a injetividade de T implica que x = r1
u. Da,
kyk kyk 1
kxk = kuk < = kT xk,
r1 r1 r1
isto e,
1
kxk < kT xk,
r1
mostrando que
1
kT 1 yk < kyk,
r1
para todo y F.
Topicos em Analise Funcional 169
Corolario 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 ,
Id : (E, k . k2 ) (E, k . k1 )
para (u, v) E F.
Definicao 5.4. Sejam E e F espacos normados reais. Definimos o grafico de uma transformacao
linear T : D(T ) E F como sendo o conjunto
Lema 5.3. O grafico G(T ) de uma transformacao linear T : D(T ) E F 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.
Demonstracao: 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.
170 Marcos Roberto Teixeira Primo
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.
Definicao 5.5. Dizemos que uma transformacao linear T : D(T ) E F entre espacos nor-
mados E e F e fechada se G(T ) e fechado em E F, ou seja, se, e somente se, toda sequencia
(xn ) D(T ) tal que xn x e T xn y, quando n , tivermos x D(T ) e T x = y.
Exerccio 5.7. Mostre que podem existir transformacoes lineares contnuas T : D(T ) E F
tais que D(T ) e um subespaco vetorial denso em E, isto e, D(T ) = E e G(T ) nao fechado em
E F, ou seja T nao e uma transformacao linear fechada.
Proposicao 5.1. Seja T : D(T ) E F uma transformacao linear contnua entre espacos
normados E e F. Temos que
xn x, em E e T xn y, em F.
mostrando que
T xn T x, em F.
Temos que D(T ) D(T ). Por outro lado, seja x D(T ). Entao, existe (xn ) D(T ) tal que
xn x, em E.
Como T e uma transformacao linear e limitada, entao para quaisquer m, n n temos que
x D(T ) e que T x = y,
mostrando que
D(T ) 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 sequencia de Cauchy em (D(T ), k k1 ). Temos
0 kxm xn k2 kxm xn k1 0,
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,
kT xkE (c 1)kxkE ,
isto e, T e limitada.
Agora, como (E E, k kEE = k kE + k kE ) e um espaco de Banach e G L e fechado em
E E, pois G e L sao fechados em (E, k kE ), entao (G L, k kGL ) tambem e um espaco de
Banach. Tambem, G+L e fechado em (E, kkE ), que e um espaco de Banach, logo (G+L, kkG+L )
e tambem um espaco de Banach. O Teorema da Aplicacao Aberta implica entao que existe c1 0
tal que
BG+L (0, c1 ) T (BGL (0, 1)),
isto e, para todo w G + L, com kwkG+L < c1 , existe (u, v) G L tal que k(u, v)kGL =
kukE + kvkE < 1 e u + v = T (u, v) = w.
Seja z G + L, z 6= 0 e escreva w = (k/kzkE )z, com 0 < k < c1 . Entao, 0 < kwkE = k < c1 .
Logo, existe u G e v L com k(u, v)kGL = kukE + kvkE < 1 e tais que w = T (u, v) = u + v.
Assim,
kzkE kzkE kzkE
z= w= u+ v := x + y,
k k k
com
kzkE 1 kzkE 1
kxkE = kukE < kzkE e kykE = kvkE < kzkE ,
k k k k
completando a demonstracao do teorema.
Corolario 5.7. Sejam E espacos de Banach, G e L subespacos vetoriais fechados de E tais que
G + L e fechado em E. Entao, existe c 1 tal que
para todo x E.
M = {f E 0 ; hf, xi = 0, x M }.
N = {x E; hf, xi = 0, f N }.
Como
\
N = f 1 ({0}),
f N
hf, xi = limhfn , xi = 0,
(i) (M ) = M .
(ii) N (N ) .
Topicos em Analise Funcional 175
(M ) = {x E; hf, xi = 0, f M }.
para todo x M e algum 0 > 0. Como M e um subespaco vetorial, entao hf, xi = 0, para todo
x M. Da, f M . Mas x0 (M ) , ou seja, hf, x0 i = 0, o que contradiz (5.13). Portanto,
M = (M ) .
Agora,
(N ) = {f E 0 ; hf, xi = 0, x N }.
Assim, se f N, entao hf, xi = 0, para todo x N . Logo, N (N ) e, portanto, como (N )
e fechado, conclumos que
N (N ) ,
finalizando a demonstracao do item (ii) e da proposicao.
Obervacao 5.1. Pode ocorrer que (N ) 6 N . Suponhamos que exista f0 (N ) com f0 6 N .
O Teorema de Hahn-Banach implica que existem 0 E 00 e R tais que
E 00 , x0 E; (f ) = hf, x0 i, f E 0 , (5.14)
0 (f ) = hf, x0 i = 0, f N,
(N ) = N .
M2 M1
e
N2 N1 .
Demonstracao: A primeira inclusao e obvia e para todo x N2 temos que
hf, xi = 0, f N2 .
Como N1 N2 , entao
hf, xi = 0, f N1 ,
mostrando que x N1 .
Proposicao 5.3. Sejam E um espaco de Banach, G e L subespacos vetoriais fechados de E.
Entao,
(a) G L = (G + L ) .
(b) G L = (G + L) .
mostrando que x (G + L ) .
Por outro lado, como 0 L , entao
G G + L = (G + L ) (G ) = G = G.
(a) (G L) G + L .
(b) (G L ) = G + L.
Demonstracao: Temos
(G L) = ((G + L ) ) G + L ,
(G L ) = ((G + L) ) = G + L,
mostrando (b).
Exerccio 5.8. Sejam E um espaco de Banach e M um subespaco vetorial de E. Mostre que
M = M .
Lema 5.5. Seja E um espaco vetorial normado e M um subespaco vetorial de E. Entao, Para
todo f E 0 ,
dist (f, M ) = inf kf gk = sup hf, xi,
gM xM, kxk1
= kf + gk,
178 Marcos Roberto Teixeira Primo
(b) G + L e fechado em E 0 .
(c) G + L = (G L ) .
(d) G + L = (G L) .
Demonstracao: Mostraremos que (a) (c) e (a) (d) (b) (a).
(a) (c) Temos pelo Corolario 5.8 que
(G L ) = G + L = G + L.
G + L = (G L ) = G + L,
G + L G + L ((G + L ) ) = (G L) .
e contnua, pois como G, L e G + L sao fechados, o Teorema 5.4 implica que existe c 0
tal que todo x G + L pode ser escrito como x = a + b, com a G, b L e tais que
kak, kbk ckxk. Assim,
Logo, f = (f ) + e
mostrando que f G .
h, xi = h, 0 + xi = h, 0 + xi = hf, 0i = 0,
mostrando que L .
G + L (G L) = G + L ,
dist (f, G ) = sup hf, xi, dist (f, L ) = sup hf, xi (5.16)
kxkG 1 kxkL 1
180 Marcos Roberto Teixeira Primo
Assim, {x0 } e BG (0, 1) + BL (0, 1) sao separados fortemente por um hiperplano fechado em E, isto
e, existem > 0, f E 0 e R tais que
Portanto,
hf, gi + hf, li < , g BG (0, 1) e l BL (0, 1).
Logo,
x0 1 x0
sup hf, xi + sup hf, xi < hf, x0 i = kx0 khf, i < hf, i
kxkG 1 kxkL 1 kx0 k c kx0 k
e (5.18) implica entao que
x0 1 x0
hf, i < c hf, i,
kx0 k c kx0 k
o que e um absurdo, mostrando que (5.19) e valida.
Considere agora, o espaco V = G L, dotado da norma
T : V W
(x, y) 7 T (x, y) = x + y.
Temos que T e linear e limitada (portanto contnua). Ainda mais, (5.19) implica que
1
BW (0, ) BG (0, 1) + BL (0, 1) = T (BV (0, 1)),
c
Topicos em Analise Funcional 181
pois BG (0, 1) + BL (0, 1) = T (BV (0, 1)). Argumentando como na segunda etapa da demonstracao
do Teorema da Aplicacao Aberta, obtemos que
1
BW (0, ) T (BV (01, )).
2c
Assim, se w W, o elemento
1 w 1
z= BW (0, ),
4c kwk 2c
entao existe v1 V com kv1 k < 1 tal que T v1 = z. Logo, T ((4ckwk)v1 ) = w, com (4ckwk)v1 V,
mostrando que T e uma transformacao linear sobrejetora. Portanto,
G + L = T (V ) = W = G + L,
Lema 5.6. Se A for fechada, entao N (A) = {x D(A); Ax = 0} e um subespaco vetorial fechado
de D(A).
Demonstracao: Seja x N (A), entao existe uma sequencia (xn )n1 D(A) tal que xn x.
Mas, Axn = 0 0, quando n . Como A e fechado, entao x D(A) e Ax = 0, mostrando
que x N (A).
Nosso objetivo e definir uma transformacao linear A? : D(A? ) F 0 E 0 tal que
g : D(A) R
u 7 g(u) = hv, Aui.
se u D(A).
Exerccio 5.9. Mostre que se D(A) for denso em E, entao esta estensao e unica.
182 Marcos Roberto Teixeira Primo
e se v D(A? ),
A? v = f,
vn v em F 0
A? vn f em E 0 .
G(A) E F,
G(A) E 0 F 0
G(A? ) F 0 E 0 ,
Topicos em Analise Funcional 183
onde
h(f, g), (x, y)i = hf, xi + hg, yi, (5.21)
para (f, g) E 0 F 0 e (x, y) E F. Temos que
3. E = {0E 0 } e {0E } = E 0 .
(x, y) G L x D(A), Ax = y e y = 0
x D(A), Ax = 0 e y = 0
(x, y) N (A) {0}.
(b) E R(A) = G + L.
(d) R(A? ) F 0 = G + L .
f R(A? ) e v F 0
(f, v) R(A? ) F 0 .
Demonstracao: (i) Temos, pelo item (d), pela Proposicao 5.3 e pelo item (a), que
Os Espacos de Hilbert
a( , ) : H H R,
a(v, v) |v|2 , v H.
hu , vi = a(u, v)
para todo u H,
(Au, u) = a(u, u) |u|2 ,
onde e uma constante positiva.
(f Au + u u, v u) 0, v K,
188 Marcos Roberto Teixeira Primo
u = pK (f Au + u), > 0.
Defina
S : KK
v 7 Sv = pK (f Av + v).
Da,
a : H H R
(u, v) 7 ((u, v)) = a(u, v)
p
define um novo produto interno em H, cuja norma associada sera denotada por kuk = a(u, u),
u H. Como existem > 0 e c 0 tais que
isto e,
a(g u, v u) 0, v K,
ou ainda,
u = pK g,
no sentido do produto interno (( , )). O Teorema 3.4 implica que u K se caracteriza por
p p
a(g u, g u) = kg uk = min kg vk = min a(g v, g v)
vK vK
a(u, v) = h, vi, v H.
a(u, v) h, vi, v H,
190 Marcos Roberto Teixeira Primo
ou seja,
h, vi a(u, v) 0, v H.
Da,
h, vi = a(u, v), v H.
x+y
kx ykE > = k kE < 1 . (6.4)
2
Exemplo 6.1. Seja H um espaco de Hilbert com produto interno h , i : H H R. E facil ver
que
u+v 2 uv 2 1 1
k kH + k kH = kuk2H + kvk2H ,
2 2 2 2
para todos u, v H. A igualdade acima e conhecida como identidade do paralelogramo. Usando
esta identidade, vamos concluir que H e uniformemente convexo.
De fato: Sejam u, v H tais que kukH , kvkH 1 e ku vkH > . Entao, a identidade do
paralelogramo implica que
u+v 2 uv 2 2
k kH 1 k kH < 1 .
2 2 4
2 12
Portanto, tomando = 1 (1 4
) temos que
u+v
k kH < 1 ,
2
mostrando que H e uniformemente convexo.
Xn
Entao j = h i xi , xj i = 0, j = 1, 2, , n.
i=1
Reciprocamente se {vn } n=1 e uma sequencia linearmente independente de vetores em um
espaco de Hilbert existe um procedimento usual para converte-lo em uma sequencia ortonormal
{un }
n=1 tal que o espaco gerado por {v1 , , vn } coincide com o espaco gerado por {u1 , , un }.
192 Marcos Roberto Teixeira Primo
Exemplos
1. O espaco Euclideano Rn . No espaco Rn , os vetores ej = (0, 0, , 1, , 0) onde tem 1
na j-esima coordenada formam um conjunto ortonormal.
un (t) = cos nt n = 0, 1, 2, .
vn (t) = sen nt n = 1, 2, .
Note que temos um vn para todo m e n (Prove isto!). Estas sequencias aparecem em Series
de Fourier.
Topicos em Analise Funcional 193
Teorema 6.3. Seja {e1 , , en } um conjunto ortonormal em um espaco com produto interno X.
Se x X e qualquer vetor, entao
n
X
|hx, ei i|2 6 kxk2 , (6.11)
i=1
Xn
x hx, ei iei ej j. (6.12)
i=1
e obviamente satisfeita. Vamos assumir que S e nao-vazio, e do Teorema 6.4 vemos que S deve
ser finito o infinito enumeravel. Se S e finito, este pode ser escrito na forma S = {e1 , , en }
P 2
Pn 2
para algum inteiro positivo n. Neste caso definimos iI |hx, ei i| = i=1 |hx, ei i| , o qual e
claramente independente da ordem nos quais os elementos de S sao arranjados. Neste caso a
desigualdade (6.15) reduz-se a (6.11) a qual ja foi provada. So resta provar no caso em que S
e infinito enumeravel. Neste caso caso os elementos de S podem ser arranjados numa ordem
definida:
S = {e1 , e2 , , en , , }.
e esta segue de (6.11), pois a sequencia ni=1 |hx, ei i|2 das somas parciais de 2
P P
n=1 |hx, en i| for-
mam uma sequencia crescente e limitada por kxk2 , portanto esta e convergente, isto e, existe
limn ni=1 |hx, ei i|2 . Tomando limite quando n em (6.11) segue (6.16).
P
P
Demonstracao: Como a prova acima, definimos iI hx, ei iei para casa um dos casos. No-
vamente definimos
S = {ei ; hx, ei i =
6 0}.
P
Quando S = , definimos iI hx, ei iei como sendo o elemento 0, e vemos que (6.17) reduz-se a
afirmacao que x 0 = x e ortogonal a cada ej , o qual e precisamente dizer que S e vazio.
Quando S e nao-vazio e finito, e podemos escrever S na forma
S = {e1 , e2 , , en },
196 Marcos Roberto Teixeira Primo
definimos iI hx, ei iei como sendo ni=1 hx, ei iei , e neste caso, (6.17) reduz-se a (6.12), a qual ja
P P
temos provado. Pelo Teorema 6.4, vamos assumir pelo resto da prova que S e infinito enumeravel.
Os elementos de S podem ser litados numa ordem definida: S = {e1 , e2 , , en , }. Coloquemos
sn = ni=1 hx, ei iei , e observamos que para m > n
P
m
X m
X
2 2
ksm sn k = k hx, ei iei k = |hx, ei i|2 .
i=n+1 i=n+1
S = {f1 , f2 , , fn , }.
Coloquemos s0n = ni=1 hx, fi ifi e vemos como acima que a sequencia {s0n } converge para um s0 ,
P
Teorema 6.7. Todo conjunto de Hilbert nao-vazio contem um conjunto ortonormal completo.
Teorema 6.8. Seja H um espaco de Hilbert, e seja {ei } um conjunto ortonormal em H. Entao
as seguintes condicoes sao equivalentes:
(b) x{ei } x = 0,
P
(c) se x e um elemento qualquer em H, entao x = iI hx, ei iei ,
Demonstracao: (a) (b). Se (a) nao e verdade, existe um elemento x 6= 0 tal que x{ei }.
Agora definimos e como sendo e = x/kxk, e observamos que {e, ei } e um conjunto ortonormal o
qual contem propriamente {ei }. Isto contradiz o fato que {e} e total.
P
(b) (c). Pelo Teorema 6.6, x hx, ei iei e ortogonal a {ei }, portanto por (b) temos que
P P
x hx, ei iei = 0, ou equivalentemente que x = hx, ei iei .
(c) (d). Pela continuidade do produto interior, o expressao em (c) da
X X X X
kxk2 = hx, xi = h hx, ei iei , hx, ej iej i = hx, ei ihx, ei i = |hx, ei i|2 .
(d) (a). Se {ei } nao e completo, este e subespacp proprio de um conjunto ortonormal {e, ei }.
Como e e ortogonal a todos os ei s,, (d) da que kek2 = |he, ei i|2 = 0, e isto contradiz o fato que
P
e e um vetor unitario.
198 Marcos Roberto Teixeira Primo
Existe uma terminologia usual a qual e frequentemente usada em conexao com este teo-
rema. Os coeficientes hx, ei i sao chamados os coeficientes de Fourier de x, a expressao
x = iI hx, ei iei e chamada expansao (serie) de Fourier de x, e equacao kxk2 = iI |hx, ei i|2
P P
e chamada identidade de Parseval tudo isto com relacao a sequencia ortonormal {ei }iI . Estes
termos vem da teoria classica da Teoria de series de Fourier.
Uma funcao x : R R e dita periodica se existe um numero T > 0 (chamado o perodo de x) tal
que x(t + T ) = x(t) para todo t R.
Seja x uma funcao de periodo 2 e contnua. Por definicao, a serie de Fourier de x e serie
trigonometrica (6.19) com coeficientes ak e bk dados pela formulas de Euler
Z 2
1
a0 = x(t)dt
2 0
1 2
Z
ak = x(t) cos ktdt k = 1, 2, , (6.20)
0
1 2
Z
bk = x(t)sen ktdt k = 1, 2, .
0
= aj huj , uj i
(
2a0 , se j = 0;
= aj kuj k2 =
aj , se j = 1, 2, ,.
hx, vj i = bj kvj k2 = bj j = 1, 2, .
[4] Honig, C. S., Analise Funcional e Aplicacoes, Volume 6. Publicacoes do Instituto de Ma-
tematica 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.
[11] Simmons, G. F., Introduction to Topology and Modern Analysis. McGraw Hill, 1963.