TCC Af

Universidade Federal de So Carlos
Centro de Cincias Exatas e de Tecnologia

Departamento de Matemtica
Introduo Anlise Funcional
Autor: dipo Batista Ribeiro de Lima

Orientador: Adriana Ramos
Disciplina:
Curso:
Trabalho de Concluso do Curso
Bacharelado em Matemtica
Professores Responsveis:
Karina Schiabel
Sadao Massago
Vera Lcia Carbone
So Carlos, 17 de maro de 2013.
Introduo Anlise Funcional
Autor: dipo Batista Ribeiro de Lima

Orientador: Adriana Ramos
Disciplina:
Curso:
Trabalho de Concluso do Curso
Bacharelado em Matemtica
Professores Responsveis:
Karina Schiabel
Sadao Massago
Vera Lcia Carbone
Instituio:
Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia
Departamento de Matemtica
So Carlos, 17 de maro de 2013.
dipo Batista Ribeiro de Lima

(aluno)
Adriana Ramos (orientador)
iii
Sumrio
1 ESPAOS NORMADOS
1.1 Preliminares . . . . . . .
1.1.1 lgebra Linear .
1.1.2 Espaos Mtricos
1.2 Espaos Normados . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
1
1
5
7
2 COMPACIDADE E COMPLETAMENTO
21
2.1 Compacidade e Dimenso . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 Completamento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3 ESPAOS SEPARVEIS E OPERADORES LINEARES
29
3.1 Espaos Separveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Operadores Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4 ESPAO DOS OPERADORES LIMITADOS E ESPAO DUAL
39
4.1 Espao dos Operadores Limitados . . . . . . . . . . . . . . . . . . . . . . . 39
4.2 Espao Dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5 PONTO FIXO DE BANACH
49
5.1 Teorema do Ponto Fixo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5.2 Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6 ESPAO DE BAIRE
55
6.1 Teorema de Categoria de Baire . . . . . . . . . . . . . . . . . . . . . . . . 55
7 PRINCPIO DA LIMITAO UNIFORME
63
7.1 Princpio da Limitao Uniforme . . . . . . . . . . . . . . . . . . . . . . . 63
8 APLICAO ABERTA E GRFICO FECHADO
73
8.1 Teorema da Aplicao Aberta . . . . . . . . . . . . . . . . . . . . . . . . . 73
8.2 Teorema do Grco Fechado . . . . . . . . . . . . . . . . . . . . . . . . . . 77
iv
Sumrio
9 TEOREMA DE HAHN-BANACH
85
9.1 Hahn-Banach Real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
9.2 Hahn-Banach Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
9.3 Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
10 ESPAOS DE HILBERT
99
10.1 Produto Interno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
10.2 Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
11 REPRESENTAO DE RIESZ
111
11.1 Lei do Paralelogramo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
11.2 Projeo Ortogonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
11.3 Representao de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
Introduo
A Anlise Funcional conecta conceitos de Topologia, Anlise e lgebra Linear (em
especial, trabalha com espaos normados de dimenso innita). Com isso em mente,
desenvolvemos este Trabalho de Concluso de Curso estudando diversos tpicos da rea;
o que possibilitou uma maior compreenso da profundidade matemtica dos conceitos
aprendidos ao longo da graduao.
Inicialmente, tratamos de propriedades fundamentais de espaos normados, para ento
tratarmos de resultados de grande relevncia na histria da matemtica do incio do sculo
XX: Princpio da Limitao Uniforme Aplicao Aberta, Grco Fechado, Hahn-Banach
e Representao de Riesz.
Para estudar tais teoremas, dedicamos especial ateno a importantes resultados da
teoria que consolidam a integrao da Topologia Geral, lgebra Linear e Anlise.
Trabalhamos tambm com exerccios e exemplos que concorrem para uma melhor
compreenso da teoria estudada.
Captulo 1
ESPAOS NORMADOS
Neste captulo daremos as principais denies relacionadas a espaos normados, bem
como, alguns resultados, exemplos e exerccios resolvidos.
1.1 Preliminares
1.1.1 lgebra Linear
Antes de falarmos de espaos normados, precisamos, primeiramente, denir espao
vetorial e entender listar algumas de suas propriedades.
Denio 1.1 Sejam V 6= , (F, +, ) um corpo e as operaes:

+: V V
: FV
7 V
7 V
Dizemos que (V, +, ) um Espao Vetorial sobre F se operaes +, acima forem

tais que:

1 (V, +) um grupo abeliano:

1.1

1.2

1.3

1.4
Dados u, v, w V , ento u + (v + w) = (u + v) + w
0 V | v + 0 = v, v V
v V, w V | v + w = 0
u + v = v + u, u, v V

2 e + esto relacionados entre si e com as operaes usuais de F do seguinte modo:

2.1 ( v) = ( ) v , , F, v V

2.2 (u + v) = u + v , F, u, v V

2.3 ( + ) v = v + v , , F, v V
Captulo 1. ESPAOS NORMADOS

2.4 1 v = v, v V
Observao 1 Note que um exerccio de fcil vericao o fato de que 0 V em 1.2)

nico e denominado Elemento Neutro. Alm disso, segue como consequncia, que,
para cada v V , o elemento w V em 1.3) unicamente determinado e, a partir de

agora, ser denotado por v e chamado de Elemento Oposto de v.
Vamos utilizar a notao W 6 V para indicar que W subespao vetorial de V , isto

, W V e, ainda, +W W : W W 7 W e FW : F W 7 W esto bem denidas.
Observao 2 Com as notaes anteriores (W, +W W , FW ) um espao vetorial

Denio 1.2 Sejam V espao vetorial sobre F e S V . Denimos
[S] =
W 6V
SW
Logo [S] 6 V e o menor subespao de V que contem S . Chamamos [S] de Subespao Gerado por S .
Observao 3 Note que de acordo com a denio precedente [] = {0}.
Denio 1.3 Seja V espao vetorial sobre F . Uma Combinao Linear de elementos
de V qualquer soma nita da forma
n
X
i vi
i=1
onde i F, vi V .
Teorema 1.1.1 Seja V espao vetorial sobre F. Se S V, S 6= , ento [S] o conjunto
formado pelas combinaes lineares de elementos de S , ou seja:

[S] =
( n
X
)
i vi | i F, vi S, n N
i=1
Dem:
Mostremos que [S]
n
P
i=1

i vi | i F, vi S, n N , pois a outra incluso
trivialmente satisfeita. Seja v [S], ento v W, W 6 V com S W , conforme a

Denio 1.2.
Assim temos dois casos:
1) Se v S
Trivialmente v
n
P
i=1

i vi | i F, vi S, n N
1.1. Preliminares
2) Se v / S
Suponha que v /
n
P
i=1

i vi | i F, vi S, n N . Ento
v+
n
X
i v i
i=1
elemento das combinaes de elementos de S {v} e, portanto, o resultado vale para

[S {v}] = [S]. Assim, conclumos o resultado.
Denio 1.4 Sejam V espao vetorial sobre F e S V . Dizemos que S Linearmente Independente (LI) se a nica maneira de se obter o elemento nulo atravs de
combinaes lineares de elementos de S for a trivial. Caso contrrio, dizemos que S

Linearmente Dependente (LD).
Agora podemos dar a denio de Base de Hamel ou simplesmente base.
Denio 1.5 Seja V espao vetorial sobre F e B V . Dizemos que B Base se:
(1) B LI.
(2) V = [B]
Para podermos exibir uma elegante demonstrao do teorema que garante que todo
espao vetorial possui uma base de Hamel, precisaremos apresentar algumas denies
importantes para enunciarmos o Lema de Zorn e podermos us-lo na demonstrao.
Denio 1.6 Seja A 6= , uma relao em A um subconjunto R A A. Uma

Relao de Ordem Parcial R em A uma relao que satisfaz:
(i) (a, a) R, a A
(ii) Se (a, b) R e (b, a) R, ento a = b
(iii) Se (a, b) R e (b, c), ento (a, c) R
Se, alm disso, R satiszer:
(iv) a, b A, pelo menos uma das seguintes ocorre:
(a, b) R ou (b, a) R
dizemos que R uma Relao de Ordem Total.

Denio 1.7 Dizemos que A Elemento Maximal se (, a) / R, a A {}.
Em outras palavras, (, a) R = = a.
Denio 1.8 Dizemos que A Limitante Superior de B A se (b, ) R,

b B.
Lema 1.1.1 (ZORN) Sejam A 6= e R uma relao de ordem parcial sobre A. Se todo
subconjunto de A totalmente ordenado possui um limitante superior em A, ento A possui

um elemento maximal.
Teorema 1.1.2 Todo espao vetorial V no trivial possui uma base de Hamel.
Dem: Seja F = {S V | S LI} (Note que a condio V 6= implica que v (V {0})

e, ento {v} F ). Dena a relao de ordem parcial em F :
R = {(S1 , S2 ) F F : S1 S2 }
Seja D = {Sj : j J} uma famlia totalmente ordenada de elementos de F . Arma[

mos que T =
Sj um limitante superior em D.
jJ
Se {v1 , . . . , vn } T , ento existem ndices ji J, i = 1, . . . , n tais que

vi Sji .
Como D totalmente ordenado, k {1, . . . , n} tal que
Sji Sjk , i {1, . . . , n}. Logo {v1 , . . . , vn } Sjk e, portanto, Sjk LI. Com isso,
mostramos que T F .
Do Lema de ZORN, existe um elemento maximal em F , que denotaremos por B .
Mostremos que V = [B].
Suponha que v (V [B]). Considere a combinao linear nula v +
n
P
i vi = 0,
i=1
i , F. Caso = 0 teramos que i = 0, i = 1, . . . , n. Caso 6= 0 teramos que

n
P
v = (1 i ) vi e, portanto, v [B] (Contradio).
i=1
h
i
Assim, temos que = 0 e i = 0, i = 1, . . . , n; segue que B {v} LI e B {v} V
e, assim, B no maximal. Pela contrapositiva, V = [B]
Teorema 1.1.3 Seja V espao vetorial sobre F e B1 , B2 bases de Hamel de V . Ento

card(B1 ) = card(B2 ).
Denio 1.9 A Dimenso do espao vetorial V sobre F a cardinalidade de uma base
B de V . Denotamos por dim(V ) = card(B). Dizemos que V tem dimenso nita se
B V base tal que card(B) < . Caso contrrio, dizemos que V tem dimenso
innita.
Observao 4 Por conveno, dizemos que dim(({0}, +, )F ) = 0
1.1. Preliminares
1.1.2 Espaos Mtricos

Denio 1.10 Seja X 6= munido de uma aplicao d : X X 7 R que satisfaz:
(1) d(x, y) 0 para quaisquer x, y X e, ainda, d(x, y) = 0 y = x

(2) d(x, y) = d(y, x), x, y X
(3) d(x, y) d(x, z) + d(z, y) para quaisquer x, y, z X
Dizemos que d uma Mtrica e o par (X, d) um Espao Mtrico.
Denio 1.11 Sejam (X, d) um espao mtrico, x X e r > 0. Denotaremos Bola
Aberta de centro x e raio r, Bola Fechada de centro x e raio r e Esfera de centro x
e raio r, respectivamente, os conjuntos
B(x; r) = {y X : d(x, y) < r}

B[x; r] = {y X : d(x, y) r}
S(x; r) = {y X : d(x, y) = r}
Agora com estes conceitos podemos dar algumas denies importantes, as quais sero
fundamentais para o presente estudo.
Denio 1.12 Seja (X, d) um espao mtrico. Dizemos que A X um Conjunto

Aberto, ou simplemente Aberto, se x A, r > 0 satisfazendo B(x; r) A. Alm
disso, dizemos que a coleo d = {A X : A aberto} a Topologia para X induzida
pela mtrica d.
Note que esta denio de topologia est intimamente relacionada com a mtrica
de X . Existe uma outra denio mais abrangente do que expomos, no entanto, como
trabalharemos em espaos normados, cujas topologias relevantes so desse tipo, a outra
denio no se faz necessria.
Denio 1.13 Seja A um subconjunto de um espao mtrico X . Denotamos A o Fecho
de A em X o seguinte conjunto:

A = {x X : B(x; r) {x} A 6= , r > 0}
Ainda dizemos que um subconjunto D de X Denso em X se D = X .

Denio 1.14 Seja uma aplicao f : X 7 Y entre espaos mtricos. Se f satisfaz:
A Y aberto f 1 (A) X aberto
Dizemos que f Contnua.
Observao 5 Para os espaos que estamos estudando mais interessante considerar
a seguinte denio de funo contnua, que equivalente a denio acima quando a

topologia induzida por uma mtrica: a aplicao f : (X, d1 ) 7 (Y, d2 ) entre espaos
mtricos dita ser contnua se dado r > 0, sr,x > 0 tal que
y Bd1 (x, sr,x ) f (y) Bd2 (f (x); r)
Denio 1.15 Dizemos que uma aplicao f : (X, d1 ) 7 (Y, d2 ) Uniformemente

Contnua se x X vale:
Dado r > 0, sr > 0 tal que y Bd1 (x, sr ) f (y) Bd2 (f (x); r)
Observao 6 Nos casos em que a funo inversa estiver denida, nem sempre a inversa
de uma funo contnua tambm ser uma funo contnua.
Denio 1.16 Seja uma aplicao f : X 7 Y bijetora e contnua entre espaos mtricos. Se f 1 : Y 7 X tambm contnua, dizemos que f um Homeomorsmo e
que X, Y so Espaos Homeomorfos.
Denio 1.17 Dizemos que a aplicao x : N 7 M uma Sequncia em M , deno-
taremos por xn o elemento x(n) x(N) e a sequncia x por (xn ). Dizemos que (xn )
Convergente ou que (xn ) converge para y se y M e vale:
r > 0, n0 N tal que n n0 xn B(y; r)
Denio 1.18 Seja (xn ) M uma sequncia de um espao mtrico. Dizemos que (xn )
uma Sequncia de Cauchy ou Sequncia Fundamental se
r > 0, n0 N tal que m, n n0 d(xm , xn ) < r
Sabemos ainda que toda sequncia convergente de Cauchy e, no entanto, a implicao

contrria nem sempre verdadeira. Para os casos em que ela verdadeira, temos a seguinte
denio.
Denio 1.19 Se toda sequncia de Cauchy de M uma sequncia convergente, ento

dizemos que M Completo.
Muitas propriedades importantes deste trabalho esto intrinsecamente relacionadas
com esses conceitos que acabamos de denir. Alis, praticamente todos os resultados
invariavelmente "esbarram"em um ou mais desses conceitos.
1.2. Espaos Normados
1.2 Espaos Normados

A partir de agora at o nal deste trabalho, consideraremos espaos vetoriais X sobre
o corpo dos reais R ou o corpo dos complexos C. Usaremos o smbolo | | para o mdulo
de um elemento do corpo F, indistintamente se F = R ou F = C.
Denio 1.20 Uma Norma em um espao vetorial X
kk : X 7 R que satisfaz:
uma aplicao
i. kxk 0 para todo x X e, ainda, kxk = 0 x = 0

ii. kxk = ||kxk para todo x X e F
iii. kx + yk kxk + kyk, para quaisquer x, y X ( Desigualdade Triangular)
Exemplo 1.2.1 fato conhecido que a aplicao | | : F 7 R dene uma norma em
F visto como espao vetorial sobre si mesmo. Tal aplicao associa a cada elemento do
espao vetorial (F, +, ) o seu mdulo.
Exerccio Resolvido 1.2.1 Seja um subconjunto compacto de um espao de Hausdor
e C() o espao das funes contnuas : 7 F. Mostre que:
kk = sup{|(t)| : t } = max{|(t)| : t }
dene uma norma em C(), com a soma e multipicao usuais, e que o espao normado
(C(), k k ) completo com a mtrica induzida pela norma.
Primeiramente, como compacto, (C(), k k ) tal que sup{|(t)| : t }
equivalente a escrever max{|(t)| : t }.
Sol:
kk 0 e kk = 0 0
Por denio
kk = max{|(t)| : t }
mas sabemos que |(t)| 0, pois (t) F, e, por isso, k k no negativo.

Claramente, k0k = 0 e se kk = 0, ento
max{|(t)| : t } = 0 (t) = 0, t 0C()
kk = ||kk
Sejam
C() e
(f )(t) = f (t). Sabendo disso,
F,
temos que no espao das funes
kk = max{|( )(t)| : t } = max{| (t)| : t } =

max{|| |(t)| : t } = || max{|(t)| : t } = || kk
k + k kk + kk , , C()
Sabemos que no espao das funes (f + g)(t) = f (t) + g(t), logo

k + k = max{|( + )(t)| : t } = max{|(t) + (t)| : t }
max{|(t)| + |(t)| : t } max{|(t)| : t }
+ max{|(t)| : t } = kk + kk
Segue que k k uma norma e podemos vericar a completude com respeito a mtrica
d (, ) = k k . Seja (n ) C() uma sequncia de Cauchy e mostremos que (n )
converge em C(). Como (n ) de Cauchy, dado r > 0 temos que para cada t , n0 N
tal que se m, n n0
|m (t) n (t)| < r
Portanto, para cada t a sequncia (n (t)) F de Cauchy e pela completude de F,

tal sequncia converge. Dena ento 0 : 7 F como sendo para cada t o limite
0 (t) = lim (n (t))
n
e mostremos que (n ) converge para 0 .

Sabendo que espao de Hausdor, o limite denido acima nico. Como n ()
compacto em F, o ponto 0 (t) n (). Tambm temos que 0 contnua pois o limite
de funes contnuas em um compacto.
Dado r > 0 temos que n0 N tal que se n n0
kn 0 k = max{|n (t) 0 (t)| : t } < r
N
Denio 1.21 Um espao normado que completo com a mtrica induzida pela norma
chamado de Espao de Banach.
N
Exemplo 1.2.2 Denote = (j )
j=1 F um ponto genrico das sequncias em F inde-
xadas em N. Para 1 p < , seja

lp (N) =
e, ainda,
def
FN : kkp =
X
j=1
!1/p
|j |p
<
n
o
def
l (N) = FN : kk = sup{|j | : 1 j < } <
Se J um conjunto, para 1 p < , lp (J) denota o conjunto das funes : J 7 F

que se anulam, exceto num subconjunto contvel de J , e de forma que
!1/p
def
kkp =
|(t)|p
<
tJ
para p = , l (J) denota todas as funes : J 7 F com

def
kk = sup{|(t)| : t J} <
Verifiquemos que kkp , 1 p < , define realmente uma norma:

kkp 0 e kk0 = 0 = 0lp (N)
!1/p
P
Por definio, kkp =
|j |p
< e como os termos no somatrio
j=1
so todos no negativos kkp 0.

v que kkp = 0.
Ainda, se = 0lp (N) , claramente se
Suponha que kkp = 0 e se caso para algum j0 N, j0 6= 0, teramos que

!1/p
P
kkp =
|j |p
|j0 | > 0.
j=1
Assim conclumos que @ j N tal que j 6= 0 e isto implica que = 0lp (N) .
kkp = ||kkp
Usando a definio de produto por escalar, temos que

= (j )
j=1 e, com isso, temos que
kkp =
!1/p
|j |p
||p
j=1
||p
!1/p
|j |p
j=1
!!1/p
|j |p
= ||
j=1
!1/p
|j |p
= ||kkp
j=1
k + kp kkp + kkp
Usando a Desigualdade de Minkowski (encontrada no livro [2], p.

dada por
!1/p
!1/p
!1/p
X
X
X
|j + j |p
|j |p
+
|j |p
j=1
j=1
15),
j=1
Vemos que o lado esquerdo da desigualdade exatamente k+kp e o lado

direito, kkp + kkp .
10
Agora podemos verificar a completude de lp (N), visto com a mtrica induzida

pela norma. Seja ( k ) lp (N) uma sequncia de Cauchy, mostremos que ela
converge em (lp (N), dp ). Para todo r > 0, k0 N tal que se m, n k0 , ento
dp ( m , n ) < r. Mas
r > dp ( m , n ) = k m n kp =
!1/p
|jm jn |p
j=1
|jm jn |, j N, m, n k0
Assim, para cada j N a sequncia (jk ) F de Cauchy. Sabendo que o

corpo F completo, existe j0 F tal que (jk ) j0 . Definamos 0 = (j0 )
j=1
0
e mostremos que k kp < .
Sabendo que para cada j N, (jn ) j0 , temos que dado r > 0, tomemos
r0 = 2r e para o qual n0 N tal que se n n0 ,
k
X
!1/p
|jn ( j)0 |p
< r0
j=1
tomando k tendendo ao infinito
!1/p
|jn ( j)0 |p
r0 < r
j=1
o que demonstra que que ( n 0 ) lp (N). Usando a Desigualdade de Minkowski,

conclumos que 0 = n + ( 0 n ) lp (N). Com isso, mostramos que 0 lp (N)
e ( n ) converge a 0 em lp (N).
Verifiquemos que de fato kk uma norma:
Dado l (N)
kk = sup{|j | : j N} 0
Ainda temos que se = 0l (N) , claramente kk = 0 e, ento, vamos supor

que kk = 0. Assim
0 = sup{|j | : j N} |k |, k N
|k | = 0, k N = 0lp (N)
Dado l (N) e F
kk = sup{|j | : j N} = ||sup{|j | : j N} = ||kk
11
Dados , l (N)
k + k = sup{|j + j | : j N}
sup{|j | : j N} + sup{|j | : j N} = kk + kk
Agora podemos verificar completude de l (N), visto com a mtrica d

induzida pela norma. Seja ( k ) l (N) uma sequncia de Cauchy, mostremos
que ela
converge em (l (N), d ). Dado r > 0, k0 N tal que se m, n k0 , ento
d ( m , n ) < r. Mas
r > d ( m , n ) = k m n k =
sup{|jm jn | : j N} |jm jn |, j N
Assim, para cada j N a sequncia (jk ) F de Cauchy. Sabendo da completude

do corpo, existe (j0 ) F tal que (jk ) j0 . Definamos 0 = (j0 )
j=1 e mostremos
0
que k k < .
Pelo fato de (jk ) j0 para cada j N, temos que r > 0, tomando
r0 < r e para o qual k0 N tal que se k k0
|jk x0j | r0
Como ( k ) lp (N), k R tal que |jk | k para todo j .

triangular, que
|j0 | |j0 jk | + |jk | r0 + k , j N
Segue, da desigualdade
Portanto, k 0 k = sup{|j0 | : j N} r0 + k
k k x0 k = sup{|jk x0j | : j N} r0 < r
o que garante a convergncia de ( k ) a 0 lp (N).

Denio 1.22 Duas normas kk1 , kk2 : X 7 R so equivalentes se existem A, B > 0
vericando:
Akxk1 kxk2 B kxk1 , x X
Exerccio Resolvido 1.2.2 (a) Verique que normas equivalentes num espao vetorial
geram a mesma topologia (mtrica) e possuem as mesmas sequncias de Cauchy; portanto,

se um desses espaos mtricos for completo, ento o outro tambm ser.
(b) Mostre que se duas normas geram a mesma topologia (mtrica), ento elas so equivalentes.
12
(a) Sol:
Sejam kk1 , kk2 duas normas tais que

Akxk1 kxk2 B kxk1 , x X
para A, B > 0, ento as mtricas induzidas di , i = 1, 2 so equivalentes pois x, y X

d2 (x, y) = kx yk2 B kx yk1 = B d1 (x, y)
e
d2 (x, y) = kx yk2 Akx yk1 = Ad1 (x, y)
Segue que a topologia gerada por d1 mais na do que a gerada por d2 e a topologia gerada
por d2 mais na do que a topologia gerada por d1 e, consequentemente, elas coincidem. Dada
uma sequncia de Cauchy por d1 , pela equivalncia das mtricas, tal sequncia ser de Cauchy
via d2 . Analogamente, uma sequncia de Cauchy via d2 ser de Cauchy via d1 . Portanto, ser
completo um invariante por topologias mtricas (induzidas por mtrica) equivalentes.
N
(b) Sol:
Sejam k k1 , k k2 duas normas tais que (pela equivalncia das topologias mtricas)
Ad1 (x, y) d2 (x, y) B d1 (x, y), x, y X
ento
kxk2 = kx 0k2 = d2 (x, 0) B d1 (x, 0) = B kx 0k1 = B kxk1
e
kxk2 = kx 0k2 = d2 (x, 0) Ad1 (x, 0) = Akx 0k1 = Akxk1
N
Teorema 1.2.1 Seja X um espao normado de dimenso nita. Ento todas as normas
em X so equivalentes.
Dem: Seja {e1 , . . . , en } uma base de X e x = (x1 , . . . , xn ), basta mostrar que qualquer
n
P
norma kk em X equivalente a |kxk| =
|xi |. Uma desigualdade segue diretamente da
j=1
estimativa
n

n
X
X

kxk =
xj ej
|xj |kej k max {kej k}|kxk| = B |kxk|
1jn

j=1
j=1
em que B = max1jn {kej k}. Para obter a outra desigualdade, suponha que no existe
A > 0 com A |kxk| kxk, x X . Assim, para todo N N existe xN X
com |kxN k| = 1 e |kxN k| > N kxN k. Como B[0; 1] compacta (dimenso nita, cuja
demonstrao segue no captulo 3), existe uma subsequncia (xNj ) (xN ) convergindo
13
para x0 em (X, |k k|); pela continuidade da norma, temos que |kx0 k| = 1. Com isso,
usando a desigualdade acima,
kx0 k kx0 xNj k + kxNj k B |kx0 xNj k| +
1
Nj
que converge para 0 para j , ou seja, |kx0 k| = 0 e x0 = 0. A contradio com

|kx0 k| = 1 termina a demonstrao.
Corolrio 1.2.1.1 Todo espao normado de dimenso nita de Banach (assim, um
subespao de dimenso nita num espao normado fechado).
Dem: Como todas as normas so equivalentes, basta considerar |kk|. Seja xk =
xkj ej
j=1
uma sequncia de Cauchy em (X, |kk|). Como

n
X
n
P
|xkj xm
j | = |kxk xm k|
j=1
vemos que j {1, . . . , n}, a sequncia (xkj )

k=1 de Cauchy em F e converge para algum
x0j F. Denimos x0 =
n
P
x0j ej e ento segue:
j=1

lim |kxk x0 k| = lim
n
X
!
|xkj x0j |
=0
j=1
ou seja, (xk ) x0 e x0 X . Portanto, X completo.

Exerccio Resolvido 1.2.3 (a) Mostre que num espao normado X de dimenso nita
um conjunto compacto se, e somente se, ele limitado e fechado.

(b) Seja n = (n,j )
j=1 sendo k,i = 0 se i 6= k e k,k = 1 o " de Kronecker". Use esta
sequncia para mostrar que em lp (N), 1 p , h conjuntos fechados e limitados que
no so compactos.
(a) Sol:
()
Pelo teorema 1.2.1, em todo espao normado de dimenso nita X as normas so

equivalentes e a topologia gerada tem como base o conjunto
n
o
B = B(x; r) : B(x; r) = {y X : d(x, y) < r}, x X , r > 0
14
xe e x0 X considere uma cobertura A = {B(x0 ; r) : r > 0}. Por compacidade,

A A cobertura nita de X . A saber
A = {B(x0 ; r1 ), . . . , B(x0 ; rn )}
Tome k = max{ri : u = 1, . . . n} e temos que X B(x0 ; k) e temos que X limitado.

Do Corolrio 1.2.1.1, temos que X e fechado pois um espao normado de dimenso
nita e temos assim o resultado.
()
Para mostrar que se X limitado e fechado, ento X compacto, lembremos que se X

compacto e (xn ) X uma sequncia, ento ela admite subsequncia convergente.
Da hiptese dim(X) = n < , considere {e1 , . . . , en } X uma base e uma sequncia
(xn ) X . Cada xm tem a representao
xm =
n
X
j ej
j=1
Como X limitado, kxm k k, m N e segue do Lema 2.4-1 do livro [2] que

n
n
X

X

m
kxm k =
j ej c
|jm |, onde c > 0

j=1
j=1
Consequentemente, pra cada j = 1, . . . , n xado, teremos que a sequncia (jm ) F

limitada e, por Bolzano-Weierstrass, possui um ponto de acumulao j0 . Do Lema
2.4-1 (do livro [2]), (jl ) (jm ) satisfazendo (jm ) j0 . Assim, denamos
x0 =
n
P
j=1
j0 ej . Pelo fato de X ser fechado, x0 X e, claramente, (xl ) x0

N
(b) Sol: Sabemos que para todo n, k(n,j )

j=1 kp = 1 e, portanto,
K = {n : n N} lp (N)
um conjunto limitado. Mostremos que lp (N) K aberto e nalmente que K no

compacto. Como cada n um elemento isolado em K lp (N), temos que se K no
fosse fechado teramos um ponto de acumulao de K em lp (N) K , o que no ocorre pois
claramente (n ) no admite subsequncia convergente. Assim, temos que K fechado e, do
argumento precedente, K no compacto.
N
15
PROBLEMAS
Problema 1.1 Mostre que {x1 , . . . , xn } C([a, b]), onde xj (t) = tj , um subconjunto
linearmente independente.
Para tornar a exposio do resultado mais clara,

tomemos
a aplicao g : [0, 1] 7 [a, b] dada por g((s) = a + (b a) s e, assim,
as funes do tipo x g : [0, 1] 7 R, onde x C([a, b]). Sabendo que g contnua
temos que x g C([0, 1]) e interpretando as funes xi por xi (s) = sj . Considere a
combinao linear nita
Sol:
1 s + 2 s2 + + n sn = 0, s [0, 1]
Como 0, 1 R so distintos, a relao acima nos d que 1 , . . . , n so as n solues dos

innitos sistemas lineares cujas constantes so s1 , . . . , sn . Tome uma partio nita qualquer
de [0, 1] dada por
P = {s0 , s1 , . . . , sn [0, 1] : 0 = s0 < s1 < < sn = 1}
temos o seguinte determinante da matriz dos coecientes A

1
1

sn1 s2n1

det(A) = sn2 s2n2
.
..
..
..
.
.

s1
s21
1
snn1
snn2
..
.
sn1
Como a escolha da partio arbitrria, podemos fazer uma escolha tal que nenhuma linha
(ou coluna) seja combinao linear de outras linhas (ou colunas). Com isso, det(A) 6= 0 e
conclumos da lgebra linear que o sistema linear possui soluo nica, a saber, a soluo nula.
Segue que
1 = 2 = = n = 0
e, consequentemente, {x1 , . . . , xn } linearmente independente.

Uma outra maneira de resolver usando a teoria de polinmios, notando que a expresso
1 s + 2 s2 + + n sn = 0, s [a, b]
nos diz que o polinmio P (t) = 1 t + 2 t2 + + n tn tal que se anula em todo

intervalo [a, b]. Com isso, P (t) possui uma quantidade no contvel de razes e, portanto,
necessariamente o polinmio nulo (usando o resultado que nos diz que qualquer polinmio
16
no nulo de grau n possui, no mximo, n razes). Isto implica

1 = 2 = = n = 0
e, consequentemente, {x1 , . . . , xn } linearmente independente.

N
Problema 1.2 Mostre que se X tem dimenso n < , ento a representao de x como
combinao linear na base {e1 , . . . , en } nica.

Sol:
Suponha x =
x X . Logo
n
P
i=1
i ei e x =
0=
n
X
n
P
i=1
i ei
i=1
i ei duas representaes de um mesmo elemento

n
X
n
X
i ei =
(i i )ei
i=1
i=1
Como {e1 , . . . , en } uma base, (i i ) = 0, i = 1, . . . , n, o que completa a demonstrao.

N
Problema 1.3 (Lema da Translao Invariante) A mtrica induzida d por uma norma
em um espao normado X satisfaz:
(a) d(x + z, y + z) = d(x, y), x, y, z X

(b) d(x, y) = ||d(x, y), x, y X e F
Sol:
(a) Dados x, y, z X , temos que

d(x + z, y + z) = k(x + z) (y + z)k = kx + z y zk = kx yk = d(x.y)
(b) Dados x, y X e F , temos que

d(x, y) = kx yk = k(x y)k = ||kx yk = ||d(x, y)
N
Problema 1.4 Mostre que a mtrica discreta em um espao vetorial X no pode ser
obtida de uma norma.
Problema 1.3, vemos que vale a seguinte

relao d( x, y) = || d(x, y). No entanto, na mtrica discreta, d(w, z) = uma
constante w, z X ; em particular
Sol:
Pelo
item
(b)
do
= d(x, y) = d(x, y) = ||d(x, y)
17
contrariando o fato de que (b) vale para qualquer elemento do corpo. Por contraposio,
temos o resultado
N
Problema 1.5 Dizemos que M (X, d) Limitado se diam(M ) < , onde diam(M ) =
sup{d(x, y) : x, y M }. Mostre que: M X espao normado limitado c R tal

que kxk < c, x M .
Sol:
() Seja M X limitado; considere diam(M ) = k e tome x0 M xado. Usando a

denio de mtrica induzida pela norma, M B[x0 ; r], r > k e, ainda, o ponto
z S(x0 ; r) que satisfaz kzk = kx0 k + r tal que
kzk kx0 k + k kxk, x M
Assim, escrevendo c = kx0 k + r temos o resultado.

() Por hiptese, M B(0; c) diam(M ) c < .
N
Problema 1.6 Mostre que

Y = {(j )
j=1 : j 6= 0 apenas para uma quantidade nita de ndices j N}
subespao de l (N), mas no fechado.

Sol:
Claramente (0j )
j=1 Y e se tomarmos , l (N) e F
+ = (j )
j=1 + ((j )j=1 ) = (j )j=1 + (j )j=1 = ( + j )j=1
Lembrando que , Y ,temos que (j )

j=1 Y e assim o elemento + Y .
Considere a sequncia de elementos de Y dada por
n = (n,j )
j=1 onde (n,j )j=1
1/j, j n
=
0,
j>n
Mostremos que n de Cauchy, sejam m, n N e suponha m > n, ento

km n k = sup{|m n | : j N} =
1
n+1
Logo > 0 escolha n N tal que 1/n > e, assim, a relao anterior no garante que
tal sequencia de Cauchy e por l (N) ser completo, ela converge para = (j )
j=1 , onde
18
j = 1/j, j N, pois dado > 0, j N tal que 1/j <

kn k = sup{|j j | : j N} =
1
1
< <
n+1
n
e, no entanto, / Y pois j 6= 0 para qualquer j N. Segue que Y no fechado

(subconjunto fechado de completo completo).
N
Problema 1.7 Considere uma aplicao p : X 7 R que satisfaz:
i. p(x) 0 para todo x X

ii. p(x) = ||p(x) para todo x X e F
iii. p(x + y) p(x) + p(y), para quaisquer x, y X
Dizemos que p uma Seminorma. Mostre que
p(0X ) = 0
|p(y) p(x)| p(y x)
Sol:
Sabendo que p satisfaz ii., podemos escrever

p(0X ) = p(00X ) = 0p(0X ) = 0
Ainda temos que usando iii.

p(y) = p(y + 0X ) = p(y x + x) p(y x) + p(x)
e
p(x) = p(x + 0X ) = p(x y + y) p(x y) + p(y)
Sabendo que p(y x) = p(x y) e usando i., temos que

|p(y) p(x)| p(y x)
N
Um exemplo de uma aplicao (no sendo norma) que satisfaz i.,

ii. e iii. r : R2 7 R dada por r((x, y)) = kxk. Trivialmente r satisfaz i., pois k k
o faz. Agora, dados (x, y), (a, b) R2 e dado F
r((x, y)) = r((x, y)) = kxk = ||kxk
19
temos, ainda, que

r((x, y) + (a, b)) = r((r + a, y + b)) = kr + ak krk + kak = r((x, y)) + r((a, b))
Problema 1.8 Sejam X, Y espaos normados. Mostre que se X compacto e o operador
linear T : X 7 Y bijeo contnua, ento T homeomorsmo.
Para tanto, mostremos que imagem direta de fechado fechado. Seja A X fechado,
ento T (A) Y compacto, pois imagem de compacto por funo contnua. Ainda temos
que T (A) Y fechado, pois Y , com a mtrica induzida pela norma, de Hausdor.
Sol:
20
21
Captulo 2
COMPACIDADE E
COMPLETAMENTO
Neste captulo trataremos de resultados que nos diro sob quais condies garantida
a equivalncia entre subespaos compactos e subespaos limitados e fechados. Ento,
partiremos para tratar o conceito de completamento de um espao, isto , encontrar um
espao completo tal que o espao mtrico dado seja subespao denso.
2.1 Compacidade e Dimenso

Apresentaremos um lema que fornece uma maneira de construir sequncias limitadas
que no admitem subsequncias convergentes em espaos normados de dimenso innita.
E, usando este lema, provaremos que a bola unitria fechada no compacta.
Lema 2.1.1 (Lema de Riesz) Sejam X 6 (N , k k) fechado e prprio. Ento, para
cada (0, 1) existe N com
kk = 1 e inf{k k : X}
Dem: Sejam N X e c = inf{k k : X}. Como X fechado, temos c > 0 (pois
/ X ). Assim, para cada 0 < < 1 dado, existe X satisfazendo c k k c/.

O vetor

=
N X e kk = 1
k k
Alm disso, para todo X temos que

X
z
}|
{
1
c
k k =
k ( + k k) k
k k
k k
Portanto, inf X {k k} .
22
Captulo 2. COMPACIDADE E COMPLETAMENTO
Teorema 2.1.1 A bola fechada B[0; 1] N compacta se, e somente se, dim(N ) < .
Dem: Se dim(N ) < temos que () verdadeira (vide item (a) do Exerccio 1.2.3).
Suporemos dim(N ) innita e usaremos o Lema de Riesz para mostrar que ela no
compacta e, por contraposio, teremos a implicao contrria.
!
Seja 1 N , k1 k = 1. Pelo Lema de Riesz, existe 2
h
h
i
N {1 }
vericando
k2 k = 1 e k1 2 k 1/2. O espao vetorial {1 , 2 } fechado pelo Corolrio 1.2.1.1.

!
h
i
Segue do Lema de Riesz que 3 N {1 , 2 } , com k3 k = 1 e k3 i k 1/2,
para i = 1, 2
Repete-se o argumento construtivo acima e teremos uma sequncia (n )
n=1 ,
kn k = 1 para qualquer n N e kj k k 1/2, j > k xado. Tal sequncia no
possui subsequncia convergente e terminamos a demonstrao.
2.2 Completamento
Basicamente apresentaremos as denies necessrias para abordarmos a questo do
completamento de espaos normado (isometria) e unicidades do mesmo (isomorsmo).
Denio 2.1 Dizemos que uma aplicao : (M, d) 7 (N, D) uma Isometria se
satiszer:
D((x), (y)) = d(x, y), x, y M
Exerccio Resolvido 2.2.1 Mostre que se aplicao uma isometria, ento ela
injetiva.
Sol:
Suponha que (x) = (y) ento

0 = D((x), (y)) = d(x, y) x = y , pois d(x, y) = 0 y = x
N
Denio 2.2 Dois espaos mtricos (X, d) e (Y, D) so ditos Isomtricos se existe uma
isometria : X 7 Y sobrejetiva.
Teorema 2.2.1 Seja (X, d) um espao mtrico. Ento ele isomtrico a um subconjunto
; tal X
d)
chamado de completamento de X .
denso de um espao mtrico completo (X,
Alm disso, quaisquer completamentos de X so isomtricos.
2.2. Completamento
23
Dem: Dividiremos a demonstrao em algumas etapas, a saber: (1) a denio da relao
d)
de equivalncia (e dos elementos de X ), (2) a denio de d, (3) a completude de (X,
e (4) a unicidade do completamento.
(1) Seja X o conjunto das classes de equivalncia das sequncias de Cauchy, onde duas
sequncias (n ) e (n ) so equivalentes se
lim (d(j , j )) = 0
Mostremos que de fato isto uma relao de equivalncia:

(n ) (n )
Trivial.
(n ) (n ) (n ) (n )
Segue diretamente da denio.

(n ) (n ) e (n ) (n ) (n ) (n )
Pela desigualdade triangular e continuidade de d, podemos escrever

lim (d(j , j )) lim (d(j , j ) + d(j , j )) =
lim (d(j , j )) + lim (d(j , j )) = 0
X
a mtrica
(2) Agora, denamos ,
,
) def
d(
= lim (d(j , j ))
j
Mostremos que a aplicao d uma mtrica em X e independente da escolha dos

X
cujos representantes so, respectivamente, (n ), (n ).
representantes. Sejam ,
,
) = d(
, ). Para cada
Suponha que (n ) (n ) e (n ) (n ), mostremos que d(
j N podemos escrever pela desigualdade triangular
d(j , j ) d(j , j ) + d(j , j ) + d(j , j )
e
d(j , j ) d(j , j ) + d(j , j ) + d(j , j )
Passando o limite para j , temos pela continuidade da mtrica d

lim (d(j , j )) lim (d(j , j )) + lim (d(j , j )) + lim (d(j , j ))
24

lim (d(j , j )) lim (d(j , j )) + lim (d(j , j )) + lim (d(j , j ))
Usando (n ) (n ) e (n ) (n ) , o que implica

lim (d(j , j )) lim (d(j , j )) e lim (d(j , j )) lim (d(j , j ))
,
) = d(
, ).
conclumos que d(
,
) 0, ,
X
, pois
Mostremos que d uma mtrica. Claramente d(
,
) = lim (d(j , j )) 0, j N
d(
j
Ainda temos que

,
) = lim (d(j , j )) = lim (d(j , j )) = d(
, )
d(
j
, X
Agora dados ,
,
) = lim (d(j , j )) lim (d(j , j )) + lim (d(j , j )) = d(
,
) + d(
, )
d(
j
(3) Agora mostremos que X completo. Dena : X 7 (X) X de forma que

(, , . . .) um representante de (); mostremos que tal isometria possui imagem
. Seja X
r) {})
(X) 6= pois
d)
e r > 0, ento (B ();
(X) densa em (X,
d
considere o a sequncia de Cauchy (n ) X , cujo representante e r > 0 dado
n0 N tal que se m, n n0
d(m , n ) < r
escolha k > n0 xado e dena a sequncia (n ) da seguinte maneira n = k , n N.

Claramente (n ) de Cauchy, (k ) = (n ) e possui como representante o elemento
que satisfaz:
,
)
= lim (d(j , j )) = lim (d(j , k )) < r
d(
j
r) {})
(X) e, assim, (X) = X
.
Segue que (Bd();
Seja (n ) X uma sequncia de Cauchy, ento, em particular, para cada r = 1/m

dado, N (m) N tal que se n, k > N (m)

k n
1/m > d(k , n ) = lim d(j , j )

j
Assim, temos n > N (m), j(N (m)) tal que se j > j(N (m)), ento

N (m)
d jn , j(N (m)) < 1/m
2.2. Completamento
25
Denamos x como sendo a classe de equivalncia da sequncia

N (m)
tremos que j(N
(m))
tal que r >

m=1
N (m)
j(N (m))

m=1
. Mos-
de Cauchy e que (n ) 7 x. Dado r > 0, escolha m N
1
e teremos se n, k > N (m)
2m

N (m)
N (m)
d(jn , jk ) d jn , j(N (m)) + d j(N (m)) , jk
<
1
1
1
+
=
<r
2m 2m
m
n , x) < r.
Dado r > 0, mostremos que n0 N tal que para n n0 vale d(
N (m)
Considere m N tal que 1/m < r, tome n0 = N (m) e, assim, d(jn , j(N
(m)) ) < 1/m
para n > N (m). Logo
n , x) = lim d
d(
j
N (m)
jn , j(N (m))
!
<
1
m
onde o smbolo < segue do fato de j garante j > j(N (m)). Com isso,
n , x) < r e, logo, (X,
completo.
d)
conclumos que d(
(4) Se existe outra isometria sobrejetiva : (X, d) 7 (W, D) com (W, D) denso no
espao mtrico completo (Z, D0 ), ento a composio 1 : (X) 7 W
uma isometria bijetiva, a qual tem extenso nica para uma isometria entre os
e (Z, D0 ). Conclu-se que quaisquer dois
d)
fechos desses espaos, ou seja, entre (X,
completamentos so isomtricos.
Exemplo 2.2.1 (R, d) o completamento de (Q, d), onde d a mtrica padro da reta.
Teorema 2.2.2 Seja (N , k k), ento ele isomorfo a um subespao denso de um espao
de Banach (B, kk); tal espao chamado de Completamento de N . Alm disso, quaisquer
dois completamentos de N so isomorfos.
Dem: Usando as notaes da demonstrao do Teorema precedente, basta mostrar que

um espao vetorial com d gerado por uma norma compatvel com (N ). A
d)
(X,
estrutura linear em X denida naturalmente pela classe de equivalncia de soma pontual
e produto por escalar pontual.
Agora, a isometria induz uma norma [] e (N ) com [()] = kk e a mtrica
correspondente a restrio de d|(N )(N ) . Estende-se esta norma a X , denindo-se
= d(
0, )
de forma que (X,
um espao normado completo.
d)
||||||
26
PROBLEMAS
Problema 2.1 (Compacidade Local) Um espao mtrico X dito ser Localmente
Compacto se cada x X tem uma vizinhana compacta. Mostre que F n localmente
compacto.
Considerando Fn sobre o espao normado F, vemos que um corpo de dimenso nita

e, assim, todas as suas normas so equivalentes pelo Teorema 1.2.1 e, portanto, induzem
mtricas equivalentes. Agora, considerando Fn como espao mtrico com a mtrica induzida
pela norma, a bola B[x; r] homeomorfa a bola B[0; 1] e pelo Teorema 2.1.1 esta compacta.
Segue o resultado.
Sol:
Problema 2.2 Mostre que em N de dimenso innita, qualquer subconjunto que contem
um aberto no vazio no compacto. Conclua que espaos normados de dimenso innita

no possuem subconjuntos localmente compactos.
Sejam C N um subconjunto que contem um aberto A 6= e x A. Por denio,

r > 0 tal que B(x; r) A. Tome 0 < s < r e, claramente, B[x; s] A. Caso C
fosse compacto, teramos que B[x; s], por ser um subconjunto fechado de um compacto, seria
compacta o que implica B[0; 1] seria compacta pelo homeomorsmo entre bolas. Mas, do
Teorema 2.1.1, B[0; 1] no compacta, pois dim(N ) = . Portanto, C no compacto.
Pela construo usada, N de dimenso innita no possui subconjuntos localmente compactos.
Sol:
Problema 2.3 Sejam : N1 7 N2 uniformemente contnua e os completamentos N1
e N2 . Mostre que a aplicao possui uma nica extenso : N1 7 N2 uniformemente

contnua.
Sol:
)
= lim (j ), onde (n ) N1 uma sequncia de Cauchy que representa o
Dena (
j
elemento . Assim, temos a sequncia (n ) N2 , dada por j = (j ), j N. Mostremos

que (n ) N2 de Cauchy: dado r > 0, por ser uniformemente contnua, s > 0 tal que
d(n , m ) < s d(m , n ) < r
Como (n ) de Cauchy, temos que n0 N tal que se m, n n0 , ento d(m , n ) < s.

)
= .
Da relao acima, conclumos que N2 . Assim, denimos (
Veriquemos que a denio vlida e, com isso, garantimos a unicidade. Suponha que
)
= . Pela continuidade, temos que
exista uma outra sequncia (n ) N2 tal que (

lim (j ) = lim (j ) = lim (j ) = lim (j )
2.2. Completamento
27
Da igualdade acima, conclumos que lim d(j , j ) < r, r > 0. Segue que (n ) (n ),
j
o que conclui a demonstrao.
28
29
Captulo 3
ESPAOS SEPARVEIS E
OPERADORES LINEARES
Introduzimos os conceitos de separabilidade em espaos normados e de operadores
lineares.
3.1 Espaos Separveis

A noo de Base de Hamel aplica-se a espaos vetoriais, precisando apenas da denio
de conjunto linearmente independente. No caso de dimenso innita, geralmente elas so
no contveis, o que torna o seu manuseio invivel (ou o uso de ferramentas que excedem
a sosticao de um trabalho como este). Tal fato, associado necessidade de uma base
que leve em conta a topologia, levou a uma nova denio de base que apresentaremos a
seguir.
Denio 3.1 Uma Base de Schauder de um espao normado N uma sequncia

(en ) N em que a cada vetor N associa-se uma nica sequncia (j )
j=1 F de
forma que
X
j=1
def
j ej = lim
n
X
j ej
j=1
Denio 3.2 Um espao mtrico Separvel se existe um subconjunto contvel denso
nesse espao.
Proposio 3.1.1 Seja N um espao normado.
a) Todo espao normado que possui uma base de Schauder separvel.

b) Um espao normado separvel se, e somente se, existe um subconjunto contvel
total linearmente independente em N
Dem:
30
Captulo 3. ESPAOS SEPARVEIS E OPERADORES LINEARES
a) Seja (en ) uma base de Schauder, ento o conjunto das combinaes lineares da forma
n
P
rj ej com rj racional contvel e denso em N , logo o espao separvel.
j=1
b) Usando um argumento similar ao do item anterior, mostra-se a implicao (), pois

se existe um subconjunto contvel (en ) total em N , ento esse espao separvel.
Para a implicao (), suponha N separvel e seja (en )
n=1 uma sequncia densa em
N . Dena a sequncia total (n ) pela induo: 1 o primeiro elemento no nulo
j
de (en )
n=1 ; escolhidos (n )n=1 , j+1 o primeiro elemento de (en )n=j+1 de modo
que (n )j+1
n=1 seja linearmente independente (se ele no existir, a sequncia termina).
Por construo, (en )

n=1 e o conjunto (n )n=1 geram N , sendo a ltima contvel e
linearmente independente.
Note que no teorema acima no vlida a implicao contrria do item a), pois
possvel se construir um espao de Banach separvel que no possui base de Schauder
(embora a construo seja muito sosticada).
Exerccio Resolvido 3.1.1 Mostre que E N separvel [E] separvel.

Sol:
()
Seja E N um subconjunto separvel. Assim, cada elemento x E da forma
P
=
j xj , onde (n ) F a nica sequncia associada a E e (xn ) E uma
j=1
base de Schauder para E . Seja y [E], do Teorema 1.1.1 y =
card(L)<
P
i i , i E .
iL
Assim,
card(L)<
y=
X
iL
card(L)<
!
ji xj
j=1
j=1
Notando que
iL
j=1
!
i ji xj
i ji xj
iL
card(L)<
P
card(L)<
i ji xj : xj E
[E] e possui cardinalidade enumervel,
iL
temos que uma base de Schauder para [E], como queramos.

()
Seja [E] N um subconjunto separvel. Ento, como E [E], existe para cada
P
x X uma nica sequncia de F satisfazendo x =
j yj , onde
j=1
card(Lyj )
yj =
X
iLyj
ij xi,j , xi E
3.2. Operadores Lineares
Logo
x=
X
j=1
31
card(Lyj )
ij xi,j =
card(Lyj )
j=1
iLyj
j ij xi,j
iLyj
Como xi,j : card(Lyj } < , j N E enumervel, temos que E separvel.

Exemplo 3.1.1 Para 1 p < , os espaos de Banach lp (N) so separveis; pois sua
base usual en = (n,j )

j=1 (" de Kronecker") uma base de Schauder. Por outro lado,
l (N) no separvel. De fato, dada uma sequncia n , dena = (j )

j=1 da seguinte
maneira
0,
se |jj | 1
j =
j + 1, se | j | < 1
j
j
assim, kk 2 e k n k 1 para todo n N. Portanto, no existe sequncia densa
em l .
3.2 Operadores Lineares

So aplicaes entre espaos vetoriais que possuem propriedades importantes e revelam
caractersticas intrnsecas dos espaos em que esto denidas.
Denio 3.3 Um Operador Linear entre os espaos vetoriais X e Y uma aplicao

T : D(T ) X 7 Y , em que seu domnio D(T ) subespao de X e
T (x + y) = T (x) + T (y), x, y D(T ) e F
Note que T (0X ) = 0Y para todo operador linear e, ainda, o conjunto dos operadores lineares de mesmo domnio e contradomnio um espao vetorial com as operaes
denidas pontualmente.
Denio 3.4 Denimos como Ncleo de T , denotado por N(T ), e a Imagem de T ,
denotada por Im(T ), os conjuntos:
N(T ) = {x D(T ) : T (x) = 0Y }

Im(T ) = {y Y : x D(T ) com T (x) = y}
Exemplo 3.2.1 Sejam X, Y espaos mtricos compactos e u : Y 7 X contnua. Ento

Tu : C(X) 7 C(Y ) dada por (Tu ())(y) = (u(y)) um operador linear.
Exerccio Resolvido 3.2.1 Seja T : D(T ) X 7 Y um operador linear. Verique
os seguintes itens:
32
a) A imagem de T, Im(T ) e o ncleo de T, N(T ) so subespaos vetoriais.

b) Se dim(D(T )) = n < , ento dim(Im(T )) n.
c) O operador inverso de T, T 1 : Im(T) 7 D(T ) existe se, e somente se,
T (x) = 0Y x = 0X
Caso exista, ele linear.

d) Se T, S so operadores lineares invertveis e Im(S) D(T ), ento
(T S)1 = S 1 T 1
Sol:
a) Note que pela observao dada aps a Denio 3.3, os elementos neutros satisfazem:
0X N(T ) e 0Y Im(T ).
N(T ) 6 D(T )
Sejam u, v N(T ) e F, mostremos que (u + v) N(T ).

T (u + v) = T (u) + T (v) = 0Y
Portanto, (u + v) N(T ) e temos o resultado.

Im(T ) 6 Y
Sejam w, z Im(T ) e F, mostremos que vale a relao (w + z) Im(T ).

Notemos que u, v U satisfazendo T (u) = w e T (v) = z . Assim
w + z = T (u) + T (v) = T (u + v)
Segue que (w + z) Im(T ) e temos o resultado.

b) Para mostrarmos isso, primeiramente mostremos que o conjunto T 1 (A) LI quando
A Im(T ) LI. Considere {v1 , . . . , vn } A, logo existem x1 , . . . , xn X tais que
T (xi ) = vi . Seja a combinao linear nula
n
X
i xi = 0X
i=1
Aplicando T em ambos o lados da igualdade, teremos que

0Y = T
n
X
i=1
!
i xi
n
X
i=1
i T (xi ) =
n
X
i=1
i vi
33
Segue que, por {v1 , . . . , vn } ser LI, 1 = = n = 0. Portanto, T 1 (A) LI.

Agora, tomando A Y como sendo uma base, concluiramos que caso card(A) > n,
ento um conjunto LI com cardinalidade maior do que dim(D(T )) dim(Im(T )) n.
c) Suponha que T (x) = 0Y x = 0X , ento segue que
T (x) = T (y) x = y pois 0Y = T (x) T (y) = T (x y)
Assim, para cada y Y , dena T 1 (y) = x (onde x D(T ) tal que T (x) = y ).
Claramente T 1 linear, pois para quaisquer y1 , y2 Y e F existem x1 , x2
D(T ) tais que T (x1 ) = y1 e T (x2 ) = y2 . Ento T 1 (y1 + y2 ) pode ser escrito como
T 1 (y1 + y2 ) = T 1 (T (x1 ) + T (x2 )) =
T 1 (T (x1 + x2 )) = x1 + x2 = T 1 (y1 ) + T 1 (y2 )
Agora, se T 1 existe, ento pela linearidade temos

T (x) = T (y) T (x y) = 0Y
e, aplicando a inversa
0X = T 1 (0Y ) = T 1 (T (x y)) = x y x = y
d) Segue da regra de inverso da composta de funes, do qual o conjunto dos operadores

lineares subespao vetorial.
Lema 3.2.1 Sejam X, Y espaos vetoriais e B = {x : J} base de X . Ento o
operador linear T : X 7 Y estar totalmente determinado se soubermos as imagens por

T de x .
Dem: Seja T : X 7 Y um operador linear e X . Sabendo que =
x com
L J nito e usando a linearidade

T () = T
LJ
P
LJ
X
L
!
x
LJ
X
T (x )
Como X arbitrrio e B uma base, conclumos que o operador est totalmente

determinado.
34
Proposio 3.2.1 Seja N tal que T () = 0N2 , T operador linear entre N1 e N2 .
Ento = 0N1 .
Dem: Seja B = {x : J} uma base e =
LJ
P
x com L J nito. Mostremos
que = 0 e, assim, teremos que = 0N1 . Pelo lema anterior, esto bem denidos os
operadores lineares da forma
0 ,
6=
N2
T (x ) =
N {0 }, =
2
N2
Assim, T () = , L. Portanto,
= 0, L = 0N1
Teorema 3.2.1 Seja T : N1 7 N2 um operador linear. Ento as seguintes proposies
so equivalentes:
i. sup{kT (x)kN2 : kxkN1 1} < , ou seja, a imagem da bola fechada unitria

limitada.
ii. c > 0 satisfazendo kT (x)kN2 ckxkN1 , x N1 .
iii. T uniformemente contnuo.
iv. T contnuo.
v. T contnuo no ponto 0N1
Dem:
(i.ii.) Seja c = sup{kT (x)kN2 : kxkN1 1}; se 0N1 6= x N1 , ento

T

x
c kT (x)kN2 ckxkN1 , x N1
kxkN1 N2
(ii.iii.) Se x, y N1 , ento
kT (x) T (y)kN2 = kT (x y)kN2 kT (x y)kN2 ckx ykN1
(iii.iv.) Imediato.
(iv.v.) Imediato.
35
(v.i.) Como T contnuo em 0N1 , > 0 tal que kT (x)kN2 < 1 se kxkN1 < . Assim, se
kxkN1 1, segue que k xkN1 e kT ( x)kN2 1; portanto, kT (x)kN2 < 1 e i.
vale.
Denio 3.5 Um operador linear contnuo tambm chamado de linear limitado, de-
vido s equivalncias do Teorema 3.2.1 precedente. O conjunto dos operadores lineares

limitados de N1 em N2 ser denotado por B(N1 , N2 )
Exemplo 3.2.2 O operador Tu do Exemplo 3.2.1 contnuo, pois qualquer C(X)
tem-se que kTu (k = sup{|(t)| = kk : t X} e, portanto, limitado. Segue do

Teorema 3.2.1 que contnuo.
Exerccio Resolvido 3.2.2 Se T : N1 7 N2 linear e dim(N1 ) < , mostre que T
limitado.
Como dim(N1 ) < , temos que dim(T (N1 )) < . Podemos tomar ento uma base
de N1 qualquer dada por {e1 , e2 , . . . , en } e, pela linearidade de T ,
Sol:
x=
n
X
!
i ei
i=1
Assim,

kT (x)k = T

n
X
n
X
i=1
|i |kT (ei )k
i=1
n
X
n
X
i T (ei )
i=1

! n
X

i ei =
i T (ei )

i=1
|i |max{kT (ei )k : i = 1, . . . , n}
i=1
N
p
Exemplo 3.2.3 Seja T : (j )
j=1 l (N) :
dado por T
(j )
j=1
= (j
j )
j=1
P
j=1

|j 2 j |p < 7 lp (N), com 1 p < ,
; tal operador linear, mas no contnuo, pois se
e
n
0 enquanto que T (en ) no
{(en ) : n N} a base cannica de lp (N), ento
n
converge a zero. De forma equivalente, T no limitado pois ken kp = 1 e kT (en )kp = n2
36
PROBLEMAS
Problema 3.1 Seja A X linearmente independente. Mostre que A uma base de
Hamel x X, n N de modo que x pode ser escrito da forma x =

onde xj A e j F, 1 j n.
n
P
j=1
j xj ,
Sol:
()
Se A X satisfaz a Denio 1.5, ento [A] = X . Por outro lado, do Teorema
1.1.1, [A] o conjunto das combinaes lineares de elementos de A. Segue que x
n
P
X, n N, vericando que x =
j xj , xj A.
j=1
()
Se cada elemento x X pode ser escrito como combinao linear de elementos de A,

temos que do Teorema 1.1.1 x [A]. Logo, como A LI por hiptese, A satisfaz a
Denio 1.5. A base de Hamel.
N
Problema 3.2 Mostre que um subconjunto de um conjunto separvel tambm separvel
e que o fecho de um conjunto separvel tambm o . Use estes fatos e o Exerccio 3.1.1
para mostrar que A (X, k k) separvel [A] separvel.
No Exerccio 3.1.1 mostramos que subconjunto de um conjunto separvel tambm

separvel. Alm disso, da denio de fecho de um conjunto segue que para qualquer elemento
do fecho, existe uma sequencia de elementos do conjunto convergindo para ele. Logo o fecho
de um conjunto separvel tambm o .
Agora, seja A (X, k k). Do Exerccio 3.1.1 temos que [A] separvel, com isso,
conclumos do argumento acima que [A] separvel. por outro lado, se [A] separvel, temos
que [A] [A] separvel. Do Exerccio 3.1.1 obtemos que A separvel.
Sol:
Problema 3.3 Seja T : X 7 Y um operador linear. Mostre que se V 6 X e W 6 Y ,
ento T (V ) 6 Y e T 1 (W ) 6 X .
Notemos que 0Y T (V ) e 0X T 1 (W ). Com isso, so subconjunto no vazios e

podemos ento mostrar que so subespaos vetoriais.
Sol:
T (V ) 6 Y
Sejam x, y T (V ) e F, mostremos que x + y T (V ). Por denio, existem
u, v tais que T (u) = x e T (v) = y . Assim
x + y = T (u) + T (v) = T (u + v)
Como (u + v) V , conclumos que (x + y) T (V )
37
T 1 (W ) 6 X
Sejam u, v T 1 (W ) e F. Logo existem x, y W tal que T (u) = x e T (v) = y ,
assim
T (u + v) = T (u) + T (v) = (x + y) W
Portanto, (u + v) T 1 (W )
N
Problema 3.4 Seja
o espao normado das funes polinomiais

p : [1, 1] 7 R de grau menor ou igual a n com a norma da convergncia uniforme
k k . Seja D : Pn 7 Pn o operador derivada D(p(t)) = p0 (t) para todo t [1, 1].
Mostre que D limitado.
Pn
Da teoria de funes, sabemos que o operador derivada D linear. Usaremos a equivalncia ii. v. do Teorema 3.2.1 para provar o resultado. Seja (pk ) Pn , uma sequncia
convergindo para 0Pn , o polinmio nulo. Usando a convergncia uniforme, podemos escrever:
Sol:
> 0, n0 N tal que se k k0 , ento kpk (t) 0Pn k <
Como pk (t) =
n
P
i=0
ik ti , ento D(pk ) =
desigualdade triangular implicam que

kpk k
n
X
n
P
i=1
iik ti1 . Alm disso, os fatos t [1, 1] e a
|ik | e kD(pk )k
i=0
n
X
i|ik | n
i=1
n
X
!
|ik |
i=1
De (pk ) 0Pn , temos que (ik ) 0, i = 0, 1, . . . , n. Segue que

(|ik |) 0, i = 0, 1, . . . , n
e, assim, kD(pk )k n
n
P
i=1

|ik | 0. Portanto, (D(pk )) 0Pn .
N
38
39
Captulo 4
ESPAO DOS OPERADORES
LIMITADOS E ESPAO DUAL
Neste captulo introduziremos uma norma em B(N1 , N2 ), comentaremos exemplos e
deniremos o que o espao dual de um espao normado.
4.1 Espao dos Operadores Limitados

Primeiramente, notemos que B(N1 , N2 ) 6 F(N1 , N2 ), o espao vetorial das funes de
N1 em N2 e, ento, podemos denir uma norma conveniente para os nossos estudos (em
outras palavras, uma norma que seja compatvel com as normas dos espaos normados
dados).
Denio 4.1 Sejam N1 e N2 espaos normados e B(N1 , N2 ). Denamos a seguinte
norma
def
kT k = sup {kT ()kN2 : kkN1 1}

N1
Veriquemos que a denio acima satisfaz a Denio 1.20. De fato, se T B(N1 , N2 ),

kT k = 0 T () = 0, N1 ; kT k = ||kT k segue imediatamente da denio.
Agora, se T, S B(N1 , N2 )
def
kT + Sk = sup {kT () + S()kN2 : kkN1 1}

N1
sup {kT ()kN2 + kS()kN2 : kkN1 1}

N1
def
sup {kT ()kN2 : kkN1 1} + sup {kS()kN2 : kkN1 1} = kT k + kSk

N1
N1
Exerccio Resolvido 4.1.1 Sejam T, S B(N ), mostre que T S B(N ) e ainda vale
kT SkB(N ) kT kB(N ) kSkB(N ) . Portanto, T n B(N ) e kT n kB(N ) kT knB(N )
Captulo 4. ESPAO DOS OPERADORES LIMITADOS E ESPAO

DUAL
40
Sabendo que T, S B(N ), temos que T S uma composio aplicaes contnuas,

logo contnua. Alm disso, linear. Portanto, T S B(N ). Seja B[0, 1], ento
Sol:
kT S()kN = kT (S())kN kT kB(N ) kS()kN

kT kB(N ) kSkB(N ) kkN
Portanto kT SkB(N ) kT kB(N ) kSkB(N ) . Com isso, repete-se o raciocnio para T n e

conclui-se que kT n kB(N ) kT knB(N ) .
N
Exemplo 4.1.1 Seja X o espao vetorial das funes polinomiais em C([0, 1]) e seja
D : X 7 X o operador derivada. Este operador no pertence a B(X), pois denotando
por pn (t) = tn , n N, segue que D(pn ) = ntn1 e kpn k = 1, mas kD(pn )k = n
Agora exibiremos um resultado que nos mostra sobre quais condies B(N1 , N2 ) um
espao de Banach.
Teorema 4.1.1 Se N um espao normado e B de Banach, ento B(N , B) de
Banach.
Dem: Seja (Tn ) B(N , B) uma sequncia de Cauchy. Como para cada N tem-se
kTn () Tm ()kB kTn Tm kkkN , segue que (Tn ()) B de Cauchy e converge para
B . Dena T : N 7 B por T () = , o qual claramente linear. Mostremos que
T B(N , B).
Para > 0 dado, N () N de modo que se m, n N (), ento segue que
kTn Tm kB(N ,B) < . Pela continuidade da norma, segue que
kTn () T ()kB = lim {kTn () Tm ()kB } kkN
m
e, portanto, (Tn T ) B(N , B), com k(Tn T )kB(N ,B) . Por B(N , B) ser um
espao vetorial, T = Tn + (T Tn ) T B(N , B). Logo (Tn ) T , concluindo a
demonstrao.
Exerccio Resolvido 4.1.2 Suponha (Tn ) T em B(N ) e (n ) . Mostre que

(Tn (n )) T ().
Sol:
Como Tm B(N ), (n ) e N , temos que

(Tm (n )) Tm ()
Pela convergncia da sequncia operadores, (Tm ()) T ().

N
4.1. Espao dos Operadores Limitados
41
Denio 4.2 Sejam f : X 7 Z e g : Y 7 Z aplicaes entre conjuntos. Dizemos

que f uma Extenso de g ou g uma Restrio de f , se Y X e t Y, g(t) = f (t).
Denota-se f|Y = g.
Teorema 4.1.2 Seja T : D(T ) N 7 B, com D(T ) denso em N , um operador linear
limitado. Ento T possui uma nica extenso T B(N , B). Alm disso, kTk = kT k.
Dem: Seja N e (n ) , com (n ) D(T ). De

kT (n ) T (m )kB kT kB(N ,B) kn m kN
temos que (T (n )) B de Cauchy e, logo, convergente. Dena

= T() = lim T (n )
n
Devemos mostrar que T est bem denido e que kTkB(N ,B) = kT kB(N ,B) . Se supormos
0
0
0
0
que (n ) , (n ) D(T ), ento a sequncia 1 , 1 , 2 , de Cauchy e, pelo mesmo
0
0
0
0
argumento anterior, T (1 ), T (1 ), T (2 ), converge a . Como (T (n )) subsequncia
0
desta ltima, tem-se que = e, ento, T B(N , B) est bem denido. Evidentemente
T linear e uma extenso de T , pois se D(T ) tomemos a sequncia constante
, , . e assim

T() = lim T () = T ()
n
Agora, para (N D(T )), usando a continuidade da norma

kT()kB = lim kT (n )kB lim kT kB(N ,B) kn kN = kT kB(N ,B) kkN
n
de forma que kTkB(N ,B) kT kB(N ,B) . Por outro lado,

n
o
kT kB(N ,B) = sup kT ()kB : D(T ), kkN = 1
n
o
sup kT ()kB : N , kkN = 1 = kTkB(N ,B)
Concluindo a igualdade. Suponha agora que S B(N , B) uma extenso de T e seja

N ; ento toda sequncia (n ) D(T ) tal que (n ) , teremos que S(n ) = T(n )
e, por continuidade, S() = T(). Segue S = T e a extenso nica.
Exerccio Resolvido 4.1.3 Seja T B(N , B). Mostre que T possui uma nica exten-
so T B(N , B), sendo N o completamento N , e kTk = kT k.
Sabendo que, por denio de completamento, N denso em N . Assim, temos que

o operador T est denido como T : N = D(T ) N e, ento, procedendo com os passos
Sol:
42

DUAL
da demonstrao do teorema, concluiremos o resultado. Seja N e (n ) , com

(n ) D(T ). De
kT (n ) T (m )kB kT kB(N ,B) kn m kN
temos que (T (n )) B de Cauchy e, logo, convergente. Dena

= T() = lim T (n )
n
Devemos mostrar que T est bem denido e que kTkB(N ,B) = kT kB(N ,B) . Para tanto,
0
0
0
0
suponha que (n ) , (n ) N , ento a sequncia 1 , 1 , 2 , de Cauchy e,
0
0
0
0
pelo mesmo argumento anterior, T (1 ), T (1 ), T (2 ), converge a . Como (T (n ))
0
subsequncia desta ltima, tem-se que = e, ento, T B(N , B) est bem denido.
Evidentemente T linear e uma extenso de T , pois se N tomemos a sequncia
constante , , , e assim

T() = lim T () = T ()
n
Agora, para (N N ), usando a continuidade da norma

kT()kB = lim kT (n )kB lim kT kB(N ,B) kn kN = kT kB(N ,B) kkN
n
de forma que kTkB(N ,B) kT kB(N ,B) . Por outro lado,

kT kB(N ,B)
n
o
= sup kT ()kB : N , kkN = 1
o
n
sup T() : N , kkN = 1 = kTkB(N ,B)
Suponha agora que S B(N , B) uma extenso de T e seja N ; ento toda sequncia
(n ) N tal que (n ) , teremos que S(n ) = T(n ) e, por continuidade, S() = T().
Segue S = T e a extenso nica.
N
4.2 Espao Dual

Muitas vezes em Anlise Funcional ao trabalharmos com operadores lineares de um
espao normado em outro espao normado encontramos vrias diculdades nas demonstraes e, ainda, extramos poucas informaes do espao quando trabalhamos de forma
to geral. No entanto, existe um tipo especial de operador linear que nos permite extrair
informaes importantes do espao e, at mesmo, permite-nos caracteriz-lo de maneira
completa (algbrica e/ou topologicamente).
4.2. Espao Dual
43
Denio 4.3 Seja N um espao normado sobre o corpo F. Ento um operador linear
f : N 7 F denominado Funcional Linear.
Denio 4.4 Seja
um espao normado, ento o espao de Banach

B(N , F) ser denotado por N e chamado de Espao Dual Algbrico de N . O espao de Banach B(N , F) ser denotado por N e chamado de Segundo Espao Dual
Algbrico de N .
N
Consideramos o N porque fato conhecido uma importante relao entre N e ele

que exporemos usando a notao:
Espao Elemento Imagem do Elemento
N
N
N
f
g
f ()
g(f )
Denimos g N da seguinte maneira: para cada N xado consideremos

g (f ) = f (), f N , que claramente linear pois dados f, h N e F
g (f + h) = (f + h)() = f () + h() = g (f ) + g (h)
Como para cada N temos o elemento g N , podemos denir a funo

C: N
7 N
7 g
denominada Aplicao Cannica de N em N .

Mostremos que C linear. Sejam , N , f N e F

C( + ) (f ) = g+ (f ) = f ( + ) = f () + f () =

g (f ) + g (f ) = C() (f ) + C() (f )
Como f N foi tomado arbitrrio, conclumos que a Aplicao Cannica linear.

Claramente, C injetiva pois se C() = 0N

0 = C() (f ) = g (f ) = f () f () = 0, f N
Conclumos que = 0N da Proposio 3.2.1 e, assim, garantimos a injetividade.

Denio 4.5 Seja N um espao normado e N o segundo dual algbrico. Ento se a

aplicao cannica sobrejetiva dizemos que N um Espao Reexivo.
Proposio 4.2.1 O dual de l1 (N) isomorfo a l (N).
44

DUAL
Dem: A cada f l1 (N) ser associado um elemento = (j )

j=1 l (N), e vice-versa.
Ainda tal associao ser linear e uma isometria.
Sejam {ej : j N} l1 (N) a sua base de Schauder cannica e f l1 (N) . Assim,
para = (j )
j=1 =
j ej l1 (N), tem-se que
j=1
f () =
j f (ej ) =
j=1
j j , onde j = f (ej )
j=1
desta forma |j | = |f (ej )| kf kl1 (N) |ej |. Denindo o elemento = (j )

j=1 , segue que
kk kf kl1 (N) , como queramos. Por outro lado, tem-se
|f ()|
|j | |j | kk kk1
j=1
ou seja, kf kl1 (N) kk . Portanto, kk = kf kl1 (N) e a aplicao

K : l1 (N)
7 l (N)
f
7 K(f ) =
uma isometria linear entre l1 (N) e um subconjunto de l (N). Agora, basta mostrar
que Im(K) = l (N). Se = (j )

j=1 l (N), dena g em l (N) por
g() = g
!
j ej
j j
j=1
j=1
Como |g()| kk kk1 , segue que g l1 (N) , demonstrando que Im(K) = l (N).
Proposio 4.2.2 O dual de lp (N) isomorfo a lq (N), se p > 1 e
1
p
1
q
= 1.
q
Dem: A cada f lp (N) ser associado um elemento = (j )
j=1 l (N), e vice-versa.
Ainda tal associao ser linear e uma isometria.
Sejam {ej : j N} lp (N) a sua base de Schauder cannica e f lp (N) . Assim,
para = (j )
j=1 =
j ej lp (N), tem-se que
j=1
f () =
X
j=1
j f (ej ) =
j j , onde j = f (ej )
j=1
Usando a sequncia ( n ) = (jn )

j=1 denida por
q
|j | , =
0e1jn
j 6
n
j = j
0,
j = 0 ou j > n
4.2. Espao Dual

obtem-se que f ( n ) =
45
n
P
||q . Por outro lado,
j=1
n
X
f ( n ) kf klp (N) k n klp (N) = kf klp (N)
!1/p
||q
j=1
Estas relaes nos levam a

f ( n ) =
n
X
||q kf klp (N)
j=1
!1/p
||q
j=1
ou seja,
n
X
n
X
!1/q
||q
kf klp (N)
j=1
Sabendo que esta desigualdade vale para todo n N, tem-se que

kkq kf klp (N) <
Da Desigualdade de Hlder, obtem-se

X

|f ()| =
j j kkp kkq

j=1
ou seja,kkq = kf klp (N) e a aplicao

K : lp (N)
7 lq (N)
f
7 K(f ) =
uma isometria linear entre lp (N) e um subconjunto de lq (N). Agora, basta mostrar que
Im(K) = lq (N). Se = (j )j=1 lq (N), dena g em lp (N) por
g() = g
X
j=1
!
j ej
j j
j=1
Usando novamente Hlder, segue que g lp (N) , demonstrando que Im(K) = lq (N).
46

DUAL
PROBLEMAS
Problema 4.1 Mostre que se T B(N1 , N2 ) seu ncleo N(T ) subespao vetorial fe-
chado. Verique que

j
S : l (N) 7 l (N), S = (j )j=1 =

j j=1
um operador limitado, mas que Im(S) no fechado e ainda seu operador inverso
S 1 : Im(S) 7 l (N) existe e no limitado.
Sol:
(i) Mostremos que N(T ) fechado. Sabendo que T B(N1 , N2 ) e o seu ncleo o conjunto
N(T ) = T 1 ({0N2 }) um fechado, pela continuidade de T temos que N(T ) fechado.
(ii) Mostremos que S B(N1 , N2 ). Seja S(0l (N) ; 1), ento temos kk = 1 e
kS()k

j

=

j j=1

j

= sup : j N
j

1
: j N = 1 = kk
sup
j

(iii) Seja l (N) e, ento, considere o elemento = j =

e mostremos que
r > 0, Im(S) tal que B(; r). Considere j0 N o menor natural tal que tal que
| |
r > jj e dena = (j )
j=1 da seguinte maneira
j
j+1
j=1
jj , j =
6 j0
j = j+1
,
j = j0
j
e, assim, tomemos = S(). Calculando a distncia de a teremos:

d(, ) = k k = sup{|j j | : j N} =

j
j
0
0
=
<r 1 <r
sup

j0 (j0 + 1)
j0 (j0 + 1)
j0 + 1
(iv) Agora o operador inverso de S, T : Im(S) 7 l (N), denido por

T = (j )
j=1 = (j j )j=1
tal que (T S)() = (S T )() = , l (N) linear pois dados = (j )

j=1 ,
= (j )j=1 l (N) e F

T ( + ) = T (j +
j )
j=1
= j (j + j )

j=1
4.2. Espao Dual
47
(j j + j j )
j=1 = (j j )j=1 + (j j )j=1 = T () + T ()
Mas ao considerar a sequncia (en ) l (N) que verica as condies ken k = 1, n N

e kT (en )k = n para cada n N vemos que T no contnuo, portanto, no limitado.
N
Problema 4.2 Seja f um funcional linear sobre N .
(a) Mostre que f N se, e somente se, existe C > 0 com |f ()| C para todo em
alguma bola B(; r). Generalize para operadores lineares entre espaos normados.
(b) Mostre que f N se, e somente se, N (f ) fechado.
Sol:
(a)
()
Sejam f N e r > 0. Considere B(; r) N para algum N . Como f
um funcional linear limitado, c tal que |f ()| c kk, B(; r). Agora
kk k + r en k, assim dena C = c (kk + r) e teremos
|f ()| C
() Tome r = 1 + s, (s > 0) e B(0N ; r) e aplicando a hiptese teremos que

|f ()| < C nesta bola aberta para algum C > 0. Segue que |f ()| < C em
B[0N ; 1] e, assim, conclumos que f N
Durante a demonstrao, em nenhum momento foi estritamente necessrio que o contradomnio fosse o corpo e que o operador fosse um funcional (apenas a linearidade). A
nica condio era a de que tivesse uma norma, assim basta apenas uma demonstrao
anloga usando a norma do espao.
(b)
()
Segue do Problema 4.1 acima.
()
Usaremos a Proposio 10.1.1 do presente estudo, na qual se demosntra que dado
qualquer subespao fechado prrio de um espao normado e um elemento do seu
complementar, existe um funcional linear limitado com norma 1 e que se anula no
subespao.
No caso de N(f ) = N no h o que demonstrar. Suponha que (N N(f ))

e, por hiptese o ncleo fechado, temos que = dist(, N(f )) > 0. Logo,
a Proposio 10.1.1 garante que existe um funcional g contnuo com norma 1 e
vericando
gN(f ) = 0 com g() =
48

DUAL
Dena f =
f ()
g(), N que satisfaz

f ()
f ()
g() =
0=0
fN(f ) =
e
f ()
f ()
g() =
= f ()
f() =
Com isso, temos que f = f e, portanto, f contnuo.

N
49
Captulo 5
PONTO FIXO DE BANACH
Este teorema sobre espaos mtricos tratado aqui, apesar de sua simplicidade, possui
muitas aplicaes. Em especial, para demonstrar a existncia de solues de equaes
diferenciais e integrais. Surge tambm no contexto de espaos normados nem sempre
ligado aos operadores lineares.
5.1 Teorema do Ponto Fixo

Denio 5.1 Seja X um conjunto no vazio. Um Ponto Fixo de uma aplicao
f : X 7 X um elemento x X tal que f (x) = x
Exemplo 5.1.1 A busca de solues diferenciveis em [t0 a, t0 + a] com a > 0
da equao diferencivel em R, 0 (t) = F (t, (t)) com a condio inicial (t0 ) = 0 ,

sendo F continuamente diferencivel numa vizinhana de (t0 , 0 ), se reduz, via Teorema
Fundamental do Clculo, a encontrar os pontos xos do operador linear
: C([t0 a, t0 + a]) 7 C([t0 a, t0 + a])
denido por
F (s, (s))ds, t [t0 a, t0 + a]
(())(t) = 0 +
t0
Dada uma aplicao f em um espao mtrico X nele mesmo, uma maneira de se

obter pontos xos a partir de um ponto qualquer x0 X e aplicar f , sucessivamente,
obtendo-se x1 = f (x0 ), x2 = f (x1 ), . . . , xn = f (xn1 ) e para n esperamos obter um
ponto xo. Se (xn ) X converge para x X e f contnua, ento obtemos um ponto
xo pois

x = lim (xn ) = lim f (xn1 ) = f lim (xn1 ) = f (x)
n
Esta idia chamada de Mtodo das Aproximaes Sucessivas. No caso de espaos

mtricos completos, apresentamos uma condio para a tal convergncia.
50
Captulo 5. PONTO FIXO DE BANACH
Denio 5.2 Sejam (X, d), (Y, D) espaos mtricos. Dizemos que uma aplicao
f : X 7 Y uma Contrao se existe uma constante 0 < 1 de modo que
vale a relao
D(f (x), f (y)) d(x, y), x, y X
Teorema 5.1.1 (Ponto Fixo de Banach) Seja R um subconjunto fechado do espao
mtrico completo. Se a aplicao f : R 7 R uma contrao, ento f possui um, e

somente um, ponto xo em R.
Dem: Para mostrar que existe um ponto xo de f em R basta mostrar que, dado x X ,

a sequncia xn = f n (x) n=1 R de Cauchy, pois f contnua. Por induo, obtemos
d(x1 , x2 ) d(x, x1 ), d(x2 , x3 ) d(x1 , x2 ) 2 d(x, x1 ), . . . ,
d(xn , xn+1 ) d(xn1 , xn ) n d(x, x1 )
Asim, para todo m, n N

d(xn , xn+m )
m
X
d(xn , xn+i )
i=1
1+
m1
X
d(x, x1 )
i=1
n
d(x, x1 )
1
Como (n ) 0 para n , segue que (xn ) de Cauchy em R e f possui um ponto

xo na regio fechada R.
Mostremos ento que ele nico. Se x1 e x2 so pontos xos de f em R, ento
d(x1 , x2 ) = d(f (x1 ), f (x2 )) d(x1 , x2 )
ou seja, (1 ) d(x1 , x2 ) 0; como < 1, segue que d(x1 , x2 ) = 0 e x1 = x2 .

Corolrio 5.1.1.1 Usando a notao do Teorema 5.1.1, com f : R 7 R uma. contra-
o, ento para qualquer x R a sequencia (xn = f n (x))

n=1 converge ao nico ponto xo
x0 e com erro (e velocidade de convergncia) no n-simo iterado estimado por
d(xn , x0 ) =
n
d(x0 , x1 )
1
Dem: Basta tomar m na expresso

d(xn , xn+m ) =
n
d(x0 , x1 )
1
e usar a continuidade da mtrica.

5.2. Aplicaes
51
Exemplo 5.1.2 A uniformidade na contrao, caracterizada por 0 < 1, pode ser
essencial para a existncia de ponto xo. Isto bem exemplicado por

: [1, ) 7 [1, ), (t) = t +
1
t
a qual satisfaz |(t) (s)| |t s|, t, s [1, ), mas no possui ponto xo.
Corolrio 5.1.1.2 Seja R um conjunto fechado de um espao mtrico completo (X, d)
e f : R 7 R. Se existe m N de maneira que f m : R 7 R uma contrao,

ento f possui um, e somente um, ponto xo em R. Alm disso, x R a sequncia
(xn = f n (x))
n=1 converge a esse ponto xo.
Dem: Denote def
= f m , o qual possui um nico ponto xo y R, pois uma contrao.
Como todo ponto xo de f ponto xo de , apenas y pode ser ponto xo de f em R.
Usando que f e comutam entre sei, segue
(f (y)) = f ((y)) = f (y)
ou seja, f (y) um ponto xo de ; por unicidade f (y) = y e y e o nico ponto xo de
f em R.
Dado x R, para mostrar que (f n (x))
n=1 y quando n , sejam
M = max{d(f k (x), y) : 0 k m 1} e 0 < 1 de maneira que
d((w), (z)) d(w, z), w, z R
Cada n N pode ser escrito de maneira nica como n = j m + k, j N e 0 k < m.

Portanto,
d(f n (x), y) = d(j (f k (x)), j (y)) j d(f k (x), y) j M
quando n tem-se que j e d(f n (x), y) 0

5.2 Aplicaes
Proposio 5.2.1 (Equao Integral de Fredholm) Seja K : Q 7 R uma funo
contnua dada na regio Q = [a, b] [a, b] R que satisfaz a condio de Lipschitz

|K(s, t, u) K(s, t, v)| L |u v|, (t, s, u), (t, s, v) Q
sendo L > 0. Se C([a, b]), a equao integral no-linear de Fredholm

Z
K(s, t, (s))ds + (t), t [a, b]
(t) =
a
52
possui uma nica soluo C([a, b]) se L (b a) < 1.

Dem: Basta vericar que sob tais condies o operador
def
S : C([a, b]) 7 C([a, b]), (S())(t) =
K(s, t, (s))ds + (t)

a
uma contrao em C([a, b]) e, assim, aplicamos Teorema 5.1.1 para concluir o resultado.
Se , C([a, b]), r [a, b]
b
|K(s, t, (s)) K(s, t, (s))|ds
|(S())(t) (S())(t)|
a
|(s) (s)|ds L (b a) k k
L
a
Assim, temos kS() S()k L (b a) k(s) (s)k e se L (b a) < 1

conclumos que S uma contrao. Do Teorema 5.1.1, conclumos que S tem um, e
somente um, ponto xo C([a, b]) que satisfaz
Z
K(s, t, (s))ds + (t) = (S())(t) = (t), t [a, b]

a
Proposio 5.2.2 Dada uma funo F : U 7 R contnua em

U = [t0 b, t0 + b] B[0 ; r] R2 , r, b > 0
e satisfazendo a condio de Lipschitz

|F (t, ) F (t, )| L k k, L > 0, (t, ), (t, ) U
denote M = max{|F (t, )| : (t, ) U }. O Problema de Cauchy

d(t)
= F (s, (t)), 0 = (t0 ) R
dt
possui uma soluo nica diferencivel : I 7 R, tomando o intervalo I = [t0 a, t0 +a]

com 0 < a < min Mr , L2 , b .
Dem: Seja C = { C(I) : |(t) (t0 )| r, t I} completo pois subespao fechado
de C(I). Como visto no Exemplo 5.1.1, uma forma de mostrar que este Problema de
Cauchy possui soluo nica mostrar que o operador dado por
Z
F (s, (s))ds, t I
(())(t) = 0 +
t0
5.2. Aplicaes
53
possui apenas um ponto xo. Primeiramente, mostremos que se a

ocorre:
r
M
, ento : C 7 C

Z t

Z t

|(())(t) 0 | = 0 +
F (s, (s))ds 0 = F (s, (s))ds
t0
t0
max{|F (t, (t))| : (t, (t)) U } |t t0 | M a

r
a M
= |(())(t) 0 | r () C
Para , C tem-se
Z
|(())(t) (())(t)|
|F (s, (s)) F (s, (s))|ds

t0
|t t0 | sup{|F (s, (s)) F (s, (s))| : s I}

a L sup{|(s) (s)| : s I}
de forma que k() ()k a L k k e, como, a < L1 segue que uma

contrao. Assim, podemos aplicar o Teorema 5.1.1 para concluir o resultado.
A Proposio tambm conhecida como Teorema de Picard e importante pois apresenta condies sucientes para a unicidade do Problema de Cauchy. Alm disso, serve
para ilustrar a fora do teorema apresentado neste captulo.
54
PROBLEMAS
Problema 5.1 Seja X um espao mtrico. Se T : X 7 X satisfaz
d(T (x), T (y)) < d(x, y), x 6= y
e possui um ponto xo, mostre que o ponto xo nico.

Sejam x, x0 X pontos xos de T que satisfaz as condies do enunciado. Ento, por
denio, T (x) = x e T (x0 ) = x0 e segue que
Sol:
d(T (x), T (x0 )) = d(x, x0 )
Pela hiptese, temos a desigualdade estrita para x 6= x0 ; portanto, x0 = x e o resultado

est provado.
N
Problema 5.2 Seja f : R 7 R uma aplicao continua. Em anlise, uma usual condi-
o suciente para a convergncia de uma iterao xn = f (xn1 ) f ser continuamente

diferencivel e
|f 0 (x)| < 1, x R
Verique usando o Teorema 5.1.1.

Sabemos da anlise que se uma funo contnua e diferencivel y no intervalo aberto
entre xn1 e xn tal que
Sol:
|f (xn ) f (xn1 )| |f 0 (y)| |xn xn1 |
assim, se tivermos |f 0 (y)| < 1, y R, ento f uma contrao e o Teorema 5.1.1

garante o resultado, pois R um espao mtrico completo.
N
55
Captulo 6
ESPAO DE BAIRE
Dentre as caracterizaes de um conjunto, uma das mais abrangentes (no sentido
de que pode ser aplicada a qualquer conjunto) a cardinalidade e, neste caso, dizemos
que uma propriedade P dita ser Robusta se for vlida em um conjunto de grande
cardinalidade.
No entanto, esta caracterizao no muito relevante para o tratamento aplicado pela
Anlise Funcional. Assim, pensando em conceitos topolgicos, as noes de conjunto
aberto, conjunto com interior no-vazio e de conjunto denso so algo robustas. Mais
ainda se pensarmos na fuso desses conceitos, tratando de conjunto aberto e denso, algo
realmente robusto, que excluiria patologias de certa propriedade; o Teorema de Categoria
de Baire tratado aqui garante que em espaos mtricos completos, ou topolgicos localmente compactos, a densidade mantida aps a interseco enumervel de abertos densos
e uma propriedade que vale num tal conjunto chamada de Genrica. Assim, se P1 e
P2 so propriedades genricas, ento o conjunto em que ambas valem denso; notemos
que a densidade se estende para um conjunto em que valem um conjunto contvel de
propriedades genricas!
6.1 Teorema de Categoria de Baire

Apresentaremos a denio da categoria de um subconjunto de um espao topolgico
e a consequente a demonstrao do teorema que d o nome deste captulo. Tambm
demonstraremos algumas proposies sobre espaos de Baire em geral e, ainda, uma
proposio importante sobre o espao das funes contnuas.
Denio 6.1 Um subconjunto A de um espao topolgico X :
i. Raro em X se Int(A) = ;
ii. Magro (ou de Primeira Categoria) em X se A
R , onde contvel e R
Raro;
S
56
Captulo 6. ESPAO DE BAIRE
iii. No-Magro (ou de Segunda Categoria) em X se no magro em X .

Exemplo 6.1.1 O conjunto dos racionais Q Magro em R, pois cada ponto forma um
conjunto raro em R com a topologia usual.
Exerccio Resolvido 6.1.1 Quais os subconjuntos Magros num espao mtrico discreto?
Encontre um subconjunto Magro e denso em C.
Se X um espao mtrico discreto, ento todos os subconjuntos so abertos e fechados;

consequentemente, o nico conjunto com interior vazio o prprio vazio, o que implica que o
nico conjunto Magro .
Em C, o conjunto Q = {z = a + b i : a, b Q} Magro e denso. Basta notar que um
conjunto enumervel, {z} Raro e para qualquer elemento de C, existe um elemento de Q
arbitrariamente prximo.
Sol:
Proposio 6.1.1 Se X um espao topolgico, ento so equivalentes:
a) A unio enumervel de conjuntos fechados Raros um conjunto com interior vazio,

ou seja, a unio enumervel de fechados com interior vazio resulta num conjunto
tambm com interior vazio;
b) A interseco enumervel de conjuntos abertos densos em X um conjunto denso
em X ;
c) Todo conjunto Magro em X no contem um aberto no vazio;
d) O complementar de todo subconjunto Magro em X denso em X ;
e) Todo conjunto no vazio e aberto em X No-Magro em X .
Dem:
a) b)
S
Seja A =
R , onde enumervel e R Raro, ento: RC aberto denso em
X ; com isso, usando b) conclumos AC denso pela relao abaixo

!C
C
(A ) =
RC
Por outro lado, a relao anterior nos diz que se tivermos um conjunto denso sendo
a interseco enumervel de abertos densos, o seu complementar ser a unio enumervel de conjuntos fechados Raros e, por a), ser um conjunto com interior vazio.
6.1. Teorema de Categoria de Baire
57
c) d)
Dado A X Magro, de c) conclumos que: para todo aberto de X , a interseco
com AC no vazia; isto implica que AC denso em X . Por outro lado, se tivermos
d), ento um subconjunto Magro no pode conter um aberto no vazio pois isto
implicaria que seu complementar no fosse denso em X .
c) e)
Imediato, pois c) a contrapositiva de d)

a) d)
Segue da denio de conjunto Magro que est contido numa unio enumervel
de conjuntos Raros e fechado, alm disso, o complementar denso nos garante o
interior vazio. E se uma unio enumervel de conjuntos raros, ento um conjunto
Magro e, como possui interior vazio, seu complementar denso em X .
Denio 6.2 Um espao topolgico que satisfaz as condies da Proposio 6.1.1 chamado de Espao de Baire. Um subconjunto de um espao topolgico um G se uma
interseco contvel de conjuntos abertos e um F se uma unio contvel de conjuntos

fechados. Um conjunto Genrico ou Residual se ele um G denso.
Portanto, num espao de Baire X todo G obtido pela interseco contvel de abertos
densos tambm denso e se X a unio contvel de conjuntos Hn , ento o fecho de pelo
menos um desses Hn tem interior no vazio.
Teorema 6.1.1 (Teorema de Categoria de Baire) Todo espao mtrico (X, d) com-
pleto um espao de Baire.
Dem: Sejam X um espao mtrico e A =
An , com An aberto e denso em X para todo
n=1
n. Mostraremos que A denso em X , ou seja, se B1 uma bola aberta, ento A B1 6= .

Pela densidade de A1 , temos que A1 B1 6= e aberto. Logo, contem o fecho B 2 de
uma bola aberta B2 .
Repetindo o raciocnio para A2 e B2 teremos que pela densidade de A2 , A2 B2 6=

e aberto. Logo, contem o fecho B 3 de uma bola aberta B3 . Desta forma, obtm-se uma
sequncia de bolas abertas Bn satisfazendo
A1 B1 B 2 B 3
e com B n+1 An Bn . Como X completo, X vericando

{} =
\
n=1
B n A B1 6=
58
Logo X satisfaz a condio b) da Proposio 6.1.1 e, portanto, um espao de Baire

conforme a denio precedente.
Exerccio Resolvido 6.1.2 Demonstre que o resultado do Teorema 6.1.1 ainda verda-
deiro se substituirmos a hiptese de X ser espao mtrico completo por X ser um espao
topolgico localmente compacto.
Sol:
Sejam X um espao topolgico localmente compacto e A =
T
n=1
An , com An aberto
e denso em X para todo n. Seja U1 , mostremos que U2 A 6= . Pela densidade de

A1 , U A1 6= e aberto, logo contem um o fecho U 2 de um aberto U2 .
Repetindo o raciocnio para A2 e U2 teremos que pela densidade de A2 , U2 A2 6= e
aberto. Logo, contem o fecho U 3 de um aberto U3 . Desta forma, obtm-se uma sequncia
de abertos Un satisfazendo
U1 A1 U 2 U 3
e com U n+1 Un An . Como X localmente compacto, x X vericando {x} =
Un
n=1
pois U 2 compacto. Isto garante que U1 A 6= .

Logo X satisfaz a condio b) da Proposio 6.1.1 e, portanto, um espao de Baire
conforme a denio precedente.
N
Proposio 6.1.2 Se X um espao de Baire, ento todo aberto no vazio em X e todo
subconjunto genrico em X so espao de Baire.

Dem:
Seja U X aberto; se U no um espao de Baire, existe uma sequncia de abertos

Un densos em U cuja interseco no densa em U . Assim, os Vn = Un (X U ) so
abertos densos em X cuja interseco no densa em X , contrariando a hiptese
de X ser um espao de Baire.
Considere {An }nN uma famlia de abertos densos em X , cuja interseco
T
An densa em X , ou seja, G um conjunto genrico em X . Se {Bj }jN
G=
nN
uma famlia de abertos densos em G, existem Cj abertos denso em X de forma que

Bj = Cj G para cada j N. Desse modo,
!
\
jN
Bj =
(Cj G) =
jN
\
jN
Cj
\
nN
An
(Cj An )
j,nN
denso em X e, portanto, denso em G.

59
Proposio 6.1.3 Seja X um espao de Baire. Se H X Magro, ento o seu com-
plementar um espao de Baire.
Dem: Como H Magro, o conjunto X H contem um subconjunto genrico G em X .

Se {An }nN uma famlia de abertos densos em X H , ento An G aberto denso em
G para cada n N. Pela densidade de G em X , a interseco
!
\
(An G) =
nN
An
nN
densa em G e em X H .
Observao 7 Note que Exerccio 6.1.2 nos diz que o Teorema de Categoria de Baire
um fato topolgico e no apenas mtrico (vide Problema 6.1). Como exemplo disto temos
que R um espao (mtrico completo) de Baire homeomorfo a (1, 1), o qual espao
de Baire, mesmo no sendo espao mtrico completo.
Agora apresentaremos, usando o Teorema de Categoria de Baire, um resultado que
responde as importantes questes em anlise: H funes contnuas que no possuem
derivada em nenhum ponto? Se sim, so "muitas"?
Proposio 6.1.4 O conjunto das funes reais em C([0, 1]) que no possuem derivada
nita em todos os pontos de [0, 1] genrico em C([0, 1]).
Dem: Sejam I = [0, 1], un (t, h) = |(t + h) (t)| n |h| para C(I) e t + h I e
An = { C(I) : t I, h com un (t, h) > 0}
Se
An , ento no possui derivada em I . Como C(I) um espao mtrico
nN
completo, pelo Teorema de Categoria de Baire, basta mostrar que An aberto denso em
C(I).
= h(t)
> r. De fato,
Se An , r > 0 de modo que t I existe h
com un (t, h)
se @ r > 0, ento j N, tj I com un (tj , h) > 1j para todo h admissvel. Como I
compacto, a sequncia (tj ) I possui um ponto de acumulao t0 I e un (t0 , h) = 0 para
todo h admissvel, logo
/ An . Portanto, a armao est vericada pela contrapositiva.
Agora, se C(I),
< |(t + h)
(t)|
r + n |h|
(t + h)|
+ |(t + h)
(t)| + |(t) (t)|
|(t + h)
de forma que se k k < 2r , segue que

> 0, t I An
un (t, h)
60
Logo An aberto. Para mostrar que An denso em C(I) usaremos os seguintes fatos:
primeiro o fato de que qualquer funo contnua em I , constituda por um nmero nito
de partes lineares, cujo mdulo de inclinao de cada parte maior do que n pertence a
An ; e segundo o fato de que C(I) uniformemente contnua, ou seja, para qualquer
C)(I) vale a armao "dado r > 0, existe s > 0 tal que se |t x| < s ento
|(t) (x)| < r."
Considere uma partio nita de I com intervalos menores do que s, o grco de
neste intervalo est contido num retngulo de comprimento menor do que s e altura
menor do que r. Em cada intervalo, construa uma funo contnua com imagem dentro
do retngulo correspondente, linear por partes com mdulo das inclinaes maiores do
que n e de forma que nos extremos da partio essa funo coincida com . Isto leva a
C([I]), que pertence a An e com k k < r. Segue que An = C(I).
Corolrio 6.1.4.1 O conjunto das funes reais contnuas que possuem derivada em al-
gum ponto Magro em C(I).
Dem: Este conjunto o complementar do conjunto
An , onde os An so os conjuntos
nN
da demonstrao da proposio precedente. A Proposio 6.1.1 garante o resultado.

61
PROBLEMAS
Problema 6.1 Mostre que um espao topolgico homeomorfo a um espao de Baire
tambm um espao de Baire.

Seja Y
espao topolgico homeomorfo aos espao de Baire X , sendo

f : X 7 Y o homeomorsmo. Seja {Vn }nN uma famlia de abertos densos de Y ,
T
mostremos que
Vn denso em Y . Usando o homeomorsmo f teremos que a famlia
Sol:
nN
{Un = f 1 (Vn )}nN uma famlia de abertos tais que U n = X, n N, pois f (U n ) = V n .
Assim,
X=
Un
nN
e, consequentemente,
!
Y = f (X) = f
Un
nN
\
nN
f (U n ) =
Vn
nN
Problema 6.2 Mostre que um conjunto enumervel E em um espao mtrico X Magro
se, e somente se, E no possui pontos isolados.

Sol:
()
Se E X Magro e enumervel, ento podemos escrev-lo como a unio enumervel de seus subconjuntos unitrios. Caso possusse um ponto isolado x, teramos que
Int({x}) = {x} 6= contrariando o fato de que E est contido na unio contvel de
conjuntos Raros.
()
Considere a os subconjuntos unitrios de E para a construo do mesmo.Pelo argumento,

temos que x E, Int({x}) = e, claramente, este maneira mais na de construo
S
do conjunto E . Segue que E = {x}, uma unio de conjuntos Raros.
xE
Problema 6.3 Mostre que a fronteira de um aberto em um espao mtrico X um
conjunto raro.
Seja U e U a fronteira de U . Sabemos que U fechado e que x U

equivalente a V com x V ento U V 6= e (X U ) V 6= . Com isso, @ V
tal que x V U Int(U ) = .
Sol:
62
Problema 6.4 Se X um espao mtrico completo e existe uma famlia de fechados
{Fn }nN cuja unio X , mostre que

Sol:
Claramente,
S
nN
Int(Fn ) um aberto denso em X .
Int(Fn ) aberto, pois a unio dos abertos Int(Fn ). Por completude,
nN
X formado por todos os limites de suas sequncias de Cauchy; com isso, basta mostrar que
x X, (xm )
Int(Fn )
mN
sequncia de Cauchy tal que (xm ) x. Seja x
Fn , para algum k N, x Fk . Segue
nN
que x um ponto de acumulao de Int(Fk ) e, portanto, (xm ) Int(Fk ) sequncia de

Cauchy, cujo limite x. Logo
(xm ) Int(Fk )
Int(Fn )
Int(Fn ) = X
nN
nN
Problema 6.5 Se dim(B) = , use o Teorema de Baire para mostrar que qualquer base
de Hamel de B no contvel.
Seja B = { : } uma base de Hamel de B. Caso a cardinalidade de seja

enumervel, podemos reindexar da seguinte maneira
Sol:
B = {i : i , i N}
e considerar os seguintes conjuntos

h
Bi = {1 , . . . , i }
que so subespaos fechados, pois para cada i vale dim(Bi ) = i < . Alm disso, possuem
interior vazio, logo so conjutos fechados raros.

Como B um espao de Baire, temos que Int
Bi
= . Por outro lado, temos que
iN
Bi = B do fato de B ser uma base de Hamel. Disto concluiramos que Int(B) = , um
iN
absurdo. Portanto, a cardinalidade de no enumervel.

N
63
Captulo 7
PRINCPIO DA LIMITAO
UNIFORME
Nesta seo apresentaremos algumas das principais consequncias do Teorema de
Baire, visto no captulo anteiror, o Teorema de Banach-Steinhaus e o Princpio da Limitao Uniforme. Resultados estes que so fundamentais para os assuntos abordados
futuramente.
7.1 Princpio da Limitao Uniforme

Teorema 7.1.1 (Princpio da Limitao Uniforme) Qualquer famlia {T }J de ope-
radores em B(B, N ) em que para cada B,
sup{kT ()kN : J} <
satisfaz sup{kT kB(B,N ) : J} < .

Dem: Seja Ek = { B : kT ()kN k, J}, o qual conjunto fechado pois, de
S
T contnuo, a interseco dos fechados T 1 (B[0B ; k]), J . Como B =
Ek , pelo
kN
Teorema de Baire, Em com interior no vazio. Seja B(0 , r) Em , ento, para qualquer
J tem-se kT ()kN m, para todo B(0 , r).
Se 0B 6= , segue que = 0 +
um elemento de B(0 , r) e, portanto,

2 kkB

T r
= kT () T (0 )kN

2 kkB N
kT ()kN + kT (0 )kN 2 m
assim kT ()kN
4m
kkB , J e B . Disto segue que
r
64
Captulo 7. PRINCPIO DA LIMITAO UNIFORME
sup{kT kB(B,N ):J }
4m
<
r
Corolrio 7.1.1.1 Um conjunto H B limitado se, e somente se, para todo B
tem-se que sup{|f ()| : f H} < .
Dem: Se H limitado, ento sup{kf kB : f H} < e para todo B tem-se que

sup{|f ()| : f H} kf kB kkB <
Para demonstrar a outra implicao considere a famlia {f }J , onde f H, J

e os conjuntos fechados Ek = { B : |f ()| k, J} como na construo do
teorema. Logo, como estamos nas mesmas condies conclumos que
sup{kf kB : f H} <
Corolrio 7.1.1.2 (Teorema de Banach-Steinhaus) Seja (Tn ) B(B, N ) uma sequn-
cia de forma que B existe o limite
def
T () = lim (Tn ())

n
Ento sup{kTn kB(B,N ) : n N} < e T um operador linear em B(B, N ).

Dem: Mostremos que T linear. Sejam , B e F, ento
T ( + ) = lim (Tn ( + )) = lim (Tn ()) + lim ( Tn ()) =
n
lim (Tn ()) + lim (Tn ()) = T () + T ()
Como B, lim (Tn ()), tem-se que

n
sup{kTn ()kB(B,N ) : n N} <
e, pelo Princpio da Limitao Uniforme

sup{kTn kB(B,N ) : n N} <
Da denio de T , segue que

kT ()kB(B,N ) sup{kTn kB(B,N ) : n N} kkB , B
7.1. Princpio da Limitao Uniforme
65
A seguir apresentaremos um exemplo que ilustra o fato de as condies do Teorema

da Banach-Steinhaus (e, consequentemente, o Princpio da Limitao Uniforme) podem
no valer se o domnio no for um espao de Banach.
Exemplo 7.1.1 Seja N o espao normado dos elementos
= (j )
j=1 l (N)
com j 6= 0 para j num subconjunto nito. Dena Tn : N 7 N por

Tn () = (n j )
j=1
Claramente, Tn B(N ) para cada n e N , lim (Tn ()) = 0N , mas

n
lim kTn kB(N ) =
Exerccio Resolvido 7.1.1 Sejam Se : l2 (N) 7 l2 (N) dado por

Se (1 , 2 , 3 , . . .) = (2 , 3 , . . .)
e Tn = Sen . Encontre kTn kB(l2 (N)) e o operador limite do Teorema de Banach-Steinhaus

neste caso.
Sol:
Como Tn (j )
j=1 = (jn )j=n+1 temos que
kTn ()kB(l2 (N)) =
!1/2
|jn |2
j=n+1
!1/2
|j |2
= kk
j=1
Isto implica que kTn kB(l2 (N)) 1 e, como, n N os elementos de l2 (N) da forma
= 0, 0, . . . , 0, n+1 , n+2 , . . .
| {z }
n vezes
so tais que ocorre a igualdade. Portanto, para cada n vale que kTn kB(l2 (N)) = 1.
Agora, l2 (N) a srie
r0 = r2 , n N satisfazendo
P
j=1
|j |2 converge, temos ento que dado r > 0, tomando

n
X
X

X

2
2
2
|j |
|j | =
|j | < r0

j=1
j=1
j=n+1
66
Mas isto precisamente dizer que dado r > 0, existe n N tal que
kTn ()kl2 (N) =
!1/2
|j |2
<r
j=n+1
e, portanto,
0 = lim
n
!1/2
|j |2
= lim kTn ()kl2 (N)
j=n+1
De fato, lim {|j |2 : l2 (N), j > n} = 0 garante que r > 0, n0 N tal que para
n
n n0 vale Tn () B(0l2 (N) ; r) e, assim, (Tn ()) 0l2 (N) . Do fato de l2 (N) ser tomado
arbitrrio, segue que
T 0B(l2 (N)
N
Corolrio 7.1.1.3 Se b : B1 B2 7 F uma aplicao bilinear separadamente contnua
(b(
bullet, ) e b(, ) so lineares e contnuas para cada B2 e para cada B1 , respectivamente), ento b contnua.
Dem: Por linearidade, basta considerar (n ) 0B1 e (n ) 0B2 , mostraremos que

b(n , n ) 0. Para cada n B1 dena Tn : B2 7 F por Tn () = b(n , ), o qual
contnuo e converge para 0. Assim (Tn ()) limitada para cada ; por Limitao
Uniforme, C > 0 em que
|Tn ()| C kkB2 , B2
Em particular, para n tem-se

|b(n , n )| = |Tn (n )| C kn kB2 0
Exemplo 7.1.2 Seja N = (C[0, ], k k1 ), com kk1 =
|(t)|dt para N . Denote

R
b : N N
7 F a forma bilinear separadamente contnua b(, ) = 0 (t) (t)dt.
Denindo
R
0
2
n sen(n t), t [0, n ]
n (t) =
0,
t ( n , ]
2
n
segue que kn k1 = 2 0 quando n , enquanto que

b(n , n ) =
, nN
2
67
Proposio 7.1.1 Seja {T } uma famlia em B(B, N ) com

sup{kT k : } =
Ento o conjunto
I = { B : sup{kT ()kN } < }
Magro em B
Dem: Usando a notao da demonstrao do Princpio da Limitao Uniforme, tem-se
S
que I =
Ek e por esta demonstrao Int(Ek ), k N, pois desta forma teramos que
kN
sup{kT k : } < . Como Ek fechado, segue que I Magro.

O prximo resultado refere-se convergncia (ou no!) das sries de Fourier de funes
contnuas peridicas na reta; no caso de funo peridica continuamente diferencivel, tal
convergncia uniforme. Denote
Cp ([0, 2 ]) = { C([0, 2 ]) : (0) = (2 )}
o qual um subespao fechado de C([0, 2 ]), logo de Banach, e

1
(Fn ())(t) =
2
exp(i n t) (t)dt, Cp ([0, 2 ])

0
Corolrio 7.1.1.1 O conjunto dos elementos Cp ([0, 2 ]) cuja srie de Fourier

P
nZ
(Fn ())(t) exp(i n t) converge em t = 0 Magro.
Dem: Trabalhando um pouco com as relaes trigonomtricas, obtm-se que, para cada
P
(Fn ())(t) exp(i n t) da srie de Fourier de
N N, a reduzida (Sn ())(t) =
|n|N
pode ser escrita da forma

(Sn ())(t) =
Z
0
2 sen
(2N +1)(ts)
2
sen
(ts)
2
(s)ds
Observe que fN : Cp ([0, 2 ]) 7 C denida por fN () = (SN ())(0) um elemento

do dual de Cp ([0, 2 ]); assim, basta concluir que
sup{kfN kCp ([0,2]) : N N} =
e usar a proposio.
68
Considere N (t) = sen

com isso,
(2N +1)t
2
, um elemento de Cp ([0, 2]) com kN kCp ([0,2]) = 1;

Z
fN (N ) =
1
2 sen2
(2N +1)s
2
s
2N
+1 Z
X
n=1
2

2 sen2
1
ds
(2N +1)s
2
sen
Z
s
2
(2N +1)
ds
sen2 (u)
du
u
2N
+1
X
sen2 (u)
1
1
du =
2 n=1 n
(n1) n
n
Como a srie harmnica divergente, conclui-se que

lim (kfN kCp ([0,2]) ) =
completando a demonstrao.
69
PROBLEMAS
Problema 7.1 Demonstre a seguinte verso do Princpio da Limitao Uniforme: Seja
{ : X
7 F }J uma famlia de funes contnuas denidas num espao mtrico
completo X , de forma que
x X, sup{| (x)| : J} <
Ento A X no vazio em que

sup{| (x)| : J, x A} <
Considere os conjuntos Ek = {x X : | (x)| k, J} que so, por continuidade

S
Ek , pelo
de , fechado (pois so a interseco dos fechados 1 (B[0; k])). Como X =
Sol:
kN
Teorema de Baire, existe Em com interior no vazio.

Seja A = Int(Em ), ento segue que
J, x A, | (x)| < m sup{| (x)| : J, x A} <

N
Problema 7.2 Seja T : N1 7 N2 linear. Mostre que T limitado se, e somente se,
T 1 (BN2 [0N2 ; 1]) possui interior no vazio.
Sol:
()
Por continuidade, T 1 (BN2 (0N2 ; r)) 6= , 0 < r 1, e um aberto de N1 .

()
A Proposio 8.1.1 demonstrada no captulo seguinte garante que

r > 0, T (BN1 (0N2 ; r)) = r T BN2 (0N2 ; 1)
e, assim, a hiptese que o interior de T

Int T

BN2 [0N2 ; 1] ser no vazio se torna

BN2 [0N2 ; r]
!
6= , r > 0
Com base no apresentado acima e a Proposio

8.1.1, temos que para cada N1 e
!
r > 0 vale Int T
BN2 [T ()N2 ; r]
6= , logo dado qualquer vizinhana aberta
V de T (), teremos que T 1 (V ) uma vizinhana aberta de , terminando a demons-
trao.
70

N
Problema 7.3 Seja (Tn ) B(N , B) limitada, isto , tem-se

sup{kTn kB(N ,B) : n N} <
Seja H S(0N ; 1) denso. Suponha que H , existe lim (Tn ()). Mostre que
n
N existe
def
T () = lim (Tn ())

n
e que T B(N , B).

Armamos que como H S(0N ; 1) denso, T est bem denido
para dada S(0N ; 1)

e, ainda, T limitado em S(0N ; 1). Seja S(0N ; 1) H , por densidade, existe uma
sequncia (m ) de H , mostemos que possvel denir T ().
Como para cada n N o operador Tn contnuo,
Sol:

Tn () = Tn lim (m ) = lim Tn (m )
m
Portanto, est bem denido S(0N ; 1) H o elemento Tn () B, pois o limite

o segundo limite existe, pois B um espao de Banach. Assim, para todo S(0N ; 1)
kTn ()kB kTn kB(N ,B) kkN
Usando a hiptese de limitao e a continuidade da norma, podemos fazer n e ento

lim (kTn ()kB ) lim (kTn kB(N ,B) kkN ) =
sup{kTn kB(N ,B) : n N} kkN , S(0N ; 1)
Notando que da continuidade da norma

lim kTn ()kB

= lim Tn ()
n
podemos denir o operador limitado em S(0N ; 1)

T () = lim Tn () , S(0N ; 1)
n
Agora mostremos que r > 0, T (S(0N ; r)) = r T (S(0N ; 1)) e, com isso, teremos que
o resultado vale para todo N . Seja T (S(0N ; r)), ento S(0N1 ; r) tal que
T () =

1
0N = 1 r = 1 1 S(0N ; 1)

r
r
r
N
71
Do exposto, conclumos que: r S(0N ; r) r T (S(0N ; 1)). Com isso, temos

que T B(N , B) e o resultado est provado.
N
72
73
Captulo 8
APLICAO ABERTA E GRFICO
FECHADO
Discutiremos um resultado tcnico muito importante em Anlise Funcional que nos
garante sobre quais condies uma aplicao linear contnua e invertvel tenha inversa
contnua, isto , para que seja um homeomorsmo linear. A saber, estamos falando do
Teorema da Aplicao Aberta. Tambm trataremos de uma de suas consequncias, o Teorema do Grco Fechado, que apresenta uma caracterizao importante dos operadores
contnuos entre espaos de Banach.
8.1 Teorema da Aplicao Aberta

Denio 8.1 Dizemos que se uma aplicao f : X 7 Y satisfaz
U X f (U ) Y
ento ela uma Aplicao Aberta.

Proposio 8.1.1 Seja T B(N1 , N2 ), ento valem:

r
s
(a) r, s > 0 tem-se T B(0N1 ; r) = T B(0N1 ; s)

(b) N1 e r > 0 tem-se que T B(; r)

conjuntos)

= T () + T B(0N1 ; r) (soma de
(c) Se B(0N2 ; s) T B(0N1 ; r) , ento

B(0N2 ; s) T B(0N1 ; r) , > 0

Disto segue que se r > 0 em que T B(0N1 ; r) contem uma vizinhana da
74
Captulo 8. APLICAO ABERTA E GRFICO FECHADO

origem, ento T B(0N1 ; s) contem uma vizinhana da origem para todo s > 0
(note que isto vale mesmo sem os fechos dos conjuntos).

(d) Se B(0 ; s) T B(0N1 ; r) , ento l > 0 tal que B(0N2 ; l) T B(0N1 ; r) (note
que isto vale mesmo sem os fechos dos conjuntos).
Dem: Primeiramente, mostremos que dado um espao normado N , vale a seguinte propriedade: se B(0N ; r), ento B(0N1 ; r) = B(0N1 ; r), com 0.
Da teoria de conjuntos e espaos normados, temos que V , com V N o conjunto
V = { v : v V }
assim, claramente B(0N1 ; r).

Agora, dado B(0N ; r), mostremos que d( , 0N ) < r:
d( , 0N ) = k 0N k = k 0N k < r
, 0N B(0N1 ; r)
A outra incluso segue diretamente da denio de multiplicao de um conjunto por

um elemento.
Sabemos da teoria de conjuntos e espaos normados que o conjunto +V , com V N
o conjunto
+ V = { + v : v V }
Agora, com as denies e resultados importantes apresentados, podemos demonstrar

as propriedades:
(a) Seja T (B(0N1 ; r)), ento B(0N1 ; r) tal que T () = , com k 0N1 kN1 < r.
Pelo resultado acima, podemos escrever

s
s
s

0N1 < r = s B(0N1 ; s)
r
r
r
N1
Do exposto, conclumos que rs B(0N1 ; s) rs T (B(0N1 ; s)).

Suponha rs T (B(0N1 ; s)), ento rs rs B(0N1 ; s) tal que T ( rs ) =
claramente k rs 0N1 kN1 < rs s = r, terminando a demonstrao.

r
s
(b) Seja T (B(; r)), mostremos que ( T ()) T B(0N1 ; r) . Por hiptese,
sabemos que B(; r) satisfazendo T () = , assim
d( T (), 0N2 ) = kT () T ()kN2 = k T ()kN2 < r

( T ()) T B(0N1 ; r) T () + T B(0N1 ; r)
8.1. Teorema da Aplicao Aberta
75
Como a outra incluso segue diretamente da denio de soma de um elemento com

um conjunto, conclumos a nosso resultado.

(c) Sejam > 0 dado e B(0N2 ; s), mostremos que T B(0N1 ; r) . Como

1
1
= e, assim, pela
B(0N2 ; s) T B(0N1 ; r) , B(0N1 ; r) tal que T
denio de mltiplo de um conjunto e a linearidade de T , temos que

B(0N2 ; s) = B(0N2 ; s) T B(0N1 ; r) = T B(0N1 ; r)
(d) Seja 1 B(0N1 ; r) de forma que k1 0 kN1 < 2s , sendo 1 = T (1 ). Com isso,
s

B 1 ;
B(0 ; s) T B(0N1 ; r)
2
Se kkN2 < 2s , ento

= 1 + ( 1 ) = T (1 ) + ( 1 ) T (1 ) + T B(0N1 ; r)

T 1 + B(0N1 ; r) T B(0N1 ; 2 r)

Disto segue que B 1 ;

s
T B(0N1 ; 2 r) e, consequentemente, temos que
2
!

s
T B(0N1 ; r)
B 1 ; l =
4
Lema 8.1.1 Se T B(N1 , N2 ) e r > 0 de forma que

Int T B(0N1 ; r)
!
6=
ento T uma aplicao aberta.

Dem; Como o interior de T B(0N1 ; r) no vazio, segue da Proposio 8.1.1 que

s > 0, T B(0N1 ; s) contem uma bola aberta centrada na origem. Para garantir o

resultado, suciente mostrar que N1 e para todo s > 0, T B(; s) contem uma
bola aberta centrada em T ().

Do item (b) da Proposio 8.1.1, T B(; s) = T () + T B(0N1 ; s) e, ento, basta

considerar = 0N1 . Mas T B(0N1 ; s) tem interior no vazio e o resultado segue do
mesmo argumento anterior.

76
Teorema 8.1.1 (Aplicao Aberta) Se T B(B1 , B2 ) com Im(T ) = B2 , ento T
uma aplicao aberta.
Dem: Pela sobrejetividade de T , podemos escrever

B2 =

T B(0B1 ; n)
nN

6= . O item (c)
do Teorema de Baire, m N satisfazendo Int T B(0B1 ; m)
permite supor m = 1 sem perder a generalidade da argumentao.

Do item (d), podemos supor que l > 0 de forma que

B(0B2 ; l) T B(0B1 ; 1)

Almejamos mostrar que T B(0B1 ; 1) T B(0B1 ; 2) e, ento, usar o Lema 8.1.1
para concluir o resultado.

Seja T B(0B1 ; 1) . Escolha 1 B(0B1 ; 1), com

1
l
T B 0B1 ;
T (1 ) B 0B2 ;
2
2
Tal escolha possvel pelo item (c) da referida proposio. Novamente, pelo item (c),

escolha 2 B 0B1 ; 21 , com

1
l
T (1 ) T (2 ) B 0B2 ; 2 T B 0B1 ; 2
2
2
Por induo, escolha n B 0N1 ; 21n , vericando

n
X
!
T (j )
j=1
Como B1 completo, =

l
1
B 0B2 ; n T B 0B1 ; n
2
2
j B1 e, sendo T contnuo, segue que = T ().

< 2, vem que T B(0B1 ; 1) T B(0B1 ; 2) . Logo B(0B2 ; l) T B(0B1 ; 2)
j=1
Como kkB1
e o Lema 8.1.1 garante o resultado.
O prximo resultado segue diretamente do Teorema da Aplicao Aberta, geralmente

tratado como Teorema da Aplicao Inversa.
Corolrio 8.1.1.1 (Aplicao Aberta 2) Se T B(B1 , B2 ) bijetivo, ento T 1 tam-
bm uma aplicao linear contnua.
8.2. Teorema do Grco Fechado
77
Dem: Seja V aberto de B2 , mostremos que sua imagem inversa por T 1 um aberto.
Como Im(T ) = B2 , T uma aplicao aberta; assim, existe U aberto tal que T (U ) = V .
Logo

T 1 (V ) = T 1 T (U ) = U
Exerccio Resolvido 8.1.1 Se T B(B1 , B2 ) bijetivo, ento mostre que C1 , C2 > 0
tais que C1 kkB1 kT ()kB2 C2 kkB1 para todo B1 .
A desigualdade kT ()kB2 C2 kkB1 segue de T ser limitado. Para a outra desigualdade,

usaremos o corolrio precedente que garante o mesmo resultado para o operador inverso, ou
seja, kT 1 ()kB1 C kkB2 para todo B2 . Assim, tomando = T () teremos a relao
Sol:
B1
C1 kkB1 = C1 kT 1 ()kB1 kkB2 = kT ()kB2 C2 kkB1
onde C1 = C1 .
N
8.2 Teorema do Grco Fechado

A forma mais brusca de descontinuidade
de um
operador T se apresentaria pela existncia de sequncias (n ) tais que T (n ) , mas 6= T (). A noo de
operador

fechado exclui este tipo descontinuidade, impondo que se (n ) , ento
T (n ) no converge ou converge necessariamente para T (). Com isso, entre os operadores no limitados, os operadores fechados so os que mais se aproximam dos operadores
contnuos.
O produto cartesiano N1 N2 possui naturalmente uma estrutura de espao vetorial
dada por (1 , 1 ) + (2 , 2 ) = (1 + 2 , 1 + 2 ), F e uma estrutura de espao
normado dada por k(, )kN1 N2 = kkN1 + kkN2 .
Denio 8.2 O Grco de um operador linear T : D(T ) N1 7 N2 o subespao
vetorial de N1 N2
n
o
G(T ) = (, T ()) : D(T )
Denio 8.3 Um operador linear T : D(T ) N1 7 N2 dito ser Fechado se
(n ) D(T ) convergente, ou seja, (n ) N1 , com (T (n )) N2 tambm

convergente, (T (n )) , tenha-se D(T ) e = T (). Em outras palavras, T
fechado se G(T ) um subespao vetorial fechado de N1 N2 .
Exerccio Resolvido 8.2.1 Verique que k kN1 N2 apresentada anteriormente uma
norma no espao N1 N2 , G(T ) 6 N1 N2 e que a equivalncia apresentada na denio

vlida.
78
Dem:
Mostremos que k kN1 N2 uma norma:
k(, )kN1 N2 0 e k(, )kN1 N2 = 0 (, ) = (0N1 , 0N2 )

0
k(, )kN1 N2
z }| { z }| {
= kkN1 + kkN2 0
Agora se k(, )kN1 N2 = 0, teremos uma soma de nmeros no negativos originando

o elemento nulo. Logo, ambos so nulos e, por serem normas, conclui-se que
(, ) = (0N1 , 0N2 )
k( , )tkN1 N2 = || k(, )kN1 N2
k( , )tkN1 N2 = k kN1 + k kN2 = || kkN1 + || kkN2 =
|| (kkN1 + kkN2 ) = || k(, )kN1 N2
k(1 + 2 , 1 + 2 )kN1 N2 k(1 , 1 )kN1 N2 + k(2 , 2 )kN1 N2
k(1 + 2 , 1 + 2 )kN1 N2 = k1 + 2 kN1 + k1 + 2 kN2
k1 kN1 + k2 kN1 + k1 kN2 + k2 kN2 =
k(1 , 1 )kN1 N2 + k(2 , 2 )kN1 N2
Com base nos itens anteriores, conclumos que k kN1 N2 uma norma. Agora mostremos
que um operdor T : N1 7 N2 fechado se, e somente se, G(T ) 6 N1 N2 fechado.
()
Seja (n , n ) G(T ), logo (n ) = T (n ) , e vamos supor

(n ) N1 e (n )

Assim, temos que (n , n ) (, ) N1 N2 e, pelo fato de T ser fechado, temos

que T () = . Portanto, (, ) G(T ). Como a sequncia (n , n ) G(T ) foi

tomada arbitrria, conclumos que G(T ) fechado.
()
Seja (n , n )

G(T ) convergindo a (, ). Por denio de G(T ), temos que
(n ) = T (n ) . Do fato do grco ser fechado, conclumos que vale (, ) G(T ) e,

consequentemente, T () = , o que demonstra a implicao.
N
79
Exerccio Resolvido 8.2.2 Mostre que B1 B2 munido com a norma

k(, )kB1 B2 = kkB1 + kkB2
um espao de Banach.

Sol: Seja (n , n ) B1 B2 sequncia de Cauchy, mostremos que

(, ) B1 B2 tal que (n , n ) (, )
Por hiptese, dado r > 0, n0 N tal que se m, n n0

r > k(m , m ) (n , n )kB1 B2 = km n kB1 + km n kB2
Portanto, (n ) B1 e (n ) B2 so sequncias de Cauchy e, consequentemente, exitem

B1 e B2 tais que (n ) e (n ) por ambos so espaos de Banach. O objetvo
agora mostrar que (n , n ) (, ): dado r > 0, considere na construo r0 = 3r , ento
n0 N tal que se n n0 , kn kB1 < r0 e kn kB2 < r0
r r
k(n , n ) (, )kB1 B2 = kn kB1 + kn kB2 < + < r
| {z } | {z } 3 3
<r0
<r0
Observao 8 Atente para a diferena de operador fechado e operador contnuo: se
um operador contnuo, ento quando (n ) teremos que necessariamente ocorre

a convegncia (T(n )) T (); por outro lado, para ser fechado pede-se que tanto
(n ) D(T ) e T (n ) Im(T ) sejam convergentes, neste caso, teremos D(T )
e T (n ) T ().
Exerccio Resolvido 8.2.3 Considere o operador linear
T : D(T ) N1 7 N2
e sejam 1 : G(T ) 7 D(T ) e 2 : G(T ) 7 Im(T ) as projees naturais

1 (, T ()) = e 2 (, T ()) = T ()
Mostre que as projees so operadores contnuos.

Sol:
Mostremos que so limitados. Note que (, T ()) G(T )

k1 ((, T ())kN1 = kkN1 kkN1 + kT ()kN2 = k(, T ())kN1 N2
80

k2 ((, T ())kN2 = kT ()kN2 kkN1 + kT ()kN2 = k(, T ())kN1 N2
N
Aps a apresentao da observao anterior, surge a pergunta de que sob quais condies um operador fechado contnua? O Teorema do Grco Fechado nos mostra que
quando entre espaos de Banach estes conceitos so equivalentes. Caminhando nesta
direo, a proposio a seguir nos a primeira das implicaes.
Proposio 8.2.1 Todo operador T B(B1 , B2 ) fechado.

Dem: Seja (n ) com T (n ) . Pela continuidade e D(T ) = B1 , segue que

D(T ) e = T (); logo T fechado.
Exerccio Resolvido 8.2.4 Se N B, mostre que T B(N , B) fechado se, e somente
se, N espao de Banach.

Sol:
()
Como T fechado, para toda sequncia de Cauchy contida em N , sua imagem tambem
ser uma sequncia de Cauchy convergente em B e o seu limite pertence a N . Segue
que tambm um espao de Banach.
()
Segue diretamente da Proposio 8.2.1 precedente.

N
Teorema 8.2.1 (Teorema do Grco Fechado) Seja T : B1 7 B2 um operador li-
near. Ento T contnuo se, e somente se, T fechado.
Dem: A Proposio 8.2.1 garante que T contnuo implica T fechado, ento precisamos
mostrar a outra implicao e, para tanto, utilizaremos o Teorema da Aplicao Aberta.
Por hiptese, G(T ) fechado em B1 B2 logo tambm completo. As projees
1 e 2 so lineares e contnuas. Alm disso, 1 bijetiva; portanto, pelo Teorema da
Aplicao Aberta 2, sua inversa 11 : B1 7 G(T ) linear e contnua. Como T pode ser
escrita como T = 2 11 , pois dado B1
2
11 ()
2 11 ()

= 2 , T () = T ()
T contnuo.
81
Observao 9 Poder-se-ia supor que um operador linear no fechado por que se to-
mou um domnio muito pequeno e considerando o o fecho G(T ) obter-se-ia um operador

fechado. Isto pode no funcionar, pois G(T ) no necessariamente o grco de um operador. Os operadores T para os quais G(T ) o grco de uma extenso linear T de T
so denominados Operadores Fechveis e T o seu Fecho.
Exerccio Resolvido 8.2.5 Seja E 6 B1 B2 . Mostre que E grco de um operador
linear se, e somente se, E no contem um elemento da forma (0B1 , ) com 6= 0B2
Sol:
()
Trivial.
()
Denamos para cada B1 , T () = de tal forma que (, ) E . Note que

(, ), (, ) E (0B1 , ) E e, da hiptese, = . Com isso, est garantido
a boa denio de T . Falta mostrar a linearidade, sejam ento , B1 e F.
Escrevendo T () = e T () = , teremos
( + , T () + T ()) = (, T ()) + ( , T ()) = (, ) + ( , ) =
( + , + ) = ( + , T ( + ))
N
82
PROBLEMAS

Problema 8.1 Seja T B(B1 , B2 ) sobrejetivo e de forma que T B(0B1 ; r) est contido
em um compacto r > 0. Mostre que dim(B1 ) < .
Da hiptese T sobrejetivo, conclumos

que uma aplicao aberta. Com isso,

para cada

r > 0, o conjunto compacto C T B(0B1 ; r) possui interior no vazio, pois T B(0B1 ; r)
aberto no vazio. O Problema Resolvido 2.2 garante que no caso de dimenso innita no
existe conjunto compacto com interior no vazio, portanto,
Sol:

dim Im(T ) = B2 < dim(B1 ) <
onde a segue do fato de que todo conjunto limitado e fechado ser homeomorfo B[0B1 ; 1]
e, assim, tal conjunto seria compacto em B1 .
N
Problema 8.2 Seja T B(B1 , B2 ) injetivo, ento mostre que o seu operador inverso
T 1 : Im(T ) 7 B1 limitado se, e somente se, Im(T ) fechado em B2 .
Sol:
()
Notando que T 1 : Im(T ) 7 B1 o operador linear inverso do operador linear bijetivo

S : B1 7 Im(T ), contnuo por hptese, temos que do Corolrio 8.1.1, tambm um
operador limitado.
()
Se Im(T ) fechado, ento tambm um espao de Banach e o seu operador inverso
a restrio sobre a imagem de T . Assim, o Corolrio 8.1.1 garante a implicao.
N
Problema 8.3 Seja T : D(T ) B1 7 B2 linear e considere a norma do grco de T

kkT = kkB1 + kT ()kB2 , D(T )

Mostre que se T fechado, ento D(T ), k kT um espao de Banach.

Sol:
Notemos que nesta norma, D(T ), k kT
isomorfo ao seu grco pelo fato de o

operador ser fechado. O isomorsmo i : (D(T ), kkT ) 7 G(T ) dado por i() = , T ()
e, como as normas coincidem, basta que G(T ) seja completo.
Sabendo
que G(T

) 6 B1 B2 fechado, temos que tambm um espao de Banach.
Logo, D(T ), k kT um espao de Banach como queramos.
N
Problema 8.4 Seja T : N1 7 N2 um operador linear fechado. Demonstre que
83
a) Se T 1 existe, ento tambm fechado.

b) Se S B(N1 , N2 ), ento T + S fechado.
Sol:
(a) Sejam (yn ) D(T ), com (yn ) y N2 , e (xn ) = T

Mostremos que y D(T 1 ) e T 1 (y) = x
1

(yn ) com (xn ) x N1 .
Sabendo que T 1 o operador inverso de T , temos que

n N, T (xn ) = yn

e que T 1 (yn ) = T 1 T (xn ) = IdN1 (xn ). Assim, usando que T um operador

fechado temos que para sequncia (xn ) x N1 vale que T (xn ) y N2 , logo
x D(T ) e
T (x) = y y D(T 1 ) e T 1 (y) = x
(b) Por hiptese T fechado, ento o operador T + S uma soma de operadores fechados
(S contnuo em N1 , em particular, fechado em D(T ) N1 ) e, como tal, para qualquer
sequncia convergente em N1 com imagem tambem convergente em N2 , tal sequncia
converge em D(T ) e a imagem do limite o limite da imagem.
N
Problema 8.5 Mostre que o operador Identidade

Id : (C([0, 1]), k k1 ) 7 C([0, 1])
fechado, mas no contnuo. Conclua que (C([0, 1]), k k1 ) no completo.

1
Lembrando
que
kk1 = 0 |(t)|dt
. Mostremos

que G(Id) fechado. Seja (, )
para o qual (n , n ) G(Id) tal que (n , n ) (, ), mostremos que = Id()
e, com isso, conclumos que o grco fechado.
Por hiptese, r > 0, n0 N tal que se n n0 ocorre que
Dem:
r > k(n , n ) (, )k(C([0,1]),kk1 )C([0,1]) = kn k1 + kn k =

Z
|n (t) (t)|dt + sup{|n (t) (t)| : t [0, 1]}

0
kn k = sup{|n (t) (t)| : t [0, 1]} < r
e
Z
kn k1 =
|n (t) (t)|dt < r

0
84
Por outro lado, (C([0, 1]), k k1 ) temos o par (, ) G(T ) e, por unicidade do
limite de uma sequncia, = , como queramos.
Mostremos que Id : (C([0, 1]), k k1 ) 7 C([0, 1]) no contnuo. Considere a sequncia
(n = tn ) (C([0, 1]), k k1 ), ento temos a sequncia (Id(n ) = tn ) para as quais valem
Z
Z
|n m |dt =
|tn tm |dt =
tm+1
tn+1
n+1 m+1
t=1
1
1

=
=

n+1 m+1
t=0
m+n+2
(m + 1) (n + 1)
e
sup{|Id(n ) Id(m )| : t [0, 1]} = sup{|tn tm | : t [0, 1]} =
1
1
nm
=
n m
mn
portanto, so uma sequncias de Cauchy. Sendo (Id(n ) convergente, cujo limite a funo
: [0, 1] 7 R denida por
0, t [0, 1)
(t) =
1, t = 1
R
Como kk1 = 01 |(t)|dt = 0, vemos que / Id : (C([0, 1]), k k1 ) conclumos que no
possvel aplicar o limite no domnio, consequentemente, Id no contnuo.
Sabendo da completude de C([0, 1]), temos que, caso (C([0, 1]), kk1 ) fosse espao de Basup{|tn tm | : t (0, 1)} =
nach, o Teorema 8.2.1 impe que o operador seria connuo. Do exposto acima, conclumosque
(C([0, 1]), k k1 ) no completo.
N
Problema 8.6 Use o Teorema do Grco Fechado para demonstrar o Corolrio 8.1.1.1
O operador T 1 um operador linear entre espaos de Banach, logo um operador

fechado. Usando o Teorema do Grco Fechado, conclumos que T 1 B(B2 , B1 ).
Sol:
85
Captulo 9
TEOREMA DE HAHN-BANACH
O Teorema de Hahn-Banach um resultado sobre extenses de funcionais denidos
em subespaos a todo espao vetorial. Futuramente, ele permitir responder armativamente as questes: Em qualquer espao normado, existem funcionais lineares contnuos
no nulos? Existem em nmero suciente para distinguir pontos do espao? Existe um
funcional contnuo (no nulo) que se anula num subespao fechado prprio dado?
Ser apresentado as verses reais e complexa do teorema. Primeiramente, demonstraremos a verso real e a usaremos para a verso complexa. Isto ser feito com o auxlio de
um lema que relaciona funcionais complexos com os funcionais reais.
Apresentaremos alguns resultados importantes do Teorema de Hahn-Banach relacionando com espaos duais e separabilidade. Com tais ferramentas ser possvel discutir a
interao entre os epaos normados e seus duais equipados com topologias adequadas.
9.1 Hahn-Banach Real

Denio 9.1 Um Funcional Sub-linear no espao vetorial V uma aplicao
p : V 7 R que satisfaz, , V
p( + ) p() + p() (sub adtividade)

p() = p(), 0
Exemplo 9.1.1 Note que uma norma, bem como uma seminorma, um funcional sub-
linear
Teorema 9.1.1 (Hahn-Banach Real) Sejam V um espao vetorial real e p : V 7 R
um funcional sublinear. Se f : Z 6 V 7 R um funcional linear que satisfaz

f () p(), Z
86
Captulo 9. TEOREMA DE HAHN-BANACH
ento f possui uma extenso linear F : V 7 R de maneira que

F () p(), V
Dem: Seja G = {gt : Zt 7 R, Z Zt }t , a coleo das extenses lineares de f que

satisfazem gt () p() em seus respectivos domnios Zt . Note G 6= , pois f G. Assim
podemos denir a relao de ordem parcial R G G dada por (gt , gs ) R se Zt Zs
e gt () = gs (), Zt . Se {gt }tJ um subconjunto totalmente ordenado de G, ento
S
=
Zt , sendo a unio de uma cadeia de subespaos, tambm um espao vetorial e
tJ
def
g : 7 R, g() = gt () se Zt
est bem denido e satisfaz g() p(). Como (gt , g), t J , conclumos que toda
famlia totalmente ordenada de G possui limitante superior. Do Lema de ZORN, G
possui um elemento maximal F : V0 6 V 7 R satisfazendo F () p(), V0 .
Mostraremos que V0 = V e o resultado estar provado.
Suponha que
h exista i (V V0 ), basta mostrar que neste caso existe uma extenso
linear F : Y = V0 {} 7 R com F () p(), Y .

Denote F uma extenso linear qualquer de F a Y . Como cada Y pode ser escrito
na forma = + , para algum R e V0 , tem-se que
F () = F ( + ) = F () + F ()
a nossa tarefa agora mostrar que possvel escolher F () de forma que F () p(). Se
1 , 2 V0 , tem-se que
F (1 ) + F (2 ) = F (1 + 2 ) p(1 + 2 ) p(1 ) + p(2 + )
ou ainda,
F (1 ) p(1 ) p(2 + ) F (2 )
O que signica, para cada 2 V0 ,

F (1 ) p(1 ) p(2 + ) F (2 ), 1 V0
e, para cada 1 V0 ,
F (2 ) p(2 ) p(1 + ) F (1 ), 2 V0
Portanto, o conjunto {F () p( ) : V0 } limitado superiomente e o conjunto
9.1. Hahn-Banach Real
87
{p( + ) F () : V0 } R limitado inferiormente, de maneira que

sup{F () p( ) : V0 } inf{p( + ) F () : V0 }
Usando a construo acima, dena F : Y 7 R, uma extenso linear de F com

F () = . Para vericar que para todo Y tem-se F () p(), usaremos novamente
a representao = + . Se > 0, tem-se que
F ( + ) = F () +

F () + p
+ F
= p( + )
Enquanto que para < 0 (o caso = 0 trivial, pois pertenceria a V0 ), tem-se

F ( + ) = F ( || ) = F () ||

=
F () || F
p
||
||

|| p
= p( + )
||
Portanto, F () p(), Y e segue que V0 no maximal. Por contraposio,

V0 = V e o resultado est provado.
Observao 10 O ponto principal do Teorema de Hahn-Banach no a simples exis-
tncia de uma extenso do funcional linear, mas sim a existncia de uma extenso dominada pelo funcional sub-linear p. Por exemplo, se {ej }jJ uma base de Hamel de Z
e {gi }iI {ej }jJ uma base de Hamel de V , ento para qualquer coleo de escalares
{i }iI , o funcional F denido por
L finito
KX
finito
L finito
KX
finito
X
F
j e j +
bi gi = f
j e j +
i bi
jL
LJ
iK
KI
jL
LJ
iK
KI
uma extenso linear de f a todo V .

Corolrio 9.1.1.1 Seja M 6 N , ambos espaos reais. Ento todo f M possui uma
extenso F N com kF kN = kf kN .
Dem: Considere o funcional sub-linear p : N 7 R denido por

p() = kf kN kkN
88
o qual satisfaz |f ()| |p()|, M . Pelo Teorema de Hahn-Banach real, existe uma
extenso F N de f com |F ()| |p()|, N ; disto segue que kF kN kf kN .
Como F uma extenso linear de f , vale que kf kN kF kN . Consequentemente, tem-se
que kF kN = kf kN .
9.2 Hahn-Banach Complexo

Denio 9.2 Um Funcional Linear Real em um espao vetorial complexo V uma
aplicao f : V 7 R que satisfaz
f (u + v) = f (u) + f (v), u, v V
f ( v) = f (v), R, v V
Lema 9.2.1 Seja V um espao vetorial complexo.
i. Se h : V 7 R um funcional linear real, ento f : V 7 C

f (v) = h(v) i h(i v), v V
um funcional linear complexo.

ii. Se f : V 7 C um funcional linear complexo, ento existe um funcional linear
real h : V 7 R de forma que
f (v) = h(v) i h(i v), v V
Em ambos os casos, tem-se h(v) = Re(f (v)), v V .

Dem: A motivao para construo desta demonstrao vem do seguinte argumento: se
g : V 7 C um funcional linear, ento
g(i v) = Re(g(i v)) + i Im(g(i v)) = i Re(g(v)) Im(g(v))
ou seja, vale a relao Im(g(v)) = Re(g(i v)).

i. Dado o funcional linear real h, dena o funcional f : V 7 C por
f (v) = h(v) i h(i v)
Para mostrar que f linear complexo, basta vericar que f (i v) = i f (v), pois h
linear real. Explicitamente,
f (i v) = h(i v) i h(v) = h(i v) + i h(v) = i f (v)
9.2. Hahn-Banach Complexo
89
ii. Dado o funcional linear complexo f , seja h = Re(f ), o qual claramente linear real;
usando a motivao acima
Im(f (v)) = Re(f (i v)) = h(i v)
e segue que f (v) = h(v) i h(i v).

Teorema 9.2.1 (Hahn-Banach Complexo) Sejam V um eapao vetorial (real ou com-
plexo) e p : V 7 0, satisfazendo
p( + ) p() + p(), , V
p( ) = || p(), V, F
Se f : Z 6 V 7 F um funcional linear, com |f ()| p(), Z , ento f

possui uma extenso linear F : V 7 F satisfazendo
|F ()| p(), V
Dem: Se h = Re(f ), o qual um funcional linear real em Z . Da linearidade de h, segue

que
|h()| = h() = h(), Z
e desde que p() = p(), conclu-se que h() p() equivalente a a desigualdade
|h()| p(). Assim, como
h() |f ()| p(), Z
vem do Teorema de Hahn-Banach real (considerando, no caso de V complexo, a restrio

da multiplicao a R, o que torna um espao vetorial real) que existe a extenso linear
real H : V 7 R de h com
H(v) p(v), v V
Se f um funcional linear real, a demonstrao est completa. Suponha que f seja

complexo, pelo Lema 9.2.1, f (v) = h(v) i h(i v).
Dena F : V 7 C por F (v) = H(v) i H(i v) que claramente extende f e, pelo
Lema 9.2.1, linear complexo. Falta ainda mostrar que |F (v)| p(v), v V . Se
F (v) = 0, isto ocorre, pois p(v) 0. Se F (v) 6= 0, ento [0, 2) de forma que
F (v) = |F (v)| exp(i )
90
pela linearidade de F , segue que

|F (v)| = F (exp(i ) v) = Re(F (exp(i ) v)) =
H(exp(i ) v) p(exp(i ) v) = p(v)
e o teorema est demonstrado.

Corolrio 9.2.1.1 Seja M 6 N , ambos espaos complexos. Ento todo f M possui
uma extenso F N com kF kN = kf kN .
Dem: A argumentao a mesma do Corolrio 9.1.1.1, a menos da denio do contradomnio do funcional sub-linear (apenas para se adequar ao Teorema de Hahn-Banach
complexo).
Observao 11 importane ressaltar que, neste caso, se M for subespao real este re-
sultado pode no ser vlido. Demonstrou-se que todo espao de Banach complexo, de
dimenso innita, possui um subespao real sobre o qual existe um funcional linear limitado complexo que no possui extenso linear limitada a todo espao.
9.3 Aplicaes
Teorema 9.3.1 Sejam N um espao normado no trivial e N o seu espao dual. Ento:
i. Se 0N 6= N , ento f N com f () = kkN e kf kN = 1;

ii. Se 6= N , ento f N tal que f () 6= f ();
iii. Se N e satisfaz f () = 0, f N , ento = 0N ;
iv. Se N ,ento

kkN = sup
|f ()|
: 0N 6= f N
kf kN

= max
|f ()|
: 0N 6= f N
kf kN
Dem:
i. Considere
h io funcional sub-linear p : N 7 R dado por p() = kkN , o subespao
Z = {} e o o funcional g : Z 7 R, g( ) = kkN para cada F.
Aplicando o Teorema de Hahn-Banach para o funcional g , chegamos a concluso.
ii. Se 6= , ento 6= 0N e pelo item anterior f N de forma que
0 6= f ( ) = f () f ()
9.3. Aplicaes
91
iii. Caso contrrio teramos que f N de forma que

0 6= f ( 0N ) = f () f (0N ) = f ()
iv. Se = 0N , o resultado claro. Suponha 6= 0N , do primeiro item, g N com

kgkN = 1 e g() = kkN . Assim,
g()
kkN =
sup
kgkN

max
|f ()|
: 0N 6= f N
kf kN
kf kN kkN
: 0N 6= f N
kf kN

= kkN
A existncia do funcional g garante que o sup pode ser substitudo pelo max.
Exerccio Resolvido 9.3.1 Sejam {1 , . . . , n } N um conjunto LI e {1 , . . . , n } sub-
conjunto dp corpo F. Mostre que f N de forma que f (j ) = j para todo 1 j n.
Para cada 1 j n, o Teorema 10.1.1 garante que existe um funcional linear limitado
fj tal que fj (j ) = kj kN e kfj kN = 1. Dena
Sol:
gj () =
j
fj ()
kj kN
Por hiptese, {1 , . . . , n } N um conjunto LI, teremos que gi (j ) = 0 para i 6= j e

gj (j ) =
Denindo f =
n
P
j=1
j
j
fj (j ) =
kj kN = j
kj kN
kj kN
gj , teremos o funcional procurado.

N
Proposio 9.3.1 Sejam X 6 N fechado e prprio e (N X). Suponha que

0 < = dist(, X), ento f N satisfazendo
kf kN = 1, f () = e f|X 0N
Dem: A distncia entre eho subespao

i X maior do que 0 porque o subespao fechado.
Dena o funcional linear g : X {} 7 F por
g( + ) = , X, F
Evidentemente g|X = 0. Pela denio de , tem-se que ( 6= 0)

|g( + )| = || || || + = k + kN
N
92
e, assim, kgkN 1. Para cada X , vale

kgkN
|g( )|
=
k kN
k kN
e disto segue que

kgkN sup
:X
k kN

=
inf{ kk
N
: X}
=1
Portanto, kgkN = 1.
Agora, basta aplicar Hahn-Banach, encontrando a extenso f de g , tomando
p() = kkN , N
h
que devido a relao acima satisfaz |g()| p(), para todo X {} .

Proposio 9.3.2 Se N separvel, ento N separvel.

Dem: Se N separvel, ento (fn ) S(0N ; 1) densa na mesma (vide Problema 3.2).
Como
1
kfn kN = 1, n N , com kn kN = 1 e |fn (n )| , n N
2
i
Seja X = {n : n N} , o qual separvel pela Proposio 3.1, mostremos que
N = X . Se X 6= N , existe, da Proposio 10.1, f N com kf kN = 1 e f|X = 0.
Assim, para todo n
h
kfn f kN |(fn f )(n )| = |fn (n )|
1
2
contradizendo o fato de (fn ) ser denso em S(0N ; 1). Portanto, N = X e, com isso,
mostramos que N separvel.
Proposio 9.3.3 A aplicao cannica C : N 7 N uma isometria linear.

Dem: A linearidade est demonstrada no captulo 4, seo 4.2. O fato de tambm ser
uma isometria segue de

kC()kN = sup

sup

|g (f )|
: f S(0N ; 1) =
kf kN

|f ()|
: f S(0N ; 1) = kkN
kf kN
sendo que foi utilizado o item iv. do Teorema 9.3.1 na ltima igualdade.
9.3. Aplicaes
93
Teorema 9.3.2 Sejam N e N . Se dim(N ) < , ento um isomorsmo.

Dem: Sabemos que Im(C) 6 N com dim(Im(C)) = dim(N ). Da hiptese
dim(N ) < , garantimos que dim(N ) = dim(N ) e, assim, conclumos Im(C) = N , o
que implica a sobrejetividade. Logo, C uma isometria linear sobrejetiva, portanto, um
isomorsmo.
Corolrio 9.3.2.1 Todo espao de dimenso nita reexivo.

Dem: Segue do Teorema 10.1.2 que a aplicao cannica um isomorsmo, satisfazendo
a denio.
94
PROBLEMAS
Problema 9.1 Mostre que p : l (N) 7 R, onde l (N) real, denido por
n
o
p() = lim sup{k : k j}
j
um funcional sub-linear.
Sol:
p( + ) p() + p()
Sejam , l (N), ento

n
o
p( + ) = lim sup{k + k : k j}
j
n
o
lim sup{k : k j} + sup{k : k j} =
n
o
n
o
lim sup{k : k j} + lim sup{k : k j} = p() + p()
p( ) = p(), 0
Sejam l (N) e 0 dados

n
o
p( ) = lim sup{ k : k j} =
j
n
o
lim sup{k : k j} = lim sup{k : k j} = p()
Problema 9.2 Seja p como no Teorema de Hahn-Banach complexo. Mostre que

|p(u) p(v)| p(u v), u, v V
Sol:
Notando que valem pela sub-aditividade

p(u) = p(u + 0V ) = p(u v + v) p(u v) + p(v)
e
p(v) = p(v + 0V ) = p(v u + u) p(v u) + p(u)
Ainda temos que p(u v) = p(1 (v u)) = | 1| p(u v) = p(u v) conclumos

que u, v V
|p(u) p(v)| p(u v)
9.3. Aplicaes
95
N
Problema 9.3 Mostre que se um funcional sub-linear em um espao normado N con-
tnuo em 0N , ento contnuo em N .
Seja (n ) N tal que (n ) , mostremos que p(n ) p(). Pela continuidade

em 0N , vale que
Sol:
r > 0, n0 N tal que se n n0 , p(n ) p(0N ) < r
Usando o Problema 9.2, temos que n N (em particular, n n0 )

|p(n ) p()| p(n ) < r
N
Problema 9.4 Seja : N 7 R um funcional contnuo com a propriedade

( + ) = () + (), , N
Mostre que ( ) = () para todo R.

Como vale ( + ) = () + (), , N , em particular, tomando = , temos
(2 ) = ( + ) = () + () = 2 . Supondo que (k ) = k (k), mostremos que
((k + 1) ) = (k + 1) ().
Sol:
hip
((k + 1) ) = (k + ) = (k ) + () = k () + () = (k + 1) ()
Com isso, conclumos que n N, (n ) = n (). Agora mostremos que vale a

igualdade () = p() e, assim, estendemos para os inteiros a relao. Considere = ,
assim
0 = ( + ) = () + () () = () = () () = ()
Portanto, N e n Z vale que (n ) = n . Agora, considerando m 6= 0 e

n
Q,
= m1 , usaremos o resultado sobre os inteiros para tal elemento para concluir que m

n
n
vale que m = m (). De fato,
n

n
= (n ) = n () =
m () =
m
m

n
n
1
n
(m ) =
m
=
()
m
m
m
m
Agora, temos que p( ) = p(), Q. Para cada R, dena

( ) =
lim {n : (n ) Q, 0 (n ) }
96
e, desta maneira,
( ) =

lim {n : (n ) Q, (n ) } =
lim {(n ) : (n ) Q, (n ) } = lim {n () : (n ) Q, (n ) }
= lim {n : (n ) Q, (n ) } () = ()
n
Problema 9.5 Seja p : N 7 R sub-aditivo que satisfaz: dado r > 0, a desigualdade

p() 0 verdadeira (B[0N ; r])C . Mostre ento que p() 0, N .
Como p(0N ) = p(0 0N ) = 0 p(0N ) = 0, suponha que 0N 6= N tal que p() < 0.
Por denio,

Sol:
s > 0,
/ B 0N ;
1
kk
(1 + s)
e, com isso, temos satisfaz as propriedades:

p() < 0 e
1
kk
B 0N ;
(1 + s)
!C
Por contraposio, temos o resultado.

N
Problema 9.6 Sejam N um espao normado complexo e h : N 7 R um funcional
linear real limitado. Mostre que f : N 7 C, dado por
f () = h() i h(i ), N
pertence ao dual de N e kf kN = khkN .

Do Lema 9.2.1, temos que f um funcional linear complexo. Mostremos que f N e
kf kN = khkN .
Denamos p() = khkN kkN e, claramente, h() p(). Do Teorema de Hahn-Banach
Complexo, o funcional linear complexo denido pela igualdade f () = h()ih(i), N
satisfaz
Sol:
|F ()| p() = khkN kkN
isto implica kf kN khkN , logo, f N . Por outro lado, f uma extenso de h, portanto,
kf kN khkN . Consequentemente, kf kN = khkN , como queramos demonstrar.
N
Problema 9.7 Seja Z 6 N . Mostre que todo funcional linear limitado em Z restrio
de algum elemento de N
Considerando o o funcional sub-linear p : N 7 [0, ) denido por p() = kf kZ kkN ,

os Corolrios 9.1.1.1 e 9.2.1.1 garantem que existe exteno linear limitada F a todo N . Logo
F|Z = f e o resultado est demonstrado.
Sol:
9.3. Aplicaes
97
N
Problema 9.8 Use a Proposio 9.3.3 para mostrar que todo espao normado pode ser
completado, ou seja, que todo espao normado linearmente isomtrico a um subconjunto

denso de um espao de Banach.
Sejam N e N . A Proposio 9.3.3 garante que a aplicao cannica C : N 7 N

uma isometria linear e, como, N um espao de Banach, C(N ) N tambm um
espao de Banach.
Sol:
Problema 9.9 Se E 6 N , mostre que seu fecho

E=
N(f )
f N
EN(f )
Vamos supor que E 6= N , pois o caso E 6= N trivial. Segue de f N que N(f )

T
fechado e, consequentemente,
N(f ) fechado.
Sol:
Sabendo que, trivialmente,
f N
EN(f )
N(f )
f N
EN(f )
qualquer ponto de acumulao de E pertence a este conjunto, o que implica,

E
N(f )
f N
EN(f )
Seja (N E), logo a Proposio 10.1.1 garante que g N tal que

kgkN = 1, g() = e g|X 0N
Assim, N(g) = E e, com isso,

E = N(g)
N(f )
f N
EN(f )
Problema 9.10 Se N reexivo, mostre que N tambm reexivo.
Mostremos que a aplicao cannica C : N 7 N um isomorsmo linear. A

Proposio 9.3.3 garante que a aplicao C uma isometria linear, falta apenas garantir a
sobrejetividade.
Seja h N , mostremos que f N tal que C (f ) = h. Notando que h(g) = g(f ),
vemos que, do fato de N ser reexivo, a aplicao h est unicamente determinada a partir de
Sol:
98
N dado. Portanto, conclumos que h(g)() = C (f )() para cada e, consequentemente,

C sobrejetivo.
N
99
Captulo 10
ESPAOS DE HILBERT
Os Espaos de Hilbert so a classe mais importante de espaos de Banach, alm da
norma aparece o conceito de Produto Interno que uma generalizao de produto escalar
de R3 . Apresentaremos a denio de espaos de Hilbert, bem como algumas de suas
propriedades e, ao nal, intruduziremos o conceito fundamental de ortogonalidade.
10.1 Produto Interno

Denio 10.1 Um Produto Interno em um espao vetorial V um funcional
h, i : V V
(, )
7 F
7 h, i
satisfazendo:
i. h, i 0, V e h, i = 0 = 0V ;
ii. h, + i = h, i + h, i para quaisquer , , V e qualquer F;
iii. h, i = h, i para quaisquer , V .
Note que para cada V , a funo 7 h, i linear, enquanto que para cada
V , a funo 7 h, i conjugada linear, tambm chamada antilinear; estas
propriedades so referidas conjuntamente ao se dizer que h, i Sesquilinear.
Exerccio Resolvido 10.1.1 Verique que a funo

P : C([a, b]) C([a, b]) 7 F
denida por P(, ) =

Sol:
Rb
a
(t) (t)dt um produto interno.
Mostremos que P satisfaz as condies da Denio 10.1:
100
Captulo 10. ESPAOS DE HILBERT
i. Seja C([a, b]), ento

b
|(t)|2 dt 0
(t) (t)dt =
P(, ) =
a
Agora, se 0C[a,b] , claramente P(, ) = 0. Por outro lado, se para algum t

[a, b], (t) = 6= 0, teremos que kk e, ento
b
|(t)| dt
P(, ) =
||2 dt = ||2 (b a) > 0
Logo, @ t [a, b] tal que (t) 6= 0, ou seja, 0C[a,b] .

ii. Sejam , , C([a, b]) e F, ento
b
Z
P(, + ) =
(t)((t) + (t))dt =
a
(t)(t)dt =
(t)(t)dt +
a
a
b
Z
(t)(t) +
(t)(t) =
a
P(, ) + P(, )
iii. Sejam , C([a, b]), ento

Z
Z
(t) (t)dt =
P(, ) =
a
(t) (t)dt =
a
Z
(t) (t)dt =
(t) (t)dt = P(, )

a
Como P satisfaz i., ii. e iii., mostramos que um produto interno.

N
Um espao vetorial V com produto interno h, i chamado de Espao Pr-Hilbertiano

ou espao com produto interno e, normalmente, denotado por (V, h, i).
Exemplo 10.1.1 O funcional P : l2 (N) l2 (N) 7 F denido por

P(, ) =
j j
j=1
um produto interno. Esta srie est bem denida, ou seja, absolutamente convergente,
pois l2 (N) = l2 (N); explicitamente, como
|j j |

1
|j |2 + |j |2
2
10.1. Produto Interno
segue que
101

1 2
2
j j kkl2 (N) + kkl2 (N) <
2
j=1
Futuramente mostraremos que lp (N) no espao com produto interno se p 6= 2.

Denio 10.2 Seja (V, h, i) um espao com produto interno. Denamos a aplicao
kk: V
7 R
p
7 2 h, i
A escolha do smbolo para tal aplicao se d pelo fato de ser uma norma. Ela ser
denominada a Notma Induziada pelo Produto Interno. Um espao munido com esta
norma chamado de Pr-Hilbertiano e, a menos de meno em contrrio, esta a norma
que trabalharemos.
Proposio 10.1.1 Seja (V, h, i) um espao com produto interno. Ento para quaisquer
, V :
i. (Desigualdade de Cauchy-Schwarz) |h, i| kk kk e a igualdade s ocorre se

{, } linearmente dependente;
ii. (Desigualdade Triangular) k +k kk+kk e a igualdade s ocorre se, e somente
se, = , F.
Dem:
i. Se h, i = 0 imediato. Caso contrrio, ento 6= 0V e para F tem-se
0 h , i = kk2 h, i + h, i + ||2 kk2
escolhendo =
h, i
vem que
kk2
0 kk2
|h, i|2
kk2
e, portanto, |h, i|2 kk2 kk2 e o item i. da Denio 11.1 garante que a
igualdade s ocorre se, e somente se, F vericando = .
ii. Usando o item i. obtem-se
k + k2 = kk2 + h, i + h, i + kk2
kk2 + 2 |h, i| + kk2

2
kk2 + 2 kk kk + kk2 = kk + kk
102

e a desigualdade est demonstrada. A igualdade ocorre se, e somente se,
2 kk kk = h, i + h, i = 2 Re(h, i)
Do item i. tem-se que

|h, i| Re(h, i) = kk kk |h, i|
ou seja, |h, i| = kk kk = Re(h, i) = h, i 0. Estas condies incluem a

condio de igualdade de Cauchy-Schwarz; portanto = 0V ou F de modo
que = .
Corolrio 10.1.1.1 A aplicao de Denio 11.2 uma norma.

Dem:
i. Segue do item i. da Denio 11.1 que para todo V
kk2 = h, i 0 kk 0
e, alm disso,
kk2 = h, i = 0 = 0V kk = 0 = 0V
ii. Sejam V e F, ento

k k2 = h , i = h, i = h, i = ||2 kk2
iii. Esta condio exatamente o item ii. da Proposio 11.1.1 e, portanto,

k + k kk + kk
Exerccio Resolvido 10.1.2 Se (n ) e (m ) , ento neste caso vale

hn , m i h, i
Dem:
Primeiramente, mostremos que: xado m N,
n N,

hn , m i h, m i; e xado

hn , m i hn , i.
Fixado m N, seja r > 0 dado, tome r1 < krm k , com r0 = 2r , e, pela convergncia de
(n ), existe n0 N tal que se n n0 , hn , n i < r1 . Logo, usando a Desigualdade de
Cauchy-Schwarz
0
|hn , m i h, m i| = |hn , m i|
10.1. Produto Interno
103
kn kkm k < r1 km k =
r
km k = r0
km k
Fixado n N, tome r2 < krn k , pela convergncia de (m ), existe m0 N tal que se

m m0 , hm , m i < r2 . Logo, usando a Desigualdade de Cauchy-Schwarz
0
|hn , m i hn , i| = |hn , m i|
kn kkm k < kn kr2 = km k
r0
= r0
kn k
Agora aplicando a convergncia demonstrada para

hn , m i h, m i e hn , m i hn , i
temos que vale

|hn , m i h, i| = |hn , m i hn , i + hn , i h, i| =
|hn , m i + hn , m i| |hn , m i| + |hn , n i| <
r r
r0 + r0 = + = r
2 2
N
Denio 10.3 Seja (V, h, i) um espao com produto interno. Se (V, k k), isto , V
munido com a norma induzida do produto interno, um espao de Banach, dizemos que
V um Espao de Hilbert. De agora em diante denotaremos um espao de Hilbert por
H.
Exemplo 10.1.2 Os espaos l2 (N) e Fn com a norma k k2 so espaos de Hilbert.
Enquanto que lp (N) para p 6= 2 e C([a, b]) no o so.
Exerccio Resolvido 10.1.3 Verique as identidades de polarizao

h, i =
h, i =

1
k + k2 k k2
4

1
k + k2 k k2 + i k + i k2 i k i k2
4
sendo a primeira para espaos reais e a segunda para espaos complexos.

Sol:
Veriquemos a primeira
1

1
k + k2 k k2 = h + , + i h , i =
4
4
1
1
h, i + 2h, i + h, i h, i + 2h, i h, i = 4h, i
4
4
104
Agora, veriquemos a verso complexa

h, i =

1
k + k2 k k2 + i k + i k2 i k i k2 =
4

1
h + , + i h , i + i h + i, + ii h i, ii
4
!
=

1
h, i + h, i + h, i + h, i h, i + h, i + h, i h, i + i h, i + hi, i+
4
!

h, ii + h, i h, i hi, i h, ii h, i
=

1
2h, i + 2h, i i 2h, ii + 2h, ii
4
!
=
1
4h, i
4
N
10.2 Ortogonalidade
O produto interno, sendo uma generalizao do produto escalar, pode ser usado para
denir ngulo entre dois vetores; no entanto, apresentaremos o conceito de Ortogonalidade
importante para alguns dos resultados que se seguiro.
Denio 10.4 Dois elementos , V , espao com produto interno, so Ortogonais
se h, i = 0. Denotaremos este fato por . Se E, F V , ento E F indica que

sempre que E e F . Se ainda E, F 6 V , dizemos que so Subespaos
Ortogonais. Denota-se por E o conjunto de todos os V ortogonais a E , ou seja,
E = { V : {} E}
Exerccio Resolvido 10.2.1 Seja N um espao com produto interno. Ento:
(a) Mostre que se , ambos no nulos, ento {, } um subconjunto LI. Note que
o vetor nulo ortogonal a N e o nico elemento a ter tal propriedade.
(b) Conra que se , ento k + k2 = kk2 + kk2 .
(c) Seja (n ) N , com (n ) , e se n , n N, conclua que .
Sol:
(a) Sejam , F tais que

+ = 0N
10.2. Ortogonalidade
105
Fazendo o produto interno com e , obtemos da hiptese de ortogonalidade

0 = h0N , i = h + , i = h, i = kk2 = 0
0 = h0N , i = h + , i = h, i = kk2 = 0
Como consequncia temos que 0N o nico elemento ortogonal a qualquer elemento

de N .
(b) Usando a hiptese
k + k2 = h + , + i = h, i + 2Re(h, i) + h, i = kk2 + kk2
(c) Basta considerar a sequncia (n = ) N no Exerccio Resolvido 10.1.2 para concluir

o resultado, notando que
(hn , i) 0
N
Denio 10.5 Um operador linear U : (N1 , h, i1 ) 7 (N2 , h, i2 ) Unitrio se
sobrejetivo e hU (), U ()i2 = h, i1 , , N1 . Se existe tal operador unitrio, dizemos

que N1 e N2 so Unitariamente Equivalentes. No caso de espaos reais, usamos tambm
o termo Operador Ortogonal.
Exerccio Resolvido 10.2.2 Sejam N1 e N2 espaos com produto interno. Ento:
(a) Seja um operdor linear T : N1 7 N2 isomtrico e sobrejetivo, use a identidade de

poloarizao para mostrar que T unitrio.
(b) Mostre que todo operador unitrio uma isometria, portanto, invertvel. Mostre
que seu operador inverso tambm unitrio.
Sol:
(a) Usando a identidade de polarizao e o fato de T ser isomtrico, conclumos que

2
2
1
hT (), T ()i2 = kT ( + )k2 kT ( )k2
4
1
k + k1
2
k k1
2
!
= h, i1
!
=
106

2
2
1
kT ( + )k2 kT ( )k2 +
4
!
2
2

2

2
1
i kT ( + i )k2 i kT ( i )k2
= k + k1 k k1 +
4
!

2

2
i k + i k1 i k i k1
= h, i1
hT (), T ()i2 =
Assim, conclumos que tanto no caso real quanto no caso complexo, T unitrio, pois
a sobrejetividade garante que
, N2 , , N1 tais que T () = , T () =
(b) Primeiramente, mostremos que U : N1 7 N2 uma isometria. Seja N2 , da

sobrejetividade, ! N1 satisfazendo U () = e, assim,

kk2
2
= h, i2 = hU (), U ()i2 = h, i1 = kk1
2
Portanto, U uma isometria. Logo, U tambm injetivo e, assim, podemos considerar

o operador inverso U 1 : N2 7 N1 , o qual mostraremos ser unitrio.
A sobrejetividade segue de ser o operador inverso a esquerda U . Agora, sejam , N2 ,
ento ! , tais que U () = , U () =
hU 1 (), U 1 ()i1 = h, i1 = hU (), U ()i2 = h, i2
E, com isso, est demonstrado que U 1 unitrio.

N
Teorema 10.2.1 Se N um espao com produto interno, ento ele unitariamente
equivalente a um subespao denso em um espao de Hilbert H; tal H denominado completamento de N . Alm disso, quaisquer dois completamentos de N so unitariamente
equivalentes.
Dem: A partir do Teorema 2.2.1 e usando a mesma notao, considere H = N . Assim,
falta demonstrar a compatibilidade do produto interno de N com o de N , que sabemos
ser espao de Banach.
Dena, pela continuidade, o produto interno por
i = lim (hj , j iN )
h,
N
n
=
que induz a norma kk
N
107
q
2
i
e, da identidade de polarizao, garantimos que
h,
N
unitrio.
108
PROBLEMAS
Problema 10.1 Seja N um espao com produto interno:
(a) Se N tem-se que h, i = h, i, mostre que = .

(b) Se N real, mostre que a condio kk = kk implica que
h + , i = 0, ou seja, ( + ) ( )
Sol:
(a) Da hiptese , conclumos que {( )} N . Agora, do item (a) do Exerccio Resolvido

10.2.1, conclumos que = 0N . Portanto, = .
(b) Sendo N real, temos que
h + , i = h, i h, i + h, i h, i = kk2 kk2 = 0
N
Problema 10.2 Seja T : N 7 H linear, isomtrico e sobrejetivo. Mostre que N
espao de Hilbert.
Do item (a) do Exerccio Resolvido 20.2.2, conclumos que T unitrio. Logo, a norma de
N gerada pelo produto interno h, iN = hU (), U ()iH e, consequentemente, completo
nesta norma. Portanto, N um espao de Hilbert.
Sol:
Problema 10.3
que em um espao
de Hilbert, a sequncia (n ) converge a se,
Mostre

e somente se, kn k kk e hn , i kk2 .

Sol:
()
Segue do Exerccio Resolvido 10.1.2 feito anteriormente.

()

Seja (n ) H tal que kn k kk e hn , i h, i, mostremos que (n ) de

Cauchy e seu limite .

Da hiptese hn , i h, i, temos que dado r > 0, n0 N tal que se m, n n0

r0 > |hn m , i| km n kkk
109
Na relao anterior, tomando r0 = rkk, conclumos que

km n k < r
logo, uma sequncia de Cauchy em um espao completo. Seja = lim (n ), mostren

mos que = .
Pela continuidade da norma, kk = kk e, portanto,
h, i =

lim (m ), = lim hn , i = h, i = h, i
Assim h, i real e, portanto, usando a continuidade do produto interno,

k k2 = h , i = h, i 2h, i + h, i = 0
Onde a segunda igualdade segue de h, i = h, i para valores reais. Isto mostra que
= , como queramos demonstrar.
N
Problema 10.4 Seja S : H 7 H sobrejetivo e satisfazendo

hS(), S()i = h, i, , H
Mostre que existe o operador inverso S 1 : H 7 H, o qual satisfaz

hS 1 (), S 1 ()i = h, i, , H
e tambm
hS(), i = h, S 1 ()i, , H
Use tais resultados para concluir que S linear e, portanto, unitrio.

Sol:
Mostremos que S injetivo, suponha que S() = S() e, usando a hiptese,

h, i = hS(), S()i = hS(), S()i = h, i
e tomando (n ) H tal que (n ) , vemos que, do Problema 10.3, = . Portanto, S

injetivo.
Com isso, existe e est bem denido S 1 : H 7 H, Mostremos que satisfaz
hS 1 (), S 1 ()i = h, i, , H
110
Sejam , H quaisquer, escrevendo S 1 () = e S 1 () = , assim

hS 1 (), S 1 ()i = h, i = hS(), S()i = h, i
Agora, usando esta relao novamente, temos que , H

hS(), i = hS 1 (S()), S 1 ()i = h, S 1 ()i
Mostremos que S linear. Sejam , , H e F, ento a propriedade acima para

S e, novamente, para S , teremos
1
hS( + ), i = h + , S 1 ()i = h, S 1 ()i + h, S 1 ()i =

hS(), i + hS(), i = hS() + S(), i
Portanto, S( + ) = S() + S() e S um operador linear como queramos. Como,

por hiptese, S preserva o produto interno e mostramos que linear e bijetivo, conclumos
que S unitrio.
N
111
Captulo 11
REPRESENTAO DE RIESZ
Em consonncia com os conceitos introduzidos no captulo anterior, neste captulo
trataremos em que condies uma norma induzida por um produto interno (a outra
implicao j temos do Corolrio 11.1.1.1). Alm disso, introduziremos o conceito de
Projeo Ortogonal que aparece apenas em espaos com produto interno, facilitando muito
algumas demonstraoes importantes.
Finalmente, estaremos em condies de apresentar e apreciar o importante Teorema
de Representao de Riesz, que fornece um isomorsmo natural entre H e H .
11.1 Lei do Paralelogramo

Denio 11.1 (Lei do Paralelogramo) Seja N um espao normado, denamos a
Lei do Paralelogramo por
k + k2 + k k2 = 2 kk2 + 2 kk2 , , N
Exerccio Resolvido 11.1.1 Verique que em un espao com produto interno N , vale
a Lei do Paralelogramo.
Sol:
Substituindo de acordo com a Denio 10.2, , N

k + k2 + k k2 = h + , + i + h , i =
h, i + h, i + h, i + h, i + h, i h, i h, i + h, i =
2 h, i + 2 h, i = 2 kk2 + 2 kk2
N
Teorema 11.1.1 A norma em um espao com produto interno N induzida pelo produto
interno se, e somente se, satisfaz a Lei do Paralelogramo.
112
Captulo 11. REPRESENTAO DE RIESZ
Dem: No caso da norma induzida pelo produto interno, o Exerccio Resolvido 12.1.1
garante que a Lei do Paralelogramo verdadeira. Por outro lado, suporemos a Lei do
Paralelogramo vlida e provaremos no caso real a outra implicao. Considere
def
P(, ) =

1
k + k2 kk2 kk2
2
que obtida da expanso de k + k2 e isolando-se o termo h, i. Claramente,

P(, ) = kk2 , P(, ) = 0 = 0N e P(, ) = P(, )
Falta ainda demonstrar a bilinearidade, para tanto,

usaremos
as propriedades: (a)

P(0N , ) = 0, N e (b) se (n ) , ento P(, n ) P(, ). Explicitando
P(, ) + P(, )
1

1
2
2
2
2
2
2
k + k kk kk + k + k kk kk =
2
2

1
k + k2 kk2 kk2 + k + k2 kk2 kk2 =
2

1
2
2
2
2
2
2k + k 2kk 4kk + 2k + k 2kk
4
e, usando a Lei do Paralelogramo para o par ( + ) e ( + )

1
k + + 2k2 2kk2 2kk2 4kk2 + k k2
4
agora usando a Lei do Paralelogramo para e

1
k + + 2 k2 2kk2 2kk2 4kk2 k + k2
4

1
2
2
2
+2kk + 2kk ) = (k + + 2 k k + k 4kk
4

1
que pode ser escrito como 2 P
( + ), . Escolhendo = 0N , obtemos
2
2

P(, ) = 2P
, , , N
2
Com isso, conclumos que

P( + , ) = P(, ) + P(, )
Note que tomando = e usando a propriedade (a), temos que

P(, ) + P(, ) = P( + , ) = 0 P(, ) = P(, )
11.1. Lei do Paralelogramo
113
Consequentemente, temos que P(n, ) = nP(, ), n Z. Agora estenderemos

para Q tomando 0 6= m Z.
Para n Z, das concluses anteriores, vale que
n
P
, = P n ,
m
m
n
mP
m
,
m

= nP
,
m

=

n
n
= P m , = P (, )
m
m
m
Assim, q Q, P(q, ) = qP(, ). Dado R, com (qn ) e (qn ) Q, temos

da propriedade (b) que

P(, ) = lim P(qn , ) = lim qn P(, ) = P(, )
n
e o teorema est demonstrado para o caso real.

No caso complexo, denamos
P(, ) = P(, ) iP(i, ), , N
sendo P a mesma funo denida no caso real. Almejamos mostrar que P dene um
produto interno que induz a norma do espao. Notemos que
P(i, i) = P(i, i) iP(i, i2 ) =
iP(i, ) + P(, ) = P(, ), , N
Portanto, basta vericar que P(, ) = P(, ), o que garante a sesquilinearidade se

estente para os complexos. As outras propriedades seguem anlogas ao caso real.
Como
P(i, ) = P(i, ) iP(, ) = i(P(, ) iP(i, )) = iP(, )
segue que
P(, ) = P(, ) iP(i, ) = P(, ) iP(, i) =
P(, ) iP(i, ) = P(, ) + iP(i, ) = P(, )
Proposio 11.1.1 O espao lp (N) de Hilbert se, e somente se, p = 2.

Dem: Estes espaos so de Banach, mas a Lei do Paralelogramo s vale para p = 2. De
fato, para 1 p < escolha = en e = e2n , onde {en : n N} a base de Schauder
de lp (N), e, assim,
2
k + k2p + k k2p = 22/p + 22/p = 2 p +1
114
mas 2 kk2p + 2 kk2p = 4. Para o caso p = , temos

k + k2 + k k2 = 2
e, ainda,
2 kk2 + 2 kk2 = 4
11.2 Projeo Ortogonal

Denio 11.2 Um espao vetorial V Soma Direta de V1 , V2 6 V , o que se detona
por
V = V1 V2 ,
se para cada v V possui uma representao nica

v = v1 + v2 , v1 V1 , v2 V2
Lema 11.2.1 Em um espao N com produto interno, vale que

k + k kk, F
Dem: Se = 0N , no h o que demonstrar. Suponha que 6= 0N e, ento,

0 k + k2 = kk2 + 2 Re( h, i) + ||2 kk2
Se , segue que F,
k + k2 = kk2 + ||2 kk2 kk2
Por outro lado, se k+k kk para todo F, elevando ao quadrado e escolhendo

= h,i
kk2

2

h, i
h, i
h, i

kk +
= +
, +
=
kk2
kk2
kk2
2

h, i 2
h, i
h, i
h, i
h, i +
h, i +
h, i +
kk2
kk2
kk2
|h, i| 0 h, i = 0
11.2. Projeo Ortogonal
115
Teorema 11.2.1 (Projeo Ortogonal) Se E 6 H fechado, ento

H = E E
Por isso, E denominado Complemento Ortogonal do subespao E em H.

Dem: Sejam H, = dist(, E) e (n ) E de forma que k n k . Pela Lei

do Paralelogramo, tem-se
2 kn k2 + 2 kk k2 = kn k k2 + kn + k 2 k2
e como
(n + k )
E , segue que
2

2
(n + k )

kn k k = 2 kn k + 2 kk k 4

2
2
2 kn k2 + 2 kk k2 4 2
o que garante que (n ) E uma sequncia de Cauchy e, consequentemente, converge a

E , pois E fechado. Da continuidade da norma, conclumos que k k = .
Como ( ) E, E e para cada F, obtem-se que
k( ) k = k + ( )k = k k
e, do Lema 11.2.1, ( ) E . Com isso, chega-se a decomposio

= + ( )
Falta apenas mostrar que tal decomposio nica. Suponha ento que = 0 + 0 ,
0 E e 0 E , ento
0 + 0 = + ( ) 0 ( ) = 0 E E
o que leva a 0 ( ) = 0 = 0N
0 = ( ) e = 0
Corolrio 11.2.1.1 Seja H um espao de Hilbert.
i. Se E 6 H, ento
(E ) = E
116
ii. Se M H, ento
[M ] = H M = {0H }
Dem:
i. Evidentemente, E E = (E ) e do teorema anterior
def
E E = H = E E
tem-se que, da unicidade da soma direta, E = E , notando que E fechado pela

continuidade do produto interno.
ii. Para tanto, notemos que se M , ento [M ] . Alm disso, a continuidade
do produto interno garante que dada (n ) [M ] tal que (n ) [M ], ento
h, i = 0. Com isso,
H = [M ] [M ] = [M ] M
de forma que, [M ] = H M
Denio 11.3 Considerando a decomposio H = E E , para cada E 6 H fechado,

est bem denido o operador Projeo Ortogonal
PE : H
7 E

7 E ,
sendo = E + E a Decomposio Ortogonal de em relao a E e PE () = E a

Componente Ortogonal ou Projeo Ortogonal de em E .
Exerccio Resolvido 11.2.1 Verique as seguintes propriedades do operador projeo
ortogonal PE sobre 0H 6= E 6 H fechado:
(a) PE linear e limitado, com kPE kB(H,E) = 1;

(b) PE sobrejetivo, isto , Im(PE ) = E ;
(c) PE2 PE e (PE )|E IdE ;
(d) N(PE ) = E e PE (IdH PE );
(e) PE PE PE PE .
11.2. Projeo Ortogonal
117
Sol:
(a) Sejam , H e F, ento

PE ( + ) = ( + )E = E + E = PE () + PE ()
Agora, como
kE k kE + E k = kk, H
temos que kPE ()k kk. Disto, conclumos que P linear limitado.
Se E , teremos
kk = kE + E k = kE + 0H k = kE k = kPE ()k
e, assim, kPE kB(H,E) = 1.

(b) Seja E , ento PE () = E = , logo, Im(PE ) = E .
(c) Seja H, ento
(PE PE )() = PE (PE ()) = PE (E ) = E = PE ()
E, ainda, dado E
PE () = PE () = E = = IdE ()
(d) Claramente, E N(PE ). Falta mostrar que N(PE ) E . Agora, dado = E + E

tal que PE () = E = 0H , temos, de = E + E , que = E . Portanto, E .
Seja H, ento
(IdH PE )() = (IdH PE )(E + E ) =
IdH (E + E ) PE (E + E ) =
E + E E = E = PE ()
Portanto, PE (IdH PE ).
(e) Seja H, ento
(PE PE )() = PE (PE ()) = PE (E ) = 0H
118

(PE PE )() = PE (PE ()) = PE (E ) = 0H
Logo, PE PE 0B(H,E) e PE PE 0B(H,E) , o que demonstra a equivalncia.

N
11.3 Representao de Riesz

Teorema 11.3.1 (Representao de Riesz) Seja H um espao de Hilbert e H o seu
dual. A aplicao : H 7 H , () = f para cada H dada por

()() = f () = h, i, H
uma isometria anti-linear e sobrejetiva em H .

Dem: Se = 0H , claramente f 0H . Se H, ento f um funcional linear e
|f ()| = |h, i| kkH kkH
o que implica f H com kf kH kkH . Como kk2H = f () kf kH kkH segue

que kf kH kkH , donde conclumos a igualdade
kf kH = kkH
e, consequentemente, uma isometria. Agora, dados , H e F, temos que

H
( + )() = f+ () = h, + i =
h, i + h, i = f () + f () = ()() + ()()
Resta mostrar que todo elemento f H da forma f para algum H. Se f 0H ,

ento = 0H . Caso contrrio, como N(f ) 6 H fechado, pela continuidade de f , prprio
de H, o Teorema 11.2.1 diz que
H = N(f ) N(f )

e existe N(f ) com kkH = 1. Notando que o vetor f () f () est em

N(f ), H, pois
f (f () f () ) = f () f () f () f () = 0H
conclu-se que H
E
(f () f () ), = 0H
D
E
f () h, i = f () h, i = , f ()
11.3. Representao de Riesz
119
Portanto, f (f () ).
Exerccio Resolvido 11.3.1 Mostre que H tambm um espao de Hilbert com o pro-
duto interno
hf , f iH = h, iH , f , f H
Com uma isometria, a Lei do Paralelogramo satisfeita para H = (H), logo,

H um espao com produto interno e, sendo completo, um espao de Hilbert. Usando a
identidade de polarizao que o produto interno o denido acima.
Sol:
Corolrio 11.3.1.1 Todo espao de Hilbert H reexivo.

Dem: Devemos mostrar que C(H) = H , ou seja, se g H , ento H de maneira
que g = C(). Como todo elemento de H da forma () = f , H, basta considerar
g(f ).
Pelo Teorema de Representao de Riesz, aplicado a g H (notando que H e H
so espaos de Hilbert do Exerccio Resolvido 11.3.1), ! f H para algum H, de
forma que
g(f ) = hf , f iH , H
Logo, do Exerccio Resolvido 11.3.1, temos

g(f ) = h, iH = f () = C(f )
120
PROBLEMAS
Problema 11.1 Seja (n ) N uma sequncia ortogonal, isto , n m se n 6= m.
(a) Verique a relao de Pitgoras

2

n
n

X
X

j =
kj k2 , n N

j=1
(b) Se =
P
j=1
j=1
j j , mostre que
kk =
n
X
|j |2 kj k2
j=1
Sol:
(a) Usando a hiptese hk , j i = 0 para k 6= j

2 *
+ * n
+
n
n
n
n
X

X
X
X
X

j =
k ,
j =
j ,
j =

j=1
k=1
j=1
j=1
j=1
n
n
X
X
hj , j i =
kj k2
j=1
(b)
2
kk =
*
X
j=1
j j ,
X
j=1
j=1
+
j j
X
j=1
|j | hj , j i =
|j |2 kk2
j=1
Problema 11.2 Sejam E 6 H fechado e H. Assim, da decomposio H = E E ,
tem-se = + , E e E . Mostre que e so os nicos elementos de E e E ,

respectivamente, tais que a distncia a mnima.
Sol:
Seja E , ento d(, ) d(, ) + d(, ) e, usando a decomposio ortogonal

d(, )
2
= h , i h , i h, i + h, i =
h , i h, i h, i + h, i =

2
h , i + h, i = (d(, ))2 + d(, 0H )
Portanto d(, ) d(, ) + d(, 0H ). Subtraindo, membro a membro, temos que

d(, 0H ) d(, ) e d(, ) d(, 0H ) d(, ) = d(, 0H ) = kk
121

2
Suponha que E tal que d(, ) kk, ento, da expanso de d(, ) , con
2
cluiramos que d(, ) < 0. Como esta concluso uma contradio, @ E tal que
d(, ) kk. Isto demonstra que E tal que d(, ) = dist(, E).
Com um raciocnio anlogo, conclui-se que d(, ) = d(, 0H ) = kk e que esta a
distncia mnima entre e E .
N
Problema 11.3 Um subconjunto M de um espao vetorial convexo se u, v M ,
tem-se que o elemento u + (1 ) v pertence a M para [0, 1]. Mostre que em um

espao de Hilbert todo conjunto (no vazio) convexo, limitado e fechado, possui um nico
elemento de norma minimal.
Sejam M H convexo, limitado e fechado. Sem perda de generalidade, considere que
0H
/ M (este caso trivial). Suponha que , M tal que
Sol:
kk = kk = inf{kk : M }
Por convexidade, teremos que { + (1 ) : [0, 1]}

kk = k + (1 ) k kk + (1 ) kk =
kk + + (1 ) kk = (1 + ) kk = kk
e, da minimalidade, conclumos que kk = kk. Portanto,

{ + (1 ) : [0, 1]} S(0H ; kk)
que no possui subconjuntos convexos com mais de um elemento, pois

k + (1 )k < kk, (0, 1) [0, 1]
Consequentemente, M o nico elemento de norma minimal.

N
Problema 11.4 Sejam E 6 H e T B(H) fechado, diz-se que E Invariante por T se

T (E) E . Mostre que E invariante por T se, e somente se, T PE PE T PE .
Sol:
()
Sejam = E + E e T () = , ento
(T PE )() = T (PE ()) = T (E ) = E
122
Por outro lado,

(PE T PE )() = PE T (PE ()) = PE (T (E )) = PE (E ) = E
Portanto, T PE PE T PE .
()
Seja = E e T () = , ento
T () = (T PE )() = (PE T PE )() = PE (T ()) = PE () = E E
N
123
Bibliograa Bsica
[1] C. R. Oliveira. Introduo Anlise Funcional. Publicaes Matemticas. IMPA.
2001.
[2] E. Kreyszig. Introductory Functional Analysis with Apllications. John Wiley and Sons.
1978.
[3] W. Rudin. Functional Analysis. McGraw-Hill. 1973.
[4] H. Brzis. Anlisis Functional: Teora y Aplicaciones (verso espanhola de J. R.
Esteban). Alianza Editorial. 1984.

TCC Af

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

TCC Af

Uploaded by

Copyright:

Available Formats

Universidade Federal de So Carlos

Centro de Cincias Exatas e de Tecnologia

Introduo Anlise Funcional

Autor: dipo Batista Ribeiro de Lima

Trabalho de Concluso do Curso

So Carlos, 17 de maro de 2013.

Introduo Anlise Funcional

Autor: dipo Batista Ribeiro de Lima

Trabalho de Concluso do Curso

Universidade Federal de So Carlos

So Carlos, 17 de maro de 2013.

dipo Batista Ribeiro de Lima

Adriana Ramos (orientador)

Denio 1.1 Sejam V 6= , (F, +, ) um corpo e as operaes:

Dizemos que (V, +, ) um Espao Vetorial sobre F se operaes +, acima forem

Captulo 1. ESPAOS NORMADOS

Observao 1 Note que um exerccio de fcil vericao o fato de que 0 V em 1.2)

para cada v V , o elemento w V em 1.3) unicamente determinado e, a partir de

Vamos utilizar a notao W 6 V para indicar que W subespao vetorial de V , isto

Observao 2 Com as notaes anteriores (W, +W W , FW ) um espao vetorial

de V qualquer soma nita da forma

formado pelas combinaes lineares de elementos de S , ou seja:

Mostremos que [S]

trivialmente satisfeita. Seja v [S], ento v W, W 6 V com S W , conforme a

elemento das combinaes de elementos de S {v} e, portanto, o resultado vale para

combinaes lineares de elementos de S for a trivial. Caso contrrio, dizemos que S

Denio 1.6 Seja A 6= , uma relao em A um subconjunto R A A. Uma

dizemos que R uma Relao de Ordem Total.

Captulo 1. ESPAOS NORMADOS

Denio 1.8 Dizemos que A Limitante Superior de B A se (b, ) R,

subconjunto de A totalmente ordenado possui um limitante superior em A, ento A possui

Dem: Seja F = {S V | S LI} (Note que a condio V 6= implica que v (V {0})

Seja D = {Sj : j J} uma famlia totalmente ordenada de elementos de F . Arma[

Se {v1 , . . . , vn } T , ento existem ndices ji J, i = 1, . . . , n tais que

i , F. Caso = 0 teramos que i = 0, i = 1, . . . , n. Caso 6= 0 teramos que

Teorema 1.1.3 Seja V espao vetorial sobre F e B1 , B2 bases de Hamel de V . Ento

Observao 4 Por conveno, dizemos que dim(({0}, +, )F ) = 0

1.1.2 Espaos Mtricos

(1) d(x, y) 0 para quaisquer x, y X e, ainda, d(x, y) = 0 y = x

e raio r, respectivamente, os conjuntos

B(x; r) = {y X : d(x, y) < r}

Denio 1.12 Seja (X, d) um espao mtrico. Dizemos que A X um Conjunto

Denio 1.13 Seja A um subconjunto de um espao mtrico X . Denotamos A o Fecho

Ainda dizemos que um subconjunto D de X Denso em X se D = X .

Dizemos que f Contnua.

Captulo 1. ESPAOS NORMADOS

Observao 5 Para os espaos que estamos estudando mais interessante considerar

a seguinte denio de funo contnua, que equivalente a denio acima quando a

Denio 1.15 Dizemos que uma aplicao f : (X, d1 ) 7 (Y, d2 ) Uniformemente

de uma funo contnua tambm ser uma funo contnua.

Sabemos ainda que toda sequncia convergente de Cauchy e, no entanto, a implicao

Denio 1.19 Se toda sequncia de Cauchy de M uma sequncia convergente, ento

1.2. Espaos Normados

1.2 Espaos Normados

Denio 1.20 Uma Norma em um espao vetorial X

i. kxk 0 para todo x X e, ainda, kxk = 0 x = 0

Exerccio Resolvido 1.2.1 Seja um subconjunto compacto de um espao de Hausdor

e C() o espao das funes contnuas : 7 F. Mostre que:

mas sabemos que |(t)| 0, pois (t) F, e, por isso, k k no negativo.

temos que no espao das funes

kk = max{|( )(t)| : t } = max{| (t)| : t } =

Captulo 1. ESPAOS NORMADOS

Sabemos que no espao das funes (f + g)(t) = f (t) + g(t), logo

Denio 1.1 Sejam V 6= , (F, +, ) um corpo e as operaes:

Observao 1 Note que um exerccio de fcil vericao o fato de que 0 V em 1.2)

de V qualquer soma nita da forma

Denio 1.6 Seja A 6= , uma relao em A um subconjunto R A A. Uma

Denio 1.8 Dizemos que A Limitante Superior de B A se (b, ) R,

Seja D = {Sj : j J} uma famlia totalmente ordenada de elementos de F . Arma[

Denio 1.12 Seja (X, d) um espao mtrico. Dizemos que A X um Conjunto

Denio 1.13 Seja A um subconjunto de um espao mtrico X . Denotamos A o Fecho

a seguinte denio de funo contnua, que equivalente a denio acima quando a

Denio 1.15 Dizemos que uma aplicao f : (X, d1 ) 7 (Y, d2 ) Uniformemente

Denio 1.19 Se toda sequncia de Cauchy de M uma sequncia convergente, ento

Denio 1.20 Uma Norma em um espao vetorial X

Exerccio Resolvido 1.2.1 Seja um subconjunto compacto de um espao de Hausdor

Denio 1.22 Duas normas kk1 , kk2 : X 7 R so equivalentes se existem A, B > 0

Corolrio 1.2.1.1 Todo espao normado de dimenso nita de Banach (assim, um

subespao de dimenso nita num espao normado fechado).

Pelo teorema 1.2.1, em todo espao normado de dimenso nita X as normas so

xe e x0 X considere uma cobertura A = {B(x0 ; r) : r > 0}. Por compacidade,

Consequentemente, pra cada j = 1, . . . , n xado, teremos que a sequncia (jm ) F

um conjunto limitado. Mostremos que lp (N) K aberto e nalmente que K no

temos o seguinte determinante da matriz dos coecientes A