Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
OLIVAINE S. DE QUEIROZ
Departamento de Matemtica
Instituto de Matemtica, Estatstica e Computao Cientfica
UNICAMP
Campinas
2013
Captulo 1
Neste captulo introduziremos alguns dos principais conceitos a serem trabalhados no curso: espaos de Banach e
operadores lineares contnuos entre tais espaos. A exposio aqui segue as linhas, por exemplo, de [5].
Primeira aula
Observemos que a homogeneidade da semi norma implica que k0k = 0, isto , a norma do vetor nulo em X
zero. Uma semi norma em um espao vetorial chamada de norma se kxk = 0 somente no caso em que x = 0.
Um espao vetorial equipado com uma norma chamado de espao vetorial normado.
Um fato simples de se verificar que, em um espao vetorial normado X, a norma define uma mtrica natural
(x, y) := kx yk.
Exemplo 1.1.1 Dado um conjunto compacto A em um espao mtrico M, o espao vetorial das funes contnuas
em A com valores em R denotado por C(A). Tal espao esquipado com a norma
k f k := sup | f (x)|
xA
1
2 CAPTULO 1. FUNDAMENTOS
completo. Isto garantido pelo fato que limite uniforme de uma sequncia de funes contnuas ainda uma
funo contnua.
Exemplo 1.1.2 Seja p [1, ) e definamos o espao vetorial sobre R dado por:
n p o
p
l p (N) := x = (xn )
n=1 | xn R e kxkl p = |xn | < .
n=1
No caso p = definimos:
n o
l (N) := x = (xn )
n=1 | x n R e kxk = sup |xn | < .
um exerccio natural demonstrar que k kl p , de fato, uma norma em l p . Faremos isso em uma situao mais
geral adiante. Seja c0 l o subespao vetorial definido por
n o
c0 (N) := x = (xn )n=1 | xn R e lim xn = 0 .
Proposio 1.1.3 Se X um espao vetorial de dimenso finita, ento todas as normas em X so equivalentes.
Demonstrao. Seja {e1 , . . . , en } uma base do espao vetorial X de dimenso finita. Para cada x X, existem
1 , . . . n F de tal sorte que
n
x = i ei .
i=1
Definimos
n
kxk0 = |i |.
i=1
Tal expresso define uma norma em X. Demonstremos que qualquer norma em X equivalente k k0 .
Seja k k qualquer outra norma em X. Ento estimamos
n
n n
kxk =
i ei
|i |kei k ( max ei ) ki k = Ckxk0 .
i=1 i=1 1in i=1
Suponhamos para efeito de contradio que a desigualdade reversa no satisfeita, isto , para cada constante
L > 0, existe xL X com
kxL k0 > LkxL k.
Obviamente devemos ter xL 6= 0 para esta desigualdade ocorrer. Dividimos ambos os lados por kxL k0 e definimos
yL = xL /kxL k0 obtendo
1 = kyL k0 > LkyL k.
Lembremos que a bola fechada B1 compacta em dimenso finita. Segue que existe uma subsequncia (yL j )
convergindo para y X na norma k k0 . Segue da continuidade da norma que kyk0 = 1 e, usando a primeira parte
da demonstrao, chegamos ao seguinte:
1
kyk ky yL j k + kyL j k Cky yL j k0 + .
Lj
Passando ao limite quando j obtemos que kyk = 0 e portanto y = 0, o que uma contradio com o fato de
kyk0 = 1.
Concluimos que k k e k k0 so equivalentes. Como a primeira norma qualquer, o resultado segue por
transitividade.
Observao 1.1.4 O fato de bolas fechadas serem compactas em espaos de dimenso finita foi essencial na
demonstrao da Proposio 1.1.3.
Veremos mais adiante que todo espao normado est de uma certa maneira contido em um espao de
Banach (seu completamento). Por hora, apresentaremos um critrio para completude de um espao normado.
Antes porm, necessitamos de algumas definies.
Se (xn ) uma sequncia no espao normado X, ento dizemos que a srie
xn (1.2)
n=1
Teorema 1.1.5 Um espao vetorial normado X de Banach se, e somente se, toda srie absolutamente conver-
gente em X uma srie convergente.
Demonstrao. Suponhamos incialmente que X Banach e que (xn ) seja uma sequncia tal que
kxn k < .
n=1
N
SN = xn .
n=1
Assim, (SN ) uma sequncia de Cauchy e, portanto, convergente em X. Equivalentemente, a srie associada a
(xn ) converge em X.
Reciprocamente, suponhamos que toda srie absolutamente convergente em X seja convergente e fixemos
uma sequncia de Cauchy (xn ) X qualquer. possvel selecionar
n1 < n2 < . . . ,
de maneira que
kxn xm k < 2 j , para quaisquer n, m n j .
Agora, tomemos y1 = xn1 e, para j > 1,
y j = xn j xn j1 .
Ento
k
y j = xnk ,
j=1
e
ky j k ky1 k + kxn j xn j1 k ky1 k + 2 j = ky1 k + 1 < .
j=1 j=2 j=1
Assim, a sequncia de Cauchy (xn ) possui uma subsequncia que converge. Logo, (xn ) deve tambm convergir.
De fato: seja a = lim xnk ; dado > 0, tomemos n0 tal que
e tambm
kxnk ak < /2, para qualquer k n0 .
Segue que, para n n0 ,
kxn ak kxn xn0 k + kxn0 ak < .
Isto finaliza a demonstrao.
1.2. OPERADORES LIMITADOS 5
a T contnuo;
b T contnuo em algum ponto x X;
c T limitado.
kx x0 kX implica em kT (x x0 )k = kT x T x0 k 1. (1.3)
kx x0 kX .
Por homogeneidade,
1
(x x0 )
1,
X
o que nos d
1
1
kT x T x0 kY =
T (x x0 )
R,
ou seja,
kT x T x0 kY .
Portanto, T contnuo no ponto arbitrrio x0 X, finalizando a demonstrao.
6 CAPTULO 1. FUNDAMENTOS
Denotamos por B(X,Y ) o conjunto dos operadores lineares limitados de X em Y. um fato bsico de
lgebra Linear que B(X,Y ) tambm um espao vetorial com as operaes de soma de operadores e produto de
um operador por um escalar em F usuais.
Ser comum utilizarmos as seguintes notaes:
Observao 1.2.2 Como diriam as aeromoas da Azul, j sabemos, mas no custa lembrar que a limitao acima
definida diferente da limitao de funes. De fato, se kT xk C para todo x X, ento, para qualquer escalar
F, temos
| |kT xk = kT ( x)k C.
Concluimos que T x = 0 dividindo a ltima desigualdade acima por | | e considerando o limite . Como x
qualquer, T deve ser a aplicao nula. Na verdade, dizer que um operador linear T : X Y limitado significa
que ele aplica subconjuntos limitados de X em subconjuntos limitados de Y .
Segunda aula
est bem definida pelo Teorema 1.2.1 e define uma norma em B(X,Y ).
Proposio 1.2.3 Sejam X e Y espaos normados. Ento a expresso (1.4) define uma norma em B(X,Y ) que
ainda pode ser caracterizada por
kT xkY
kT k = sup kT xkY = sup . (1.5)
kxk=1 x6=0 kxkX
Alm disso, se Y for Banach, ento B(X,Y ) tambm ser Banach com esta norma.
Demonstrao. Faremos a demonstrao do fato interessante que B(X,Y ) Banach sempre que Y Banach. Os
demais fatos ficam como exerccio. importante observar que a ltima caracterizao da norma deixa claro que
kT xkY kT kkxkX .
Consideremos ento uma sequncia de Cauchy (Tn ) B(X,Y ) e procedemos com a demonstrao que esta se-
quncia converge para um operador neste espao.
Fixado x X e m, n N ns estimamos
o que nos diz que (Tn x) Y uma sequncia de Cauchy em Y. Sendo Y Banach, existe um elemento que deno-
taremos por T x, tal que Tn x T x. Assim, construimos uma aplicao de X em Y por
x 7 T x.
Afirmao 2: T limitado. Isto segue do fato de toda sequncia de Cauchy ser limitada. Assim, existe C > 0 tal
que kT k C. Disso segue que:
Afirmao 3: kTn T k 0 em B(X,Y ). Dado > 0, seja n0 tal que kTn Tm k sempre que n, m n0 . Para
x B1 (0) temos que
1.3 Exerccios
Exerccio 1 Seja X um espao vetorial e lembremos que uma base algbrica (ou base de Hamel) de X um
subconjunto (ei )iI , tal que todo x X pode ser escrito de maneira nica como
x= x je j,
jJ
para algum subconjunto finito J I, onde x j F,, j J. Uma aplicao do Lema de Zorn (Lema 3.1.2) implica
que todo espao vetorial E possui uma base de Hamel (ei )iI .
Toda base de Hamel de um espao vetorial X fixado possui a mesma cardinalidade. No caso em que I
finito, dizemos que X possui dimenso finita.
Demonstre que todo espao vetorial pode ser normado.
Sugesto: demonstrao da Proposio 1.1.3.
Exerccio 2 Se uma mtrica em um espao mtrico X induzida por uma norma, ento
e
( x, y) = | |(x, y), para quaisquer x, y X e todo F.
Exerccio 3 Dado um espao vetorial X, no qual est definida uma mtrica d, necessariamente verdade que
existe uma norma k k1 em X tal que d(x, y) = kx yk1 para quaisquer x, y X?
Exerccio 4 Demonstre que todo espao mtrico M, com mtrica d, isomtrico a um subconjunto de um espao
normado. De fato, tal espao normado pode ser tomado como sendo o conjunto das funes contnuas e limitadas
em M, denotado por CB (M), com a norma do sup .
Sugesto: fixe x M e considere a aplicao de M em CB (M), dada por y 7 f , com f (z) = d(x, z) d(y, z).
Exerccio 6 Seja Rn um subconjunto compacto. Demonstre que (C(), k k ) um espao de Banach. Pelo
Teorema de StoneWeierstrass, o espao vetorial dos polinmios com coeficientes reais denso em C([a, b]). Segue
que C() possui dimenso infinita.
Exerccio 7 Verificaremos que, ao contrrio do que diz a Proposio 1.1.3 para espaos normados de dimenso
finita, espaos normado de dimenso infinita nunca possuem uma nica topologia induzida por norma. Seja X um
espao normado com dim X = e com norma k k.
c) Seja kxk1 = kT xk para x X. Demonstre que k k1 uma norma, que T : (X, k k1 ) (X, k k) um
isomorfismo isomtrico e que (X, k k1 ) Banach se, e somente se, (X, k k) Banach.
c) Demonstre que as topologias induzidas por k k1 e por k k so diferentes.
Exerccio 8 Seja Ck ([0, 1]) o espao das funes em [0, 1] possuindo derivadas contnuas at ordem k em [0, 1],
incluindo as derivadas laterais em 0 e em 1.
a Se f C([0, 1]), ento f Ck ([0, 1]) se, e somente se, f kvezes continuamente diferencivel em (0, 1) e
os limites
lim f ( j) (x) e lim f ( j) (x), j k,
x0+ x1
existem (use o Teorema do Valor Mdio).
b A expresso
k
k f kk, = k f ( j) k
j=0
define uma norma em Ck ([0, 1]) que faz deste um espao de Banach.
0
Sugesto: use induo em k; o ponto essencial que se ( fn ) C1 ([0, 1]), fn f uniformemente e fn g
uniformemente, ento f C1 ([0, 1]) e f 0 = g; para isto demonstre que
Z x
f (x) f (0) = g(t)dt.
0
Exerccio 9 Dado 0 < 1, seja C0, (Rn ) o espao das funes limitadas em Rn tais que
| f (x) f (y)|
sup < .
x6=y |x y|
Observe que f necessariamente contnua. Alis, as funes de C0, (Rn ) so chamadas de Hlder contnuas de
expoente . O caso = 1 o das funes Lipschitz contnuas.
Uma norma em C0, (Rn ) pode ser definida por
| f (x) f (y)|
k f kC0, = sup | f (x)| + sup .
xRn x6=y |x y|
um espao de Banach.
Acima, a = (a1 , . . . , an ) um multi ndice com entradas inteiras e positivas e |a| = a1 + . . . + an . A expreso
a f significa
a1 +...+an f
.
a1 x1 . . . an xn
Exerccio 13 Um conjunto C em um espao vetorial sobre F convexo se, sempre que x, y C, ento
Demonstre que se (X, k k) um espao normado, ento, para qualquer r > 0 e qualquer x X, a bola
Br (x) := {y X | kx yk < r}
convexa.
Exerccio 15 Seja X um espao de Banach e E X um subespao de dimenso finita. Demonstre que E fechado.
Exerccio 16 Demonstre que se X um espao normado , ento o fecho de qualquer subespao de X ainda um
subespao de X.
(x + M) + (y + M) = (x + y) + M e (x + M) = ( x) + M, x, y X, F.
a A expresso
kx + Mk = inf kx + yk
yM
M = {x X | kxk = 0}.
Exerccio 20 Suponha que X e Y sejam espaos vetoriais normados e T B(X,Y ). Consideremos o ncleo de
T:
ker T := {x X | T x = 0}.
Exerccio 21 Sejam E um espao vetorial normado de dimenso finita e X um espao de Banach. Demonstre que
toda aplicao linear T : E X necessariamente contnua.
10 CAPTULO 1. FUNDAMENTOS
Exerccio 22 Sejam X,Y e Z espaos vetoriais normados com T : X Y e S : Y Z operadores lineres limitados.
Ento a composio de operadores ST limitada e kST k kSkkT k.
Exerccio 23 Seja Mnm o conjunto das matrizes com coeficientes reais ai j , 1 i n, 1 j m. Definamos
|Ax|
kAk := maxm .
xR |x|
Demonstre que (Mnm , k k) um espao vetorial normado. Alm disso, demonstre que
T (xn ) = (1 x1 , 2 x2 , . . .).
Demonstre que se |A| < 1, ento, para qualquer f C([0, 1]), existe uma nica g : C([0, 1]) tal que
Z 1
g(x) = f (x) + k(x, y)g(y)dy.
0
Demonstre que kT k = 1.
possvel encontrar u C0 ([0, 1]) com kuk = 1 e Tu = kT k?
1.3. EXERCCIOS 11
Exerccio 29 Considere c0 (N) com a norma k k . Para cada y = (yn ) c0 (N) definamos
yn
F(y) = 2n .
n=1
Exerccio 30 Seja X um espao vetorial com duas normas k k1 e k k2 . Suponha ainda que estas duas normas
sejam equivalentes. Demonstre que (X, k k1 ) completo se, e somente se, (X, k k2 ) completo.
Exerccio 32 Seja a = (an ) uma sequncia real e definamos para cada x = (xn ) c00 (N) a expresso:
kxka := |an ||xn |.
n=1
a Demonstre que k ka uma norma em c00 (N) se, e somente se, an 6= 0 para todo n N.
b Na notao anterior, demonstre que duas normas k ka e k kb em c00 (N) so equivalentes se, e somente se,
|an | |an |
0 < inf sup < .
nN |bn | nN |bn |
Exerccio 34 Seja : [0, 1] [0, 1] [0, ) uma funo contnua tal que 1 existe e contnua em [0, 1] [0, 1].
Demonstre que o operador U : C([0, 1]) C([0, 1]) definido por
Z 1
(U f )(x) = (x,t) f (t)dt
0
Exerccio 35 Demonstre que o operador U : C([0, 1]) C([0, 1]) definido por
Z 1
(U f )(x) = ext f (t)dt
0
Exerccio 36 Considere novamente o operador U : C([0, 1]) C([0, 1]) definido por
Z 1
(U f )(x) = ext f (t)dt.
0
ento kU Un k 0 e kU Vn k 0.
e que
n
a + . . . + a p 1/p
1 k p n p 1/p
ak .
k=1 k p 1 k=1
H((xn )) = (yn ),
onde
x1 + . . . + xn
yn = .
n
Demonstre que H linear e contnuo com
p
kHk = .
p1
Captulo 2
Os espaos funes da forma L p tm um papel central em vrias questes de Anlise. Esta importncia se deve ao
fato de eles serem uma generalizao dos espaos L2 , de fundamental importncia em Anlise de Fourier. Vamos
nos concentrar neste captulo nas propriedades estruturais bsicas desses esoaos. Em particular, veremos que eles
so uma classe interessante de exemplos de espaos de Banach.
13
14 CAPTULO 2. ESPAOS LP
Um exemplo bsico de espao de medida que pode ser fixado quando X = Rn , M formado pelos
subconjuntos Lebesgue mensurveis de e a medida de Lebesgue.
Passamos agora a enunciar os resultados bsicos de teoria da medida.
Teorema 2.1.1 (Convergncia montona de Beppo-Levi) Seja ( fn ) uma sequncia de funes em L1 (X, ) cres-
cente e limitada na norma k kL1 , isto ,
Z
f1 f2 f3 , . . . , sup fn d < .
nN X
Ento, para quase todo x X, fn (x) converge para um nmero finito f (x). Alm disso, temos que f L1 (X, ) e
k fn f kL1 0, quando n .
Teorema 2.1.2 (Convergncia dominada de Lebesgue) Seja ( fn ) uma sequncia de funes em L1 (X, ) que
satisfaz o seguinte:
Lema 2.1.3 (Lema de Fatou) Seja ( fn ) uma sequncia de funes em L1 (X, ) com fn 0 em quase todo ponto
de X e para todo n N. Suponha ainda que
Z
sup fn d < .
nN X
Ento f L1 (X, ) e Z Z
f d lim inf fn d.
X n X
Teorema 2.1.4 (Teorema de FubiniTonelli) Suponhamos que (X, M , ) e (Y, N , ) sejam dois espaos de me-
dida finitos.
Alm disso, Z Z Z Z ZZ
f (x, y)dd = f (x, y)dd = f (x, y)d .
X Y Y X XY
2.2. ESPAOS LP 15
a b1 a + (1 )b.
f (x) := x x (1 ), x 0.
f (A) f (1) = 0,
ou seja,
A A + (1 ).
Tomando A = ab1 vemos que
a b ab1 + (1 )
e o resultado segue multiplicando esta desigualdade por b.
Dois nmeros p, q [0, ] so chamados de expoentes conjugados se tivermos o seguinte:
1 1
+ = 1,
p q
onde estamos assumindo que p = 1 quando q = e vice versa.
Teorema 2.2.2 (Desigualdade de Hlder) Suponha que p, q (1, ) so expoentes conjugados. Se f L p (X, )
e g Lq (X, ), ento f g L1 (X, ) e
k f gkL1 k f kL p kgkLq .
Podemos agora demonstrar outra desigualdade importante que implica, em particular, que L p um espao
vetorial e que k kL p uma norma se p 1.
k f + gkL p k f kL p + kgkL p .
| f (x) + g(x)| p = | f (x) + g(x)|| f (x) + g(x)| p1 | f (x)|| f (x) + g(x)| p1 + |g(x)|| f (x) + g(x)| p1 . (2.1)
Observemos que
Z 1/q Z p/pq
p/q
k( f + g) p1 kLq = | f (x) + g(x)|(p1)q d = | f (x) + g(x)| p d = k f + gkL p . (2.3)
X X
Podemos supor que k f + gkL p > 0 pois, caso contrrio, o resultado trivial. Logo, substituindo (2.3) em
p/q
(2.2) e dividindo a desigualdade resultante por k f + gkL p obtemos
k f + gkL p k f kL p + kgkL p ,
O Teorema 2.2.3 implica que k kL p satisfaz a desigualdade triangular na definio de norma. A homogenei-
dade dessa expresso bvia. Estamos a um passo de dizer que L p (X, ) com k kL p um espao normado.
Observemos porm que se f L p (X, ) e k f kL p = 0, ento f = 0 somente em quase todo ponto de X (para a
medida ). Assim, introduzimos uma relao de equivalncia nos espaos L p na qual f e g so equivalentes se
f = g em quase todo ponto de X. Com isso, a definio precisa de L p (X, ) que este o conjunto das classes
de equivalncia para esta relao. Na prtica, entretanto, no perdemos muito em pensar que os elementos de
L p (X, ) so funes ao invs de classe de equivalncia de funes.
2.2. ESPAOS LP 17
Observao 2.2.4 Sejam a, b > 0 e 0 < p < 1. Da, t p1 > (a +t) p1 para todo t > 0. Integrando de 0 a b obtemos
que
a p + b p > (a + b) p .
Por outro lado, se E e F so subconjuntos disjuntos de X de medida finita e se fixarmos
a = (E)1/p , b = (F)1/p ,
obtemos
kE + F kL p = (a p + b p )1/p > a + b = kE kL p + kF kL p ,
onde A a funo caracterstica de A : (
1 se x A,
A (x) =
0 se x 6 A.
Isto implica que a desigualdade triangular no vlida em L p (X, ) se 0 < p < 1.
Terceira aula
Demonstrao. Vamos demonstrar que toda srie absolutamente convergente em L p (X) converge na norma
k kL p . Seja
( f j ) L p (X), k f j kL p = A < .
j=1
Definamos
n
Gn (x) := | f j (x)|, G(x) := | f j (x)|.
j=1 j=1
Observemos que (Gn ) uma sequncia crescente e que, usando a desigualdade triangular,
n
kGn kL p k f j kL p A, para todo n N.
j=1
Assim, G L p (X) e, em particular, G(x) < para quase todo x X. Este ltimo fato segue da Proposio 2.20 de
[5]. Segue que, para quase todo x X, a srie de nmeros reais
f j (x)
j=1
Mas isso o mesmo que dizer que a srie associada sequncia ( f j ) converge na norma k kL p . O resultado segue
do Teorema 1.1.5.
p
possvel estudar as relaes de incluso entre os vrios espaos L . O caso em que a medida do domnio
finita segue da Desigualdade de Hlder.
L p1 (X) L p0 (X).
Demonstrao. Podemos assumir que p1 > p0 . Suponhamos ento que f L p1 (X) e definamos F := | f | p0
L p1 /p0 (X). Seja p = p1 /p0 > 1 e seu expoente conjugado, isto ,
1 p0 p1
= 1 , q= .
q p1 p1 p0
Se X no possuir medida finita a incluso acima no vlida em geral. Na verdade, em um caso especfico
vale a incluso inversa.
l p0 l p1
e alm disso,
k f kl p1 k f kl p0 .
Demonstrao. Se f l p0 , ento f = ( fn ) e
p
k f kl p0 =
0
| fn | p0 .
n=1
Observe que
| fn | p1 = | fn | p0 | fn | p1 p0
n=1 n=1
p
(sup | fn |) p1 p0 k f kl p0
nN 0
k f klpp1 .
0
Agora passamos a estudar o caso que nos resta: p = . Se uma funo f : X R mensurvel, definimos:
k f kL := inf a 0 | ({x : | f (x)| > a}) = 0 ,
com a conveno de que inf 0/ = . A expresso k f kL chamada de supremo essencial e s vezes escrevemos
k f kL = esssupxX | f (x)|.
Definimos
L (X, M , ) = L (X, ) := { f : X R | f mensurvel e k f kL < },
com a conveno de que duas funes que so iguais em quase todo ponto de X representam o mesmo elemento
de L (X, ).
Os resultados que foram demonstrados para 1 p < podem ser extendidos para p = .
Teorema 2.2.8 L (X, ) um espao de Banach com a norma k kL . Alm disso, se f , g : X R so funes
mensurveis, ento
k f gkL1 k f kL1 kgkL .
A igualdade k f gkL1 = k f kL1 kgkL ocorre se, e somente se, |g(x)| = kgkL em quase todo ponto no conjunto onde
f (x) 6= 0.
Demonstrao. Verificaremos somente que L (X) um espao completo. Os demais fatos ficam como exerccio.
Seja ( f j ) L (X) uma sequncia de Cauchy. Dado qualquer k N, existe nk N tal que
1
k f n f m kL , para quaisquer m, n nk .
k
Consequentemente, existe Ek X com (Ek ) = 0 tal que
1
| fn (x) fm (x)| , para todo x X \ Ek , e para quaisquer m, n nk . (2.4)
k
Se considerarmos E = kN Ek , teremos que (E) = 0 e que, para todo x X \ E, a sequncia real ( f j (x)) ser de
Cauchy em R. Assim, f j (x) f (x) para todo x X \ E. Fazendo n em (2.4) obtemos
1
| f (x) fm (x)| , para todo x X \ E, e para qualquer m nk .
k
Segue que f L (X) e que k f fm kL 1/k para todo m nk . Portanto, f j f na norma k kL .
O espao L pode ser visto, a grosso modo, como o caso limite de L p , quando p . Para verificarmos este
fato necessitamos de um lema que possui outras aplicaes.
Lema 2.2.9 (Desigualdade de Chebyshev) Se f L p (X, ), 0 < p < , ento, para qualquer > 0,
k f k p p
L
({x : | f (x)| > })
20 CAPTULO 2. ESPAOS LP
e o resultado segue.
Proposio 2.2.10 Suponha que f L (X, ) seja tal que o suporte de f esteja contido em um conjunto de
medida finita. Ento f L p (X, ) para todo p < e
k f kL p k f kL , quando p .
Demonstrao. Seja E um subconjunto mensurvel de X com (E) < e tal que f se anula fora de E. Se
(E) = 0, ento k f kL = k f kL p = 0 e o resultado segue. Caso contrrio:
Z 1/p Z 1/p
k f kL p = | f | p d k f kL d = k f kL (E)1/p .
X X
lim sup k f kL p k f kL .
p
({x : | f (x)| k f kL }) .
Portanto,
lim inf k f kL p k f kL .
p
existe e igual a k f kL .
Fixemos 1 p e seja T = {z C | |z| = 1}. Definamos X como sendo o conjunto das funes com valores
complexos definidas em T com a propriedade de que se g : [, ) C definida por g(t) = f (eit ), ento g
L p [, ). Duas funes f1 , f2 X so consideradas iguais se f1 (eit ) = f2 (eit ) para quase todo t [, ). Como
L p [, ) um espao de Banach, temos que X tambm ser Banach com as operaes bvias que o tornam
espao vetorial e com a norma
1 Z 1/p
k f kp = | f (eit )| p dt , 1 p < , k f k = kgkL ,
2
para g como anteriormente. O espao X com esta estrutura de espao de Banach denotado por L p (T). Essencial-
mente, L p (T) o espao L p [, ), exceto que [, ) est sendo identificado com T e a medida de Lebesgue dt
est sendo normalizada pela medida (2)1 dt, de maneira que a medida de T 1.
Suponhamos que f L p (T). Para cada n Z, o nsimo coeficiente de Fourier de f , denotado por f(n),
definido pela frmula
f (n) = 1
Z
f (eit )eint dt.
2
2.3. EXERCCIOS 21
Observemos que se n Z e se ( f j ) L p (T) uma sequncia que converge para f L p (T), ento
2.3 Exerccios
Exerccio 38 Consideremos os espaos L p (Rn ) com a medida de Lebesgue. Definamos
Exerccio 39 Se f L p (X) e g Lq (X) so ambas no identicamente nulas, demonstre que a igualdade acontece
na Desigualdade de Hlder se, e somente se, existem constantes no nulas a, b > 0 tais que a| f (x)| = b|g(x)| para
quase todo x X.
a o conjunto das funes contnuas com suporte compacto denso em L p (Rn ) e que, de fato:
b o conjunto das funes infinitamente diferenciveis com suporte compacto denso em L p (Rn ).
k f ( + h) f kL p 0, quando |h| 0.
Sugesto: use que as funes contnuas com suporte compacto so densas em L p (Rn ) para 1 p < .
22 CAPTULO 2. ESPAOS LP
Exerccio 43 Seja
A = { f L2 ([0, 1]) | existe I f [0, 1], 1/2 I f , f (x) = 0 para quase todo x I f }.
isto , cada funo f Lq (X) soma de uma funo em L p (X) com um funo em Lr (X).
e que
k f kLq k f kL p k f kLr1 ,
onde (0, 1) satisfaz
q1 = p1 + ( 1)r1 .
k f kL p Lq := k f kL p + k f kLq
define uma norma e que L p (X) Lq (X) equipado com esta norma Banach.
Exerccio 48 O propsito desse exerccio demonstrar que, quando 1 p < , temos que (L p ) = Lq , com q
sendo o conjugado de p.
1 1
+ = 1.
p q
se p = 1, defina fn (x) = sgn(g(x))En (x), onde (En ) uma sequncia crescente de conjuntos com medida
finita e X = En .
(E) = F(E ),
|(E)| kFk((E))1/p .
Demonstre ainda que uma medida enumeravelmente finita e absolutamente contnua com relao a .
e) Supondo ainda (X) < , use o Teorema de LebesgueRadonNykodim para garantir a existncia de uma
funo g integrvel tal que Z
(E) = g(x)d.
E
Conclua que Z
F(E ) = E g(x)d
X
e que a representao Z
F( f ) = f (x)g(x)d
X
vlida para toda funo simples f . Usando que as funes simples formam um conjunto denso em L p (X, ),
demonstre que esta representao vale para toda f L p (X, ), 1 p < . Conclua ainda que kgkLq = kFk.
A concluso que, se (X) < , ento (L p (X, )) = Lq (X, ) no seguinte sentido: para qualquer funcional
linear F em L p (X, ), existe uma nica funo g Lq (X, ) tal que
Z
F( f ) = f (x)g(x)d,
X
24 CAPTULO 2. ESPAOS LP
f) Demonstre que a caracterizao anterior vlida mesmo se (X) = . Para tanto, considere uma sequncia
crescente (En ), com (En ) < e X = En . Da, para cada n, considere gn dada pela letra e) com En no lugar de
X e finalmente g = lim gn .
Exerccio 49 (Desigualdade de Minkowski para integrais) Suponha que (X1 , 1 ) e (X2 , 2 ) sejam dois espaos
de medida e que 1 p . Demosntre que se f (x1 , x2 ) mensurvel em X1 X2 e nonegativa, ento
Z
Z
f (x1 , x2 )d2
p k f (x1 , x2 )kL p (X1 ) d2 .
X2 L (X1 ) X2
Seja
k
f (x) = fi (x).
i=1
Demonstre que f L p (X) e que
k
k f kL p k fi kL pi .
i=1
Exerccio 51 Seja (X, ) um espao de medida e suponha que : [0, ) seja uma funo convexa, contnua e
crescente com (0) = 0. Definamos
n Z o
L (X) := f : X R | (| f (x)|/M)d < , para algum M > 0 ,
X
e n Z o
k f kL := inf M > 0 | (| f (x)|/M)d 1 .
X
Demonstre que:
Os espaos L (X) so chamados de espaos de Orlicz. Notemos que L p (X) = L (X) se (t) = t p , 1 p < .
Sugesto: talvez seja importante notar que se f L (X), ento
Z
lim (| f (x)|/N)d = 0.
N X
Alm disso, existem A > 0 e > 0 tais que (t) At, para todo t .
Exerccio 52 Seja C1 ([0, 1]) o conjunto das funes reais contiuamente diferenciveis em [0, 1] (veja o Exerccio
8). Note que C1 ([0, 1]) L2 (0, 1). Assim, podemos restringir a norma de L2 (0, 1) a C1 ([0, 1]). Verifique o operador
D : C1 ([0, 1]) L2 (0, 1) definido por
(D f )(t) = f 0 (t)
no limitado quando a norma do primeiro espao k kL2 .
Sugesto: considere fn (t) = sen(nt).
2.3. EXERCCIOS 25
Exerccio 53 Seja X = C([0, 1]) ou X = L1 ([0, 1]). Para cada f X, definimos T : X X por
Z t
T ( f )(t) = f (s)ds.
0
Os Teoremas de HahnBanach e
aplicaes
Quarta aula
Neste captulo estudaremos os funcionais lineares e os Teoremas de HahnBanach tanto de uma maneira
analtica quanto suas formas geomtricas.
O lema a seguir o ponto chave em um processo indutivo que faremos para a demonstrao da primeira
verso do Teorema de HahnBanach.
Lema 3.1.1 Seja X um espao vetorial sobre R e F X um subespao com F 6= X. Seja p um funcional sublinear
em X e f : X R um funcional linear tal que
f (x) p(x), para todo x F. (3.1)
Dado qualquer x0 X \ F, definamos
F := [{F, x0 }] = F + Rx0 = {x + x0 | x F, R}.
Ento, existe um funcional linear f : F R tal que
fF = f e p(x) f(x) p(x),
(3.2)
para todo x F.
27
28 CAPTULO 3. HAHNBANACH
Demonstrao. Observemos inicialmente que basta encontrarmos f com f(x) p(x) pois
Passo 1: suponhamos que um funcional f como no enunciado do lema exista e verifiquemos como ele poderia ser
caracterizado. Para isso, seja y = y + x0 F. Ento, usando a linearidade:
Sendo assim, um tal funcional f, quando existir, est completamente caracterizado pelo nmero real .
Passo 2: Reciprocamente, a escolha de R satisfazendo (3.3) determina um funcional linear bem definido. De
fato, observe que se tivermos
y = y + x0 = y0 + 0 x0 ,
ento
y y0 = ( 0 )x0 ;
como y y0 F e x0 6 F, devemos ter 0 = 0. Assim, 0 = e y = y0 . Conclumos que a representao de y na
forma y + x0 nica e, portanto, a escolha de = f (x0 ) determina um nico funcional linear usando a frmula
(3.3).
Passo 3: nos resta verificar que podemos escolher R de maneira que (3.2) seja satisfeita. Isto o mesmo que
perguntar se a expresso
f (y) + = f(y + x0 ) p(y + x0 ) (3.4)
vlida para quaisquer y F e R. Ora, se = 0 ento (3.4) vlida por (3.1). Caso contrrio, tomamos
x = y/ e (3.4) se torna
f (x) p (x x0 ) .
Usando as propriedades do funcional sublinear p devemos ter, para todo x F :
Equivalentemente,
p(x0 x) f (x) p(x x0 ), para todo x F,
ou ainda,
f (x) p(x x0 ) f (x) + p(x0 x), para todo x F. (3.5)
Assim, uma escolha de R satisfazendo (3.5) nos d, via (3.3), um funcional linear f com a propriedade
desejada.
Passo 4: existe satisfazendo (3.5)? Para responder a esta questo tomemos
Se a b, ento poder ser escolhido como qualquer elemento em [a, b]. Observe que, para quaisquer x, y F,
Assim,
f (x) p(x x0 ) f (y) + p(x0 y).
Fixando y F e usando que x F qualquer obtemos
Gostaramos agora de estender sucessivamente f , uma dimenso de cada vez, ao espao X preservando a
propriedade (3.1). Se X \ F fosse de dimenso finita, ento poderamos proceder como no Lema 3.1.1. Se por outro
lado o espao X \ F tivesse uma base enumervel, poderamos usar induo finita e chegar no mesmo resultado.
Entretanto, existem espaos vetoriais normados que possuem base possivelmente no enumervel. Assim, para
demonstrarmos o resultado de uma maneira geral necessitamos de tcnicas de induo transfinita.
Uma ordem parcial em um conjunto C 6= 0/ uma relao R em C com as seguintes propriedades:
Uma ordem linear ou total uma ordem parcial R em C que satisfaz tambm o seguinte:
Um exemplo tpico o caso em que A qualquer conjunto e consideramos E = P(A), que o conjunto
das partes de A. Temos que P(A) parcialmente ordenado pela incluso de conjuntos. Um outro caso simples
quando E = R e a relao dada por . Note que R com a relao linearmente ordenado.
Sendo este ltimo caso o mais conhecido, adotamos como notao para uma relao de ordem geral R e
escrevemos x < y para indicar que x y e x 6= y.
Se E parcialmente ordenado por , um elemento maximal (resp. minimal) de E um elemento x E tal
que o nico y E satisfazendo x y (resp. y x) o prprio x. Observe que elementos maximais ou minimais
podem no existir ou, quando existirem, no serem nicos, a menos que a ordem seja total.
Se F E, um limite superior (resp. inferior) para F um elemento x E tal que y x (resp. x y) para
todo y F. Um limite superior ou inferior para F no precisa pertencer a F e, a menos que F seja totalmente
ordenado, um elemento maximal de F no precisa ser um limite superior para F.
Se E linearmente ordenado por e todo subconjunto no vazio de E possui um elemento minimal (no
necessariamente nico), dizemos que E est bem ordenado por ou que uma boa ordem em E.
A seguir apresentamos um princpio fundamental da teoria dos conjuntos.
Princpio maximal de Hausdorff. Todo conjunto parcialmente ordenado possui um subconjunto linearmente
ordenado maximal.
Assim, se E parcialmente ordenado por , existe F E que linearmente ordenado por e que nenhum
subconjunto de E que est contido propriamente em F linearmente ordenado. A verso deste princpio que
utilizaremos ser enunciada a seguir.
Lema 3.1.2 (de Zorn) Se E um conjunto parcialmente ordenado e todo subconjunto de E linearmente ordenado
possui um limite superior, ento E possui um elemento maximal.
Um estudo mais detalhado do Lema de Zorn e do Princpio Maximal de Hausdorff pode ser encontrado
em [5]. Estes dois resultados so, na verdade, equivalentes entre si e ao Axioma da Escolha. Um argumento
simplificado para se demonstrar esta ltima equivalncia pode ser encontrado em [7].
Nosso intuito demonstrar o teorema abaixo utilizando o Lema de Zorn.
30 CAPTULO 3. HAHNBANACH
Teorema 3.1.3 (HahnBanach na forma analtica; Helly) Seja X um espao vetorial sobre R, F X um subes-
pao e p : X R um funcional sublinear. Suponhamos que f : F R seja um funcional linear tal que
fF = f ,
e que satisfaz
p(x) f(x) p(x) para todo x X.
Demonstrao.
Seja S o conjunto de todos os funcionais lineares g : D(g) R, com D(g) X, satisfazendo
gF = f e g(x) p(x) para todo x D(g). Note que S 6= 0,
/ pois f S. Vamos definir uma ordem parcial em S.
Diremos que g h para g, h S se D(g) D(h) e se g(x) = h(x) sempre que x D(g). Seja C S linearmente
ordenado e definamos
D = gC D(g).
Ento, como C linearmente ordenado, D um subespao vetorial de X. Definamos ainda gC : D R por
Novamente o fato de C ser linearmente ordenado implica que gC est bem definido. Alm disso, gC linear.
Consequentemente, gC S e um limite superior para C. Aplicando o Lema de Zorn (Lema 3.1.2) podemos
concluir que S possui um elemento maximal, o qual denotamos por f. Note que f uma extenso linear de f que
satisfaz f(x) p(x) para todo x D( f). Falta verificarmos que D( f) = E.
Suponhamos que x E \ D( f). Ento, pelo Lema 3.1.1, podemos extender f ao espao F = D( f) + Rx. Mas
isso contradiz a maximalidade de f e finaliza a demonstrao.
Quinta aula
O Teorema de HahnBanach tambm possui uma verso para espaos vetoriais complexos.
Teorema 3.1.4 (HahnBanach na forma complexa) Suponhamos que X seja um espao vetorial sobre F = R ou
F = C, que F seja um subespao vetorial de X e que p seja uma semi norma em X. Se f : F F um funcional
linear tal que
| f (x)| p(x) para todo x F,
ento existe um funcional linear f : X F com
fF = f
e ainda
| f(x)| p(x) para todo x X.
Demonstrao. Para f como na hiptese escrevemos f (x) = g(x) + ih(x), x F, isto , escrevemos f em termos
de suas partes real e imaginria. Para quaisquer x, y F,
e para todo R,
g( x) + ih( x) = f ( x) = f (x) = g(x) + i h(x).
Igualando a parte real e imaginria obtemos que g e h so lineares sobre R. Alm disso,
Segue que
g(ix) = h(x),
3.1. FORMA ANALTICA 31
o que nos d
f (x) = g(x) ig(ix), para todo x F. (3.6)
Como g a parte real de f obtemos que, para todo x F,
Assim, estamos nas hipteses do Teorema 3.1.3 quando consideramos X como um espao sobre R. Segue que
existe uma extenso g de g tal que g Rlinear em X e satisfaz
Por outro lado, para cada x X, podemos escrever f(x) = rei para algum r 0 e algum ngulo . Assim:
k f kX = sup | f (x)|.
xX,kxkX 1
Corolrio 3.1.5 (HahnBanach para espaos vetoriais normados) Seja X um espao normado sobre F e Y um
subespao de X. Seja ainda f Y um funcional linear contnuo. Ento existe f X tal que
fY = f e k fkX = k f kY .
e o resultado segue.
Demonstrao. Basta aplicarmos o Corolrio 3.1.5 com Y = [{x0 }] e f ( x0 ) = kx0 k2 e observar que, para
x = x0 Y,
| f (x)| = | f ( x0 )| = | kx0 k2X | = kx0 kX k x0 kX ,
o que implica que k f kY = kx0 k.
Por outro lado, pelo Corolrio 3.1.6 existe f0 X tal que f0 (x) = kxk2X . Seja f1 = f0 /kxkX , de maneira que
k f1 k = 1 e f1 (x) = kxkX . Isto implica que
e conclui a demonstrao.
Demonstrao. Sejam x, x2 X com x1 x2 6= 0. Ento, pelo Corolrio 3.1.8 existe f X tal que
f (x1 x2 ) 6= 0.
Corolrio 3.1.10 Seja X um espao normado e x0 X tal que f (x0 ) = 0 para todo f X . Ento x0 = 0.
Demonstrao. Se x0 6= 0, ento pelo Corolrio 3.1.9 deveria existir f X com f (x0 ) 6= f (0) = 0.
x( f ) := f (x).
Demonstrao. Inicialmente vemos que x de fato um funcional linear. Alm disso, para qualquer f X ,
Segue que x limitado. Alm disso, esta desigualdade tambm implica que kxkX kxkX . Por outro lado, pelo
Corolrio 3.1.8, existe f X , k f kX = 1, tal que
Como X um espao de Banach, temos que o fecho X ser tambm Banach, pois fechado em X . Alm disso,
J uma imerso isomtrica de X em X como um subespao denso. O espao X chamado de completamento de
X. Em particular, se X j Banach, temos que X = X.
Dizemos que o espao de Banach X reflexivo se X = X , isto , se a aplicao cannica J sobrejetora.
Usualmente, se identifica x e x e, por abuso de linguagem, se considera X como subespao de X .
Qualquer espao vetorial de dimenso finita reflexivo. Uma demonstrao simples deste fato poder ser
obtida quando definirmos espaos uniformente convexos.
Um exemplo mais interessante o dos espaos L p , 1 < p < . Voltaremos a falar deste exemplo mais frente,
tambm aps definirmos espaos uniformemente convexos. Por agora vamos deixar observado um fato importante.
comum usar o seguinte argumento para dizer que L p reflexivo: o Exerccio 48 nos fornece um roteiro para
demonstrar que (L p ) = Lq , com 1/p + 1/q = 1; sendo assim, (L p ) = (Lq ) = L p . Mas este argumento s
demonstra que existe algum isomorfismo entre (L p ) e L p , e no que a imerso cannica J sobrejetora. Existem
espaos X para os quais existe uma isometria entre X e X sem que J seja sobrejetora.
H = {x X | f (x) = },
est inteiramente contido em Br (x0 ). Consideremos ento a funo : [0, 1] R definida por
(t) = f ((1 t)x0 + tx1 ).
Observemos que contnua, pois
(t) = (1 t) f (x0 ) + t f (x1 ) = f (x0 ) + t( f (x1 ) f (x0 )),
e ainda
(0) = f (x0 ) < e (1) = f (x1 ) > .
Segue do Teorema do Valor Intermedirio que existe t1 [0, 1] tal que
(t1 ) = = f (xt1 ),
o que absurdo pois xt1 Br (x0 ).
Tendo demonstrado a Afirmao 2, a reescrevemos como
f (x0 + rz) < , para todo z B1 (0).
Concluimos ento que f limitado e finalizamos a demonstrao quando f (x0 ) < . O caso em que f (x0 ) >
anlogo.
Sexta aula
0 p(x) MkxkX ,
Observao 3.3.3 O funcional p definido no Lema 3.3.2 chamado de funo calibre de Minkowski associada
ao convexo C.
Demonstrao do Lema 3.3.2. Notemos inicialmente que, como estamos supondo que 0 C, para cada x X
existe > 0 tal que 1 x C. Consequentemente, p est bem definido.
Verifiquemos que p caracteriza C. Se x C, ento x/(1 ) C para algum > 0, j que C aberto. Isso
implica que p(x) < 1. Reciprocamente, se p(x) < 1, ento x = (1 )x0 para algum > 0 e algum x0 C. Mas
ento x = (1 )x0 + 0, e x C por convexidade.
Para verificarmos a sublinearidade, notemos que (x1 + x2 )/(1 + 2 ) pertence a C se x1 /1 e x2 /2 per-
tencem ambos a C. De fato, basta usarmos a definio de convexidade com t = 2 /(1 + 2 ) e 1 t = 1 /(1 +
2 ).
Por ltimo, seja Br (0) C. Ento, se x X e x 6= 0, temos que
rx
Br (0) C.
2kxkX
p(x) MkxkX ,
para todo x X.
Lema 3.3.4 Seja C X um convexo, aberto, no vazio e x0 6 C. Ento existe f X tal que f (x) < f (x0 ) para
todo x C. Em particular, o hiperplano de equao [ f = f (x0 )] separa {x0 } e C.
g(tx0 ) = t,t R.
e se t 0,
p(x) = p(t(x0 )) = t p(x0 ) 0 t = g(tx0 ) = g(x).
Conclumos que
g(x) p(x), para todo x G.
Utilizando o Teorema 3.1.3 com g e p garantimos a existncia de um funcional linear f em X que uma extenso
de g e que ainda satisfaz
f (x) p(x), para todo x X.
36 CAPTULO 3. HAHNBANACH
Segue que
| f (x)| p(x) MkxkX ,
isto , f contnuo. Alm disso, para todo x C,
Teorema 3.3.5 (HahnBanach, primeira forma geomtrica) Sejam A, B X dois conjuntos convexos, no vazios
e disjuntos. Suponhamos que A seja aberto. Ento existe um hiperplano fechado que separa A e B no sentido fraco.
Em particular,
f (x) < f (y),
para todo x A e todo y B. Segue que
sup f (x) inf f (y).
xA yB
Se impormos mais condies nos convexos A e B obtemos que estes conjuntos podem ser separados no
sentido estrito. Este o contedo da segunda forma geomtrica do Teorema de HahnBanach.
Teorema 3.3.6 (HahnBanach, segunda forma geomtrica) Sejam A, B X dois convexos no vazios tais que
A B = 0.
/ Suponhamos que A seja fechado e que B seja compacto. Ento existe um hiperplano fechado que separa
A e B no sentido estrito.
Com isso,
kan bn kE kan zn kE + kbn zn kE = kxn kE + kyn kE < 2n .
Sendo B compacto, existe uma subsequncia (bn j ) de (bn ) com bn j b B. Mas dessa forma,
kan j bn j kE < 2n j ,
o que implica que an j y. Como A fechado, y A. Assim A B 6= 0/ e temos um absurdo. Isso demonstra a
afirmao.
Pelo Teorema 3.3.5, existe um hiperplano fechado de equao [ f = ] que separa A e B no sentido fraco,
isto ,
f (x + z1 ) f (y + z2 ),
sempre que x A, y B, e para quaisquer z1 , z2 B1 (0). Por linearidade podemos escrever
Segue que
Corolrio 3.3.7 Seja F X um subespao vetorial tal que F 6= X. Ento existe f X , f 6= 0, de forma que
f (x) = 0 para todo x F.
Em particular,
f (x) < < f (x0 ), pata todo x F.
Mas da f um funcional linear limitado no espao vetorial F, e portanto f (x) = 0 para todo x F. Consequente-
mente:
0 < < f (x0 ).
Isto finaliza a demonstrao.
3.4 Ortogonalidade
Vamos introduzir nesta seo o conceito de ortogonalidade e utilizar os teoremas de HahnBanach para verificar
as primeiras propriedades relativas a este conceito.
Dado um espao vetorial normado X e um subespao M X, definimos o conjunto
Se N X um subespao, definimos
(M ) = M e N (N ) .
Demonstrao. Se x M, segue que f (x) = 0 para todo f M . Mas isso o mesmo que dizer que x (M ) .
Assim, M (M ) e, como (M ) fechado, M (M ) . A incluso inversa demonstrada por contradio.
Suponhamos que exista x0 (M ) \ M. Podemos ento separar {x0 } e M por um hiperplano de equao [ f = ]
no sentido estrito. Em particular,
f (x) < < f (x0 ), para todo x M. (3.8)
A primeira desigualdade implica que f aplica o espao vetorial M em um subconjunto limitado, o que nos d
f M = 0. Em outras palavras, f M . Como x0 (M ) , devemos ter f (x0 ) = 0. Estes ltimos fatos nos do
uma contradio com (3.8).
Finalmente, se f N, segue que f (x) = 0 para todo x N . Dito de outra forma, f (N ) e, como
anteriormente, N (N ) .
3.5 Exerccios
Exerccio 54 Demonstre que o Princpio Maximal de Hausdorff e o Lema de Zorn so equivalentes.
Exerccio 55 Demonstre que todo conjunto no vazio C pode ser bem ordenado.
Em particular, demonstre que existe um conjunto Y A X tal que Y X 6= 0/ contm precisamente um ele-
mento para cada A.
Exerccio 57 Demonstre, utilizando o Lema de Zorn, que todo espao vetorial normado de dimenso infinita
possui uma base de Hamel {ei }iI com kei k = 1 para todo i I.
Exerccio 58 Seja X um espao vetorial normado de dimenso infinita. Construa um funcional linear f : X R
que no seja contnuo.
Exerccio 59 Seja X um espao vetorial e Y X um subespao. Demonstre que todo funcional linear f : Y F
possui uma extenso linear f : X F.
Observao: no precisa utilizar HahnBanach.
Exerccio 60 Demonstre que um funcional linear f X fica completamente determinado por seus valores em um
subconjunto D denso em X.
Exerccio 61 (Princpio de extenso) Demonstre que um funcional linear limitado em um espao vetorial nor-
mado X pode ser estendido a um funcional linear limitado em X. Esta extenso nica e a norma preservada
na extenso.
= inf kx ykX ,
yM
Exerccio 64 Demonstre que um funcional f em um espao normado limitado se, e somente se, f 1 ({0})
fechado.
Observao: tente demonstrar este resultado utilizando o Exerccio 18, letra b, que seria uma alternativa
demonstrao feita na Proposio 3.3.1.
Exerccio 67 Seja X um espao normado e M X um subespao de dimenso finita. Ento, existe um subespao
fechado N X tal que
M N = {0} e M + N = X.
se x, y P, ento x + y P;
se x P e 0, ento x P;
se x P e x P, ento x = 0.
a Demonstre que a relao definida por x y se, e somente se, y x P uma ordem parcial em X.
b Teorema da extenso de Krein Suponha que M X seja um subespao tal que, para cada x X, existe
y M com x y. Se f um funcional linear em M tal que f (x) 0 para x M P, existe um funcional
linear f X tal que
f(x) 0 para todo x P e fM = f .
Exerccio 69 Seja E um espao vetorial sobre C e B X. Dizemos que B balanceado se para todo x B, o disco
fechado { x | | | 1} est contido em B. Demonstre que um conjunto C uma bola unitria fechada para alguma
semi norma em E se, e somente se, C convexo, balanceado e, para todo x E, o conjunto { C | x C}
fechado e contm uma vizinhana de zero em C.
Sugesto: nestas condies, o funcional de Minkowski de C uma semi norma.
40 CAPTULO 3. HAHNBANACH
Exerccio 70 Demonstre que uma topologia em um espao vetorial E gerada por uma semi norma se, e somente
se, existe um conjunto U E satisfazendo as seguintes condies:
U convexo, balanceado e todo supespao unidimensional de E possui pelo menos um vetor no nulo de U;
uma famlia de conjuntos Uxt = {x + ty | y U}, onde x E e t > 0, uma base desta topologia.
Exerccio 71 Um espao vetorial normado E separvel se, e somente se, existe um subespao vetorial E0 E
que possui base enumervel e que denso em E. Demonstre o Teorema de HahnBanach para um espao separvel
E sem utilizar o Lema de Zorn.
k(x, y)k1 := |x| + |y|, k(x, y)k := sup{|x|, |y|}, k(x, y)k p := (|x| p + |y| p )1/p ,
a) Se a norma for k k1 e se E0 for um dos eixos coordenados, ento f0 possui vrias extenses que preservam
norma.
c) Se a norma for k k p e se E0 for um subespao arbitrrio, ento a extenso de f0 que preserva norma
nica.
Exerccio 73 Seja E o espao vetorial das funes (ou classe de funes) em [0, 1] que so Lebesgue mensurveis.
Considere em E a mtrica Z 1
|x(t) y(t)|
d(x, y) := dt.
0 1 + |x(t) y(t)|
Observe que a convergncia com relao a esta mtrica a convergncia em medida. Demonstre que no existe
funcional linear no nulo e contnuo em E com relao a esta mtrica.
Exerccio 76 Seja
M = { f L2 ([0, 1]) | f ([0, 1]) [0, 1] quase sempre}.
Demonstre que M um convexo fechado de L2 ([0, 1]).
Exerccio 77 Sejam E um espao vetorial normado, H E um hiperplano e V E um subespao afim que contm
H. Demonstre que ou V = H ou V = E. Conclua que H ou fechado ou denso em E.
b) Dado x C e y IntC, demonstre que tx + (1 t)y IntC, sempre que t (0, 1).
Exerccio 79 Seja E um espao vetorial normado com norma k kE . Demonstre que se C E for aberto, convexo
e simtrico (C = C) e se p for a funo calibre de C, ento p uma norma equivalente k kE .
3.5. EXERCCIOS 41
Exerccio 81 Sejam X um espao normado e I qualquer conjunto de ndices. Considere dois conjuntos: (xi )iI
X e (i )iI R. Demonstre que as seguintes afirmaes so equivalentes:
Exerccio 82 Sejam X um espao normado e M > 0 uma constante. Fixe n elementos f1 , . . . , fn X e n nmeros
reais 1 , . . . , n . Demonstre que as seguintes afirmaes so equivalentes:
kx k M + e fi (x ) = i , i = 1, . . . , n.
Exerccio 84 Para todo espao normado E existe uma isometria de E em B(l2 (A)), para algum conjunto A, onde
l2 (A) = L2 (A, ), como sendo a medida da contagem.
Sugesto: para cada conjunto A, associe a cada x A o operador Tx : l2 (A) l2 (A) por Tx (y)(t) = x(t)y(t);
verifique que kTx k = kxk ; utilize o Exerccio 83.
Stima aula
Neste captulo apresentamos o importante Teorema da Categoria de Baire e ento deduzimos os importantes
resultados: Teoremas da Aplicao Aberta e do Grfico Fechado e o Princpio da Limitao Uniforme, conhecido
tambm como Teorema de BanachSteinhaus.
Teorema 4.1.1 (O Teorema da Categoria de Baire) Todo espao mtrico completo M de segunda categoria em
si mesmo, isto , M no pode ser escrito como unio enumervel de conjuntos nunca densos.
Demonstrao. O argumento que apresentaremos por contradio. Para tanto, suponhamos que M a unio
43
44 CAPTULO 4. CATEGORIA DE BAIRE E APLICAES
Trocando cada Fn pelo seu fecho, podemos assumir que cada Fn fechado. Ser ento suficiente encontrar x M
com x 6 Fn .
Sendo F1 fechado e nunca denso, temos que F1 6= M. Segue que existe uma bola aberta Br1 com Br1 F1c .
Como F2 fechado e nunca denso, a bola Br1 no pode estar contida inteiramente em F2 , caso contrrio
F2 teria interior no vazio. Sendo ainda F2 fechado, podemos escolher uma bola Br2 de maneira que Br2 Br1 e
tambm Br2 F2c . Escolhemos ainda r2 < r1 /2.
Continuando desta maneira, obtemos uma sequncia de bolas (Brn ) tais que
Para cada n N escolhemos qualquer ponto xn Brn e formamos a sequncia (xn ), a qual de Cauchy pelas
propriedades listadas. Como M completo, existe x M com xn x quando n . Observe que x Brn para
todo n e, consequentemente, para cada n, x 6 Fn . Isto nos d a contradio e demonstra o Teorema da Categoria de
Baire.
Demonstrao. Suponha que E M seja um subconjunto genrico que no denso no espao mtrico M. Ento,
existe uma bola fechada B que no intercepta E. Como E genrico, podemos escrever
[
Ec = Fn ,
n=1
Mas observemos que Fn B nunca denso. Assim, aplicando o Teorema 4.1.1 ao espao mtrico completo B
chegamos a uma contradio.
Teorema 4.2.1 (Princpio da Limitao Uniforme, HellySaks) Sejam X e Y dois espaos vetoriais normados
e A B(X,Y ).
a) Se
sup kT xk <
T A
sup kT k < .
T A
4.2. PRINCPIO DA LIMITAO UNIFORME 45
b) Se X for Banach e
sup kT xk <
T A
para todo x X, ento
sup kT k < .
T A
An := {x X | kT xk n para todo T A }
e seja N X o conjunto no magro da hiptese. Segue que cada x N pertence a algum An , de maneira que
N = nN An . Como N no magro, temos que ao menos um An tal que An possui interior no vazio, isto ,
contm uma bola no trivial Br (x0 ). Observemos que An = An para cada n. De fato, suponha que (x j ) An e que
x j x; como kT x j k n para todo T A e cada T A contnuo, temos T x j T x e kT xk n.
Com as implicaes do pargrafo anterior vemos que, na verdade, An contm uma bola Br (x0 ), para algum
n. Segue que, se x X e kxk r, ento
kT xk = kT (x + x0 ) T x0 k kT (x + x0 )k + kT xk 2n,
Uma outra maneira de enunciar o Princpio da Limitao Uniforme pode ser da seguinte maneira: ou
supT A kT k < ou supT A kT xk = para algum x.
A primeira demonstrao do Teorema 4.2.1 foi dada por Helly para o espao C([a, b]). Mais tarde, Saks
utilizou o Teorema da Categoria de Baire. Banach e Steinhaus utilizaram tcnicas diferentes na demonstrao
original.
Apresentamos a seguir um parente prximo do Princpio da Limitao Uniforme
Teorema 4.2.2 (BanachSteinhaus) Suponhamos que (Tn ) seja uma sequncia de operadores limitados de X em
Y, ambos espaos de Banach. Suponhamos que, para todo x X, lim Tn x existe. Ento, se definirmos T x = lim Tn x
temos que T : X Y linear e limitado.
Demonstrao. Deixaremos os detalhes de que T linear como exerccio. Como (Tn x) converge em X para cada
x e sequncias convergentes so limitadas (em espaos mtricos), temos que supn kTn xk < para cada x X. Pelo
Princpio da Limitao Uniforme, Teorema 4.2.1, temos que supn kTn k := M < . Segue que
ou seja, T limitado.
Exemplo 4.2.3 O Teorema 4.2.2 no diz que Tn T pontualmente implica que kTn k kT k. De fato, seja
Tn : l p R dado por
Tn (x) = xn , x = (x1 , x2 , . . . , x j , . . .).
Para cada x l p temos que Tn (x) = xn 0 quando n . Assim, T 0 o operador limite de (Tn ). Entretanto
kTn k = 1.
46 CAPTULO 4. CATEGORIA DE BAIRE E APLICAES
Exemplo 4.2.4 O Teorema 4.2.2 e o Princpio da Limitao Uniforme podem no valer se o domnio dos opera-
dores no for completo. De fato, seja Tn : c00 l dado por
Para cada x c00 temos que Tn (x) 0 quando n . Assim, T 0 o operador limite de (Tn ). Entretanto
kTn k .
Demonstrao. Considere a aplicao cannica J : X X que aplica x em x. Assim, J(A) uma coleo de
funcionais lineares limitados em X . Definamos
A = {J(x) = x | x A}.
Observemos que
sup |x( f )| = sup | f (x)| <
xA xA
Vamos dar um exemplo simples para ilustrar uma aplicao do Teorema 4.2.2.
Exemplo 4.2.6 Seja (an ) uma sequncia de nmeros reais tal que a srie
an bn
n=1
Em particular,
sup |Tk (bn )| < ,
k
para cada (bn ) c0 . Pelo Teorema 4.2.2, supk kTk k < , ou seja,
|a j | < .
j=1
Oitava aula
onde
1
Z
ak = f(k) = f (t)eikt dt.
2
conhecido que a srie de Fourier de f converge para f na norma de L2 (T). Assim, a menos de uma subsequncia,
a convergncia pontual em quase todo ponto de T. Isto na verdade vlido para toda f L2 (T), no somente
aquelas contnuas. De fato, Carleson demonstrou o que era conhecido como conjectura de Lusin, que afirmava que
a srie de Fourier de qualquer funo em L2 (T) (portanto de uma funo contnua) converge pontualmente para f
em quase todo ponto.
Definamos a soma parcial simtrica associada srie de Fourier de f por
N
sN ( f ,t) := f(k)eikt .
k=N
Utilizaremos o Princpio da Limitao Uniforme para demonstrar que existe f C(T) tal que sN ( f , 0) no converge
para f (0). Comeamos com uma caracterizao da soma parcial que ser til. Escrevemos:
N 1 Z
sN ( f ,t) = f (x)eikx dx eikt
k=N 2
N
1
Z
= f (x) eik(tx) dx
2 k=N
1
Z
= f (x)DN (t x)dx,
2
48 CAPTULO 4. CATEGORIA DE BAIRE E APLICAES
onde
N
DN (s) := eiks
k=N
chamado de Ncleo de Dirichlet. Afirmamos agora que
sen(N + 1/2)s
DN (s) =
sen s/2
quando s 6= 0 e DN (0) = 2N + 1. No caso s = 0 este fato claro. Caso contrrio, temos que
N 2N
1 ei(2N+1)s
eiks = eiNs eiks = eiNs .
k=N k=0 1 eis
Lembremos agora que C(T) com a norma do sup Banach. Definamos o funcional N : C(T) C por
1
Z
N ( f ) = sN ( f , 0) = f (x)DN (x)dx.
2
Observemos que cada N linear e
1
Z
|N ( f )| | f (x)||DN (x)|dx k f k kDN kL1 .
2
Isto implica que kN k kDN kL1 . Afirmamos que, na verdade, kN k = kDN kL1 . Para verificar este fato fixamos N e
definamos g(x) = sgn(DN (x)). Ento, existe uma sequncia de funes contnuas ( f j ) C(T) com 1 f j (x) 1
com f j g pontualmente em T = [, ]. Pelo Teorema da Convergncia Dominada,
1 1 1
Z Z Z
lim f j (x)DN (x)dx = g(x)DN (x)dx = |DN (x)|dx = kDN kL1 .
j 2 2 2
Como k f j k 1, isto nos mostra que kN k kDN kL1 .
Finalmente estamos em posio de aplicar o Princpio da Limitao Uniforme. Por este teorema, ou kN k
M para alguma constante M > 0 e para todo N, ou existe f C(T) tal que supN |N ( f )| = . Como kN k =
kDN kL1 , obtemos ento que existe f C(T) tal que
sup |N f | = sup |sN ( f , 0)| =
N N
e a srie de Fourier de f diverge em 0.
4.3. TEOREMAS DA APLICAO ABERTA E DO GRFICO FECHADO 49
Teorema 4.3.1 (Teorema da Aplicao Aberta) Sejam X e Y espaos de Banach e T B(X,Y ). Se T sobre-
jetiva, ento T aberta.
Antes de discutirmos a demonstrao do Teorema da Aplicao Aberta, vamos apresentar uma importante
consequncia deste resultado.
Corolrio 4.3.2 (Teorema de Aplicao Inversa) Sejam X e Y espaos de Banach e T B(X,Y ) bijetiva. Ento
a aplicao T 1 linear e limitada, isto , T 1 B(Y, X). Em particular, existem constantes c,C > 0 tais que
ckxkX kT xkY CkxkX .
Demonstrao. Que T 1 linear um simples fato algbrico. A demonstrao de que T 1 linear segue da
discusso que precedeu o Teorema 4.3.1.
Corolrio 4.3.3 Seja V um espao vetorial equipado com duas normas k k1 e k k2 . Se existe uma constante
C > 0 tal que
kvk1 Ckvk2
para todo v V e se V for completo com relao s duas normas, ento estas normas so equivalentes.
Demonstrao. Com essas hipteses temos que a aplicao identidade I : (V, k k2 ) (V, k k1 ) contnua e,
como I claramente bijetiva, sua inversa I : (V, k k1 ) (V, k k2 ) tambm contnua. Consequentemente, existe
c > 0 tal que
ckvk2 kvk1 ,
para todo v V.
Agora nos concentraremos na demonstrao do Teorema de Aplicao Aberta, a qual seguir do teorema a
seguir.
Teorema 4.3.4 Sejam X e Y dois espaos de Banach e denotemos por BX e BY as bolas de centro zero e raio um
em X e Y respectivamente. Suponhamos que A B(X,Y ) seja sobrejetiva. Ento, existe uma constante > 0 tal
que
BY A(BX ),
ou seja, dado y Y com kykY < , existe x X, com kxkX < 1 e Ax = y.
Antes de demonstrarmos o Teorema 4.3.4, vamos mostrar como ele pode ser utilizado para se demonstrar o
Teorema da Aplicao Aberta.
Demonstrao do Teorema 4.3.1. Seja G um subconjunto aberto de X e x0 G. Precisamos demonstrar que T (G)
contm uma bola aberta em torno de T x0 . Para isso, consideremos G0 = G x0 . Ento G0 um aberto que contm
0. Podemos ento encontrar t > 0 tal que tBX G0 . Pelo Teorema 4.3.4, temos que
T (G0 ) T (tBX ) = tT (BX ) t BY ,
50 CAPTULO 4. CATEGORIA DE BAIRE E APLICAES
T (G) = T (G0 ) + T x0 t BY + T x0 ,
ou seja, a bola de raio t centrada em T x0 est inteiramente contida em T (G), o que finaliza a demonstrao.
Nona aula
Para demonstrar o Teorema 4.3.4 daremos primeiramente um lema que uma verso aproxiamada do teo-
rema. Ele nos diz que, dado y Y, podemos nos aproximar de y to prximo quanto queiramos por um vetor da
forma Ax para algum x X, com norma controlada pela norma de y.
Lema 4.3.5 Suponhamos que X e Y sejam espaos de Banach e seja A B(X,Y ) sobrejetiva. Existe um nmero
positivo d > 0 com a seguinte propriedade: dado > 0 e z Y, existe x X tal que
Demonstrao. Por sobrejetividade, dado y Y existe x X tal que Ax = y. Isto significa que podemos escrever
[
Y= A(kBX ).
k=1
Como Y completo, o Teorema da Categoria de Baire nos diz que, para algum k N, A(kBX ) possui interior no
vazio. Digamos que
A(kBX ) Br (y0 )
para algum r > 0 e algum y0 Y. Se kykY < r, ento y + y0 Br (y0 ) e, consequentemente, em A(kBX ). Assim,
0 00
para qualquer y Y com kykY < r, podemos encontrar sequncias (xn ) e (xn ) em kBX tais que
0 00
Axn y0 e Axn y0 + y.
00 0
Consideremos xn = xn xn e notemos que Axn y e kxn k < 2k.
A concluso seguir ao explorarmos a linearidade. Seja z 6= 0 com z Y arbitrrio. Como (r/2)z/kzkY possui
norma menor que r, obtemos pela primeira parte que existe (xn ) X tal que
r z
kxn kX < 2k e Axn .
2 kzkY
Por linearidade,
A (2/r)kzkY xn z,
onde a norma de (2/r)kzkY xn menor que (4k/r)kzkY . Esta a concluso desejada com d = r/(4k).
Demonstraremos agora o Teorema 4.3.4 atravs de um processso iterativo utilizando o Lema 4.3.5.
Na notao do Lema 4.3.5, vamos nos referir a z como o alvo e a > 0 como sendo a tolerncia.
Demonstrao do Teorema 4.3.4. Sejam X, Y e A como nas hipteses do teorema e d > 0 como no Lema 4.3.5.
Fixemos y dBY . Aplicamos o Lema 4.3.5 com alvo y e tolerncia = d/2 para encontrar x1 X com norma
menor que d 1 kykY < 1 tal que ky Ax1 kY < d/2. Aplicamos novamente o Lema 4.3.5 agora com alvo y Ax1 e
tolerncia = d/4 para encontrar x2 X com
e
kx2 kX < d 1 ky Ax1 kY < 1/2.
4.3. TEOREMAS DA APLICAO ABERTA E DO GRFICO FECHADO 51
de maneira que x 3BX . Como ky Avn kY < d/2n , temos que Avn y quando n . Por continuidade de
A, vemos que Avn Ax = y. Lembrando que y dBY arbitrrio e que x 3BX , vemos que o que acabamos
de demonstrar que A(3BX ) dBY e, por linearidade, A(BX ) (d/3)BY . Isto implica no Teorema 4.3.4 com
= d/3.
Dados X e Y espaos normados e T : X Y uma aplicao linear, definimos o grfico de T como sendo o
subconjunto de X Y dado por
G(T ) := {(x, T x) X Y | x X}.
Dizemos que T uma aplicao fechada se G(T ) um subespao fechado.
Podemos definir uma norma em X Y por
k(x, y)k = kxkX + kykY ,
chamada de norma produto. possvel demonstrar que, quando X e Y so Banach, ento X Y equipado com esta
norma tambm ser Banach. Observemos ainda que G(T ) um subespao vetorial no necessariamente fechado
de X Y. O prximo resultado nos d uma nova maneira de verificar se uma aplicao linear entre espaos de
Banach limitada.
Demonstrao. Suponhamos que T seja um operador limitado e seja (xn , T xn ) uma sequncia em G(T ) com
(xn , T xn ) (x, y). Temos ento que kxn xkX 0 e kT xn ykY 0. Por continuidade, kT xn T xkY 0 e assim
T x = y.
Suponhamos agora que G(T ) seja fechado. Ento, G(T ) um espao de Banach para a norma produto.
Consideremos as projees PX : G(T ) X e PY : G(T ) Y definidas por
PX (x, T x) = x e PY (x, T x) = T x.
Tanto PX quanto PY so lineares e contnuas. Alm disso, PX bijetiva e, pelo Teorema da Aplicao Inversa, PX1
contnua. Mas notemos que
T = PY PX1 ,
e temos que T contnua, o que conclui a demonstrao.
Dada f L1 (T) podemos definir os coeficientes de Fourier de f da mesma forma que fizemos para funes
contnuas, isto , temos associada a f a srie
ak eikx ,
k=
onde
1
Z
ak = f(k) = f (t)eikt dt.
2
O Lema de RiemannLebesgue (veja [4], Corolrio 2.1) implica que, se f L1 ([, ]), ento
lim | f(k)| = 0.
|k|
Uma questo natural que surge a seguinte: dada uma sequncia de nmeros complexos (ak )kZ c0 , (que se
anulam no infinito), existe f L1 ([, ]) tal que f(k) = ak para todo k Z?
Definamos T : L1 ([, ]) c0 por
T ( f ) = ( f(k))kZ .
A questo acima ento equivalente pergunta: T sobrejetora?
Observemos que
kT f k = k( f(k))kZ k k f kL1 .
Alm disso, se T f = 0 ento f(k) = 0 para todo k Z, o que implica que f = 0 em L1 ([, ]) (veja o Teorema
3.1, Captulo 4 de [13]). Assim, T injetiva. Se T fosse sobrejetiva, o Teorema da Aplicao Inversa nos daria a
existncia de uma constante K > 0 tal que
Kk f kL1 kT f k , para qualquer f L1 ([, ]). (4.1)
Tomemos ento fn = DN , o nsimo ncleo de Dirichlet, que dado por
N
DN (x) = eikx ,
k=N
Como j sabemos, (C([0, 1]), k k ) um espao de Banach e, alm disso, fcil verificar que
k f kL1 k f k , para qualquer f C([0, 1]).
Se (C([0, 1]), k kL1 ) fosse um espao de Banach, utilizando o Corolrio 4.3.3, teramos que existiria uma
constante K > 0 tal que
k f k Kk f kL1 , para qualquer f C([0, 1]). (4.2)
Definamos para cada n N a funo
(
n (n2 /2)x se 0 x 2/n,
fn (x) =
0 se 2/n x 1.
Ento
k f n kL 1 = 1 e k f k = n.
Assim, a sequncia ( fn ) no satisfaz (4.2) para qualquer constante K > 0 e (C([0, 1]), k kL1 ) no Banach.
4.3. TEOREMAS DA APLICAO ABERTA E DO GRFICO FECHADO 53
Sejam Y = C([0, 1]) e X = C1 ([0, 1]), ambos equipados com a norma k k . Observemos que X no completo j
que um subespao prprio e denso de Y com a norma k k . De fato, a primeira afirmao s nos diz que existem
funes contnuas que no so de classe C1 e a segunda afirmao segue do Teorema de StoneWeierstrass1 .
Seja T : X Y o operador derivada, isto , T f = f 0 . Ento T est bem definido e linear.
Afirmao: T fechado mas no limitado.
De fato:
0
T no limitado pois se fn : [0, 1] R definida por fn (x) = xn , ento fn (x) = nxn1 , o que nos d k fn k = 1
0
mas kT fn k = k fn k = n;
0
T fechado, pois se ( fn ) C1 ([0, 1]) tal que fn f e T fn = fn g na norma do sup, ento o Teorema
Fundamental do Clculo implica que
Z t
0
fn (t) = fn (0) + fn (s)ds;
0
Conclumos que a hiptese de o domnio ser completo no Teorema do Grfico Fechado essencial para
obtermos a continuidade.
Dcima aula
Nos dedicaremos nesta seo demonstrao de que qualquer subconjunto de C([0, 1]) que contm somente
funes diferenciveis deve ser de dimenso finita. Iniciaremos com um resultado que ser til em outras situ-
aes.
Lema 4.3.7 (Lema de F. Riesz) Seja Eum espao vetorial normado e M E um subespao fechado tal que M 6=
E. Ento, dao > 0, existe x E tal que
kxk = 1 e dist(x, M) 1 .
Demonstrao. Seja y E \ M. Como M fechado, a distncia entre v e M estritamente positiva, digamos que
d = dist(v, M) > 0.
O Lema 4.3.7 possui vrias aplicaes interessantes. Dentre elas, utilizaremos o fato que um espao normado
onde conjuntos limitados e fechados so compactos deve ser de dimenso finita.
Proposio 4.3.8 (F. Riesz) Seja E um espao vetorial normado no qual a bola unitria fechada B = B1 (0)
compacta. Ento E possui dimenso finita.
Demonstrao. Suponhamos que E no seja de dimenso finita. Ento, seja x1 E com kx1 k = 1 e consideremos
E1 = [x1 ]. Pelo Lema 4.3.7 (com = 1/2), existe x2 E \ E1 com kx2 k = 1 e kx2 x1 k 1/2. Definamos E2 =
[x1 , x2 ] e seja x3 E \ E2 com kx3 k = 1 e com dist(x3 , E2 ) 1/2. Procedendo indutivamente, temos uma sequncia
(xn ) E com kxn k = 1 para todo n N e com kxn xm k 1/2 sempre que m 6= n. Esta uma sequncia em B
que no pode possuir uma subsequncia convergente, contradizendo o fato de B ser compacta.
A Proposio 4.3.8 juntamente com o Teorema da Aplicao Inversa implica no resultado a seguir.
Proposio 4.3.9 Todo subespao vetorial fechado de C([0, 1]) que contm somente funes continuamente difer-
enciveis deve ser de dimenso finita.
Demonstrao. Seja E um subespao fechado de C([0, 1]) formado somente por funes em C1 ([0, 1]). Ento E
tambm ser fechado na norma
k f k1, = k f k + k f 0 k .
0
De fato, se ( fn ) E uma sequncia de Cauchy com fn f e fn g, de maneira que, tomando o limite na
igualdade Z t
0
fn (t) = fn (0) + fn (s)ds
0
seguir que Z t
f (t) = f (0) + g(s)ds,
0
ou seja, f diferencivel e f 0 = g.
Como C1 ([0, 1]) Banach na norma k k1, temos que E equipado com esta norma tambm Banach.
Consideremos a identidade I : (E, k k1, ) (E, k k ). Claramente esta aplicao bijetiva e contnua. Pelo
Teorema da Aplicao Inversa temos que a inversa tambm contnua.
Por outro lado, seja B a bola fechada unitria em (E, k k1, ). Ento I(B) limitado e fechado em (E, k k ).
Alm disso, para cada f I(B),
Z t Zt
| f (t) f (s)| = f 0 ()d | f 0 ()|d |t s|,
s s
ou seja, I(B) equicontnuo. Segue do Teorema de Ascoli-Arzel que I(B) compacto em (E, k k ). Sendo a
inversa de I limitada, temos que B compacto em (E, k k1, ). Mas a bola unitria compacta somente em espaos
de dimenso finita pela Proposio 4.3.8.
Seja X um espao normado. Dizemos que uma sequncia (xi ) X uma base de Schauder de X se, para todo
x X, existe uma nica sequncia de escalares (ai ) F tal que
x = ai xi ,
i=1
onde a convergncia da srie na norma de X. A unicidade da sequncia de escalares (ai ) para cada x implica que
uma base de Schauder um subconjunto linearmente independente.
4.3. TEOREMAS DA APLICAO ABERTA E DO GRFICO FECHADO 55
Uma base de Schauder no deve ser confundida com uma base de Hamel. Enquanto uma base de Schauder
sempre enumervel, o Teorema da Categoria de Baire implica que, sempre que um espao de Banach for de
dimenso infinita, uma base de Hamel neste espao dever ser no enumervel.
Lembremos que um espao mtrico M separvel se existe um subconjunto de M que enumervel e denso.
Dizemos ainda que um subconjunto A de um espao normado X total em X se o espao gerado por A,
denotado por [A], denso em X.
Vamos apresentar dois resultados bsicos sobre espaos separveis e suas relaes com bases de Schauder.
Proposio 4.3.10 Todo espao normado X que possui uma base de Schauder separvel.
n
S= ri xi | ri Q, n N
i=1
Proposio 4.3.11 Um espao normado X separvel se, e somente se, existe um subconjunto enumervel total
e linearmente independente em X.
Demonstrao. Um argumento similar ao usado na demonstrao da Proposio nos mostra que se existe um
subconjunto enumervel (xi ) total em X, ento X separvel.
Suponhamos ento que X separvel e seja (xi ) um subconjunto enumervel e denso em X. Defina uma se-
quncia (yi ) atravs do seguinte processo indutivo: y1 o primeiro elemento no nulo de (xi ); escolhidos y1 , . . . , y j ,
escolha y j+1 como sendo o primeiro elemento no nulo de (xi ) i= j+1 de modo que {y1 , . . . , y j+1 } seja linearmente
independente (e este elemento no existir, a sequncia terina). Por construo, temos que (xi ) e (yi ) geram o
mesmo espao vetorial, mas esta ltima sequncia linearmente independente.
Observemos que cada xi linear e xi (xn ) = in . Dizemos que a sequncia (xi , xi ) biortogonal.
Definimos ainda a sequncia de aplicaes lineares (Pn ), onde Pn : X X dada por
n
Pn (x) = ai xi , onde x = ai xi .
i=1 i=1
xn = Pn Pn1 ,
Teorema 4.3.12 Se (xi ) for uma base de Schauder para o espao de Banach X, ento cada Pn contnua. Alm
disso,
K = sup kPn k < .
Em particular, cada xn contnua.
56 CAPTULO 4. CATEGORIA DE BAIRE E APLICAES
Demonstrao. Seja (X, k k) um espao de Banach. Definamos uma segunda norma k k1 em X por
Como Pn x x, temos que kxk1 < para qualquer x X, o que implica que k k1 est bem definida. Os demais
detalhes da demonstrao que k k1 uma norma ficam como um exerccio simples.
mas sendo I bijetora e contnua, o Teorema da Aplicao Inversa nos d que I 1 tambm contnua, ou seja,
kxk1 Kkxk,
e Pi contnua.
Nos resta ento demonstrar a Afirmao.
Seja (yk ) uma sequncia de Cauchy em (X, k k1 ). Ento,
ou seja, para cada n, (Pn yk ) uma sequncia de Cauchy em (X, k k). Segue que Pn yk zn quando k na norma
de (X, k k). Por outro lado,
Escolhemos k de maneira que o primeiro e o terceiro termo do lado direito sejam pequenos e depois escolhemos m
e n de maneira que o termo do meio seja pequeno (para est k fixado). Segue que (zn ) uma sequncia de Cauchy
em (X, k k).
Seja z = limn zn na norma k k. Vamos demonstrar que z = limn yk na norma k k1 . Para tanto, observe-
mos inicialmente que cada Pn contnua pois sua imagem um espao de dimenso finita. Assim,
Pn (zm ) = Pn ( lim Pm yk )
k
= lim Pn Pm yk
k
= lim Pmin{n,m} = zmin{n,m} .
k
A constante K = supn kPn k chamada de da base de Schauder (xi ). Uma base em que K = 1 chamada de
base montona. Segue da demonstrao do Teorema 4.3.12 que qualquer espao de Banach com base de Schauder
possui uma norma equivalente primeira de maneira que, nessa nova norma, a base de Schauder montona. De
fato, basta tomar a norma k k1 .
4.4. EXERCCIOS 57
4.4 Exerccios
Exerccio 86 O Teorema da categoria de Baire continua vlido se ao invs de um espao mtrico completo tiver-
mos um espao de Hausdorff localmente compacto.
Sugesto: um espao topolgico Z compacto se, e somente se, para toda famlia de fechados para a qual qualquer
interseco finita no vazia, tivermos que a interseco de todos os elementos da famlia tambm no vazia.
Exerccio 87 O Teorema da Categoria de Baire continua vlido em um espao mtrico M0 que um subconjunto
aberto de um espao mtrico completo M.
Sugesto: Aplique o Teorema da categoria de Baire ao fecho de M0 em M.
a) Demonstre que F de primeira categoria se, e somente se, F possui interior vazio.
b) Demonstre que O de primeira categoria se, e somente se, O vazio.
c) Demonstre que F genrico se, e somente se, F = M e que O genrico se, e somente se, O c no possui
interior.
Sugesto: para a), argumente por contradio assumindo que uma bola fechada B esteja contida em F. Aplique o
Teorema da categoria de Baire ao espao mtrico completo B.
Exerccio 91 Se X um espao normado, demonstre que qualquer subespao fechado prprio de X um conjunto
nunca denso.
Exerccio 92 Se X um espao normado de dimenso infinita, o qual pode ser escrito como unio enumervel de
subespaos de dimenso finita, demonstre que X de primeira categoria em si mesmo.
Exerccio 93 Demonstre que se X um espao de Banach de dimenso infinita, ento uma base de Hamel de X
no pode ser enumervel.
Exerccio 94 Demonstre que no existe norma que torne c00 em um espao completo.
Exerccio 95 Considere o espao C([0, 1]) equipado com a norma k k . O intuito desse exerccio demonstrar
que o subconjunto de C([0, 1]) formado pelas funes que no possuem derivadas em ponto algum de [0, 1]
genrico em C([0, 1]).
a) Seja EN o conjunto das funes contnuas f : [0, 1] R tais que existe x [0, 1] com
b) Seja P o subconjunto de C([0, 1]) formado pelas funes contnuas e lineares por parte. Demonstre que P
denso em C([0, 1]).
c) Para cada M > 0, seja PM P o conjunto das funes contnuas, lineares por parte, onde cada segmento
de reta possui inclinao sempre maior ou igual a M ou menor ou a M. Demonstre que PM EN = 0/ se
M > N.
d) Fixe M > 0 e seja g(x) = ax + b uma funo linear para x [0, 1/n]. Demonstre que, dado > 0, existe
h PM e n N grande tais que |h(x) g(x)| , para todo x [0, 1/n].
g) Seja D o subconjunto das funes contnuas em [0, 1] que possui derivada em pelo menos um ponto. Veri-
fique que
D
[
EN
N=1
{ f (x) | f B }
Exerccio 98 Seja X = C([0, ]) equipado com a norma k kL1 . Considere a forma blinear a : X X R definida
por
Z
a( f , g) = f (t)g(t)dt.
0
Utilizando a sequncia
(
n sen(nt) se 0 t /n,
fn (t) =
0 se /n t ,
Exerccio 100 (Princpio de Condensao de Singularidades) Sejam X e Y dois espaos de Banach e considere
o subconjunto {T jk | j, k N} B(X,Y ). Suponha que para cada k N exista x X tal que
sup kT jk xk = .
jN
Exerccio 101 Seja (X, k k) um espao de Banach de dimenso infinita. Ento, existe uma outra norma k k1
tal que o operador identidade I : (X, k k1 ) (X, k k) limitado (at mesmo uma contrao), mas no possui
inversa limitada.
Sugesto: existe uma base {e | } tal que ke k = 1 para todo e inf{ke e k | , } = 0; defina
a nova norma por
m
m
k ek
= |k |.
k=1 1 k=1
Exerccio 102 Sejam X e Y espaos de Banach e T : X Y linear e limitado com M = ker T. Demonstre que Y e
X/ ker T so isomorfos, isto , existe um operador linear bijetivo de um espao no outro com inversa limitada.
Exerccio 103 O termo aplicao fechada usado tanto para operadores lineares entre espaos de Banach que
satisfazem as hipteses do Teorema do Grfico Fechado quanto para aplicaes entre espaos topolgicos que
aplicam conjuntos fechados em conjuntos fechados. Estes dois conceitos no so equivalentes!
a) Suponha que X e Y sejam espaos normados e que T : X Y um operador linear que no injetivo nem
o operador nulo. Encontre um subconjunto fechado F de X tal que T (F) no fechado em Y.
b) Encontre um operador linear T que satisfaz todas as hipteses do Teorema do Grfico Fechado mas para o
qual existe um subconjunto fechado F do domnio de T tal que T (F) no fechado na imagem de T.
Exerccio 104 Sejam X e Y espaos de Banach e D X um subespao. Suponha que T : D Y seja um operador
linear fechado. Demonstre que T limitado se, e somente se, D um subespao fechado de X.
b) Defina T : X Y por T (y) = (nyn )nN . Demonstre que T fechado mas no limitado.
Exerccio 106 (Construo de um operador ilimitado entre espaos de Banach) Seja X0 um espao normado
que no completo e X seu completamento. Seja T : X0 Y um operador ilimitado com Y Banach (existem vrios
exemplos de operadores ilimitados com domnio no completo; veja, por exemplo o Exerccio 105). Demonstre
que T possui uma extenso T : X Y linear e ilimitada.
Sugesto: escolha uma base de Hamel {e }A para X0 ; estenda esta base para uma base {e }B , B A, para
X; seja M o subespao gerado por {e }B\A , de maneira que cada x X pode ser escrito unicamente como
x = x1 + x2 ; x1 X0 , x2 M; defina T x = T (x1 + x2 ) = T x1 . Voc utilizou o Lema de Zorn? Quando?
b) Defina S : X G(T ) por Sx = (x, T x). Demonstre que S fechado mas ilimitado.
60 CAPTULO 4. CATEGORIA DE BAIRE E APLICAES
Exerccio 108 Sejam X e Y espaos de Banach e T B(X,Y ) sobrejetor. Demonstre que existe C > 0 tal que,
para todo y Y, a equao T x = y possui soluo x(y) X com kx(y)k Ckyk.
Exerccio 109 Seja T : D(T ) X Y um operador linear com X e Y Banach. Considere em D(T ) a norma do
grfico:
kxkT := kxk + kT xk, x D(T ).
Demonstre que se T fechado ento (D(T ), k kT ) um espao de Banach.
Exerccio 110 Sejam T : D(T ) X Y e T : D(A) X Y dois operadores lineares com X e Y espaos de
Banach. Demonstre que se T fechado e A contnuo com D(T ) D(A), ento T + A fechado (D(A + T ) =
D(A) D(T ) = D(T )).
Exerccio 111 Sejam X e Y espaos vetoriais normados e T : X Y um operador fechado. Demonstre que se
K X compacto ento T (K) Y fechado.
Exerccio 112 Seja X um espao de Banach e considere um operador linear T : X X tal que
Exerccio 113 Seja X um espao de Banach e considere um operador linear T : X X tal que
Exerccio 114 Sejam X e Y dois espaos de Banach e T : D(T ) X Y um operador linear. Dizemos que T
fechvel se T possui uma extenso para um operador fechado. Demonstre que as seguintes afirmaes so
equivalentes:
a) T : D(T ) X Y fechvel;
Exerccio 115 Se T : D(T ) X Y um operador fechvel com X e Y espaos de Banach, existe um operador
fechado T com grfico G(T ) = G(T ). Este operador chamado de fecho de T. Demonstre que T a menor
extenso fechada de T. Demonstre ainda que um ponto u X pertence ao domnio D(T ) se, e somente se, existe
uma sequncia (un ) D(T ) tal que u = lim un e (Tun ) de Cauchy.
Exerccio 116 Seja T B(X,Y ) com X e Y espaos de Banach e S : D(S) Y Z um operador fechvel com
domnio satisfazendo D(S) R(T ), onde Z tambm Banach. Demonstre que ST B(X, Z).
Sugesto: ST fechvel com domnio X, consequentemente fechado.
Captulo 5
Nossa tarefa neste captulo nos aprofundar um pouco mais na teoria de operadores lineares entre espaos de
Banach. Primeiramente, vamos estudar complementos topolgicos para subespaos vetoriais e explorar a relao
deste conceito com resultados sobre invertibilidade de operadores limitados. Aps isso, vamos retornar ao estudo
de ortogonalidade, definir o adjunto de um operador linear (como domnio no necessariamente sendo um espao
de Banach) e caracterizar tais operadores atravs de relaes de ortogonalidade.
Teorema 5.1.1 Sejam X um espao de Banach e G e L dois subespaos fechados de X tais que G + L tambm
fechado. Ento existe uma constante C > 0 tal que todo z G + L admite uma decomposio da forma z = x + y,
x G, y L, e satisfaz as estimativas
Demonstrao. Consideremos o espao G L munido com a norma k(x, y)k = kxk + kyk e o espao G + L
munido com a norma herdada de X. A aplicao T : G L G + L definida por T (x, y) = x + y linear, contnua
e sobrejetora. Por hiptese, tanto G L quanto G + L so espaos de Banach. Segue do Teorema 4.3.4 que existe
> 0 tal que
T (BGL ) BG+L .
Seja z G + L, z 6= 0, e definamos
z
z = .
2kzk
Ento existe (x, y) BGL tal que T (x, y) = z, isto ,
2kzk
T (x, y) = z.
Seja ento
2kzk
(x, y) = (x, y).
61
62 CAPTULO 5. DUALIDADE, COMPLEMENTOS E OPERADORES LINEARES
Temos que
2kzk 2kzk
kxk + kyk = k(x, y)k = k(x, y)k .
Tomando C = 2/ vemos que
z = T (x, y) = x + y G + L
e
kxk Ckzk, kyk Ckzk.
Isto conclui a demonstrao.
Como consequncia podemos estimar a distncia de um ponto ao espao G L em funo da distncia desse
ponto aos espaos G e L.
Corolrio 5.1.2 Com as mesmas hipteses do Teorema 5.1.1, temos que existe C > 0 tal que
dist(x, G L) C dist(x, G) + dist(x, L) (5.1)
para todo x X.
kx ak dist(x, G) + e kx bk dist(x, L) + .
z = a b a0 + b0
e satisfazendo as estimativas
ka0 k Cka bk, kb0 k Cka bk.
Notando que a a0 G L obtemos:
dist(x, G L) kx (a a0 )k kx ak +Cka bk
kx ak +C(kx ak + kx bk)
dist(x, G) + +C(dist(x, G) + dist(x, L) + 2)
C(dist(x, G) + dist(x, L)) + (1 + 2C).
X = M + N, M N = {0},
onde M = PX e N = (IX P)X. Observe que estes espaos so fechados pois M = ker(IX P) e N = ker P.
No sempre verdade que um subespao fechado G de um espao de Banach X possui complemento. Em
outras palavras, o espao G no precisa ter uma projeo bem definida nele mesmo. Por outro lado, G pode possuir
mais que uma projeo.
5.1. COMPLEMENTO TOPOLGICO E INVERSO DE OPERADORES 63
Exemplo 5.1.3 Sejam X = C([a, a]), a > 0, M e N os subconjuntos de X consistindo das funes pares e mpares
respectivamente. Vamos verificar que M e N so subespaos complementares em X. A projeo P de M ao longo
de N dada por
1
Pu(x) = (u(x) u(x)).
2
Alm disso, kPk = kIX Pk = 1.
Suponhamos que c0 possui um complemento topolgico em l . Neste caso, existe uma projeo P : l l
com imagem c0 . Para cada k N, seja f k l o funcional que associa a cada elemento x = (xn ) l a ksima
componente de P(x) c0 . Denotando por en a sequncia que contm 1 na nsima entrada e 0 nas demais, vemos
que f k (en ) = 1 se k = n e f k (en ) = 0 se n 6= k.
Vamos construir uma sequncia de nmeros naturais n0 < n1 < . . . , e uma sequncia de conjuntos infinitos de
nmeros M 0 M 1 . . . . Colocamos n0 = 1 e M 0 = N. Suponhamos que n0 , . . . , nk e M 0 , . . . , M k foram constru-
dos. Consideremos uma partio arbitrria de M k em conjuntos disjuntos infinitos Mmk+1 , m N, e os funcionais
n
corresponentes f nk e f kk+1 . Pela convergncia da srie de normas dos funcionais, temos que existe m N tal que
Mm
n
k f kk+1 k < 1/2 e n0 , . . . , nk 6 Mmk+1 . Tomamos M k+1 como sendo Mmk+1 , considere um N M k+1 arbitrrio tal que
Mm
N > nk e tomamos nk+1 = N.
Denotemos por yk a sequncia com 1 nas posies nk , nk+1 , . . . e 0 nas demais posies. Seja y = y1 . Observe-
mos que y = en1 + . . . + enk + yk+1 , yk+1 M k+1 , e kyk+1 k = 1 para todo k. Ento, f nk (en1 ) = . . . = f nk (enk1 ) = 0
e f nk (enk ) = 1. Dessa forma, pela escolha de cada M k+1 , temos que | f nk (y)| = |1 + f nk (yk+1 )| > 1/2. Mas f nk (y)
a nk simo termo da sequncia P(y) c0 , e assim f nk (y) 0 quando k . Isto nos d uma contradio.
possvel demonstrar que um subespao fechado G de um espao normado X possui complemento topolgico
em X se, e somente se, todo operador limitado T0 : G Y, onde Y um espao linear arbitrrio, possui uma exten-
so a um operador limitado T : X Y. O exemplo dado pelo Teorema 5.1.4 nos diz que mesmo no caso de espaos
de Banach, nem todo operador linear definido em um subespao vetorial possui uma extenso limitada. Em outras
palavras, o espao F no Teorema de HahnBanach no pode ser substitudo por um espao de Banach arbitrrio.
Por outro lado, um resultado de Lindenstrauss e Tzafriri (veja [8]) nos diz que, se X for um espao de Banach,
ento todo subespao fechado de X possui um complemento topolgico se, e somente se, X topologicamete
isomorfo a um espao de Hilbert.
A noo de complemento em espaos de Banach est relacionada com inverso de operadores lineares con-
tnuos.
Sejam X e Y dois espaos de Banach e T B(X,Y ). Dizemos que S B(Y, X) (respectivamente, S
B(X,Y )) o inverso a direita de T (respectivamente, inverso a esquerda de T ) se T S = IY (respectivamente,
ST = IX ). Denotamos por IX e IY o operador identidade em X e em Y.
64 CAPTULO 5. DUALIDADE, COMPLEMENTOS E OPERADORES LINEARES
Teorema 5.1.5 Sejam X e Y dois espaos de Banach e T B(X,Y ) sobrejetivo. As seguintes afirmaes so
equivalentes:
Demonstrao. Suponhamos inicialmente que S B(Y, X) seja o inverso a direita de T. Como T contnuo, o
espao ker T fechado em X. Vamos demonstrar que R(S) = S(Y ) um complemento topolgico de ker T.
Dado z X, podemos escrever
z = (z ST z) + ST z,
com T (z ST z) = T z (T S)T z = 0, ou seja, z ST z ker T e ST z R(S). Por outro lado, se x ker T R(S),
ento existe y Y com Sy = x e T x = 0. Assim, y = T Sy = T x = 0, ou seja, 0 = Sy = x e ker T R(S) = {0}.
Falta demonstrar que R(S) fechado. Seja x R(S) e (xn ) R(S) uma sequncia tal que xn x quando
n . Existe uma sequncia (yn ) Y tal que Syn = xn para cada n. Por continuidade temos que yn = T Syn =
T xn T x e Syn x quando n . Portanto, Syn ST x, o que implica em S(T x) = x. Mas da x R(S).
Suponhamos agora que ker T possui complemento topolgico em Y denotado por L. Pelo Teorema 5.1.1 a
projeo P de X sobre L limitada. Dado w Y, seja x X uma soluo de T x = w que satisfaz
o que possvel utilizando o Teorema da Aplicao Aberta como na demonstrao do Teorema 5.1.1. Definamos
S : Y X por Sw = Px. Verifiquemos que S est bem definida, isto , independe da escolha de x. De fato, se
x = a + b e x0 = a0 + b0 so solues de T x = w com a, a0 ker T e b, b0 L, ento Sw = b e Sw = b0 ; mas
T x = Ta + T b = T b e T x0 = T b0 ; portnato, T b = T b0 = w e T (b b0 ) = 0, ou seja, b b0 ker T L = {0}; assim,
b = b0 e S est bem definido.
Verifiquemos a linearidade de S. Sejam w, v Y e x, y X com T x = w e Ty = v. Ento
Sw + Sv = Px + Py = P(x + y).
Teorema 5.1.6 Sejam X e Y dois espaos de Banach e T B(X,Y ) injetivo. As seguintes afirmaes so equiv-
alentes:
Demonstrao. Seja S B(Y, X) tal que ST = IX . Vamos demonstra que R(T ) fechada. Seja y R(T ) e
(yn ) R(T ) com yn y quando n . Existe uma sequncia (xn ) X tal que T xn = yn para cada n N. Por
continuidade, xn = ST xn Sy e T xn T Sy. Assim, y = lim T xn = T (Sy) e y R(T ).
5.2. ORTOGONALIDADE REVISITADA 65
Verifiquemos agora que ker S, que fechado pela continuidade de S, o complemente topolgico de R(T ).
Para cada y Y podemos escrever y = (y T Sy) + T Sy e, notando que S(y T Sy) = Sy (ST )Sy = 0, vemos
que Y = ker S + R(T ). Mas se y ker S R(T ), ento Sy = 0 e existe x X com T x = y, o que implica que
x = ST x = Sy = 0, ous eja, x = 0 e y = T x = 0. A concluso que ker S R(T ) = {0}.
Suponhamos agora que A = R(T ) seja fechado e que possui complemento topolgico B. Seja P a projeo
sobre A ao longo de B. Ento todo y Y se escreve de maneira nica como y = a + b, a A, b B, e Py = a.
Definamos S : Y X por Sy = x, onde x a nica soluo de T x = Py. Notemos que, para todo x X, ST x = u,
onde Tu = P(T x). Como T x A, segue que P(T x) = T x, ou seja, Tu = T x. Segue da injetividade de T que
x = u = ST x, ou seja, ST = IX . Para obtermos a continuidade de S, observamos que, sendo R(T ) fechado em Y,
temos que R(T ) Banach com a norma induzida. Como T pode ser visto como um operador bijetivo de X em
R(T ), vemos que T 1 : R(T ) X contnuo. Mas da, kxk = kT 1 Pxk Ckyk. Isso implica que
e S limitado.
G L = (G + L ) ; (5.3)
G L = (G + L) . (5.4)
(G L) G + L ; (5.5)
(G L ) = G + L. (5.6)
Teorema 5.2.3 Sejam G e L dois subespaos fechados do espao de Banach X. As seguintes afirmaes o equi-
valentes:
a) G + L fechado em X;
b) G + L fechado em X ;
c) G + L = (G L ) ;
d) G + L = (G L) .
Passo 1. Como G + L fechado em X , o Corolrio 5.1.2 nos diz que existe uma constante C > 0 tal que
Necessitaremos de um lema auxiliar que caracteriza a distncia entre um funcional limitado e o ortogonal de
um subespao fechado.
para qualquer f X .
Afirmao 1: denotando por BM a bola de centro 0 e raio 1 em um espao vetorial normado M, se C > 0 a
constante de (5.11), ento
BG + BL C1 BG+L . (5.12)
T (BE ) = BG + BL C1 BF . (5.13)
T (BE ) (2C)1 BF .
Agora, pela Afirmao 2, para qualquer z F, z 6= 0, como (2Ckzk)z BF , temos que existe x BE tal que
z
Tx = ,
2Ckzk
G + L = T (E) = F = G + L,
e G + L fechado. Isto conclui a demontrao do teorema, a menos das afirmaes 1 e 2 e do Lema 5.2.4.
Demonstrao da Afirmao 2. Usaremos as ideias do Teorema 4.3.4. Suponhamos que T (BE ) 2 BF , para
algum > 0. Seja y F fixo com k2yk < 2 . Dado > 0, existe z0 E com kz0 k < 1 e k2y T z0 k < 2, isto ,
existe z E com kzk < 1/2 e ky T zk < . Utilizando este fato podemos utilizarum processo indutivo:
tomando = /2 temos que existe z1 E, kz1 k < 1/2 com ky T z1 k < /2;
aplicando o procedimento inicial a y T z1 e tomando = /4 temos que existe z2 E, kz2 k < 1/4 com
k(y T z1 ) z2 k < /4;
continuando este processo, obtemos uma sequncia (zn ) E tal que, para cada n N,
1
kzn k < , ky T (z1 + . . . + zn )k < .
2n 2n
Segue que kxk < 1 e T x = y pela continuidade de T, ouse seja, BF T (BE ). A Afirmao 2 segue se tomarmos
= 1/(2C).
Demonstrao da Afirmao 1. Suponhamos por contradio que exista x0 G + L com kx0 k < 1/C mas x0 6
BG + BL . Dessa forma, poderamos separar estritamente {x0 } e BG + BL com um hiperplano fechado em X. Dito
de outra forma, existiriam f X e R tais que
ou seja,
f (a) + f (b) < < f (x0 ), para quaisquer a BG , b BL .
68 CAPTULO 5. DUALIDADE, COMPLEMENTOS E OPERADORES LINEARES
sup{ f (x) | x G, kxk < 1} + sup{ f (x) | x L, kxk < 1} < f (x0 )
para qualquer x X.
ou seja, se k f k 1,
sup{| f (x)| | f M , k f k 1} dist(x, M).
Vamos demonstrar que vale a igualdade.
Se dist(x, M) = 0 ento x M = M e f (x) = 0 para qualquer f M . Assim, podemos assumir que x X \M.
Definamos o funcional : [M {x}] R por
(y + x) = dist(x, M).
para qualquer f X . Seja J : X X a imerso cannica e lembremos que kJxk = kxk. Usando em (5.14)
somente os x da forma x = Jx para algum x X vemos que
Falta demonstrar a desigualdade inversa. Para tanto, vamos verificar que existe g M tal que
k f gk = k f kM .
Observao 5.2.6 Um caso particular do Lema 5.2.5 quando M = {0}, o que nos d
Na maioria das situaes teremos que A um operador fechado com domnio denso, isto , o grfico de A, denotado
por G(A) X Y fechado e D(A) = X.
Seja A : D(A) X Y um operador linear fechado com domnio denso. Vamos definir um opereador linear
A : D(A ) Y X associado A da seguinte maneira:
D(A ) := {v Y | existe C > 0 tal que |v(Au)| Ckuk, para todo u D(A)};
ou seja, f X ;
finalmente definimos
A v = f .
Observemos que a linearidade de A segue da unicidade da extenso de g. Alm disso, vemos que no
necessrio utilizar o Teorema de HahnBanach para encontrar f extenso de g.
O operador A : D(A ) Y X chamado de operador adjunto de A. Utilizando-nos da notao de
dualidade f (x) = h f , xi para a ao de um funcional em x X, temos a seguinte relao fundamental entre A e A :
Proposio 5.3.1 Sejam X e Y espaos de Banach e A : D(A) X Y um operador linear com domnio denso,
ou seja, D(A) = X. Ento A fechado, isto , G(A ) fechado em Y X .
v D(A ) e A v = f .
Notemos que
hvn , Aui = hA vn , ui, para todo u D(A).
No limite obtemos
hv, Aui = h f , ui, para todo u D(A).
Como f X ,
|hv, Aui| = |h f , ui| Ckuk, para todo u D(A).
Segue que v D(A ). Por outro lado,
Vamos apresentar as ideias gerais sobre um exmeplo interessante de operador linear e de seu adjunto. Para apre-
sentarmos este exemplo, lembremos que se uma funo f absolutamente contnua em um intervalo [a, b], ento
a derivada f 0 existe em quase todo ponto de [a, b] e uma funo integrvel, isto , f 0 L1 [a, b]. Alm disso,
Z x
f (x) = f (a) + f 0 (t)dt
a
para todo x [a, b]. Vale tambm a frmula de integrao por partes: sempre que f e g so absolutamente contnuas
em [a, b] vale
Z b Z b
f (t)g0 (t)dt + f 0 (t)dt = f (b)g(b) f (a)g(a).
a a
Para definirmos o operador T, comeamos pelo seu domnio. Definamos o subespao de L2 [0, 2] por
para alguma h L2 [0, 2]. Por outro lado, para encontrarmos T necessitamos estudar a relao fundamental
hg, T f i = hT g, f i
hg, T f i = hg , f i
1 Este fato pode ser demonstrar utilizando-se a teoria de espaos de Hilbert que veremos adiante e escolhendo uma base de Schauder
especfica para L2 [0, 2] contida em D(T ), mas podemos tambm verificar de outras formas.
5.3. ADJUNTO DE OPERADORES LINEARES 71
Ento g(t) + g (t) = c para alguma constante c em quase todo t [0, 2].
Observemos agora que g L2 [0, 2] L1 [0, 2]. Como g , a integral de uma funo em L1 [0, 2], temos
que g absolutamente contnua. Pelo Lema 5.3.2, g = c g , e portanto g tambm absolutamente contnua.
Alm disso,
g0 (t) + g (t) = 0, para quase todo t [0, 2].
Segue que g0 L2 [0, 2].
Concluso: se g, g L2 [0, 2] so tais que
hg, T f i = hg , f i
para qualquer f D(T ), ento g absolutamente contnua e g0 L2 [0, 2]. Definimos ento
e da
T g = g = g0 , g D(T ).
Observemos que h L2 [0, 2] L1 [0, 2]. Seja f0 uma funo definida em [0, 2] tal que
0
f1 (t) = h(t) c,
0
onde c uma constante que ainda ser determinada. Ento f1 L2 [0, 2] e
Z x Z x
f1 (x) = h(t)dt cdt.
0 0
72 CAPTULO 5. DUALIDADE, COMPLEMENTOS E OPERADORES LINEARES
Segue que f absolutamente contnua em [0, 2] e, alm disso, f1 (0) = 0. Escolhemos agora c de maneira que
f (2) = 0. Assim, f1 D(T ). Por outro lado,
Z 2 Z 2 Z 2
|h(t) c|2 dt = (h(t) c)h(t)dt c h(t)dt + c2 2
0 0 0
Z 2 Z 2 Z 2
0
= f (t)h(t)dt c h(t)dt cdt
0 0 0
= 0 c f1 (2) = 0.
Vemos ento que
h(t) c = 0, para quase todo t [0, 2].
Isto finaliza a demonstrao do lema.
Gostaramos agora de investigar as relaes de ortogonalidade entre a imagem e o ncleo dos operadores A
e A . Para isto, definimos uma aplicao auxiliar I : Y X X Y por
f ) = ( f , v).
I(v,
Proposio 5.3.3 Seja A : D(A) X Y um operador linear com domnio denso. Ento temos que
I(G(A )) = G(A) .
Demonstrao. Seja (v, f ) Y X . Observe que (v, f ) G(A ) se, e somente se, h f , ui+hv, Aui = 0 para todo
u D(A). Mas isso equivalente a dizer que ( f , v) G(A) , pois temos a caracterizao (X Y ) = X Y .
Isso conclui a demonstrao.
Proposio 5.3.4 Seja A : D(A) X Y um operador fechado com domnio denso, onde X e Y so espaos de
Banach, e A : D(A ) Y X seu adjunto. Defina
G = G(A), L = X {0}.
Ento:
ker A {0} = G L; (5.15)
X R(A) = G + L; (5.16)
{0} ker A = G L ; (5.17)
R(A ) Y = G + L . (5.18)
Como consequncia da Proposio 5.3.4 temos as relaes de ortogonalidade entre o ncleo e a imagem de
um operador e de seu adjunto.
5.3. ADJUNTO DE OPERADORES LINEARES 73
Corolrio 5.3.5 Sejam X e Y espaos de Banach e A : D(A) X Y um operador fechado com domnio denso
sendo A : D(A ) Y X seu adjunto. Ento se verifica:
a) ker A = R(A ) ;
b) ker A = R(A) ;
c) (ker A) R(A );
d) (ker A ) = R(A).
Teorema 5.3.6 Sejam X e Y dois espaos de Banach e A : D(A) X Y um operador linear fechado com domnio
denso. Ento as seguintes propriedades so equivalentes:
a) R(A) fechado;
b) R(A ) fechado;
c) R(A) = (ker A ) ;
d) R(A ) = (ker A) .
Demonstrao. Continuemos com a notao G = G(A), L = X {0} e lembremos que o produto cartesiano
fechado se, e somente se, cada fator fechado. Pelo que j vimos temos:
Utilizando estas maneiras equivalentes de reescrevermos os itens a)d) aplicamos o Teorema 5.2.3 para
concluir a demonstrao.
74 CAPTULO 5. DUALIDADE, COMPLEMENTOS E OPERADORES LINEARES
Teorema 5.4.1 (Mtodo de estimativas a priori) Sejam X e Y espaos de Banach e A : D(A) X Y um ope-
rador linear fechado com domnio denso. Ento as seguintes propriedades so equivalentes:
a) A sobrejetivo;
Demonstrao. Verifiquemos que a) implica em c). De fato, se R(A) = Y, pelo Corolrio 5.3.5 que ker A =
Y = {0}; mas da, (ker A ) = Y = R(A) e pelo Teorema 5.3.6 temos que R(A ) fechado.
Agora vejamos que c) implica em a). Ora, sendo R(A ) fechado, o Teorema 5.3.6 nos diz que R(A) =
(ker A ) , e portanto, se ker A = {0}, vemos que R(A) = {0} = Y.
Demonstraremos a seguir que b) implica em c). Notemos inicialmente que se kvk CkA vk = 0, ento v = 0,
ou seja, ker A = {0}. Para demonstrarmos que R(A ) fechado, tomemos (vn ) R(A ) com vn v em X . Se
(un ) Y tal que A un = vn , temos que
Portanto, (un ) de Cauchy em Y , convergindo para u Y . Como A fechado (pois A fechado com domnio
denso), obtemos que u D(A ) e A u = v. Portanto, v R(A ) e assim R(A ) fechado.
Finalmente veremos que c) implica em b). Utilizando novamente a notao G = G(A) e L = X {0} e as
igualdades (5.17) e (5.18) obtemos
G L = {0} ker A = {0}
e
G + L = R(A ) Y ,
o que nos diz que G + L fechado. Pelo Teorema 5.1.1, existe uma constante C > 0 tal que todo zinG + L se
decompe de maneira nica (pois G L = {0}) como
z = a + b, a G , b L , a Ckzk, b Ckzk.
z = a + b, a = (A v, v) G , b = (0, v) L .
pois L = {0} Y e h(A v, v), (u, Au)i = A v(u) v(Au) = 0. Segue que
Teorema 5.4.2 Sejam X e Y espaos de Banach e A : D(A) X Y um operador linear fechado com domnio
denso. Ento as seguintes propriedades so equivalentes:
a) A sobrejetivo;
5.5. EXERCCIOS 75
Observao 5.4.3 Na prtica, estabelecer que um certo operador linear sobrejetivo est associado com res-
oluo de equaes integrais ou diferenciais. Assim, podemos utilizar a equivalncia entre os itens a) e b nos
Teoremas 5.4.1 ou 5.4.2 e seguir o seguinte roteiro: considera-se a equao A v = f com f Y e se demonstra
que kvk Ck f k com C > 0 independente de f , ou seja, supe-se a priori que a equao possui uma soluo e se
estima a norma desta soluo. Esta tcnica conhecida como mtodo das estimativas a priori.
Observao 5.4.4 Suponhamos que dim X < e dimY < e seja A : D(A) X Y um operador linear fechado
com domnio denso. Neste caso R(A) e R(A ) so fechados. Assim, segue que
Em dimenso infinita a recproca nem sempre verdade. De fato, consideremos A : l2 l2 definido por
x
n
A(xn ) = ;
n
ento A limitado, injetivo e A = A , mas A no sobrejetivo, pois a sequncia (1/n) no atingida.
5.5 Exerccios
Exerccio 117 Demonstre que cada subespao M de X com dimenso finita possui um complemento N. Dessa
forma, X pode ser decomposto em soma direta de M e N, isto , X = M + N e M N = {0}.
Sugesto: considere o caso em que dim M = 1 e, para 0 6= u M escolha f X com f (u) = 1 e N = { f } .
Exerccio 118 Seja X um espao de Banach. Fixe v X e f X . Demonstre que o operador P : X X definido
por Px = ( f (x))v uma projeo (no identicamente nula) se, e somente se, f (v) = 1. Neste caso, demonstre que
PX = [v] e ker T o subespao fechado de X consistindo de todos x X com f (x) = 0, isto , ker T = { f } . Alm
disso, kPk k f kkvk.
A = [A].
76 CAPTULO 5. DUALIDADE, COMPLEMENTOS E OPERADORES LINEARES
Exerccio 120 Seja M um subespao do espao normado X. Demonstre que existe um isomorfismo isomtrico
que identifica M com X /M de maneira que se um elemento de M identificado com o elemento x + M
X /M p erp, ento (x + M )(u) = x (u).
Exerccio 121 Seja M um subespao fechado de um espao normado X. Demonstre que existe um isomorfismo
isomtrico que identifica (X/M) com M de maneira que se um elemento de (X/M) identificado com x M ,
ento x (x + M) = x (x).
Exerccio 122 Seja M um subespao fechado de um espao normado X. Demonstre que o isomorfismo isomtrico
do Exerccio 121 que identifica (X/M) com M o adjunto da projeo de X sobre X/M.
Exerccio 123 Seja A : D(A) X Y um operador linear fechado com domnio denso, onde X e Y so espaos
de Banach. Demonstre que so equivalentes:
a) D(A) = X;
b) A limitado;
c) D(A ) = Y ;
d) A limitado.
Nestas condies se verifica
kAkB(X,Y ) = kA kB(Y ,X ) .
Exerccio 124 Sejam X e Y espaos de Banach e T B(X,Y ). Demonstre que R(T ) fechado se, e somente se,
existe uma constante C > 0 tal que
dist(x, ker T ) CkT xk, para todo x X.
Exerccio 125 Sejam X e Y espaos de Banach e A : D(A) X Y um operador linear fechado. Demonstre que
R(A) fechado se, e somente se, existe uma constante C > 0 tal que
dist(u, ker A) CkAuk, para todo u D(A).
Exerccio 126 Com relao subseo Exemplo com um operador diferencial, estude o operador T e veri-
fique que D(T ) = D(T ) e T = T.
Exerccio 127 Sejam X um espao de Banach e A : D(A) X X um operador linear com domnio denso.
Suponha que existe C > 0 tal que
hAu, ui CkAuk2 , para qualquer u D(A). (5.19)
Demonstre que ker A ker A .
Reciprocamente, suponha que ker A ker A , que A fechado com domnio denso e que R(A) fechado.
Demonstre que C > 0 tal que A satsifaz (5.19).
Exerccio 128 Sejam X, Y e Z espaos de Banach e consideremos os operadores T B(X,Y ) e S B(Y, Z).
Demosntre que
(S T ) = T S .
Alm disso, supondo que T B(X,Y ) bijetivo, demonstre que T bijetivo e que (T )1 = (T 1 ) .
A topologia em um espao normado induzida pela norma muito forte no sentido de que possui muitos conjuntos
abertos. Por um lado, uma funo definida neste espao tem mais chances de ser contnua, por outro, subconjuntos
deste espao tm menos chances de serem compactos. Por exemplo, vimos que a bola fechada em um espao de di-
menso infinita no compacta na topologia induzida pela norma, ou seja, esta topologia no possui a propriedade
de HeineBorel. Assim, muitas fatos conhecidos para espaos de dimenso finita que so demonstrados baseados
nessa propriedade no podem ser generalziados imediatamente para dimenso infinita.
Vamos estudar nesse captulo topologias mais fracas que a topologia induzida pela norma em espaos nor-
mados. Estas topologias possuiro menos abertos que a topologia forte (da norma) mas sero fortes o suficiente
para ainda obtermos propriedades bastante teis.
Denotamos tambm o produto cartesiano por X . O espao X o simo fator e x = x() a sima
coordenada. Pelo Axioma da Escolha, se cada X 6= 0/ ento X 6= 0.
/
A aplicao : X X definida por (x) = x chamada de projeo ou sima projeo.
Suponhamos agora que cada X , A, seja um espao topolgico. Queremos definir uma topologia em
X da maneira mais natural possvel, no sentido que generalize a topologia produto em Rn e que conserve
certas propriedades de cada fator X . bem sabido do curso de Topologia que essa naturalidade acontece ao
considerarmos a Topologia de Tychonoff.
A topologia de Tychonoff, ou a topologia produto em X obtida tomando-se como base os conjuntos
da forma U , onde
cada U aberto em X ;
a menos de uma quantidade finita de ndices, U = X .
Observemos que o conjunto U , onde U = X exceto para = 1 . . . , n pode ser escrito como
U = 11 (U1 ) . . . 1n (Un ).
Assim, a topologia produto precisamente aquela que possui como sub base a coleo
{1 (U ) | A,U aberto em X }.
77
78 CAPTULO 6. TOPOLOGIAS FRACA E FRACA E IMPLICAES
Teorema 6.1.1 A topologia de Tychonoff a topologia mais fraca em X para a qual cada projeo
contnua.
Demonstrao. Pelo que observamos anteriormente, se qualquer topologia em X na qual cada projeo
contnua, ento 1 (U ) sempre que U for aberto em X . Consequentemente, os membros de uma sub base
para ao topologia de Tychonoff pertencem todos a , o que implica que contm a topologia de Tychonoff.
Teorema 6.1.2 Seja X um espao topolgico. Ento uma funo f : X X contnua se, e somente se, cada
f : X X contnua.
Demonstrao. A necessidade clara, visto que composio de funes contnuas uma funo contnua.
Reciprocamente, suponhamos que f contnua para cada A. Notemos que
f 1 (1 (U )) = ( f )1 (U ).
Assim, a imagem inversa por f de qualquer elemento da sub base da topologia de Tychonoff um conjunto aberto
em X. Isto nos diz que f contnua.
Consideremos agora uma situao a princpio mais geral que espaos produtos.
Sejam X um conjunto, (X )A uma famlia de espaos topolgicos e f : X X , A, uma famlia de
funes. A topologia fraca em X induzida pela coleo de funes { f | A} a menor topologia em X que
faz com que cada f seja contnua.
A discusso prvia sobre topologia produto pode ser transferida para este caso, e temos que a topologia fraca
em X aquela para a qual os conjuntos da forma f1 (U ), A e U aberto em X , formam uma sub base.
Teorema 6.1.3 Se X est munido da topologia fraca induzida pela famlia de aplicao { f : X X | A},
ento uma funo f : Y X, Y espao topolgico, contnua se, e somente se, f f contnua para cada A.
Proposio 6.1.4 Se X est munido da topologia fraca induzida pela famlia de aplicao { f : X X | A}
e se (xn ) uma sequncia em X, ento xn x se, e somente se, f (xn ) f (x), para todo A.
Demonstrao. Se xn x na topologia fraca, ento f (xn ) f (x) para todo A, j que cada uma dessas
funes contnua.
Reciprocamente, lembremos que xn x se, e somente se, dada uma vizinhana V de x, existe n0 N tal
que xn V para todo n n0 . Por outro lado, uma base de vizinhanas para x X na topologia fraca da forma
B f1 (U ), onde B A finito e cada U aberto em X . Assim, dada uma vizinhana V de x, podemos supor
que dessa forma, isto , V = B f1 (U ). Para cada B, existe um inteiro n tal que f (xn ) U , para todo
n n . Tomando n0 = max{n | B} obtemos que xn V para todo n n0 .
A topologia fraca (X, X ) ser as vezes chamada somente de topologia fraca, ou de (X, X ). A topologia
induzida pela norma ser chamada de topologia forte.
Como primeiro resultado, vemos que o Teorema de HahnBanach implica que a topologia fraca em X
Hausdorff.
Demonstrao. Sejam x1 , x2 X tais que x1 6= x2 . Pela segunda forma geomtrica do Teorema de HahnBanach,
existe f X e R tais que
f (x1 ) < < f (x2 ).
Definamos
V1 = {x X | f (x) < } = 1
f (, ),
V2 = {x X | f (x) > } = 1
f (, ).
O resultado da Proposio 6.2.1 vlido mais geralmente para qualquer topologia fraca induzida por uma
famlia de funes que separa pontos nos conjunto.
Podemos caracterizar uma base de vizinhanas para um ponto x X na topologia fraca de uma maneira
utilizando a linearidade das aplicaes f X .
V = VI, = iI 1
fi (ai , ai + ),
onde ai = fi (x0 ) e I um conjunto finito de ndices. Escrito dessa forma fcil ver que V aberto na topologia
(X, X ).
Reciprocamente, seja U uma vizinhana aberta de x0 em (X, X ). Ento existe um aberto W contendo x0 ,
W U, da forma
W = iI 1
fi (i ), I finito,
onde i aberto em R vizinhana de fi (x0 ) = ai . Assim, existe > 0 tal que (ai , ai + ) i para cada i I.
Segue que x0 V W U.
Dada uma sequncia (xn ) X, denotamos por xn * x a convergncia de (xn ) para x na topologia fraca
(X, X ).
Proposio 6.2.3 Seja (xn ) X uma sequncia. Ento as seguintes implicaes so vlidas:
c) se xn * x, ento (xn ) limitada na topologia forte, isto , existe C > 0 tal que kxn k C para todo n N;
Segue que se xn x ento f (xn ) f (x) para qualquer f X , o que implica, pelo item a), que xn * x.
Suponhamos agora que xn * x. Ento f (xn ) f (x) para qualquer f X . Segue que ( f (xn ))nN limitada
em R. Consideremos a imerso cannica J : X X e denotemos Jxn = xn . Segue que (xn ( f ))nN R limitada
para cada f X , ou seja, (xn )nN pontualemente limitada. Como X e R so espaos de Banach, podemos
aplicar o Teorema de BanachSteinhauss e concluir que kxn k C, para alguma constante C > 0. O item c) fica
demonstrado uma vez que J uma isometria.
Vejamos agora o item d). Temos pelo item c) que
No caso em que a dimenso do espao normado finita temos que a topologia forte e a fraca coincidem.
Proposio 6.2.4 Seja X um espao normado de dimenso finita. Ento a topologia forte e a topologia (X, X )
coincidem. Em particular, uma sequncia (xn ) converge fracamente se, e somente se, converge fortemente.
Demonstrao. Denotemos por a topologia forte, isto , induzida pela norma. claro que (X, X ) .
Para demonstrarmos a incluso inversa, seja U com x0 U e vamos verificar que existe V (X, X ) tal que
x0 V U. Dito de outra forma, vamos encontrar f1 , . . . , fn X e > 0 tais que
V = {x X | | fi (x x0 )| < , i = 1, . . . , n} U.
Como U , existe r > 0 tal que Br (x0 ) U. Escolhemos e1 , . . . , en base de X com kei k = 1, i = 1, . . . , n.
Para todo x X, temos que
n
x = xi ei .
i=1
As aplicaes x 7 xi definem funcionais lineares contnuos que denotaremos por fi , i = 1, . . . , n. Temos ento que
n
kx x0 k | fi (x x0 )| < n.
i=1
Em dimenso infinita a topologia fraca est estritamente contida na topologia forte, isto , sempre existem
abertos na topologia forte de um espao normado de dimenso inifinta que no aberto na topologia fraca.
Exemplo 6.2.5 Seja X um espao normado com dim X = . Ento o conjunto S = {x X | kxk = 1} nunca
fechado na topologia fraca (X, X ). Mais precisamente, o fecho de S na topologia (X, X ) o conjunto
(X,X )
S = {x X | kxk 1}.
Demonstrao. Seja x0 X com kx0 k < 1. Vamos demonstrar que, dada uma vizinhana V de x0 na topologia
(X,X )
(X, X ), ento V S = 0,
/ ou seja, x0 S . Podemos supor sempre que V da forma
V = {x X | | fi (x x0 )| < , i = 1, . . . , n},
6.2. A TOPOLOGIA FRACA (X, X ) 81
onde > 0 e f1 , . . . , fn X .
Afirmao: existe y0 X, y0 6= 0, tal que y0 ni=1 ker fi .
De fato, se tal y0 no existisse, ento a aplicao : X Rn definida por (z) = ( f1 (z), . . . , fn (z)) seria
injetiva e, portanto, um isomorfismo de X sobre (X) e da dim X < .
Fixemos ento y0 6= 0 como na afirmao acima, isto , fi (ty0 ) = 0, para i = 1, . . . , n e qualquer t R. Segue
que
fi (x0 + ty0 x0 ) = 0, i = 1, . . . , n,
ou seja, x0 + ty0 V, para todo t R.
Definamos g(t) = kx0 + ty0 k, t 0. Ento t contnua, g(0) < 1 e limt g(t) = . Segue que existe t0 R
tal que g(t0 ) = kx0 + t0 y0 k = 1. Assim, x0 + t0 y0 V S. Como isto fica estabelecido que
(X,X )
S {x X | kxk 1} S .
Para completar a demonstrao basta observar que {x X | kxk 1} fechado na topologia fraca. Mas
Uma parte interessante da demonstrao do Exemplo 6.2.5 que em dimenso infinita toda vizinhana V de
um ponto x0 X para a topologia fraca contm uma reta que passa por x0 .
Exemplo 6.2.6 O conjunto U = {x X | kxk 1} nunca aberto na topologia (X, X ). Mais precisamente, o
interior de U vazio na topologia (X, X ).
Demonstrao. Suponhamos que existe x0 U e uma vizinhana V de x0 em (X, X ) tal que V U. Mas pelo
Exemplo 6.2.5, V contm uma reta que passa por x0 , o que contradiz o fato de V U.
Acabamos de verificar que em dimenso infinita existem conjuntos convexos abertos na topologia forte que
no aberto na topologia fraca. No caso de convexos fechados temos outra situao.
Teorema 6.2.7 (Mazur) Sejam X um espao normado e C X um convexo. Ento C fracamente fechado se, e
somente se, fortemente fechado.
Demonstrao. Todo conjunto fechado na topologia fraca fechado na topologia forte. Assim, nos resta demon-
strar que se o convexo C fortemente fechado, ento fracamente fechado, ou seja, que Cc aberto na topologia
fraca.
Dado x0 6 C, existe, pelo Teorema de HahnBanach um hiperplano fechado que separa {x0 } e C no sentido
estrito. Portanto, existe f X e R tais que
Definamos
V = {x X | f (x) < }.
Ento V aberto na topologia fraca com V C = 0/ e x0 V.
Teorema 6.2.8 Sejam X e Y espaos de Banach e T : X Y um operador linear. Ento T : (X, k k) (Y, k k)
contnuo se, e somente se, T : (X, (X, X )) (Y, (Y,Y )).
A demonstrao do Teorema 6.2.8 utilizou o Teorema do Grfico Fechado e por isso tivemos que assumir
que X e Y fossem Banach. possvel demonstrar este resultado sem este hiptese, como ser visto nos exerccios.
Demonstrao. Se f1 , f2 X so tais que f1 6= f2 , claro que existe x X de maneira que f1 (x) 6= f2 (x). Segue
que a famlia {x }xX separa pontos em X . Assim, a topologia fraca gerada por esta famlia Hausdorff.
onde I um conjunto finito, xi X, i I, e > 0, forma uma base de vizinhanas para f0 na topologia fraca .
Dada uma sequncia ( fn ) X , denotaremos por fn * f a convergncia de fn para f na topologia fraca
(X , X).
k fn k lim inf k fn k;
d) se fn * f e se xn x na topologia forte de X, ento fn (xn ) f (x).
Se fn * f e se xn * x em X, no podemos concluir que fn (xn ) f (x).
6.3. A TOPOLOGIA FRACA (X , X) 83
Um dos resultados mais importantes da teoria de espaos normados que a bola fechada BX sempre
compacta na topologia fraca . A forma geral deste resultado apareceu primeiramente em um trabalho de Leonidas
Alaoglu (em 1940) e na mesma poca apareceram demonstraes alternativas, uma delas devida a N. Bourbaki.
Entretanto, um resultado devido a Banach implica em uma demonstrao simples deste resultado no caso em que
o espao normado separvel.
BX = { f X | k f k 1}
Portanto, x contnuo para cara x , o que nos d que contnua. Vamos demonstrar que um homeo-
morfismo de X sobre sua imagem (X ). Como claramente injetiva, nos resta demonstrar que contnua.
Pela Proposio 6.1.3 basta demonstrar que, para cada x X fixado, a aplicao 7 (1 ())(x) contnua em
(X ). Mas isto claro j que (1 ())(x) = x = x ().
Para finalizarmos, precisamos verificar que (BX ) =: K compacto em Y. Notemos que
K = Y | |x | kxk, x+y = x + y , x = x , x, y X, e R quaisquer .
K = K1 K2 ,
onde
K1 = Y | |x | kxk, para qualquer x X ,
K2 = Y | x+y = x + y , x = x , x, y X, e R quaisquer .
so fechados e \ \
\
K2 = Ax,y B ,x .
x,yX xX, R
Teorema 6.4.1 (Kakutani) Seja X um espao de Banach. Ento X reflexivo se, e somente se, o conjunto BX
compacto na topologia fraca.
Lema 6.4.2 (Goldstine) Seja X um espao normado. Ento o conjunto J(BX ) denso em BX para a topologia
fraca (X , X ).
Faremos a demonstrao do Lema de Goldstine mais a frente. Por enquanto vamos assumilo e utilizar na
demonstrao do Teorema de Kakutani.
Demonstrao do Teorema 6.4.1. Suponhamos que X seja reflexivo. Ento, como J uma isometria, J(BX ) =
BX , o qual compacto na topologia fraca pelo Teorema 6.3.4. Devemos ento demonstrar que J 1 contnua de
(X , (X , X )) em (X, (X, X )). Para tanto, basta utilizar ao Teorema 6.1.3 e verificar que f J 1 contnua
para cada f X , isto , que a aplicao 7 h f , J 1 i contnua. Mas h f , J 1 i = h , f i contnua em X
com a topologia fraca .
Reciprocamente, supnhamos que BX seja compacto na topologia fraca de X. Pelo Teorema 6.2.8 temos a que
a imerso cannica J contnua de (X, (X, X )) em (X , (X , X )). A fortiori, J contnua de (X, (X, X ))
em (X , (X , X )). Segue que J(BX ) compacto em X e denso em BX na topologia (X , X ). Conclumos
que
J(BX ) = J(BX ) = BX ,
de onde segue facilmente que J sobrejetora.
Observao 6.4.3 Utilizando o Exerccio 132 podemos retirar a hiptese de X ser Banach no Teorema de Kaku-
tani.
Nos falta demonstrar o Lema de Goldstine. Entretanto, sua demonstrao ainda necessita de outro resultado.
|h fi , x i i | < , i = 1, . . . , n;
Multiplicando a desigualdade do item a) por |i | para cada i = 1, . . . , n e depois somando obtemos a seguinte
desigualdade:
n n n
i h fi , x i i i |i h fi , x i i i | < S.
i=1 i=1 i=1
6.4. ESPAOS REFLEXIVOS 85
Demonstrar a) equivalente a demonstrarmos que (BX ). Suponhamos ento o contrrio: 6 (BX ). Neste
caso, podemos separar {} e (BX ) no sentido estrito com um hiperplano fechado. Dessa forma, existem =
(1 , . . . , n ) Rn e R tais que
h(x), i < < h, i,
para todo x BX . Escrito de outra forma,
D n E n
i fi , x < < i i , para qualquer x BX .
i=1 i=1
V = { X |h , fi i| < , i = 1, . . . , n}.
|h fi , xi h , fi i| < , i = 1, . . . , n.
|h fi , x i i | < , i = 1, . . . , n
Proposio 6.4.5 Sejam X um espao normado reflexivo e M X um subespao fechado. Ento M com a topolo-
gia induzida tambm reflexivo.
Demonstrao. Temos definidas em M, a princpio, duas topologias fracas: (M, M ) e (X, X )M , onde esta
De fato, usando o Teorema de HahnBanach temos que (M, M ) (X, X )M ; j restringindo funcionais
Corolrio 6.4.6 Seja X um espao normado. Ento X reflexivo se, e somente se, X reflexivo.
Demonstrao. Suponhamos que X seja reflexivo. Lembremos que BX compacta na topologia (X , X). Mas
pela reflexividade (X , X) = (X , X ). Assim, BX compacta em (X , X ) e a reflexividade de X segue
do Teorema de Kakutani.
Reciprocamente, se X reflexivo, ento X ser reflexivo pelo que acabamos de demonstrar. Da J(X) ser
reflexivo como subespao fechado de um espao reflexivo. Segue que X reflexivo.
Observe agora que, se C um convexo, fechado e limitado em um espao de Banach reflexivo, ento ele
ser fechado na topologia fraca e estar contido em alguma bola fechada com raio suficientemente grande, a qual
compacta na topologia fraca. Assim, o convexo C ser compacto na topologia fraca.
Corolrio 6.4.7 Sejam X um espao normado reflexivo e C X um convexo, fechado e limitado. Ento C
compacto na topologia fraca.
Lema 6.4.8 Sejam X e Y espaos normados reflexivos e A : D(A) X Y um operador linear fechado com
domnio denso. Ento D(A ) denso em Y .
Demonstrao. Seja Y de maneira que D(A ) 0. Vamos verificar que isso implica que = 0 em todo Y
ou seja,
|g(Au)| = | f (u)| k f kkuk, para qualquer u D(A).
Segue que g() 6= 0 e g D(A ), o que uma contradio. Logo, (0, ) G(A) e = 0. Assim, D(A ) denso
em Y .
Pelo Lema 6.4.8, o operador adjunto de A est bem definido, sendo ele denotado por A : D(A ) X
Y . Mas notemos que X = X e Y = Y.
6.5. ESPAOS SEPARVEIS 87
Teorema 6.4.9 Sejam X e Y espaos reflexivos e A : D(A) X Y um operador linear fechado com domnio
denso. Ento o operador A : D(A ) X Y satisfaz
A = A.
J vimos que
I(G(A )) = G(A) ,
I(G(A
)) = G(A ) .
Por outro lado,
))) = (x, y) X Y | hA v, xi + hv, yi = 0, v D(A )
(I(G(A
= (Jx, Jy) X Y | hJx, A vi = hJy, vi, v D(A )
= (Jx, Jy) X Y | A Jx = Jy
= G(A ).
Mas,
(I(G(A ))) = G(A) = G(A).
Como A fechado, G(A) = G(A) e assim G(A ) = G(A), ou seja, A = A .
Demonstrao. Fixamos um conjunto enumervel {un } X e denso em X. Seja (rm ) um sequncia de nmeros
reais positivos com rm 0+ e consideremos, para quaisquer m, n N, as bolas Brm (un ). Quando tivermos que
Brm (un ) M 6= 0,
/ escolhemos am,n nesta interseco e formamos o conjunto enumervel {am,n }. Vamos verificar
que este conjunto denso em M.
Sejam x M arbitrrio, V uma vizinhaa de x em M e fixemos > 0 tal que B (x) M V. Segue que existe
rm com 0 < rm < . Sendo d a mtrica de X, existe un tal que d(x, un ) < rm . Mas isso implica que x Brm (un ) M,
ou seja, esta interseco no vazia. Podemos ento tomar am,n como anteriormente e assim obtemos:
Teorema 6.5.2 Seja X um espao normado tal que X separvel. Ento X separvel.
Caso contrrio, teramos que, para todo x X com kxk 1, valeria fn (x/kxk) < 1/2k fn k, ou seja,
1
sup{ fn (x) | x X, kxk 1} k fn k < k fn k,
2
que uma contradio.
Seja L0 o espao vetorial sobre Q gerado por {xn }. Ento L0 enumervel. De fato, temos que
[
L0 = n ,
n=1
sendo que
n = [x1 , . . . , xn ],
onde estamos tomando apenas combinaes lineares sobre Q. Como cada n est em correspondncia biunvoca
com Qn , a unio L0 ser enumervel.
Agora definimos L como sendo o espao vetorial sobre R gerado por {xn }. Ento L0 um subconjunto denso
de L. Mas em L podemos utilizar um argumento baseado no Teorema de Hahn-Banach para demonstra densidade.
De fato, vamos demonstrar que L denso em X, o que implica em L0 ser denso em X e segue a separabilidade.
Seja f X um funcional contnuo com f L 0. Dado > 0, existe n tal que k f fn k < . Portanto,
1
k fn k fn (xn ) = ( fn f )(xn ) k fn f kkxn k = k fn f k < .
2
Assim,
k f k k f fn k + k fn k 3.
Como > 0 qualquer, k f k = 0.
A recproca do Teorema 6.5.2 no verdadeira. Por exemplo, L1 separvel mas (L1 ) = L no separvel.
Entretanto esta situao muda se X for reflexivo.
Corolrio 6.5.3 Seja X um espao normado. Ento X reflexivo e separvel se, e somente se, X reflexivo e
separvel.
Demonstrao. Se X reflexivo e separvel, ento o Teorema 6.5.2 implica que X separvel enquanto o
Corolrio 6.4.6 nos diz que X reflexivo.
Reciprocamente, Se X reflexivo e separvel, ento (X ) = J(X) reflexivo e separvel, e pela primeira
parte da demonstrao X reflexivo e separvel.
Teorema 6.5.4 Seja X um espao normado. Ento X separvel se, e somente se, BX metrizvel para a
topologia (X , X).
Teorema 6.5.5 Seja X um espao de Banach. Ento X separvel se, e somente se, BX metrizvel para a
topologia (X, X ).
Corolrio 6.5.6 Sejam X um espao de Banach separvel e ( fn ) X uma sequncia limitada. Ento existe uma
subsequncia ( fnk ) de ( fn ) que converge na topologia fraca (X , X).
6.5. ESPAOS SEPARVEIS 89
Demonstrao. Podemos supor que k fn k 1 para todo n pois, caso contrrio, como k fn k M, consideramos
gn = fn /M. Nas da, ( fn ) BX , que, para a topologia (X , X), compacto pelo Teoremade AlaogluBanach
Bourbaki e metrizvel pelo Teorema 6.5.4. O resultado segue.
Demonstrao do Teorema 6.5.4. Suponhamos que X seja separvel. Fixemos ento {un } um subconjunto
enumervel e denso em BX , j que este conjunto tambm ser separvel. Para f , g BX definimos
1
d( f , g) := 2n |h f g, un i|.
n=1
onde utilizamos que a srie absolutamente convergente na penltima desigualdade. Conclumos que d uma
mtrica e vamos verificar que a topologia induzida por d em BX coincide com (X , X).
Sejam f0 BX e V uma vizinhana de f0 em (X , X). Demonstremos que existe r > 0 tal que
U = { f BX | d( f , f0 ) < r} V.
V = { f BX | |h f f0 , yi i| < , i = 1, . . . , k}.
Podemos supor, sem perda de generalidade, que kyi k 1. De fato, se kyi k > 1, tomamos zi = yi /kyi k e
V 0 = { f BX | |h f f0 , yi i| < 0 , i = 1, . . . , k},
onde
0 = min{, 1 }, 1 = min{/kyi k, kyi k > 1}.
Agora, como {un } denso em BX , podemos encontrar ni , para cada i, tal que kyi xni k < /4. Fixemos r > 0
tal que
2ni r < /2, i = 1, . . . , k.
Suponhamos que d( f , f0 ) < r. Em particular,
1
|h f f0 , uni i| < r, i = 1, . . . , k.
2ni
Assim,
|h f f0 , yi i| |h f f0 , yi uni i| + |h f f0 , uni i|
< k f f0 kkyi uni k + 2ni r
(k f k + k f0 k) + ,
4 2
90 CAPTULO 6. TOPOLOGIAS FRACA E FRACA E IMPLICAES
Escolhemos ento < r/2 e k de maneira que 1/2k1 < r/2 e segue que d( f , f0 ) < r, ou seja, f U.
Continuando a demonstrao do Teorema 6.5.4, vamos supor agora que BX metrizvel para (X , X) e
ento verificar que X separvel.
Sejam
Un = { f BX | d( f , 0) < 1/n}
e Vn uma vizinhana de 0 na topologia (X , X) tal que Vn Un . Podemos supor que Vn da forma,
Vn = { f BX | |h f , xi| < n , x n },
onde n X um conjunto finito. Formamos o conjunto
[
D= n .
n=1
Dito de outra forma, se h f , xi = 0 para todo x D, ento f = 0. Gostaramos de aplicar HahnBanach e concluir
que D denso em X. Mas D no um subespao de X. Tomamos ento L0 como sendo o espao vetorial sobre Q
gerado por D, o qual ser enumervel, e L o subespao vetorial sobre R gerado por D. Da, como f se anula em
todo L, ento f se anula em todo D e ser o funcional nulo. Segue que L e L0 so denso em X. Finalmente, como
L0 enumervel, X separvel.
Teorema 6.5.7 Sejam X um espao reflexivo e (xn ) X uma sequncia limitada. Ento existe uma subsequncia
(xnk ) de (xn ) que converge na topologia (X, X ).
Demonstrao. Seja M0 o subespao vetorial de X gerado por (xn ) e consideremos M = M0 . Notemos que M
separvel. De fato, se N gerado por (xn ) com coeficientes em Q, ento N enumervel e denso em M0 . M
tambm reflexivo pois um subespao fechado de um espao reflexivo.
Sendo M reflexivo e separvel, temos que M reflexivo e separvel. Da, pelo Teorema 6.5.5, BM
metrizvel para a topologia (X, X ) e compacta para esta topologia pelo Teorema 6.4.1. Sendo assim, nor-
malizando (xn ) se preciso, podemos extrair uma subsequncia (xnk ) de (xn ) que converge na topologia (M, M ).
Restringindo os funcionais de X M obtemos que (xnk ) converge na topologia (X, X ).
6.6. ESPAOS UNIFORMEMENTE CONVEXOS 91
Demonstrao. Seja X um elemento com k k = 1. Vamos verificar que J(BX ) se X for uniformemente
convexo. Isso implica facilmente que a imerso cannica sobrejetora. Mas inicialmente, vamos mostrar que,
para todo > 0, existe x BX tal que k J(x)k < .
Dado > 0, tomemos > 0 como na definio de convexidade uniforme. Seja f X tal que k f k = 1 e
h , f i > 1 . (6.1)
2
Notemos que (6.1) possvel pois, caso contrrio,
h , f i 1 ,
2
para todo f X com k f k = 1, e assim,
k k = sup{h , f /k f ki | k f k 1} 1 < 1,
2
de onde segue que k k < 1, o que absurdo.
Fixemos uma vizinhana V de para a topologia (X , X ) da forma
V = X | |h , f i| <
.
2
Pelo Lema de Goldstine, V J(BX ) 6= 0.
/ Tomemos BX tal que J(x) V. Vamos demonstrar que
J(x) + BX .
c
Suponhamos por absurdo que J(x) + BX = W. Observemos que W uma vizinhana de na
topologia (X , X ) e, consequentemente, V W tambm o . APlicando novamente o Lema de Goldstine vemos
que V W J(BX ) 6= 0. / Assim, existe x BX tal que J(x) | W. Resulta que
|hJ(x) , f i| < , |hJ(x) , f i| < .
2 2
Escrevendo de outra forma,
< h f , xi h , f i < , < h f , xi h , f i < .
2 2 2 2
Somando,
< h f , x + xi 2h , f i < .
Isso implica no seguinte:
Utilizando (6.1),
2 1 < 2h , f i kx + xk + .
2
Assim,
x+x
1 <
2
.
Sendo X uniformemente convexo, devemos ter
kx xk ,
pois kxk 1 e kxk 1.
c
Por outro lado, como J(x) W = J(x) + BX , temos que J(x) J(x) 6 BX . Em particular,
kx xk = kJ(x x)k > kk = kk = ,
para todo X com kk = 1. Contradizendo a convexidade uniforme.
Segue do que demonstramos que existe uma sequncia (xn ) BX tal que J(xn ) . Da, (J(xn )) de Cauchy.
Como J uma isometria, (xn ) tambm ser de Cauchy em X e, portanto, convergente, j que este espao Banach.
Assim, xn x0 BX e J(x0 ) = . Isto conclui a demonstrao.
Proposio 6.6.2 Sejam X um espao de Banach uniformemente convexo e (xn ) X uma sequncia que converge
fracamente para x X, isto , xn * x X. Suponhamos ainda que
lim sup kxn k kxk.
Ento xn x.
Demonstrao. Podemos supor, sem perda de generalidade que x 6= 0. Caso contrrio xn = 0 para todo n.
Definamos
n = max kxn k, kxk .
Observemos que
kxk lim inf n lim sup n max lim sup kxn k, kxk kxk.
Segue dessas desigualdades que n kxk. Sejam
yn = n1 xn , y = xkxk1 .
Se f X , vemos que
1 1 1 1
| f (yn ) f (y)| = f (xn ) f (x) + f (x) f (x)
n n n kxk
1 1 1
f (xn ) f (x) + | f (x)|.
n n kxk
Consequentemente, f (yn ) f (y) para qualquer f X , ou seja, yn * y. MAs da,
yn + y
* y.
2
Alm disso, pela Proposio 6.2.3,
y +y
n
lim inf
kyk.
2
Por outro lado, como lim sup kxn k kxk,
y +y
n kyn k + kyk
1 = kyk lim inf
lim sup 1
2 2
Conclumos que
y +y
n
kyk = 1, kyn k 1,
1.
2
Pela convexidade uniforme temos que kyn yk 0. Da, xn = n yn kxky = x, ou seja, (xn ) converge para x
fortemente.
6.7. EXERCCIOS 93
6.7 Exerccios
Exerccio 130 Seja X um espao normado. Dizemos que um subconjunto A X fracamente limitado se f (A)
R limitado para qualquer f X . Demonstre que um subconjunto A de X limitado se, e somente se, fracamente
limitado. Em particular, se B X um subcobjunto tal que f (B) compacto para todo f X , ento B limitado.
Dizemos que B com esta propriedade fracamente compacto.
Sugesto: Princpio da Limitao Uniforme.
Exerccio 131 Uma sequncia (xn ) X fracamente de Cauchy se ( f (xn )) R de Cauchy para qualquer
f X . Demonstre que toda sequncia fracamente de Cauchy (e consequentemente toda sequncia fracamente
convergente) so limitadas.
Exerccio 132 Sejam X e Y espaos normados. Ento um operador linear T : (X, k k) (Y, k k) contnuo se,
e somente se, T : (X, (X, X )) (Y, (Y,Y )) contnuo.
Exerccio 133 Sejam X um espao de Banach e (xn ) X uma sequncia com xn * x. Defina
1
n = (x1 , . . . , xn ), n N.
n
Demonstre que n * x.
Exerccio 135 Sejam X um espao de Banach e C X um subconjunto convexo. Demonstre que o fecho de C na
topologia forte e o fecho de C na topologia fraca coincidem.
Exerccio 136 Sejam X um espao de Banach e K X um subconjunto compacto na topologia forte. Suponha
que (xn ) K seja uma sequncia que converge na topologia fraca para x. Demonstre que xn x.
Sugesto: argumente por contradio.
Exerccio 137 Dizemos que um espao normado X possui a propriedade de RadonRiesz se ele satisfaz o
seguinte: sempre que (xn ) X uma sequncia e x X so tais que xn * x e kxn k kxk, segue que xn x.
Demonstre que l2 (N) possui a propriedade de RadonRiesz.
Exerccio 138 Sejam X um espao de Banach e A X um subconjunto fechado na topologia fraca. Suponha que
B X seja compacto na topologia fraca.
Exerccio 140 Sejam X e Y espaos de Banach e T B(X,Y ) de maneira que T B(Y , X ). Demonstre que
T : (Y , (Y ,Y )) (X , (X , X)) contnuo.
Exerccio 141 Demonstre que, para cada espao normado X, existe um isomorfismo isomtrico de X em um
subconjunto de C(K), onde K um espao mtrico de Hausdorff compacto.
Sugesto: tome K = BX e associe a cada x X a restrio K de Jx.
Exerccio 142 Seja X um espao normado separvel. Demonstre que existe um isorfismo isomtrico de X em um
subespao de l .
Sugesto: existe um conjunto ( fi ) enumervel e denso em BX para a topologia (X , X); a aplicao j : C(BX )
l , dada por x 7 (x( fi )) uma isometria.
Exerccio 143 Seja X um espao de Banach de dimenso infinita tal que X separvel. Demonstre que existe
uma sequncia (xn ) X tal que kxn k = 1 para todo n N e com xn * 0.
Demonstre o mesmo fato supondo agora que X reflexivo, ao invs de supor que X separvel.
Exerccio 144 Seja K um espao mtrico compacto no finito. Demonstre que C(K) no reflexivo.
Sugesto: seja (an ) K com an a e an 6= a para todo n; considere o funcional linear
u(an )
f (u) = n
, u C(K).
n=1 2
Exerccio 145 Sejam x c0 e (xn ) c0 . Demonstre que xn * x se, e somente se, a sequncia (xn ) limitada na
norma em c0 e pk (xn ) pk (x), para qualquer k N, onde pk a projeo na ksima coordenada.
S : (Y , (Y ,Y )) (X , (X , X))
Exerccio 148 Seja X um espao de Banach. Considere a afirmao: um subconjunto convexo de X fechado
na topologia forte se, e somente se, fechado na topologia fraca . Esta afirmao verdadeira ou falsa?
Exerccio 149 Dizemos que um espao normado estritamente convexo se ktx1 + (1 t)x2 k < 1 sempre que
x1 , x2 X so pontos distintos com kx1 k = kx2 k = 1 e 0 < t < 1.
Demonstre que o espao normado X estritamente convexo se, e somente se,
x +x
1 2
<1
2
Exerccio 151 Seja K um espao mtrico de Hausdorff compacto que possui mais que um elemento. Demonstre
que C(K) com a norma k k no estritamente convexo.
Sugesto: Lema de Urysohn.
6.7. EXERCCIOS 95
Exerccio 152 Seja X um espao normado. Demonstre que as seguintes afirmaes so equivalentes:
d) sempre que (xn ) e (yn ) so sequncias em X com kxn k, kyn k e k(xn + yn )/2k todas tendeno a 1, segue que
kxn yn k 0;
Sugesto: b) implica em d) e d) implica em c; disso segue que b), c) e d) so equivalentes; a) implica em b); b)
implica em a).
Exerccio 153 Um espao normado de dimenso finita uniformemente convexo se, e somente se, estritamente
convexo.
96 CAPTULO 6. TOPOLOGIAS FRACA E FRACA E IMPLICAES
Captulo 7
Espaos L p revisitados
Vamos estudar neste breve captulo mais algumas propriedades do espaos L p , tais como reflexividade e separa-
bilidade. Estes resultados completam os que j foram visto no Captulo 2, mas esto longe de serem completos.
Sugerimos o Captulo 4 de [1] ou o Captulo 6 de [5]. Vamos usar a notao L p () = L p (, ), onde uma
medida como nas hipteses no incio do Captulo 2.
Vigsima aula
Observemos que X 6= {0} uniformemente convexo se, e somente se, X () > 0 para todo (0, 2].
Lema 7.1.1 (McShane) Para cada p (1, ) e cada funo : (0, 2] (0, 1], existe uma funo p, : (0, 2]
(0, 1] tal que, se X um espao uniformemente convexo cujo mdulo de convexidade () satisfaz () (),
(0, 2], ento
x + y
p kxk p + kyk p
(1 p, (t)) ,
2 2
kx yk t max{kxk, kyk}.
Demonstrao. Suponhamos, para efeitos de contradio, que existam p (1, ) e uma funo como nas
hipteses mas que no exista a funo p, como afirmado. Consideremos a funo
p
(1 + t)/2
f (t) = , 0 t 1.
(1 + t p )/2
Ento f estritamente crescente em [0, 1] e, portanto, atinge o mximo em t = 1. Segue que, se kxk = 1 e kyk 1,
ento
(x + y)/2
p
p
(1 + kyk)/2
1.
kxk p + kyk p /2 1 + kyk p /2
97
98 CAPTULO 7. ESPAOS LP REVISITADOS
Como estamos supondo que no existe a funo p, com as propriedades sugeridas, existem t (0, 2], um
sequncia de espaos (Xn ) uniformemente convexos tais que o mdulo de convexividade de Xn tem a propriedade
que () Xn (), 0 < 2, e sequncias (xn ) e yn tais que, para cada n N :
1) xn , yn Xn ;
2) kxn k = 1 e kxn k 1;
Estamos usando aqui um abuso de notao para as normas, j que cada para xn e yn est em um espao Xn .
Pelas propriedades da funo f temos que kyn k 1. Logo, podemos assumir que y6 = 0, para todo n. Seja
zn = kyn k1 yn . Ento kzn yn k 0 quando n . Logo, podemos assumir que kxn zn k t/2 para cada n.
Segue disso que
x +z
n n
1 Xn (t/2) 1 (t/2) < 1.
2
Com as notaes do Lema 7.1.1, se a restrio do mdulo de convexividade de F (0, 2], temos o lema
a seguir que ser utilizado na demonstrao da convexividade uniforme de L p .
Lema 7.1.2 Suponhamos que p (1, ). Ento existe uma funo p : (0, 2] (0, 1] tal que
a + b p |a| p + |b| p
(1 p (t)) ,
2 2
Teorema 7.1.3 (Clarkson) Os espaos L p (, ), 1 < p < , com sendo uma medida positiva, so uniforme-
mente convexos.
e observemos que
| f (x) + g(x)| max{| f (x)|, |g(x)|}, quando x A.
41/p
Sendo p como no Lema 7.1.2, segue que
f (x) + g(x) p | f (x)| p + |g(x)| p
1 /41/p , quando x A.
2 2
7.1. REFLEXIVIDADE DOS ESPAOS LP , 1 < P < 99
Portanto,
f + g
Z | f | p + |g| p f + g p
1
= d
2 2 2
Z p
| f | + |g| p f + g p
d
A 2 2
Z | f | p + |g| p
p /41/p d
A 2
Assim, sendo A funo caracterstica de A, temos que
Z
p p
k f a gA k = k f gk | f g| p d
\A
p
Z
p | f | p + |g| p d
4 \A
p p
p k f k p + kgk p =
4 2
Segue que max{k f A k, kgA k} /(21+1/p ). Portanto,
f +g
k f A k p + kgA k p p
1
p /41/p p /41/p 1+1/p ,
2 2 2
o que implica em
f +g
p 1/p
1 p /41/p p+2 < 1.
2 2
Tomando p 1/p
() = 1 1 p /41/p p+2
2
a demonstramos a uniforme convexividade.
Corolrio 7.1.4 Os espaos L p (, ), 1 < p < , com uma medida positiva, so reflexivos.
Teorema 7.1.5 (Representao de Riesz) Sejam p, q (1, ) com 1/p+1/q = 1 e (L p (, )) . Ento, existe
u Lq (, ) tal que Z
( f ) = u f d,
para qualquer f L p (, ). Alm disso,
k k(L p ) = kukLq .
ou seja, = 0. Segue que T (Lq (, )) denso em (L p (, )) . Como estes espaos so Banach, a imagem de T
fechada e o resultado segue.
100 CAPTULO 7. ESPAOS LP REVISITADOS
Teorema 7.2.1 O espao Cc (Rn ), das funes contnuas com suporte compacto em Rn , denso em L p (Rn ) quando
1 p < .
Em palavras, R a famlia de todos os retngulos em RN nos quais os extremos dos intervalos so nmeros
racionais. Esta famlia obviamente enumervel. Consideremos agora o espao vetorial E sobre Q gerado pelas
funes caractersticas de elementos de R, isto ,
E = [{R | R R}]Q .
J vimos que E definido dessa forma enumervel. Vamos verificar que E denso em L p (, ), 1 p < .
Dado f L p (, ) e > 0, seja g1 Cc (RN ) tal que k f g1 kL p < . Fixemos R R de forma que supp g1
R. Pela continuidade uniforme de g1 , dado > 0, podemos dividir R em subretngulos de R disjuntos de maneira
que a oscilao de g1 menor que em cada um desses retngulos. Lembremos que a oscilao de g1 sup g1
inf g1 . Definimos g2 como sendo combinao linear finita de funes caractersticas desses retngulos, onde os
coeficientes da combinao sejam escolhidos de maneira que kg1 g2 k < . Assim, estimamos,
k f g2 kL p 2.
0 ( f ) = f (0), f Cc (RN ).
7.4. EXERCCIOS 101
Observemos que 0 linear e contnuo em Cc (RN ) para a norma k k . Por HahnBanach, podemos estender 0 a
um funcional (L (RN )) . Suponhamos que exista u L1 (RN ) tal que
Z
( f ) = u f d.
RN
1 1
fn (x) = 1 se |x| , fn (x) = 0 se |x| >
n n
Segue que ( fn ) = 1 para todo n N mas u fn 0 quase sempre e |u fn | |u| L1 (RN ). Segue do Teorema da
Convergncia Dominada que Z
u f dx 0 quando n .
RN
Ot = { f L () | k f t k < 1/2}.
Ento temos que cada Ot aberto e Ot Os = 0. / Alm disso, existe uma quantidade no enumervel de aberto do
tipo Ot , j que o intervalo [a, b] no enumervel.
Seja {u }A qualquer subconjunto denso em L (). Ento, para cada t [a, b] podemos escolher ut Ot .
A aplicao t 7 t injetiva. De fato, se t = s , ento ut = us Ot Os e assim, t = s. Segue que o conjunto
A no pode ser enumervel. Isto finaliza a demonstrao.
Observao 7.3.3 O espao L1 () no reflexivo. Caso fosse, teramos ento que ele seria reflexivo e separvel.
Consequentemente, (L1 ()) = L () seria separvel, o que um absurdo.
7.4 Exerccios
Exerccio 154 Seja = (0, 1) e considere a sequncia ( fn ) de funes definidas por fn (x) = nenx . Demonstre
as seguintes afirmaes:
Exerccio 155 Seja = (0, 1) e considere agora a sequncia (gn ) de funes definidas por gn (x) = n1/p enx ,
p > 1. Demonstre as seguintes afirmaes:
102 CAPTULO 7. ESPAOS LP REVISITADOS
Exerccio 156 Suponha que 1 < p < , 1/p + 1/q = 1, e considere uma sequncia ( fn ) L p () limitada em
L p () com fn f em quase todo ponto de .
i) Demonstre que fn * f em (L p , Lq ).
Sugesto: primeiro demonstre que se fn * f e fn f em quase todo ponto, ento f = f em quase todo
ponto (use o Exerccio 134).
ii) Suponha que fn f em L1 () ao invs de fn f em quase todo ponto. Demonstre que fn * f em
(L p , Lq ).
iii) Com as hipteses iniciais e supondo que seja limitado, demonstre que fn f em Lr () para todo
r [1, p).
Sugesto: considere as funes truncadas Tk fn , onde
ku
Tk (u) = u se |u| k, Tk (u) = se |u| < k.
|u|
ii) Seja ( fn ) L p () uma sequncia limitada com fn f em quase todo ponto de . Demonstre que f L p ()
e que Z Z
| fn | p | fn f | p d = | f | p d.
lim
n
(Compare com o Lema de Fatou).
Sugesto: use o item i) com a = fn (x) f (x) e b = f (x); note que, pelo Exerccio 156, | fn f | * 0 em
L p () e | fn f | p1 * 0 em Lq (), 1/p + 1/q = 1.
iii) Deduza que se ( fn ) L p () converge em quase todo ponto de para f L p () e k fn kL p k f kL p , ento
fn f fortemente em L p ().
Captulo 8
Espaos de Hilbert
Espaos de Hilbert, apesar de serem um caso especial de espaos de Banach, merecem um tratamento separado
pela sua importncia em aplicaes. O ponto principal nesses espaos a existncia de um produto interno, que
traz consigo a noo de ortogonalidade e os tornam a generalizao natural dos espaos Euclidianos em dimenso
infinita. Em termos dos operadores lineares, pelo fato desses espaos prossuirem mais estruturas, podemos tambm
introduzir a noes de operadores simtricos, autoadjuntos, etc.
Este captulo tratar somente dos fatos bsicos sobre os espaos de Hilbert.
para quaisquer x, y H :
hx, yi = hy, xi,
Se H um espao normado onde temos definido um produto interno h, i, dizemos que H um espao com
produto interno.
fcil verificar que, se H um espao com produto interno, ento
103
104 CAPTULO 8. ESPAOS DE HILBERT
Exemplo 8.1.1 Seja um subconjunto mensurvel de RN com () > 0. Ento L2 (, ) um espao com
produto interno, onde Z
h f , giL2 := f (x)g(x)dx.
Dado um espao com produto interno (H, h, i), definimos kxk = (hx, xi)1/2 , x H. A expresso k k ,
de fato, uma norma em H, a qual dizemos que foi induzida pelo produto interno. A demonstrao desse fato
razoavelmente simples. O nico ponto mais trabalhos a desigualdade triangular, que utiliza o prximo lema.
Lema 8.1.2 (Desigualdade de CauchySchwarz) Se (H, h, i) um espao com produto interno com a norma
induzida k k, ento, para quaisquer x, y H,
0 kx yk2
= hx, xi hx, yi hy, xi + | |2 hy, yi
= kxk2 hy, xi + hy, xi + | |2 kyk2
Demonstrao. Que kxk = 0 se, e somente se, x = 0 e que k xk = | |kxk para cada F so consequncias
bvias da definio. Para a desigualdade triangular temos:
kx + yk2 = hx + y, x + yi
= kxk2 + 2hx, yi + kyk2
kxk2 + 2kxkkyk + kyk2
2
= kxk + kyk ,
como desejado.
Um espao H com produto interno h, i que completo com a norma induzida por este produto interno
chamado de espao de Hilbert.
Observemos que os exemplos L2 (, ) e l2 (Z) so espaos de Hilbert, pois a norma induzida justamente a
norma que j havamos definidos nesses espaos anteriormente.
8.2. PROJEES ORTOGONAIS 105
Proposio 8.1.4 Seja H um espao de Hilbert e suponhamos que xn x e yn y na norma induzida. Ento
hxn , yn i hx, yi.
Demonstrao. Seja > 0 e x, y H com kxk 1, kyk 1 e kx yk > . Pela identidade do paralelogramo,
x + y
2 2
< 1 ,
2 4
o que nos d,
x+y
2 1/2
< 1 1 1 = 1,
2 4
Teorema 8.2.1 (Melhor aproximao) Suponhamos que H seja um espao com produto interno e seja M H
um convexo completo e no vazio. Se x H, ento existe y = y(x) M tal que
Demonstrao. Seja
= inf{kx zk | z M}.
Se = 0 ento tomamos y = x, pois M completo.
Suponhamos ento que > 0. Ento x 6 M e existe uma sequncia (yn ) M tal que
kx yn k = n .
106 CAPTULO 8. ESPAOS DE HILBERT
ou seja,
j que, pela convexividade, (yn + ym )/2 M. Assim, quando n, m , temos que kyn ym k 0. Como M
completo, yn y M. Como a norma k k contnua, kx yk = .
Vejamos agora que y nico. Se z M tal que kx zk = , ento, novamente pela identidade do paralelo-
gramo,
Assim, y = z.
Corolrio 8.2.2 Suponhamos que H seja um espao com produto interno e seja M um subespao completo de H.
Se x H e y M a melhor aproximao de de x em M, ento
x y M.
Tomando
hx y, mi
= ,
kmk2
temos que
0 kmk2 = kmk2 + | |2 kmk2 = | |2 kmk2 ,
o que nos d que = 0, ou seja,
hx y, mi = 0 para qualquer m M.
Segue que x y M.
Veremos mais adiante que esta notao no entra em conflito com a que j utilizamos nestas notas para subconjun-
tos de espaos de Banach.
Proposio 8.2.3 Suponhamos que H seja um espao com produto interno e seja M H. Ento M um subes-
pao de H com M M e M M sendo {0} ou o conjunto vazio.
8.2. PROJEES ORTOGONAIS 107
Teorema 8.2.4 (Teorema da Projeo) Suponhamos que (H, h, i) seja um espao com produto interno e seja
M H um subespao completo. Ento, existem dois operadores lineares limitados e sobrejetivos
P : H M, P : H M ,
b) x = Px + P x, isto , P = IH P.
v) PP = P P = 0, P2 = P e (P )2 = P .
Demonstrao. Pelo Teorema de melhor aproximao, temos que i) define P unicamente e, consequentemente,
P tambm est unicamente determinada. Se x H, ento, para m M,
hP x, mi = hx Px, mi = 0,
x + y = P(x + y) + P (x + y),
e tambm,
x + y = (Px + P x) + (Py + P y)
= Px + Py + P x + P y.
Segue que
Px + Py P(x + y) = P (x + y) P x P y.
Como M e M so espaos vetoriais, vemos que o lado direito na igualdade acima pertence a M e o lado esquerdo
a M. Mas M M = {0}, o que nos d
P(x + y) = Px + Py,
P (x + y) = P x + P y.
j que M M .
Finalmente, pelo item i),
kPxk2 = kxk2 kP xk2 kxk2 ,
e kPk 1. Mas se M 6= {0}, existe x M \ {0} para o qual kPxk = kxk. Assim, kPk = 1. Observaes similares
valem para P e temos que kP k = 1.
8.3 Dualidade
J vimos que os espaos de Hilbert so reflexivos. Verficaremos nesta seo um resultado ainda mais forte, que
nos diz que todo funcional contnuo pode ser visto como o produto interno de um vetor fixo em H com os demais
elementos de H.
Fixemos um espao de Hilbert H com produto interno h, i e seu dual H . Se f H, ento podemos associar
a f o funcional f da seguinte maneira:
f (x) = hx, f i.
O funcional f claramente linear e contnuo pela Desigualdade de CauchySchwarz. Alm disso,
k f k k f k.
Mas, se f 6= 0, ento
f f /k f k = k f k.
Assim, k f k = k f k. Conclumos que a aplicao f 7 f uma isometria de H em H .
Teorema 8.3.1 (RieszFrchet) Seja H um espao de Hilbert com produto interno h, i e H . Ento existe
um nico f H tal que
(x) = hx, f i, para qualquer x H.
Alm disso, kk = k f k.
u = (x)z (z)x.
8.4. SUBCONJUNTOS ORTONORMAIS 109
Assim,
(u) = (x)(z) (z)(x) = 0.
Dito de outra forma, u M, ou seja, u z. Segue que
e portanto,
(x) = hx, (z)zi.
O resultado segue se tomarmos f = (z)z. Que a aplicao f 7 f uma isometria j foi visto no incio desta
seo.
hx , x i = 0, para quaisquer , I, 6= .
Por ser de dimenso finita, M um subespao fechado de H. Seja PM a projeo sobre H. Para cada x H, existem
c1 , . . . , cn F tais que
n
PM x = c j xi ,
j=1
e PM x x M. Segue que
hPM x, x j i = hx, x j i, j = 1, . . . , n.
Dessa forma,
n
hPM x, xi i = c j hx j , xi i,
j=1
e se colocarmos
ai j = hxi , x j i e bi = hx, xi i
110 CAPTULO 8. ESPAOS DE HILBERT
teremos que a matriz n n dada por A = (ai j ) e os n vetores b = (b1 , . . . , bn ) e c = (c1 , . . . , cn ) satisfazem
Ac = b.
Como j sabemos que a projeo nica, temos que uma soluo c existe, de maneira que A inversvel e podemos
encontrar uma expresso para PM x.
Teorema 8.4.3 Suponhamos que H seja um espao de Hilbert e que {u1 , . . . , un } H seja um conjunto ortonor-
mal. Seja x H. Ento, a projeo ortogonal de x sobre
M = x1 , . . . , xn
dada por
n
PM x = hx, ui iui .
i=1
Alm disso,
n
|hx, ui i|2 kxk2 .
i=1
Demonstrao. Neste caso, usamos o que j fizemos no Exemplo 8.4.2. Observemos que a matriz A = hui , u j i
a identidade, uma vez que o conjunto {u1 , . . . , u j } ortonormal. Segue que cada o vetor c justamente b = hx, ui i .
Finalmente, como kPM xk kxk. Mas um exerccio simples nos d
n
kPM k2 = |hx, ui i|2 .
i=1
Gostaramos de estudar agora conjuntos ortonormais mais gerais, que no necessariamente so finitos ou
enumerveis.
Seja I um conjunto de ndices (possivelmente no enumerveis) e {x }I um conjunto de nmeros reais
no negativos. Definimos n o
x = sup x | J I finito .
I J
x < .
I
Demonstrao. Pelo Teorema 8.4.3, para qualquer conjunto finito J I temos que
Corolrio 8.4.6 Com as hipteses do Teorema 8.4.5, temos que no mximo uma quantidade enumervel de hx, u i
so no nulos.
Em um certo sentido que ser enunciado no Teorema de RieszFischer, temos que cada x H pode ser
associado aos coeficientes hx, u i para cada I.
Fixemos I um conjunto de ndices. Denotamos por l2 (I) o conjunto
l2 (I) = f : I F | | f ()|2 < .
I
No caso em que I = N temos que l2 (I) o espao l2 usual que um espao de Hilbert. Em geral, l2 (I) um espao
de Hilbert com produto interno definido por
h f , gi = f ()g().
I
Como In um conjunto finito, xn est bem definido. Verfiquemos que (xn ) uma sequncia de Cauchy. Para
n > m 1 calculamos
2
kxn xm k2 =
f ()u
= | f ()|2 | f ()|2 ,
In \Im In \Im I\Im
e esse ltimo termo tende a zero pois a srie toda converge, e portanto pequena se tomarmos m grande. Como
H Hilbert, existe x H tal que xn x. Como F contua, F(xn ) F(x). Vamos verificar que F(x) = f . Pela
continuidade do produto interno, temos que, para cada I,
F(x)() = hx, u i = lim hxn , u i = lim f ( )hu , u i = f ().
n n
In
Teorema 8.4.8 Seja H um espao de Hilbert. As seguintes afirmaes a respeito de um conjunto ortonormal
{u }I H so equivalentes:
Demonstrao. Iniciamos verificando que i) implica em ii). Seja M = {u } . Ento M um subespao fechado
de H. Se M 6= H, ento M 6= {0} uma vez que H = M + M . Seja x M , x 6= 0, kxk = 1. Ento o conjunto
{u | I} {x} seria um conjunto ortonormal, o que implica que {u }I no seria maximal ortonormal.
Verifiquemos agora que ii) implica em iii). Suponhamos ento que, na notao do ltimo pargrafo, M = H
e seja x H. Pela Desigualdade de Bessel,
kxk2 |x |2 ,
I
onde x = hx, u i para I. Como [{u }] denso em H, dado > 0, existe um conjunto finito 1 , . . . , n e
constantes c1 , . . . , cn tais que
n
x ci ui
.
i=1
Sendo assim,
kxk2 |x |2 + 2 ,
I
enquanto
Desde que
kxk2 = |x |2 e kyk2 = |y |2 ,
I I
podemos afirmar que
hx, yi + hx, yi = x y + x y
I I
e
hx, yi hx, yi = x y x y ,
I I
e o resultado desejado segue se somarmos estas duas igualdades.
Finalmente verfiquemos que iv) implica em i). Supondo que {u }I no maximal, podemos tomar u H,
u u para todo I e com kuk = 1. Ento, pelo item iv),
1 = kuk2 = |hu, u i|2 = 0,
I
Do Teorema 8.4.8 temos que um conjunto ortonormal maximal , em um certo sentido, uma base para o
espao de Hilbert H.
Demonstrao. O caso geral segue por induo transfinita. Faremos a demonstrao no caso em que H
separvel. Portanto, seja {x j }j=1 um conjunto enumervel e denso em H. Definamos
M = [{u }I ].
Definamos
x j := x j PM x j M ,
onde PM a projeo ortogonal sobre M. Ento o gerado por
{u }I {x j }j=1
denso em H. Definamos sucessivamente para j = 1, 2, . . . (com x1 = x1 )
N j := [{x1 , . . . , x j }],
onde
x j+1 = x j+1 PN j x j+1 N
j .
O gerado por
{u }I {x j }j=1
denso em H e qualquer dois elementos so ortogonais. Removendo qualquer vetor no nulo e normalizando os
demais a demonstrao fica finalizada utilizando a equivalncia entre ii) e iii) no Teorema 8.4.8.
Corolrio 8.4.12 Todo espao de Hilbert H isomorfo l2 (I) para algum I. Alm disso, H de dimenso infinita
e separvel se, e somente se, H isomorfo l2 (N).
114 CAPTULO 8. ESPAOS DE HILBERT
A forma bilinear a(, ) dita coerciva se existe uma constante > 0 tal que
Nosso intuito nesta seo apresentar os teoremas de Stampacchia e de LaxMilgram, que representam
uma ferramenta abstrata importante em aplicaes, principalmente no estudo de problemas de minimizao em
subconjuntos de espaos de Hilbert. Em particular, no estudo de vrios problemas lineares elpticos. De uma certa
maneira, estes resultados representam uma generalizao do Teorema de RieszFrchet.
Teorema 8.5.1 (Stampacchia) Suponhamos que a(, ) seja uma forma bilinear contnua e coerciva no espao de
Hilbert H. Seja K H um subconjunto convexo fechado e no vazio. Ento, dado qualquer H , existe um
nico elemento u K tal que
Alm disso, se a(, ) for simtrica, isto , a(u, v) = a(v, u) para quaisquer u, v H, ento u pode ser caracterizado
pela seguinte propriedade: u K e
1 n1 o
a(u, u) (u) = min a(v, v) (v) .
2 vK 2
Corolrio 8.5.2 (LaxMilgram) Suponhamos que a(, ) seja uma forma bilinear contnua e coerciva no espao
de Hilbert H. Ento, dado qualquer H , existe um nico elemento u H tal que
Alm disso, se a(, ) for simtrica, ento u pode ser caracterizado pela seguinte propriedade: u H e
1 n1 o
a(u, u) (u) = min a(v, v) (v) .
2 vH 2
Para demonstrarmos o Teorema de Stampacchia necessitamos de verificar alguns fatos adicionais sobre pro-
jees.
Lema 8.5.3 Sejam H um espao de Hilbert sobre R e K H um convexo fechado no vazio. Ento a projeo
u = PK f caracterizada por
h f u, v ui 0, para qualquer v K. (8.2)
ku f k2 kv f k2 = 2h f u, v ui ku vk2 0,
J sabemos que se K for um subespao fechado do espao de Hilbert H, ento a projeo sobre este espao
possui norma 1. O prximo resultado um substituto deste fato quando K um convexo fechado no vazio.
Lema 8.5.4 Sejam H um espao de Hilbert e K H um convexo fechado no vazio. Ento Pk satisfaz,
kPK f PK gk k f gk,
para quaisquer f , g H.
h f u1 , v u1 i 0, (8.3)
hg u2 , v u2 i 0, (8.4)
h( f g) + (u2 u1 ), u2 u1 i 0,
ou seja,
ku2 u1 k2 h f g, u1 u2 i ku2 u1 kk f gk,
de onde segue o resultado.
Demonstrao do Teorema 8.5.1. Sabemos do Teorema de RieszFrchet que existe um nico f H tal que
Por outro lado, para u H fixado, a aplicao v 7 a(u, v) um funcional linear contnuo em H. Assim, existe um
nico elemento Au H tal que
a(u, v) = hAu, vi, para qualquer v H.
Pela unicidade temos que A linear. Alm disso, A contnuo. De fato, temos que existe u H tal que, para
qualquer v H,
u (v) = a(u, v) = hAu, vi;
segue que, por isometria,
ou ainda,
h f Au + u u, v ui 0, para qualquer v K.
Assim, queremos encontrar u K tal que u = PK ( f Au + u).
Definamos S : K K por S(w) = PK ( f Aw + w). Lembremos do Lema 8.5.4 que
Portanto,
8.6 Exerccios
Exerccio 158 Demonstre a Proposio 8.2.3.
com k j (x, y) = k (x) j (y), (x, y) R2N , um conjunto ortonormal maximal de L2 (R2N ).
8.6. EXERCCIOS 117
Exerccio 161 (Processo de GramSchmidt) Seja x1 , x2 , . . . uma sequncia de vetores linearmente independentes
em um espao com produto interno. Defina indutivamente os vetores
e1 = x1 /kx1 k,
n1
fn = xn hxn , e j ie j para n 2,
j=1
en = fn /k fn k.
Demonstre que {e1 , e2 , . . .} um conjunto ortonormal e que este conjunto gera o mesmo espao que {x1 , x2 , . . .}.
Exerccio 162 Aplique o processo de GramSchmidt aos vetores {1, x, x2 } L2 ([1, 1], dx). Utilize sua resposta
para calcular a distncia de x3 ao espao [{1, x, x2 }], isot , encontre
Z 1
min |x3 a bx cx2 |2 dx.
a,b,cC 1
Exerccio 163 Seja RN um subconjunto mensurvel e suponha que M L2 (RN ) seja formado pela funes
f L2 (RN ) tais que f (x) = 0 para quase todo x 6 . Demonstre que a projees ortogonal P sobre M dada por
P f = f .
Exerccio 164 Demonstre que o conjunto {eikx | k Z} ortonormal e maximal em L2 ([, ]), com [, )
identificado com o crculo unitrio.
Sugesto: usando a densidade de C([, ]) em L2 ([, ]), basta demonstrar que qualquer funo contnua em
[, ] limite de funes em [{eikx | k Z}]; para qualquer inteiro m 0, seja
1 + cos x m
km (x) = cm , x [, ],
2
onde cm escolhido de forma que
1
Z
km (x)dx = 1.;
2
verifique que
2 + eix + eix
km (x) = cm [{eikx | k Z}];
4
defina ainda
1
Z
fm (x) = km (x y) f (y)dy
2
Exerccio 165 Seja H = L2 ([, ]) com [, ) identificado com o crculo unitrio. Fixe uma sequncia limi-
k= C e defina o operador T : H H por
tada (k )
T f (x) = k ak eikx sempre que f (x) = ak eikx .
k= k=
T h = h T, para todo h R.
iii) Reciprocamente, se T qualquer operador limitado em H que comuta com translaes, ento T um
multiplicador de Fourier.
118 CAPTULO 8. ESPAOS DE HILBERT
Exerccio 166 Seja P : H M a projeo ortogonal em um espao de Hilbert H sobre o subespao fechado M
de H. Demonstre que
hPx, yi = hx, Pyi, para quaisquer x, y H.
Exerccio 167 Suponha que X seja um espao vetorial equipado com uma norma k k que satisfaz a identidade
do paralelogramo:
ku + vk2 + ku vk2 = 2 kuk2 + kvk2 .
Demonstre que
1
ku + vk2 kuk2 kvk2
hu, vi :=
2
define um produto interno em X que induz a norma k k.
Exerccio 168 Demonstre que se Rn for um aberto, ento L p (), 1 p , p 6= 2, com a norma usual no
um espao de Hilbert.
Exerccio 169 Seja H um espao de Hilbert com base ortonormal {e }I . Demonstre que uma sequncia (xn )
H converge fracamente para x H se, e somente se,
Exerccio 170 Seja H um espao de Hilbert e (xn ) H tal xn * x H e lim sup kun k kuk. Demonstre que
un u (fortemente).
Exerccio 171 Demonstre que um espao de Hilbert H fracamente completo, isto , se (xn ) H fracamente
de Cauchy, ento xn * x, para algum x H.
Sugesto: fixado v H, considere f (v) := limhxn , vi; verifique que f est bem definido, linear e limitado; use o
Teorema de RieszFrchet.
Exerccio 172 Demonstre que todo espao de Hilbert sequencialmente fracamente compacto. Em outras
palavras, demonstre que se (xn ) H for uma sequncia limitada, ento existe uma subseqncia (xnk ) de (xn ) que
converge fracamente.
Sugesto: comece verficando que |hxn , x1 i| kxn kkx1 k e conclua que (hxn , x1 i) limitada e portanto possui uma
sub que converge; proceda indutivamente para construir uma sequncia de subsequncias (xnm ) tais que (xnm+1 ) n=1
uma subequncia de (xnm ) m n
n=1 e limn hxn i existe; agora considera a diagonal (xn ); considere M como sendo o
fecho do espao gerado por (xn ) e verifique que limhxn , ui e limhxn , vi existe para quaisquer u M e v M .
Captulo 9
Na primeira parte deste captulo vamos estudar os adjuntos de operadores entre espaos de Hilbert. Veremos que
nesse contexto podemos definir os operadores auto adjuntos e estudaremos as suas propriedades bsicas.
Em uma segunda parte, a ideia que nos motivar a de encontrar um subespao de B(X,Y ) consistindo de
operadores que se comportam como aplicaes lineares entre espaos de dimenso finita. Inicialmente podemos
pensar que este subespao seria o dos operadores com imagem de dimenso finita. Entretanto, veremos que os
exemplos mais interessantes pertencem a uma classe um pouco mais geral.
Alm disso, como T limitado, temos ento T B(K , H ). Pelo Teorema de RieszFrchet, para cada L K ,
existe y K tal que, se x H,
(T L)(x) = L(T x) = hT x, yiK .
Por outro lado, existe z H tal que
hx, ziH = (T L)(x) = hT x, yiK .
Se F = h, ziH temos
F(x) = hx, ziH = (T L)(x),
ou seja, T L = F. Assim, como pelo Teorema da representao de RieszFrchet temos H = H e K = K, obtemos
a relao,
hx, T yiH = hT x, yiK sempre que x H, y K.
Ento
(Sd ) = Se
119
120 CAPTULO 9. OPERADORES COMPACTOS E AUTO ADJUNTOS
Exemplo 9.1.2 Consideremos o espao L2 (X, ) com as hipteses usuais e L (X, ). O operador de multi-
plicao M : L2 (X, ) L2 (X, ) definido por M ( f ) = f . Temos:
Z Z
hM f , gi = f gd = f gd = h f , gi = h f , M gi.
X X
Segue que M auto adjunto se, e somente se, uma funo real em quase todo ponto de X.
Alm das propriedades que j estudamos sobre adjuntos de operadores entre espaos de Banach, no caso de
espaos de Hilbert temos algumas propriedades adicionais.
ou seja,
hx, Ty T yi = 0, para quaisquer x, y H.
Isto nos fora Ty = T y para qualquer y H. Analogamente temos (T ) = T .
Como h1 e h2 so quaisquer, U U = IH .
Por outro lado, seja k H. Como U sobrejetivo, existe h H tal que Uh = k. Assim,
UU k = UU (Uh) = Uh = k,
ii) Se H um espao de Hilbert complexo, ento T auto adjunto se, e somente se,
hT x, xi R, para todo x H.
9.2. OPERADORES COMPACTOS 121
Dessa forma, hT x, xi R.
ii). Pelo item i), basta demonstrarmos a reccproca. Queremos ento demonstrar que
Seja C e calculemos
O termo do lado esquerdo e os dois primeiros termos da direita na igualdade acima so reais. Assim
Demonstrao. Se B a bola unitria em X, ento T (B) um compacto em Y. Como todo compacto limitado,
existe R > 0 tal que T (B) BR . Segue que T limitado e que kT k R.
Uma maneira equivalente de definirmos operadores compactos dizer que a imagem de uma sequncia
limitada por tais operadores possui uma subsequncia convergente. Este fato segue de uma resultado bsico sobre
espaos mtricos.
Lema 9.2.2 Seja (X, d) um espao mtrico. Ento X compacto se, e somente se, toda sequncia limitada (xn )
X possui uma subsequncia convergente.
Proposio 9.2.3 Sejam X e Y espaos de Banach e T : X Y um operador linear. Ento T compacto se, e
somente se, T aplica toda sequncia limitada (xn ) X em uma sequncia (T xn ) Y que possui uma subsequncia
convergente.
O prximo resultado nos d uma classe bem geral de exemplos de operadores compactos.
O subconjunto de B(X,Y ) formado pelos operadores compactos ser denotado por C (X,Y ). Claramente
este conjunto um sbubespao vetorial de B(X,Y ). O prximo resultado nos diz que este subespao fechado.
Teorema 9.2.5 Suponhamos que X seja um espao normado e que Y seja um espao de Banach. Seja (Tn )
C (X,Y ) uma sequncia de operadores compactos com kTn T k 0 para algum T B(X,Y ). Ento T com-
pacto.
kT xn,n T xm,m k kT xn,n TK xn,n k + kTK xn,n TK xm,m k + kTK xm,m T xm,m k
M+ + M = .
3M 3 3M
Isto conclui a demonstrao.
9.2. OPERADORES COMPACTOS 123
Exemplo 9.2.6 Seja H um espao de Hilbert com um conjunto ortonormal maximal enumervel {e j }. Definamos
o operador diagonal D : H H por D(e j ) = j e j , onde ( j ) uma sequncia de escalares com j 0. Seja
ADn o operador em H definido por Dn e j = j e j se 1 j n e Dn e j = 0 se j > n. Ento a imagem de cada Dn
possui dimenso finita, o que implica cada Dn compacto. Observemos ainda que
kD Dn k = sup | j | 0, quando n .
j>n
O prximo resultado, apesar de ser vlido em contextos mais gerais, ser demonstrado no caso de espaos de
Hilbert separveis.
Dizemos que um operador linear T : X Y entre esoaos normados de posto finito se sua imagem possui
dimenso finita.
Teorema 9.2.7 Se T C (H, H) um operador compacto, onde H um espao de Hilbert separvel, ento existe
uma sequncia (Tn ) C (H, H) de operadores de posto finito tal que Tn T.
Demonstrao. Iniciamos com a construo dos candidatos aos operadores Tn . Seja ento {e1 , e2 , . . .} uma base
ortonormal para ImT , que um subespao fechado de H. Consideremos a projeo Pn sobre o espao gerado pelos
primeiros n vetores e1 , . . . , en , o qual fechado, pois de dimenso finita. Definamos ento Tn := Pn T, de maneira
que Tn de posto finito.
Agora vamos verificar que Tn converge pontualmente para T. Seja h H qualquer e k = T h. Ento,
n
Tn h = Pn T h = Pn k = hk, e j ie j ,
j=1
e tambm,
Th = k = hk, e j ie j ,
j=1
j que {ei , e2 , . . .} uma base ortonornaml para o fecha da imagem de T. Segue que
kTn h T hk2 = |hk, e j i|2 ,
j=n+1
Agora vamos demonstrar a convergncia na norma de B(H). Seja B a bola unitria fechada em H. Pela
compacidade de T, vemos que T (B) compacto em H. Assim, dado > 0, a coleo de bolas B (T h) centradas
em T h, h B, formam um acobertura aberta de T (B). Logo, existe uma subcobertura tal que
m
[
T (B) B (T h j ),
j=1
para algum m N e h j B. Pela estimativa pontual, para cada j = 1, . . . , m, existe um inteiro N( j) tal que
Coloquemos
N = max N( j).
1 jM
kT h T h j k < .
124 CAPTULO 9. OPERADORES COMPACTOS E AUTO ADJUNTOS
onde usamos que kPn k = 1. Sendo h arbitrrio, podmeos tomar o sup na desigualdade acima com khk 1 e
obtermos que kTn T k 3 para todo n N. O resultado segue.
Observao 9.2.8 Mais geralmente, se T C (X,Y ), onde X e Y so espaos de Banach com Y possuindo uma
base de Schauder, ento T pode ser aproximado por operadores de posto finito (veja [1] para mais referncias e
[2] para mais detalhes).
Proposio 9.2.9 (Schauder) Se T B(H) com H sendo um espao de Hilbert separvel, ento T compacto
se, e somente se, T compacto.
kTn T k = kTn T k.
Como o Teorema 9.2.7 vale em um contexto mais geral, o mesmo vlido para a Proposio 9.2.9.
kTen k2 < .
n=1
Proposio 9.3.1 Suponhamos que T seja um operador linear limitado em um espao de Hilbert separvel H e
seja {en } um conjunto ortonormal maximal de H tal que
kTen k2 < .
n=1
Demonstrao. Vamos aplicar a Identidade de Parseval vrias vezes para obtermos o resultado. Para cada n
temos
T fn = hT fn , f j i f j
j=1
e por outro,
kTen k2 = |hTen , f j i|2 = |hT f j , en i|2 = kT f j k2 .
n=1 n=1 j=1 j=1 n=1 j=1
Sendo assim,
kT fn k2 = kTen k2 ,
n=1 n=1
como desejado.
Observemos que, incidentalmente, a demonstrao da Proposio 9.3.1 nos diz que se T HilbertSchmidt
ento T tambm ser.
Vamos demonstrar que T pode ser aproximado por uma sequncia de operadores de posto finito. Para cada n 1
definamos
n
Tn h = Tn hh, ek iek = hh, ek iTek .
k=1 k=1
Observemos que Tn linear e, alm disso, de posto finito, uma vez que sua imagem est contida no subespao
gerado por {Te1 , . . . , Ten }. Ademais, pela Desigualdade de CauchySchwarz,
1/2 1/2
k(Tn T )hk =
hh, ek iTek
|hh, ek i|2 kTek k2 .
k=n+1 k=n+1 k=n+1
126 CAPTULO 9. OPERADORES COMPACTOS E AUTO ADJUNTOS
Os operadores de HilbertSchmidt so, dessa forma, uma classe de exemplos de operadores compactos.
Alm disso, operadores integrais lineares em L2 formam uma classe interessante de exemplos de operadores dessa
forma.
Exemplo 9.3.3 Suponhamos que L2 (X, ) seja um espao de Hilbert separvel e que K seja um operador integral
em L2 (X, ), o que significa que existe um ncleo k L2 (X X, ) tal que
Z
(K f )(x) = k(x, y) f (y)dy .
X
Sendo assim, Z Z
kKen k2L2 = |Ken (x)|2 dx = |hkx , en i|2 dx ,
X X
Dessa forma, usando que
|hkx , en i|2 = kkx k2L2 = kkx k2L2 ,
n=1
obtemos
Z
kKen k2L2 = X
|hkx , en i|2 dx
n=1 n=1
Z
= kkx k2L2 dx
X
Z Z
= |k(x, y)|2 dy dx < ,
X X
j que k L2 (X X, ).
9.4 Exerccios
Exerccio 173 Demonstre que toda projeo ortogonal sobre subespaos fechados de um espao de Hilbert um
operador auto adjunto.
Exerccio 174 Demonstre que o operador Sd satisfaz kSd k = 1 e uma isometria. Entretanto, Se tambm tem
norma unitria mas no uma isometria.
Exerccio 176 Seja D : H H um operador diagonal dado por D(e j ) = j e j , onde {e j } um conjunto maximal
ortonormal do espao de Hilbert H e ( j ) uma sequncia de escalares. Demonstre que se D compacto ento
j 0.
9.4. EXERCCIOS 127
Exerccio 178 Seja T B(H) um operador de HilbertSchmidt no espao de Hilbert separvel H e defina
1/2
kT ks := kTek k2 ,
k=1
onde {ek }kN um conjunto ortonormal maximal. Defina Bs (H) o subconjunto de B(H) formado pelos oper-
adores de HilbertSchmidt, isto , T Bs (H) se, e somente se, kT ks < .
Exerccio 180 Demonstre que o operador de Volterra definido em L2 ([0, 1]) compacto.
Exerccio 181 Demonstre que se {e j } uma sequncia ortonormal em um espao de Hilbert H e se T C (H, H),
ento (Te j ) converge para zero.
Exerccio 182 (P.L. Lions) Sejam X, Y e Z espaos de Banach. Suponha que X Y com a incluso compacta e
Y Z com incluso contnua. Demonstre que, para todo > 0, existe C > 0 tal que
kukY kukX +C kukZ ,
para qualquer u X.
Conclua que, dado > 0, existe C > 0 tal que
max |u(x)| max |u0 (x)| +C kukL1 ,
0x1 0x1]
A palavra latina spectrum significa fantasma, alma, esprito. Neste captulo veremos que operadores possuem es-
pritos. Entretanto, eles vivem no em castelos em runas, mas no plano complexo. sabido que espritos, quando
perguntados corretamente, podem nos contar vrias coisas importantes. Para ter certeza disso, no precisaremos
repetir a experincia de Hamlet ou Macbeth; ao invs disso, olharemos para o Teorema Espectral...
A. Ya. Helemskii
T = T I,
onde I o operador identidade em X. Existem duas possibilidades: T bijetivo, que o mesmo que dizer que este
operador inversvel, ou T no inversvel.
Se T inversvel, dizemos que est no resolvente de T, que denotado por (T ) C. Assim,
(T ) = { C | T = T I bijetivo}.
Uma aplicao imediata do Teorema da Aplicao Aberta implica que T1 limitado. O operador T1 chamado
de operador resolvente e tambm denotado por R(T, ).
Se C mas 6 C, dizemos que est no espectro de T. Denotamos o espectro de T por
(T ) = C \ (T ).
Se o espao de Banach de dimenso finita, ento um resultado de lgebra Linear nos diz que um operador
linear inversvel se, e somente se, se ncleo formado somente pelo vetor nulo. Dessa forma, em dimenso
finita, se (T ), ento existe x X, x 6= 0, tal que T x = x. Entretanto, em dimenso infinita podemos ter
outras situao envolvendo T com (T ).
De uma maneira geral, definimos os seguintes subconjuntos do espectro (T ) :
129
130 CAPTULO 10. TEORIA ESPECTRAL BSICA
Demonstrao. claro que estes trs conjuntos so dois a dois disjuntos. Suponhamos que C seja tal
que: T injetivo, Im(T ) denso em X e T1 limitado. Vamos demonstrar que (T ), o que implicar na
proposio.
Seja S = T1 : Im(T ) X, que um operador limitado. Pela densidade da imagem de T em X e pelo fato
de X ser completo, S pode ser estendido a um operador S : X X da seguinte forma:
onde (yn ) Im(T ) e yn y. Dessa maneira S B(X). Se y e (yn ) so escolhidos dessa forma, temos que
Syn = Syn = T1 yn =: xn X,
yn = T xn T x.
No caso em que p (T ), dizemos que um autovalor de T. Neste caso, existe x X, x 6= 0, tal que
T x = x.
Lema 10.1.2 Seja X um espao de Banach e V B(X) com kV k < 1. Ento I V B(X) e um operador
inversvel com inversa limitada.
Demonstrao. Este resultado segue do Exerccio 26 e de uma aplicao do Teorema da Aplicao Aberta.
Corolrio 10.1.3 Seja X um espao de Banach. Ento o conjunto dos operadores inversveis aberto em B(X).
(T ) BR .
Em particular, (T ) compacto em C.
10.2. ESPECTRO DE OPERADORES AUTO ADJUNTOS 131
Observao 10.1.6 A teoria espectral pode ser desenvolvida para operadores no limitados com domnio denso
em um espao de Banach X. Entretanto, vejamos ocaso em que X = L2 (1, 1) e que
d
T= , Dom(T ) = C1 (1, 1).
dx
Ento T um operador no limitado (verifique) com domnio denso. Se C, ento
d x
(T I)e x = e e x = 0.
dx
Consequentemente, p (T ). Como C qualquer, temos (T ) = p (T ) e (T ) = 0.
/
Observao 10.1.7 Dado T B(X), os pontos (T ) podem ser classificados de outras maneiras. Por exem-
plo, um ponto (T ) chamado essencialmente singular para o operador T se T no bijetivo e T no um
operador de Fredholm. Um operador de Fredholm aquele que ker(T ) possui dimenso finita e Im(T ) possui
codimenso finita (a codimenso de um subespao Y de X definida como sendo dim X/Y ). O subconjunto de
(T ) consistindo dos pontos essencialmente singulares chamado de espectro essencial e denotado por e (T ).
Lema 10.2.1 Suponhamos que X e Y sejam espaos de Banach e que T B(X,Y ). Se T limitado inferiormente,
isto , se existe uma constante > 0 tal que
Demonstrao. claro que T injetivo. Seja ento (yn ) Y com yn = T xn , (xn ) X. Suponhamos que
yn y Y. Ento (yn ) de Cauchy em Y e, por ser T limitado inferiormente, (xn ) tambm ser de Cauchy em X,
que Banach. Logo, existe x X com xn x. Pela continuidade de T, y = T x = lim T xn = lim yn = y e Im(T )
fechada.
Teorema 10.2.2 Sejam H um espao de Hilbert e T B(H) um operador auto adjunto. Ento p (T ) R. Alm
disso, (T ) se, e somente se, T limitado inferiormente.
e = R.
Suponhamos agora que (T ) e observemos que, como T1 limitado,
0 = hT x, x0 i = hT x, x0 i hx, x0 i
= hx, T x0 i hx, x0 i
= hx, T x0 i.
Corolrio 10.2.3 O espectro (T ) de um operador limitado e auto adjunto T em um espao de Hilbert H real.
hT x, xi = hT x, xi hx, xi
e
hT x, xi = hT x, xi hx, xi,
j que hT x, xi R. Dessa forma,
hT x, xi hT x, xi = 2i hx, xi.
Portanto,
1 1
kxk2 = hT x, xi hT x, xi = (2ihT x, xi) kT xkkxk,
2i 2i
onde denota a parte imaginria de um nmero complexa. Sendo x 6= 0, vemos que 6= 0 ento T seria limitado
inferiormente e (T ), uma contradio.
Corolrio 10.2.5 O espectro residual r (T ) de um operador limitado, auto adjunto em um espao de Hilbert H
vazio.
Demonstrao. Suponhamos, para efeitos de contradio, que r (T ). Ento T inversvel em sua imagem,
isto , existe
T1 : Im(T ) H,
mas
Im(T ) 6= H.
Se y (Im(T )) e y 6= 0, ento, para todo x H,
0 = hT x, yi = hx, T yi,
pois R. Mas da, tomando x = T y, conclumos que T y = 0, isto , p (T ) r (T ), que uma contradio.
Vimos que o espectro de um operador limitado e auto adjunto em um espao de Hilbert real e consiste
apenas de autovalores e de pontos no espectro contnuo. Vamos verificar agora que podemos limitar (T ).
10.2. ESPECTRO DE OPERADORES AUTO ADJUNTOS 133
Teorema 10.2.6 Sejam H um espao de Hilbert e T B(H) um operador auto adjunto. Ento
(T ) [r, R],
onde
r = inf hT x, xi, R = sup hT x, xi.
kxk=1 kxk=1
Demonstrao. Seja > 0 e = R + > R. Vamos verificar que (T ). Por um lado calculamos, se x 6= 0,
hT x, xi = kxk2 T x/kxk , x/kxk kxk2 R.
Alm disso,
hT x x, xi = hT x, xi kT xkkxk,
e
hT x x, xi = hT x, xi kxk2 (r )kxk2 = kxk2 ,
o que implica que (T ).
Chamamos a expresso
hT x, xi
q(x) := , x 6= 0,
hx, xi
de quociente de Rayleigh de T. em x. Dessa forma, no caso de um operador auto adjunto limitado em um espao
de Hilbert,
(T ) inf q(x), sup q(x) .
x6=0 x6=0
Proposio 10.2.7 Sejam H um espao de Hilbert e T B(H) um operador auto adjunto. Ento,
M kT k.
Se T 0 nada temos a fazer. Dessa forma, tomemos z H com T z 6= 0 e normalizamos para kzk = 1. Definamos
v = kT zk1/2 z w = kT zk1/2 T z.
Ento,
kvk2 = kwk2 = kT zk.
134 CAPTULO 10. TEORIA ESPECTRAL BSICA
= 2M(kvk2 + kwk2 )
= 4MkT zk,
onde utilizamos tambm a identidade do paralelogramo. Obtemos ento que
kT zk M.
Tomando o supremo em z conclumos a demonstrao.
Podemos agora demonstrar que o sup e o inf do quociente de Rayleigh no s so atingidos, mas pertencem
ao espectro de T se T for limitado e auto adjunto.
Teorema 10.2.8 Sejam H um espao de Hilbert e T B(H) um operador auto adjunto. Ento,
r = inf hT x, xi (T ), R = sup hT x, xi (T ).
kxk=1 kxk=1
Proposio 10.2.9 Suponhamos que H seja um espao de Hilbert complexo e que T B(H). Ento T um
operador positivo se, e somente se, (T ) 0. Alm disso, se T positivo, ento T auto adjunto.
Operadores positivos possuem propriedades interessantes. Por exemplo, sabido que todo operador positivo
T B(H) em um espao de Hilbert possui uma nica raiz quadrada, isto , existe um nico operador positivo
S B(H) tal que
S2 = T.
Proposio 10.3.1 Seja X um espao vetorial normado e T C (X, X). Ento p (T ) enumervel (podendo ser
vazio) e u nico ponto de acumulao possvel para este conjunto o zero.
p (T ) { C | | | r}
com nem todos n s sendo nulos; ao aplicarmos TN nessa combinao linear vemos que
N N N1
0= n TN xn = n (n N )xn = n (n N )xn ;
n=1 n=1 n=1
e Tn : Mn Mn1 .
Seja yn Mn \ Mn1 com yn 6= 0, o qual existe pois o conjunto {xn | n N} linearmente independente.
Definamos
d = dist(yn , Mn1 ) > 0.
Existe y0 Mn1 tal que
d kyn y0 k 2d.
Se w Mn1 qualquer, estimamos
y y
1
n 0
w
=
yn y0 kyn y0 kw
kyn y0 k kyn y0 k
d 1
.
kyn y0 k 2
136 CAPTULO 10. TEORIA ESPECTRAL BSICA
Definamos
yn y0
zn := .
kyn y0 k
A sequncia (zn ) limitada, zn Mn e, para n > m, consideremos a diferena T zn T zm . Observemos que
T zn T zm = n zn (T zm T zn + n zn ) = n zn (Tn zn + T zm ) = n zn x.
x
x= Mn1 .
|n |
Portanto,
|n | r
kT zn T zm k = |n |kzn xk .
2 2
Assim, (T zn ) no pode possuir ums subsequncia convergente, contradizendo o fato de T ser compacto e (zn ) ser
limitada. Isto finaliza a demonstrao.
Proposio 10.3.2 Seja X um espao normado e T C (X, X). Se 6= 0 o ncleo ker T possui dimenso finita.
Demonstrao. Se 6 p (T ), ento ker T = {0}. Assim, vamos estudar somente o caso em que p (T ).
Vamos demonstrar que a bola fechada em ker T definida por
B = B1 (0) ker T
Im(Tn ) = Im(Tn+1 ),
para algum n N. Supondo que no, procedemos como na demonstrao da Proposio 10.3.1 para encontrarmos
uma sequncia (xn ) onde cada xn satisfaz o seguinte: xn Im(Tn ), kxn k = 1 e
1
kxn xk , para qualquer x Im(Tn+1 ).
2
Uma vez que obtemos (xn ), tomamos n > m e escrevemos
T xm T xn = xm (T xm + T xn + xn ) = xm x.
10.4. EXERCCIOS 137
| |
k xm xk = | |kxm xk .
2
Segue que (xn ) uma sequncia limitada mas (T xn ) no possui uma subsequncia convergente, contradizendo o
fato de T ser compacto.
Dessa forma, existe n N tal que
Im(Tn ) = Im(Tn+1 ).
Seja y X qualquer. Ento Tn y Im(Tn ) = Im(Tn+1 ). Segue que existe x X tal que
Tn+1 x = Tn y,
ou seja,
Tn (y T )x = 0,
e como T injetivo,
y T x = 0.
Conclumos que T sobrejetivo e (T ), como queramos demonstrar.
Teorema 10.3.4 (Alternativa de Fredholm) Seja T C (X, X) um operador compacto em um espao de Banach
e C, 6= 0.
Observao 10.3.5 A alternativa de Fredholm nos diz que, com X Banach e T compacto, dado y X, a equao
(T )x = y
tem a seguinte propriedade: se ela possui uma soluo para todo y X ento a soluo nica; por outro lado,
se a soluo de (T I)x = 0 nica, ento a equao no homognea possui soluo nica para todo y X.
10.4 Exerccios
Exerccio 183 D os detalhes da demonstrao do Lema 10.1.2 usando o Exerccio 26.
Exerccio 185 Considere o espao L2 ([0, 1], dx) e L ([0, 1], dx) dada por (x) = x. Seja M : L2 ([0, 1], dx)
L2 ([0, 1], dx) o operador de multiplicao definido no Exemplo 185.
138 CAPTULO 10. TEORIA ESPECTRAL BSICA
a) Demonstre que p (M ) = 0.
/
b) Demonstre que se 0 1, ento (M ).
Sugesto: fixe (0, 1) e n N com En := [ n1 , + n1 ] [0, 1]; da tome
r
n
gn = E
2 n
e veja que k(M I)gn k 0, o que implica que este operador no pode ser inversvel; se = 0 ou = 1
tome En = [0, 1/n] ou En = [1 1/n, 1].
Exerccio 187 Demonstre que se T B(X), com X Banach, e se S B(X) inversvel, ento (T ) = (S1 T S).
Referncias Bibliogrficas
[1] Brezis, Haim: Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer,
New York, 2011.
[2] Conway, John B.: A course in functional analysis. Second edition. Graduate Texts in Mathematics, 96.
Springer-Verlag, New York, 1990.
[3] de Oliveira, Csar R.: Introduo anlise funcional. Publicaes Matemticas do IMPA. Instituto de
Matemtica Pura e Aplicada (IMPA), Rio de Janeiro, 2001.
[4] Folland, Gerald B.: Fourier analysis and its applications. The Wadsworth & Brooks/Cole Mathematics Se-
ries. Wadsworth & Brooks/Cole Advanced Books & Software, Pacific Grove, CA, 1992.
[5] Folland, Gerald B.: Real analysis. Modern techniques and their applications. Second edition. Pure and Ap-
plied Mathematics (New York). A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1999.
[6] Kesavan, S. Topics in functional analysis and applications. John Wiley & Sons, Inc., New York, 1989.
[7] Lewin, J.: A simple proof of Zorns lemma. Amer. Math. Monthly. 98, (1991), no. 4, 353354.
[8] Lindenstrauss, J.; Tzafriri, L.: On the complemented subspaces problem. Israel J. Math. 9, (1971), 263269.
[9] Mujica, Jorge: Notas de Anlise Funcional. Notas de aula, IMECCUNICAMP.
[10] Mitrovic, Dragisa; Zubrinic, Darko: Fundamentals of applied functional analysis. Distributions-Sobolev
spaces-nonlinear elliptic equations. Pitman Monographs and Surveys in Pure and Applied Mathematics, 91.
Longman, Harlow, 1998.
[11] Rudin, Walter: Functional analysis. Second edition. International Series in Pure and Applied Mathematics.
McGraw-Hill, Inc., New York, 1991.
[12] Stein, Elias M.; Shakarchi, Rami: Functional analysis. Introduction to further topics in analysis. Princeton
Lectures in Analysis, 4. Princeton University Press, Princeton, NJ, 2011.
[13] Stein, Elias M.; Shakarchi, Rami: Real analysis. Measure theory, integration, and Hilbert spaces. Princeton
Lectures in Analysis, 3. Princeton University Press, Princeton, NJ, 2005.
139