Você está na página 1de 61

IEGO FERNANDES PIRES

Um estudo sobre bases de Schauder em espaos


de Banach e aplicaes do princpio de seleo de
Bessaga-Pelczynski.

UNIVERSIDADE FEDERAL DE UBERLNDIA


FACULDADE DE MATEMTICA
2013
i

ii

IEGO FERNANDES PIRES

Um estudo sobre bases de Schauder em espaos


de Banach e aplicaes do princpio de seleo de
Bessaga-Pelczynski.

Dissertao

apresentada

ao

Programa

de

Ps-

Graduao em Matemtica da Universidade Federal de


Uberlndia, como parte dos requisitos para obteno do
ttulo de

MESTRE EM MATEMTICA.

rea de Concentrao: Matemtica.


Linha de Pesquisa: Anlise Funcional.
Orientador:

Prof. Dr. Vincius Vieira Fvaro.

iii

Dados Internacionais de Catalogao na Publicao (CIP)


Sistema de Bibliotecas da UFU , MG, Brasil

P667e
2013

Pires, Iego Fernandes,1986Um estudo sobre bases de Schauder em espaos de Banach


e aplicaes do princpio de seleo de Bessaga-Pelczynski / Iego
Fernandes Pires. - 2013.
61 f. : il.
Orientador: Vincius Vieira Fvaro.
Dissertao (mestrado) Universidade Federal de Uberlndia,
Programa de Ps-Graduao em Matemtica.
Inclui bibliografia.
1. Matemtica - Teses. 2. Anlise funcional - Teses. 3. Banach,
Espaos de - Teses. I. Fvaro, Vincius Vieira. II. Universidade Federal de Uberlndia. Programa de Ps-Graduao em Matemtica.
III.Ttulo.

CDU: 51

iv

Dedicatria

Dedico este trabalho a toda minha famlia, especialmente ao meu pai Ginair Francisco Pires,
minha me Ctia Deus Fernandes, s minhas irms Ila Fernanda e Ingrid Nayara, e, a minha
esposa Keina, pelo incentivo, compreenso e todo o apoio.

vi

Agradecimentos

Primeiramente agradeo a Deus por ter me abenoado em mais uma conquista.


Agradeo a minha esposa Keina, por acreditar em mim e nunca me deixar desanimar.
Aos meus pais Ginair e Ctia, por no medirem esforos para eu chegar at aqui.
s minhas irms Ila e Nayara, por estarem sempre a meu lado.
Ao professor Vincius Vieira Favro, pela pacincia e compreenso na orientao desse trabalho.
professora Marcela Luciano Vilela de Souza e ao professor Ariosvaldo Marques Jatob, por
terem aceito o convite para fazerem parte da banca de defesa deste trabalho.
Aos professores do programa de Ps-Graduao em Matemtica da UFU.
Aos colegas do curso de mestrado: Bruno, Rafael, Letcia e Otoniel.
Ao meu primo Mrio Sergio e aos amigos Rafael Fernandes, Joo Victor e Thiago Alves.
CAPES pelo apoio nanceiro.

vii

Um estudo sobre bases de Schauder em espaos de Banach e aplicaes do princpio


de seleo de Bessaga-Pelczynski. 2013. Dissertao de Mestrado, Universidade Federal de
PIRES, I. F.

Uberlndia, Uberlndia-MG.

Resumo

Neste trabalho faremos um estudo detalhado da teoria bsica de bases de Schauder em espaos de Banach. Mais precisamente, estudaremos os principais resultados envolvendo bases
de Schauder (incondicionais), sequncias bsicas (incondicionais) e provaremos um importante
resultado da teoria de espaos de Banach, o princpio de seleo de Bessaga-Pelczynski. Estudaremos tambm algumas aplicaes deste princpio tais como a existncia de sequncias
bsicas em espaos de Banach e o Teorema de Pitt para operadores compactos entre espaos
de sequncias.

Palavras-chave :

Espaos de Banach, Bases de Schauder, sequncias bsicas, o problema da

base incondicional, princpio de seleo de Bessaga-Pelczynski e Teorema de Pitt.

viii

A study about Schauder`s basis in Banach spaces and applications of the BessagaPelczynski selection principle. 2013. M. Sc. Dissertation, Federal University of Uberlndia,

PIRES, I. F.

Uberlndia-MG.

Abstract

In this work, we will study the basic theory of Schauder basis of Banach spaces. More precisely,
we will study the main results involving (unconditionally) Schauder basis, (unconditionally)
basic sequences and we will prove an important result of the Banach space theory, the BessagaPelczynski selection principle. We will also study some applications of this principle such that
the existence of basic sequences in Banach spaces and the Pitt's Theorem for compact operators
between sequence spaces.

Keywords :

Banach spaces, Schauder basis, basic sequences, the unconditional basis problem,

Bessaga-Pelczynski selection principle and Pitt's Theorem.

SUMRIO

Resumo

vii

Abstract

viii

Introduo

1 Resultados Clssicos de Anlise Funcional

2 Bases de Schauder em espaos de Banach

2.1

Sries em espaos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2

Bases em espaos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

3 Sequncias bsicas em Espaos de Banach

27

3.1

Bases e sequncias bsicas incondicionais . . . . . . . . . . . . . . . . . . . . . .

32

3.2

Dois problemas importantes envolvendo sequncias bsicas em espaos de Banach 37


3.2.1

O problema da base incondicional . . . . . . . . . . . . . . . . . . . . . .

37

3.2.2

O Princpio de Seleo de Bessaga-Pelczynski

39

. . . . . . . . . . . . . . .

4 Aplicaes do princpio de seleo de Bessaga-Pelczynski

48

4.1

Existncia de sequncias bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . .

48

4.2

O Teorema de Pitt

49

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

ix

Introduo

A rea do conhecimento na qual essa dissertao se insere a Anlise Funcional, mais precisamente na teoria de espaos de Banach. Em Anlise Funcional, um conceito bastante importante
e usual o de base de Schauder. Bases de Schauder so muito teis para se entender o comportamento e a estrutura dos espaos de Banach. Dizemos que uma sequncia
de Schauder de um espao de Banach

se cada

xE

(xn )
n=1

base

pode ser escrito de maneira nica como

an xn , onde an so escalares no corpo. Como veremos neste trabalho,


n=1
fcil provar que todo espao de Banach com base de Schauder separvel. Entretanto, a
uma srie do tipo

pergunta de que todo espao de Banach separvel tem base de Schauder permaneceu em aberto
por vrios anos. A resposta a esse problema veio com Eno em 1973, em sua negativa.
A busca de condies para que um espao de Banach tenha base de Schauder foi objeto de
pesquisa de diversos matemticos e um problema importante e que tem resposta armativa
que todo espao de Banach tem um subespao com base de Schauder. A soluo desse problema
utiliza um resultado extremamente importante que conhecido como o princpio de seleo de
Bessaga-Pelczynski. Esse resultado importante no s devido a sua aplicao para a soluo
desse problema, mas tambm em diversos outros problemas. Nesta dissertao, mostraremos
com detalhes a demonstrao deste princpio de seleo, mostraremos tambm detalhadamente
a demonstrao de que todo espao de Banach tem um subespao com base de Schauder. Alm
disso, faremos uma outra aplicao interessante do princpio de seleo de Bessaga-Pelczysnki,
que a demonstrao do Teorema de Pitt (essas aplicaes sero feitas no captulo 4).
O Teorema de Pitt tem diversas aplicaes e ele caracteriza operadores compactos entre espaos de sequncias somveis. Este teorema usado, por exemplo, na obteno de operadores,
denidos entre espaos de sequncias somveis, que atingem a norma e problemas de lineabilidade envolvendo tais operadores (veja por exemplo [14] para os problemas de lineabilidade e
operadores que atingem a norma e [12] como referncia para resultados sobre operadores que
atingem a norma).
Nesta dissertao, faremos tambm um estudo sobre bases de Schauder incondicionais, isto

, bases em que a convergncia da representao de cada elemento, em termos da base, incondicional. Tais bases so muito teis na teoria dos espaos de Banach, entretanto no verdade
nem que espaos de Banach possuem algum subespao com base de Schauder incondicional.
Este problema conhecido como o

problema da base incondicional (trataremos desse problema

com mais detalhes no captulo 3). Entretanto, daremos uma caracterizao para que uma base
de Schauder seja base de Schauder incondicional de algum subespao.
Este trabalho est dividido da seguinte maneira:

(i) No captulo 1, daremos os principais conceitos e notaes que usaremos ao longo do trabalho
e faremos uma reviso dos principais resultados de Anlise Funcional necessrios.
(ii) No captulo 2, devotaremos uma seo ao estudo de sries em espaos de Banach e depois
introduziremos as bases de Schauder juntamente com os resultados bsicos pertinentes
alm de vrios exemplos importantes.
(iii) No captulo 3, faremos um estudo sobre sequncias bsicas (incondicionais) em espaos de
Banach, isto , bases de Schauder (incondicionais) de um subespao. Alm disso, abordaremos os problemas de existncia de sequncias bsicas e sequncias bsicas incondicionais.
Neste captulo tambm provaremos o princpio de seleo de Bessaga-Pelczynski.
(iv) Finalmente, no captulo 4, faremos as duas aplicaes do princpio de seleo que nos
referimos anteriormente, alm de dar os pr-requisitos necessrios para elas.

Iego Fernandes Pires

Uberlndia-MG, 31 de Julho de 2013.

CAPTULO 1
Resultados Clssicos de Anlise Funcional

O objetivo deste captulo introduzir algumas denies, notaes e alguns resultados de


Anlise Funcional que sero utilizados nos demais captulos.
Durante todo o texto,

Denio 1.0.1.
k k: E R

Seja

K denotar o corpo R dos nmeros reais ou o corpo C dos complexos.

um espao vetorial sobre

K.

Uma

norma

em

uma funo

tal que

(N1) kxk 0 para todo x E e kxk = 0 x = 0.


(N2) kaxk = |a|kxk para todo a K e x E .
(N3) kx + yk kxk + kyk para quaisquer x, y E .
Denio 1.0.2.

espao normado um espao vetorial E munido de uma norma k k. E


por sua vez um espao mtrico com a mtrica induzida pela norma, isto , a mtrica d dada
Um

por

d(x, y) = kx yk
A

bola unitria fechada

do espao normado

com

x, y E.

o conjunto

BE = {x E : kxk 1} .

Denio 1.0.3. Dizemos que um espao normado E um espao de Banach se E for completo.
Denio 1.0.4.

Se

um espao mtrico compacto, denotamos o espao vetorial de todas

as funes contnuas denidas no compacto

a valores em

R por espao C(K), o qual torna-se

um espao de Banach com a norma

kf k = sup {|f (x)| : x K} .


3

Um caso que estamos particularmente interessado quando


Nesse caso, denotamos

Denio 1.0.5.

C(K)

por

o intervalo compacto

[a, b].

C[a, b].

Denotamos

c0 = {(an )
n=1 : an K

para todo

nN

an 0}

o qual se torna um espao de Banach com a norma

k (an )
n=1 k = sup {|an | : n N} .

Denio 1.0.6.
somveis

1 p < +.

Seja

O espao vetorial das sequncias

absolutamente p-

dado por

(
`p =

(an )
n=1 : an K

nN

para todo

)
|an |p < ,

n=1
o qual se torna um espao de Banach com a norma

k (an )
n=1

kp =

! p1
|an |p

n=1

Denio 1.0.7.

O espao vetorial das sequncias limitadas dado por


= (an )
n=1 : an K

para todo

nN


sup |an | <
nN

o qual se torna um espao de Banach com a norma

k (an )
n=1 k = sup |an |.
nN

Denio 1.0.8.

Um espao mtrico

dito

separvel

se contm um subconjunto denso e

enumervel.

Proposio 1.0.9. Um espao normado E separvel se, e somente se, E possui um subconjunto enumervel A E tal que span {A} denso em E , onde span {A} denota o espao
gerado pelo conjunto A.

Demonstrao:

Veja [3, Lema 1.6.3].

Denio 1.0.10.

Se

so espaos normados, denotamos o conjunto de todos os

operadores lineares e contnuos de

em

por

L(E, F )

que um espao vetorial com as

operaes usuais de funes.


Quando
de

dual

de

F = K, denotamos simplesmente L(E, K) = E 0 ou L(E, K) = E , o qual chamado

E.

J o espao

E 00 = (E 0 )0

chamado de

bidual

de

E.

Proposio 1.0.11. Sejam E e F espaos normados.


(a) A expresso
kT k = sup kT (x)k
xBE

dene uma norma no espao L(E, F ).

(b) kT (x)k kT kkxk para todos T L(E, F ) e x E .


(c) Se F for Banach, ento L(E, F ) um espao Banach.
Demonstrao:

Veja [3, Proposio 2.1.4]

Corolrio 1.0.12. O dual E 0 de qualquer espao normado E um espao de Banach.


Denio 1.0.13.

Dizemos que os espaos normados

operador linear contnuo e bijetor

T: E F

so

isomorfos

cujo operador inverso

isomorsmo.
T (x) F dizemos que T um isomorsmo isomtrico.

contnuo. Neste caso, dizemos que

um

E se

se existe um

T 1 : F E

kxk = kT (x)k

para

tambm

xE

Teorema 1.0.14. Todo espao normado separvel isometricamente isomorfo a algum


subespao de C[0, 1].

Demonstrao:

Veja [3, Teorema 6.5.5].

Proposio 1.0.15. Seja 1 p < . Ento


(a) Os espaos (`p )0 e `p0 so isometricamente isomorfos, onde p0 denota o
isto , p tal que

conjudado

de p,

1
1
+
= 1.
p0 p

(b) Os espaos (c0 )0 e `1 so isometricamente isomorfos.


Demonstrao:

Veja [3, Proporsies 4.2.1 e 4.2.3].

Teorema 1.0.16 (Teorema de Baire). Seja (M, d) um espao mtrico completo e (Fn )
n=1 uma
sequncia de subconjuntos fechados de M tais que M =
tem interior no vazio.

Demonstrao:

Veja [3, Teorema 2.3.1].

n=1

Fn , ento existe n0 N tal que Fn0

Teorema 1.0.17

. Sejam E um espao de Banach, F um

(Teorema de Banach-Steinhaus)

espao normado e (Ti )iI uma famlia de operadores em L(E, F ) tal que para cada x E existe
Cx > 0 tal que
sup kTi xk < Cx .
iI

Ento sup kTi k < .


iI

Demonstrao:

Veja [3, Teorema 2.3.2].

Teorema 1.0.18

. Sejam E e F espaos de Banach e

(Teorema da Aplicao Aberta)

T : E F linear, contnuo e sobrejetor. Ento T uma aplicao aberta. Em particular,

todo operador linear contnuo e sobrejetor entre espaos de Banach um isomorsmo.

Demonstrao:
Teorema 1.0.19

Veja [3, Teorema 2.4.2].

. Seja T : E F um operador linear entre

(Teorema do Grco Fechado)

espaos de Banach. Ento T contnuo se, e somente se, o grco Gr(T ) fechado em E F .
Lembrando que
Gr(T ) = {(x, y) : x E e y = T (x)} = {(x, T (x)) : x E} E F.

Demonstrao:

Veja [3, Teorema 2.5.1].

Proposio 1.0.20. Sejam E e F espaos normados, com F completo. Seja D um subespao


denso de E e seja T L(D, F ). Ento existe T L(E, F ) tal que T|D = T e kTk = kT k.

Demonstrao:

Dado

x E,

seja

(xn )
n=1

uma sequncia em

que converge para

x.

Como

kT (xm ) T (xn ) k kT kkxm xn k


e como

completo, segue que a sequncia

(T (xn ))
n=1

converge em

F.

Assim a aplicao

denida por

Te : E F ; Te(x) = lim T (xn )


n

est bem denida. Alm disso, fcil ver que

Te

linear,

Te(x) = T (x)

para todo

xD

e que

kTek = kT k.

Proposio 1.0.21. Para todo espao normado E o operador denido por


00

JE : E E ; JE (x)() = (x)

para todos x E e E 0 , uma isometria linear, chamado de mergulho cannico de E em


00
E .

Demonstrao:

Veja [3, Proposio 4.3.1].

Denio 1.0.22.
JE : E E

00

Dizemos que o espao normado

for sobrejetor, ou seja,

reexivo

se o mergulho cannico

00

JE (E) = E .

Denio 1.0.23. Seja T L(E, F ) um operador linear contnuo entre espaos normados. O
operador

adjunto

de T o operador T 0 : F 0 E 0 dado por


T 0 () (x) = (T (x)) para todos x E e F 0 .

Proposio 1.0.24. Seja T L (E, F ). Ento T 0 L (F 0 , E 0 ) e kT 0 k = kT k. Mais ainda, se


T isomorsmo (isomtrico), T 0 tambm isomorsmo (isomtrico).

Demonstrao:

Veja [3, Proposio 4.3.11].

Denio 1.0.25.

topologia fraca

quando a sequncia (xn )n=1 de

num espao normado

E,

ser denotada por

(E, E 0 )

E convergir para x E na topologia fraca, escreveremos xn x.

Proposio 1.0.26. Sejam E e F espaos de Banach. Ento T : E F contnua se, e


somente se, T fracamente contnua, isto , se T : (E, (E, E 0 )) (F, (F, F 0 )) for contnuo.

Demonstrao:

Veja [3, Proposio 6.2.9].

Teorema 1.0.27. Um espao de Banach E reexivo se, e somente se, a bola unitria BE
compacta na topologia fraca.

Demonstrao:

Veja [3, Teorema 6.4.5].

Denio 1.0.28. Sejam E e F

compacto

se

T (BE )

Denio 1.0.29.

espaos normados. Dizemos que o operador linear

compacto em

Sejam

completamente contnuo

se

F
w

F.

espaos de Banach e

xn x

T : E F

em

implicar que

T : E F

linear. Dizemos que T

T (xn ) T (x)

em

F.

Proposio 1.0.30. Sejam E e F espaos de Banach, E reexivo e T L (E, F ). Se T


completamente contnuo, ento T compacto.

Demonstrao:
(xn )
n=1 em

BE

Seja

(zn )
n=1

uma sequncia de vetores no nulos em

por

xn =
n N.

e dena a sequncia

zn
,
kzn k

BE fracamente compacta,
w

o que implica a existncia de uma subsequncia (xnk )k=1 de (xn )n=1 tal que xnk x BE .
w
Mas por hiptese xnk x em BE implica T (xnk ) T (x) em F , logo T (BE ) compacto.
para todo

Portanto

Como

compacto.

reexivo, segue do Teorema 1.0.27 que

Teorema 1.0.31. Sejam E e F espaos de Banach. Ento T : E F um operador


compacto se, e somente se, T 0 : F 0 E 0 compacto.

Demonstrao:

Veja [3, Teorema 7.2.7]

Teorema 1.0.32 (Teorema de Ascoli). Seja K um espao mtrico compacto e A um subconjunto


de C(K) . Ento A compacto se, e somente se, as sequintes condies so satisfeitas:
(a)

A equicontnuo, isto , para todo t0 K e > 0, existe > 0 tal que |f (t) f (t0 )| <

para todos t K com d(t, t0 ) < e f A,


(b)

O conjunto {f (t); f A} limitado em K para todo t K.

Demonstrao:

Veja [9, Teorema III.2.1].

CAPTULO 2
Bases de Schauder em espaos de Banach

Antes de iniciarmos o estudo das bases de Schauder, faremos um breve apanhado sobre
sries em espaos de Banach.

2.1

Sries em espaos de Banach

Denio 2.1.1.

Seja

(xn )
n=1

uma sequncia em um espao normado

E.

Dizemos que

(xn )
n=1

somvel

se a srie

xn

convergente.

n=1

absolutamente somvel

se

kxn k < .

n=1

incondicionalmente somvel

x(n)

convergente para qualquer bijeo (permuta-

critrio de Cauchy,

anlogo ao da reta, para sries num espao de

se

n=1
o)

: N N.

fcil ver que vale o

Banach. Mais precisamente, uma srie

xn

convergente se, e somente se, dado

> 0, existe

n=1

n0 N

tal que



m
X



xj < ,


sempre que

m > n n0 .

j=n

claro que toda sequncia incondicionalmente somvel tambm somvel. Dirichlet provou
em 1873 que, em

R, os conceitos de somabilidade absoluta e incondicional so equivalentes.

espaos de Banach, tal equivalncia no verdadeira. Vejamos um exemplo.

Em

10

Exemplo 2.1.2.

Seja

(en )
n=1

a sequncia cannica de vetores unitrios, isto ,

en = (0, 0, . . . , 0, 1, 0, 0, . . .),
n-sima coordenada de en .
en
xn =
, incondicionalmente somvel,
n
(xn )
n=1 no absolutamente somvel, pois

c0 ,

onde o 1 aparece apenas na

Vamos provar que, em

(xn )
n=1 , onde

mas no absolutamente somvel.

claro que

kxn k

n=1

a sequncia

X
1
=
n
n=1

a qual divergente.
Vejamos agora que
qualquer.
Como

Chamando

bijeo, para cada

max{n1 , . . . , nN }
sn =

n
X

(xn )
n=1 incondicionalmente somvel. Seja : N N uma bijeo
n
X
1
sn =
x(j) e considerando > 0, tome N N tal que
< .
N
j=1

k {1, , N }

existe

A = {1, . . . , n} {n1 , . . . , nN },

nk

tal que

(nk ) = k .

segue que para

x(j) = x(1) + + x(n) = x(n1 ) + + x(nN ) +

j=1

Tomando

n n0 ,

x(j) = x1 + + xN +

jA

Assim, para todo

n0 =

x(j) .

jA

n n0

 


sn 1
1 < 1 < .

n n=1 N + 1
N

Considerando este exemplo, podemos questionar se, em qualquer espao de Banach de


dimenso innita, existe uma srie incondicionalmente convergente que no absolutamente
convergente. Mais ainda, ser que convergncia incondicional implicar em convergncia absoluta
exclusividade dos espaos de dimenso nita?
A resposta sim, e o Teorema de Dvoretzky-Rogers garante que toda srie incondicionalmente convergente em um espao de Banach

absolutamente convergente se, e somente se,

tem dimenso nita. No entraremos em detalhes, mas a demonstrao deste resultado pode

ser encontrada em [4, Theorem 1.2]


Mesmo assim, o resultado a seguir mostra que tais conceitos ainda esto fortemente relacionados.

Proposio 2.1.3. Um espao normado E um espao de Banach se, e somente se, toda
sequncia absolutamente somvel incondicionalmente somvel.

Demonstrao:

Primeiramente, suponha que

cia absolutamente somvel em

E.

yn =

y(n) ,

seja Banach e considere

Considerando

(yn )
n=1 absolutamente somvel em

X
X
n=1

R,

yn = kxn k

para qualquer permutao

n=1

uma sequn-

n N,

a sequncia

logo tambm incondicionalmente somvel em

: N N.

Com isso

n=1

para cada

(xn )
n=1

kx(n) k =

X
n=1

y(n) < .

11

Pn

> 0 dado, existe n0 N tal que





m
n
m
m
X
X

X
X



kSm Sn k =
x(j)
x(j) =
x(j)
kx(j) k <


Ento denindo

Sn =

j=1

x(j) ,

temos que para

j=1

j=1

m > n > n0 .
!
n
X
(Sn )
x(j)
n=1 =

j=n+1

j=n+1

sempre que
Assim

j=1
convergente. Portanto
Reciprocamente seja

1
2

> 0,

dado

nk <

(xn )
n=1

kN

Com isso, para cada


tais que

(xn )
n=1
existe

k N,

uma sequncia de Cauchy no espao de Banach

(k)

n0 N

tal que

podemos obter

kxnk+1 xnk k < 2

kxn xm k < 2k ,

nk N; nk >

o que implica que a srie

para todos

E.

Assim para

(k)

m, n > n0

(k)
n0 e assim temos

n1 < n2 < <

kxnk+1 xnk k

k=1

logo

n=1
incondicionalmente somvel.

uma sequncia de Cauchy no espao normado

Logo

E,

2k = 1

k=1

xnk+1 xnk

absolutamente convergente, logo convergente.

k=1
Como

xnk+1 = xn1 +

k
P

xnj+1 xnj

, ento segue que a subsequncia

(xnk )
k=1

de

(xn )
n=1

j=1

convergente. Como (xn )n=1 de Cauchy e possui subsequncia convergente, segue que
convergente, garantindo assim que

(xn )
n=1

completo.

O resultado a seguir nos d uma caracterizao de sequncias incondicionalmente somveis em


espaos de Banach.

Teorema 2.1.4. Para uma sequncia (xn )


n=1 em um espao de Banach E , so equivalentes:
(xn )
n=1 incondicionalmente somvel.

(a)

Para cada > 0, existe n N tal que, quando M um subconjunto nito de N com

(b)

X


minM > n , temos que
xn < .


nM

(c) (xn )n=1

subsrie somvel

, ou seja, a srie

xkn convergente para qualquer sequncia

n=1

estritamente crescente de inteiros positivos (kn )


n=1 .

(d) (xn )n=1

, ou seja, a srie

sinal somvel

n {1, 1}, n N.
(e)

n xn convergente quaisquer que sejam

n=1

O operador T : ` E dado por T ((n )


n=1 ) =

n xn contnuo.

n=1

Demonstrao:

A prova de que o item (e) equivalente aos demais no ser feita aqui, mas

pode ser encontrada em [4, p. 12]. Vejamos as demais implicaes.

12

(a)

(b): Seja

(xn )
n=1

incondicionalmente somvel e suponha que (b) falso, ou seja,



X


xn sempre que
existe > 0 tal que para todo m N existe M N nito tal que


nM


X


xn .
min M > m . Assim, para m = 1, tome M1 N nito tal que min M1 > 1 e


nM1

X


xn . Procedendo
Para m = 2 tome M2 N nito tal que min M2 > max M1 + 1 e


nM2


X


x n .
desta forma, para n N tome Mn N nito tal que min Mn > max Mn1 + 1 e


nMn

Denotando por

|Mn |

o nmero de elementos de

Mn ,

[min Mn , min Mn + |Mn |)

leva cada inteiro do intervalo

tal bijeo pois o nmero de inteiros do intervalo

dena uma bijeo


em

Mn .

: N N

que

Note que possvel denir

[min Mn , min Mn + |Mn |)

igual

|Mn |

e os

intervalos so dois a dois disjuntos, o que tambm ocorre com os Mn .


n
P

Considere a sequncia (Sn )n=1 denida por Sn =


x(k) , para todo n N, e vamos provar
k=1
que
ela no de Cauchy. Para cada m N, podemos escolher algum dos Mn , com min Mn > m

X


xn .


Tomando

p = min Mn 1

q = min Mn + |Mn | 1,

temos

q p+1>m

nMn
assim

q
q


p
X
X
P
X




kSq Sp k =
x(k)
x(k) =
x(k) =
xk
.



kMn
k=1

Com isso

x(n)

(b)

n=1

(Sn )
n=1

k=1

k=p+1

no de Cauchy, logo divergente pois

um espao de Banach. Ento

no somvel, o que uma contradio.

(a): Sejam

: N N

de acordo com (b).

{(1), . . . , (m )}.

Para

Ento existe

m N

n
P

x(k) . Dado > 0 tome


k=1
sucientemente grande tal que {1, . . . , n }

uma bijeo qualquer e

p, q N com q p + 1 m

Sn =

temos que

(p + 1), (q) > m

e portanto

q


X
X



kSq Sp k =
x(k) =
xj < ,



jM0

k=p+1

onde

M0 = {(p + 1), . . . , (q)}.

Portanto

(Sn )
n=1

uma sequncia de Cauchy e segue o resul-

tado.

(b)

(c): Dado

sempre que

> 0,

min M > n .

inteiros positivos temos

por hiptese existem


Considerando

kn n

para todo

n N

(kn )
n=1

nN

M N

nito tal que



X


xn <


nM
uma sequncia estritamente crescente de

e para

p, q N

tais que

q p + 1 > n

temos

13

kq q > n

kp+1 p + 1 > n .

Denindo ento a sequncia

Sn =

n
P

xkj

segue que

j=1

q

q
p
X

X
X



xk j =
xkj = kxkp+1 + + xkq k
xkj
kSq Sp k =



j=1
j=p+1
j=1



X


xkn < .
=


nM0

onde

M0 = {kp+1 , . . . , kq }.

(xkn )
n=1
(c)

(Sn )
n=1

Logo

uma sequncia de Cauchy.

Portanto a sequncia

somvel.

(d): Seja

n
X

Sn =

j xj

com

j {1, 1},

para todo

n N.

Considerando os con-

j=1

N + = {n N; n = 1} e N = {n N; n = 1} ordenados de maneira crescente, segue


X
X

hiptese de (xn )n=1 ser subsrie somvel que as sries


xn e
xn so convergentes.

juntos
da

Logo as sequncias

(An )

(Bn )

so de Cauchy, onde

nN +
n
X

An =

nN

xj

j=1
jN +

n N.

Assim, para cada

> 0,

existe

n+
N

Bn =

n
X

xj ,

para todo

j=1
jN

tal que






X

q
< .
x
kAq Ap k =
j


j=p+1 2
jN +
sempre que

q > p > n+

e existe

n
N

tal que





q

X
kBq Bp k =
xj

< .
j=p+1 2
jN
sempre que

q > p > n
.

Por m, tomando

n = max {n+
, n }

temos

q

X



kSq Sp k =
j xj = kp+1 xp+1 + . . . + q xq k


j=p+1








q
q
q

q
X
X
X
X









=
xj
xj
xj +
xj

j=p+1
j=p+1 j=p+1
j=p+1
jN +
jN + jN
jN

< + = ,
2 2
sempre que

q > p > n .

Logo

(Sn )

de Cauchy, implicando assim que a srie

X
n=1

convergente.

n xn

14

(d) (b): Por hiptese


falso.

(xn )
n=1

uma sequncia sinal somvel. Suponhamos que (b) seja

> 0 e uma
sequncia (Mk )k=1 de
X


xn , para todo k N.
> max Mk e

Ento existem

min Mk+1

subconjuntos nitos de

tais que

nMk

Dena a seguinte funo

n =

1,

Mk

k=1

Considere a sequncia denida por

se

1,

caso contrrio

n
X
Sn =
(1 + j )xj

e para cada

m N,

tome

kN

tal que

j=1

m < min Mk .

p = min Mk e q = max Mk segue que p, q > m, mas




max M

X
Xk



2xn 2.
(1 + j )xj =
kSq Sp k =


Assim, para

nMk

j=min Mk +1

Ento (Sn )n=1 no uma sequencia de Cauchy, logo diverge, pois

X
X

xn

isso,

n=1

n x n

ou

espao de Banach. Com

divergente (ou ambas), o que um absurdo.

n=1

Corolrio 2.1.5. Se (xn )


n=1 uma sequncia incondicionalmente somvel em um espao de
Banach E , ento para qualquer bijeo : N N verdade que

xn =

n=1

Demonstrao:

Como

(xn )
n=1

x(n) .

n=1

uma sequncia incondicionalmente somvel, segue do Teo-

> 0, existe n N tal que, se M N nito com min M > n ,




X



ento
xn < . Tome q N sucientemente grande de tal forma que {1, . . . , n }


2
nM
{(1), . . . , (n ), . . . , (q)} e dena M0 = {1, . . . , q}{(1), . . . , (q)} e M1 = {(1), . . . , (q)}

rema 2.1.4(b) que para

{1, . . . , q}.
Assim,

Portanto, fazendo

X
n=1

q


q
X
X

X
X



x

x
=
x

x


n
n
n
(n)



n=1
n=1
nM0
nM1



X X




xn +
xn



nM0
nM1

< + = .
2 2
!
q
q
q
q
X
X
X
X
q em
xn =
xn
x(n) +
x(n) ,
n=1

x (n).

n=1

n=1

n=1

segue que

X
n=1

xn =

15

2.2

Bases em espaos de Banach

O conceito de base que trataremos no decorrer deste texto o de base de Schauder, conceito
este que no o mesmo de base algbrica (de Hamel) de espaos vetoriais. E um dos motivos de
geralmente no se trabalhar com bases algbricas em espaos de Banach de dimenso innita
est justicado no resultado a seguir:

Proposio 2.2.1. Todo espao de Banach com dimenso innita possui base algbrica (base
de Hamel) no enumervel.

Demonstrao:

Seja

um espao de Banach com dimenso innita e suponhamos que exista

uma base algbrica enumervel

[v1 , . . . , vn ],

B = {vj E; j N}

isto , o espao vetorial gerado por

de

E.

v1 , . . . , vn .

n N, dena Fn =

[
E =
Fn , cada Fn

Para cada
Assim

n=1
subespao prprio de

e fechado (pois tem dimenso nita).

Logo cada

vazio, mas isto uma contradio devido ao Teorema de Baire, 1.0.16.

Fn

tem o interior

Portanto no existe

base algbrica enumervel em espaos de Banach de dimenso innita.

Denio 2.2.2.
der

de

se cada

Uma sequncia

xE

(xn )
n=1

no espao de Banach

chamada de

base de Schau-

pode ser representado de maneira nica por

x=

an x n ,

n=1
onde

an K

para todo

funcionais lineares xn :

n N.

fcil ver que tal unicidade nos permite denir, a sequncia de

E K

dada por

xn

!
aj x j

= an ,

j=1

n N.

Tais funcionais so chamados

funcionais coecientes

(ou funcionais coordenadas ou

ainda funcionais biortogonais associados).

A unicidade tambm garante o resultado a seguir.

Proposio 2.2.3. Se (xn )


n=1 base de Schauder de um espao de Banach E , ento o conjunto
{xn E; n N} linearmente independente.

Demonstrao:

Suponha que

k
X

an xn = 0,

onde

k N.

Chamando

x=

k
X

an x n ,

segue da

n=1
n=1
unicidade de representao que esta a representao de x em termos da base de Schauder.
!
k
X

Aplicando xj em x segue que aj = xj (x) = xj


an xn = xj (0) = 0, para cada j = 1, . . . , k .
n=1
Logo, {xn E; n N} linearmente independente.

16

Exemplo 2.2.4.

A sequncia dos vetores unitrios cannicos

(en )
n=1

base de Schauder de

c0 e `p , 1 p < . Mostraremos primeiramente que (en )


n=1 base de Schauder de c0 . Seja

x = (xn )n=1 c0 . Como xn 0, para > 0 dado, existe n0 N tal que k (xn )
n=1 k <
sempre que

n n0 .



n
X



xj ej x



j=1

Logo

Assim, para

n n0 ,



n
X



=
xj ej (xj )j=1


j=1

xn en = x

= k (0, 0, , 0, xn+1 , xn+2 , ) k = sup |xj | < .


jn+1

(en )
n=1

e da

n=1
base de Schauder de

(en )
n=1

Uma pergunta natural se

base de Schauder de

c0 .

De maneira anloga prova-se que

`p , 1 p < .
`

tambm possui base de Schauder. O prximo resultado nos

diz que ser separvel uma condio necessria para que um espao de Banach tenha base
de Schauder. Como

no separvel, ento no possui base de Schauder.

Proposio 2.2.5. Todo espao de Banach com base de Schauder separvel.


Demonstrao:
der

(xn )
n=1 .

Seja

Seja

da convergncia de

um espao de Banach sobre o corpo K = R com base de Schau


X
an xn , com (an )
E . Ento x =
n=1 K. Dado > 0, segue
n=1

an x n

que existe

n0 N

tal que

n=n0

n=1

( k
X


an x n < .

2
+1

Claramente

)
qn xn ; qn Q, k N

enumervel.

Seja

M = max{kx1 k, . . . , kxn0 k} > 0.

Da densi-

n=1
dade de

em

segue que, para cada

n = 1, . . . , n0 ,

existe

qn Q

tal que

|an qn | <

Assim,

.
2n0 M





n0
n0
n0


X
X
X
X





q n xn
|an qn | kxn k +
an x n <
kxn k + .
x




2n0 M
2
n=1
n=1
n=n +1
n=1
0

Logo

( k
X

K=C

qn xn ; qn Q, k N
n=1
segue usando o conjunto

denso em

Q + iQ

E,

concluindo assim que

ao invs de

e sua densidade em

Vejamos que o espao das funes contnuas denidas no intervalo


Schauder. A existncia de base de Schauder em

separvel. O caso

C[0, 1]

C.

[0, 1]

possui base de

ser bastante til na demonstrao de

um dos resultados principais do Captulo 3 e do Captulo 4.

Exemplo 2.2.6 (Base de Faber-Schauder). Em C[0, 1] considere a sequncia (xn )


n=0 de funes
contnuas denidas por

x0 (t) = 1

x1 (t) = t

e, para

n 2,

considere o inteiro positivo

tal

17

que

2m1 < n 2m e dena:






2n 2

2
t
1


2

2n 1
xn (t) =
m
12
t
1

2m

Vamos provar que


nicos escalares

(xn )
n=0

(an )
n=0

base de Schauder de

f=

tais que

an x n .

se
se

2n 2
1t<
2m
2n 1
1t<
2m

2n 1
;
2m 1
2n
1;
2m

, caso contrrio.

C[0, 1].

Para

f C[0, 1] queremos determinar

Para isso dena em

C[0, 1]

a sequncia

(pn )
n=0

n=0

por

p0 = f (0)x0 ,
p1 = p0 + (f (1) p0 (1)) x1 ,


1
1
p 2 = p 1 + f ( ) p 1 ( ) x2 ,
2
2


1
1
p 3 = p 2 + f ( ) p 2 ( ) x3 ,
4
4


3
3
p 4 = p 3 + f ( ) p 3 ( ) x4 ,
4
4


1
1
p 5 = p 4 + f ( ) p 4 ( ) x5 ,
8
8
.
.
.
Agora, como para qualquer
no ponto

t C[0, 1]

temos

p0 (t) = f (0)x0 (t) = f (0)

ento

p0

coincide com

e como

p1 (t) = p0 (t) + (f (1) p0 (1)) x1 (t) = f (0) + (f (1) f (0)) t


ento

p1

(0, f (0))

coincide com
e

(1, f (1)).

nos ponto

e o seu grco o segmento de reta com extremidade

Com um raciocnio anlogo verica-se que

p2

coincide com

nos pontos

0, 1 e 21 e o seu grco a unio dos segmentos de reta com extremidades em (0, f (0)) e 21 , f ( 12 )

1
e em
, f ( 21 ) e (1, f (1)). Continuando com este raciocnio para n N, temos que pn coincide
2


com f nos n + 1 primeiros pontos do subconjunto D =
0, 1, 21 , 14 , 43 , 18 , 38 , 58 , [0, 1] e

seu grco a justaposio dos segmentos de reta cujas abscissas das extremidades esto no
conjunto

D.
m, seja am o coeciente de xm na equao que dene pm . Ento,
n
X
pn =
am xm . Como f C[0, 1] uniformemente contnua segue

Para cada inteiro no negativo


para cada
que para

n N,

>0

teremos

dado, existe
se

Considere

mN

m=0
tal que

>0

t1 , t2 [0, 1], |t1 t2 | <

|f (t1 ) f (t2 ) | <

.
2

<
 grande de modo que f e pn0
 2 e tome n0 N sucientemente
m
2

1
D = 0, 1, 21 , 14 , 43 , 18 , 83 , 58 , . . . ,
. Com isso, se t [0, 1], ento
2m

tal que

coincidam no conjunto

1
2m

ento

18

existe

k {1, . . . , 2m 1}

tal que

|t

k
|
2m

< .

k 6= 2m ,

Logo, se

segue que



   


k
k

|f (t) pn (t)| f (t) f
pn (t)
+ f

m
m
2
2
 


k

pn (t)
< + f
m
2
2
 



k

= + pn

p
(t)
n

2
2m
 



k
k + 1
+ pn
pn
2
2m
2m
 


k
k + 1

f
= + f
2
2m
2m
< ,
n > n0 .

para todo

f k = 0,

Se

k = 2m

o resultado segue de maneira similar. Portanto,

ou seja, vlida a representao

f=

an x n .

n=0
Considere uma sequncia de escalares

Vejamos agora que tal representao nica.

X
X
tal que

bn x n .

f =

(an bn )xn (t) = 0

para todo

t [0, 1].

a0 = b 0 .

X
a1 b 1 =
(an bn )xn (1) = 0
cando

para todo

n=0
Para

n=0
implicando assim que

bn xn (t),

an xn (t) = f (t) =

Como

n=0

n=0

Com isso

t = 0,

temos

a0 b 0 =

t [0, 1],

(bn )
n=1

temos que

(an bn )xn (0) = 0,

n=0

(an bn )xn (t) = 0

n=1
que implica

limn kpn

a1 = b 1 .

Assim

t = 1,

temos

(an bn )xn (t) = 0

e apli-

e, para

n=1
n=2
1
obtemos a2 = b2 . Procedendo com este raciocnio para os demais valores de
2
1 1 3 1 3 5
,
,
, , , , . . . , obtm-se an = bn para todo n N.
2 4 4 8 8 8

t =

t = 0, 1,

Nosso prximo objetivo mostrar que os funcionais coecientes de uma base de Schauder
so contnuos. Para isso precisaremos da seguinte denio e do seguinte lema.

Denio 2.2.7.
por

VE

Dada uma base de Schauder

(xn )
n=1

do espao de Banach

o espao vetorial formado pela sequncia de escalares

(an )
n=1

E,

denotaremos

an x n

tais que a srie

n=1
convergente em

E.

Lema 2.2.8. Seja E um espao de Banach com base de Schauder (xn )


n=1 . Ento a funo
n

X



E : VE R; E ((an )
)
=
sup
a
x


j
j
n=1

nN
j=1

19

uma norma em VE e (VE , E ) um espao de Banach. Alm disso o operador


TE : VE E; TE ((an )
n=1 ) =

an x n

n=1

um isomorsmo.

Demonstrao:

Por simplicidade usaremos a notao

uma


n

X


aj x j = 0 .
sup


nN

E ((an )) = 0 ento

n

X


aj xj = 0. Da an xn = 0



(i) Se

(an )
n=1 = (an )

e vamos provar que

norma:
Logo dado

n N

temos

0 kan xn k

j=1

e como

xn 6= 0

segue que

an = 0.

Como

nN

arbitrrio segue

j=1

que

(an )

nula. Por outro lado, claro que se

(an )

nula, ento

E ((an )) = 0.

K temos
que




n
n

X

X




aj xj = ||E ((an ))
E ((an )) = sup
aj xj = || sup


nN
nN

(ii) Para

j=1

j=1

(iii) Para todo

(an ), (bn ) VE

temos



n
X



E ((an ) + (bn )) = sup (aj + bj )xj


nN
j=1




n
n
X

X





sup
aj xj + sup
bj x j
nN

nN
j=1

j=1

= E ((an )) + E ((bn )) .
Vejamos agora que
Cauchy em

VE ,

VE

um espao de Banach. Seja

yn = (ank )
k=1 ,

n
(yn )
n=1 = ((ak )k=1 )n=1

uma sequncia de

n N. Assim,


n
n1
X

X


|akn ajn |kxn k = k(akn ajn )xn k = (aki aji )xi
(aki aji )xi


n
i=1
n1
i=1
X
X




(aki aji )xi + (aki aji )xi



i=1

i=1

n
n1
X

X





sup (aki aji )xi + sup (aki aji )xi




n
n
onde

para cada

i=1

i=1

= 2E (yk yj )
e assim

> 0

|akn ajn |
dado, existe

k, j j
em

K,

segue que

2E (yk yj )
,
kxn k
j N

para cada

tal que se

k, j j

Como

temos

(yj )
j=1

de Cauchy em

E (yk yj ) <

kxn k
.
2

VE ,

para

Logo, para

2E (yk yj )
< , concluindo assim que (akn )
k=1 de Cauchy
kxn k
k
cada n N, digamos que an an quando k . Denindo

|akn ajn |

logo convergente. Para

n N.

20

y = (an )
n=1

, vejamos que

y VE

e que

(yj )
j=1

fato de (yn )n=1 ser de Cauchy, segue que existe

converge para

n N

tal que

em

VE .

Novamente pelo

E (yk yj ) <

,
4

sempre que



n

X


j
k
k, j n Assim, (ai ai )xi < , para todo n N e k, j n e, fazendo k , segue
4

i=1


n
X



que
(ai aji )xi , para todo n N e todo j n . Em particular, para m, n N, com

4
i=1
m > n, temos




n
m
m

X
X
X





n
n
n
(ai ai )xi (ai ai )xi + (ai ai )xi + = .

4 4



2
Como

yn =

i=1

i=1

i=n+1

(ank )
k=1

VE ,

existe

n0 N

tal que


m

X


n
ai x i < ,



2
i=n

sempre que

m > n n0 .

m > n n0 , segue que



m
m
m
n

X
X
X
X




n
n
(ai + ai ai )xi
ai x i =
ai x i
ai x i =





i=n+1
i=n+1
i=1
i=1



m
m
X
X



n
n

(ai ai )xi +
ai x i



i=n+1
i=n+1

< + = ,
2 2
!

n
X
concluindo assim que
ai x i
de Cauchy em E e, portanto, convergente. Assim y =
i=1
n=1
m

X

(an )n=1 VE e E (yn y) = sup (ai ai )xi < , sempre que n n . Portanto,

4
m
i=1
yn y , concluindo assim que (VE , E ) completo.

X
Finalmente vejamos que a aplicao TE : VE E ; TE ((an )) =
an xn um isomorsmo.
Logo, para

n=1
Para

(an ), (bn ) VE

K,

temos

TE ((an ) + (bn )) =
=

X
n=1

(an + bn )xn =

TE

Agora se

(an xn + bn xn )

n=1

an x n +

n=1
ou seja,

bn xn = TE ((an )) + TE ((bn )) ,

n=1

linear.

(an ), (bn ) VE

(devido a

(xn )
n=1

para todo

xE

so distintos tem-se

TE ((an )) =

an xn 6=

n=1
ser base de Schauder), logo

existe

(an ) VE

tal que

x=

TE

bn xn = TE ((bn ))

n=1

injetor. claro que

an xn = TE ((an )).

TE

sobrejetor, pois

Agora, como

n=1

n
n
X

X

X







kTE ((an )) k =
an xn = lim
ai xi sup
ai xi = E ((an ))

n
nN

n=1

i=1

i=1

21

segue que

TE

contnua e do Teorema da Aplicao Aberta (Teorema 1.0.18) segue que

TE

1
uma aplicao aberta. Portanto TE contnua.

Denio 2.2.9.

(xn )
n=1

Sejam

(yn )
n=1

bases de Schauder dos espaos de Banach

equivalente

respectivamente. Dizemos que a sequncia (xn )n=1

(xn )
n=1 (yn )n=1 , se para qualquer sequncia de escalares

an xn

convergente se, somente se,

n=1

(an )
n=1
an y n

F,

(yn )
n=1 e representamos por
temos que

convergente.

n=1

No difcil provar que vale a seguinte caracterizao para sequncias equivalentes (veja [3,
Teorema 10.3.11]):

Teorema 2.2.10. Sejam (xn )


n=1 e (yn )n=1 bases de Schauder dos espaos de Banach E e F,

respectivamente. Ento (xn )


n=1 (yn )n=1 se, e somente se, existe um isomorsmo T : E F
tal que T (xn ) = yn , para todo n N.

Teorema 2.2.11. Os funcionais coecientes da base de Schauder (xn )


n=1 de um espao de
Banach E so contnuos.

Demonstrao:
nN

Sejam (an )n=1

e cada funcional coeciente

VE e TE ((an )
n=1 )

xn E 0

an xn = x E.

Assim, para cada

n=1
verdade que



n
n1
X

X

|xn (x)|kxn k = kxn (x)xn k = kan xn k =


ai x i
ai xi



i=1

i=1
n
n1
n
X
X
X








ai x i +
ai xi 2 sup
ai x i




nN
i=1
i=1
i=1

1
= 2E ((an )
n ) = 2E (TE ) (x)
2kTE1 kkxk.
Ou seja,

|xn (x)|

Denio 2.2.12.

2kTE1 k
kxk
kxn k

Seja

para todo

x E.

Logo

xn

contnuo.

um espao de Banach com base de Schauder

(xn )
n=1 .

Considere a

sequncia de operadores (Pn )n=1 dada por

Pn : E E; Pn (x) = Pn

X
j=1

onde

x=

X
j=1

aj x j E .

Os

Pn

so chamados de

!
aj x j

n
X

aj x j ,

j=1

projees cannicas

associadas a base

(xn )
n=1 .

22

Observao 2.2.13. Note que kPn k 1, para cada n N. De fato,






x
1
n

kPn k = sup kPn (x)k
Pn kxn k = kxn k kPn (xn )k
kxk1


n

1
1

X
=
xj (xn )xj =
kxn k = 1.

kxn k
kxn k j=1

Proposio 2.2.14. As projees cannicas (Pn )


n=1 associadas a base de Schauder (xn )n=1 do

espao de Banach E so contnuas.

Demonstrao:

x=

Seja

an x n E .

Para cada

j N e cada xj E

dena

xj xj : E

n=1

E por xj xj (x) = xj (x) xj . Note que xj xj = ij xj , onde ij : K E dada por ij (a) = axj ,
para todo

a K, j N.

para todo

xE

Como ij e

xj

!
an x n

n=1

Pn =

contnua. Alm disso,

temos que

Pn (x) = Pn

Ou seja

xj xj

so contnuas, segue que

n
X

xj xj ,

n
X

aj x j =

j=1

Pn

concluindo que

n
X

xj (x)xj

j=1

n
X

xj xj (x) .

j=1

contnua.

j=1

Observao 2.2.15.

xj xj : E E denida na demonstrao


tem-se tambm que xj xj = xj kxj k, pois

Alm da aplicao

posio 2.2.14 acima ser contnua,

da Pro-










xj xj = sup xj xj (x) = sup xj (x)xj = sup xj (x) kxj k = xj kxj k .
kxk1

kxk1

kxk1

Proposio 2.2.16. Sejam (Pn )


n=1 as projees cannicas associadas a base de Schauder
(xn )
n=1 do espao de Banach E . Ento sup kPn k < .
n

Demonstrao:
n
X
j=1
cada

Para cada

x=

an x n E ,

como

Pn

n=1

!
aj x j

converge para

x,

an x n

n=1

segue que a sequncia

n
X

aj x j

e a sequncia

j=1

(kPn (x)k)
n=1

limitada.

Logo, para

n=1

x E , supnN (kPn (x)k) < .

de Banach-Steinhauss que

Como

Banach e cada

Pn

contnua segue do Teorema

sup kPn k < .


n

Denio 2.2.17. Sejam (Pn )


n=1 as projees cannicas associadas a base de Schauder (xn )n=1
do espao de Banach

E.

O nmero

sup kPn k

chamado de

n
denotado por

constante da base (xn )


n=1

K(xn )
.
n=1


Teorema 2.2.18. Sejam (xn )
n=1 uma base de Schauder de um espao de Banach E e (xn )n=1

seus funcionais coecientes. Ento, para todo k N,

23

1 kxk kkxk k 2K(xn )


.
n=1

Demonstrao:

Considerando as projees cannicas

(Pn )
n=1

associadas a base de Schauder

(xn )
n=1 , segue que


k
k1

X
X


xj xj
xj xj
1 = kxk (xk )k kxk k kxk k = kxk xk k =


j=1
j=1



k1
k

X
X




xj xj = kPk k + kPk1 k 2 sup kPn k = 2K(xn )
.
xj xj +

n=1



n
j=1

j=1

Corolrio 2.2.19. Sejam (xn )


n=1 os funcionais coecientes da base de Schauder (xn )n=1 de

um espao de Banach E . Ento,

(a)

sup kxn k < se, e somente se, inf kxn k > 0.


nN

nN

(b)

inf kxn k > 0 se, e somente se, sup kxn k < .

nN

nN

Demonstrao:
2K(xn )
n=1

Faremos o caso (a), pois (b) segue de maneira similar.

segue do Teorema anterior que

suponha que

sup kxn k < .

Assim,

nN

1
kxk k
sup kxn k

1 kxk kkxk k K ,

para todo

1 kxk k sup kxn k < ,

Chamando

k N.

para todo

K =

Primeiramente

k N.

Logo

0 <

nN

kN

para todo

e segue da denio de nmo que

nN

0<

1
inf kxn k.
sup kxn k nN
nN

Reciprocamente, temos que

kxk k
.

K
inf

nN

kxn k

, para todo

Denio 2.2.20.
0

E,

i, j N,

nN

k N.

e como

Da denio de supremo segue que

sup kxn k

segue que

K
inf kxn k

<

nN

Sejam


Dizemos que (yn , yn )n=1 um

onde

(yn )
n=1

um espao de Banach e

ij = 0

se

i 6= j

ij = 1

(yn )
n=1

sistema biortogonal

se

i = j.

Pn : E E; Pn (x) =

n
X

yj (x)yj

j=1

projees cannicas

do sistema biortogonal

sequncias em

se yi (yj )

= ij

Neste caso, as funes

dadas por

so chamadas

inf kxn k > 0,

nN

nN

respectivamente.

quaisquer

kxk k inf kxn k kxk kkxk k K

(yn , yn )
n=1 .

para

(Pn )
n=1 ,

24

Exemplo 2.2.21.
(xn )
n=1

Claramente, se

(xn )
n=1

a sequncia dos seus funcionais coecientes,

biortogonal.

Mais ainda, se

(xn , yn )
n=1

n N. De fato, como xn e yn

X
para x =
aj xj E , temos

para todo
ento

base de Schauder de um espao de Banach


ento (xn , xn )n=1

xn (xj ) = nj = yn (xj )

um sistema

xn = yn

tambm um sistema biortogonal, ento

so tais que

para todo

n, j N,

j=1

xn (x) = xn

!
aj x j

j=1
Logo

xn = yn ,

aj xn (xj ) =

j=1

para todo

aj nj =

j=1

aj yn (xj ) = yn

j=1

!
aj x j

= yn (x).

j=1

n N.

Teorema 2.2.22. Seja (xn , xn )


n=1 um sistema biortogonal em um espao de Banach E e con
sidere (Pn )
n=1 as projees associadas a (xn , xn )n=1 . As seguintes armaes so equivalentes:
(a)

(b)

(c)

(xn )
n=1 base de Schauder de E ;
lim Pn (x) = x para todo x E ;

[xn ; n N] = E e sup kPn (x)k < para todo x E ;


nN

(d)

[xn ; n N] = E e sup kPn k < .


nN

Demonstrao:

(xn )
n=1 base de Schauder de E , segue do Exemplo 2.2.21 que, (xn )n=1

n
X
X
a sequncia dos seus funcionais coecientes. Logo x =
xj (x)xj e Pn (x) =
xj (x)xj .

(a)(b): Seja

x E.

Como

j=1

j=1

Portanto,

lim Pn (x) = lim

(b)(c): Claramente

[xn ; n N] E .

Seja

lim

e como

n
X

xj (x)xj = x.

j=1

De (b) segue que

xj (x)xj = lim Pn (x) = x,


n

j=1

(Pn (x))
n=1 [xn ; n N],

(logo limitada), segue que

x E.

n
X

temos

x [xn ; n N].

Como

(Pn (x))
n=1

convergente

sup kPn (x)k < .


nN

(c)(d): consequncia imediata do Teorema de Banach-Steinhaus aplicado para a sequncia de


operadores

(Pn )
n=1 .

25

(d)(a): A hiptese de (d) garante que o conjunto

D=

( m
X

)
aj xj ; m N, aj K, j = 1, . . . , m

j=1

denso em

E.

Assim para

m
X

aj x j = y m D ,

se

nm

temos que

j=1

Pn (ym ) =

n
X

xj (ym )xj

j=1

m
X

xi (ym )xj

n
X

i=1

xj (ym )xj

m
X

j=m+1

aj xj + 0 = ym .

j=1

lim Pn (ym ) = ym . Agora, sejam z E e > 0. Da densidade de D, existe y D

tal que kz yk <


. Alm disso, segue do que vimos acima que existe n0 N
1 + sup kPn k
Logo

tal que para

n n0 ,

nN
temos

Pn (y) = y .

Logo, para todo

n n0 ,

verdade que

kPn (z) zk = kPn (z) Pn (y) + Pn (y) y + y zk


kPn (z) Pn (y)k + kPn (y) yk + ky zk
= kPn (z y)k + kz yk
kPn kkz yk + kz yk
= (kPn k + 1) kz yk


sup kPj k + 1 kz yk
jN

< .
Portanto,

lim Pn (z) = z,

para todo

zE

z = lim Pn (z) = lim


n

Note ainda que a representao

n
X

z =

e, alm disso,

xj (z)xj =

xn (z)xn .

n=1

j=1

xn (z)xn nica, pois se

z =

n=1

(xn (z) bn )xn = 0.

Logo, para cada

bn x n

n=1

j N,

temos

n=1

xj (z) bj =

(xn (z) bn )xj (xn ) = xj

n=1
e, consequentemente,

xj (z) = bj ,

!
(xn (z) bn )xn

= xj (0) = 0

n=1
para todo

j N.

Corolrio 2.2.23. Se (xn , xn )


n=1 um sistema biortogonal no espao de Banach E e
sup kPn k < ,
nN

ento

(xn )
n=1

uma base de Schauder de um subespao fechado de E .

ento

26

Demonstrao:

Considere o subespao fechado de

(xn , xn )
n=1 um sistema biortogonal de

adas a (xn , xn )n=1 em F . Alm disso,

dado por

F = [xn ; n N].

sup kPn |F k sup kPn k < .


nN
Logo, segue do Teorema 2.2.22(d) que

Claramente

com (Pn |F )n=1 sendo as projees cannicas associ-

nN

(xn )
n=1

base de Schauder de

F.

CAPTULO 3
Sequncias bsicas em Espaos de Banach

Vimos no captulo anterior que todo espao de Banach com base de Schauder separvel.
Um problema que permaneceu em aberto por vrios anos se a recproca deste resultado
verdadeira.

Este problema, alm do interesse por se tratar de um problema importante da

Anlise Funcional, tambm cou conhecido por uma histria curiosa. Nos anos de 1930 e 1940,
Banach e outros matemticos tinham o hbito de se reunirem em um bar (o Scottish Caf)
para, dentre outras coisas, discutirem matemtica. Eles usavam um livro cedido pela esposa
de Banach e que cava no bar (o qual cou conhecido como

Scottish Book)

para escreverem

problemas interessantes de matemtica (principalmente de Anlise Funcional e Topologia) e


suas solues. Geralmente, aos problemas propostos mas no resolvidos, eram oferecidos prmios, tais como uma garrafa de vinho ou de conhaque. Mas o problema de nmero 153 do livro,
que justamente a pergunta sobre a validade da recproca acima, foi proposto por Mazur, em
1936 e oferecido um ganso vivo para quem solucionasse o problema.
Em um artigo de 1973, P. Eno mostrou que a recproca falsa, ou seja, existem espaos
de Banach separveis que no possuem base de Schauder. De fato, Eno provou mais do que
isso, ele construiu um espao de Banach reexivo e separvel que no tem a propriedade da
aproximao e no possui base de Schauder, respondendo tambm negativamente questo de
que todo espao de Banach tem a propriedade da aproximao. A demonstrao de Eno utiliza
propriedades de simetria em espaos de dimenso alta e tcnicas avanadas de combinatria,
assuntos esses que fogem do escopo deste trabalho.

Para um leitor interessado, sugerimos a

leitura do trabalho original de Eno, em [6].


Quanto a premiao, Eno viajou a Varsvia e recebeu o ganso das mos do prprio Mazur,
o qual foi feito em um jantar naquele mesmo dia.

Voltando matemtica, um resultado mais fraco, porm bastante importante, verdadeiro:

Todo espao de Banach de dimenso innita contm um subespao de dimenso innita com
base de Schauder.
27

28

Neste captulo, o principal resultado a ser provado o princpio de seleo de BessagaPelczynski e, como uma das aplicaes do princpio de seleo, provaremos o resultado enunciado
acima.

Faremos tambm, neste captulo, um estudo sobre bases incondicionais e sequncias

bsicas incondicionais. Comeamos com o conceito de sequncia bsica.

Denio 3.0.24.
de Schauder de

Uma sequncia

span {xn ; n N},

(xn )
n=1

onde

em

dita

sequncia bsica

quando

(xn )
n=1

base

span A denota o espao gerado por A.

Note que o Corolrio 2.2.23 pode ser reescrito da seguinte forma:

"Se (xn , xn )
n=1 um sistema biortogonal no espao de Banach E e sup kPn k < , ento
nN

(xn )
n=1 uma sequncia bsica em E ."

O resultado a seguir nos d uma caracterizao til na deciso de que uma sequncia num
espao de Banach ou no bsica.

Teorema 3.0.25. (Critrio de Banach-Grunblum) Seja E um espao de Banach e (xn )


n=1 uma
sequncia de vetores no-nulos em E . Ento (xn )
n=1 uma sequncia bsica se, e somente se,
existe M > 0 tal que se n m, ento
m

n

X

X





aj x j M
aj x j ,





j=1

j=1

para qualquer sequncia de escalares (an )


n=1 .

Demonstrao:

Para a implicao direta, suponha que

(xn )
n=1

uma sequncia bsica em

Assim, (xn )n=1 base de Schauder de

E.

span {xn ; n N}. Considerando (xn )


n=1 como a sequn

cia dos funcionais coecientes de (xn )n=1 , segue que (xn , xn )n=1 um sistema biortogonal em
span {xn ; n N}. Logo, segue do Teorema 2.2.22(b) que a sequncia (Pn (x))
n=1 converge em

span {xn ; n N}, qualquer que seja x span {xn ; n N}, onde (Pn )n=1 so as projees can
nicas de ((xn , xn ))n=1 . Pelo mesmo resultado (agora usando (d)) segue que M := sup kPn k < .
nN

Assim, para toda sequncia de escalares (an )n=1 e para n m, temos que
Pm

n
X

!
ai x i

n
X

i=1

ai Pm (xi ) =

i=1

n
X
i=1

n
X

ai

m
X
j=1

n
X

ai

i=1
j=1
n X
m
X

ij xi =

n m,

ai ij xi

(ai i1 xi + . . . + ai im xi ) =

m
X

ai x i .

i=1

temos que



m
X



a
x

i i = Pm


i=1

xj (xi )xi

i=1 j=1

i=1
Ento, para

m
X

n
X
i=1





!
n
n

X

X






ai xi kPm k
ai x i M
ai x i .





i=1

i=1

29

Agora vejamos a recproca. Seja


de Schauder de
induzida de
sejam

nN

F = span {xn ; n N}.

F = span {xn ; n N} E

E ).

Vejamos primeiro que

e uma sequncia

(ai )
i=1

Devemos mostrar que

(aqui estamos considerando

{xn ; n N}

(xn )
n=1

com a norma

linearmente independente.
n
X

ai xi = 0.

de escalares qualquer com

base

Para

Para isso,

m=1

vale

i=1



n
X



0 ka1 x1 k M
aj x j = 0


j=1

e, consequentemente,

a1 = 0,

pois

x1 6= 0.

m=2

Para

segue que



n
X



0 ka2 x2 k = ka1 x1 + a2 x2 k M
aj xj = 0,


j=1

donde obtm-se

a1 = 0.

a2 = 0.

Portanto

Continuando com esse procedimento at

{xn ; n N}

Agora vejamos que cada


Considere, para cada

obtm-se

o funcional linear

escrito de maneira nica como

xn : F K

k
X

!
aj x j

= an

k
X

Tn

j=1

e a transformao linear

se

nk

j=1

k
X

!
aj x j

=0

Tn

j=1

n > k,

n
X

aj x j ,

j=1

xn
se

!
aj x j

onde

k
X

!
aj x j

j=1

n
X

aj x j ,

j=1

ak+1 = = an = 0.

Assim, segue da hiptese que se

n k,

ento





! n
k
k

X

X

X





T
a
x
=
a
x

M
a
x
n


j j
j j
j j .





j=1

e se

n > k,

j=1

j=1

ento



! k
k

X

X



aj x j =
aj x j .
Tn



j=1

j=1

Pelas duas relaes acima, concluimos que

kTn k = sup kTn (x)k sup max{M kxk, kxk} = max{M, 1}.
kxk1

Chamando

C = max{M, 1},

segue que

kxk1

kTn k C ,

x=

an x n .

n=1

por:

xn

an = =

linearmente independente.

x span {xn ; n N}

n N,

m=n

ou seja, cada

Tn

contnua.

Tn

dados

30

Note que se

n k,

ento para todo

x F, x =

n
X

ai x i ,

temos

i=1



n
n1
X

X

ai x i
|xn (x)|kxn k = |an |kxn k =
ai x i


i=1

i=1



n
n1
n


X
X
X





ai x i
ai xi 2M
ai x i +






i=1

i=1

i=1

= 2M kxk.
Logo

|xn (x)|
garantindo assim que

xn

so espaos de Banach e

2M
kxk,
kxn k

tambm contnua. E como os contradomnios

denso em

F,

de

xn

da Proposio 1.0.20 segue que, para cada

nicas extenses lineares e contnuas fn e Rn de xn e


e

de

Tn

n existem

Tn , respectivamente, tais que kxn k

= kfn k

kTn k = kRn k.
Agora fcil ver que, como

Tn (z) =

n
X

xi (z)xi ,

i=1
para todo

z F,

ento segue da unicidade das extenses que

Rn (x) =

n
X

fi (x)xi ,

i=1
para todo

x F.

E agora dados

xF

> 0, como F

denso em

F , existe y =

m
X

aj xj span {xn ; n N}

i=1
tal que

kx yk <
Assim, para todo

n > m,

.
1 + kTn k

temos

kx Rn (x)k = kx y + y Rn (y) + Rn (y) Rn (x)k


kx yk + ky Rn (y)k + kRn (y) Rn (x)k
kx yk + ky yk + kRn kkx yk
(1 + kRn k)kx yk

< (1 + kRn k)
1 + kTn k

= (1 + kTn k)
= ,
1 + kTn k
e, portanto,

x = lim Rn (x) = lim


n

n
X
i=1

fi (x)xi =

X
i=1

fi (x)xi .

(3.1)

31

Resta agora vericar que a representao de

acima nica. Para isto, suciente mostrar

que

ai xi ai = 0,

i=1
para todo

i N.

Para

> 0,

n0 N tal


n

X


aj xj < ,


segue que existe

que

j=1

para todo

n n0 .

Pela desigualdade da hiptese conlumos que



m

X


aj xj M ,



j=1

para todo

m N.

Assim,



m
m1

X
X


aj x j
aj xj < 2M ,
|am |kxm k =


j=1

para todo

m N.

Como

> 0

j=1

foi escolhido arbitrariamente, segue que

am = 0

para todo

m N.

Corolrio 3.0.26. A menor constante que satisfaz a desigualdade do critrio de BanachGrunblum a constante da base
K(xn )
= sup kPn k,
n=1
nN

conforme introduzida na Denio 2.2.17. Alm disso, K(xn )


1.
n=1

Demonstrao:
Grunblum e

x=

Se

uma constante que satisfaz a desigualdade do critrio de Banach-

aj xj {xn ; n N},

ento para

mn

temos

j=1




kPn (x)k = Pn

e da

Logo

X
j=1


m

! n
X

X





aj x j =
aj x j M
aj x j




j=1

j=1

X

X





kPn (x)k M lim
aj x j M
aj xj = M kxk .
m



kPn k M,

para todo

nN

j=1

j=1

e assim

sup kPn k M.
nN

A desigualdade

K(xn )
1
n=1

segue

da Observao 2.2.13.

Uma questo natural se todo subconjunto linearmente independente e enumervel de um


espao de Banach uma sequncia bsica. O exemplo a seguir mostra que no.

32

Exemplo 3.0.27.
fcil ver que

`p , 1 p < ,

Em

{xn ; n N} `p

dena

x1 = e 1

xj =

1
e
j1 j1

+ 1j ej

para todo

linearmente independente. Alm disso, para todo

j 2.

n N, temos



n

X
1


xj = .



n
j=1
p

Logo no existe constante


Portanto

3.1

(xn )
n=1

que satisfaa a desigualdade do critrio de Banach-Grunblum.

no sequncia bsica em

`p .

Bases e sequncias bsicas incondicionais

Denio 3.1.1. Uma base de Schauder (xn )


n=1 em um espao de Banach E uma base incondicional

se, para todo

x E,

a representao

x=

an x n

incondicionalmente convergente.

n=1

Exemplo 3.1.2.

A base de Schauder (en )n=1 dos espaos c0 e `p , 1 p < incondicional.

De fato, primeiramente considere (xn )n=1 c0 , n = 1 e dena em c0 a sequncia (sn )n=1 por
n
X

sn =

j xj e j .

Para

> 0,

existe

n0 N

tal que

|xn 0| <

sempre que

n n0 .

Assim,

j=1
para

m > n n0

temos



m
X



ksm sn k =
j xj ej


j=n+1

= k(0, . . . , 0, n+1 xn+1 , . . . , m xm , 0, 0 . . .)k

= max{|xn+1 |, . . . , |xm |} < .


(sn )
n=1

uma sequncia de Cauchy no espao de Banach c0 , logo convergente.

Assim (xn en )n=1 sinal somvel e pelo Teorema 2.1.4(d) podemos concluir que (en )n=1 base
Ou seja,

incondicional de

c0 .

Agora para (xn )n=1

`p

dena

Sn =

n
X

j xj e j , n N

n = 1.

Como

>0

existe

n0 N

|xn |p

converge,

n=1

j=1
ento dado

tal que para todo

m > n n0

temos

m
X

|xj |p < p .

Da,

j=n

m
p
X



kSm Sn kpp =
j xj ej = k(0, . . . , 0, n+1 xn+1 , . . . , m xm , 0, 0 . . .)kpp


j=n+1

m
X

|xj |p < p ,

j=n+1

m > n n0 .

(Sn )
n=1

uma sequncia de Cauchy no espao de Banach `p ,

logo converge. Assim (xn en )n=1 sinal somvel e pelo Teorema 2.1.4(d) podemos concluir que
(en )
n=1 base incondicional de `p .
para todo

Portanto

Proposio 3.1.3. Seja T : E F um isomorsmo entre os espaos de Banach E e F .

33

(a)

Se (xn )
n=1 base de Schauder de E , ento (T (xn ))n=1 base de Schauder de F ;

(b)

Se (xn )
n=1 base incondicional de E , ento (T (xn ))n=1 base incondicional de F .

Demonstrao:
(a) Para

y F

an x n

T 1 (y) E,

, como

e como

bijeo temos que

y=T

an x n

n=1
linear e contnua, temos que

y=T
= lim

Portanto,

y=

an x n

. Devido a

tais que

T 1 (y) =

ser uma aplicao

n=1

n=1
n
X

(an )
n=1

existem nicos escalares


!

=T

aj T (xj ) =

lim

n
X

!
aj x j

j=1

= lim T
n

n
X

!
aj xj

j=1

an T (xn ).

n=1

j=1

an T (xn ) F.

Vejamos que tal representao nica, o que nos levar

n=1

T (xn )
n=1

base de Schauder de F . Para isso suponha que exista uma

bn T (xn ). Um argumento anlogo ao que


sequncia de escalares (bn )n=1 tais que y =
n=1

X
1
bn xn , e como (xn )
foi feito, mostra que T
(y) =
n=1 base de Schauder de E , isso
n=1

contraria a unicidade dos escalares (an )n=1 .


a concluir que

(b) Devemos vericar que

an T (xn )

converge incondicionalmente.

n=1

: N N

uma bijeo qualquer e em

dena a sequncia

sn =

Para isso, considere

n
X

aj T (x(j) ).

Como

j=1

an x n

n=1
se m

converge incondicionalmente em

> n n0 ,

E,

segue que para

> 0,

existe

n0 N

tal que

ento

m

X



aj x(j) <
.


kT k
j=n+1
Assim,




m
n
m
X
X

X



ksm sn k =
aj T (x(j) )
aj T (x(j) ) =
aj T (x(j) )



j=1
j=1
j=n+1



!
m
m


X

X




= T
aj x(j) kT k
aj x(j) < ,




j=n+1

sempre que m

> n n0 ,

an T (x(n) )

Portanto

n=1

j=n+1

e isto implica que


convergente em

(sn )
n=1

F.

de Cauchy no espao de Banach

F.

34

Denio 3.1.4.
incondicional

Uma sequncia

(xn )
n=1

em um espao de Banach

se ela for base incondicional de

uma

sequncia bsica

span {xn ; n N}.

O resultado a seguir uma importante caracterizao para sequncias bsicas incondicionais.


Este resultado nos traz uma lembrana do critrio de Banach-Grunblum que trata de sequncias
bsicas.

Entretanto no critrio de Banach-Grunblum as desigualdades so feitas via somas

nitas e no resultado a seguir so feitas por meio de somas innitas.

Teorema 3.1.5. Seja (xn )


n=1 uma sequncia no espao de Banach E . As seguintes armaes
so equivalentes:
(a)

(b)

(xn )
n=1 uma sequncia bsica incondicional;

Existe uma constante L tal que, se

an xn converge, ento, para qualquer subconjunto

n=1

N N, temos





X

X





a
x

L
a
x


n n
n n ;




n=1

nN

(c)

Existe uma constante K tal que se

an xn converge, ento para quaisquer sinais n = 1,

n=1

temos





X

X





n an x n K
an x n .





n=1

Demonstrao:

(a)(b):

PN : X E X

PN

por

n=1

X = span {xn ; n N}. Para N N dena


X
=
an xn . Note que PN est bem denido, pois

n ! N

Sejam

an x n

n=1

a convergncia incondicional de

nN

an x n

juntamente com o Teorema 2.1.4 (c) implicam na

n=1
convergncia de

an x n .

Claramente

PN

linear e a continuidade seguir do Teorema do

nN
Grco Fechado, bastando para isso mostrar que o grco

(
G(PN ) =

(x, PN (x)) ; x =

)
an xn X

n=1
fechado em
, existe

X X.

(x, y) X X

yn = PN (zn ).

((zn , yn ))
n=1

Seja ento

uma sequncia convergente em

(zn , yn ) (x, y).

tal que

Devemos mostrar que

(x, y) Gr(PN ),

Como ((zn , yn ))n=1

ou seja,

Gr(PN ),

Gr(PN ),

y = PN (x).

Para isso considere

zk =

X
n=1

akn xn ,

x=

X
n=1

an xn , yk = PN (zk ) =

X
nN

akn xn e

y=

X
n=1

bn x n .

isto

ento

35

Note que a continuidade dos funcionais coecientes

lim akn = lim xn


k

n N.

para todo

!
= xn

akn xn

n=1

lim

xn

garante que

!
akn xn

= xn

n=1

!
an x n

= an ,

n=1

Ou seja,

lim akn = an ,

n N.

para todo

Da mesma forma obtm-se

lim akn = bn ,

nN

para todo

an = b n ,

para todo

bn = 0

se

nN

n
/ N,

bn = 0

pois nesse caso a sequncia nula converge para

para todo

PN (x) =

n
/N

an x n =

nN
Portanto,

Gr(PN )

Agora, para cada

fechado em

X X,

an x n X

x =

Logo,

e, consequentemente,

bn xn = y.

nN

implicando assim que


xo, como

(an xn )
n=1

PN

contnua.

incondicionalmente somvel,

n=1
segue do Teorema 2.1.4(e) que o operador

bn .

T : ` X

dado por

((n )
n=1 )

n an xn

n=1

Lx > 0 tal que



n an xn = kT ((n )

n=1 )k Lx k(n )n=1 k .
n=1

contnuo. Assim, existe

Para cada

N N

dena a sequncia

(n )
n=1 `

por

n = 1,

se

n N,

contrrio. Assim,

X
X




kPN (x)k =
an x n =
n an xn Lx k(n )
n=1 k = Lx

n=1

nN

e, portanto,

sup kPN (x)k Lx .


N N
Pelo Teorema da Banach-Steinhaus, existe

L>0

tal que

sup kPN k L.
N N
Portanto, para todo

N N

segue que

kPN (x)k Lkxk,


donde resulta

X

X





an x n L
an x n .





nN

n=1

n = 0,

caso

36

(b)(c) Sejam

N N

n {1, 1}, para todo n N. Por hiptese,







X
X




an xn < ,
an x n L



n=1

temos

nN

logo (an xn )n=1 subsrie somvel. Assim, segue do Teorema 2.1.4(d) que

n an x n

conver-

n=1
segue que

N + = {n N; n = 1} e N = {n N; n = 1}






X
X

X
X






an x n .
n an x n
an x n +
an xn 2L





n=1
n=1
+

gente. Logo, para

nN

Chamando

K = 2L,

nN

segue que



X
X




an x n .
n an x n K



n=1
n=1
(c)(a) Por hiptese

X


X




an x n ,
n an x n K





n=1

n=1

logo segue do Teorema 2.1.4(d) que

(xn )
n=1

sequncia bsica de

vamos mostrar que existe

N N

e dena

n = 1,

n an x n =

j=1
e, consequentemente,

tal que

n N,

an x n

nN

an x n

incondicionalmente convergente. Vejamos que

n=1
Para isso usaremos o critrio de Banach-Grunblum, ou seja,




m
n
X
X

E.

M >0

se

j=1

n = 1,

se

an x n

n=1

n an xn +

n
/ N.
e

n=1

an x n = 2

j=1


aj xj ,

sempre que

n m.

Da

an x n =

n=1

nN
/



aj x j M

an x n +

nN

an x n .

nN

Logo,

X
1 X

X




an x n =
n an x n +
an x n


2

nN
n=1
n=1

1 X

1
X




n an xn +
an x n
2

2 n=1


n=1

1 X

K
X


an x n +
an x n

2 n=1

2 n=1


K +1
X

an x n .
=


2 n=1

X
nN
/

an x n

Seja

37

Portanto, para

M=

k+1
,
2

obtemos



X
X




an xn ,
an x n M



n=1

nN

qualquer que seja


Assim, para

1, m + 2, . . .},

N N.

m, n N, m > n,

e considerando

N = {1, . . . , n}

aj = 0

para

j {m +

temos



m





X

X
X






an x n ,
an x n = M
an x n M







n=1

n=1

nN

ou seja,




n
m


X
X




aj x j .
aj x j M





j=1

j=1

Agora o resultado segue do critrio de Banach-Grunblum.

3.2

Dois problemas importantes envolvendo sequncias bsicas em espaos de Banach

At o momento, estudamos caracterizaes para decidir se uma sequncia num espao


de Banach ou no sequncia bsica ou, se ou no sequncia bsica incondicional. Vimos
tambm que nem todo subconjunto linearmente independente e enumervel de um espao de
Banach uma sequncia bsica.

Entretanto, duas perguntas fundamentais ainda esto sem

resposta:
1. Sempre existe sequncia bsica num dado espao de Banach?
2. Sempre existe sequncia bsica incondicional num dado espao de Banach?
Veremos que a resposta para a primeira pergunta

sim e a resposta para a segunda no.

A prova de que todo espao de Banach de dimenso innita tem sequncia bsica ser feita
no prximo captulo, como aplicao do princpio de seleo de Bessaga-Pelczynski.

Antes

disso, faremos um breve estudo a respeito da segunda pergunta.

3.2.1

O problema da base incondicional

Conforme dissemos anteriormente, a pergunta 1 respondida de maneira positiva. Mais precisamente, o Teorema de Banach-Mazur diz que todo espao de Banach com dimenso innita
contm um subespao fechado com dimenso tambm innita que tem base de Schauder (este
resultado ser provado adiante).
como o

Assim, surge um questionamento natural, que conhecido

problema da base incondicional:

38

" verdade que todo espao de Banach com dimenso innita contm um subespao fechado
de dimenso innita que possui base incondicional?
A soluo desse problema foi dada em sua negativa, nos trabalhos de W. T. Gowers e B.
Maurey.

Eles resolveram este problema, juntamente com a soluo de um outro importante

problema proposto por Banach em seu livro [1] de 1932, que conhecido como o problema do
espao homogneo. A soluo desses problemas garantiram a Gowers uma medalha Fields em
1998.
Em [2], G. Botelho e D. Pellegrino zeram um timo artigo de divulgao, contando um
pouco mais sobre os problemas da base incondicional e do espao homogneo.
Para um melhor entendimento da soluo desse problema, precisaremos de algumas denies:

Denio 3.2.1.
escrevemos

Dizemos que um espao de Banach

E = E1 E2 ,

se

E1

E2

soma direta topolgica

so subespaos fechados de

tais que

E2

E1 E2 = {0}

de

E1

E = E1 + E2 .
No trabalho [13] de 1970, J. Lindenstrauss questionou se era possvel decompor qualquer
espao de Banach de dimenso innita como soma direta topolgica de dois subespaos de
dimenso innita. Em 1991, Gowers e Maurey construram, independentemente, espaos que
resolveram a questo proposta por Lindenstrauss. Como os espaos construdos por Gowers e
Maurey eram essencialmente os mesmos, eles publicaram, em 1993, o artigo [8] onde introduziram o conceito de espao hereditariamente indecomponvel e construram o primeiro exemplo
de espao hereditariamente indecomponvel , que cou conhecido por espao
mente espao

GM ).

Em particular, o espao

GM

XGM

(ou simples-

alm de resolver o problema de Lindenstrauss,

tambm resolve o problema da base incondicional.

Denio 3.2.2.
componvel

Um espao de Banach

se nenhum subespao de

de dimenso innita dito

hereditariamente inde-

soma direta topolgica de dois subespaos de dimenso

innita.

O primeiro exemplo dado de espao hereditariamente indecomponvel o espao

GM.

Sua

construo extremamente difcil e tcnica, alm de utilizar ferramentas que no so tratadas


nessa dissertao. Por isso, omitiremos a construo do espao

GM

e admitiremos apenas a

existncia de espaos hereditariamente indecomponveis.


Agora, com as ferramentas em mos, provar que os espaos hereditariamente indecomponveis no possuem sequncia bsica incondicional simples.

O trabalho rduo de criar as

ferramentas cou para Gowers e Maurey.

Teorema 3.2.3. Espaos de Banach hereditariamente indecomponveis no possuem subespaos


fechados e de dimenso innita com base incondicional.

39

Demonstrao:

Sejam

um espao de Banach hereditariamente indecomponvel e

subespao fechado de dimenso innita.


incondicional de

F.

F1

Considere

F2

subespaos fechados de

F1 = span{x1 , x3 , x5 , . . .}
Como

{xn ; n N}

tambm so. Logo

um

dados por

F2 = span{x2 , x4 , x6 , . . .}.

linearmente indenpendente, segue que

F1

Suponhamos, por absurdo, que (xn )n=1 seja base

{x1 , x3 , x5 , . . .}

{x2 , x4 , x6 , . . .}

F2

so subespaos fechados (por denio) e de dimenso innita.

X
Vejamos que F = F1 + F2 . Para x F , temos x =
an xn , onde (an )
n K, com esta
n=1
convergncia sendo incondicional. Como toda srie incondicionalmente convergente subsrie
convergente segue que

y=

a2n1 x2n1

z=

n=1
so convergentes e

y F1

Alm disso,

an x n =

x = y + z F1 + F2 .

Portanto,

F = F1 + F2 .

a2n1 x2n1 +

Logo,

a2n x2n ,

n=1

n=1

n=1
ou seja,

a2n x2n

n=1

z F2 .

F F1 + F2 . De maneira similar, prova-se que F1 + F2 F .


F1 F2 = {0}.

Vejamos agora que

x=

Seja

an x n F 1 F 2 .

n=1
Pela unicidade de representao de
que

a2n = 0,

n N.
E

para todo

Logo,

x = 0,

n N.

ou seja,

em relao a base

Da mesma forma, como

F1 F2 = {0}.

Portanto,

(xn )
n=1

x F2 ,

e pelo fato de

segue que

F = F1 F2

x F1 ,

a2n1 = 0,

segue

para todo

e isto um absurdo j que

hereditariamente indecomponvel.

3.2.2

O Princpio de Seleo de Bessaga-Pelczynski

O princpio de seleo de Bessaga-Pelczynski, um resultado bastante importante da


Teoria dos espaos de Banach e, como j dissemos, provaremos a partir dele que todo espao de
Banach possui sequncia bsica. Como provaremos tambm outras aplicaes de tal princpio,
deixaremos todas essas aplicaes para o prximo captulo. Comearemos com os pr-requisitos
para a demonstrao do princpio de seleo.

Denio 3.2.4.
para

Um subconjunto

do dual

E0

de um espao de Banach

se

kxk = sup{|(x)| : N, kk 1}
para todo

x E.

dito

normante

40

Observao 3.2.5.
para todos
para

E,

N E

Todo conjunto

x, y E, x 6= y

existe

normante para

tal que

separa os pontos de

(x) 6= (y).

De fato, como

E,

ou seja,

normante

segue que

kxk = sup{|(x)| : N, kk 1}
para todo

x E.

Para

y 6= x,

segue que

0 6= kx yk = sup{|(x y)| : N, kk 1}.


Portanto, existe

tal que

|(x y)| =
6 0,

garantindo que

(x) 6= (y).

Lema 3.2.6. Sejam N um conjunto normante para o espao de Banach E e a sequncia


(xn )
n=1 E tal que inf kxn k > 0 e lim (xn ) = 0, para todo N . Ento para cada
n

0 < < 1, cada inteiro positivo k e cada subespao de dimenso innita F de E , existe um

inteiro n k tal que


ky + axn k (1 )kyk

para todos y F e a K.

Demonstrao:
res unitrios

O resultado ser provado primeiramente com o enunciado valendo para veto-

v F.

Depois faremos o caso

que no vale a tese, ou seja, existem


tais que, para todo

nk

existem

yF

arbitrrio. Faamos por absurdo. Suponha

0 < < 1, k N

an K

vn F

subespao de dimenso nita de

unitrio tais que

kvn + an xn k < (1 ) kvn k = 1 .


Assim, temos sequncias
que

(an )
n=k K, satisfazendo a desigualdade acima, sempre

n k.

Como

vnj

(vn )
n=k F

tem dimenso nita e

todo

de (vn )n=k tal que


j=1

nj k ,

(vn )
n=k

vnj v0 F

limitada, segue que existe uma subsequncia

e, claro, que

v0

tambm unitrio. Note que, para

temos

|anj |kxnj k = kanj xnj k kvnj + anj xnj k + kvnj k


< (1 ) + 1 = 2 .
Logo,

|anj | <
e isto implica que
convergncia de

vnj

anj


j=1

j=1

2
2

kxnj k
inf{kxi k; i k}

limitada.

Utilizando este fato, juntamente com a hiptese, a

e a continuidade de

segue que




lim vnj + anj xnj = lim vnj + lim anj xnj = (v0 ) + 0 = (v0 ) .

j
Como

normante e

sup
N ;kk1

|(v0 )| = kv0 k = 1,

41

ento existe

0 N

tal que

k0 k 1

|0 (v0 )| > 1 .

Mas, para todo

nj k ,

temos




1 > kvnj + anj xnj k = sup vnj + anj xnj 0 vnj + anj xnj .
BE 0
Logo



1 lim 0 vnj + anj xnj = (v0 ) > 1
j

o que um absurdo. Portanto, o resultado est provado para


Vejamos agora o caso arbitrrio de

y F, y 6= 0.

Tomando

y
v=
kyk

y F.

Se

y =0

(o qual unitrio) e

vF

unitrio.

a desigualdade bvia. Agora, seja

a K,

segue do caso j provado que




ky + axn k
a
(1 ) kvk = 1 ,
=
v
+
x
n

kyk
kyk
ou seja,

ky + axn k (1 ) kyk.

Para a demonstrao do prximo teorema precisamos de um resultado sobre produtos innitos, o qual enunciamos na forma de lema.

Denio 3.2.7.

Seja

(an )
n=1

uma sequncia de nmeros reais. Denimos o

produto innito

an = a1 a2 a3 . . .

n=1
como sendo o limite da sequncia

(pn )
n=1

dos

produtos parciais, isto ,

p n = a1 . . . an ,
para cada

n N.

Lema 3.2.8. Se (an )


n=1 uma sequncia de nmeros reais, com 0 < an < 1, ento

(1 an ) converge se, e somente se,

n=1

Demonstrao:

an converge.

n=1

Ver [10, Theorem 7, p. 96].

Teorema 3.2.9. Sejam E um espao de Banach, N E normante para E e (xn )


n=1 uma
sequncia em E tal que inf kxn k > 0 e lim (xn ) = 0, para todo N . Ento (xn )
n=1 contm
n

uma subsequncia bsica (xnk )k=1 com xn1 = x1 .

Demonstrao:
que existe

Devido ao Lema 3.2.6 se tomarmos

n2 > n1

tal que para

a1 xn1 F1

n1 = 1, F1 = span {xn1 }

a1 , a2 K

temos

ka1 xn1 + a2 xn2 k (1 1 )ka1 xn1 k.

1 > 0

temos

42

Procedendo indutivamente obtemos

n1 < n2 < < nk

tais que, para quaisquer

a1 , . . . , ak K,

vale



ka1 xn1 + + ak xnk k (1 k1 ) a1 xn1 + + ak1 xnk1 .
Ento tomando

Fk = span {xn1 , . . . , xnk }

k > 0,

temos



a1 xn1 + + ak+1 xn (1 k ) ka1 xn1 + + ak xn k .
k+1
k
(xnk )
k=1 ,

Assim por diante, construmos uma subsequncia

a qual vamos mostrar ser uma

a1 , . . . , ak+m K, onde k, m N, temos








k+m

k+m1

k+m2

X
X
X






aj xnj (1 k+m1 )
aj xnj (1 k+m1 )(1 k+m2 )
aj xnj







j=1
j=1
j=1
k

X



aj xnj
(1 k+m1 ) (1 k )


j=1


k

X

Y


aj x n j .

(1 k )


n=1

sequncia bsica. De fato, para

j=1

Portanto,

k

k+m

X

X





aj x n j L
aj x n j ,





j=1

j=1

onde

L=

!1
(1 k )

n=1
e da, segue do critrio de Banach-Grunblum que a sequncia

(xnk )
k=1

bsica.

Agora, introduziremos o conceito de sequncia de blocos bsica e provaremos alguns resultados envolvendo tal conceito, j que o mesmo aparecer no Princpio de Seleo de BessagaPelczysnki.

Denio 3.2.10. Seja (xn )


n=1 uma base de Schauder de um espao de Banach E e (kn )n=0 N
uma sequncia estritamente crescente, com
no-nulos dita uma

k0 = 0.

Uma sequncia

(yn )
n=1 E

de vetores

sequncia de blocos bsica relativa (xn )


n=1 , se
yn =

kn
X

bj x j ,

j=kn1 +1
com cada

bj K.

O prximo resultado essencialmente uma rpida consequncia do critrio de BanachGrunblum. Ele garante que toda sequncia de blocos bsica tambm uma sequncia bsica.

Proposio 3.2.11. Se (xn )


n=1 base de Schauder do espao de Banach E e (yn )n=1 uma

sequncia de blocos bsica relativa a (xn )


n=1 , ento (yn )n=1 sequncia bsica em E e K(yn )n=1
K(xn )
.
n=1

43

Demonstrao:

Digamos que

(yn )
n=1

dada por

kn
X

yn =

bj x j ,

j=kn1 +1
onde

bj K ,

para todo

n N.

Assim, para

p, q Z+ ,

segue do critrio de Banach-Grunblum

que



p
X

kp
p
k1
k2
kn

X
X
X
X
X







an
an y n =
bj x j =
a1 b j x j +
a2 b j x j + +
ap b j x j


n=1
n=1
j=1

j=kn1 +1
j=k1 +1
j=kp1 +1


k1

kp+q
kp
X
X
X



a
b
x
+

+
K(xn )
a
b
x
+

+
a
b
x
1
j
j
p
j
j
p+q
j
j

n=1
j=1

j=kp1 +1
j=kp+q1 +1



p+q
p+q

kn

X
X
X




a
a
y
= K(xn )
b
x
=
K
n
n n .
j j
(xn )n=1
n=1


n=1

n=1
j=kn1 +1
Novamente aplicando o critrio de Banach-Grunblum, segue que
e, do Corolrio 3.0.26, segue que

(yn )
n=1 uma sequncia bsica

K(yn )
K(xn )
.
n=1
n=1

O prximo teorema devido a Bessaga e Pelczynski e tambm faz-se necessrio para a


demonstrao do princpio de seleo.

Para a demonstrao deste teorema precisamos da

seguinte proposio.

Proposio 3.2.12. Sejam E um espao de Banach e T L(E, E), kT k < 1. Ento existe a
inversa de I T , a qual contnua e dada por
(I T )1 =

T j.

j=0

Aqui I denota a identidade em E, T 0 = I e T j = T T composto j -vezes, j N.

Demonstrao:

Essa demonstrao simples e usual em Anlise Funcional, por isso no a

faremos. Para a prova veja [3, Proposio 7.1.3].


Teorema 3.2.13. Sejam (xn )
n=1 uma sequncia bsica no espao de Banach E e (xn )n=1 seus

funcionais coecientes. Se (yn )


n=1 E tal que

kxn yn k kxn k < 1,

n=1

ento
uma sequncia bsica equivalente a (xn )
n=1 . Alm disso, se (xn )n=1 base de
Schauder de E , ento (yn )
n=1 tambm base de Schauder de E .

(yn )
n=1

Demonstrao:

Chame

X
n=1

kxn yn k kxn k.

44

Dada a sequncia de escalares

(an )
n=1 ,

como




n
n
!
!
n
n
n
X

X
X
X
X





xi
aj xj (xi yi )
aj xj (xi yi )
ai (xi yi ) =
xi






i=1
j=1
i=1
j=1
i=1



!
n
n
n
n


X
X
X
X



=
x
a
x
a
x
kx

y
k

kx
k
i
j j kxi yi k
j j
i
i


i

i=1
j=1
j=1
i=1




n
n
n


X
X
X



ai x i ,
aj x j =
=
kxi yi kkxi k




ento

i=1

j=1

i=1



n
n
n
n


X
X
X
X






a
x
a
(x

y
)

a
y

a
x





i i
i
i
i
i i
i i






i=1

i=1

i=1

i=1

e dessa desigualdade segue que

n
n

n

X
X

X






(1 )
ai x i
ai yi (1 + )
ai x i ,





i=1

qualquer que seja

n N.

i=1

Como

(xn )
n=1

i=1

sequncia bsica, segue do critrio de Banach-

Grunblum e da desigualdade acima que existem uma constante

m n,

(3.2)

M 1

tal que, se

mN

ento







n
n
m
X

X
X








ai yi (1 + )
ai xi M (1 + )
ai xi







i=1
i=1
i=1


m

M (1 + )
X

ai yi .


1
i=1

Novamente do critrio de Banach-Grunblum, segue que

(yn )
n=1

uma sequncia bsica.

Agora, utilizando a desigualdade (3.2) juntamente com o critrio de Cauchy para sries, segue

X
X
diretamente que
xn converge se, e somente se,
an yn converge. Portanto, (xn )
n=1
n=1
n=1

equivalente a (yn )n=1 .


Finalmente vejamos que se
Schauder de

E.

(xn )
n=1

Dena o operador

base de Schauder de

T : E E

T (x) =

E,

ento

(yn )
n=1

tambm base de

por

xn (x)(xn yn ),

n=1
para todo

x E.

que para todo

Como

xE

a srie

Banach, para garantir que

est bem denida, basta mostrar

xn (x)(xn yn ) converge absolutamente.

Para

x E, temos que

n=1

X
X

x
(x)(x

y
)

kxn k kxk k(xn yn )k = kxk < .



n
n
n


n=1

n=1

45

Note que a desigualdade acima tambm garante que


pela Proposio 3.2.12 segue que a aplicao

(I T )

contnua com

kT k < 1.

Ento

invertvel (em particular, isomorsmo).

Por m,

(I T ) (xn ) = I(xn ) T (xn ) = xn

xj (xn )(xj yj )

j=1

= xn
= xn

X
j=1

xj (xn )xj xj (xn )yj


xj (xn )xj

j=1

xj (xn )yj

j=1

= xn xn + yn = yn ,
para todo

n N.

Portanto, segue da Proposio 3.1.3 que

(yn )
n=1

base de Schauder de

E.

Agora temos todas as ferramentas necessrias para provar o princpio de seleo.

Teorema 3.2.14

. Sejam (xn )
n=1 uma base de

(Princpio de seleo de Bessaga-Pelczynski)

Schauder de um espao de Banach E e (xn )


n=1 a sequncia de seus funcionais coecientes. Se

(yn )n=1 uma sequncia em E tal que


inf kyn k > 0

nN

lim xi (yn ) = 0,

para todo i N, ento (yn )


n=1 contm uma subsequncia bsica equivalente a uma sequncia
de blocos bsica relativa a (xn )
n=1 .

Demonstrao:
lim

n
seja

xi (yn )xi
k N.

= 0,

Primeiramente, note que como

para todo

Considere

i N.

Consequentemente

= inf kyn k > 0, n1 = 1


nN

lim xi (yn ) = 0

4K(xn )
n=1

e escolha

lim

m1

k
X

para todo

xi (yn )xi = 0,

i N,

ento

qualquer que

i=1
N satisfazendo

X

1


xi (yn1 ) xi 3


2
i=m +1
1

n2 > n1

satisfazendo

4K(xn )
n=1



m1
X

1

xi (yn2 ) xi 3 .


2
i=1

m2 > m1 e n3 > n2 tais que





X

4K(xn )
1

n=1
xi (yn2 ) xi 4


2

i=m +1

Tome agora


e

4K(xn )
n=1

Continuando com esse processo, obtemos sequncias crescentes



m2
X

1

xi (yn3 ) xi 4 .


2
i=1
(nk )
k=1

(mk )
k=1

de nmeros

naturais satisfazendo

4K(xn )
n=1

X

1


xi (ynk ) xi k+2


2
i=m +1
k


e

4K(xn )
n=1



mk
X


1


xi ynk+1 xi k+2 .


2
i=1

46

Assim, se para cada

k N,

denirmos

mk+1

zk =

xi (ynk+1 )xi ,

i=mk +1

ento

ynk+1 =

mk
X

xi (ynk+1 )xi + zk +

i=1

xi (ynk+1 )xi

i=mk+1 +1



m

k

X


xi (ynk+1 )xi + kzk k +


kynk+1 k



xi (ynk+1 )xi
.

i=mk+1 +1

i=1

Logo,

m

k
X


kzk k kynk+1 k
xi (ynk+1 )xi


xi (ynk+1 )xi


i=mk+1 +1

i=1

4K(xn )
2k+2 4K(xn )
2k+3
n=1
n=1

,
k+4
k+5
K(xn )
K(xn )
2
2
2
n=1
n=1

sendo que a penltima desigualdade segue do fato que


Assim, conclumos que

zk 6= 0,

kN

para todo

uma sequncia de blocos bsica relativa a

K(xn )
1.
n=1

e, portanto, segue da denio que

(zk )
k=1

(xn )
n=1 .

Alm disso, da Proposio 3.2.11, segue

(zk )
k=1

so equivalentes. Para isso consideremos

que (zk )k=1 uma sequncia bsica.


Resta mostrar que as sequncias

(zk )
k=1

os funcionais coecientes de

(yk )
k=1

(zk )
k=1 .

Aplicando o Teorema 2.2.18 juntamente com a

Proposio 3.2.11, segue diretamente que

1 kzk kkzk k 2K(zk )


2K(xn )
,
k=1
n=1

e como

kzk k ,
2

segue que

kzk k

2K(xn )
4K(xn )
n=1
n=1

,
kzk k

47

para todo

k K.

Assim,

kzk kkzk ynk+1 k

k=1

X
4K(xn )

n=1

k=1

kzk ynk+1 k




mk

X
X
X


4K(xn )

n=1
xi (ynk+1 )xi
xi (ynk+1 )xi +
=


i=1
i=mk+1 +1
k=1





mk



X
X
X



4K(xn )n=1

xi (ynk+1 )xi
xi (ynk+1 )xi +




i=mk+1 +1
i=1
k=1



X
4K(xn )

n=1

4K(xn )
2k+2 4K(xn )
2k+3
n=1
n=1
k=1
 X


X
1
1
1
=
+ k+3 <
< 1.
k+2
k+1
2
2
2
k=1
k=1
Assim, segue do Teorema 3.2.13 que

ynk+1


k=1

equivalente a

(zk )
k=1 .

O prximo resultado tambm conhecido e encontrado em alguns livros como princpio de


seleo de Bessaga-Pelczynski e possui um enunciado mais limpo do que o princpio de seleo
que acabamos de provar. Sua demonstrao segue do anterior.

Corolrio 3.2.15. Sejam E um espao de Banach e (yn )


n=1 uma sequncia em E tal que
inf kyn k > 0 e yn 0. Ento (yn )
n=1 admite uma subsequncia bsica.
w

nN

Demonstrao:

Pela Proposio 1.0.9, temos que

separvel de

subespao de

C[0, 1],

e, pelo Teorema 1.0.14, temos que

Y = span {yn ; n N},


Y

um subespao

isometricamente isomorfo a algum

ou seja, existe um isomorsmo isomtrico

T : Y C[0, 1].

Do fato de

ser isometria, segue que

inf kT (yn )k = inf kyn k > 0.

nN
Considere uma base de Schauder

(3.3)

nN

(xn )
n=1

em

C[0, 1]

(por exemplo, a base de Faber-Schauder


denida no Exemplo 2.2.6) e denote por (xn )n=1 a sequncia dos funcionais coecientes. Como
w
w
yn 0, segue da Proposio 1.0.26 que T (yn ) 0. Portanto, para todo k N

lim xk (T (yn )) = 0.

(3.4)

Logo, segue do princpio de seleo de Bessaga-Pelczynski que


cia

(T

(ynk ))
k=1 que sequncia bsica.

isomtrico, segue da Proposio 3.1.3 que

(ynk )
k=1

tem uma subsequn-

T tambm isomorsmo


= T 1 (T (ynk )) k=1 sequncia bsica.

Como a inversa

(T (yn ))
n=1
de

CAPTULO 4
Aplicaes do princpio de seleo de
Bessaga-Pelczynski

4.1

Existncia de sequncias bsicas

Agora estamos aptos a responder a pergunta 1 do captulo anterior.

Teorema 4.1.1. Todo espao de Banach de dimenso innita contm um subespao de dimenso innita com base de Schauder.

Demonstrao:

Pelo fato de

ter dimenso innita, segue que

enumervel e innito que linearmente independente. Assim


de

contm um subconjunto

spanA

um subespao separvel

com dimenso innita. Logo, basta mostrar o teorema para subespaos separveis.

Partindo do mesmo argumento (via Teorema 1.0.14) usado na demonstrao do Corolrio


3.2.15, podemos supor, sem perda de generalidade, que
de

C[0, 1].

Denote ento por

(xn )
n=1

um subespao de dimenso innita

uma base de Schauder de

C[0, 1]

e por

(xn )
n=1

os seus

funcionais coecientes.
Para cada

k N,

dena

Nk = {x E; x1 (x) = x2 (x) = xk (x) = 0} .


claro que

Nk =

k
\


(ker xj E).

j=1
Como

ker xk = xk ({0})

{0}), segue que ker (xk )


E,

para cada

k N.

fechado em

fechado em

Claramente

o ncleo do operador

C[0, 1]

Nk

Tk : E Kk

(pois a imagem inversa do conjunto fechado

e, consequentemente,

subespao de
dado por

48

Nk

tambm fechado em

e, alm disso, imediato ver que

Tk (x) = (x1 (x), . . . , xk (x)).

Nk

Como a imagem

49

TK (E) Kk

tem dimenso menor ou igual a

k K.
k

T
Nk =
(ker xj E)

k,

Nk

segue que o ncleo

Tk

de

tem dimenso

ininita, para todo


Da igualdade

claro que

j=1

N1 N2 Nk .
(Nk )
k=1

Vejamos que a sequncia

(Nk )
k=1

Suponha, por absurdo, que


para todo
Seja

nunca ca estacionria (constante a partir de algum ndice


que estacionria. Ento existe

n0 N

tal que

k ).

Nj = Nn0 ,

j n0 e vejamos que, nesse caso, Nn0 = {0}, o que um absurdo j que dim Nn0 = .

x Nn0 ,

ento

x1 (x) = = xn0 (x) = 0.


Como, para todo
Logo

xj (x) = 0,

x = 0.

j n0 ,

temos

para todo

jN

Portanto a sequncia

innitos ndices

Nj = Nn0 ,

j1 < j2 <

segue que

x Nj

e da

xj (x) = 0

e segue da unicidade da representao

(Nk )
k=1

para todo j n0 .

X
=
xj (x)xj , que
j=1

nunca car estacionria e, consequentemente, existem

tais que as incluses

Nj1 Nj2 Nj3


so todas estritas. Por m, para cada

k N,

tome

yk =
Assim, obtemos uma sequncia

Njk+1 ,

k N.

para todo

(yk )
k=1

zk Njk Njk+1

e dena

zk
.
kzk k

de vetores unitrios e distintos e tais que

Alm disso, para

n, k N,

com

n k,

jk jn n

temos

yk Njk
e, portanto,

yk Njk Njn Nn .
Logo

xn (yk ) = 0,

n N.

para todo

e fazendo

segue que

xn (yk ) 0,

qualquer que seja

Como estamos nas hipteses do princpio de seleo de Bessaga-Pelczynski, ento existe

uma subsequncia bsica

kn

yk j


j=1

de

(yk )
k=1 .

Portanto



ykj ; j N

um subespao fechado de

e com dimenso innita que possui base de Schauder.

4.2

O Teorema de Pitt

Nossa prxima aplicao do princpio de seleo de Bessaga-Pelczynski o Teorema de Pitt


para operadores compactos entre espaos de sequncias somveis.

Comeamos com alguns

pr-requisitos.

Denio 4.2.1. Dizemos que uma sequncia (yn )


n=1 , num espao de Banach E , uma sequncia normalizada

se

kyn k = 1,

para todo

E , dizemos que (yn )


n=1 uma

n N.

Se, alm disso,

base de Schauder normalizada.

(yn )
n=1

for base de Schauder de

50

Observao 4.2.2.

Se o espao de Banach

possui base de Schauder, ento sempre possvel

obter uma base de Schauder normalizada. De fato, basta notar que se


Schauder de

e (an )n=1 uma sequncia de escalares no nulos, ento

de Schauder de

E.

Agora, basta tomar

an =

1
,
kxn k

para cada

(xn )
n=1

uma base de

(an xn )
n=1 tambm base

n N.

Proposio 4.2.3. Seja E igual a c0 ou `p , 1 p < +. Se (yn )


n=1 uma sequncia de
blocos bsica normalizada relativa a base de Schauder cannica (en )
n=1 de E . Ento

(i) (yn )
n=1 equivalente a (en )n=1 ;
(ii) span {yn } isometricamente isomorfo a E ;

Demonstrao:
n N,

`p ,

Faamos o caso de

pois para

c0

segue de maneira similar.

Para cada

seja

kn+1

yn =

bj ej .

j=kn +1
Como

(yn )
n=1

normalizada ento

kn+1

1=

kyn kpp

|bj |p ,

j=kn +1
para todo

n N.

m N, ai K, i = 1, . . . , m, temos

p
p
kn+1
kn+1
m
m
X
X


X
X




=
ai
bj e j =
ai b j e j



Assim, para todo


p
m
X



ai y i



i=1

i=1

m
X

j=kn +1

kn+1

i=1 j=kn +1

|ai |p |bj |p =

m
X

i=1 j=kn +1

m
X
i=1

i=1

|ai |p

|bj |p

j=kn +1

m
p
X



p
|ai | =
ai ei .


i=1

Logo, segue diretamente da Denio 2.2.9 que

(yn )
n=1

(en )
n=1

so equivalentes. Alm disso,

T : span {yn ; n N} E,
!
m
m
X
X
ai y i =
ai e i ,

da igualdade acima das normas fcil ver que

kn+1

i=1

dada por

i=1

isomorsmo isomtrico.
Agora estamos aptos a demonstrar o Teorema de Pitt.

Teorema 4.2.4

. Se 1 p < q < , ento todo operador linear contnuo T : `q `p

(Pitt)

( ou T : c0 `p ) compacto.

Demonstrao:
Suponha que

Se

T = 0,

T : `q `p

Proposio 1.0.30 que

o resultado trivial em ambos os casos. Faamos o caso

no compacto. Como

`q

T 6= 0.

reexivo, segue da contra-recproca da

no completamente contnuo, ou seja, existe

(yn )
n=1 `q

convergindo

51

y em `q , mas tal que (T (yn ))


n=1 no converge para T (y).

fracamente para

xn 0 mas T (xn ) = T (yn )

termos da sequncia (xn )n=1 , se necessrio, segue que existe

para cada

todo

n N,

n N.

segue que

Como

T 6= 0,

ento

kT k =
6 0

T (y) 9 0.
>0

Tomando

xn = yn y,

Excluindo alguns dos

tal que

kT (xn ) k ,

para

e da

0 < kT (xn ) k kT kkxn k,


implicando assim que

inf kxn k

> 0.
kT k

Logo, segue do princpio de seleo de Bessaga-Pelczynski que a sequncia

(xn )
n=1

possui uma

subsequncia (xnk )k=1 que equivalente a uma sequncia de blocos bsica relativa a base de

Schauder (en )n=1 de `q . Sem perda de generalidade, podemos supor que (xnk )k=1 normalizada

(veja Observao 4.2.2). Assim, segue da Proposio 4.2.3 que (xnk )k=1 equivalente a base

cannica (en )n=1 de `q .

Da mesma forma, prova-se que (T (xnk ))k=1 equivalente a base cannica (en )n=1 de `p .

ak xnk convergente em `q e da
Agora, seja (an )n=1 `q \ `p . Ento, fcil ver que
k=1

!
ak xnk

k=1

Logo

k=1
Portanto,

|ak |p < ,

ou seja,

T : `q `p

Agora vejamos que

T 0 : `p0 `1 ,

(an )
n=1 `p ,

de provar que

k=1

o que uma contradio j que

`0p

compacto. O adjunto de

isometricamente isomorfo a

Alm disso, segue da Proposio 1.0.24 que

ak T (xnk ) `p .

(an )
n=1 `q \ `p .

compacto.

T : c0 `p

j que

T0

`p0

T
c00

pode ser visto como um operador


isometricamente isomorfo a

`1 .

contnuo. Assim, segue da parte que acabamos

compacto. Portanto, pelo Teorema 1.0.31, temos que

compacto.

REFERNCIAS BIBLIOGRFICAS

[1] S. Banach.

Thorie des oprations linaires, PWN, 1932.

[2] G. Botelho, D. Pellegrino.


Matemtica Universitria

Os problemas da base incondicional e do espao homogneo,

40 (2006), 7 20.

[3] G. Botelho, D. Pellegrino, E. Teixeira.

Fundamentos de Anlise Funcional, SBM, Coleo

Textos Universitrios, 2012.


[4] J. Diestel, H. Jarchow e A. Tonge.

Absolutely Summing Operators,

Cambridge University

Press, 1995.

Una Introduccin a la Teora de Conjuntos y los Fundamentos de la

[5] C. A. Di Prisco.

Matemticas, Coleo CLE-UNICAMP, Volume 20, Campinas, 1997.


[6] P. Eno.

A counterexample to the approximation property in Banach spaces,

Acta Math.

6 (1973), 309 317.

Banach Space Theory,

[7] M. Fabian, P. Habala, P. Hjek, V. Montesinos and V. Zizler.


Springer, 2010.
[8] W. T. Gowers e B. Maurey.
(1993),

The unconditional bases problem,

J. Amer. Math. Soc.

851 874.

[9] C. S. Honig,
[10] K. Knoop,

Anlise Funcional e Aplicaes, Publicaes do IME-USP, 1970.

Innite Sequences and Series, Dover, 1956 .

[11] E. Kreyszig.

Introductory Functional Analysis with Applications, John Wiley & Sons, 1978.

[12] J. Lindenstrauss.
[13] J. Lindenstrauss.

On operators which attain their norm, Isr. J. Math. 1 (1963), 139 143.
Some aspects of the theory of Banach spaces,

Adv. Math.

(1970),

159 180.
[14] D. Pellegrino, E. Teixeira

Norm optimization problem for linear operators in classical Ba-

nach spaces, Bull. Braz. Math. Soc. 40 (2009), 417 431.


52