Filtros e Redes

Filtros e Redes
Area:
Matematica
Analise Complexa\Analise Funcional\Topologia Geral
Daniel Parasio Sobreira de Souza

Orientadora: Ceclia de Souza Fernandez
Universidade Federal Fluminense-UFF
Novembro de 2008
A Jeova, à minha namorada

Joana Lusa e a meus pais
Pref
acio
Este texto esta baseado no estudo realizado durante o desenvolvimento
do projeto de iniciacao cientfica intitulado Filtros e Redes. Este projeto
foi desenvolvido no Instituto de Matematica da Universidade Federal Fluminense, sob a orientacao da professora Ceclia S. Fernandez, tendo sido
contemplado com uma bolsa PIBIC\ CNPq na vigencia 2007-2008.
O objetivo de nosso projeto foi estudar a nocao de convergencia de Bourbaki e a nocao de convergencia de Moore-Smith, que generalizam a nocao de
seq
uencias para espacos topologicos arbitrarios. Nosso projeto culminou com
a leitura do artigo Construction de caractères exceptionnels sur une algèbre
de Frechet de Djamel Deghoul, publicado na C.R.Acad. Sci Paris em 1991.
Neste artigo, o autor construiu um homomorfismo complexo na agebra de
Frechet Hb (l2 ) que se anula em todo o polinomio homogeneo de grau mpar e
que e diferente da evaluacao no ponto 0. A construcao do homomorfismo de
Deghoul e bastante interessante, pois o que ele de fato constroi e uma base de
filtro consistindo de subconjuntos da bola unitaria de l2 com determinadas
propriedades.
No primeiro captulo deste texto, vamos apresentar o conceito de espaco
topologico e varios exemplos importantes, como os espacos metricos e os
espacos normados. Apresentaremos neste captulo a nocao de base de uma
topologia. Tambem apresentaremos, no contexto de espacos topologicos,
as nocoes de interior, fecho e ponto de acumulacao de um conjunto, bem
como as nocoes de funcoes contnuas e seq
uencias que sao generalizacoes
naturais das suas correspondentes na reta. Finalizamos o captulo com a
nocao de espacos de Banach. No segundo captulo, veremos duas nocoes
de convergencia que generalizam a nocao de seq
uencia. Elas sao a nocao
de filtro, introduzida por H.Cartan e outros, e a nocao de rede, introduzida
por E.H.Moore, H.L.Smith e outros. No terceiro captulo, faremos um estudo detalhado das aplicacoes multilineares e dos polinomios m-homogeneos.
Apresentaremos resultados importantes desta teoria como a caracterizacao
da continuidade de uma aplicacao multilinear, a formula da polarizacao, a
relacao entre polinomios m-homogeneos (contnuos) e as aplicacoes multilineares (contnuas) e ou-tros. No quarto captulo, apresentaremos o contraexemplo de Deghoul, que responde negativamente a um problema proposto
por Aron, Cole e Gamelin no artigo Spectra of algebras of Analytic functions on a Banach Space publicado no Journal f
ur die reine angewandre
Mathematik.
4
As notacoes usadas neste texto sao usuais e nao devem gerar dificuldades
para o leitor. Mencionamos apenas que X\A denota a diferenca do conjunto
X pelo conjunto A, ou seja X\A = {x : x X e x
/ A}, que N denota o
conjunto de todos os n
umeros naturais (incluindo o zero), que N = N\ {0}
e que K denota o corpo dos n
umeros reais ou o corpo dos n
umeros complexos.
Novembro de 2008.
Sum
ario
1. Espa
cos Topol
ogicos
1.1 Espacos topologicos
1.2 Espacos metricos
1.3 Base de uma topologia
1.4 Nocoes basicas
1.5 Seq
uencias
1.6 Espacos normados
1.7 Espacos de Banach
2. Filtros e Redes
2.1 Filtros
2.2 Base de filtro
2.3 Conjuntos parcialmente ordenados
2.4 Redes
2.5 Relacao entre filtros e redes
3. Polin
omios
3.1 Aplicacoes mutilineares
3.2 Polinomios
4. O contraexemplo de Deghoul
4.1 Funcoes analticas
4.2 A algebra de Frechet Hb (E)
4.3 O contraexemplo de Deghoul
Captulo 1
Espacos Topol
ogicos
A definicao de espaco topologico levou muito tempo para ser formulada.

Varios matematicos - Frechet1 , Hausdorff2 , e outros - propuseram diferentes
definicoes nas primeiras decadas do seculo passado, ate chegar-se a uma
que fosse mais adequada. O termo mais adequadaaqui significa uma
definicao bastante geral, de modo a englobar como casos particulares todos
os varios exemplos que sao importantes em Matematica como os espacos euclidianos e os espacos de funcoes. Alias esse e sempre o problema quando se
esta tentando formular um novo conceito matematico, pois se deve decidir o
quao geral este novo conceito pode ser.
1. Espa
cos topol
ogicos
Defini
c
ao 1.1.1: Sejam X um conjunto e T uma colecao de subconjuntos
de X. T e chamada uma topologia para X se as seguintes condicoes sao
satisfeitas:
(i) T ;
(ii) X T ;
(iii) Se A1 T e A2 T , entao A1 A2 T ;
1
Rene-Maurice Frechet nasceu em 1878 na Franca. Frechet publicou varios artigos.

Porem, seu mais importante trabalho e sua tese de doutorado, na qual pela primeira vez
se apresenta uma teoria geral sobre espacos metricos.
2
Felix Hausdorff nasceu em 1868 na Alemanha. Embora sua definicao, dada em 1914,
tenha sido modificada, os fundamentos basicos da topologia geral como sao apresentados
nos dias de hoje seguem as ideias encontradas em seu importante trabalho intitulado
Grundz
uge der Mengenlehre(Fundamentos da Teoria de Conjuntos).
CAPITULO 1. ESPAC
OS TOPOLOGICOS
(iv) Se A T com A 6= , entao
{A : A A} T .
Os elementos de T sao chamados conjuntos abertos. Um espaco topol

ogico e
um par (X, T ), onde X e um conjunto e T uma topologia para X.
Observemos que a condicao (iii) afirma que a intersecao de dois conjuntos abertos quaisquer e um aberto. Conseq
uentemente, uma intersecao finita
qualquer de conjuntos abertos e um aberto. Ja a condicao (iv) afirma que
a uniao qualquer de conjuntos abertos, nao importando se esta uniao e nao
enumeravel, e um aberto. Assim, um espaco topologico e um conjunto X
com uma colecao de subconjuntos de X, chamados de abertos, tais que e
X sao ambos abertos, intersecoes finitas de conjuntos abertos sao abertos e
unioes quaisquer de conjuntos abertos sao tambem abertos.
Vejamos a seguir alguns exemplos de espacos topologicos.
Exemplo 1.1.2 Seja X um conjunto e seja T = {, X}. Temos que T e
uma topologia para X, chamada topologia indiscreta.
Exemplo 1.1.3 Seja X um conjunto e seja T a colecao de todos os subconjuntos de X. T e uma topologia para X, chamada topologia discreta.
Pelos exemplos acima, observamos que em qualquer conjunto podemos
introduzir as topologias indiscreta e discreta. No caso em que X = , entao
au
nica topologia para X e {}, e conseq
uentemente, as topologias indiscreta
e discreta coincidem.
Exemplo 1.1.4 Seja X um conjunto. Consideremos a seguinte colecao de
subconjuntos de X:
T = {A X : X\A e um conjunto enumeravel} {}.
Vejamos que T e uma topologia para X. De fato, por definicao T .
Tambem X T , ja que X\X = , que e um conjunto enumeravel. Sejam
A1 T e A2 T . Entao, X\A1 e X\A2 sao conjuntos enumeraveis. Conseq
uentemente, X\(A1 A2 ) = (X\A1 ) (X\A2 ) e um conjunto enumeravel,
e portanto A1 A2 T . Seja agora {A : J} um subconjunto de T , onde
J e um conjunto qualquer nao vazio de ndices.
Como,
[
\ para cada , X\A e
um conjunto enumeravel, segue que X\
A =
(X\A ) e um conjunto
J
J
[
enumeravel, mostrando assim que
A esta em T . Portanto, de fato, T
J
3
e uma topologia para X, chamada topologia coenumer
avel. Consideremos
agora a seguinte colecao de subconjuntos de X:
T 0 = {A X : X\A e um conjunto finito} {}.
De maneira analoga ao que fizemos anteriormente e facil verificar que T 0 e
tambem uma topologia para X a qual e chamada topologia cofinita.
Exemplo 1.1.5 Seja X um conjunto infinito e T a colecao de todos os
subconjuntos finitos de X, junto com o proprio X. Entao T n
ao e uma
topologia para X, ja que uma uniao de conjuntos finitos pode nao ser um
conjunto finito.
O proximo exemplo ilustra que a intersecao qualquer de abertos pode nao
ser um aberto.
Exemplo 1.1.6 Seja X = N e consideremos T a topologia cofinita para
X. Para\
cada n N , o conjunto An = {1, n, n + 1, n + 2, . . .} esta em T .
Porem,
An = {1}
/ T.
nN
O proximo exemplo relembra o que aprendemos numa primeira disciplina

de Analise Real.
Exemplo 1.1.7 (A topologia usual de R). Seja T a colecao de subconjuntos de R cujos elementos sao o e todo subconjunto nao vazio G de R com a
propriedade de que para todo x G, existe > 0 tal que (x , x + ) G.
Temos que T e uma topologia em R, chamada topologia usual, ou topologia
euclidiana, de R. De fato, as condicoes (i) e (ii) da definicao de topologia sao
satisfeitas. Tomemos G1 e G2 em T . Se G1 G2 = , entao nada temos a
provar. Se G1 G2 6= , tomemos x G1 G2 . Existem 1 > 0 e 2 > 0 tais
que (x i , x + i ) Gi , para i = 1, 2. Seja = min {1 , 2 }. Entao > 0
e (x , x + ) G1 G2 , mostrando que G1 G2 esta em T . Seja agora
{G : J} um subconjunto
de T , onde J e um conjunto qualquer nao
[
vazio de ndices. Se x
G , entao x G0 para algum 0 J. Assim,
J
[
existe > 0 tal que (x , x + ) G0 . Portanto, (x , x + )
G ,
J
[
mostrando que
G esta em T .
J
Defini
c
ao 1.1.8: Sejam x e V , respectivamente, um ponto e um subconjunto de um espaco topologico. Dizemos que V e uma vizinhanca de x se

CAPITULO 1. ESPAC
OS TOPOLOGICOS
existe um conjunto aberto G com x G V .

Observemos que todo conjunto aberto nao vazio e uma vizinhanca de cada
um de seus pontos. A recproca deste fato e dada pela seguinte proposicao.
Proposic
ao 1.1.9: Seja V um conjunto n
ao vazio de um espaco topol
ogico
(X, T ). Se V e uma vizinhanca de cada um de seus pontos, ent
ao V T .
Demonstrac
ao: Se V e uma vizinhanca de cada um de seus pontos,
[ entao
para cada x V , existe Gx T com x Gx V . Como V =
Gx e
xV
[
Gx T , temos o resultado.

xV
No paragrafo seguinte veremos uma subclasse importante de espacos

topologicos, a saber, os espacos metricos.
1.2. Espacos m
etricos
Definic
ao 1.2.1: Sejam X um conjunto e d e uma funcao d : X X R que
associa a cada par ordenado de elementos x, y em X um n
umero real d(x, y),
chamado distancia de x a y, de modo que sejam satisfeitas as seguintes
condicoes:
(i) d(x, x) = 0;
(ii) Se x 6= y, entao d(x, y) > 0;
(iii) d(x, y) = d(y, x);
(iv) d(x, z) d(x, y) + d(y, z).
A funcao d e chamada metrica para X. Um espaco metrico e um par (X, d),
onde X e um conjunto e d uma metrica para X.
Vejamos agora alguns exemplos de espacos metricos.
Exemplo 1.2.2 Seja X um conjunto. Para x e y em X, defina d(x, y) = 1 se
x 6= y e d(x, y) = 0 se x = y. Temos que d e uma metrica para X, chamada
metrica discreta.
Exemplo 1.2.3 O espaco (Rn , d) e um espaco metrico, chamado espaco
metrico euclidiano, onde
5
d(x, y) =
p
(x1 y1 )2 + (x2 y2 )2 + + (xn yn )2
para quaisquer x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) em Rn .

Exemplo 1.2.4 Para w = (x, y, z) R3 , defina f (w) = |x| + |y|. Entao
d(w, w0 ) = f (w w0 ) nao e uma metrica para R3 , ja que para w = (1, 2, 3) e
w0 = (1, 2, 4), temos que d(w, w0 ) = 0.
Defini
c
ao 1.2.5: Seja (X, d) um espaco metrico. Para cada x0 X e r > 0,
consideremos os seguintes conjuntos:
B(x0 , r) = {x X : d(x, x0 ) < r},
B(x0 , r) = {x X : d(x, x0 ) r},
C(x0 , r) = {x X : d(x, x0 ) = r}.
Os conjuntos acima sao chamados respectivamente de bola aberta, bola fechada
e crculo de centro x0 e raio r.
Dependendo do espaco metrico as bolas e crculos podem adquirir aspectos inesperados. Por exemplo, se X e um espaco com a metrica discreta, entao
para todo x0 X, temos que B(x0 , r) = B(x0 , r) = X se r > 1 e B(x0 , r) =
B(x0 , r) = {x0 } se r < 1. Notemos que B(x0 , 1) = {x0 } e B(x0 , 1) = X.
Conseq
uentemente, C(x0 , r) = se r 6= 1 e C(x0 , 1) = X\ {x0 }.
Seja (X, d) um espaco metrico. Seja T uma colecao de subconjuntos
de X cujos elementos sao o e todo subconjunto nao vazio G de X com
a propriedade de que para todo x G, existe r > 0 tal que B(x, r) G.
Podemos verificar, de modo analogo ao Exemplo 1.1.7, que T e uma topologia
para X chamada topologia usual de (X, d) ou topologia em X induzida pela
metrica d. Assim,
todo espaco metrico e um espaco topol
ogico.
Observamos que, salvo mencao em contrario, os conjuntos abertos em
(X, d) considerados no texto sao os conjuntos abertos da topologia usual de
(X, d).
natural perguntar se toda topologia pode ser obtida a partir de uma
E
metrica, e, se nao, quais podem ser. Os espacos topologicos cujas topologias
provem de uma metrica sao chamados espacos metriz
aveis. Para verificarmos que nem todo espaco topologico e metrizavel, consideremos um espaco

CAPITULO 1. ESPAC
OS TOPOLOGICOS
como o do Exemplo 1.1.2, sendo X com mais de um elemento. Se este espaco

fosse metrizavel, entao para quaisquer a e b em X, com a 6= b, o conjunto
{x X : d(x, b) < d(a, b)} seria um aberto nao vazio proprio de X.
O problema de determinar quais espacos topologicos tem suas topologias
geradas por metricas e chamado o Problema da Metrizac
ao, e foi resolvido
independentemente por J. Nagata em 1950 e Y. M. Smirnov em 1951. Como
este assunto vai alem do nvel do presente texto, nao apresentaremos aqui o
Teorema de Metrizacao de Nagata-Smirnov. Porem, para aqueles interessados em ler mais sobre o assunto, indicamos o excelente livro sobre Topologia
Geral de Munkres [7].
O resultado a seguir mostra que toda bola aberta em um espaco metrico
e um conjunto aberto.
Proposic
ao 1.2.6: Seja (X, d) um espaco metrico. Ent
ao, para todo a X
e para todo r > 0, o conjunto B(a, r) e aberto.
Demonstrac
ao: Se B(a, r) = , entao B(a, r) e um conjunto aberto. Se
B(a, r) 6= , tomemos x B(a, r) e definamos s = r d(x, a). Temos que
B(x, s) B(a, r), pois se y B(x, s), entao
d(y, a) d(y, x) + d(x, a) < s + d(x, a) = r.
Como x B(a, r) foi tomado de modo arbitrario, provamos que B(a, r) e
um conjunto aberto.

1.3 Base de uma topologia
Usualmente definir uma topologia apresentando todos os seus conjuntos
abertos pode ser bastante difcil. Dessa forma, seria bastante u
til poder mencionar somente alguns conjuntos abertos, mas suficientes para identificar a
topologia unicamente. Por exemplo, se dois conjuntos sao dados como abertos de uma topologia, nao ha necessidade de mencionar sua uniao, ja que ela
e automaticamente um aberto. Essas ideias serao exploradas a seguir.
Definic
ao 1.3.1: Sejam (X, T ) e x X. Uma colecao B de subconjuntos
(X, T ) e chamada uma base local em x se todo elemento de B e uma vizinhanca de x e se para toda vizinhanca V de x, existe S B tal que S V .
E B e chamada uma base para a topologia T se todo elemento de B e um
aberto e se B contem uma base local em cada ponto de X.
7
Exemplo 1.3.2 Consideremos (X, d) um espaco metrico e fixemos x em X.
1
Seja B a colecao de todas as bolas
), onde n N . Temos que B e uma
n
B(x,
1
base local em x. Ja a colecao B(x, n ) : n N , x X e uma base para o
espaco metrico (X, d).
Exemplo 1.3.3 Consideremos X um conjunto nao vazio com a topologia
discreta. O conjunto {x}, x X, e uma base local em x. Ja a colecao
{{x} : x X} e uma base para a topologia discreta de X.
Proposi
c
ao 1.3.4: Seja X um conjunto e seja B uma colec
ao de subconjuntos de X com as seguintes propriedades:
S
(i) {A : A B} = X,
(ii) para quaisquer U e V em B e para cada x U V , B contem um membro
W com x W U V .
Entao, existe uma u
nica topologia para X que tem B como base, chamada a
topologia gerada por B.
Demonstrac
ao:
Unicidade: Sejam T e T 0 duas topologias para X que tem B como uma base.
Vamos mostrar que T = T 0 . Ora, tomemos 6= G T e x G. Pela
definicao de base, existe S B tal que x S G. Como S B, segue que
S T 0 e portanto G e uma vizinhanca de x em T 0 . Como x G foi tomado
de modo arbitrario, segue da Proposicao 1.1.9 que G T 0 . Provamos assim
que T T 0 . Com um raciocnio analogo temos que T 0 T .
Existencia: Seja T uma colecao de subconjuntos de X tal que:
(1). T ,
(2). G =
6 esta em T se G e uma uniao de elementos de B.
Temos que T e a topologia
gerada por B. De fato, T por definicao e
S
X T , pois X = {A : A B}. Seja C = {GS: L}, onde G T
para
L. Para cada L, G =
{A : A B }. Assim,
[ cada [
G =
{A : A B } e portanto esta em T . Finalmente, tomemos
L
G e H em T e x G H. Existem U e V em B tais que x U G e

x V H. Pela hipotese, existe Wx B com x Wx U V G H.
CAPITULO 1. ESPAC
OS TOPOLOGICOS
S
Como G H = {Wx : x G H} e {Wx : x G H} esta em T , segue
que G H esta em T . Para finalizarmos a prova, devemos mostrar que
B e uma base para T . Ora, pela definicao de T , todo elemento de B e
um aberto. Seja agora x X e V uma vizinhanca de x. Entao existe
G T com x G V . Como G T , G e uma uniao de elementos de B.
Tomemos um desses elementos de B que contem x e chame-o de Bx . Temos
que x Bx V .

Definic
ao 1.3.5: Seja (X, T ) um espaco topologico e seja x X. (X, T ) e
dito ser primeiro contavel em x se existe uma base local em x enumeravel.
Se (X, T ) e primeiro contavel em cada um de seus pontos, entao (X, T ) e
dito ser primeiro contavel.
Exemplo 1.3.6
espaco metrico X e primeiro contavel, ja que para
Todo
1
cada x X, B(x, n ) : n N e uma base local em x enumeravel.
Terminamos este paragrafo observando que numa primeira disciplina de
Analise Real, vemos que muitos conceitos e resultados apresentados podem
ser reformulados atraves da nocao de seq
uencias. Por exemplo, e usual
definirmos fecho de um conjunto da seguinte forma: seja a S R. Dizemos
que a S se todo conjunto aberto contendo a intercepta S. A caracterizacao
da nocao de fecho pode ser feita atraves do uso de seq
uencias. De fato, dado
a S R, temos que a S se, e somente se, existe (xn ) seq
uencia em S tal
que xn a (ver [2]). Vamos mostrar que se estamos num espaco topologico
primeiro contavel, entao e possvel descrever as nocoes topologicas em termos
de seq
uencias, em vez de usarmos conjuntos abertos e vizinhancas. Contudo,
como veremos, tais descricoes sao impossveis em geral (veja exemplos 1.5.14
e 1.5.15).
1.4 Noc
oes b
asicas
Neste paragrafo vamos apresentar algumas nocoes basicas associadas aos
espacos topologicos. Mais precisamente, vamos apresentar os conceitos de
conjunto aberto, conjunto fechado e fecho de um conjunto. Tambem nesta
secao vamos definir, no contexto dos espacos topologicos, funcoes contnuas
e apresentar alguns de seus resultados.
Definic
ao 1.4.1: Sejam X um espaco topologico, S X e x S. Dizemos
que x e um ponto interior a S se S e uma vizinhanca de x. O cojunto de
todos os pontos interiores a S e chamado de interior de S e e denotado por S .
9
Proposi
c
ao 1.4.2: Sejam X um espaco topologico e S X. S e a uniao
de todos os abertos contidos em S.
Demonstrac
ao: Primeiramente, note que para todo G S aberto, temos
que S e uma vizinhan
ca de todos os pontos de G. Logo, G S . ConS
seq
uentemente, {G : G S e G e aberto} S . Para provarmos a outra
inclusao, vejamos que S e aberto. De fato, para cada x S , S e uma
vizinhaca de x. Logo, para cada x S , existe um aberto Gx S tal
que x[ Gx . Como uma uniao arbitraria de abertos e um aberto, temos
que
Gx e um aberto contido em S e portanto contido em S . AsxS
[
[
[
Gx = S e como cada
Gx S . Logo,
{x}
sim, S =
xS
xS
xS
Gx e aberto, S e aberto. Como S e aberto

e S S, temos que S
S
S
{G : G S e G e aberto}. Logo, S = {G : G S e G e aberto}.

Defini
c
ao 1.4.3: Sejam (X, T ) um espaco topologico e F X. Dizemos
que F e um conjunto fechado em X se X\F T . Ou seja, um conjunto e
fechado em X se seu complementar e um aberto em X.
Exemplo 1.4.4 Em um espaco topologico X, temos que X e sao fechados.
Proposi
c
ao 1.4.5: Seja (X, d) um espaco metrico. Entao, para todo a X
e para todo r > 0, o conjunto B(a, r) e fechado.
Demonstrac
ao: Se B(a, r) = , entao B(a, r) e um conjunto fechado. Se
B(a, r) 6= , tomemos x X\B(a, r) e definamos s = d(x, a) r. Temos
que B(x, s) X\B(a, r), pois se y B(x, s), entao d(x, y) < s ou seja,
d(x, y) < d(x, a) r; o que implica que d(x, y) < d(x, y) + d(a, y) r que
e equivalente a r < d(a, y). Como x X\B(a, r) foi tomado de modo arbitrario, provamos que X\B(a, r) e um conjunto aberto e portanto B(a, r) e
fechado.

Proposi
cao 1.4.6: Seja (X, T ) um espaco topol
ogico. Ent
ao valem as
seguintes propriedades:
(i) Se F1 , . . . , Fn sao conjuntos fechados em X ent
ao
n
[
Fi e um fechado;
i=1
(ii) Se (F )L e uma famlia arbitr

aria de conjunto fechados em X, ent
ao

CAPITULO 1. ESPAC
OS TOPOLOGICOS
10
\
F e um fechado.
Demonstrac
ao: (i) Como cada Fi e fechado, para cada i, X\Fi e aberto.
n
n
[
\
Como X\ Fi =
X\Fi e a intersecao finita de abertos e um aberto, segue
i=1
que X\
n
[
i=1
Fi e aberto e, portanto,
i=1
n
[
Fi e fechado.
i=1
(ii) \
Como cada
[ F e fechado, para cada L, X\F e aberto. Como
X\
F =
X\F e a uniao arbitraria de abertos e um aberto, segue
L
que X\
\
L
F e aberto e portanto,
F e fechado.
Definic
ao 1.4.7: Seja X um espaco topologico e seja S X. O fecho de
S, denotado por S, e a intersecao de todos os fechados em X que contem S.
Observemos que como uma intersecao arbitraria de fechados e um fechado,
temos que para todo S X, S e um fechado que contem S. Dado um conjunto D X se D = X, D e dito denso em X.
Proposic
ao 1.4.8: Sejam X um espaco topologico e S X. Temos que
x S se e somente se para toda vizinhanca N de x, N S 6= .
Demonstrac
ao: Sejam X um espaco topologico e S X. Seja x S.
Suponhamos por absurdo que exista N vizinhanca de x tal que N S = .
Como N e vizinhanca de x, existe G N aberto tal que x G. Como
N S = temos que G S = ; da, temos que S X\G, mas X\G e
fechado e x
/ X\G. Absurdo, pois S e a intersecao de todos os fechados
que contem S. Seja agora x X tal que para toda vizinhanca N de x tenhamos N S 6= . Suponhamos por absurdo que x
/ S. Da, temos que
x X\S. Como S e fechado, temos que X\S e um aberto que contem x
e portanto uma vizinhanca de x que nao possui intersecao com S. Absurdo.
Teorema 1.4.9: Sejam X um espaco topologico e F X. Entao, F e
fechado se e somente se F F .
Demonstrac
ao: Suponhamos
que F e fechado. Da, F e um fechado que
\
contem F . Como F =
{S : S F e S e fechado}, temos que F F .
Suponhamos agora que F F . Como F F , temos que F = F . Como F
e fechado, segue entao que F e fechado.
11
Defini
c
ao 1.4.10: Sejam X e Y espacos topologicos e sejam x X e
f : X Y uma funcao. Dizemos que f e contnua em x se para toda vizinhanca N de f (x), f 1 (N ) e uma vizinhaca de x. Dizemos que f e contnua
em X se f e contnua em todos os pontos de X.
Exemplo 1.4.11 Como visto no curso de Analise I, as funcoes polinomiais
de R em R sao contnuas em R.
Exemplo 1.4.12 Sejam X e Y espacos topologicos e a Y . A funcao
f : x X 7 a Y e contnua.
Teorema 1.4.13: Seja f : X Y uma funcao. Temos que f e contnua em
X se e somente se para todo G aberto em Y , f 1 (G) e um aberto em X.
Demonstrac
ao: Suponhamos que f e contnua em X. Seja G um aberto
1
em Y . Se f (G) = , o resultado e valido. Suponhamos que f 1 (G) 6= .
Seja x f 1 (G). Da, f (x) G e como G e aberto, G e uma vizinhanca de
f (x). Como f e contnua em X, temos que f 1 (G) e vizinhanca de x. Como
x foi tomado de modo arbitrario em f 1 (G), temos que f 1 (G) e vizinhanca
de cada um de seus pontos o que implica, pela Proposicao 1.1.9, que f 1 (G) e
um aberto em X. Suponhamos agora que para todo aberto G em Y , f 1 (G)
e um aberto em X. Seja x X e seja N uma vizinhanca de f (x). Da,
existe G N aberto em Y tal que f (x) G. Mas, x f 1 (G) f 1 (N ) e
por hipotese f 1 (G) e aberto em X. Assim, f 1 (N ) e uma vizinhanca de x.
Como x foi tomado de modo arbitrario em X, segue que f contnua em X.
Proposi
c
ao 1.4.14: Seja X um conjunto e sejam T e T 0 duas topologias
para X. Temos que T T 0 se e somente se id : (X, T ) (X, T 0 ) e contnua
em X, onde id denota a funcao identidade em X.
Demonstrac
ao: Suponhamos que T T 0 . Seja G T 0 . Como, id e a
funcao identidade em X, temos que id1 (G) = G. Da, como T T 0 , temos
que G T e portanto id e contnua pelo Teorema 1.4.13. Suponhamos agora
que id : (X, T ) (X, T 0 ) e contnua. Da, para todo G T 0 , id1 (G) T .
Como id1 (G) = G, segue pelo Teorema 1.4.13 que G T . Logo, T T 0 .
Terminamos essa secao apresentando a seguir uma outra caracterizacao
da nocao de continuidade de uma funcao.
Proposi
c
ao 1.4.15: Sejam X e Y espacos topologicos e f : X Y uma
12
CAPITULO 1. ESPAC
OS TOPOLOGICOS
funcao. Entao, f e contnua em X se e somente se f (S) f (S) para todo

S X.
Demonstrac
ao: Suponhamos que f e contnua em X. Seja S X. Vamos
mostrar que f (S) f (S). Seja y f (S). Da, existe x S tal que y = f (x).
Como f e contnua em X, temos que f e contnua em x. Da, para toda N
vizinhanca de f (x), f 1 (N ) e vizinhanca de x. Mas como x S, temos
pela Proposicao 1.4.8 que f 1 (N ) S 6= . Tomemos z f 1 (N ) S. Da,
f (z) f (f 1 (N )) e f (z) f (S). Mas f (f 1 (N )) N ; assim, N f (S) = .
Logo, y f (S). Suponhamos agora que f (S) f (S) para todo S X.
Suponhamos por absurdo que f nao e contnua em algum x X. Da,
existe N vizinhanca de f (x) tal que f 1 (N ) nao e vizinhanca de x. Seja
S = X\f 1 (N ). Como f 1 (N ) nao e uma vizinhanca de x, temos que para
todo aberto G contendo x, GS 6= , o que implica que toda vizinhanca de x
possui intersecao com S. Pela Proposicao 1.4.8, x S. Como x S, temos
que f (x) f (S). Contudo, f (S) = {f (x) : x X e x
/ f 1 (N )} e como
N f (f 1 (N )), temos que f (S) N = . Da, novamente pela Proposicao
1.4.8, f (x)
/ f (S), contrariando assim a nossa hipotese. Assim, f e contnua.
1.5 Seq
u
encias
Neste paragrafo vamos apresentar o conceito de convergencia de uma
seq
uencia em um espaco topologico qualquer. Vamos tambem verificar que
em espacos topologicos primeiro contaveis, as propriedades topologicas podem ser caracterizadas por meio das seq
uencias. Escolhemos neste trabalho
analisar duas dessas propriedades: a propriedade de um ponto estar no fecho
de um conjunto e a propriedade de uma funcao ser contnua em um ponto.
Vamos mostrar que em espacos primeiro contaveis, essas propriedades podem ser caracterizadas por meio de seq
uencias. Alias, as demonstracoes
neste contexto se baseiam em argumentos semelhantes aos vistos em uma
primeira disciplina de Analise Real.
Definic
ao 1.5.1: Dado um conjunto X qualquer, uma seq
uencia em X e
um funcao de N em X. Assim, uma seq

uencia em um espaco topologico X e
uma funcao de N em X. Usualmente denotamos f (n) por xn e a seq
uencia
por (xn ).
Definic
ao 1.5.2: Seja x X, onde X e um espaco topologico. Dizemos
que uma seq
uencia (xn ) em X converge para x, em smbolos xn x, se para
13
toda vizinhanca N de x, existe n0 N tal que se n n0 , entao xn N .
Qualquer ponto de X tal que xn x e dito um limite de (xn ).
Exemplo 1.5.3 Seja (xn ) uma seq
uencia em um espaco metrico (X, d).
Temos que xn x se e somente se para todo > 0 existe n N tal
que se n n0 , entao xn d(xn , x) < .
Suponhamos que xn x. Da, para toda vizinhanca N de x, existe n0 N
tal que se n n0 entao xn N . Dado > 0 temos que toda bola aberta
B(x, ) e uma vizinhanca de x. Assim, se xn x, existe n0 N tal que se
n n0 entao, xn B(x, ) isto e, d(xn , x) < . Suponhamos agora que para
todo > 0 exista n0 N tal que se n n0 entao d(xn , x) < . Seja N uma
vizinhanca de x. Da, existe G N aberto tal que x G. Mas, sendo G um
aberto, G e uniao de bolas abertas. Logo, existe > 0 tal que B(x, ) G e
por hipotese, existe n0 N tal que n n0 implica que d(xn , x) < ; ou seja,
xn B(x, ) N . Assim, para toda vizinhanca N de x, existe n0 N tal
que se n n0 entao xn N .
Proposi
c
ao 1.5.4: Em um espaco metrico, o limite de uma seq
uencia e
u
nico.
Demonstrac
ao: Seja (xn ) uma seq
uencia convergente em um espaco metrico
(X, d). Suponhamos que xn x X e xn y X com x 6= y. Como
x 6= y e (X, d) e metrico, temos que d(x, y) > 0. Tomemos = d(x, y). Como
por hipotese xn x e xn y, temos que existem n1 , n2 N tais que se
e n n2 , entao d(xn , y) < d(x,y)
. Seja n0 =
n n1 , entao d(xn , x) < d(x,y)
2
2
d(x,y)
max {n1 , n2 }. Da, temos que se n n0 , entao d(xn , x) < 2 e d(xn , y) <
d(x,y)
, o que implica que d(xn , x) + d(xn , y) < d(x,y)
+ d(x,y)
= d(x, y). Mas,
2
2
2
como (X, d) e espaco metrico, temos que d(x, y) d(xn , x) + d(xn , y), o que
nos da uma contradicao. Assim, temos que x = y, provando assim a unicidade do limite.

Defini
c
ao 1.5.5: Uma seq
uencia (xn ) em um espaco metrico e dita uma
de Cauchy se para todo > 0 existe n N tal que se m, n n0 entao
d(xm , xn ) < .
Defini
c
ao 1.5.6: Uma seq
uencia (xn ) em um espaco metrico e dita limitada
se existe c > 0 tal que para quaisquer m, n N tenhamos d(xn , xm ) c.
Proposi
c
ao 1.5.7: Em um espaco metrico, toda seq
uencia de Cauchy e
14
CAPITULO 1. ESPAC
OS TOPOLOGICOS
limitada.
Demonstrac
uencia de Cauchy em um espaco metrico
(X, d). Seja = 1. Como (xn ) e de Cauchy, temos que existe n0 N
tal que se m, n n0 entao d(xn , xm ) < 1. Consideremos agora o conjunto
A = {d(xi , xj ) : 1 i, j < n0 }. Seja M = max A e seja c = max {1, c}.
Temos que d(xn , xm ) c quaisquer que sejam m, n N . Assim, a seq
uencia
(xn ) e limitada.

Proposic
ao 1.5.8: Em um espaco metrico, toda seq
uencia convergente e de
Cauchy.
Demonstrac
uencia convergente em um espaco metrico
(X, d), com xn x. Seja > 0. Como xn x, temos que existe n N
tal que se n n0 entao, d(xn , x) < 2 . Sejam m, n n0 . Da, temos que
d(xm , x) < 2 e d(xn , x) < 2 . Mas, como (X, d) e espaco metrico, temos que
d(xm , xn ) d(xm , x) + d(xn , x) < 2 + 2 = . Assim, (xn ) e de Cauchy.

A recproca da proposicao acima e falsa. Consideremos a seq
uencia real
(xn ) no espaco metrico (0, 1) tal que xn = n1 para todo n N . Sabemos
da Analise I que xn 0 em R e portanto pela proposicao anterior (xn ) e
de Cauchy em R; o que implica conseq
uentemente que (xn ) e de Cauchy em
(0, 1). Entretanto, 0
/ (0, 1), e portanto, (xn ) nao converge em (0, 1).
Definic
ao 1.5.9: Um espaco metrico onde toda seq
uencia de Cauchy e convergente e dito um espaco metrico completo ou um espaco de Frechet.
Exemplo 1.5.10 No curso de Analise I voce deve ter visto que toda seq
uencia
de Cauchy em R e convergente; isto e, que R e completo. Usaremos esse resultado para provar a proposicao seguinte.
Proposic
ao 1.5.11: (Rn , d) e um espaco metrico completo; onde d e a
metrica euclidiana.
Demonstrac
ao: Seja (xk )kN uma seq
uencia de Cauchy em (Rn , d) com
xk = (xk1 , . . . , xkn ) para cada k N . Consideremos para cada 1 i n,
a seq
uencia real (xki )kN . Seja > 0. Como (xk )kN e de Cauchy, temos que
existe k0 p
N
tal que se l, m
k0
entao,
2
2
(xl1 xm1 )p+ . . . + (xln xmn ) < . Mas, para cada
d(xl , xm ) =
1 i n, |xli xmi | (xl1 xm1 )2 + . . . + (xln xmn )2 < . Assim,
15
para todo > 0 existe k0 N tal que se l, m k0 entao |xli xmi | <
para cada 1 i n ou seja, para cada 1 i n (xki )kN e uma
seq
uencia real de Cauchy e portanto convergente. Para cada 1 i n,
seja ai = lim xki . Consideremos a = (a1 , . . . , an ) Rn . Vamos mostrar que
k
xk a. De fato, como, para cada 1 i n, ai = lim xki , temos que para

k
cada 1 i n, existe k0i N tal que se ki k0i , entao |xki ai | < n .

Seja k0 = max{k01 , . . . , k0n }. Da, temos que |xk1 a1 | + . . . + |xkn an | <
n n + . . . + n = se ki k0 para cada 1 i n. Mas, temos que
p
d(xk , a) = (xk1 a1 )2 + . . . + (xkn an )2 < |xk1 a1 | + . . . + |xkn an | <
. Assim, para todo > 0 existe k0 N tal que se k k0 entao d(xk , a) < ;
isto e, xk a. Logo, toda seq
uencia de Cauchy em (Rn , d) e convergente.
Vejamos a seguir que, em espacos topologicos primeiro contaveis, as
nocoes de fecho e continuidade podem ser caracterizadas por meio de seq
uencias.
Proposi
c
ao 1.5.12: Seja X um espaco topologico primeiro contavel em x.
Entao existe uma base local em x encaixante e enumeravel.
Demonstrac
ao: Seja X um espaco topologico primeiro contavel em x. Da,
existe B = {V(
1 , V2 , . . . , Vn , . . .}
) uma base local em x enumeravel. Consin
\
deremos B =
Vi : n N = {V1 , V1 V2 , V1 V2 V3 , . . .}. Note que
i=1
para todo n N , Wn+1 Wn , onde Wn =
n
\
Vi . Note tambem que cada
i=1
Wn B e uma intersecao finita de vizinhancas de x e portanto uma vizinhanca de x. Seja N uma vizinhanca de x. Da, existe Vi B tal que N Vi .
Mas Vi contem algum elemento Wn B . Assim, B e uma base local em x
encaixante e enumeravel.

Teorema 1.5.13: Seja X um espaco topologico primeiro contavel. Temos
que:
uencia
(a) Sejam x X e S X. Entao, x S se e somente se existe (xn ) seq
em S tal que xn x.
(b) Seja f : X Y uma funcao, onde Y e um espaco topologico. Entao
f e contnua em x X se e somente se f e seq
uencialmente contnua em x
(f (xn ) f (x) sempre que (xn ) e uma seq
uencia que converge a x).
16
CAPITULO 1. ESPAC
OS TOPOLOGICOS
Demonstrac
ao: (a) Suponhamos que x S. Seja {Vn }nN uma base local
em x encaixante e enumeravel. Como x S, temos que para cada Vn existe
xn Vn S. Consideremos a seq
uencia (xn ). Seja N uma vizinhanca de x.
Como {Vn }nN e uma base local em x, temos que existe n0 N tal que
Vn0 N . Como {Vn }nN e encaixante, temos que para todo n N tal que
n n0 Vn0 Vn . Como para cada n N xn Vn , temos que para todo
n N tal que n n0 , xn Vn0 N . Assim, para toda vizinhanca N de x
existe n0 N tal que se n n0 entao xn N ; isto e, xn x. Suponhamos
agora que existe (xn ) seq
uencia em S tal que xn x. Da, toda vizinhanca
de x contem um ponto da seq
uencia e portanto um ponto de S. Assim, x S.
(b) Suponhamos que f e contnua em x. Seja (xn ) uma seq
uencia em X tal
que xn x. Para mostrarmos que f (xn ) f (x), tomemos N uma vizinhanca de f (x). Como f e contnua em x, f 1 (N ) e vizinhanca de x. Mas
xn x. Assim, existe n0 N tal que xn f 1 (N ) para todo n n0 . Portanto, f (xn ) N para todo n n0 , provando o desejado. Suponhamos que
f e seq
uencialmente contnua em x e suponhamos por absurdo, que f nao e
contnua em x. Da, existe uma vizinhanca N de f (x) tal que f 1 (N ) nao e
vizinhanca de x. Seja {Vn }nN uma base local em x encaixante e enumeravel.
Como f 1 (N ) nao e vizinhanca de x, entao para todo n N , temos que Vn
nao esta contido em f 1 (N ). Agora, para cada n N tomemos xn Vn
com xn
/ f 1 (N ). Da, pelo que mostramos logo acima, xn x. Mas f (xn )
nao converge para f (x), ja que N e uma vizinhanca de f (x) tal que f (xn )
nao pertence a N para nenhum n N .

Finalizamos este paragrafo verificando que em espacos topologicos arbitrarios, as seq
uencias se tornam insuficientes. Mais precisamente, apresentamos um exemplo mostrando que a caracterizacao de fecho de um conjunto
nao pode ser dada por seq
uencias e um exemplo mostrando que as nocoes de
funcao contnua e funcao seq
uencialmente contnua nao sao equivalentes.
Exemplo 1.5.14 Seja X o intervalo real [0, 1] e seja T a topologia coenumeravel para X. Tomemos A = [0, 1) e consideremos A. Ora, A = X\ {1}
nao e fechado, pois caso contrario {1} T . Como A e fechado e A A, segue
que A = [0, 1], ja que [0, 1] e o u
nico fechado contendo A. Assim, 1 A. Mas
nenhuma seq
uencia em A converge para o ponto 1. De fato, suponhamos que
(an ) e uma seq
uencia em A tal que an 1. Seja B = {a1 , a2 , . . . , an , . . .}
e seja G = X\B. Como B e enumeravel, segue que X\G e enumeravel, e
conseq
uentemente G e um aberto. Alem disso, 1 G. Logo, G e um aberto
17
contendo 1 que nao contem nenhum membro da seq
uencia (an ). Assim, por
definicao, (an ) nao pode convergir para 1.
Exemplo 1.5.15 Seja X um conjunto nao enumeravel. Consideremos T a
topologia coenumeravel em X e consideremos T 0 a topologia discreta em X.
Claramente, temos que T 0 nao esta contida em T . Assim, pela Proposicao
1.4.14, a funcao identidade
id : (X, T ) (X, T 0 )
nao e contnua. Mas, id e sequencialmente contnua. De fato, tomemos (xn )
uma seq
uencia em X tal que xn x, convergencia esta segundo a topologia
T . Afirmamos que existe n0 N tal que xn = x para todo n n0 . De fato,
considere o conjunto A = {x1 , . . . , xn , . . .} \ {x}. Temos que B = X\A T
pois X\B = A que e enumeravel; temos ainda que x B. Da, B e uma vizinhanca de X em T . Como xn x, temos que existe n0 N tal que xn B
para todo n n0 . Observemos agora que B = X\ {x1 , . . . , xn , . . .} {x}.
Logo, para todo n n0 , xn = x. Assim, f (xn ) = xn f (x) = x segundo
a topologia T 0 ; o que mostra que a funcao dada e seq
uencialmente contnua.
1.6 Espacos normados

Defini
c
ao 1.6.1: Seja E um espaco vetorial sobre K. Uma funcao k k :
E R e dita uma norma em E se para quaisquer x, y E e para qualquer
K, as seguintes propriedades sao satisfeitas:
i) Se x 6= 0, entao kxk =
6 0;
ii) kxk = || kxk;
iii) kx + yk kxk + kyk.
Proposi
c
ao 1.6.2: Sejam E um espaco vetorial e k k uma norma em E.
Temos que kxk 0 para todo x E. Mais ainda, se x = 0, kxk = 0 e se
x 6= 0, kxk > 0.
Demonstrac
ao: Seja x = 0. Temos que x = 0y, onde y e qualquer em
E e 0 K. Assim, temos que k0k = k0yk. Da, por
que
1 (ii), temos
x + ( 1 x) Da,
k0k = |0| kyk = 0. Seja agora
x
=
6
0.
Temos
que
0
=
2

2
por (iii), temos que 0 21 x + 12 x = 12 kxk + 12 kxk = kxk. Assim,
kxk 0. Como por hipotese x 6= 0, temos por (i) que kxk 6= 0 e portanto,
kxk > 0.

CAPITULO 1. ESPAC
OS TOPOLOGICOS
18
Definic
ao 1.6.3: Um espaco normado e um espaco vetorial no qual esta
definida uma norma.
Seja E um espaco normado e k k uma norma em E. Consideremos a
funcao d : E E R definida por d(x, y) = kx yk para quaisquer x, y E.
Sejam x, y E. Caso x = y, temos que d(x, x) = kx xk = k0k = 0.
Caso x 6= y, temos x y 6= 0 o que implica pela proposicao anterior
que d(x, y) = kx yk > 0. Temos tambem que d(x, y) = kx yk =
k1 (y x)k = |1| ky xk = ky xk = d(y, x). Finalmente, sejam
x, y, z E. Da, d(x, y) = kx yk = k(x z) + (z y)k kx zk +
kz yk = d(x, z) + d(z, y) = d(x, z) + d(y, z). Assim, temos que (E, d) e um
espaco metrico. Uma metrica obtida da maneira acima e dita induzida pela
norma. Assim,
todo espaco normado e um espaco metrico.
n
Exemplo
p 1.6.4 O espaco (R , k k) e um espaco normado onde
kxk = x21 + . . . + x2n para qualquer x = (x1 , . . . , xn ) Rn e chamada a
norma euclidiana. Note que se n = 1 recamos sobre o caso (R, | |).
Exemplo 1.6.5 Sejam X um conjunto e B(X) o espaco vetorial de todas as funcoes f : X K limitadas. Consideremos a funcao definida por
kf k = sup |f (x)|. Provaremos que k k e uma norma.
xX
i) Seja f B(X) com f nao identicamente nula. Da, existe x X tal que
f (x) 6= 0 e portanto, |f (x)| > 0. Logo, kf k = sup |f (x)| |f (x)| > 0.
xX
ii) Seja f B(X) com K e f B(X). Temos que kf k = sup |f (x)| =

xX
sup || |f (x)|. Como || 0, temos que sup || |f (x)| = || sup |f (x)| =

xX
xX
xX
|| kf k.
iii) Sejam f, g B(X). Para todo x X temos que |f (x) + g(x)|
|f (x)| + |g(x)| sup |f (x)| + sup |g(x)|. Da, sup |f (x) + g(x)| = kf + gk
xX
xX
xX
sup |f (x)| + sup |g(x)| = kf k + kgk.

xX
xX
Exemplo 1.6.6 Consideremos o intervalo real nao degenerado [a, b]. Temos
que, C ([a, b]) e um subespaco vetorial de B ([a, b]). Para cada f C ([a, b]),
Rb
definamos kf k = a |f (t)| dt. Provaremos que k k e uma norma.
19
i) Seja f C ([a, b]) nao identicamente nula. Da, existe x [a, b] tal que
f (x) 6= 0. Como f e contnua, temos que existe > 0 tal que para todo
y (x , x + ), f (y)f (x) > 0; o que implica que |f (y)| > 0 para todo
Rb
R x
R x+
y (x , x + ). Da, kf k = a |f (t)| dt = a |f (t)| dt + x |f (t)| dt +
Rb
R x+
|f
(t)|
dt
|f (t)| dt > 0.
x+
x
ii) Seja f C ([a, b]) com f C ([a, b]) e K. Temos que kf k =
Rb
Rb
Rb
|f (t)| dt = a || |f (t)| dt = || a |f (t)| dt = || kf k.
a
iii) Sejam f, g C ([a, b]). Temos que kf + gk =
Rb
Rb
|f
(t)|
dt
+
|g(t)| dt = kf k + kgk.
a
a
Rb
a
|f (t) + g(t)| dt
Exemplo 1.6.7(Espacos lp ): Sejam p [1, +) fixado e lp o conjunto
X
|xn |p conde todas as seq
uencias (xn )nN de elementos de K tais que
n=1
verge. Mostraremos que se definirmos (xn )nN + (yn )nN = (xn + yn )nN
e (xn )nN = (xn )nN com (xn )nN , (yn )nN lp e K, entao lp e um
espaco vetorial e mostraremos tambem que a funcao k kp de lp em R definida
! p1
X
p
por k(xn )kp =
|xn |
e uma norma em lp . Para isso precisaremos de
n=1
alguns resultados que faremos a seguir.

Note que se p = 1, recamos sobre o caso de series absolutamente convergentes estudado em Analise I. Assim, nos restringiremos ao caso p > 1.
Proposi
c
ao 1.6.8: Se 0 < < 1 e a, b 0, entao a b1 a + (1 )b.
Demonstrac
ao: Os casos a = b e a = 0 ou b = 0 sao evidentes. Suponhamos entao 0 < a < b. Consideremos a funcao f : [a, b] R tal que
f (t) = t1 . Temos que f e derivavel em (a, b) e portanto, pelo teorema do
(a)
. Assim, temos que
valor medio, existe t0 (a, b) tal que f 0 (t0 ) = f (b)f
ba
1
1
o que nos
b a
= (1)t0 (ba). Como a < t0 , temos que t
0 < a
1
1
da b
a
< (1 )a (b a). Multiplicando ambos os membros dessa
desigualdade por a , temos que a b1 a < (1 )(b a) o que implica
que a b1 < a + (1 )b; provando assim a proposicao desejada.

Proposi
c
ao 1.6.9(Desigualdade de H
older): Se q R e tal que p1 + 1q = 1,
se n N e x1 , . . . , xn , y1 , . . . , yn K, entao

CAPITULO 1. ESPAC
OS TOPOLOGICOS
20
n
X
n
X
|xk yk |
k=1
! p1
n
X
|xk |p
Demonstrac
ao: Caso
|yk |q
k=1
k=1
n
X
! 1q
n
X
|xk | = 0 ou
k=1
|yk |q = 0 a proposicao e trivial-
k=1
n
X
mente verdadeira. Consideremos entao o caso
n
X
|xk | > 0 e
k=1
Para cada 1 i n, ponhamos ai = X

n
k=1
|yi |q
|xi |p
p
|xk |
e bi = X
n
k=1
1
p
Tomando =
|xi |
|yi |
0 n
1 p1 0 n
1 1q
X
X
p
q
B
B
|xk | C
|yk | C
@
A @
A
1
a
p i
|yi |q
k=1
k=1
n
X
1 |xi |p
1 |yi |q
|xi yi |
+
! 1q
! p1
n
n
p X
q
n
X
p
q
i=1
q
p
|xk |
|yk |
|yk |
|xk |
o que equivale a
k=1
n
X
k=1
n
X
|xi yi |
i=1
0 n
1 p1 0 n
1 1q
X
X
pC B
qC
B
|xk | A @
|yk | A
@
k=1
k=1
k=1
1
q
+ 1q bi o que equivale a
|xi |
p1 X
+ 1q X
.
n
n
p
q
|xk |
|yk |
1
p
|yk |
e aplicando a proposicao anterior com a = ai e b = bi

1
n
X
Da,
n
i=1 X
.
q
k=1
para cada 1 i n, temos que aip biq
k=1
|yk |q > 0.
k=1
1 i=1
n
pX
k=1
n
X
|xi |p
+
p
|xk |
k=1
1 i=1
n
qX
|yi |q
=
q
|yk |
k=1
= 1.
Substituindo i por k, chegamos ao resultado desejado.
Proposic
ao 1.6.10(Desigualdade de Minkowski): Se q R e tal que
! p1
n
X
1
+ 1q = 1, se n N e x1 , . . . , xn , y1 , . . . , yn K, entao
|xk + yk |p
p
k=1
n
X
k=1
! p1
|xk |p
n
X
k=1
! 1q
|yk |q
21
n
X
Demonstrac
ao: Caso
|xk + yk |p = 0 a proposicao e trivialmente ver-
k=1
dadeira. Consideremos entao o caso
n
X
|xk + yk |p > 0.
k=1
Temos que
n
X
n
X
|xk + yk | =
k=1
p1
|xk + yk |
|xk + yk |
k=1
n
X
|xk + yk |p1 |xk |+
k=1
|xk + yk |p1 |yk |. Mas, temos pela desigualdade de Holder que
k=1
n
X
n
X
|xk + yk |p1 |xk | +
k=1
n
X
|xk + yk |p1 |yk |
k=1
n
X
! p1
|xk |p
n
X
! 1q
|xk + yk |(p1)q
n
X
k=1
k=1
! p1
|yk |p
n
X
! 1q
|xk + yk |(p1)q
k=1
k=1
Assim,
n
X
|xk + yk |p
k=1
n
X
! 1q
|xk + yk |(p1)q
n
X
k=1
! p1
|xk |p
k=1
n
X
! p1
|yk |p
k=1
Como p1 + 1q = 1, temos que (p 1)q = p. Da, multiplicando ambos os mem! 1q

n
X
bros da desigualdade acima por
|xk + yk |p
, temos que
k=1
n
X
! p1
|xk + yk |p
k=1
n
X
k=1
! p1
|xk |p
n
X
! p1
|yk |p
. Provando assim a de-
k=1
sigualdade desejada.
Segue da desigualdade de Minkowski que se (xn ), (yn ) lp , entao (xn + yn )
lp e k(xn + yn )kp k(xn )kp +k(yn )kp . Como as outras propriedades de espaco
vetorial e norma sao trivialmente satisfeitas, temos que lp e um espaco normado.
1.7 Espacos de Banach

Defini
c
ao 1.7.1: Seja E um espaco normado. Dizemos que E e um espaco
de Banach se E e um espaco metrico completo relativamente à metrica induzida por sua norma.

CAPITULO 1. ESPAC
OS TOPOLOGICOS
22
Exemplo 1.7.2 Consideremos o espaco normado (Rn , k k) onde k k e a

norma euclidiana. Temos que a metrica d induzida por k k e a metrica
euclidiana e na proposicao 1.5.11, vimos que (Rn , d) e completo. Assim,
(Rn , k k) e um espaco de Banach.
Exemplo 1.7.3 Os espacos lp , com p [1, +), sao espacos de Banach.
Fixemos p [1, +). Seja (xn ) uma seq
uencia de Cauchy em lp . Para
cada n N , ponhamos xn = (xn1 , xn2 , . . . , xni , . . .). Fixado qualquer i N ,

! p1
X
p
. Logo, (xni )nN
temos que |xmi xni | kxm xn kp =
|xmj xnj |
j=1
e uma seq
uencia de Cauchy em K. Como toda seq
uencia de Cauchy em K
e convergente, temos que para cada i N , existe lim xni = ai K. Seja

n
a = (a1 , a2 , . . . , ai , . . .) e seja > 0. Como (xn ) e de Cauchy, existe n0 N

! p1
X
tal que se m, n n0 entao kxn xm kp =
< 2 . Logo,
|xmj xnj |p
j=1
para todo k N e m, n n0 , temos que
k
X
! p1
|xmi xni |p
< 2 . Fazendo
i=1
m na u
ltima desigualdade, conclumos que para todo k N e para
! p1
k
X
todo n n0 segue que
|ai xni |p
2 . Fazendo agora k , rei=1
sulta que
X
i=1
! p1
|ai xni |p
2 , para todo n n0 . Em particular, n n0
implica a xn lp . Segue-se que a = a xn + xn lp , pois xn lp que

como ja mostramos e um espaco vetorial. Assim, temos que se n n0 ,
kxn akp 2 < , ou seja, lim xn = a lp . Assim, toda seq
uencia de
n
Cauchy em lp e convergente e portanto lp e um espaco de Banach.
Captulo 2
Filtros e Redes
Em 1915, um artigo de E. H. Moore apareceu no Proceedings of the National Academy of Sciences U.S.A.intitulado Definition of limit in general
integral analysis. Esse artigo gerou a teoria de convergencia de Moore e H.
L. Smith que apareceu no artigo A general theory of limits publicado no
American Journal of Mathematicsem 1922. Em 1937, G. Birkhoff aplicou
a teoria de convergencia de Moore-Smith em topologia geral em um artigo
intitulado Moore-Smith convergence in general topology, o qual apareceu no
Annals of Mathematics. Em 1940, J. W. Tukey fez uso extensivo da nocao
de convergencia de Moore-Smith em seu livro intitulado Convergence and
uniformity in topology publicado no Annals of Mathematics Studies series.
Tukey trabalhou com objetos que sao um caso especial do que hoje chamamos
de redes, que sao uma generalizacao do conceito de seq
uencia.
Uma teoria equivalente de convergencia usando objetos chamados filtros
surgiu por volta de 1930, desenvolvida pelo grupo Bourbaki, na Franca. Embora a teoria dos filtros seja a teoria de convergencia preferida pela maioria
dos topologistas, existem situacoes em que seu uso se torna extremamente
delicado. Por exemplo, no estudo dos superespacos de um espaco uniforme, os
objetos dos superespacos sao subconjuntos do espaco original. Dessa forma,
filtros, que sao colecoes de subconjuntos de um espaco, se tornam difceis de
serem construdos em um superespaco.
Neste captulo vamos estudar ambas as nocoes de convergencia; mais
precisamente a nocao de rede, ou nocao de convergencia de Moore-Smith,
e a nocao de filtro, ou nocao de convergencia de Bourbaki. Vamos caracterizar conceitos e resultados vistos anteriormente no contexto de espacos
topologicos via ambas as nocoes de convergencia.
23
24
CAPITULO 2. FILTROS E REDES
2.1 Filtros
Definic
ao 2.1.1: Sejam X um conjunto e F uma colecao de subconjuntos
de X. Dizemos que F e um filtro em X se satisfaz às seguintes propriedades:
(i) X F;
(ii)
/ F;
(iii) Se A F e B F, entao A B F;
(iv) Se A F e A C X, entao C F.
Exemplo 2.1.2 Seja X um conjunto. Fixemos x X e consideremos o conjunto Dx = {A X : x A}. Dx e um filtro em X chamado o filtro discreto
em x.
Exemplo 2.1.3 Seja X um conjunto. Fixemos x X e consideremos o
conjunto Ix = {X}. Ix e um filtro em X chamado o filtro indiscreto em x.
Note que Ix independe de x.
Exemplo 2.1.4 Seja X um espaco topologico. Fixemos x X e consideremos o conjunto Nx = {N X : N e vizinhanca de x}. Nx e chamado o filtro
vizinhanca em x.
Com a definicao de filtro vizinhanca estamos agora em condicoes de definir
a convergencia de um filtro.
Definic
ao 2.1.5: Sejam F um filtro em X e x X. Dizemos que F converge para x, e denotamos F x, se F Nx .
Note que se F e um filtro tal que F x e F 0 e um filtro tal que F 0 F,
temos que F 0 x. Note tambem que Nx x.
Exemplo 2.1.6 Sejam X um conjunto e (xn ) uma seq
uancia em X. Seja
F = {A X : xn A para n suficientemente grande}. Temos que F e um
filtro e que F x se e somente xn x. De fato, suponhamos que F x.
Da, Nx F, o que implica que para toda vizinhanca N de x, xn N para
n suficientemente grande; isto e, xn x. Suponhamos agora que xn x.
Da, para toda vizinhanca N de x, xn N para n suficientemente grande;
assim, para toda vizinhanca N de x, N F; isto e, Nx F. Assim, F x.
25
2.2 Base de filtro
Defini
c
ao 2.2.1: Sejam X um conjunto e B uma colecao de subconjuntos
de X. Dizemos que B e uma base de filtro em X se satisfaz às seguintes
propriedades:
(i) B 6= ;
(ii)
/ B;
(iii) Se A B e B B, entao existe C A B tal que C B.
Exemplo 2.2.2 Todo filtro em um conjunto X e uma base de filtro em X.
Exemplo 2.2.3 Seja B o conjunto dos discos em R2 que contem a origem.
B e uma base de filtro em R2 .
Proposi
c
ao 2.2.4: Sejam X um conjunto e B uma base de filtro em X.
Consideremos o conjunto F = {A : A B para algum B B}. Temos que
F e um filtro em X.
Demonstrac
ao: Temos que
/ F pois o u
nico conjunto contido em e ele
mesmo e
/ B. Como para todo B B, X B, temos que X F. Sejam
A, B F. Da, existem A0 , B 0 B tais que A0 A e B 0 B. Como B e
base de filtro, existe C 0 B tal que C 0 A0 B 0 . Mas, A0 B 0 A B;
logo, C 0 A B e como C 0 B, temos que A B F. Sejam A X
e B F tais que A B. Como B F, temos que existe C B tal que
B C. Da, como A B, temos que A C; portanto, A F. Assim, F e
um filtro, chamado o filtro gerado por B.

Defini
c
ao 2.2.5: Dizemos que uma base de filtro B converge para x, e denotamos B x, se o filtro gerado por B converge para x.
Proposi
c
ao 2.2.6: Seja B uma base de filtro em um espaco topologico X.
Temos que B x se e somente se para toda vizinhanca de x, existe B B
tal que B N .
Demonstrac
ao: Suponhamos que B x. Da, o filtro gerado por B contem
Nx , o que implica que para toda N Nx temos que N B para algum
B B. Suponhamos agora que para toda N Nx , existe B B tal que
B N . Da, para toda N Nx , N pertence ao filtro gerado por B. Assim,
o filtro gerado por B contem Nx o que implica que este converge para x.
Assim, B x.
26
Teorema 2.2.7: Sejam X um espaco topologico, x X, e S X. Entao,

x S se e somente se existe B base de filtro em S tal que B x.
Demonstrac
ao: Suponhamos que x S. Seja B = {N S : N Nx }.
Vamos mostrar que B e uma base de filtro em S. Primeiramente, note que
S = X S B; logo, B =
6 . Temos tambem que
/ B, pois como x S,
temos que para toda N Nx , N S 6= . Sejam agora N1 S e N2 S
elementos de B. Como (N1 S) (N2 S) = (N1 N2 ) S; e N1 N2 Nx ,
temos que (N1 S) (N2 S) B. Assim, B e uma base de filtro. Seja
N Nx , da, N S N . Assim, para toda N Nx , existe B B tal que
B N ; temos assim pela proposicao 2.2.6 que B x. Suponhamos agora
que existe B base de filtro em S tal que B x. Seja N Nx . Da, existe
B B tal que B N . Como B S, temos que N S 6= . Assim, x S.
Definic
ao 2.2.8 Sejam X um conjunto nao vazio e U um filtro em X. Dizemos que U e um ultrafiltro em X se U e um filtro maximal em X. Ou seja,
se para todo filtro F em X tal que U F temos que U = F.
A seguir enunciaremos o teorema central da teoria dos ultrafiltros porem,
nao faremos aqui sua demonstracao pois esta depende do Lema de Zorn, fugindo assim do proposito do texto.
Teorema 2.2.9(Teorema do Ultrafiltro): Seja X um conjunto nao vazio
qualquer. Entao, dada qualquer base de filtro B em X, existe um ultrafiltro
U em X tal que B U.
Proposic
ao 2.2.10: Sejam X e Y conjuntos. Seja f : X Y uma funcao
e seja U uma ultrafiltro em X. Entao,
(i) f [U] e uma base de filtro em Y .
(ii) o filtro gerado por f [U] e um ultrafiltro em Y .
Demonstrac
ao: (i): Por definicao f [U] = {f (A) : A U}. Como U e filtro,
/ U e, conseq
uentemente,
/ f [U]. Tomemos agora B1 , B2 f [U].
Entao, B1 = f (A1 ) e B2 = f (A2 ), onde A1 e A2 estao em U. Como U e um
filtro, A1 A2 U. Portanto, B3 = f (A1 A2 ) U e B3 f (A1 ) f (A2 ) =
B1 B2 . Isto mostra que f [U] e uma base de filtro em Y .
(ii) Chamemos de U o filtro gerado por f [U]. Da, por definicao, U =
{C Y : C B para algum B f [U]}. Mostraremos que U e maximal, ou
27
Deveseja, que U e um ultrafiltro. Tomemos F um filtro em Y com U F.
Suponhamos que F nao esta contido em U.
Entao,
mos mostrar que F U.
Como f [U] F,
temos entao que W
existe W F com W
/ U.
/ f [U],
1
1
ou seja, f (W )
/ U. Como U e ultrafiltro, segue que X\f (W )
Mas, entao,
U. Conseq
uentemente, f (X\f 1 (W )) f [U] U F.
1
W f (X\f (W )) F, ja que W F. Entretanto, W f (X\f 1 (W )) = ,

Portanto, F U.
Assim,
e como F e um filtro, nao pode pertencer a F.
U e um ultrafiltro em Y .

Encerraremos este captulo apresentando um resultado sobre ultrafiltros
cuja demonstracao deixaremos a cargo do leitor. Mas antes, vejamos a
seguinte definicao.
Defini
c
ao 2.2.11: Seja X um espaco topologico. Dizemos que X e um
espaco de Hausdorff se para quaisquer x, y X existem V vizinhanca de x
e W vizinhanca de y tais que V W = .
Exemplo 2.2.12: Todo espaco metrico (X, d) com 2 ou mais elementos
e um espaco de Hausdorff. De fato, sejam x, y X com x 6= y. Da,
e consideremos as bolas abertas B (x, r) e
d(x, y) > 0. Seja r = d(x,y)
2
B (y, r). Seja z B(x, r). Da, d(x, z) < r; ou seja, d(x, z) < d(x,y)
.
2
d(x,y)
d(x,z)
d(z,y)
d(x,z)
d(z,y)
Mas, temos que 2 2 + 2 . Assim, d(x, z) < 2 + 2 o
que implica que d(x,z)
< d(z,y)
ou seja, r = d(x,z)
< d(x, z) < d(z, y). As2
2
2
sim, z
/ B(x, r). Como z foi tomado arbitrariamente, temos que para todo
z B(x, r), z
/ B(y, r); isto e, B(x, r) B(y, r) = provando assim o
resultado desejado.
Proposi
c
ao 2.2.13: Seja X um espaco topologico de Hausdorff e seja U um
ultrafiltro em X. Se existe A U compacto, entao U e convergente. Mais
ainda, seu limite e u
nico e pertence ao conjunto A.
2.3 Conjuntos parcialmente ordenados
Defini
c
ao 2.3.1: Um conjunto X com uma relacao binaria, reflexiva e transitiva e dito um conjunto parcialmente ordenado.
Exemplo 2.3.2 (R, ) e um conjunto parcialmente ordenado, onde e a
ordem usual de R.
28
Exemplo 2.3.3(Ordem por contencao) Seja X um conjunto. Temos que

(P(X), ) e um conjunto parcialmente ordenado, pois, para quaisquer A, B
e C contidos em X, A A e A B C implica que A C.
Exemplo 2.3.4(Ordem por inclusao) Seja X um conjunto. Temos que
(P(X), ) e um conjunto parcialmente ordenado, pois, para quaisquer A, B
e C contidos em X, A A e A B C implica que A C.
Exemplo 2.3.5 Seja X = (0, 2) \ {1}. Para quaisquer dois elementos x, y
X, definamos x y como |x 1| |y 1|, onde o smbolo refere-se à
desigualdade usual em R. Tomemos x = 23 e y = 12 . Temos que 32 12 32
e 21 6= 32 . Esse exemplo mostra que a ordem em um conjunto parcialmente
ordenado nao e necessariamente antisimetrica.
Definic
ao 2.3.5: Um conjunto parcialmente ordenado X e dito um conjunto
dirigido se para quaisquer x, y X existe z X tal que z x e z y.
Exemplo 2.3.6 Seja B uma base de filtro. Temos que para quaisquer
A, B B, existe C B tal que C A B. Assim, C A e C B.
Logo, (B, ) e um conjunto dirigido.
2.4 Redes
Definic
ao 2.4.1: Seja X um conjunto nao vazio. Uma funcao em X que
tem como domnio um conjunto dirigido e dita uma rede em X. Dada uma
rede f : D X, usualmente denotamos f (), D, pelo smbolo x . E
denotamos a propria rede f pelo smbolo (x : D), ou simplesmente (x )
quando nao for necessario especificar D.
Exemplo 2.4.2 As seq
uencias sao exemplos de redes que tem como domnio
o conjunto N .
Exemplo 2.4.3 Seja D = (0, 1) com sua ordem usual. Para cada D seja
f (x) = cos(x) para todo x R. Temos que (f : D) e uma rede de funcoes
reais de uma variavel. Note que esta rede nao e uma seq
uencia.
Definic
ao 2.4.4: Sejam (x : D) uma rede em um conjunto X e S X.
Dizemos que x S eventualmente se existe 0 D tal que x S para todo
0 e dizemos que x S freq
uentemente se para todo D x0 S
29
para algum 0 D com 0 .
Proposi
c
ao 2.4.5: Seja (x : D) uma rede em um conjunto X. Sejam
S1 , . . . , Sn subconjuntos de X e suponha que para cada k {1, . . . , n},
n
\
x Sk eventualmente. Entao, x
Sk eventualmente.
k=1
Demonstrac
ao: Por hipotese, para cada k, existe 0k tal que x Sk para
todo 0k . Como D e dirigido, temos que existe 0 tal que 0 0k para
n
\
todo k. Assim, para todo 0 , x Sk para todo k. Logo, x
Sk
k=1
eventualmente.
Defini
c
ao 2.4.6: Seja (x ) uma rede em um espaco topologico X. Dizemos que (x ) converge a x, em smbolos x x, se para toda N Nx ,
x N eventualmente. Quando x converge para um u
nico ponto, escrevemos lim x = x. Qualquer x tal que x x e chamado um limite de (x ).
Exemplo 2.4.7 Seja D = (0, 1) com sua ordem usual. Qualquer rede
(x : D) em um espaco topologico X e uma funcao de (0, 1) em X e x x
significa que para toda N Nx , existe 0 D tal que 0 < 1 implica
x N ; isto e, x x conforme 1 no sentido usual.
Exemplo 2.4.8 Em um espaco metrico, x x se e somente se d(x , x) 0.
De fato, suponhamos que x x. Da, dado > 0 temos que x
B(x, ) eventualmente; o que implica que d(x , x) < eventualmente. Assim,
d(x , x) 0. Suponhamos agora que d(x , x) 0. Seja N Nx . Da,
N (x, ) N para algum > 0. Como d(x , x) < eventualmente, segue que
x B(x, ) eventualmente o que implica que x N eventualmente. Assim,
x x.
2.5 Relac
ao entre filtros e redes
Defini
c
ao 2.5.1: Seja B uma base de filtro em um conjunto X e suponha
que para cada B e dado um x . Como (B, ) e um conjunto dirigido,
temos que (x : B) e uma rede em X. Qualquer rede obtida dessa maneira e
dita uma rede associada à B.
Teorema 2.5.2: Sejam X um espaco topologico, x X e B uma base de
30
filtro em X tal que B x. Seja (x : B) uma rede associada à B. Entao,

x x.
Demonstrac
ao: Sejam N Nx . Como B x, temos que existe B B tal
que B N . Tomemos B = 0 . Da, se 0 ou seja se A temos que
x N . Assim, x x.

Corol
ario 2.5.3 Sejam X um espaco topologico e x X. Para cada N Nx ,
tomemos algum xN N . Temos entao que (xN : Nx ) e uma rede que converge a x.
Demonstrac
ao: Basta observar que como Nx e filtro, ele e tambem uma
base de filtro.

Teorema 2.5.4: Sejam X um espaco topologico, x X, S X. Temos
que x S se e somente se existe uma rede em S tal que esta converge a x.
Demonstrac
ao: Suponha que x S. Pelo Teorema 2.2.6, existe B base de
filtro em S tal que B x. Qualquer rede associada a B converge para x.
Agora se existe uma rede em S convergindo para x, entao para cada N Nx ,
temos que a rede esta em N eventualmente. Portanto, temos que N S 6=

para toda N Nx . Assim, x S.
Proposic
ao 2.5.5: Seja (x ) uma rede em um conjunto X e consideremos
o seguinte conjunto F = {A X : x A eventualmente}. Temos que F e
um filtro em X.
Demonstrac
ao:
/ F pois nao existem elementos de (x ) em . Temos
que X F, pois (x ) e uma rede em X. Sejam agora A, B F. Da, pela
Proposicao 2.4.5, A B F. Finalmente, se A F e A B X, temos
que x B eventualmente. Assim, F e um filtro o qual chamamos de o filtro
associado à (x ).

Proposic
ao 2.5.6: Sejam X um conjunto, (x ) uma rede em X e F o filtro
associado à (x ). Entao, F x se e somente se x x.
Demonstrac
ao: Ora, se F x, entao para toda N Nx , F N . Assim,
para toda N Nx , x N eventualmente; isto e, x x. Suponhamos
agora que x x. Da, para toda N Nx , x N eventualmente. Assim,
Nx F; isto e, F x.
31
O seguinte resultado mostra como a nocao de continuidade pode ser caracterizada por meio de filtros e de redes.
Teorema 2.5.7: Sejam X e Y espacos topologicos, x X e f : X Y
uma funcao. Entao, as seguintes condicoes sao equivalentes:
(i) f e contnua em x;
(ii) para todo filtro F em X tal que F x, f [F] f (x);
(iii) para toda rede (x ) em X tal que x x, f (x ) f (x).
Demonstrac
ao: (i) (ii) : Suponhamos (i). Sejam N Nf (x) e F um
filtro em X tal que F x. Da, f 1 (N ) e uma vizinhanca x e portanto
f 1 (N ) F. Assim, f (f 1 (N )) F. Mas, f (f 1 (N )) N . Logo, N
contem um membro de F o que implica pela Proposicao 2.2.6 que f [F]
f (x).
(ii) (iii) : Suponhamos que (ii). Seja (x ) uma rede em X tal que x x.
Seja F o filtro associado a x . Temos pela Proposicao 2.5.6 que F x. Da,
por (ii), temos que f [F] f (x).
Afirmacao: f [F] e uma base de filtro que gera o filtro associado à f (x ).
Demonstracao: Sejam F 0 = {B Y : B C para algum C f [F]} e F 00 =
{B Y : f (x ) B eventualmente}; isto e, o filtro gerado por f [F] e o filtro
associado à f (x ) respectivamente.
Seja B F 0 . Da, existe C f [F] tal que C B. Da, C = f [A] com
A F. Assim, x A eventualmente; o que implica que f (x ) f (A) = C
eventualmente. Logo, f (x ) B eventualmente; o que implica que B F 00 .
Assim, F 0 F 00 .
Seja agora B F 00 . Da, f (x ) B eventualmente. Entao, x f 1 (B)
eventualmente; o que implica que f 1 (B) F. Mas, B f (f 1 (B)), isto e,
B contem um elemento de f [F]; logo B F 0 . Assim, F 00 F 0 .
Das inclusoes acima temos que F 0 = F 00 .
Como f [F] f (x) temos que F 0 f (x); assim, F 00 f (x) e pela
Proposicao 2.5.6, temos que f (x ) f (x).
(iii) (i) : Suponha (iii). Suponha por absurdo que f nao e contnua em
32
x. Seja S X tal que x S. Da, pela demonstracao da Proposicao 1.4.15,

temos que f (x)
/ f [S]. Entao, pelo Teorema 2.5.4, temos que existe x rede
em S tal que x x e temos tambem pelo mesmo teorema que nao existe
rede em f [S] convergindo a f (x); em particular a rede f (x ) nao converge a
f (x); contrariando (iii).

Teorema 2.5.8: Sejam X, Y, Z espacos topologicos. Sejam f : X Y e
g : Y Z funcoes tais que f e contnua em x e g e contnua em f (x). Entao,
g f e contnua em x.
Demonstrac
ao: Seja F um filtro em X tal que F x. Da, como f
e contnua em x, temos que f [F] f (x). Seja agora N Z tal que
N Ng(f (x)) . Como g e contnua em f (x), temos que g 1 (N ) e vizinhanca
de f (x). Mas como f [F] e uma base de filtro convergindo para f (x) temos
que para toda V Nf (x) existe B f [F] tal que B V . Assim, existe
B f [F] tal que B g 1 (N ). Logo, g(B) g(g 1 (N )) N . E como
B f [F] temos que g(B) g [f [F]]. Logo, para toda N Ng(f (x)) existe
A g [f [F]] tal que A N ; isto e, g [f [F]] g(f (x)) = (g f )(x). Assim,
para todo filtro F em X convergindo a x, g f [F] g(f (x)); isto e, g f e
contnua em x.
Captulo 3
Polin
omios
Neste captulo apresentamos alguns resultados basicos referentes aos conceitos de Aplicacoes m-lineares e de Polinomios m-homogeneos.
Em todo o captulo, convencionamos que 0 = . Alem disso, salvo
mencao em contrario, m N e E1 , . . . , Em , F sao espacos normados. Observamos que para as definicoes que nao envolvem topologia seria suficiente
supor espacos vetoriais em lugar de espacos normados.
3.1 Aplicac
oes m-lineares
Defini
c
ao 3.1.1: Uma aplicacao f : E1 . . . Em F e dita m-linear se e
linear separadamente em cada umas das suas m variaveis. Isto significa que,
para cada i = 1, . . . , m, tem-se:
f (x1 , . . . , xi + yi , . . . , xm ) = f (x1 , . . . , xi , . . . , xm ) + f (x1 , . . . , yi , . . . , xm ),

quaisquer que sejam x1 E1 ; . . . ; xi , yi Ei ; . . . , xm Em e K.
Se alguma das m variaveis de f for nula, temos que f se anula. Para
verificar isto basta usar a linearidade em relacao à variavel nula.
Representamos por La (E1 , . . . , Em ; F ) o espaco vetorial das aplicacoes
m-lineares de E1 . . . Em em F com respeito às operacoes de adicao e
multiplicacao por escalar definidas pontualmente. Se F = K escrevemos
La (E1 , . . . , Em ) em lugar de La (E1 , . . . , Em ; K).
33

CAPITULO 3. POLINOMIOS
34
Para m = 0 consideramos La (E1 , . . . , Em ; F )

= F.
Proposic
ao 3.1.2: Seja A La (E1 , . . . , Em ; F ). Entao:
(a)
sup
xi 6=0
kA(x1 , . . . , xm )k
=
kx1 k . . . kxm k
1im
sup
kA(x1 , . . . , xm )k = inf {M [0, +) :
kxi k1
1im
kA(x1 , . . . , xm )k M kx1 k . . . kxm k para todo (x1 , . . . , xm ) E1 . . . Em }.

(b) O valor comum das expressoes em (a) e representado por kAk. Entao,
kA(x1 . . . , xm )k kAk kx1 k . . . kxm k para todo (x1 , . . . , xm ) E1 . . . Em .
Demonstrac
ao:
(a): Sejam
n
o
1 ,...,xm )k
S1 = kA(x
:
x
=
6
0
para
todo
i
=
1,
.
.
.
,
m
.
i
kx1 k...kxm k
S2 = {kA(x1 , . . . , xm )k : kxi k 1 para todo i = 1, . . . , m}.
S3 = {M [0, +) : kA(x1 , . . . , xm )k M kx1 k . . . kxm k para todo
(x1 , . . . , xm ) E1 . . . Em }.
Seja (x1 , . . . xm ) E1 . . . Em . Se 0 < kxi k 1 para todo i = 1, . . . , m,
1 ,...,xm )k
sup S1 para todo
entao kA(x1 , . . . , xm )k sup S1 ja que kA(x
kx1 k...kxm k
(x1 , . . . , xm ) E1 . . . Em com xi 6= 0 para todo i = 1, . . . , m. Como
A(x1 . . . , xm ) = 0 se kxi k = 0 para algum i = 1, . . . , m, temos que
sup
kA(x1 , . . . , xm )k sup S1 , ou seja, sup S2 sup S1 .
kxi k1;1im
Se (x1 , . . . , xm ) E1 . . . , Em e tal que xi 6= 0 para

. , m,
todo i = 1, . .

kA(x1 ,...,xm )k
x1
xm
temos pela m-linearidade de A que kx1 k...kxm k = A kx1 k , . . . , kxm k
sup S2 . Portanto, sup S1 sup S2 . Com isto provamos que sup S1 = sup S2 .
1 ,...,xm )k
Vejamos que inf S3 = sup S1 . Como kA(x
sup S1 para todo
kx1 k...kxm k
(x1 , . . . , xm ) E1 . . . Em com xi 6= 0 para todo i = 1, . . . , m, e como
A(x1 , . . . , xm ) = 0 se xi = 0 para algum i = 1, . . . , m, temos que
kA(x1 , . . . , xm )k sup S1 kx1 k . . . kxm k para todo (x1 , . . . , xm ) em E1 . . .
Em , ou seja, sup S1 S3 . Por conseguinte, inf S3 sup S1 . Vejamos que
ocorre a igualdade. Suponhamos que inf S3 < sup S1 . Entao existe S S3
35
tal que inf S3 S < S1 . Como S S3 , temos que sup S1 S, o que e uma
contradicao. Logo, inf S3 = sup S1 .
(b): Se kAk = , a desigualdade e trivial. Suponhamos que kAk < .
1 ,...,xm )k
kAk para todo (x1 , . . . , xm ) E1 . . . Em com xi 6= 0
Como kA(x
kx1 k...kxm k
para todo i = 1, . . . , m, temos que kA(x1 , . . . , xm )k kAk kx1 k . . . kxm k para
todo (x1 , . . . , xm ) E1 . . . Em ja que se xi = 0 para algum i = 1, . . . , m
temos A(x1 , . . . , xm ) = 0.

Proposi
c
ao 3.1.3: Consideremos no produto cartesiano E1 . . . Em a
topologia produto. Seja A La (E1 , . . . , Em ; F ). As seguintes afirmacoes sao
equivalentes:
(a) A e contnua.
(b) A e contnua na origem.
(c) kAk < .
claro que (a) (b).
Demonstrac
ao: E
Mostraremos que (b) (c). Pela continuidade de A na origem, existe r > 0
tal que se kxi k < r para todo i = 1, . . . , m, entao kA(x1 , . . . , xm )k < 1. Seja
(x1 , . . . , xm ) E1 . . . Em com xi 6= 0 para todo i = 1, . . . , m. Conrxi
. Como kyi k < r para todo
sideremos para cada i = 1, . . . , m, yi = 2kx
ik
i = 1, . . . , m temos que kA(y1 , . . . , ym )k < 1. Portanto,
pela m-linearidade

2 m
2 m
1 ,...,xm )k
de A, kA(x
.
Isto
prova
que
kAk
<
.
kx1 k...kxm k
r
r
Mostraremos que (c) (a). Sejam (a1 , . . . , am ) E1 . . . Em e
M > 0 tal que kai k M2 para todo i = 1, . . . , m. Pela m-linearidade
de A, A(x1 , . . . , xm ) A(a1 , . . . , am ) = A(x1 a1 , x2 . . . , xm ) + A(a1 , x2
a2 , x3 . . . , xm ) + . . . + A(a1 , . . . , am1 , xm am ) para cada (x1 , . . . , xm ) E1
. . . Em .
Assim,
pela proposicao 3.1.2(b) temos que
kA(x1 , . . . , xm ) A(a1 , . . . , am )k
kAk kx1 a1 k kx2 k . . . kxm k +

kAk kx2 a2 k ka1 k kx3n
k . . . kxm k+. . .+kAk
kxm am k ka1 k . . . kam1 k. Dado
o

M
> 0, seja r = min 2mkAkM m1 , 2 . Se kxi ai k < r para todo i =
1, . . . , m, entao kxi k < kai k +
M
2
M para todo i = 1, . . . ,!m. Portanto,

m
X
kA(x1 , . . . , xm ) A(a1 , . . . , am )k < kAk M m1
kxi ai k < sempre
i=1

36
que kxi ai k < r, o que prova a continuidade de A no ponto (a1 , . . . , am ).

Sob as condicoes da proposicao 3.1.3, representamos por L(E1 , . . . , Em ; F )
o subsespaco vetorial de La (E1 , . . . , Em ; F ) constitudo das aplicacoes mlineares contnuas de E1 . . .Em em F . Se F = K, escrevemos L(E1 , . . . , Em )
em lugar de L(E1 , . . . , Em ; K). No caso em que m = 0, consideramos
L(E1 , . . . , Em ; F )
= F.
Proposic
ao 3.1.4: A aplicacao A L(E1 . . . , Em ) 7 kAk R e uma
norma em L(E1 . . . , Em ; F ).
Demonstrac
ao: Pela proposicao 3.1.3 temos que kAk < para todo A
L(E1 . . . , Em ; F ) o que implica na funcao estar bem definida. Suponhamos
que kAk = 0. Da, pela proposicao 3.1.2(b), A(x1 , . . . , xm ) = 0 para todo
claro que kAk = 0 se A = 0 e
(x1 , . . . , xm ) em E1 . . .Em , ou seja, A = 0. E
que kAk = || kAk para todo K. Sejam A e B em L(E1 . . . , Em ; F ). Se
(x1 , . . . , xm ) E1 . . . Em , entao k(A + B)(x1 , . . . , xm )k =
kA(x1 , . . . , xm ) + B(x1 , . . . , xm )k kA(x1 , . . . , xm )k + kB(x1 , . . . , xm )k
(kAk + kBk) kx1 k . . . kxm k, donde kA + Bk kAk + kBk pela proposicao
3.1.2.

Salvo mencao em contrario, consideramos L(E1 , . . . , Em ; F ) munido da
norma A 7 kAk.
Proposic
ao 3.1.5: Se F e completo, entao L(E1 , . . . , Em ; F ) tambem e
completo.
Demonstrac
ao: Suponhamos que F e completo e seja (Ak )kN uma seq
uencia de Cauchy em L(E1 , . . . , Em ; F ). Pela proposicao 3.1.2(b), temos que
para cada (x1 , . . . , xm ) em E1 . . .Em , kAk (x1 , . . . , xm ) Aj (x1 , . . . , xm )k
kAk Aj k kx1 k . . . kxm k. Como (Ak )kN e de Cauchy, decorre da desigualdade acima que (Ak (x1 , . . . , xm ))kN e de Cauchy em F . Desde que F e com facil verificar
pleto, o limite A(x1 , . . . , xm ) = lim Ak (x1 , . . . , xm ) existe. E
k
que a aplicacao A : E1 . . . Em F assim definida e m-linear. Do fato de

(Ak )kN ser de Cauchy, temos que kAk k < 1 + kAj0 k para todo k j0 . Como
Ak e contnua para todo k < j0 , temos que para cada k < j0 existe Mk tal que
kAk k < Mk . Chamando M = max {Mk : k < j0 } e c = max {1 + kAj0 k , M }
temos que kAk k c para todo k. Da, pela proposicao 3.1.2(b), para todo
k, kAk (x1 , . . . , xm )k c kx1 k . . . kxm k para todo (x1 , . . . , xm ) em E1 . . .
Em . Fazendo k , temos que kA(x1 , . . . , xm )k c kx1 k . . . kxm k para
37
todo (x1 , . . . , xm ), donde kAk c e, conseq
uentemente, A e contnua pela
proposicao 3.1.3. Vejamos que Ak A. De fato, dado > 0, existe j0 N tal
que se k, j j0 , kAk Aj k , ou seja, kAk (x1 , . . . , xm ) Aj (x1 , . . . , xm )k
kx1 k . . . kxm k para todo (x1 , . . . , xm ) E1 . . .Em . Fixados (x1 , . . . , xm )
E1 . . . Em e k j0 arbitrariamente, kAk (x1 , . . . , xm ) A(x1 , . . . , xm )k
kx1 k . . . kxm k, donde kAk Ak , se k j0 . Assim, Ak A.

Corol
ario 3.1.6: Seja E um espaco normado. Entao E 0 e um espaco de
Banach.
imediata pela proposicao 3.1.5.
Demonstrac
ao: E
Se E1 = . . . = Em = E, escrevemos La (m E; F ) (resp. L(m E; F )) em

lugar de La (E1 , . . . , Em ; F ) (resp. L(E1 , . . . , Em ; F )). Se m = 1 escrevemos
simplesmente La (E; F ) (resp. L(E; F )).
A partir daqui salvo mencao em contrario, E e sempre um espaco normado.
Defini
c
ao 3.1.7: Uma aplicacao A La (m E; F ) e dita simetrica se
A(x1 , . . . , xm ) = A(x(1) , . . . , x(m) ) para todo (x1 , . . . , xm ) E e todo
Gm , onde Gm denota o grupo das permutacoes de {1, . . . , m}.
Representamos por Las (m E; F ) (resp. Ls (m E; F )) o subespaco vetorial de La (m E; F ) (resp. L(m E; F )) formado pelas aplicacoes m-lineares
simetricas (resp. aplicacoes m-lineares simetricas contnuas) de E m em F . Se
m = 0, consideramos La (0 E; F ) = Las (0 E; F )
= F , F como espaco vetorial
0
0
e L( E; F ) = Ls ( E; F ) = F , F como espaco normado.

A cada aplicacao A La (m E; F ) podemos associar a aplicacao As
m
Las (X
E; F ) chamada de simetrizada de A definida por As (x1 , . . . , xm ) =
1
A(x(1) , . . . , x(m) ) para todo (x1 , . . . , xm ) em E.
m!
Gm
Proposi
c
ao 3.1.8: A aplicacao A 7 As e uma projecao de La (m E; F ) som
bre Las ( E; F ). Alem disso, kAs k kAk para todo A La (m E; F ). Esta
aplicacao induz uma projecao contnua de L(m E; F ) sobre Ls (m E; F ).
Demonstrac
ao: A aplicacao A La (m E; F ) 7 As Las (m E; F ) e claramente linear.
Se B Las (m E; F ), temos que Bs (x1 , . . . , xm ) =

38
1
m!
B(x(1) , . . . , x(m) ) =
Gm
1
m!B(x1 . . . , xm ) = B(x1 . . . , xm ) para todo
m!
(x1 . . . , xm ) E, donde temos em particular que (As )s = As . Portanto, A 7

As e uma projecao sobre Las (m E; F ). Vejamos que kAs k kAk, para A
1 ...,xm )k
La (m E; F ). Com efeito, para todo x1 6= 0, x2 6= 0, . . . , xm 6= 0, kAkxs1(xk...kx
k
m

As (x(1) . . . , x(m) )
X As (x(1) . . . , x(m) )
1 X
1
sup
=
m!
kx1 k . . . kxm k
m! G
kx1 k . . . kxm k
xi 6=0
G
m
1im
1
m! kAk = kAk. Assim, kAs k kAk. Como kAs k kAk < para
m!
todo A L(m E; F ) temos pela proposicao 3.1.3 que As e contnua. De
modo analogo à primeira parte da demonstracao, temos que a aplicacao A
L(m E; F ) 7 As Ls (m E; F ) e uma projecao sobrejetiva. A continuidade
desta aplicacao vemo do fato de kAs k kAk para todo A L(m E; F ).
3.2 Polin
omios
Para todo A La (m E; F ) representamos A(x, . . . , x) = Axm . Se m = 0,
escrevemos Ax0 = c qualquer que seja x E, sendo c um elemento arbitrario
de F .
Definic
ao 3.2.1: Uma aplicacao P : E F e dita um polin
omio mm
homogeneo de E em F se existe A La ( E; F ) tal que P (x) = Axm para
todo x E. Escrevemos P = A para expressar que P e A se correspondem
da forma indicada.
Representamos por Pa (m E; F ) o espaco vetorial (com respeito às operacoes
de adicao e multiplicacao por escalar definidas pontualmente) de todos os
polinomios m-homogeneos de E em F . Se F = K, escrevemos Pa (m E) em
lugar de Pa (m E; K). Se m = 0, consideramos Pa (0 E; F )
= F , F como espaco
vetorial.
Proposic
ao 3.2.2:(Formula de Polarizacao). Se AX
Las (m E; F ), entao
1 x1 +
1 . . . m A(
para cada x1 , . . . , xm E, A(x1 , . . . , xm ) = 2m1m!
j =1
1jm
. . . + m xm ).
Para demonstrar a proposicao 3.2.2 precisaremos da Formula de Leibniz.
39
Vamos comecar estabelecendo algumas notacoes.
Para cada n N e cada = (1 , . . . , n ) Nn , definimos || =
1 + . . . + n e ! = 1 ! . . . n !.
Sejam n, m N e A La (m E; F ). Entao para cada (x1 , . . . , xn ) E n
e cada = (1 , . . . , n ) Nn com || = m, definimos Ax1 1 . . . xnn =
A(x1 , . . . , x1 , . . . , xn , . . . , xn ).
| {z }
| {z }
1 vezes
n vezes
Lembremos que uma particao de um conjunto nao vazio C e um conjunto

de partes nao vazias de C, disjuntas duas a duas e cuja reuniao e C.
Proposi
c
ao 3.2.3:(Formula de Leibniz). Sejam n, m N e A Las (m E; F ).
Entao para todo x1 , . . . , xm E temos que
A(x1 + . . . + xn )m =
X m!
Ax1 1 . . . xnn , onde = (1 . . . , n ) Nn .
!
||=m
Demonstrac
ao: Para cada = (1 . . . , n ) Nn tal que || = m, seja P =
{(i1 , . . . , im ) {1, . . . , n}m : para cada k {1, . . . , n} , ij = k para k valores
distintos de j {1, . . . , m}}. Claramente a famlia (P )||=m e uma particao
elementos. Portanto,
de {1, . . . , n}m e para cada , com || = m, P tem m!
!
usando a m-linearidade e a simetria de A, obtemos:
A(x1 + . . . + xn )m =
A(xi1 , . . . , xim ) =
{i1 ,...,im }{1,...,m}m
{i1 ,...,im }P
A(xi1 , . . . , xim ) =
||=m
X m!
Ax1 1 . . . xnn .
!
||=m
Demonstrac
ao da proposc
ao 3.2.2: Fixados (x1 , . . . , xm ) E m e j
{1, 1} para todo j = 1, . . . , m, temos pela formula de Leibniz A(1 x1 + . . . +
X m!
m xm )m =
A(1 x1 )1 . . . (m xm )m , onde = (1 . . . , m ) Nm .
!
||=m
Pela m-linearidade e simetria de A,

40
X m!
A(1 x1 )1 . . . (m xm )m =
!
X m!
1 . . . mm Ax1 1 . . . xmm .
! 1
||=m
||=m
Por conseguinte,
1 . . . m A(1 x1 + . . . + m xm ) =
j =1
1jm
X
j =1
X m!
1 . . . m
1 1 . . . mm Ax1 1 . . . xmm =

||=m
1jm
X Ax1 . . . xm
1
m
m!
!
||=m
1 +1
m +1

.
.
.

.
1
m
j =1
1jm
Se j > 1 para algum j = 1, . . . , m, entao i = 0 para algum i 6= j e, conseq

uentemente,
X
1 1 +1 . . . i i +1 . . . mm +1 =
j =1
j =1
1jm
1jm
1 1 +1 . . . i . . . mm +1 =
X
X
i1 +1 i+1 +1
i
1 1 +1 . . . i1
i+1 . . . mm +1 = 0.
i =1
j =1
1jm
j6=i
Dessa forma,
41
X
j =1
m
2
2
1 . . . m A(1 x1 +. . .+m xm ) = m!Ax1 . . . xm
1 . . . m =

=1
j
1jm
1jm
m!A(x1 , . . . , xm )2m , donde

A(x1 , . . . , xm ) =
2m m!
1 . . . m A(1 x1 + . . . + m xm )m .
j =1
1jm
Proposi
c
ao 3.2.4: Seia P Pa (m E; F ). Entao:
(a)
kP (x)k
=
kxkm
sup
xi 6=0
1im
sup
kP (x)k = inf {M [0, +) :
kxi k1
1im
kP (x)k M kxk para todo x E}.

(b) O valor comum das expressoes em (a) e representado por kP k. Entao,
kP (x)k kP k kxk para todo x E.
deixada a cargo do leitor por ser similar a da proposicao
Demonstrac
ao: E
3.2.2

m

Proposi
c
ao 3.2.5: Para todo A Las (E ; F ), temos A kAk mm! A .

mm
Demonstrac
ao: Vejamos que kAk m! A . Pelas proposicoes 3.2.2
e 3.24(b) temos que, para quaisquer x1 , . . . , xm E com kxi k 1 para

X

1
todo 1 i m, kA(x1 , . . . , xm )k 2m m!
A(1 x1 + . . . + m xm )
i =1
1im
1
m
2 m!

m
A k1 x1 + . . . + m xm k
i =1
1im
1
2m m!
X
i =1
1im

m
A (kx1 k + . . . + kxm k)

42
1
m
2 m!
X
i =1

m mm
A m =
A .
m!
1im
Portanto,
sup
kA(x1 , . . . , xm )k
kxi k1

mm

A , ou seja kAk
m!
mm
m!

A . A
1im

desigualdade A kAk vale trivialmente.
Proposic
ao 3.2.6: Se A La (m E; F ) e As e sua simetrizada, entao A = As .
Demonstrac
ao: De fato se, x E, As (x) = As (x, . . . , x) =
X
1
1
A(x(1) , . . . , x(m) ) =
A(x, . . . , x) = A(x, . . . , x) = A(x).
Como
m!
m!
Gm
x e arbitrario, temos A = As .

Proposic
ao 3.2.7: Seja P Pa (m E; F ). As seguintes afirmacoes sao equivalentes:
(a) P e contnuo.
(b) P e contnuo na origem.
(c) kP k < .
Demonstrac
ao: (a) (b) : esta implicacao e clara.
(b) (c) : de fato, pela continuidade de P na origem, existe r > 0 tal que
rx
se kxk < r, entao kP (x)k < 1. Seja 0 6= x E e consideremos y = 2kxk
.
m
Como kyk < r, temos kP (x)k < 1. Pelo fato de P Pa ( E; F ), existe
Assim, kA(y, . . . , y)k < 1 donde pela mA La (m E; F ) tal que P = A.
m
m
(x)k
kA(x,...,x)k
linearidade de A temos kxkm
< 2r , ou seja, kP
< 2r . Como
kxkm
m
x 6= 0 foi escolhido arbitrariamente em E, segue que kP k < 2r
< .
(c) (a) : de fato, como P Pa (m E; F ), existe A La (m E; F ) tal que
Consideremos As a simetrizada de A. Pela proposicao 3.2.5,
P = A.

m
m

kAs k mm! As = mm! kP k ja que A = As pela proposicao 3.2.6. Como
por hipotese kP k < , temos pela desigualdade acima que As < o que
implica pela proposicao 1.1.3, que As e contnua. Conseq
uentemente, As = P
43
e contnuo.
facil verificar que a aplicacao A La (m E; F ) 7 A

Observac
ao 3.2.8: E
Pa (m E; F ) e linear e sobrejetiva qualquer que seja m N . Veremos na
proposicao seguinte que se considerarmos os subsespaco vetorial Las (m E; F )
de La (m E; F ) teremos um isomorfismo entre Las (m E; F ) e Pa (m E; F ), isto
e, que todo polinomio m-homogeneo vem de uma u
nica aplicacao m-linear
simetrica.
Proposi
c
ao 3.2.9: A aplicacao A Las (m E; F ) 7 A Pa (m E; F ) e um
isomorfismo algebrico.
Demonstrac
ao: A linearidade e clara. Vejamos a sobrejetividade. De fato,
Por outro lado,
dado P Pa (m E; F ), existe A La (m E; F ) tal que P = A.
pela proposicao 3.2.6, A = As , ou seja, P = As onde As e a simetrizada de
A. Assim, dado P Pa (m E; F ), existe As Las (m E; F ) tal que P = As .
Para mostrar a injetividade, mostraremos que o n
ucleo da aplicacao se reduz
m
ao zero. Tomemos A Las ( E; F ) e suponhamos que A = 0. Entao,
1 x1 + . . . + m xm ) = 0 para todo x1 , . . . , xm E e 1 , . . . , m {1, 1}.
A(
Portanto, pela formula de polarizacao, temos que A(x1 , . . . , xm ) = 0 para
todo x1 , . . . , xm E, ou seja, A = 0.

Representamos por P(m E; F ) o subespaco vetorial de Pa (m E; F ) formado
pelos polinomios m-homogeneos de E em F que sao contnuos. Se F = K,
escrevemos P(m E) em lugar de P(m E; K). No caso em que m = 0, consideramos P(m E; F )
= F , F como espaco normado.
Proposi
c
ao 3.2.10: A aplicacao P P(m E; F ) 7 kP k R e uma norma
m
em P( E; F ).
deixada a cargo do leitor por ser similar à da proposicao
Demonstrac
ao: E
1.1.4.

Salvo mencao expressa ao contrario, consideramos P(m E; F ) munido da
norma P 7 kP k.
Claramente toda aplicacao m-linear contnua origina um polinomio m natural indagarmos sobre a recproca desta afirmacao,
homogeneo contnuo. E
ou seja: sera que todo polinomio m-homogeneo contnuo e a restricao de alguma aplicacao m-linear contnua?
Na proposicao seguinte veremos que tal recproca e verdadeira.
44
Proposic
ao 3.2.11: (a) A aplicacao A L(m E; F ) 7 A P(m E; F ) e
linear, sobrejetiva e contnua.
(b) A aplicacao A Ls (m E; F ) 7 A P(m E; F ) e um homeomorfismo
linear de Ls (m E; F ) sobre P(m E; F ).
Demonstrac
ao: Em ambos os casos a linearidade e a continuidade sao
claras. Vejamos a sobrejetividade. Seja P P(m E; F ). Existe A La (m E; F )
m
tal que A = P . Seja
A s Las ( E; F ) a simetrizada de A. Pela proposicao
m
m

3.2.5, kAs k mm! As = mm! A ja que A = As pela proposicao 3.2.6.

Como por hipotese A e contnuo, pela proposicao 3.2.7, A < , e portanto
kAs k < . Pela proposicao 1.1.3, As e contnua. Isto prova a sobrejetividade das aplicacoes em (a) e (b). Para mostrar a injetividade da aplicacao
em (b), mostramos que o n
ucleo da aplicacao se reduz ao zero. De fato,

m
m
seja A Ls ( E; F ) e suponhamos que A = 0. Pela relacao kAk m A
m!
temos que A = 0. Tambem, pela desigualdade acima, temos que a inversa

da aplicacao em (b) e contnua.

Observac
ao 3.2.12: Da proposicao 3.2.11 temos que todo polinomio mhomogeneo contnuo vem de uma u
nica aplicacao m-linear contnua simetrica.
Proposic
ao 3.2.13: Se F e completo, entao P(m E; F ) e tambem um espaco
completo.
Demonstrac
ao: Seja (Pk )kN uma seq
uencia de Cauchy em P(m E; F ). Pela
proposicao 3.2.11, para cada k, existe Ak Ls (m E; F ) tal que Ak = Pk . Pela
m
proposicao 3.2.5, kAk Aj k mm! kPk Pj k para todo k, j N, donde
temos que a seq
uencia (Ak )kN e de Cauchy. Pela proposicao 1.1.5, existe
A L(m E; F ) tal que Ak A. Como para todo (x1 . . . , xm ) E m , temos
que kAk (x1 . . . , xm ) A(x1 . . . , xm )k kAk Aj k kx1 k . . . kxm k, entao para

m

todo x E, Ak (x) A(x)
kAk Ak kxk . Da, para todo x E,

m

Ak (x) A(x)
kxk para todo k k0 . Portanto, Ak A para
Basta definir P : E F tal que P = A.
todo k k0 , ou seja Ak A.
Temos, assim, que Pk P , o que prova que P(m E; F ) e completo.

Sejam E e F espacos vetoriais. Representamos por F(E; F ) o conjunto
facil verificar que F(E; F ) e um espaco
de todas as aplicacoes de E em F . E
45
vetorial com as operacoes definidas pontualmente.
Para a proposicao seguinte lembramos que uma famlia (Ej )jJ onde J e
um conjunto de ndices, de subespacos vetoriais de um espaco vetorial E e
dita linearmente independente
se a soma algebrica da famlia (Ej )jJ e direta
!
X
M
i.e.:
Ej =
Ej .
jJ
jJ
Proposi
c
ao 3.2.14: A famlia (Pa (m E; F ))mN e linearmente independente
no espaco vetorial F(E; F ).
Demonstrac
ao: Basta provar que para todo m N, se
m
X
Pj = 0 com
j=0
Pj Pa (j E; F ), entao P0 = . . . = Pm = 0. A prova sera feita por inducao

sobre m. Para m = 0 e trivial. Suponhamos valido para m 1. Mostraremos
que vale para m. De fato, sejam Pj Pa (j E; F ) para j = 0, . . . , m e supom
X
nhamos que
Pj = 0. Assim, para todo x E e K temos:
j=0
(1)
m
X
Pj (x) = 0 e (2)
j=0
m
X
Pj (x) = 0.
j=0
Multiplicando a igualdade (1) por m K e subtraindo o resultado da igualm1

X
dade por (2), obtemos
(m j )Pj (x) = 0 para todo x E e K.
j=0
Escolhamos agora K que nao seja solucao de nenhuma das m equacoes

(m j ) = 0; j = 0, . . . , m 1. A hipotese de inducao aplicada à relacao
m1
X
(m j )Pj (x) = 0 implica em Pj = 0 para j = 0, . . . , m 1. Da e de
j=0
m
X
Pj = 0 temos que Pm = 0, o que prova que Pj = 0 para j = 0, . . . , m.
j=0
Corol
ario 3.2.15: A famlia (P(m E; F ))mN e linearmente indenpendente
no espaco vetorial F(E; F ).
imediata pela proposicao 3.2.14.
Demonstrac
ao: E
Observac
ao 3.2.16: A proposicao 3.2.14 e o corolario 3.2.15 dizem que:

46
X
Pa (m E; F ) =
mN
Pa (m E; F ) e
mN
m
sentemos Pa ( E; F ) =
P(m E; F ) =
mN
Pa ( E; F ) e P( E; F ) =
mN
M
mN
M
P(m E; F ). RepreP(m E; F ).
mN
Definic
ao 3.2.17: Uma aplicacao P : E F e dita um polin
omio de E em
F se P Pa (E; F ). Deste modo, Pa (E; F ) denota o espaco vetorial de todos
os polinomios de E em F .
Proposic
ao 3.2.18: Seja P uma aplicacao de E em F .
afirmacoes sao equivalentes:
As seguintes
(a) P e um polinomio de E em F .
(b) P = 0 ou, se P 6= 0, P se escreve de modo u
nico na forma P =
P0 + . . . + Pm , onde Pj Pa (j E; F ); j = 0, . . . , m e Pm 6= 0.
O n
umero natural m 0 e chamado grau do polinomio P , sendo que, por
convencao P = 0 tem grau -1.
Demonstrac
ao:
(b) (a) : e clara.
(a) (b) : deX
fato, seja P Pa (E; F ). Por definicao, existe I N finito
Pi com Pi Pa (i E; F ) para todo i I. Se Pi = 0 para
tal que P =
iI
todo i I, temos que P = 0. Suponhamos Pi 6= 0 para algum i I;

pela proposicao 3.2.14, P 6= 0. Seja m = max. {i I : Pi 6= 0}. Entao
m
X
X
Pi =
Pj onde Pm 6= 0. Assim, se P 6= 0, P = P0 + . . . + Pm
j=0
iI
com Pj Pa (j E; F ) para j = 0, . . . , m e Pm 6= 0. Suponhamos agora

que P = Q0 + . . . + Qk com k 6= m onde Qj Pa (j E; F ) para j = 0, . . . , k
e Qk 6= 0. Seja n = max. {k, m}. Se n = m, seja Qj = 0 para todo
j {k + 1, . . . , m} e se n = k, seja Pj = 0 para todo j {m + 1, . . . , k}.
n
X
Entao,
(Pj Qj ) = 0 onde Pj Qj Pa (j E; F ) para todo j = 0, . . . , n.
j=0
Pela proposicao 3.2.14, Pj = Qj para todo j = 0, . . . , n. Como m 6= k,

se n = m temos que Pm = 0 e se n = k temos que Qk = 0. Mas isto e
um absurdo, pois contradiz o fato de termos Pm 6= 0 e Qk 6= 0. Portanto,
m = k = n, o que mostra que P = P0 + . . . + Pm com Pj Pa (j E; F ) para
47
j = 0, . . . , m e Pm 6= 0 de modo u
nico.
Proposi
c
ao 3.2.19: Seja P Pa (E; F ) com P =
m
X
Pj onde Pj Pa (j E; F )
j=0
para todo j = 0, . . . , m. As seguintes afirmacoes sao equivalentes:

(a) P e contnuo.
(b) Para cada j = 0, . . . , m, temos Pj P(j E; F ).
Demonstrac
ao:
(b) (a) : se Pj P(j E; F ) para cada j = 0, . . . , m, entao P sera uma soma
finita de aplicacoes contnuas em E, donde P sera contnuo.
(a) (b) : Suponhamos que P e contnuo. Vamos mostrar que Pj e contnuo
para cada j = 0, . . . , m. A prova sera feita por inducao sobre m. Para m = 0
e evidente. Suponhamos valido para m 1. Mostraremos que vale para m.
Para todo x E e K temos que :
(1)
m
X
Pj (x) = P (x) e (2)
j=0
m
X
Pj (x) = P (x).
j=0
Multiplicando a igualdade (1) por m K e subtraindo o resultado da igualm1

X
m
dade (2), obtemos P (x) P (x) =
(m j )Pj (x) para todo x E
j=0
e K. Escolhamos agora K que nao seja solucao de nenhuma das

m equacoes (m j ) = 0; j = 0, . . . , m 1. Como P e contnuo em E,
temos que a aplicacao x 7 m P (x) P (x) e contnua em E. Alem disso,
m1
X
m
P (x) P (x) =
Qj (x) onde Qj = (m j )Pj Pa (E; F ) para cada
j=0
j = 0, . . . , m 1. Pela hipotese de inducao, para cada j = 0, . . . , m 1, Qj

e contnuo, donde Pj e contnuo para cada j = 0, . . . , m 1. Da e do fato
m
X
de P =
Pj , temos que Pm e contnuo, o que prova o resultado.

j=0
Observac
ao 3.2.20: Da proposicao 3.2.19 conclumos que P(E; F ) e o
espaco vetorial de todos os polinomios contnuos de E em F .
48
Captulo 4
O contraexemplo de Djamel
Deghoul
Neste captulo vamos apresentar o contraexemplo de Djamel Deghoul que
apareceu no C. R. Acad. Sci. Paris, 312, Serie I em 1991 para o problema
proposto por Aron, Cole e Gamelin no artigo intitulado Spectra of algebras
of analytic functions on a Banach space que apareceu no Journal f
ur die
angewandre Mathematik 415. Antes, porem, precisamos apresentar algumas
definicoes e alguns resultados basicos sobre funcoes analticas em espacos de
Banach.
4.1 Fun
c
oes analticas
Nesta secao vamos definir os conceitos de diferencial e serie de Taylor
em espacos de Banach. A letra E denotara um espaco normado e a letra F
denotara um espaco de Banach, ambos sobre o mesmo corpo K. O smbolo
L(E, F ) denota o conjunto de todas as funcoes lineares contnuas de E em
F.
Defini
c
ao 4.1.1: Seja A um subconjunto aberto de E. Uma funcao f : A
F e dita diferenciavel num ponto x0 A se existe uma funcao u em L(E, F )
tal que
kf (x) f (x0 ) u(x x0 )k
= 0.
lim
xx0
kx x0 k
Observemos que a funcao u que aparece na definicao acima e unicamente determinada por f e x0 . Ela e chamada de diferencial de f em x0 e e usualmente
denotada por Df (x0 ). Portanto,
Df (x0 ) L(E, F ).
49
50
CAPITULO 4. O CONTRAEXEMPLO DE DJAMEL DEGHOUL
Definic
ao 4.1.2: Seja A um aberto de E. Uma funcao f : A F e dita
diferenciavel em A ou simplesmente diferenci
avel, se f e diferenciavel em
todos os pontos de A. Neste caso, a aplicacao
x0 A 7 Df (x0 ) L(E, F )
e chamada a diferencial de f em A e denotada por Df . Vejamos a seguir
alguns exemplos:
Exemplo 4.1.3 Seja a F . Entao a funcao constante
f : x E 7 a F
tem diferencial igual a 0 em E. De fato, como f e constante, entao f (x) =
f (x0 ) para quaisquer x e x0 em E. Portanto
f (x) f (x0 ) 0(x x0 ) = 0,
onde 0 no primeiro membro da igualdade acima denota a funcao nula de
L(E, F ). Assim,
lim
xx0
kf (x) f (x0 ) 0(x x0 )k

= 0,
kx x0 k
isto e, achamos a funcao linear contnua 0 : E F satisfazendo à condicao

da definicao de diferenciabilidade. Resulta que f e dife-renciavel em x0 e que
Df (x0 ) = 0 para todo x0 E.
Exemplo 4.1.4 Seja u L(E, F ). Entao u e diferenciavel em E e Du e a
funcao constante x E 7 u L(E, F ). De fato, pela linearidade de u
temos que
u(x) u(x0 ) u(x x0 ) = 0
para quaisquer x e x0 em E. Portanto,
lim
xx0
ku(x) u(x0 ) u(x x0 )k

= 0.
kx x0 k
Assim, achamos u L(E, F ) que satisfaz à definicao (1). Portanto, u e

diferenciavel em x0 e sua diferencial neste ponto e Df (x0 ) = u.
Exemplo 4.1.5 Seja x1 E e considere a funcao f : x E 7 x + x1
E.Temos que f e diferenciavel em E e Df (x0 ) = idE para todo x0 E, onde
51
idE denota a funcao identidade em E.
Defini
c
ao 4.1.6: Seja A um subconjunto aberto de E. Uma funcao f : A
F e dita ter uma expansao em serie de Taylor num ponto x0 A se existe
uma serie de potencias
X
Pm (x x0 )
m=0
de E em F em torno de x0 que converge uniformemente para f na bola

Br (x0 ), para algum r > 0. Para cada m N, temos que Pm P(m E).
Vejamos a seguir alguns exemplos:
Exemplo 4.1.7 Seja f : C 7 C a funcao dada por f (z) = ez para z C.
Temos que f tem uma expansao em serie de taylor no ponto 0, ja que
X
1 m
z .
e =
m!
m=0
z
1 m
Note que, para cada m em N, Pm (z) = m!
x e um polinomio m-homogeneo
de C em C. Tambem, a serie converge uniformemente para ez na bola Br (0),
para todo r > 0.
Exemplo 4.1.8 Seja f (x) =
xn 2 , onde x = (xn ) e um elemento de
n=1
l2 . Temos que f tem uma expansao em serie de Taylor no ponto 0, ja que

f e um polinomio 2-homogeneo em l2 . A convergencia e claramente satisfeita.
Sejam E e F espacos de Banach complexos. O estudo das funcoes complexas de uma uma varavel complexa baseada na diferenciacao e devido a
Cauchy e o estudo dessas funcoes atraves de series de potencias e devido a
Weierstrass. Sabemos que estas duas maneiras de se apresentar a teoria sao
equivalentes em varias variaveis. De fato, a equivalencia continua valida em
dimensao infinita. Este teorema devido a Graves, Taylor, Hille e Zorn sera
apenas enunciado a seguir. Caso o leitor esteja interessado em prosseguir
seus estudos nesta direcao indicamos [3] e [5].
Teorema 4.1.9: Sejam E e F espacos de Banach complexos e seja f : A F
uma funcao, onde A E e um conjunto aberto. As seguintes afirmacoes sao
equivalentes:
52
(a) f e diferenciavel em A;
(b) f tem uma expansao em serie de Taylor em torno de cada ponto de A.
4.2 A
algebra de Fr
echet Hb (E)
Definic
ao 4.2.1: Um espaco vetorial munido de uma operacao de multiplicacao que e associativa e distributiva em relacao à adicao e multiplicacao
por escalar e dito uma algebra.
Definic
ao 4.2.2: Seja E um espaco de Banach. Chamamos de Hb (E) o
conjunto de todas as funcoes analticas em E, com valores complexos, que
sao limitadas nas partes limitadas de E. Ou seja:
Hb (E) = {f : E C : f e inteira e limitada nas partes limitadas de E}.
Temos que Hb (E) e uma algebra complexa com as operacoes de adicao
e multiplicacao por escalar e multiplicacao definidas pontualmente. Mais
precisamente, temos que Hb (E) e um espaco vetorial complexo com uma
multiplicacao satisfazendo as seguintes condicoes:
f (gh) = (f g)h,
(f + g)h = f h + gh, f (g + h) = f g + f h
e
a(f g) = (af )g = f (ag),
para quaisquer f , g e h em Hb (E) e para qualquer escalar a.
Para cada s > 0 e para cada f Hb (E), definimos
ps (f ) = sup {|f (x)| : kxk s} .
Temos que (ps )s>0 e uma famlia de (semi)normas em Hb (E). Mais ainda,
(ps )s>0 e uma famlia separante de (semi)normas, ou seja, para cada f 6= 0,
existe s > 0 tal que ps (f ) 6= 0. (De fato, dada f Hb (E) com f 6= 0,
existe x0 E tal que f (x0 ) 6= 0. Tomando s = kx0 k + 1 > 0, temos que
53
ps (f ) = sup |f (x0 )|). Pelo teorema 1.37 de [8], a famlia (ps )s>0 gera uma
kxk<s
topologia localmente convexa T em Hb (E), cuja base local e dada pelos

conjuntos
V (ps , ) = {f Hb (E) : ps (f ) < } ,
onde > 0. A proposicao a seguir mostra que a topologia T e a topologia
da convergencia uniforme nas partes limitadas de E.
Proposi
c
ao 4.2.3: Sejam (fn ) uma sequencia em Hb (E) e seja f uma funcao
em Hb (E). Temos que fn f segundo T se, e somente se, para todo L E
limitado, fn f uniformemente em L.
Demonstrac
ao: Lembremos inicialmente que dizer que fn f segundo T
significa dizer que para toda vizinhanca V de f , existe n0 N tal que fn V
para todo n n0 . Suponhamos entao que isto ocorra. Tomemos L E limitado. Temos entao que existe s > 0 tal que L B s (0) = {x E : kxk s}.
Tome > 0. Temos que o conjunto {f } + V (ps , ) e uma vizinhanca de
f em Hb (E). Assim, existe n0 N tal que fn {f } + V (ps , ) para
todo n n0 . Ou seja, fn f V (ps , ) para todo n n0 . Temos que
ps (fn f ) ou seja, sup |fn (x) f (x)| < para todo x L e para todo
kxks
n n0 . Como |fn (x) f (x)| sup |fn (x) f (x)| para todo x L, temos
kxks
que |fn (x) f (x)| para todo x L e para todo n n0 . Como > 0 foi
tomado arbitrariamente, temos que fn f uniformemente. Reciprocamente,
suponhamos que para todo L E limitado, fn f uniformemente em L.
Tomemos V uma vizinhanca de f . Temos entao que existem s > 0 e > 0
tais que {f } + V (ps , ) V . Consideremos L = B s (0) {x E : kxk s}.
Como f f uniformemente em L, temos que existe n0 N tal que
|fn (x) f (x)| < 2 para todo x L e para todo n n0 ; o que implica
que ps (fn f ) = sup |fn (x) f (x)| < para todo x L e para todo n n0
kxks
o que equivale a dizer que fn {f } + V (ps , ) para todo n n0 . Assim,

fn V para todo n n0 . Como V e uma vizinhanca qualquer de f , segue
o resultado.

Seja T 0 a topologia localmente convexa em Hb (E) dada pela famlia
facil ver que T 0 = T . Conseq
(pn )nN . E
uentemente, (Hb (E), T ) e metrizavel,
pois sua topologia e gerada por uma famlia enumeravel de seminormas. A
seguir, veremos que de fato (Hb (E), T ) e de fato um espaco de Frechet.
Teorema 4.2.4: (Hb (E), T ) e completo.
54
Demonstrac
ao: Como (Hb (E), T ) e metrizavel, considere (fn ) uma seq
uencia de Cauchy em (Hb (E), T ). Ou seja, para todo aberto basico B contendo
0, existe n0 N tal que fm fn B para quaisquer m, n n0 . Como vimos
na proposicao anterior, (pk )kN gera T , isto equivale a dizer que para todo
> 0 e para todo k > 0, existe n0 N tal que fm fn V (pk , ) para todo
m, n n0 . Ou seja, para todo > 0 e para todo k > 0, existe n0 N tal que
para quaisquer m, n n0 e para todo x E com kxk k (1). Dessa forma,
para cada x0 E, (fn (x0 ))nN e uma seq
uencia de Cauchy em C e portanto
convergente. Seja f (x0 ) = lim fn (x0 ). Definamos a funcao
n
f : E C
x 7 f (x) = lim fn (x) .
n
Vejamos que:
(i) fn f segundo T ;
(ii) fn Hb (E).
(i) Pela proposicao 4.2.3, basta provarmos que fn f uniformemente em
cada parte limitada de E. De fato, tome > 0 e k N . Para m0
suficientemente grande e para todo x0 E com kx0 k k, temos que
|fn (x0 ) f (x0 )| |fn (x0 ) fm0 (x0 )| + |fm0 (x0 ) f (x)| < para todo n
n0 ; por (1) pela definicao de f . Assim, dado > 0, existe n0 N tal que
|fn (x) f (x)| < para todo n n0 e para todo x E com kxk k (2),
provando que fn f uniformemente em cada bola B k (0), k N . Como
cada limitado L de E esta contido em alguma bola Bk (0), provamos (i).
(ii) Seja TC a topologia compacto aberta em H(E), onde
H(E) = {f : E C : f e analtica}. Temos que (H(E), TC ) e completo
(cf. [3]). Ora, vimos de (i) que fn f segundo T . Como todo conjunto
compacto de E e limitado, temos que fn f segundo TC . Assim, (fn ) e
uma seq
uencia de Cauchy em TC . Pela completude de (H(E), TC ), fn
segundo TC onde g e uma funcao em H(E). Como convergencia uniforme
nas partes compactas de E implica convergencia pontual, conclumos que
f = g. Ou seja, f H(E). Resta mostrarmos que f e limitada nas partes
limitadas de E, isto e, que de fato f Hb (E). Para isto, tome L E
limitado. Existe entao, k N tal que L B k (0). Por (2), segue que existe
n0 N tal que |fn0 (x) f (x)| < 1 para todo x E com kxk k, ou seja,
55
|f (x)| < 1 + |fn0 (x)| para todo x E com kxk k. Como kfn0 k M
em B k (0), conclumos que f e limitada em B k (0) e conseq
uentemente em L.
Como L E foi tomado de modo arbitrario, temos que f Hb (E).

Proposi
c
ao 4.2.5: Para todo m N, P (m E) Hb (E).
Demonstrac
ao: Fixemos m N. Tomemos P P (m E). Entao, existe
m
A Ls ( E) tal que P (x) = Axm para todo x E. Agora, tomemos
a E. Pela formula binomial, temos que P (x) = A(a + x a)m =

m
X
m
Aamj (x a)j , para todo x E. Para cada 0 j m poj
j=0
nhamos Bj x1 x2 . . . xj = Aamj x1 . . . xj e Pj (x) = Bj xj . Note que Bj

Ls (j E) e, conseq
uetemente, Pj P(j E) para cada 0 j m. Portanto,

m
X
m
P (x) =
Pj (x a), para todo x E; o que mostra que P e
j
j=0
analtica em E. Agora, como P e contnuo, kP k = sup |P (x)| < , o que

kxk1
implica que P e limitado nas partes limitadas de E.
4.3 O contraexemplo de Deghoul

Nesta secao, vamos apresentar o contraexemplo de Deghoul para um problema proposto por Aron, Cole e Gamelin em [1], que consiste na construcao
de um homomorfismo complexo na agebra de Frechet Hb (l2 ) que se anula em
todo o polinomio homogeneo de grau mpar e que e diferente da evaluacao no
ponto 0. Como veremos a seguir a construcao do homomorfismo de Deghoul
e bastante interessante, pois o que ele de fato constroi e uma base de filtro
consistindo de subconjuntos da bola unitaria de l2 com determinadas propriedades.
Tomemos : Hb (E) C um homomorfismo contnuo. Definamos
R() = mn. {s > 0 : |(f )| ps (f ), para todo f Hb (E)}.
Consideremos m = |P (m E) e km k = sup {|(P )| : P P(m E) com
kP k 1}. Em [1], Aron, Cole e Gamelin provaram o seguinte resultado:
1
Com as notacoes acima, R() = lim sup km k m .

m
56

Neste mesmo artigo, os autores levantaram a seguinte pergunta:
1
lim km k m sempre existe?

m
Nesta secao vamos apresentar a construcao de um homomorfismo contnuo

: Hb (l2 ) C tal que (P ) = 0 para todo P P(n l2 ), onde n e mpar e
X
(Q) = 1 onde Q(x) =
x2n com x = (xn ).
n=1
Vejamos a seguir como o homomorfismo construdo por Deghoul responde

o problema proposto. Comecemos observando que Q P(2 l2 ). De fato, defina a funcao A por:
A : l2 l2
(x, y)
C
xn yn ,
n=1
onde x = (xm ) e y = (yn ). Temos claramente que A e uma funcao bilinear.

Para vermos a continuidade de A, note que pela desigualdade de Holder,
X
xn yn kxyk1 kxk2 kyk2 para todo x, y l2 . Da, pela
A(x, y)
n=1
proposicao 3.1.3, temos que A e contnua. Alem disso, pela desigualdade anterior, kAk 1. Agora, Q(x) = A(x, x) para todo x l2 . Isto mostra que Q
e um polinomio 2-homogeneo contnuo em l2 . Mais ainda, como kQk kAk,
segue que kQk 1. Como e1 = (1, 0, 0, . . .) l2 , ke1 k2 = 1 e Q(e1 ) = 1;
segue que kQk = 1. Como (Q) = 1 (por construcao), segue que k2 k 1,
ja que Q e um polinomio 2-homogeneo com kQk = 1. Do fato de ser um
homomofismo, segue que k2m k 1 para todo m N. Como por construcao,
(P ) = 0 para todo P P(n l2 ), com n mpar, segue que k2m+1 k = 0 para
1
todo m N. Portanto, n
ao existe lim km k m .
m
Vejamos agora a construcao de . A ideia consiste na construcao de uma

base de filtro B em l2 formada por subconjuntos de sua bola unitaria em
B(0, 1) com as seguintes propriedades:
(i) Q|B 1 para todo B B, onde Q(x) =
x2n ;
n=1
(ii) Todo polinomio n-homogeneo com n mpar e identicamente nulo em pelo

menos um elemento de B. Isto e, para todo n N mpar e para todo
57
P P(n l2 ), existe B B tal que P|B 0.
Naturalmente surge a seguinte pergunta: qual a relacao entre a base de
filtro acima descrita e o homomorfismo ? Ora, suponhamos que uma tal
base de filtro B exista. Consideremos U um ultrafiltro tal que B U . Tome
f Hb (l2 ).
Consideremos o conjunto f (U) = {f (U ) : U U}. Temos pela proposicao
2.2.10, que f (U) e uma base de filtro em C. Seja agora U o filtro gerado por
f (U). Sabemos pela proposicao 2.2.10, que U e um ultrafiltro em C. Como
B P B(0, 1) , B(0, 1) U. Da, f B(0, 1) f (U).

Como f B(0, 1) (0, p1 (f )) = {z C : |z| p1 (f )}, segue que
Da, pela proposicao 2.2.13, U e convergente e seu u
(0, p1 (f )) U.
nico
limite pertence ao conjunto (0, p1 (f )). Definamos entao, a seguinte funcao:
: Hb (l2 )
C
.
f
7 (f ) = lim U
Temos que:
1. esta bem definida, ja que lim U existe e e u
nico.
2. e um homomorfismo.
3. e contnua, ja que || p1 (f ) para todo f Hb (l2 ).
4. (Q) = 1. De fato, tome B B. Entao, Q(B) = {1}. Entao, {1} Q(U).
Isto implica que o filtro das vizinhancas de {1}, N{1} e tal que N{1} U
onde U denota o filtro gerado por Q(U). Entao, U {1}, o que significa
que (Q) = 1.
5. (P ) = 0 para todo polinomio n-homogeneo P , onde n e mpar: o
raciocnio e analogo ao feito acima.
Vamos agora provar a existencia da base de filtro B. Consideremos
n N . Sejam P1 , P2 , . . . , Pn polinomios homogeneos de grau mpar. Definamos
A(P1 , P2 , . . . , Pn ) = {x l2 : kxk = 1 e P1 (x) = P2 (x) = . . . = Pn (x) = 0},
onde aqui l2 denota o conjunto das seq
uencias em R quadrado somaveis. Se
estes conjuntos sao nao vazios, entao eles formam a base de filtro desejada.
De fato, se
58

B=
{A(P1 , P2 , . . . , Pn ) : P1 , P2 , . . . , Pn sao polinomios
nN
homogeneos de grau mpar},

entao B e uma base de filtro em l2 consistindo de subonjuntos de B l2 (0, 1),
Q|B 1 para todo B B e para todo P P(k l2 ), k mpar, existe B B tal
que P|B 0.
Para provarmos que os conjuntos A(P1 , P2 , . . . , Pn ) sao nao vazios e suficiente
mostrarmos que os conjuntos
B(P1 , P2 , . . . , Pn ) = {x l2 : P1 (x) = P2 (x) = . . . = Pn (x) = 0}
sao nao vazios. Mas isto segue do seguinte lema cuja demonstracao usa o
teorema de Borsuk.
Lema: Seja E um espaco vetorial real e sejam P1 , P2 , . . . , Pn polinomios nhomogeneos reais de grau mpar. Se dim E > n, existe x E com x =
6 0 tal
que P1 (x) = P2 (x) = . . . = Pn (x) = 0.
Teorema de Borsuk: Consideremos S n = {x Rn+1 : kxk = 1}. Seja
f : S n S n uma funcao contnua tal que f (x) = f (x). Entao, f nao e
homotopica a uma funcao constante.
59
Agradecimentos
Agradeco à minha orientadora, professora Ceclia de Souza Fernandez,
nao so pela orientacao no desenvolvimento deste trabalho, mas tambem pelo
grande incentivo ao longo de todo o trabalho.
Agradeco tambem ao CNPq, do qual fui bolsista PIBIC na vigencia de 2007
a 2008.
60
Refer
encias
[1] Aron, R.M., Cole, B.J., Gamelin, T.W., Spectra of algebras of analytic
functions on a Banach space, Journal f
ur die reine angewandre Mathematik,
415(1991), 51-93.
[2] Bourbaki, N. Topological Vector Spaces, Springer-Verlag, 1987.
[3] Chae, B.S., Holomorphy and Calculus in Normede Spaces, Marcel Dekker,
Inc.,1985.
[4] Deghoul, D., Construction de caractères exceptionnels sur une algèbre de
Frechet, C. R. Acad. Sci. Paris, 312, Serie I(1991), 579,580.
[5] Dineen, S., Complexe Analysis in Locally Convex Spaces, North-Holland
Math., 1981.
[6] Howes, N.R. Modern Analyis and Topology, Springer-Verlag, 1995.
[7] Munkres, J.R., Topology: A first course, Prentice Hall, Inc., 1975.
[8] Rudin, W., Functional Analysis, 2a edicao, McGraw-Hill International
Editions, 1991.
[9] Wilansky, A., Topology for Analysis, Ginn and Company, 1970.
[10] Lima, Elon L., Curso de An
alise vol.1. 7a edicao. Rio de Janeiro: IMPA,
1992.

Filtros e Redes

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Filtros e Redes

Caricato da

Copyright:

Formati disponibili

Filtros e Redes

Daniel Parasio Sobreira de Souza

A Jeova, `a minha namorada

A definicao de espaco topologico levou muito tempo para ser formulada.

Rene-Maurice Frechet nasceu em 1878 na Franca. Frechet publicou varios artigos.

(iv) Se A T com A 6= , entao

Os elementos de T sao chamados conjuntos abertos. Um espaco topol

O proximo exemplo relembra o que aprendemos numa primeira disciplina

existe um conjunto aberto G com x G V .

No paragrafo seguinte veremos uma subclasse importante de espacos

para quaisquer x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) em Rn .

como o do Exemplo 1.1.2, sendo X com mais de um elemento. Se este espaco

G e H em T e x G H. Existem U e V em B tais que x U G e

Gx e aberto, S e aberto. Como S e aberto

(ii) Se (F )L e uma famlia arbitr

funcao. Entao, f e contnua em X se e somente se f (S) f (S) para todo

um funcao de N em X. Assim, uma seq

xk a. De fato, como, para cada 1 i n, ai = lim xki , temos que para

cada 1 i n, existe k0i N tal que se ki k0i , entao |xki ai | < n .

para todo n N , Wn+1 Wn , onde Wn =

Vi . Note tambem que cada

1.6 Espacos normados

ii) Seja f B(X) com K e f B(X). Temos que kf k = sup |f (x)| =

sup || |f (x)|. Como || 0, temos que sup || |f (x)| = || sup |f (x)| =

sup |f (x)| + sup |g(x)| = kf k + kgk.

Exemplo 1.6.7(Espacos lp ): Sejam p [1, +) fixado e lp o conjunto

alguns resultados que faremos a seguir.

|yk |q = 0 a proposicao e trivial-

mente verdadeira. Consideremos entao o caso

Para cada 1 i n, ponhamos ai = X

e aplicando a proposicao anterior com a = ai e b = bi

para cada 1 i n, temos que aip biq

Substituindo i por k, chegamos ao resultado desejado.

|xk + yk |p = 0 a proposicao e trivialmente ver-

dadeira. Consideremos entao o caso

|xk + yk |p1 |xk |+

|xk + yk |p1 |yk |. Mas, temos pela desigualdade de Holder que

|xk + yk |p1 |xk | +

|xk + yk |p1 |yk |

Como p1 + 1q = 1, temos que (p 1)q = p. Da, multiplicando ambos os mem! 1q

. Provando assim a de-

1.7 Espacos de Banach

Exemplo 1.7.2 Consideremos o espaco normado (Rn , k k) onde k k e a

cada n N , ponhamos xn = (xn1 , xn2 , . . . , xni , . . .). Fixado qualquer i N ,

e convergente, temos que para cada i N , existe lim xni = ai K. Seja

a = (a1 , a2 , . . . , ai , . . .) e seja  > 0. Como (xn ) e de Cauchy, existe n0 N

para todo k N e m, n n0 , temos que

2 , para todo n n0 . Em particular, n n0

implica a xn lp . Segue-se que a = a xn + xn lp , pois xn lp que

CAPITULO 2. FILTROS E REDES

CAPITULO 2. FILTROS E REDES

Teorema 2.2.7: Sejam X um espaco topologico, x X, e S X. Entao,

W f (X\f (W )) F, ja que W F. Entretanto, W f (X\f 1 (W )) = ,

2.3 Conjuntos parcialmente ordenados

CAPITULO 2. FILTROS E REDES

Exemplo 2.3.3(Ordem por contencao) Seja X um conjunto. Temos que

CAPITULO 2. FILTROS E REDES

filtro em X tal que B x. Seja (x : B) uma rede associada `a B. Entao,

CAPITULO 2. FILTROS E REDES

x. Seja S X tal que x S. Da, pela demonstracao da Proposicao 1.4.15,

f (x1 , . . . , xi + yi , . . . , xm ) = f (x1 , . . . , xi , . . . , xm ) + f (x1 , . . . , yi , . . . , xm ),

Para m = 0 consideramos La (E1 , . . . , Em ; F )

kA(x1 , . . . , xm )k = inf {M [0, +) :

kA(x1 , . . . , xm )k M kx1 k . . . kxm k para todo (x1 , . . . , xm ) E1 . . . Em }.

cada 1 i n, existe k0i N tal que se ki k0i , entao |xki ai | < n .

a = (a1 , a2 , . . . , ai , . . .) e seja > 0. Como (xn ) e de Cauchy, existe n0 N

2 , para todo n n0 . Em particular, n n0

o que equivale a dizer que fn {f } + V (ps , ) para todo n n0 . Assim,