Sei sulla pagina 1di 119

Topologia Geral de V arios

Angulos
Andre Caldas de Souza
and YOU! :-)
25 de maio de 2013
1
Este Livro e Livre
Este livro pode ser copiado ` a vontade. Se voce recebeu em formato digital,
que `a vontade para copi a-lo e comparilh a-lo quantas vezes quiser. Voce
pode tambem imprim-lo e fotocopia-lo o tanto que quiser. Claro que e
sempre importante pensar na natureza e no impacto ambiental. Procure
n ao desperdicar recursos. ;-)
Quer imprimir e vender este livro para os seus colegas? Fique ` a vontade,
tambem! Voce e dono de uma editora e quer imprimir sua pr opria vers ao,
vender e car rico com esse livro sem precisar pagar nenhum tost ao em
direitos autorais? Pois na minha opiniao, se voce o zer estara contribuindo
para um mundo melhor. Uma das poucas restric oes e que voce n ao tire dos
outros essa liberdade que lhe foi concedida. Se voce passar esse livro pra
frente, n ao poder a proibir aquele que o recebeu de fazer o mesmo.
Este livro est a licenciado sob os termos da licenca Creative Commons
Attribution Share Alike 3.0. Os termos est ao disponveis na internet
atraves do endere co
http://creativecommons.org/licenses/by-sa/3.0/.
A vers ao mais atual deste livro pode ser encontrada na internet no
endereco
http://topologia-geral.ourproject.org/.
Neste endereco tambem podem ser encontrados os arquivos L
A
T
E
X, que voce
pode alterar e usar para criar sua pr opria vers ao deste livro.
Sobre o OurProject.org
O site onde esta hospedado o projeto deste livro e um reposit orio de
conte udos livre. Qualquer um que queira produzir conte udos livres como
i
ii
livros, poesias, m usicas, vdeos e etc. pode utiliz a-lo como ferramenta.
Ah. . . o site sobrevive com doa coes. ;-)
Endereco: http://ourproject.org/
Faz algum tempo que eu procurava um lugar que pudesse hospedar
o projeto de um livro livre. J a estava pensando em tentar fazer alguma
coisa nesse estilo dentro do proprio departamento de matem atica da UnB.
Felizmente encontrei o OurProject e isso n ao ser a mais necess ario.
Como Ajudar?
A melhor maneira de ajudar, e repassando este livro para o maior
n umero de pessoas! Quanto mais pessoas tiverem interesse no livro,
maiores serao as chances de se atingir um bom nvel de qualidade.
Sugest oes, correc oes ou contribuic oes podem ser enviadas para o e-mail
topologia-geral-discussion@lists.ourproject.org. Ainda nao sei qu ao aberto
a sugest oes estou disposto a ser. No entanto, voce e livre para, respeitando
os termos da licenca, criar sua propria versao e incluir seu proprio conte udo.
Os arquivos que comp oem o projeto deste livro podem ser baixados do
repositorio SVN no endereco
https://ourproject.org/scm/?group_id=914.
Contribuindo com Figuras
Me falta um certo dom para criar guras de qualidade. :-(
Se voce puder contribuir com imagens, estas devem estar
preferencialmente no formato SVG. O SVG foi adotado por ser um
padrao aberto baseado em XML. O aplicativo que eu uso para criar guras
e software livre e chama-se Inkscape. A p agina do projeto Inkscape e
http://www.inkscape.org/.
Contribuindo com C odigo L
A
T
E
X
Os arquivos L
A
T
E
X devem seguir o mesmo tipo de formatacao dos demais.
Na medida do possvel, o arquivo L
A
T
E
X n ao deve conter gambiarras ou
comandos de formatacao explcitos no meio do texto.
Os arquivos do projeto contem varias linhas com coment arios explicando
o que falta ser feito. Basta procurar pela palavra TODO (a fazer).
iii
Por Que?
Eu (Andre Caldas) N

AO acredito que coletar taxas seja a melhor maneira


de se sobreviver da producao cultural. Na minha opiniao, as pessoas
devem receber para produzir; e n ao produzir na esperanca de coletar
taxas relativas ao direito autoral para o resto da vida. Eu, por exemplo,
atualmente sou estudante de doutorado da UnB e recebo uma bolsa de
estudo da CAPES. Apesar de a bolsa n ao cobrir os custos para a produc ao
deste livro, foi esta mesma bolsa que viabilizou que eu pudesse deixar o
meu emprego para me dedicar `as minhas atividades academicas. Ou seja,
a sociedade ja me oferece meios para que eu possa me dedicar a estas
atividades, o que inclu a produc ao deste livro. :-)
N ao vejo sentido em um professor de uma universidade p ublica, que
j a recebe um sal ario do governo para que produza conhecimento, ter
monop olios sobre o fruto do seu trabalho. Vejo menos sentido ainda quando
esse professor vende tal monop olio para ser explorado. Perceba que isso nao
e uma crtica ao lucro ou ` a explorac ao da produc ao cientca.

E uma crtica
ao monopolio sobre os direitos de uso daquilo que foi produzido com dinheiro
p ublico. Nao faz sentido que a sociedade faca esse tipo de investimento e
depois n ao possa ter acesso ao que foi produzido. Livros e o menor dos
problemas. Vemos que pesquisas para o desenvolvimento de medicamentos
ou qualquer outra coisa que v a melhorar a qualidade de vida da populac ao,
como melhoria na alimentacao e acesso ao lazer, sao feitas com dinheiro
p ublico em parceria com institui coes privadas de modo que a sociedade
acaba sendo privada de seus frutos. N ao acredito que seja errado fazer
parceria com instituicoes privadas. O que n ao se pode e privar a sociedade
dos frutos do trabalho no qual investiu. Vemos instituicoes de pesquisa se
valerem de recursos p ublicos durante as pesquisas e depois correrem atr as
de registros de patentes e coisas do tipo que servem apenas ao prop osito de
privar a sociedade dos frutos dessa mesma pesquisa.
Se o governo, por exemplo, a uns 10 anos atras tivesse comecado a
nanciar a produc ao de livros e exigisse que o fruto desse trabalho fosse
verdadeiramente livre (como e este livro), hoje n ao faramos licitac oes para a
compra de livros; faramos uma licita cao para a impress ao e a distribuic ao
desses livros. Falta vis ao de longo prazo. Deveramos investir na produc ao
de livros livres. O autor deve sim receber por seu trabalho. S o que deve
receber enquanto faz o trabalho, e n ao depois atraves do recolhimento de
taxas e de mecanismos de opress ao, como os que apreendem maquinas de
fotocopia nas universidades.
Tenho varios amigos que fazem c opias de muitos livros. Sempre lembro
a eles que quando virarem autores n ao devem virar a casaca e comecar a
iv
perseguir os que fazem copias. Gostaria de fazer o mesmo pedido ao leitor!
:-)
Braslia, 23 de abril de 2010,
Andre Caldas
Sumario
Este Livro e Livre i
Sumario v
Prefacio vi
I Espacos Metricos 1
1 Denicao e Propriedades 2
1.1 Denic ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Propriedades Elementares . . . . . . . . . . . . . . . . . . . 5
1.3 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 Topologia Usando uma Metrica 13
2.1 Seq uencias e Convergencia . . . . . . . . . . . . . . . . . . . 13
2.2 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3 Topologia com Bolas . . . . . . . . . . . . . . . . . . . . . . 18
3 Topologia de Espacos Metricos: releitura 22
3.1 Vizinhancas . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2 Continuidade em um Ponto . . . . . . . . . . . . . . . . . . 26
3.3 Base de Vizinhancas . . . . . . . . . . . . . . . . . . . . . . 27
3.4 Conjuntos Abertos . . . . . . . . . . . . . . . . . . . . . . . 28
3.5 Continuinuidade em Todo Ponto . . . . . . . . . . . . . . . . 30
II Topologia Geral 33
4 Motivacao e Denicoes 34
4.1 Motivacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.2 Denic ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
v
Sum ario vi
4.3 Vizinhancas e Base de Vizinhancas de um Ponto . . . . . . . 38
4.4 Continuidade em um Ponto . . . . . . . . . . . . . . . . . . 40
4.5 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5 Construindo Topologias 44
5.1 Comparando Topologias . . . . . . . . . . . . . . . . . . . . 44
5.2 Sub-Base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.3 Bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6 Fecho e Interior 55
6.1 Fecho e Fechado . . . . . . . . . . . . . . . . . . . . . . . . . 55
6.2 Interior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6.3 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.4 Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . 63
7 Topologias Derivadas de Outras Topologias 66
7.1 Topologia de um Sub-Espaco . . . . . . . . . . . . . . . . . . 66
7.2 Topologias Inicial e Final . . . . . . . . . . . . . . . . . . . . 70
7.3 Topologia Produto . . . . . . . . . . . . . . . . . . . . . . . 75
7.4 Topologia Quociente . . . . . . . . . . . . . . . . . . . . . . 81
7.5 Topologias das Sequencias Convergentes . . . . . . . . . . . 85
8 Conexidade 88
8.1 Denic ao e Exemplos . . . . . . . . . . . . . . . . . . . . . . 88
8.2 Conexidade e Continuidade . . . . . . . . . . . . . . . . . . 92
8.3 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . 93
8.4 Conexidade por Caminhos . . . . . . . . . . . . . . . . . . . 96
8.5 Conexidade Local . . . . . . . . . . . . . . . . . . . . . . . . 98
Dicas e Respostas dos Exerccios 101
Prefacio
Os livros que tratam do assunto topologia parecem se dividir em duas
categorias:
Comecam com denic oes abstratas e pouco motivadas.
Tratam apenas de espacos metricos.
Os espacos metricos sao sem d uvida a melhor motivac ao para o estudo
da topologia geral. No entanto, existem muitos conceitos, como os de
sequencia de Cauchy, completude, limitacao e continuidade uniforme, que
n ao s ao conceitos topol ogicos. O que acontece e que os textos que tratam
de topologia dos espacos metricos d ao muita enfase a esses conceitos, ` a
equivalencia de metricas, ao completamento de espacos, e por a vai. O fato
e que dessa forma n ao se tem um curso de topologia, tem-se um curso de
espacos metricos.
Por outro lado, sem falar de espacos metricos e muito difcil dar alguma
motivacao para o que venha a ser uma topologia. Assim, neste livro,
zemos uma introduc ao r apida aos espacos metricos sem nenhuma menc ao
a questoes que n ao sejam puramente topologicas. Falamos de bolas, de
convergencia e de continuidade. A ideia e a de se fazer uma transi cao entre
as formula coes que enfatizam mais a metrica ate chegar a formulac oes que
dependam apenas da topologia do espaco.
Um outro diferencial deste livro esta na busca por maneiras alternativas
de se olhar para os fen omenos topologicos. Em geral os conjuntos abertos
recebem atenc ao demasiada. Por exemplo, quando estudamos analise
funcional, estamos bastante interessados na continuidade de operadores
lineares em topologias que sao invariantes por translac oes. Neste caso a
continuidade se resume `a continuidade na origem. Quando consideramos a
continuidade em um unico ponto do espaco, a preocupac ao em demonstrar
que determinados conjuntos s ao abertos e um exagero desnecess ario.
Deveramos nos preocupar se estes conjuntos s ao ou n ao vizinhancas de 0. A
intencao e que o leitor consiga identicar maneiras alternativas que melhor
vii
Sum ario
se adaptem ao fen omeno que esta sendo analisado. Para um determinado
caso, talvez o melhor seja considerar abertos, talvez vizinhancas, redes,
sequencias, fechados, ltros e etc.
viii
Parte I
Espacos Metricos
1
CAP

ITULO 1
Denicao e Propriedades
Vamos descrever (denir) o que se entende por espaco metrico (denic ao
1.1), e estudar propriedades desses espacos que nos motivarao a denir o
conceito mais geral de espaco topologico (denic ao 4.1).
Os conhecimentos adquiridos neste captulo ser ao importantes para que
o leitor possa ter exemplos concretos e tambem motivac ao suciente para
reconhecer a utilidade e aceitar com naturalidade os conceitos que serao
apresentados nos captulos seguintes.
1.1 Denicao
Um espaco metrico e um conjunto X, munido de uma metrica
d : X X R
+
. A metrica faz com que esteja denida uma nocao de
distancia entre os pontos de X.
Denicao 1.1 (Metrica). Seja X um conjunto qualquer. Uma metrica
denida sobre X e uma funcao
d : X X R
+
(x, y) d(x, y)
que, para todo x, y, z X, satisfaz
1. d(x, y) = 0 x = y.
2. d(x, y) = d(y, x).
3. d(x, z) d(x, y) + d(y, z). (desigualdade triangular)
2
1.1. Denic ao
Dizemos que (X, d) e um espaco metrico. Em geral, por um abuso de
linguagem, quando a metrica d esta subentendida, dizemos que X e um
espaco metrico.
Em R
n
, a metrica usualmente adotada e a metrica euclidiana, dada por
d(x, y) =

_
n

j=1
[x
j
y
j
[
2
. (1.1)
Onde x = (x
1
, . . . , x
n
) e y = (y
1
, . . . , y
n
).
Em v arias situa coes, o item (1) da denicao de metrica nos permitira
concluir que dois pontos x, y X s ao de fato o mesmo ponto. Basta mostrar
que d(x, y) = 0. O item (3) e o mais importante da denic ao.

E este item
que abstrai a ideia de que a distancia entre dois pontos est a intimamente
relacionada com o menor caminho entre dois pontos:
Se existe um caminho A, partindo de x e indo para y, e um
caminho B, partindo de y e indo para z, ent ao, a menor dist ancia
(ou o nmo dos comprimentos dos caminhos partindo de x e
indo para z) nao e maior do que a soma dos comprimentos de
A e B. (gura 1.1)
Figura 1.1: Desigualdade triangular: C A + B.
Denicao 1.2 (Bola). Seja (X, d) um espaco metrico, x X e > 0. A
bola de centro x e raio e o conjunto de todos os pontos que distam de x
menos que :
B

(x) = y X [ d(x, y) < .


3
1.1. Denic ao
Figura 1.2: A bola de centro x e raio .
Exerccios
1.1.1. Seja X um espaco metrico. Mostre que, y B

(x) se, e somente se,


x B

(y).
1.1.2. Em um espa co metrico X, mostre que para x X e > 0,
B

(x) B

(x).
1.1.3. Em um espaco metrico X, dado um ponto x X e > > 0
distintos, podemos concluir que
B

(x) B

(x)?
1.1.4. Na denic ao de espaco metrico, podemos substituir o item (3)
d(x, z) d(x, y) + d(y, z)
por
d(x, z) d(x, y) + d(z, y)?
1.1.5. Na denic ao de espaco metrico, podemos substituir o item (2)
d(x, y) = d(y, x)
por
d(x, z) d(y, x) + d(z, y)?
1.1.6. Mostre que d : X X R
+
e uma metrica se, e somente se,
1. d(x, y) = 0 x = y.
4
1.2. Propriedades Elementares
2. d(z, x) d(x, y) + d(y, z).
1.1.7. Encontre um exemplo de uma aplica cao d : X X R
+
satisfazendo
1. d(x, y) = 0 x = y; e
2. d(x, z) d(x, y) + d(y, z);
mas que n ao e uma metrica.
1.1.8. Leia a p agina da Wikipedia em ingles sobre espacos metricos.
Depois, va ate a Wikipedia em portugues e melhore a p agina sobre espa cos
metricos que tem la. :-)
1.2 Propriedades Elementares
Nesta secao, (X, d) e um espaco metrico. As propriedades mais interessantes
dos espacos metricos s ao conseq uencia da desigualdade triangular. Muitas
vezes, essas propriedades s ao mais f aceis de serem visualizadas quando
temos em mente a dist ancia euclidiana em R
2
. Ou seja, quando fazemos um
desenho em uma folha de papel.

E importante enfatizar no entanto, que os
resultados dependem apenas das propriedades das metricas (denic ao 1.1).
O desenho melhora a intuic ao, mas n ao e uma demonstracao.
Todas as proposic oes deste captulo s ao muito simples. O leitor deve ser
capaz de completar as demonstrac oes que armam, por exemplo, que basta
tomar um certo > 0 para concluir a demonstrac ao.
Proposicao 1.3. Sejam x X e > 0. Entao existe n N tal que
B1
n
(x) B

(x).
Demonstracao. Basta tomar n grande o suciente para que
1
n
.
A seguinte Proposicao, apesar de muito simples, e fundamental para o
desenvolvimento de toda a teoria que se seguira, e e conseq uencia direta da
desigualdade triangular.
Proposicao 1.4. Sejam x X, > 0 e
y B

(x).
Entao, existe > 0 tal que
B

(y) B

(x).
Veja a gura 1.3.
5
1.2. Propriedades Elementares
Figura 1.3: Para cada ponto y da bola B

(x), temos uma bolinha centrada


em y e toda contida em B

(x).
Demonstracao. Basta tomar < d(x, y). Neste caso,
z B

(y) d(y, z) <


d(x, z) < d(x, y) + <
z B

(x).
Proposicao 1.5. Sejam x
1
, x
2
X, e
1
,
2
> 0. Entao, dado z B

1
(x
1
)
B

2
(x
2
), existe > 0 tal que
B

(z) B

1
(x
1
) B

2
(x
2
).
Veja a gura 1.4.
Demonstracao. Pela Proposic ao 1.4, existem
1
,
2
> 0 tais que
B

1
(z) B

1
(x
1
)
B

2
(z) B

2
(x
2
).
Basta portanto tomar qualquer min(
1
,
2
).
Repare que a proposic ao vale para qualquer n umero nito de bolas
B

1
(x
1
), . . . , B

n
(x
n
). Mas n ao vale para um n umero innito de bolas.
Proposicao 1.6. Sejam x, y X dois pontos distintos de X. Entao existe
> 0 tal que
B

(x) B

(y) = .
Veja a gura 1.5.
6
1.2. Propriedades Elementares
Figura 1.4: Para cada ponto z da intersec ao B

1
(x) B

2
(y), temos uma
bolinha centrada em z e toda contida na intersec ao.
Figura 1.5: Dois pontos distintos x e y podem ser separados por bolas
disjuntas.
Demonstracao. Como x ,= y, temos que d(x, y) > 0. Basta tomar

d(x, y)
2
.
Proposicao 1.7. Seja x X. Entao,

>0
B

(x) = x.
7
1.2. Propriedades Elementares
Demonstracao. Basta mostrar que dado y X com y ,= x, existe > 0 tal
que
y , B

(x).
Basta tomar d(x, y). Ou ent ao notar que isso segue como um caso
particular da Proposi cao 1.6.
Exerccios
1.2.1. Mostre que em um espaco metrico X, dado x X, temos que
_
0<<
B

(x) = B

(x).
1.2.2. Seja X um espaco metrico e x um elemento de X. Mostre que para
toda sequencia ilimitada n
k
N,

k=1
B 1
n
k
(x) = x.
1.2.3. Seja X um espaco metrico, x
1
, . . . , x
n
X e
1
, . . . ,
2
n umeros reais
maiores que zero. Mostre que se
x
n

j=1
B

j
(x
j
),
ent ao existe > 0 tal que
B

(x)
n

j=1
B

j
(x
j
).
1.2.4. Por que a demonstra cao do exerccio 1.2.3 n ao vale se o n umero de
bolas nao for nito?
1.2.5. Na demonstrac ao da Proposic ao 1.7, exatamente quais propriedades
da metrica foram utilizadas?
1.2.6. Na demonstrac ao da Proposic ao 1.6, onde foram utilizadas as
seguintes propriedades da metrica?
1. d(x, y) = 0 x = y.
2. x = y d(x, y) = 0.
3. d(x, y) = d(y, x).
4. d(x, z) d(x, y) + d(y, z).
8
1.3. Exemplos
1.3 Exemplos
Exemplo 1.8 (Metrica Usual dos Reais (metrica euclidiana)). Considere
o conjunto dos n umeros reais R. A seguinte metrica e a metrica usual dos
n umeros reais:
d
||
(x, y) = [y x[.
O espaco (R, d
||
) e um espaco metrico.
Exemplo 1.9 (Metrica Discreta). Seja X um conjunto qualquer. Ent ao,
denimos a metrica discreta em X por
d
d
(x, y) =
_
0, x = y
1, x ,= y
.
Exemplo 1.10 (Metrica Euclidiana de R
n
). Considere o espaco vetorial
R
n
. Agora, dena
d(x, y) = |y x|,
onde || e a norma euclidiana de R
n
. O espa co (R
n
, d) e um espaco metrico.
Alem do mais, possui as seguintes propriedades:
1. Para todo a, x, y R
n
, d(x + a, y + a) = d(x, y).
2. Para todo x, y R
n
e R, d(x, y) = [[d(x, y).
Poderamos ter feito o mesmo para dois (ou mais) espacos metricos
quaisquer, (A, d
A
) e (B, d
B
), e denido a seguinte metrica em A B:
d((a
1
, b
1
), (a
2
, b
2
)) =
_
d
A
(a
1
, a
2
)
2
+ d
B
(b
1
, b
2
)
2
.
Exemplo 1.11 (Metrica do Maximo em R
n
). Novamente, considere o
espaco vetorial R
n
. Sejam x = (x
1
, . . . , x
n
) e y = (y
1
, . . . , y
n
) elementos
de R
n
. Ent ao, dena
d(x, y) = max
1jn
[y
j
x
j
[,
O espa co (R
n
, d) e um espa co metrico. Nesta metrica, as bolas sao na
verdade quadrados. :-)
Poderamos ter feito o mesmo para dois (ou mais) espacos metricos
quaisquer, (A, d
A
) e (B, d
B
), e denido a seguinte metrica em A B:
d((a
1
, b
1
), (a
2
, b
2
)) = max d
A
(a
1
, a
2
), d
B
(b
1
, b
2
).
9
1.3. Exemplos
Exemplo 1.12 (Metrica da Soma em R
n
). Novamente, considere o espaco
vetorial R
n
. Sejam x = (x
1
, . . . , x
n
) e y = (y
1
, . . . , y
n
) elementos de R
n
.
Ent ao, dena
d(x, y) =

1jn
[y
j
x
j
[,
O espaco (R
n
, d) e um espaco metrico.
Novamente, poderamos ter feito o mesmo para dois (ou mais) espacos
metricos, (A, d
A
) e (B, d
B
), e denido a seguinte metrica em A B:
d((a
1
, b
1
), (a
2
, b
2
)) = d
A
(a
1
, a
2
) + d
B
(b
1
, b
2
).
Exemplo 1.13 (Os Complexos e o R
2
). Podemos identicar um n umero
complexo z = + i C com o elemento (, ) R
2
. Assim, usando a
metrica euclidiana de R
2
, obtemos a metrica
d(
1
+
1
i,
2
+
2
i) =
_
(
2

1
)
2
+ (
2

1
)
2
.
Exemplo 1.14 (Identicando Dois Conjuntos). O que zemos no Exemplo
1.13, poderia ter sido feito para qualquer aplicacao injetiva. Se (X, d
X
) e
um espaco metrico, e f : Y X e uma inje cao partindo de um conjunto
qualquer Y , ent ao podemos denir a seguinte metrica no conjunto Y :
d
Y
(y
1
, y
2
) = d
X
(f(y
1
), f(y
2
)).
Exemplo 1.15 (Restric ao a um Subconjunto). Seja (X, d) um espa co
metrico e A X. Ent ao, (A, d[
AA
) e tambem um espaco metrico. De
fato, esta construcao e exatamente o que foi feito no Exemplo 1.14 onde a
identica cao entre A e X e a identidade:
id : A X
a a
.
Exemplo 1.16. Seja X um conjunto qualquer. Denote por F o conjunto
de todas as func oes f : X R. A seguinte fun cao N

AO e uma metrica em
F:
d(f, g) = sup
xX
[g(x) f(x)[.
Isso porque e possvel que d(f, g) = . No entanto, se considerarmos o
conjunto F

= f F [ d(f, 0) < , onde 0 representa a func ao constante


de valor 0, ent ao (F

, d[
F
) e um espaco metrico. Note que poderamos ter
usado qualquer outra func ao no lugar de 0.
Sempre podemos fazer isso quando uma func ao d : X X R
+

satisfaz, com excec ao da possibilidade de assumir o valor , as condic oes
10
1.3. Exemplos
para ser uma metrica listadas na deni cao 1.1. Esse artifcio e utilizado por
exemplo, em analise funcional, quando se estudam os chamados espa cos
L
p
.

E importante notar que a func ao d : X X R
+
est a bem
denida. Apenas n ao e uma metrica se assumir o valor .
Exerccios
1.3.1. Sejam (A, d
A
) e (B, d
B
) espacos metricos. Mostre que
d : (A B) (A B) R
+
((a
1
, b
1
), (a
2
, b
2
)) max d
A
(a
1
, a
2
), d
B
(b
1
, b
2
)
e uma metrica.
1.3.2. Seja (X

, d
X

) ( ) uma famlia de espacos metricos tais que a


imagem de d
X

esteja condida em [0, 1]. Seja X =

. Mostre que
d : X X R
+
((x

), (y

)) sup

d
X

(x

, y

)
e uma metrica.
1.3.3. Seja (X

, d
X

) ( ) uma famlia de espacos metricos. Fa ca X =

, e dena
d : X X R
+

((x

), (y

)) sup

d
X

(x

, y

)
.
Fixando a X, e denindo

X = x [ d (a, x) < ,
mostre que,
_

X, d
_
e um espaco metrico.
1.3.4. Seja (X

, d
X

) ( ) uma famlia de espacos metricos. Faca X =

, e dena
d : X X R
+

((x

), (y

))

d
X

(x

, y

)
.
Fixando a X, e denindo

X = x [ d (a, x) < ,
mostre que,
_

X, d
_
e um espaco metrico.
11
1.3. Exemplos
1.3.5. Sejam (X
n
, d
X
n
), n N espacos metricos onde a imagem de d
X
n
esteja condida em [0, 1]. Seja X =

n=1
X
n
. Mostre que
d : X X R
+
((x
n
), (y
n
))

n=1
1
2
n
d
X
n
(x
n
, y
n
)
e uma metrica.
1.3.6. De um exemplo de uma aplicacao
d : R
2
R
+
que satisfaz x = y d (x, y) = 0, e que tambem satisfaz os itens (2) e (3)
da denic ao 1.1, mas que n ao e uma metrica.
1.3.7. Considere a aplicacao
d : [0, 1) [0, 1) R
+
(x, y)
_
1 , x = 0, y ,= 0
[x y[ , caso contr ario.
Mostre que d satisfaz os itens (1) e (3) da denic ao 1.1, mas n ao e uma
metrica.
12
CAP

ITULO 2
Topologia Usando uma Metrica
Vamos ver como a metrica (dist ancia) e utilizada para descrever aspectos
topol ogicos dos espacos metricos. Veremos como uma metrica e utilizada
para descrever convergencia de seq uencias (denic ao 2.1) e continuidade de
funcoes (denic ao 2.7 e Proposic ao 2.10).
Neste captulo, (X, d) e um espaco metrico.
2.1 Seq uencias e Convergencia
Seja n N. A sequencia de pontos x
n
=
1
n
e tal que, na medida que n
se torna sucientemente grande, a sequencia x
n
se aproxima de 0. Nesta
sess ao, vamos formalizar o que entendemos por:
Na medida que n se torna sucientemente grande,
1
n
se aproxima
de 0.
Para um espaco metrico X, a no cao de se aproxima de e um tanto quanto
natural, ja que temos uma metrica que nos da uma noc ao de dist ancia. A
grosso modo, x
n
X se aproxima de x quando a distancia entre x
n
e x,
d(x
n
, x), se aproxima de 0. Faltaria entao denir o que signica dizer que
a sequencia de n umeros reais d(x
n
, x) se aproxima de 0.
Denicao 2.1 (Convergencia). Sejam (X, d) um espaco metrico e x
n
X
(n N) uma sequencia de pontos de X. Dizemos que x
n
converge para um
certo x X, quando para todo > 0, existir N N tal que
n N d(x
n
, x) < .
13
2.1. Seq uencias e Convergencia
Figura 2.1: A sequencia
1
2
n
se aproxima de 0.
Denotamos tal fato por
x
n
x,
ou por x
n
d
x se quisermos enfatizar que a convergencia e na metrica d.
Tambem dizemos que x e o limite da sequencia x
n
e escrevemos x =
limx
n
.
A deni cao 2.1 generaliza o que j a fazemos para os n umeros reais. No
caso dos n umeros reais, usualmente adotamos a metrica d(x, y) = [y x[.
Denicao 2.2 (Convergencia usual em R). Seja
n
R (n N). Dizemos
que
n
converge para R, e denotamos tal fato por
n
, quando para
todo > 0, existir N N tal que
n N [
n
[ < .
Poderamos ter tomado um outro caminho. J a de posse da denicao 2.2,
poderamos ter denido convergencia em espacos metricos de acordo com a
seguinte proposic ao.
Proposicao 2.3. Seja x
n
X uma sequencia. Faca d
n
= d(x
n
, x). Entao
x
n
x d
n
0.
Onde a convergencia do lado direito e dada pela denicao 2.2 ou,
equivalentemente, pela metrica euclidiana em R.
Demonstracao.

E evidente, pois d(x
n
, x) 0 se, e somente se, para todo
> 0, existir N N tal que
n N d(x
n
, x) < .
14
2.1. Seq uencias e Convergencia
Proposicao 2.4. Seja x
n
X uma sequencia e x X. Entao sao
equivalentes:
1. A sequencia converge para x: x
n
x.
2. Para todo > 0, existe N N tal que n N x
n
B

(x).
3. Para todo m N, existe N N tal que n N x
n
B1
m
(x).
Demonstracao. A equivalencia entre os itens (2) e (3) segue da Proposic ao
1.3.
Para a equivalencia entre (1) e (2), basta notar que x
n
B

(x)
d(x
n
, x) < , e ent ao fazer a substituic ao na deni cao 2.1.
Denicao 2.5 (Metricas topologicamente equivalentes). Enquanto nao
denimos o que e uma topologia, vamos dizer que duas metricas d
1
e d
2
sobre X determinam a mesma topologia (sao topologicamente equivalentes)
quando
x
n
d
1
x x
n
d
2
x.
O objetivo da primeira parte deste livro e o de dar motivac ao para os
conceitos de topologia geral que ser ao apresentados na segunda parte. A
este proposito serve a Proposicao 2.4, que apresenta maneira alternativas de
se olhar para a convergencia de sequencias em espacos metricos. Na medida
em que substitumos a metrica d(x
n
, x) pela bola B

(x), as formulac oes


cam mais parecidas com suas correspondentes para espacos topologicos
gerais
Exerccios
2.1.1. De exemplos de sequencias em um espaco metrico que n ao convergem
para nenhum ponto.
2.1.2. N ao e imediato da denic ao de convergencia que o limite de uma
sequencia, quando existir, ser a unico. Ou seja, a princpio, nao h a garantias
de que x
n
x e x
n
y implique que x = y. Demonstre a unicidade do
limite de sequencias em espa cos metricos.
2.1.3. O que signica x
n
x na metrica discreta?
15
2.2. Continuidade
2.1.4. Considere a aplicacao
d : [0, 1]
N
R
+
((x
j
), (y
j
))

j=1
1
2
j
[x
j
y
j
[
.
Mostre que nesta metrica, para x
n
= (x
n
j
) [0, 1]
N
, x
n
x = (x
j
) [0, 1]
N
se, e somente se, para todo j N, x
n
j
x
j
.
2.1.5. Considere a aplicacao
d : [0, 1]
N
R
+

((x
j
), (y
j
))

j=1
[x
j
y
j
[
.
E seja
X =
_
x [0, 1]
N

d (x, 0) <
_
.
Exiba
1. Uma sequencia x
n
= (x
n
j
) [0, 1]
N
tal que x
n
j
x
j
R, mas (x
j
) ,
X.
2. Uma sequencia x
n
= (x
n
j
) [0, 1]
N
tal que x
n
j
x
j
R, com x =
(x
j
) X, mas que x
n
, x.
E reita sobre a inexistencia desta patologia no caso do exerccio 2.1.4.
2.1.6. Considere a aplicacao
d : [0, 1]
N
R
+
((x
j
), (y
j
)) sup

j=1
[x
j
y
j
[
.
Mostre que nesta metrica, para x
n
= (x
n
j
) [0, 1]
N
, x
n
x = (x
j
) [0, 1]
N
se, e somente se, para todo > 0, existe N N tal que, independentemente
da coordenada j N, n > N d
_
x
n
j
, x
j
_
< .
2.1.7. Considere a aplicacao
d : [0, 1]
N
R
+
((x
j
), (y
j
)) sup

j=1
[x
j
y
j
[
.
Exiba um exemplo de uma sequencia x
n
= (x
n
j
) [0, 1]
N
, tal que x
n
j
x
j
,
mas x
n
, x = (x
j
).
16
2.2. Continuidade
Figura 2.2: Como formular matematicamente que f e descontnua em a?
2.2 Continuidade
Olhando para o graco de uma func ao f : R R na gura 2.2, voce diria
que f e contnua em a?
De que modo podemos expressar formalmente o signicado de f ser ou
n ao contnua em a? Note que no exemplo da gura 2.2,
f
_
a +
1
n
_
2 ,= f(a).
Muitos expressam esse fato dizendo que f tem um salto em a.
Denicao 2.6. Sejam (X, d
X
) e (Y, d
Y
) espacos metricos. Dizemos que
f : X Y e contnua em a X quando
a
n
a f(a
n
) f(a).
Denicao 2.7. Sejam (X, d
X
) e (Y, d
Y
) espacos metricos. Dizemos que
f : X Y e contnua quando for contnua em todo ponto a X.
Notacao. Tambem escrevemos f : (X, d
X
) (Y, d
Y
) para indicar que
estamos considerando os espacos metricos (X, d
X
) e (Y, d
Y
), e que f e uma
funcao de X em Y .
Observacao 2.8. A continuidade depende apenas da topologia dos
espacos considerados. Se f : X Y e contnua quando considerados os
espacos metricos (X, d
X
) e (Y, d
Y
), ent ao ser a contnua nos espacos (X, d

X
)
e (Y, d

Y
) sempre que as metricas d
X
e d
Y
forem equivalentes a d

X
e d

Y
,
respectivamente.
17
2.3. Topologia com Bolas
Exerccios
2.2.1. Mostre que qualquer aplicac ao constante f : (X, d
X
) (Y, d
Y
) e
contnua.
2.2.2. Seja X = [0, 1]
N
, e considere as metricas d
1
((x
j
), (y
j
)) =
sup
jN
[x
j
y
j
[ e d
2
((x
j
), (y
j
)) =

jN
1
2
j
[x
j
y
j
[. Mostre que
f : (X, d
1
) (X, d
2
)
x x
e contnua, mas sua inversa
f
1
: (X, d
2
) (X, d
1
)
x x
n ao e.
2.2.3. Mostre que a funcao f
1
do exerccio 2.2.2 e descontnua em todo
ponto de seu domnio.
2.2.4. Mostre que
f : Q R
x
_
0 , x <

2
1 , x

2
e contnua quando Q e R s ao dotados de suas metricas usuais.
2.2.5. Mostre que quando R e dotado de sua metrica usual,
f : R R
x
_
0 , x Q
1 , x , Q
n ao e contnua em nenhum ponto racional, mas que f[
Q
e contnua.
2.3 Topologia com Bolas
Ate o presente momento, temos trabalhado com sequencias. Nesta se cao
vamos formular os mesmos conceitos utilizando bolas. Para que a transicao
entre sequencias e bolas seja suave, vamos come car reavaliando a Proposicao
2.4.
18
2.3. Topologia com Bolas
A proposic ao arma que dizer que x
n
converge para x e o mesmo que
dizer que toda bola centrada em x contem todos os x
n
, exceto talvez para
uma quantidade nita de ndices n. Note que na Proposic ao 2.4 falavamos
em para todo > 0, mas isso e o mesmo que dizer para toda bola!
Resumindo o que j a havia sido feito, temos a seguinte caracterizac ao
para a convergencia de uma sequencia.
Proposicao 2.9. Seja X um espaco metrico e x
n
X uma sequencia de
elementos de X. Entao, x
n
converge para x X se, e somente se, para
toda bola B

(x) centrada em x, existir N N tal que


n N x
n
B

(x).
Demonstracao. Veja a Proposic ao 2.4.
Proposicao 2.10. Sejam X e Y espacos metricos. Entao as seguintes
armacoes sao equivalentes:
1. A funcao f : X Y e contnua em a X.
2. Para toda bola B
f(a)
= B

(f(a)) centrada em f(a), existe uma bola


B
a
= B

(a) centrada em a, tal que


f(B
a
) B
f(a)
.
3. Para toda bola B = B

(f(a)) centrada em f(a), f


1
(B) contem
alguma bola centrada em a.
Demonstracao. (2) (3)
A equivalencia entre os itens (2) e (3) e evidente, j a que dizer que existe
uma bola e o mesmo que dizer que existe > 0.
(2) (1)
V amos mostrar que o item (2) implica na continuidade de f no ponto a
de acordo com a denic ao 2.6. Seja x
n
a. Vamos mostrar que f(x
n
)
f(a). Tome uma bola qualquer B centrada em f(a). Por hipotese, existe
uma bola B
a
centrada em a tal que
f(B
a
) B.
19
2.3. Topologia com Bolas
Pela Proposic ao 2.9, temos que x
n
B
a
exceto para um n umero nito de
ndices n. Ou seja, f(x
n
) f(B
a
) B, exceto para um n umero nito de
ndices. O que pela Proposicao 2.9 e o mesmo que dizer que f(x
n
) f(a).
(1) (3)
S uponha entao que o item (3) nao vale. Neste caso, existe uma bola B
centrada em f(a) tal que f
1
(B) n ao contem nenhuma bola centrada em
a. Para cada n N, escolha x
n
B1
n
(a) tal que f(x
n
) , B. A sequencia
x
n
converge para a (por que?), mas f(x
n
) nao converge para f(a) (por
que?).
Observacao 2.11. Repare como o item (2) se assemelha ` a denic ao de
continuidade que utiliza argumentos do tipo :
Para todo > 0, existe > 0 tal que
d(x, a) < d(f(x), f(a)) < .
Observacao 2.12. Para mostrar que a nega cao do item (3) implica na n ao
continuidade de f, construmos uma sequencia x
n
a tal que f(x
n
) ,
f(x). Para isso, utilizamos as bolas B1
n
(a) e a Proposic ao 1.3.
Exerccios
2.3.1. Em um espaco metrico X, dado x X, dizemos que V X e uma
vizinhanca de x quando existir uma bola B

(x) tal que B

(x) V . Vamos
denotar por 1 (x) a famlia de todas as vizinhancas de x. Mostre que uma
aplicac ao f : (X, d
X
) (Y, d
Y
) e contnua em x X se, e somente se,
f
1
(1 (f(x))) 1 (x).
Onde
f
1
(1 (f(x))) =
_
f
1
(V )

V 1 (f(x))
_
.
2.3.2. Usando a mesma nomenclatura que no exerccio 2.3.1, vamos chamar
um conjunto A X de aberto quando para todo x A valer que A 1 (x).
Ou seja, um aberto e um conjunto que e vizinhanca de todos os seus pontos.
Mostre que uma aplicac ao f : (X, d
X
) (Y, d
Y
) e contnua se, e somente
se, para todo aberto U Y , f
1
(U) for um aberto de X.
20
2.3. Topologia com Bolas
2.3.3. Usando a nomenclatura do exerccio 2.3.1, mostre que uma sequencia
x
n
x se, e somente se para toda vizinhanca V de x, o conjunto
N
V
= n N [ x
n
, V
e nito.
2.3.4. Usando a nomenclatura do exerccio 2.3.2, mostre que uma sequencia
x
n
x se, e somente se para todo aberto A contendo x, o conjunto
N
A
= n N [ x
n
, A
e nito.
21
CAP

ITULO 3
Topologia de Espacos
Metricos: releitura
Neste captulo, vamos fazer uma releitura do que estudamos no Captulo 2.
Desta vez, vamos tentar eliminar o maximo possvel os argumentos do tipo
epsilon e delta. O objetivo e apresentar a topologia dos espa cos metricos
utilizando a metrica o mnimo possvel, de modo a tornar a apresentac ao
dos conceitos mais parecida com seus correspondentes quando trabalhamos
com a chamada topologia geral (denic ao 4.1).
O conceito mais importante e mais enfatizado nos cursos de topologia e
o de conjunto aberto (denic ao 3.10). No entanto, o conceito de vizinhanca
(denic ao 3.1) e muito mais fundamental e mais natural, principalmente
quando se faz o paralelo entre o ponto de vista da topologia geral e a
topologia dos espacos metricos. O conceito de vizinhanca e mais proximo e
generaliza muito melhor o que se faz quando se utiliza argumentos com
bolas, ou argumentos do tipo epsilon e delta, muito comuns quando
tratamos de espa cos metricos. Veja, por exemplo, os exerccios da sec ao
2.3.
3.1 Vizinhancas
Quando falamos de convergencia e continuidade nos captulos anteriores,
est avamos de posse de uma metrica. A metrica nos dava a nocao de
dist ancia que nos permitia falar de proximidade. Quando dizemos que
x
n
converge para x, n ao estamos de fato interessado nos pontos que est ao
longe de x. Estamos interessados apenas nos que estao proximos. De
22
3.1. Vizinhancas
fato, poderamos nos restringir apenas a bolas pequeninas. Poderamos
nos restringir a bolas de raio menor que 1. Ou ent ao, a bolas de raio
1
2
n
.
Ou, de modo um pouco mais geral, poderamos nos restringir a bolas de
raio
n
> 0, onde
n
e uma sequencia qualquer tal que
n
0.
Quando x
n
converge para x, e porque se V e um conjunto que
contem x e e de certa forma um conjunto sucientemente grande, conter a
toda a sequencia x
n
, exceto para uma quantidade nita de ndices n.
Esse sucientemente grande, no caso de espacos metricos, signica que
existe uma bola B centrada em x tal que B V . A esses conjuntos
sucientemente grandes, chamamos de vizinhancas de x. (veja a Proposic ao
2.9)
Denicao 3.1. Seja X um espaco metrico e x X. Todo conjunto V
X que contem uma bola centrada em x e chamado de vizinhanca de x.
Denotamos por 1 (x) o conjunto de todas as vizinhancas do ponto x.
Figura 3.1: O conjunto V e uma vizinhanca x pois e grande o suciente
para conter uma bola centrada em x.

E imediato que toda bola centrada em x e uma vizinhanca de x. Mais


do que isso, pela Proposic ao 1.4, uma bola e vizinhanca de todos os seus
pontos. Esta propriedade est a formalizada na proposic ao seguinte.
Proposicao 3.2. Se B X e uma bola em um espaco metrico X. Entao,
y B B 1 (y).
Ou seja, uma bola e vizinhanca de todos os seus pontos.
Demonstracao. Veja a Proposicao 1.4. Ou, para um argumento mais visual,
compare as guras 1.3 e 3.1.
23
3.1. Vizinhancas
A seguir, apresentamos algumas propriedades elementares das
vizinhancas de um ponto.
Proposicao 3.3. Seja X um espaco metrico e x
n
, x X. Entao
x
n
x
se, e somente se, para toda vizinhanca de x, V 1 (x), existir N N tal
que
n N x
n
V.
Demonstracao. Tome uma bola B centrada em x tal que B V . Para esta
bola existe N tal que
n N x
n
B.
Em particular,
n N x
n
V.
Proposicao 3.4. Seja X um espaco metrico e x X. Entao valem as
seguintes armacoes sobre a famlia 1 (x) de todas as vizinhancas de x:
1. Se A 1 (x) e A B, entao B 1 (x).
2. A intersecao de duas vizinhancas de x tambem e uma vizinhanca de
x. Ou seja, se A, B 1 (x), entao A B 1 (x).
3. Se A 1 (x) entao existe B A tal que x B e B e vizinhanca de
todos os seus pontos.
Demonstracao. O item (1) e imediato.
O item (2) e imediato do fato que as bolas centradas em x s ao totalmente
ordenadas. Ou seja, a que tiver o menor raio estar a contida em ambos os
conjuntos.
O item (3) e uma re-interpretac ao da Proposi cao 3.2. Basta tomar B
como sendo uma bola centrada em x contida em A.
Observacao 3.5. Das propriedades listadas na Proposic ao 3.4, o item (3)
e o de interpretac ao mais difcil. Vamos voltar a discut-lo no em v arios
momentos durante a exposic ao sobre topologia geral, e principalmente no
Captulo ??. Uma das implicac oes do item (3), e a seguinte. A explicac ao
pode ser acompanhada na gura 3.2. Seja V 1 (x). Suponha que para
cada n N tenhamos uma sequencia x
n
m
, V , indexada por m, que converge
para x
n
. Entao, nao e possvel que a sequencia x
n
convirja para x. De fato,
24
3.1. Vizinhancas
o item (3) da Proposic ao implica na existencia de uma vizinhanca aberta
de x contida em V . Vamos chamar essa vizinhan ca de B, que na gura
representamos sugestivamente como uma bola. Assim, se tivessemos que
x
n
converge para x, teramos que para algum k N, x
k
B. Como B
tambem e vizinhan ca de x
k
(j a que e vizinhanca de todos os seus pontos),
e como x
k
m
x
k
, teramos que para algum j N, x
k
j
B. Contrariando o
fato de que x
k
j
, V .
Figura 3.2: Se x
n
x, ent ao algum x
n
m
pertence a V . Este fato se deve
ao item (3) da Proposicao 3.4.
Exerccios
3.1.1. Em um espaco metrico X, dado um ponto qualquer x X, existe
uma famlia enumer avel de vizinhancas B 1 (x) tal que para toda
vizinhanca V 1 (x), existe B B tal que x B V , e tal que se
B
1
, B
2
B, teremos que B
1
B
2
ou B
2
B
1
.
3.1.2. Seja
n
> 0 uma sequencia de n umeros reais positivos tal que
n
0.
Mostre que, em um espaco metrico X,
1 (x) = V X [ n N, B

n
(x) V .
3.1.3. Seja X um espaco metrico, x X, e B a famlia de todas as bolas
de X que contem x. Mostre que
1 (x) = V X [ B B, B V .
25
3.2. Continuidade em um Ponto
3.1.4. Mostre que em um espaco metrico, V 1 (x) se, e somente se, para
toda sequencia x
n
x, o conjunto
N
V
= n N [ x
n
, V
for nito.
3.1.5. Mostre, usando o exerccio 3.1.1 e as proposi coes 3.2 e 3.3, que em
um espaco metrico, se x
n
e uma sequencia convergindo para x, e x
m
n
e uma
sequencia (indexada por m) convergindo para x
n
, entao existem sequencias
ilimitadas n
k
, m
k
N, tais que x
m
k
n
k
k
x.
3.2 Continuidade em um Ponto
Usando vizinhan cas para expressar continuidade a formula cao ca muito
simples. O trabalho todo ja foi feito na Proposic ao 2.10.
Notacao. Seja X um conjunto. Chamamos de partes de X, e denotamos
por T (X), a famlia formada por todos os subconjuntos de X. Assim,
podemos olhar para f
1
como sendo a aplicacao
f
1
: T (Y ) T (X)
A f
1
(A)
.
Se f : X Y e T T (Y ), escrevemos f
1
(T) para indicar a famlia
f
1
(T) =
_
f
1
(A)

A T
_
.
Proposicao 3.6. Sejam X e Y espacos metricos. Entao f : X Y e
contnua em a X se, e somente se,
f
1
(1 (f(a))) 1 (a).
Demonstracao. Tome V 1 (f(a)). Ent ao existe uma bola B centrada
em f(a), tal que B V . Pela Proposi cao 2.10, f
1
(B) 1 (a). Como
f
1
(B) f
1
(V ), temos que f
1
(V ) 1 (a).
Por outro lado, se f
1
(1 (f(a))) 1 (a), teremos que em particular
f
1
(B) 1 (a) para toda bola centrada em f(a). Ou seja, f
1
(B) contem
uma bola centrada em a para toda bola B centrada em f(a). Novamente,
pela Proposi cao 2.10, isso implica que f e contnua em a.
26
3.3. Base de Vizinhancas
Em se tratando de espacos metricos, tanto a denic ao 2.6, quanto
qualquer uma de suas formulacoes equivalentes dadas pelas proposic oes
2.10 e 3.6, poderiam ser utilizadas como a deni cao de continuidade em
um ponto. Poderamos ter escolhido um caminho diferente e adotado uma
denic ao de continuidade no estilo
Para todo > 0 existe > 0 tal que
d(x, a) < d(f(x), f(a)) < .
Cada caracteriza cao enfatiza um aspecto diferente do fenomeno de
continuidade.

E importante que n ao nos acomodemos a apenas uma delas,
mas que escolhamos a mais adequada a cada situacao.
3.3 Base de Vizinhancas
Quando denimos o que seriam as vizinhan cas de um ponto x X de um
espaco metrico, utilizamos as bolas centradas em x. Chamando de B a
famlia das bolas centradas em x, temos que
B 1 (x).
Alem do mais, todo conjunto V 1 (x) contem um conjunto B B. Ou
seja, a sub-famlia B determina quais s ao as vizinhancas de x. Poderamos
ter nos restringido `as bolas de raio
1
n
para compor a famlia B. As
vizinhancas geradas por essa nova famlia B seriam exatamente as
mesmas.
Denicao 3.7. Seja 1 (x) a famlia de todas as vizinhancas de x X,
onde X e um espaco metrico. Entao, dizemos que B 1 (x) e uma base
de vizinhancas de x quando
1 (x) = V X [ B B, com B Y
Proposicao 3.8. Seja X um espaco metrico e x X. Seja tambem B uma
base de vizinhancas de x. Entao, uma sequencia x
n
converge para x se, e
somente se, para todo B B existir N = N(B) N tal que
n N x
n
B.
Demonstracao. Dado V 1 (x), escolha B B satisfazendo B V .
Ent ao, por hip otese, existe N = N(B) N tal que
n N(V ) = N(B) x
n
B V.
Portanto, x
n
x.
27
3.4. Conjuntos Abertos
Proposicao 3.9. Sejam X e Y espacos metricos e f : X Y . Sejam
a X e B uma base de vizinhancas de f(a). Entao, f e contnua em a se,
e somente se,
f
1
(B) 1 (a).
Demonstracao. Pela Proposic ao 3.6, basta mostrar que
f
1
(B) 1 (a) f
1
(1 (f(a))) 1 (a).
Uma direc ao e obvia, j a que B 1 (f(a)). Suponha entao que V 1 (f(a)).
Neste caso, existe B B tal que B V . Assim, f
1
(V ) f
1
(B) 1 (a).
Portanto, f
1
(V ) 1 (a).
A aplicacao mais imediata da proposic ao e a equivalencia entre as
seguintes armac oes, que s ao denicoes alternativas para a continuidade
de f no ponto a:
Para todo > 0 existe > 0 tal que
d(x, a) < d(f(x), f(a)) < .
Para todo n N existe m N tal que
d(x, a) <
1
m
d(f(x), f(a)) <
1
n
.
3.4 Conjuntos Abertos
Um conjunto aberto e um conjunto que e vizinhan ca de todos os seus pontos.
A Proposic ao 1.4 mostra que em um espaco metrico, todas as bolas s ao
abertas. Por isso, muitos autores usam a expressao bola aberta para se
referirem ao que neste livro denimos como bola. Ainda vamos formalizar
isso melhor, mas os conjuntos abertos caracterizam toda a topologia do
espaco, haja visto que a famlia
/
x
= V 1 (x) [ V e aberto
e uma base de vizinhancas de x para todo x X. (veja o item (3) da
Proposic ao 3.4)
Conhecendo todos os conjuntos abertos, sabemos quem sao as sequencias
convergentes, quais funcoes s ao ou n ao contnuas e, conforme ja mencionado,
quais sao as vizinhancas de um ponto.
28
3.4. Conjuntos Abertos
Denicao 3.10. Seja X um espaco metrico. Dizemos que um conjunto
A X e aberto quando satisfaz
x A A 1 (x).
Denicao 3.11. Dado um espaco metrico (X, d), a topologia de X
induzida por d, denotada por
d
ou, mais comumente, por um abuso
de notacao, denotada por
X
e a famlia de todos os abertos de X. Isto
e,

X
= A X [ A e aberto.
Proposicao 3.12. Seja X um espaco metrico e x X. Entao a famlia
/
x
= 1 (x)
X
e uma base de vizinhancas de x.
Demonstracao. Basta notar que, chamando de B a colec ao de todas as bolas
centradas em x,
B /
x
1 (x).
Como B e uma base de vizinhancas de x, qualquer famlia entre B e 1 (x)
tambem e uma base de vizinhancas de x. (porque?)
Proposicao 3.13. Seja X um espaco metrico. Entao,
X
tem as seguintes
propriedades:
1. , X
X
.
2. Se A, B
X
, entao A B
X
.
3. Se A


X
para uma famlia qualquer de ndices , entao


X
.
Demonstracao. Para o item (1), e f acil ver que X e vizinhan ca de qualquer
ponto x X. Para o conjunto vazio . . . note que todos os elementos
do conjunto vazio satisfazem a propriedade que voce quiser. Neste caso, a
propriedade de terem como vizinhanca. Em suma:
x 1 (x).
E portanto,
X
.
O item (2) e consequencia do item (2) da Proposic ao 3.4. Ou seja, se
x A B, como A e B s ao vizinhancas de x, ent ao A B tambem e.
Assim, A B e vizinhanca de todos os seus pontos.
29
3.5. Continuinuidade em Todo Ponto
Do mesmo modo, o item (3) e consequencia do item (1) da Proposic ao
3.4, pois
x
_

, x A

1 (x).
Ou seja,

e vizinhanca de todos os seus pontos e e portanto aberto.


Proposicao 3.14. Seja X um espaco metrico e A X. Entao, sao
equivalentes:
1. O conjunto A e aberto.
2. O conjunto A pode ser escrito como uma uniao de bolas.
Demonstracao. Se A e aberto, entao para cada ponto x A existe uma
bola B
x
centrada em x e contida em A. Desta forma, e evidente que
A =
_
xA
B
x
.
Ou seja, A e uma uniao de bolas.
Por outro lado, sabemos que as bolas s ao conjunto abertos. Assim,
qualquer conjunto que seja uma uni ao de bolas e, pelo item (3) da
Proposic ao 3.13, um conjunto aberto.
Sequencias e Convergencia com Abertos
Dado um espa co metrico X. Podemos caracterizar o fen omeno de
convergencia em termos de sua topologia
X
? De fato, para dizer se
x
n
X converge ou nao para um certo x X, de acordo com a Proposic ao
3.8, precisamos apenas conhecer uma base de vizinhancas de x qualquer.
Sabemos que os abertos que contem x formam uma base de vizinhancas de
x. Sendo assim, colclumos que x
n
converge para x se, e somente se, para
todo aberto A que contenha o ponto x existir N N tal que
n N x
n
A.
3.5 Continuinuidade em Todo Ponto
Uma aplicacao f : X Y entre espa cos metricos X e Y e contnua
quando e contnua em todo ponto do seu domnio. Se considerarmos
30
3.5. Continuinuidade em Todo Ponto
f
1
: T (Y ) T (X), a funcao f ser a contnua em x X quando f
1
levar
vizinhancas de f(x) em vizinhancas de x. Sendo assim, para f contnua, se
A Y for um conjunto aberto (vizinhanca de todos os seus pontos), entao
f
1
(A) ser a tambem vizinhanca de todos os seus pontos. Ou seja, se f e
contnua, ent ao f
1
(
Y
)
X
. Vamos formalizar isso.
Proposicao 3.15. Sejam X e Y espacos metricos, e f : X Y uma
funcao qualquer. As seguintes armacoes sao equivalentes:
1. A funcao f e contnua em todo ponto de X.
2. A imagem inversa de um aberto e tambem um conjunto aberto. Ou
seja, f
1
(
Y
)
X
.
Demonstracao. (2) (1)
S eja A
Y
. Ent ao, para todo x f
1
(A) temos que A e vizinhanca
de f(x), e pela Proposic ao 3.6, f
1
(A) e vizinhan ca de x. Ou seja, f
1
(A)
e aberto.
(1) (2)
S abemos pela Proposicao 3.12 que para todo x X,
/
f(x)
= 1 (f(x))
Y
e uma base de vizinhancas de f(x). Pelo item (2), temos que f
1
(/
f(x)
)
e aberto e obviamente contem x. Ou seja, f
1
(/
f(x)
) 1 (x). Pela
Proposic ao 3.9, segue que f e contnua em x.
O exemplo seguinte mostra que nem toda bijecao contnua tem inversa
contnua.
Exemplo 3.16. Considere (R, d
||
) e (R, d
d
) os espacos metricos dados pelos
n umeros reais com a metrica euclidiana (Exemplo 1.8) e a metrica discreta
(Exemplo 1.9), respectivamente. Ent ao, a aplicac ao identidade
id : (R, d
d
) (R, d
||
)
e contnua, mas sua inversa nao e. De fato, na topologia dada pela metrica
discreta, todos os conjuntos sao abertos. Ou seja,
d
d
= T (R).
31
3.5. Continuinuidade em Todo Ponto
E o que signica entao dizer que f : X Y e bijetiva, contnua e
sua inversa e contnua? O fato de ser uma bije cao implica que podemos
identicar os pontos de X com os pontos de Y . O fato de ser contnua
com inversa contnua signica que com essa identica cao as estruturas
topol ogicas
X
e
Y
tambem sao identicadas. Esse tipo de funcao f e
chamada de homomorsmo. De modo geral, quando f : (X, d
X
) (Y, d
Y
)
e uma funcao bijetiva qualquer, contnua ou n ao, com inversa tambem
podendo ser ou nao contnua, podemos transportar a metrica d
Y
para X
como feito no Exemplo 1.14:
d

(a, b) = d
Y
(f(a), f(b)).
Desta forma, reduzimos o problema ao caso da aplicac ao identidade
id : (X, d
X
) (X, d

),
pois a aplicac ao f ser a contnua (ou sua inversa ser a contnua) se, e somente
se, a identidade o for. Em outras palavras, dizer que f e contnua e o mesmo
que dizer que
d

d
X
. Dizer que a inversa de f e contnua, e o mesmo que
dizer que
d
X

d
. Assim, f ser a um homeomorsmo quando
d
=
d
X
.
Denicao 3.17. Se X e Y sao espacos metricos, entao uma funcao
f : X Y e chamada de homomorsmo quando e bijetiva, contnua com
inversa tambem contnua.
32
Parte II
Topologia Geral
33
CAP

ITULO 4
Motivacao e Denic oes
4.1 Motivacao
Esta sec ao n ao e formal. Nosso prop osito aqui e apenas dar motivac ao para
as denic oes e propriedades que ser ao estudadas nas sec oes seguintes. Se o
leitor n ao se sentir confortavel com as divagacoes desta sec ao, pode omit-la
sem problemas.
Nossa motiva cao e obviamente o estudo que acabamos de fazer de
espacos metricos. Devidamente motivados pelo estudo feito na primeira
parte do livro, vamos abstrair o que seria a essencia dos fenomenos de
convergencia e continuidade. Uma alternativa seria associar ao espaco
X em quest ao uma estrutura que identicasse, para cada um dos pontos
x X, quais s ao e quais n ao s ao as sequencias que convergem para x. Uma
deciencia desta abordagem est a na dependencia para com o conjunto dos
n umeros naturais, que indexam as tais sequencias. Futuramente, veremos
que uma soluc ao alternativa e o uso de redes em substitui cao ao de
sequencia. Esta abordagem sera feita no Captulo ??.
Outra maneira seria associar a X uma estrutura que indicasse, quais
s ao os conjuntos que formam as vizinhancas de cada ponto de X. As
vizinhancas de x X indicam do que e que x est a pr oximo e do que e
que est a afastado. O ponto x estaria pr oximo de um conjunto B X
quando para todo V 1 (x), tivermos B V ,= . A palavra pr oximo
est a entre aspas porque esse n ao e o termo matem atico utilizado. O correto
seria dizer que x est a no fecho de B (denic ao 6.1), ou que e um ponto de
aderencia de B.
As famlias 1 (x) deveriam satisfazer as propriedades listadas na
Proposic ao 3.4. O item (1) n ao gera grandes polemicas. Para que um
34
4.1. Motivac ao
conjunto esteja pr oximo do ponto, tem que interceptar todas as suas
vizinhancas, portanto, acrescentar conjuntos maiores n ao modicaria a
converencia. Talvez o nome vizinhanca nao seja realmente uma boa
escolha, j a que sugere que sejam conjuntos pequenos. Nao faz diferenca no
entanto, j a que nossos argumentos sao do tipo
intercepta todas as vizinhancas, por menores que sejam.
Esse tipo de argumento poderia ser restrito `as vizinhancas pequenas, mas
n ao faria diferenca, e seria complicado dizer o que e um conjunto grande
demais. Veja a denic ao de base de vizinhancas de um ponto (3.7) e a
Proposic ao 3.8. Assim, o item (1) se presta mesmo a maximizar a famlia
1 (x) de modo que o fen omeno de convergencia n ao seja alterado.
Do ponto de vista do fen omeno de convergencia, o item (2) tambem
serve ao mesmo prop osito de maximizar a famlia 1 (x). Isso porque, se
para U, V 1 (x), existem N
U
, N
V
N tais que
n N
U
x
n
U
n N
V
x
n
V
ent ao, fazendo N
UV
= maxN
U
, N
V
,
n N
UV
x
n
U V.
Assim, se U e V s ao vizinhancas de x, levar ou nao em considera cao o
conjunto U V como sendo vizinhanca de x n ao afetaria o fen omeno de
convergencia. O que nao fosse convergente continuaria n ao convergente, e
o que fosse convergente permaneceria convergente. J a do ponto de vista da
ideia de proximidade, a condic ao do item (2) garante que se dois conjuntos
A e B est ao longe de x, ent ao a uniao AB tambem est a longe de x. Veja
a gura 4.1. Em espacos metricos, todos os pontos estao distantes uns dos
outros. Assim, nenhum conjunto nito est a pr oximo de x, a menos que o
contenha. Por outro lado, uma sequencia innita de pontos x
n
distintos de
x pode convergir para x. No caso de espacos topol ogicos gerais, e possvel
que uma famlia innita de conjuntos A
n
afastados de x seja tal que

A
n
esteja pr oximo de x, mas as uni oes nitas estar ao sempre afastados de
x.
O item mais difcil de aceitar da Proposic ao 3.4, e o item (3). Como
j a mencionamos anteriormente, na observac ao 3.5, este item serve para
garantir que se x
n
m
x
n
e para alguma vizinhanca V 1 (x) for verdade
que x
n
m
, V , entao n ao e possvel acontecer que x
n
x.

E equivalente a
dizer que os abertos que contem x X formam uma base de vizinhancas
35
4.1. Motivac ao
Figura 4.1: O conjunto A est a afastado de x por n ao interceptar a
vizinhanca V . Da mesma forma, B tambem est a afastadode x. Entao, a
uni ao A B tambem esta afastada de x, pois U V e vizinhanca de x.
de X.

E o que garante que se conhecermos os abertos, conheceremos toda
a topologia.
Uma outra interpreta cao para o item (3) pode ser vista atraves da gura
4.2. Suponha que A X e um conjunto afastado de x, e L X e tal
que A est a proximo de todos os pontos de L. Ent ao, L tambem e um
conjunto afastado de x. De fato, se toda vizinhanca V de x interseptar
L, a condicao do item (3) garante a existencia de uma vizinhanca aberta
de x U contida em V . Esta vizinhanca U intersepta L, mas por ser um
conjunto aberto, U e tambem vizinhanca dos pontos y U L. Como estes
pontos est ao proximos de A, temos que U e, a fortiori, V interseptam A.
Ou seja, toda vizinhanca de x intersepta A e portanto, A est a pr oximo de
x. Mais adiante, veremos que a condic ao imposta ao conjunto L e o mesmo
que dizer que L est a no fecho (denic ao 6.1) de A. E a condi cao do item
(3) equivale a dizer que a operacao de fecho e idempotente. (veja o item (4)
da Proposicao 6.4)
J a que nossa tentativa de denir topologia de um modo abstrato
utilizando o conceito de vizinhanca passa necessariamente pela ideia de
conjunto aberto, e os conjuntos abertos por si so determinam o que vem
a ser uma vizinhanca de x (e um conjunto que contem um aberto que
contem x Proposicao 3.12), a opc ao que vamos adotar, ao menos por
enquanto, e a de denir a topologia especicando quais seriam os conjuntos
abertos. Para um conjunto X, escolhemos
X
T (X) de modo que
X
tenha as propriedades listadas na Proposi cao 3.13. Essas propriedades sao
semelhantes ` as correspondentes para vizinhancas. Dizer que X
X
e o
36
4.2. Denic ao
Figura 4.2: Todos os pontos de L est ao pr oximos de A, que por sua vez,
est a afastado de x. Ent ao L tambem est a afastado de x, pois se existisse
y L U, entao U seria vizinhanca de y e, por hip otese, interseptaria A.
mesmo que dizer que todo ponto tem ao menos uma vizinhanca (aberta).
4.2 Denicao
Agora que, na medida do possvel, devidamente motivados, vamos denir o
que vem a ser uma topologia em um conjunto X qualquer.
Denicao 4.1 (Espaco Topol ogico). Seja X um conjunto qualquer.
Dizemos que uma famlia
X
T (X) dene uma topologia no espaco
X, ou que (X,
X
) e um espaco topologico, quando
X
satisfaz:
1. , X
X
.
2. A famlia
X
e fechada por intersecao nita: A, B
X
AB
X
.
3. A famlia
X
e fechada por uniao arbitraria: A


X
( )


X
.
Os subconjuntos A X tais que A
X
sao chamados de abertos do
espaco topologico (X,
X
). Por um abuso de notacao, quando conveniente,
dizemos que X e um espaco topologico.
A topologia de um espaco metrico, denida em 3.11 e de fato, pela
Proposic ao 3.13, uma topologia no sentido da denic ao 4.1. Vejamos outros
exemplos de topologia.
37
4.3. Vizinhancas e Base de Vizinhancas de um Ponto
Exemplos
Exemplo 4.2 (Topologia Discreta). Dado um conjunto qualquer X,
(X, T (X)) e um espaco topologico. Esta topologia e induzida, por exemplo,
pela metrica discreta mencionada no Exemplo 1.9.
Exemplo 4.3 (Topologia Trivial (ca otica)). Dado um conjunto qualquer
X, (X, , X) e um espa co topologico. Se o conjunto X tiver mais do que
um elemento, essa topologia nunca e dada (induzida) por uma metrica, pois
n ao satisfaz a Proposi cao 1.6.
Exemplo 4.4 (Topologia da Continuidade Inferior). Considere os n umeros
reais R e a seguinte famlia de subconjuntos de R

X
= (, ) [ R.
Neste caso, (R,
X
) e um espa co topologico. Assim como no Exemplo 4.3,
essa topologia tambem nao e induzida por uma metrica.
Do mesmo modo, existe a topologia da Continuidade Superior, dada por

X
= (, ) [ R.
Exemplo 4.5 (Topologia Inicial). Seja X um conjunto e (Y,
Y
) um
espaco topologico. Considere uma aplicac ao f : X Y qualquer. Entao
(X, f
1
(
Y
)) e um espaco topol ogico.
4.3 Vizinhancas e Base de Vizinhancas de
um Ponto
Assim como zemos para espacos metricos, podemos denir para um espa co
topol ogico (X,
X
), o que e para cada ponto x X, a famlia de todas as
suas vizinhancas.
Denicao 4.6. Seja (X,
X
) um espaco topologico. Dado x X, uma
vizinhanca aberta de x e um aberto A
X
que contem o ponto x. Uma
vizinhanca de x e qualquer conjunto que contenha uma vizinhanca aberta
de x. Denotamos por 1 (x) a famlia de todas as vizinhancas de x.
Em um espaco topologico qualquer, as vizinhancas de um ponto possuem
as mesmas propriedades que as descritas na Proposic ao 3.4 para o caso de
espacos metricos.
38
4.3. Vizinhancas e Base de Vizinhancas de um Ponto
Proposicao 4.7. Seja X um espaco topologico, e x X um ponto de
X. Entao valem as seguintes armacoes sobre a famlia 1 (x) de todas as
vizinhancas de x:
1. Se A 1 (x) e A B, entao B 1 (x).
2. A intersecao de duas vizinhancas de x tambem e uma vizinhanca de
x. Ou seja, se A, B 1 (x), entao A B 1 (x).
3. Se A 1 (x) entao existe B A tal que x B e B e vizinhanca de
todos os seus pontos.
Demonstracao. Todos os itens s ao evidentes da deni cao de vizinhanca. O
item (2) e consequencia do fato de
X
ser fechado por interse cao nita.
Assim como no caso de espa cos metricos, podemos caracterizar os
conjuntos abertos como sendo aqueles que sao vizinhan cas de todos os seus
pontos.
Proposicao 4.8. Dado um espaco topologico X, um conjunto A X e
aberto se, e somente se, for vizinhanca de todos os seus pontos.
Demonstracao. Pela denicao de vizinhanca, um conjunto aberto e
evidentemente vizinhanca de todos os seus pontos. Suponha entao que
A X e vizinhan ca de todos os seus pontos. Vamos mostrar que A e
aberto.
Por hip otese, para cada a A existe um aberto U
a
tal que a U
a
A.
Neste caso,
A =
_
aA
U
a
.
Como A e uma uniao de abertos U
a
, temos que A tambem e aberto.
Denicao 4.9. Seja (X,
X
) um espaco topologico e x X um ponto
qualquer de x. Uma famlia formada por vizinhancas de x, B 1 (x),
e chamada de base de vizinhancas de x quando para toda vizinhanca
V 1 (x) existir B B tal que B V . Se todos os conjuntos de B
forem abertos, ou seja, se B
X
, entao diremos que B e uma base de
vizinhancas abertas de x.
Agora que, mesmo sem uma metrica, denimos o que vem a ser uma
vizinhanca de um ponto, podemos denir convergencia de sequencias. As
sequencias n ao ser ao t ao importantes para a teoria geral. No entanto,
motivarao a denicao de redes; um conceito que ser a trabalhado no Captulo
??.
39
4.4. Continuidade em um Ponto
Denicao 4.10. Seja (X,
X
) um espaco topologico e x
n
X uma
sequencia de elementos de X. Dizemos que x
n
converge para x X na
topologia
X
, quando para toda vizinhanca V 1 (x) existir N = N(V ) N
tal que
n N x
n
V.
De maneira semelhante ao caso dos espacos metricos, denotamos tal fato
por x
n

X
x, ou simplesmente x
n
x.
Novamente, como no caso metrico, para saber se uma sequencia x
n
x
converge para x X, basta vericar a condic ao da deni cao 4.10 para uma
base de vizinhan cas de x. Em particular, assim como no caso dos espacos
metricos, dados x
n
, x X, teremos que x
n

X
x se, e somente se,
para toda vizinhanca aberta A de x existe N = N(A) N tal
que
n N x
n
A.
Isso porque a famlia das vizinhan cas abertas de x formam uma base para
1 (x).
4.4 Continuidade em um Ponto
A essas alturas, o leitor j a sabe o que ser a tratado neste captulo. Assim
como zemos para os espacos metricos no Captulo 3.2, vamos falar sobre
a continuidade de aplicac oes entre espacos topologicos. O leitor deve
comparar a deni cao 4.11 e a Proposi cao 3.6, que caracteriza continuidade
em um ponto em espacos metricos.
Denicao 4.11. Sejam X e Y espacos topologicos e f : X Y uma
aplicacao qualquer entre X e Y . Para x X, dizemos que f e contnua em
x quando
f
1
(1 (f(x))) 1 (x).
Ou seja, quando a imagem inversa de toda vizinhanca de f(x) for uma
vizinhanca de x.
Em uma formulac ao mais semelhante aos argumentos do estilo , a
denic ao de continuidade ca assim
Para todo V 1 (f(x)) existe U 1 (x) tal que
y U f(y) V.
40
4.5. Continuidade
Como no caso de espacos metricos, basta vericar a condi cao da
denic ao para uma base de vizinhan cas de x.
Proposicao 4.12. Sejam X e Y espacos topologicos e f : X Y uma
aplicacao qualquer. Dados x X e B uma base de vizinhancas de f(x).
Entao, f e contnua em x se, e somente se,
f
1
(B) 1 (x).
Demonstracao. Se V 1 (f(x)), ent ao existe B B tal que B V .
Portanto, f
1
(V ) f
1
(B) 1 (x). Assim, f
1
(V ) 1 (x). Como V e
um elemento arbitrario de 1 (f(x)), temos que
f
1
(1 (f(x))) 1 (x).
4.5 Continuidade
Continuidade e um conceito central em topologia. Uma aplicacao contnua
transporta aspectos topol ogicos entre os espacos em quest ao. Dada uma
aplicac ao f : X Y entre os conjuntos X e Y , podemos ver f
1
como
uma aplicac ao
f
1
: T (Y ) T (X).
Se (X,
X
) e (Y,
Y
) s ao espacos topol ogicos e f e contnua em x X,
podemos olhar para f
1
restrita a 1 (f(x)) como sendo uma aplicac ao
f
1
: 1 (f(x)) 1 (x).
A proposic ao a seguir demonstra que quando f e contnua em todo ponto
de X, entao a restric ao de f
1
a
Y
pode ser vista como uma aplicac ao
f
1
:
Y

X
.
Proposicao 4.13. Sejam (X,
X
) e (Y,
Y
) espacos topologicos e f : X Y
uma aplicacao de X em Y . Neste caso, sao equivalentes:
1. A funcao f e contnua em todo ponto x X.
2. Para todo aberto A
Y
, f
1
(A)
X
.
41
4.5. Continuidade
Demonstracao. Se f e contnua em todo ponto, ent ao, dado A
Y
, temos
que para todo ponto x f
1
(A), A 1 (f(x)), pois A e aberto e f(x) A.
Pela continuidade de f no ponto x, temos que f
1
(A) 1 (x). Acabamos
de mostrar que f
1
(A) e vizinhanca de todos os seus pontos. Assim, pela
Proposic ao 4.8, f
1
(A) e um aberto de X.
Denicao 4.14 (Funcao Contnua). Dizemos que uma funcao f : X Y
entre os espacos topologicos (X,
X
) e (Y,
Y
) e contnua quando e contnua
em todo ponto x X. Ou, equivalentemente, quando f
1
(
Y
)
X
.
Homeomorsmos
Para dois conjuntos X e Y , uma bijec ao f : X Y identica cada ponto
de X a um unico ponto de Y e vice-versa. Se X e Y forem espacos
topol ogicos, f for contnua e sua inversa f
1
: Y X tambem for contnua,
ent ao tambem ser ao identicados cada aberto de X com um unico aberto
de Y e vice-versa. Tudo o que puder ser dito sobre a topologia de X podera
ser armado sobre a topologia de Y atraves da identicacao dada por f.
Denicao 4.15 (Homeomorsmo). Sejam X e Y espacos topologicos.
Dizemos que uma aplicacao
f : X Y
e um homeomorsmo de X em Y quando f for bijetiva, contnua e sua
inversa f
1
tambem for contnua.
Quando existe um homeomorsmo entre dois espacos topologicos,
dizemos que estes espacos sao homeomorfos.
Aplicacao Aberta
Com uma aplicac ao f : X Y entre espacos topol ogicos, podemos tentar
relacionar as topologias de (X,
X
) e (Y,
Y
). Se f for um homeomorsmo,
sabemos que X e Y possuem exatamente a mesma topologia quando os
pontos de X s ao identicados com os de Y atraves de f. Se f for uma
bijec ao contnua, podemos identicar cada elemento de X com um unico
elemento de Y . Com esta identicacao, teremos que
Y

X
. Uma outra
propriedade que f pode ter, que ajudaria a relacionar os espa cos X e Y e a
de levar abertos de X em abertos de Y . Neste caso, dizemos que f e uma
aplicacao aberta.
42
4.5. Continuidade
Denicao 4.16. Seja f : (X,
X
) (Y,
Y
) uma aplicacao entre os espacos
topologicos X e Y . Dizemos que f e uma aplicac ao aberta quando f(
X
)

Y
.
Um homeomorsmo e uma bijec ao contnua e aberta. Nossa motiva cao
para a denic ao de aplicacao aberta e simplesmente imaginar, ignorando
o fato de que f pode nem mesmo ser bijetiva, o que seria necess ario
para que f
1
seja contnua. Mais adiante, veremos maneiras de se
transportar topologias de um espaco topol ogico a um conjunto qualquer
atraves de aplicacoes entre eles. Quando temos uma bijec ao entre um espaco
topol ogico e um conjunto qualquer, ca f acil transportar a topologia de um
para o outro. Adiantando um pouco as coisas, imagine que f : X Y
e uma sobrejecao aberta e contnua do espaco topologico X no espaco
topol ogico Y . Podemos denir o conjunto

X =
_
f
1
(y)

y Y
_
,
que nada mais e do que agrupar todos os elementos de X que tem a
mesma imagem. A projec ao natural de X em

X e dada por
: X

X
x f
1
(f(x))
.
A proje cao leva um elemento x X na classe formada por todos os
elementos de X que tem, por f, a mesma imagem que x. A aplicac ao f
pode ser fatorada, de modo que o seguinte diagrama e comutativo (ou seja,
f =

f ):
X

f
//
Y

f
??
.
Basta denir

f(f
1
(y)) = y. Agora,

f e uma bije cao. Faria sentido esperar
que a topologia de X pudesse ser transportada para

X, de modo que

f
se tornasse um homeomorsmo entre Y e

X. Trataremos desse tipo de
topologia no Captulo 7.
Assim como podemos falar em continuidade em um ponto, podemos
tambem denir o que seria dizer que f : X Y e aberta em x X.
Assim como no caso de continuidade, a denic ao ca melhor se usarmos
vizinhancas de x ao inves de abertos.
Denicao 4.17. Seja f : (X,
X
) (Y,
Y
) uma aplicacao entre os espacos
topologicos X e Y . Dizemos que f e uma aplicac ao aberta emx X quando
f(1 (x)) 1 (f(x)).
43
CAP

ITULO 5
Construindo Topologias
5.1 Comparando Topologias
Em um mesmo conjunto X, podemos ter denidas duas topologias
1
e
2
. Pode acontecer que
1

2
, por exemplo. Neste caso, sempre
que f : (X,
X
) (Y,
Y
) for contnua, teremos que f : (X,
2
) (Y,
Y
)
tambem sera contnua. Tambem podemos concluir que
x
n

2
x x
n

1
x.
Pode ser que nao tenhamos nem
1

2
, nem
2

1
. Duas topologias
nem sempre s ao comparaveis.
Denicao 5.1. Se (X,
X
) e (X,
X
) sao duas topologias em um mesmo
conjunto X e
1

2
, entao dizemos que
2
e mais forte ou mais na que

1
. Tambem dizemos que
1
e mais fraca que
2
.
Podemos tambem dizer que
1
e menor que
2
, ou que
2
e maior que

1
. Veja a observacao 5.3.
A topologia determina quais sao as sequencias que convergem e quais
n ao convergem. Se imaginarmos a topologia como uma peneira que deixa
passar apenas as sequencias convergentes, quanto mais na for a topologia,
menos sequencias passar ao como convergentes. Veja a gura 5.1.
Proposicao 5.2. Seja X um conjunto qualquer, e

( ) uma famlia
de topologias em X. Entao
X
=

e uma topologia em X.
44
5.1. Comparando Topologias
Figura 5.1: Quanto mais na e a topologia, menos sequencias passam
como convergentes.
Demonstracao. Basta vericar que
X
satisfaz os axiomas listados na
denic ao 4.1. Por exemplo,
A, B
X
, A B

A B

=
X
.
Observacao 5.3. A relac ao mais forte que dene uma ordem parcial na
famlia
T (X) =
X
T (X) [
X
e topologia
de todas as topologias de um conjunto X. Esta ordem e simplesmente a
restric ao da relacao de inclus ao denida em T (X) `a famlia T (X).
Existe um elemento maximo dentre todas as topologias de X.

E o
conjunto das partes de X, T (X), que e a mais forte topologia que pode ser
denida em X. Por outro lado, , X e a topologia mais fraca em T (X).
A Proposicao 5.2 mostra que dada uma famlia de topolgias

( ),
existe a maior topologia que e menor que todas as

. Essa topologia e o
nmo das

. Escrevemos
=

[ .
ou
=

.
45
5.1. Comparando Topologias
Por outro lado, a uni ao de topologias nao e necessariamente uma topologia.
No entanto, se considerarmos a famlia
T =
_

X
T (X)


X
_
de todas as topologias que s ao maiores que todas as

, sabemos que a
famlia T n ao e vazia, pois T (X) T. Seja entao o nmo de T:
=

T.
A topologia e a menor topologia que e maior que todas as

. Essa
topologia e o supremo de

e e denotada por
=

.
Comparacao de Topologias e Continuidade
Quando X e um espa co topol ogico dotado de duas topologias
1
e
2
, o
que podemos dizer da rela cao entre essas topologias se soubermos que a
aplicac ao identidade
id : (X,
1
) (X,
X
)
x x
e contnua? A resposta e simples:
id e contnua
2

1
.
Vamos generalizar isso para uma aplicac ao qualquer
f : (X,
1
) (X,
X
).
Proposicao 5.4. Seja X um conjunto qualquer e (Y,
Y
) um espaco
topologico. Dada uma aplicacao qualquer f : X Y ,
f
= f
1
(
Y
) dene
uma topologia em X.
Demonstracao. Basta notar que , X
f
, se A, B
f
, ent ao A =
f
1
(A

) e B = f
1
(B

) com A

, B


Y
. Como
Y
e uma topologia,
A


Y
. Assim, A B = f
1
(A

) f
1
(
Y
) =
f
. Podemos
fazer analogamente para a uni ao arbitraria de elementos de
f
. Basta
observar que f
1
: T (Y ) T (X) comuta com as operac oes de uni ao e
intersecao.
Pela Proposi cao 5.4, dizer que f : (X,
X
) (Y,
Y
) e contnua e o
mesmo que dizer que a topologia
f
e mais fraca que
X
. De fato, e f acil
vericar que
f
e a menor topologia que faz com que f : X (Y,
Y
) seja
contnua.
46
5.2. Sub-Base
5.2 Sub-Base
A construcao feita na observa cao 5.3 e muito comum.

E essa construc ao
que em algebra, por exemplo, nos permite denir para um grupo G e um
subconjunto qualquer S G, o que seria o grupo gerado por S. Esse
seria o menor subgrupo de G que contem S. Do mesmo modo, para um
espaco vetorial V e um subconjunto qualquer S V , podemos denir o
menor subespaco de V que contenha S. Este e o subespaco vetorial gerado
por S. Existem exemplos tambem em teoria da medida. Assim, como na
Proposic ao 5.2, a intersec ao de uma famlia de subgrupos e um subgrupo, a
intersecao de uma famlia de subespacos vetoriais e um subespaco vetorial.
Denicao 5.5. Seja X um conjunto, e ( T (X) uma famlia qualquer
de subconjuntos de X. Entao a topologia
(() =

C
X

X
e a topologia gerada por (. Essa e a menor topologia de X que contem a
famlia (.
Denicao 5.6. Seja X um conjunto qualquer, e ( T (X) uma famlia
qualquer de subconjuntos de X. Mesmo sem denir o que venha a ser uma
base para a topologia (denicao 5.12), vamos denir o conjunto
B (() =
_
n

j=1
A
j

n N, A
j
(
_
,
e chama-lo de base induzida pela famlia (.
Por um abuso de notac ao, quando ( = A

[ , por vezes
escrevemos (A

, ) no lugar de ((). E quando (

, ( ) e uma
colec ao de famlias de subconjuntos de X, escrevemos ((

, ) ao inves
de
_

_
. As seguintes propriedades da topologia gerada por uma
famlia sao consequencia direta da denicao. O leitor deve car atento para
a diferenca entre
((

, )
e
((

), .
Proposicao 5.7. Sejam ( e T famlias de subconjuntos de um conjunto
X, e
X
uma topologia em X. Entao, valem as seguintes propriedades:
47
5.2. Sub-Base
1. Todos os conjuntos em ( sao abertos na topologia gerada: ( (().
2. Se ( T, entao (() (T).
3. Temos que (
X
se, e somente se, (()
X
.
4. Se
X
e uma topologia, entao
X
= (
X
). Em particular, vale que
( (()) = (().
5. Se (
X
((), entao
X
= (().
6. Se ( T ((), entao (() = (T).
7. Se c = (() (T), entao (c) = (( T).
8. Seja (

, ( ) uma colecao de famlias de subconjuntos de X.


Entao,
( ((

), ) = ((

, ).
Demonstracao. Vamos mostrar apenas o item (8), que e mais difcil. O
restante ca como exerccio. :-)

E evidente, pelo item (2), que

_
_

_

_
_

((

)
_
.
No entanto, novamente pelo item (2), sabemos que para todo ,
((

)
_
_

_
.
E portanto,
_

((

)
_
_

_
Agora, pelo item (5),

_
_

_

_
_

_
48
5.2. Sub-Base
Forma da Topologia Gerada
Qual e a forma de um aberto de (() quando expresso em termos de (?
Obviamente que a topologia gerada por ( deve conter todas as intersec oes
nitas e todas as uni oes de elementos de (. Mas isso nem sempre e suciente.
A Proposic ao 5.8 nos diz como podemos escrever os abertos da topologia
gerada em termos de conjuntos da sub-base.
Proposicao 5.8. Seja ( uma sub-base para um espaco topologico (X,
X
).
Ou seja,
X
= ((). Vamos assumir que , X (. Considere a base
induzida B = B (() de todas as intersecoes nitas de conjuntos de (. Entao,
todos os conjuntos da topologia sao unioes de conjuntos de B:

X
=
_
_
AB

B
_
.
Demonstracao. A topologia (B) necessariamente contem B. Assim,
( B (B).
Considere ent ao, a famlia
X

dada pelas uni oes de elementos de B:

=
_
_
AB

B
_
.
Novamente,
( B
X

(B).
Para concluir que
X
=
X

, basta mostrar que


X

e uma topologia. Assim,


como
X
e a menor que contem (, poderemos concluir que
X
=
X

.

E
imediato que
, X
X

.
Tambem e evidente pela propria denic ao de
X

, que
X

e fechado por
uni oes arbitr arias. Basta entao vericar que se A, B
X

, entao A B

. Onde,
A =
_
UB
A
U (B
A
B)
B =
_
V B
B
V (B
B
B).
Mas, neste caso,
A B =
_
WB
C
W,
49
5.2. Sub-Base
onde B
C
= U V [ U B
A
, V B
B
. Agora, basta notar que B
C
B,
pois B e fechada por intersec ao nita.
Observacao 5.9. Nas hip oteses da Proposi cao 5.8, assumimos que , X
(. Essa hip otese n ao seria necess aria se trabalh assemos com a seguinte
convencao:
_
A
A =

A
A = X.
Esta convenc ao se torna mais natural se, considerando a relacao de ordem
em T (X), interpretarmos e como sendo operadores de supremo e
nmo, assim como zemos na observac ao 5.3. Desta forma, dado T
T (X),
_
AF
A
e o menor subconjunto de X que e maior que todos os conjuntos em T.
Se T e vazio, ent ao o menor subconjunto seria justamente . Da mesma
forma,

AF
A
e o maior subconjunto de X que e menor que todos os conjuntos em T. Se
T = , este conjunto e simplesmente o maior subconjunto de X, que e o
pr oprio X.
Sub-Base e Continuidade
Se temos uma aplicacao f : (X,
X
) (Y,
Y
), e uma sub-base ( de
Y
,
como podemos dizer, olhando para f
1
((), se f e ou nao contnua. Um
primeiro chute seria talvez dizer que basta que f
1
(()
X
. Obviamente
que esta e uma condi cao necess aria. A proposic ao seguinte e o elo que falta
para mostrar que a condi cao f
1
(()
X
e equivalente `a continuidade de
f.
Proposicao 5.10. Sejam X e Y dois conjuntos e ( T (Y ) uma famlia
de subconjuntos de Y . Entao,

_
f
1
(()
_
= f
1
( (()) .
50
5.3. Bases
Demonstracao. Vamos utilizar a seguinte notac ao:

1
=
_
f
1
(()
_

2
= f
1
( (()) .
Por denic ao,
1
e uma topologia.

E f acil ver (Exemplo 4.5) que
2
tambem
e uma topologia. Como f
1
(()
2
, segue que

1

2,
pois
1
e a menor topologia com tal propriedade. Resta ent ao mostrar que
dado A
2
, teremos A
1
.
Pela Proposic ao 5.8, dado A
2
, basta mostrar que A pode ser escrito
como uma uni ao arbitr aria de interse coes nitas de elementos de f
1
(().
De fato, A = f
1
(A

), onde A

(() e uma uni ao arbitr aria de intersec oes


nitas de elementos de (. Como f
1
comuta com as operacoes de uni ao e
intersecao, temos a express ao desejada para A, concluindo a demonstrac ao.
Conforme prometido, vamos utilizar a Proposic ao 5.10 para mostrar
que para uma aplica cao f : (X,
X
) (Y, (()) ser contnua, basta que
f
1
(()
X
.
Proposicao 5.11. Seja f : (X,
X
) (Y,
Y
), onde
Y
= ((). Entao, f
e contnua se, e somente se, f
1
(()
X
.
Demonstracao.

E evidente que a condic ao e necess aria. Vamos mostrar que
e suciente. Pela Proposic ao 5.10, temos que
f
1
(
Y
) =
_
f
1
(()
_
.
Mas a hip otese f
1
(()
X
implica que (f
1
(())
X
. Ou seja,
f
1
(
Y
) =
_
f
1
(()
_

X
.
5.3 Bases
Dada uma famlia ( de subconjuntos de um conjunto X, a base induzida
B = B (() tinha uma propriedade interessante:
Todo aberto de (B) e uma uniao de elementos de B.
51
5.3. Bases
Cada famlia com essa propriedade e uma de base da topologia. Quando
construmos a topologia dos espa cos metricos, as bolas formavam uma base
para a topologia. (Proposic ao 3.14)
Denicao 5.12. Seja (X,
X
) um espaco topologico. Uma famlia B
X
e uma base para a topologia
X
quando todo conjunto A
X
puder ser
escrito como uma uniao de elementos de B.
Como de costume, vamos ver outras maneiras de caracterizar o que vem
a ser uma base para uma topologia
X
. Note que uma das condic oes da
denic ao 5.12 e que B
X
.
Proposicao 5.13. Seja (X,
X
) um espaco topologico e B
X
uma famlia
de abertos de X. Entao as seguintes armacoes sao equivalentes:
1. A famlia
=
_
_
B B

B
_
,
onde seguimos a convencao de que

A A = , e uma topologia de
X. E alem disso,
X
= (B).
2. A famlia B e uma base para
X
.
3. Para todo x X e toda vizinhanca aberta de x, A, existe B B tal
que x B A.
4. Para todo x X, o conjunto
B
x
= A B [ x A
e uma base de vizinhancas de x. (veja a denicao 4.9)
5. Para todo A, B B e x AB existe C B tal que x C AB.
E alem disso,
X
= (B) e X =

AB
A.
Demonstracao. (1) (2)
Pela denic ao de base, B e uma base para . Como
B (B),
temos que = (B) =
X
.
(2) (3)
52
5.3. Bases
Sejam A
X
e x A. Como o conjunto A e da forma
A =
_
BB

B
para alguma sub-famlia B

B, basta escolher B B

tal que x B.
(3) (4)
Evidentemente que B
x
1 (x), ja que a famlia e formada por conjuntos
abertos que contem x. Basta (por que?) mostrar que para toda vizinhanca
aberta de x existe B B
x
tal que B A. Mas a existencia de tal B e
justamente a hipotese do item (3).
(4) (5)
Se A, B B e x A B, ent ao, por hip otese, A e B s ao vizinhan cas
de x. Portanto, AB tambem e vizinhanca de x. Como B
x
e uma base de
vizinhancas de x, entao existe C B
x
tal que
x C A B.
Precisamos entao vericar que B gera
X
. Primeiramente, note que todo
conjunto U B e aberto, pois se x U, entao U B 1 (x). Ou seja, U
e vizinhanca de todos os seus pontos. Assim,
(B)
X
.
Por outro lado, todo aberto de
X
pode ser escrito como uma uni ao de
elementos de B, pois dado V
X
, para cada x V existe V
x
B
x
tal que
x V
x
V . Ou seja,
V =
_
xV
V
x
.
E portanto,

X
(B).

E evidente que X =

AB
A, pois nenhum dos B
x
e vazio. (Note que
acabamos provando que (4) (2))
(5) (1)
J a sabemos que . Pela hip otese de X ser a uni ao de todos os
conjuntos em B, X . Por denic ao, e evidentemente fechada por uniao
53
5.3. Bases
arbitr aria. Resta mostrar que e tambem fechada por interse cao nita. Para
isso, basta notar que A e B s ao da forma
A =
_

B =
_

para alguma famlia A

, B

B. Assim,
A B =
_
(,)
A

,
sendo que, e facil vericar que as hipoteses do item (5) implicam que cada
A

e uma uniao de conjuntos em B. Portanto, A B .


Observacao 5.14. Dada uma famlia qualquer ( T (X), a Proposic ao
5.8 mostra que B (() e uma base para ((). Em particular, toda famlia
B fechada por interse cao nita e uma base para (B). Esse fato pode ser
vericado tambem pelo item (5) da Proposic ao 5.13. Esta condi cao n ao e,
no entanto, necess aria para que B seja uma base para (B). As bolas, por
exemplo, formam uma base para a topologia de um espaco metrico, mas nao
e necessariamente verdade que a intersec ao de duas bolas ser a uma bola.
Corolario 5.15. Seja B uma famlia de subconjuntos de X. Para que B
seja uma base de (B) e necessario e suciente que para todo A, B B,
A B possa ser escrito como uniao de elementos de B.
Demonstracao. Basta vericar as condi coes do item (5) da Proposic ao 5.13.
Evidentemente que B gera (B). O restante da demonstrac ao ca como
exerccio.
54
CAP

ITULO 6
Fecho e Interior
Dado um subconjunto B X de um espaco topol ogico X, vamos associar
a B o conjunto B dado por todos os pontos que estao pr oximos de B.
Veremos que a propriedade do item (3) da Proposic ao 4.7 garantir a que se
F = B, entao F = F. Ou seja, apesar de termos acrescentado pontos em B
para construir o conjunto F, mesmo com esse alargamento, F n ao se tornou
pr oximo de nenhum ponto do qual B j a n ao fosse pr oximo. O conjunto
B e o fecho de B. E os conjuntos F que satisfazem F = F s ao chamados
de conjuntos fechados. Veremos que os conjuntos fechados s ao exatamente
os complementares dos conjuntos abertos.
6.1 Fecho e Fechado
Denicao 6.1. Seja (X,
X
) um espaco topologico e B X um subconjunto
qualquer de X. Denimos o fecho de B, e denotamos por B o conjunto
B = x X [ V 1 (x), V B ,= .
Tambem escrevemos cl (B); ou quando queremos enfatizar a topologia
X
,
escrevemos cl

X
(B).
Observacao 6.2. O operador de fecho e uma aplicac ao
cl : T (X) T (X)
B B
.
55
6.1. Fecho e Fechado
Lema 6.3. Seja (X,
X
) um espaco topologico. E para cada x, seja
x

1 (x) uma base de vizinhancas de x. Entao,
B = x X [ V
x
, V B = .
Em particular, x esta no fecho de B se, e somente se, para todo vizinhanca
aberta U de x, U B = .
Vamos entao vericar algumas propriedades do operador cl

X
.
Proposicao 6.4. A operacao de fecho no espaco topologico (X,
X
) satisfaz:
1. = , X = X.
2. B B.
3. A B A B.
4. B = B. (cl
2

X
= cl

X
)
5. Se B

( ) e uma famlia qualquer de subconjuntos de X, entao


_

.
6. Se A B sao subconjuntos de X, entao
A B = A B.
Demonstracao. Itens (1), (2) e (3).
Consequencias imediatas da denic ao de fecho.
Item (4).
Por (2), B B. Seja ent ao x B, e seja U
X
uma vizinhanca aberta
de x. Entao existe y B, tal que y U. Ou seja, U e vizinhan ca de y. E
portanto, como y est a no fecho de B, existe z B tal que z U. Provamos
que toda vizinhan ca aberta de x intercepta B. Pelo lema 6.3, x B.
Item (5).
56
6.1. Fecho e Fechado
O item (5) e imediato da denic ao de fecho. No entanto, tambem pode
ser demonstrado atraves do item (3), pois para todo ,
B

.
Basta ent ao fazer a uniao para todo .
Item (6).
Por (5), basta mostrar que
A B A B.
Suponha que x A B, mas x , A. Vamos mostrar que x B. Existe
uma vizinhanca V de x tal que V A = . Toda vizinhan ca de x intercepta
AB. Entao, toda vizinhan ca de x contida em V , j a que nao intercepta A,
tem que interceptar B. Observando que a famlia de todas as vizinhancas de
x contidas em V forma uma base de vizinhan cas de x (por que?), conclumos
pelo lema 6.3 que x B.
Observacao 6.5. A demonstrac ao do item (4) da Proposicao 6.4 (de fato,
o lema 6.3 utilizou, de maneira essencial, o fato de a famlia das vizinhancas
abertas de um ponto formar uma base de vizinhancas. Veja a observacao
3.5, o texto introdut orio da sec ao 3.5 e a gura 4.2.
Denicao 6.6. Dado um espaco topologico (X,
X
), um conjunto F X
e fechado quando F = F.
Pela denic ao de fechado, os conjuntos fechados s ao os pontos xos da
aplicac ao cl

X
. Por outro lado, o item (4) da Proposicao (6.4) mostra que
todo conjunto da forma B e fechado. Ou seja, a famlia dos conjuntos
fechados e exatamente a imagem de cl

X
. Se o fecho de um conjunto nao
fosse fechado, precisaramos dar outro nome para ao menos um dos dois
conceitos. :-)
Proposicao 6.7. Em um espaco topologico (X,
X
), F X e fechado se,
e somente se, F
c

X
.
Demonstracao. Tome x F
c
. Entao existe V 1 (x) tal que V F = .
Ou seja, V F
c
. Portanto, F
c
e aberto, j a que e vizinhan ca de todos os
seus pontos.
57
6.1. Fecho e Fechado
Por outro lado, suponha que F
c

X
. Ent ao, nenhum ponto de F
c
pertence a F (por que?). Ou seja,
F F.
Portanto, F = F (por que?).
Observacao 6.8. A Proposi cao 6.7 mostra que a topologia de X pode ser
determinada pela famlia
T =
_
F X

F = F
_
,
dos subconjuntos fechados de X. Quando e entao que uma famlia T
T (X) dene os conjuntos fechados de uma topologia
X
? Ou seja, quando
e que a famlia

F
= A X [ A
c
T
e uma topologia de X? A resposta e simples: a famlia T ter a que satisfazer
as condic oes listadas na Proposi cao 6.9.
Indo um pouco alem, se conhecermos cl

X
, tambem sabemos quem s ao
os fechados de
X
, e por consequencia, sabemos quem e a topologia
X
.
Desta forma, quando e entao que uma aplica cao
c : T (X) T (X)
e igual `a operac ao de fecho cl

X
de uma topologia
X
? A resposta a esta
pergunta esta contida na Proposicao 6.4. Veja o exerccio ??.
Proposicao 6.9. Dado um espaco topologico (X,
X
), a famlia T formada
pelos subconjuntos fechados de X satisfaz:
1. , X T.
2. F
1
, F
2
T F
1
F
2
T.
3. F

T ( )

T.
Demonstracao. Basta utilizar as leis de De Morgan
_

c
=
_

_
c

c
=
_
_

_
c
para vericar a equivalencia entre os itens da proposic ao e os itens da
denic ao de topologia 4.1.
58
6.2. Interior
O fecho de um conjunto B pode ser facilmente determinado se
utilizarmos a famlia T dos fechados.
Proposicao 6.10. Seja X um espaco topologico e T a famlia formada
pelos subconjuntos fechados de X. Entao, para um subconjunto qualquer
B X,
B =

BF
F e fechado
F.
Em outras palavras, B e o menor conjunto fechado que contem B.
Demonstracao. Como B e fechado e B B, temos que

BFF
F B.
Armacao. Se F e fechado, entao
B F B F.
De fato,
B F B F = F.
Pela armac ao anterior, e evidente que
B

BFF
F.
6.2 Interior
Assim como para o fecho, dado um espaco topol ogico (X,
X
), podemos
associar a cada B X o subconjunto de B formado por todos os pontos
dos quais B e vizinhanca. Do mesmo modo que o fecho de um conjunto
e fechado, o interior sera aberto. E assim como o fecho de B e o menor
fechado que contem B, seu interior e o menor aberto contido em B.
59
6.2. Interior
Proposicao 6.11. Seja (X,
X
) um espaco topologico e B X um
subconjunto qualquer de X. Entao existe um conjunto A B que e o maior
subconjunto de B que e aberto. O conjunto A tambem pode ser escrito
A = x B [ B 1 (x).
Demonstracao. Como a uni ao arbitraria de abertos e um aberto, ent ao
A

=
_
U
X
UB
U
e evidentemente o maior aberto contido em B. Vamos mostrar que A = A

.
O conjunto A

e tal que se x A

, entao A

1 (x). Como A

B,
ent ao para todo ponto de x A

, temos que B e uma vizinhanca de x. Ou


seja,
A

A.
Falta entao mostrar que o conjunto A e aberto e que portanto,
A A

.
Seja x A. Como B e vizinhanca de x, ent ao existe uma vizinhan ca
aberta de x, U
x
, tal que x U
x
B. O conjunto U
x
e vizinhanca de todos
os seus pontos. Em particular, B e vizinhanca de todos os pontos de U
x
.
Ou seja,
U
x
A.
E portanto,
A =
_
xA
U
x
e aberto.

E importante notar quando se arma a existencia de um elemento


m aximo. Ao contr ario do que nossa intuic ao possa acreditar, nem sempre
existe um elemento maximo ou maximal que satisfa ca determinada
condic ao. Por exemplo, nao existe o maior n umero real que e menor que
1. Talvez o leitor nao tenha percebido, mas se o conjunto n ao fosse
aberto, a demonstrac ao anterior n ao estaria correta. Em que momento
utilizamos que e um conjunto aberto?
Denicao 6.12. Seja (X,
X
) um espaco topologico e B X um
subconjunto qualquer de X. O interior de B e maior conjunto aberto contido
em B. Denotamos o interior de B por

B, int (B), ou ainda int

X
(B)
quando queremos enfatizar que e o interior de B com respeito `a topologia

X
.
60
6.3. Continuidade
Proposicao 6.13. Seja X um espaco topologico. Valem as seguintes
relacoes entre o fecho e o interior de um conjunto B X:
cl (B
c
) = int (B)
c
cl (B)
c
= int (B
c
).
Demonstracao. Exerccio. :-)
6.3 Continuidade
Os conjuntos fechados sao simplesmente complementos de conjuntos
abertos. Dada uma aplicacao f : X Y , a inversa f
1
preserva a operac ao
de complemento. Assim, f ser a contnua quando a imagem inversa de cada
fechado for um conjunto fechado.
Proposicao 6.14. Sejam (X,
X
) e (Y,
Y
) espacos topologicos e f : X Y
uma aplicacao qualquer. As seguintes armacoes sao equivalentes:
1. A aplicacao f e contnua: para todo aberto A Y , f
1
(A) e um
aberto de X.
2. Para todo fechado F Y , f
1
(F) e um fechado de X.
3. Para todo conjunto B X,
f
_
B
_
f(B).
4. Para todo conjunto B X,
int (f(B)) f (int (B)) .
Demonstracao. (1) (2)
Basta notar que f
1
: T (Y ) T (X) preserva a operacao de
complemento. Isto e,
f
1
(A
c
) =
_
f
1
(A)
_
c
.
(2) (3)
61
6.3. Continuidade
Por hip otese, o conjunto f
1
_
f(B)
_
e fechado e contem B. Portanto,
como o fecho de B e o menor fechado que o contem, segue que
B f
1
_
f(B)
_
Basta agora aplicar f a ambos os lados para obter
f
_
B
_
f(B).
(3) (4)
Segue da relac ao entre o fecho e o interior descrito na Proposi cao 6.13.
(3) (2)
Seja F Y um conjunto fechado. Fa ca
B = f
1
(F).
Vamos mostrar que B e fechado. Pela hip otese do item (3), vale que
f
_
B
_
f(B) F = F.
Aplicando f
1
de ambos os lados,
B f
1
(F) = B.
Portanto, B = B.
Aplicacao Fechada
Assim como zemos quando denimos o que vem a ser uma aplicacao aberta
(denic ao 4.16), vamos denir o que e uma aplicacao fechada.
Denicao 6.15. Uma aplicacao f : X Y entre dois espacos topologicos e
fechada, quando para todo fechado F X, sua imagem f(F) Y tambem
for fechada.
Note que enquanto e verdade que se f
1
leva abertos em abertos (ou
seja, f e contnua), entao f
1
leva fechados em fechados; nao e verdade
que se f e uma aplicac ao aberta, tambem ser a uma aplica cao fechada. Por
exemplo,
f : R R
x 0
e uma aplicac ao fechada, mas n ao e aberta.
62
6.4. Convergencia
6.4 Convergencia
Em um espa co topol ogico X, se F X e fechado, e x , F, entao nenhuma
sequencia x
n
F pode convergir para x. De fato, F
c
e uma vizinhanca
de x que n ao contem nenhum ponto da sequencia x
n
. Portanto, se uma
sequencia x
n
F converge para x, teremos que x F. Em particular,
esquecendo um pouco o conjunto F, se x
n
x, entao,
x x
n
[ n N.
Indo um pouco alem,
x

NN
x
n
[ n N.
Pois a sequencia x
N+n
tambem converge para x.
Por outro lado, dada a sequencia x
n
X, suponha que
x

NN
x
n
[ n N.
Podemos concluir que x
n
x? A resposta e nao! Mas por que n ao? Por
exemplo, por que x
n
= (1)
n
n ao converge? E se
x =

NN
x
n
[ n N,
ent ao vale que x
n
x? Considere
x
n
=
_
0, n e impar
n, n e par
para vericar que n ao vale. Mas e verdade que se x
n
x, entao
x =

NN
x
n
[ n N?
Para ver que n ao, basta considerar a topologia , X, onde X e um
conjunto qualquer com mais de um elemento. Neste caso,
X =

NN
x
n
[ n N,
pois o fecho de qualquer conjunto n ao vazio e igual a X.
Vamos supor, ent ao, que
x

NN
x
n
[ n N.
63
6.4. Convergencia
Neste caso, quando e que x
n
, x? Se
x
n
, x,
ent ao existe uma vizinhan ca de x, V , tal que innitos x
n
1
, x
n
2
, x
n
3
, . . . n ao
pertencem a V . Ou seja,
x , x
n
k
[ k N.

E como dizer que x


n
x quando para toda subsequencia x
n
k
tivermos
que x
n
k
x.
Denicao 6.16. Dado um conjunto X e uma sequencia x
n
X. Uma
sub-sequencia de x
n
e simplesmente uma sequencia y
k
= x
n
k
, onde n
1
<
n
2
< n
3
< .
Observacao 6.17. Dada uma sequencia x
n
X, o que determina as
subsequencias de x
n
, sao as aplicacoes
f : N N
k n
k
,
que preservam a ordem de N. Ou seja,
k
1
k
2
n
k
1
n
k
2
.
Poderamos ter denido subsequencia como uma aplicac ao f : N N que
satisfaz
k
1
< k
2
f(k
1
) < f(k
2
).
Proposicao 6.18. Dado um espaco topologico X, uma sequencia x
n
X
converge para x X se, e somente se, para toda subsequencia x
n
k
,
x x
n
k
[ k N.
Demonstracao. Se x
n
x, ent ao toda subsequencia x
n
k
converge para x
(por que?). Portanto,
x x
n
k
[ k N.
Pois se x , x
n
k
[ k N, ent ao x
n
k
[ k N
c
e uma vizinhanca de x que
n ao contem nenhum x
n
k
.
Por outro lado, se x
n
, x, ent ao existe uma vizinhan ca V de x, tal que
para innitos ndices n
1
, n
2
, n
3
, . . . , x
n
k
, V . Portanto, para esses ndices,
x , x
n
k
[ k N.
64
6.4. Convergencia
Uma das implicac oes da Proposic ao 6.18, e que basta conhecer o fecho
dos conjuntos enumer aveis para sabermos quais s ao e quais n ao sao as
sequencias convergentes. Em espacos metricos, por exemplo, os conjuntos
fechados F, sao exatamente aqueles que
x
n
F, x
n
x x F.
Em espa cos topol ogicos em geral, isso nao e necessariamente valido. Mais
adiante, veremos como o conceito de redes pode remediar esta deciencia
das sequencias. Por exemplo, considere a topologia em R do exerccio
??, onde os fechados sao, alem do pr oprio R, os conjuntos enumer aveis
(com cardinalidade menor ou igual ` a de N). Neste caso, as sequencias
convergentes s ao constantes a menos de um n umero nito de ndices:
x
n
x N N, n N, x
n
= x. (6.1)
De fato, se houvessem innitos ndices n
k
tais que x
n
k
,= x, entao,
x
n
k
[ k N seria um fechado que nao contem x, contradizendo a
Proposic ao 6.18. Por outro lado, as sequencias de (6.1), s ao exatamente
as sequencias convergentes na topologia discreta.
Essa mesma construc ao poderia ser feita com qualquer conjunto X no
lugar de R, para se ter uma topologia em X onde as sequencias convergentes
s ao as mesmas da topologia discreta. Precisamos que X seja n ao enumer avel
para que a topologia construda seja diferente de topologia discreta T (X).
Em espacos metricos, uma aplicac ao f : X Y era contnua quando
x
n
x f(x
n
) f(x). (6.2)
Para o caso de espacos topologicos, a continuidade de f implica na condicao
da equac ao (6.2). No entanto, a volta nem sempre vale.
Proposicao 6.19. Seja f : X Y uma aplicacao entre espacos
topologicos, contnua no ponto x X. Entao,
x
n
x f(x
n
) f(x).
Demonstracao. Se f(x
n
) , f(x), entao existe uma vizinhanca aberta A de
f(x), tal que para um n umero innito de ndices, a sequencia f(x
n
) nao
pertence a A. Portanto, para um n umero innito de ndices, a sequencia x
n
n ao pertence a f
1
(A), que e, pela continuidade de f em x, uma vizinhanca
de x. O que mostra que x
n
, x.
65
CAP

ITULO 7
Topologias Derivadas de
Outras Topologias
7.1 Topologia de um Sub-Espaco
Se temos um espaco topologico (X,
X
) e um subconjunto Z X, entao
parece natural pensarmos na restric ao da topologia
X
ao subconjunto Z.
Mas isso e realmente natural? Vamos fazer algumas consideracoes.
Imagine que x
n
Z e uma subsequencia que na topologia
X
, converge
para x Z. Neste caso, se fossemos induzir em Z uma topologia
Z
a
partir de
X
, sua topologia deveria ser tal que para x
n
, x Z,
x
n

X
x x
n

Z
x.
Pensando em termos da opera cao de fecho, para um conjunto B Z, o
conjunto dos pontos de Z que estao pr oximos ou seja, no fecho
de B s ao, intuitivamente, os pontos de Z que est ao em cl

X
(B). Ou seja,
deveramos ter que
cl

Z
(B) = cl

X
(B) Z.
Vendo do ponto de vista da continuidade, se f : (X,
X
) (Y,
Y
) e uma
aplicac ao qualquer, e W Y e tal que f(X) W, entao podemos pensar
na aplicac ao

f : X W
x f(x)
,
e esperar que possamos induzir em W uma topologia tal que f e contnua
se, e somente se,

f o for. Poderamos tambem, dado Z X, pensar na
66
7.1. Topologia de um Sub-Espa co
continuidade de f[
Z
. Claro que esperaramos que f[
Z
ser a contnua em
z Z se, e somente se, f o for. Dentre essas considerac oes, o menos
natural seria pensar em termos de abertos. E e por isso que este livro e de
v arios angulos. :-)
Entretanto, como nossa deni cao de espa co topol ogico e em termos de
abertos, com as ferramentas que temos ate o momento, sera mais facil
denir a topologia de um subconjunto em termos de abertos. Felizmente, a
denic ao com abertos e extremamente simples.
Denicao 7.1 (Topologia Induzida em um Subconjunto). Seja (X,
X
)
um espaco topologico e Z X um subconjunto de X qualquer. Entao, o
conjunto

X
Z = A Z [ A
X

e a topologia induzida por


X
em Z.
Notacao. Na denicao 7.1, a notacao
X
Z nao e a intersecao de
X
e Z, mas a famlia formada pela intersecao dos elementos de
X
com o
conjunto Z. Este abuso de notacao, em geral, nao deve causar problemas
de entendimento e sera usado sem ressalvas.
Vamos ent ao vericar que a deni cao de topologia induzida em um
subconjunto satisfaz as propriedades discutidas no incio do captulo.
Proposicao 7.2. Seja (X,
X
) um espaco topologico e Z X um
subconjunto qualquer de X. Entao a topologia induzida em Z,
Z
=
X
Z,
satisfaz:
1. Todo aberto A
Z
da topologia induzida e da forma A = A

Z para
algum aberto A


X
da topologia de X.
2. Todo fechado F
Z
da topologia induzida e da forma F = F

Z
para algum fechado F


X
da topologia de X.
3. Se B Z, entao
cl

Z
(B) = cl

X
(B) Z.
4. Se x
n
, x Z, entao x
n

X
x se, e somente se, x
n

Z
x.
5. Se (Y,
Y
) e um espaco topologico qualquer e f : (Y,
Y
) (X,
X
) e
uma aplicacao contnua tal que f(Y ) Z, entao

f : (Y,
Y
) (Z,
Z
)
y f(y)
67
7.1. Topologia de um Sub-Espa co
e contnua. (Note que a diferenca entre as aplicacoes f e

f e apenas
o contra-domnio das aplicacoes)
6. Se (Y,
Y
) e um espaco topologico qualquer e g : (X,
X
) (Y,
Y
) e
uma aplicacao contnua, entao
g[
Z
: (Z,
Z
) (Y,
Y
)
z g(z)
e contnua.
Demonstracao. Itens (1) e (2).
Imediato da denicao de
Z
.
Item (3).
Este fato pode ser demonstrado de v arias formas de varios angulos
;-). Vamos utilizar a Proposic ao 6.10, mas o leitor e motivado a demonstrar
diretamente da denic ao de fecho (denic ao 6.1).
Pela Proposic ao 6.10,
cl

Z
(B) =

F: fechado de X
BFZ
(F Z) =
_
_
_

F: fechado de X
BF
F
_
_
_
Z = cl

X
(B) Z.
(em que lugar da equac ao foi utilizado que B Z?)
Item (4).
Exerccio.
Item (5)
Basta notar que f
1
(A Z) = f
1
(A).
Item (6)
Exerccio.
Observacao 7.3. Para uma aplica cao f : (X,
X
) (Y,
Y
) e um
subconjunto Z X, sempre que falarmos de propriedades topol ogicas de
f[
Z
estaremos nos referindo ` a topologia
X
Z. De modo mais geral, a menos
que se diga o contr ario, consideraremos Z dotado da topologia
X
Z.
68
7.1. Topologia de um Sub-Espa co
Observacao 7.4. Note que se Z e um aberto, entao

X
Z = A
X
[ A Z.
Em particular, os abertos da topologia induzida s ao tambem abertos na
topologia original. Isso n ao vale em geral.
Da mesma forma, se Z for fechado, os fechados da topologia induzida
ser ao exatamente os fechados da topologia original que estejam contidos em
Z. (demonstre!)
Exemplo 7.5 (Topologia Induzida: [0, 1) R). Considere a topologia no
intervalo [0, 1) induzida pela topologia usual dos n umeros reais. Entao, por
exemplo, a famlia
B
0
=
_
[0,
1
n
)

n N
_
e uma base de vizinhancas abertas para o ponto 0.
Exemplo 7.6 (Espaco Metrico). Em um espaco metrico (X, d), temos a
topologia
d
, em X, induzida pela metrica d. Se Z X e um subconjunto
qualquer de X, ent ao, a princpio, temos duas maneiras can onicas de induzir
uma topologia em Z. Temos
d
Z, e temos tambem a topologia
d
Z
induzida pela restri cao da metrica d ao conjunto Z:
d
Z
: Z Z R
+
(z
1
, z
2
) d(z
1
, z2)
.
Essas duas topologias coincidem. (por que? dica: o que s ao as bolas na
metrica induzida?)
Uniao Disjunta
Sejam (X,
X
) e (Y,
Y
) espacos topol ogicos disjuntos. O leitor n ao devera
ter problemas para se convencer que e natural denir a topologia

XY
= U V [ U
X
, V
Y

em X Y . Note que
XY
= (
X

Y
). Essa topologia e caracterizada
pela propriedade

X
=
XY
X e
Y
=
XY
Y.
No Captulo 8, estudaremos a existencia de conjuntos que sao fechados
e abertos ao mesmo tempo. Se em um espaco topol ogico (W,
W
) existe um
subconjunto pr oprio nao vazio, X W, que e aberto e fechado ao mesmo
tempo, entao seu complemento, Y = X
c
tambem e aberto e fechado. Neste
caso, os abertos de W s ao da forma U V , onde U
X
e V
Y
. Dizemos
que (W,
W
) e desconexo (denic ao 8.1).
69
7.2. Topologias Inicial e Final
7.2 Topologias Inicial e Final
Se temos uma aplicac ao f : X (Y,
Y
) de um conjunto X qualquer em um
espaco topol ogico, a Proposicao 5.10 mostra que f
1
(
Y
) e uma topologia
em X. Nao apenas isso, mas e tambem a menor topologia que torna f
contnua. De fato, f : (X,
X
) (Y,
Y
) e contnua quando f
1
(
Y
)
X
.
Mesmo quando estivermos tratando de uma famlia de aplicacoes
f

: X (Y

),
podemos falar da topologia mais fraca em X que torna todas as f

contnuas.
Denicao 7.7. Dada uma famlia de aplicacoes
f

: X (Y

), ( ),
a topologia (f
1
(

) , ) a menor topologia tal que todas as


aplicacoes f

sao contnuas e chamada de topologia inicial induzida


pela famlia f

. Quando a famlia e composta por apenas uma aplicacao f,


a topologia inicial e denotada por
f
.
Da mesma forma, dada uma aplicac ao f : (X,
X
) Y de um espaco
topol ogico em um conjunto Y qualquer, podemos nos perguntar qual seria
a maior topologia que pode ser colocada em Y de modo que f seja contnua.
O leitor deve se convencer de que a exigencia maior topologia tal que f seja
contnua faz sentido. Anal, se f : (X,
X
) (Y,
Y
) e contnua, ent ao f
ser a contnua se a topologia de
Y
for substituda por uma topologia mais
fraca qualquer.
Denicao 7.8. Dada uma famlia de aplicacoes
f

: (X

) Y ( ),
a maior topologia em Y tal que todas as aplicacoes f

sao contnuas e
chamada de topologia nal induzida pela famlia f

. Quando a famlia e
composta por uma unica aplicacao f, denotamos a topologia nal por
f
.
Daqui por diante, vamos omitir o conjunto de ndices quando
conveniente, para simplicar a notacao.
Observacao 7.9. O caso em que o uso da topologia nal e mais util, e
quando se tem apenas uma fun cao f. Para uma famlia f

, se denotarmos
70
7.2. Topologias Inicial e Final
por
f

a topologia nal induzida pela aplica cao f

, entao a topologia nal


induzida pela famlia toda ser a

.
Isso porque a intesec ao de topologias e uma topologia.
Proposicao 7.10. Dada a aplicacao f : (X,
X
) Y , a topologia nal
induzida por f e a famlia
_
A Y

f
1
(A)
X
_
.
Demonstracao. Denote por T a famlia A Y [ f
1
(A)
X
.
Evidentemente que
f
T, pois T e a maior famlia tal que f
1
(T)
X
.
Basta ent ao mostrar que T e de fato uma topologia. . . deixemos isso como
exerccio ao leitor. :-)
Exemplo 7.11 (f : R S
1
). A aplicacao
f : R S
1
x exp(2xi)
e contnua quando consideramos as topologias usuais,
R
de R e
S
1 de S
1
.
A topologia inicial em R quando consideramos a topologia usual em S
1
e
dada por

f
= A
R
[ A = A +Z.
Ou, o que d a na mesma,

f
= A +Z [ A R.
E qual e a topologia nal de f : (R,
R
) S
1
?
Diagramas Comutativos
Quando temos uma famlia de aplicac oes cada uma com seu domnio e seu
contra-domnio, podemos represent a-las em um diagrama. Por exemplo,
X

f
//
Y
h
//
Z

f
//
Y
g
OO

h
??
.
71
7.2. Topologias Inicial e Final
Dizemos que o diagrama comuta quando diferentes caminhos
correspondem ` a mesma aplicacao. Se, por exemplo, o diagrama anterior
comuta, ent ao sabemos que g

f = f; ou entao,

h

f = h f.
Vamos caracterizar as topologias inicial e nal utilizando diagramas
comutativos.
Proposicao 7.12. Dada a aplicacao f : X (Y,
Y
), a topologia inicial
f
e a unica topologia
X
que torna f contnua e e tal que para todo diagrama
comutativo
(Z,
Z
)
g
//
g
%%
(X,
X
)
f

(Y,
Y
)
,
a continuidade de g e equivalente `a continuidade de g.
Demonstracao. Primeiro vamos mostrar que para
X
=
f
, a continuidade
de g e equivalente ` a de g. Primeiramente, por denic ao,
f
torna f contnua.
Se g for contnua, entao g e contnua por ser a composic ao de duas aplica coes
contnuas. Por outro lado, supondo que g e contnua, dado A
f
, A e da
forma f
1
(U), com U
Y
. Assim,
g
1
(A) = g
1
_
f
1
(U)
_
= g
1
(U).
Pela continuidade de g, este conjunto e aberto de Z. Ou seja, a imagem
inversa de um aberto de X e aberto de Z. Portanto, g e contnua.
Falta mostrar que so existe uma topologia que satisfaz a condi cao
da proposic ao. Suponha que
X
e
X

ambas satisfa cam a condic ao do


enunciado. Considere a seguinte o seguinte diagrama comutativo.
(X,
X

)
id
//
f
%%
(X,
X
)
f

(Y,
Y
)
.
Neste caso, como
X
satisfaz as condi coes do enunciado e f e contnua
na topologia
X

, temos que id : (X,


X

) (X,
X
) e contnua. Mas a
continuidade da identidade e equivalente a

X

X

.
Invertendo os papeis de
X
e
X

, obtemos a unicidade:

=
X
.
72
7.2. Topologias Inicial e Final
Observacao 7.13. Muitos autores come cariam a demonstrac ao anterior
pela unicidade. Talvez porque as propriedades, a caracterizac ao e a
construc ao da topologia
f
, tudo isso entra no caminho e tira a atenc ao
da essencia da demonstrac ao da unicidade. Deixando a demonstracao da
unicidade para o nal, camos tentados a mostrar que todas as topologias
que satisfazem as condi coes da proposic ao s ao necessariamente iguais a
f
(que acabamos de mostrar que existe), ent ao, a denicao e as propriedades
de
f
acabam tornando a demonstrac ao confusa, e ocultando sua essencia.
N ao foi isso o que zemos. Na demonstracao da unicidade, nao foi
preciso utilizar a existencia! Optamos por considerar duas topologias que
satisfazem as condi coes impostas e demonstrar que sao necessariamente
iguais. Concluindo que se existe uma, entao e unica. Daqui por diante,
quando possvel, comecaremos esse tipo de demonstrac ao pela unicidade.
A Proposi cao 7.12 admite a seguinte generalizac ao.
Proposicao 7.14. Considere a famlia de aplicacoes f

: X (Y

,
Y

).
A topologia inicial em X dada pela famlia f

e a unica topologia
X
onde
todas as f

sao contnuas, e para toda aplicacao


g : (Z,
Z
) (X,
X
)
vale que
g e contnua , f

g e contnua.
Demonstracao. Unicidade.
Seja
X
uma topologia que satisfaz as condi coes do enunciado, e
X

uma topologia onde as f

s ao contnuas. Considere a seguinte famlia de


diagramas comutativos indexada por .
(X,
X

)
id
//
f

%%
(X,
X
)
f

(Y,
Y
)
.
Como
X
satisfaz as condic oes da proposic ao e f

e contnua na topologia

, ent ao id : (X,
X

) (X,
X
) e contnua. Ou seja,

X

X

.
Portanto, para uma topologia
X

que tambem satisfaz as condic oes da


proposic ao, se invertermos os papeis de
X
e
X

, chegaremos ` a igualdade.
73
7.2. Topologias Inicial e Final
A topologia inicial possui as propriedades enunciadas.
Suponha que
X
seja a topologia inicial. Seja
T =
_
f
1

(U)

, U
Y

_
.
Note que pela Proposic ao 5.11,
g e contnua g
1
(T)
Z
, g
1
_
f
1

(
Y

)
_

Z
, f

g e contnua.
A topologia nal tem forma semelhante ` a inicial quando utilizamos
diagramas comutativos.
Proposicao 7.15. Dada a aplicacao f : (X,
X
) Y , a topologia nal
f
e a unica topologia,
Y
que torna f contnua e e tal que para todo diagrama
comutativo
(X,
X
)
f

g
%%
(Y,
Y
)
g
//
(Z,
Z
)
,
a continuidade de g e equivalente `a continuidade de g.
Demonstracao. Para mostrar a unicidade, considere as topologias
Y
e
Y

,
e suponha que ambas possuem as propriedades do enunciado. Entao, o
diagrama
(X,
X
)
f

f
%%
(Y,
Y
)
id
//
(Z,
Z
)
comuta, e o fato de f ser contnua em ambas as topologias implica que id
e um homeomorsmo. Ou seja,

Y
=
Y

.
Vamos entao mostrar que a topologia nal satisfaz as condi coes da
proposic ao. A parte n ao trivial e mostrar que a continuidade de g implica
na continuidade de g. Seja A
Z
, entao
g
1
(A) = (g f)
1
(A) = f
1
_
g
1
(A)
_
e aberto de X. Pela denicao de topologia nal, temos que g
1
(A) e aberto.
Ou seja, g e contnua.
74
7.3. Topologia Produto
7.3 Topologia Produto
Quando temos dois espacos metricos, (A, d
A
) e (B, d
B
), de que forma
podemos gerar uma metrica em A B? Se A e B forem o conjunto dos
n umeros reais com a metrica usual (euclidiana), o que poderia ser a metrica
em R
2
? Poderia ser a metrica euclidiana (Exemplo 1.10), ou a metrica do
m aximo (Exemplo 1.11), ou ent ao a metrica da soma. Pelo exerccio ??,
todas essas metricas s ao topologicamente equivalentes e possuem a seguinte
propriedade
Para uma sequencia (a
n
, b
n
) A B e (a, b) A B, temos
que
(a
n
, b
n
) (a, b) a
n
a e b
n
b.
Esta propriedade e facilmente vericada para a metrica do m aximo e, pela
equivalencia topologica, vale para todas as tres. A topologia produto
que queremos denir lembre-se que n ao temos uma metrica sera
exatamente a topologia da convergencia coordenada a coordenada.
Entre dois Espacos
Inspirados pelo fato de que na metrica do m aximo (Exemplo 1.11) as
bolas s ao na verdade quadrados, vamos denir o produto de dois espacos
topol ogicos como sendo o espaco onde a base da topologia ser ao os
ret angulos.
Denicao 7.16 (Topologia do Produto de dois Espacos). Sejam (X,
X
) e
(Y,
Y
) dois espacos topologicos. Denimos o espaco produto como sendo
o espaco topologico (X Y ,
XY
), onde
XY
e gerada pelos conjuntos da
forma U V , onde U
X
e V
Y
.
A topologia
XY
e chamada de topologia produto. Por um abuso de
notacao, escrevemos
X

Y
para designar a topologia produto. Quando
queremos ser menos ambguos, escrevemos (X,
X
) (Y,
Y
).
As projecoes canonicas em X e Y

X
: X Y X
(x, y) x
e

Y
: X Y Y
(x, y) y
exercem papel fundamental no estudo das topologias produto.
75
7.3. Topologia Produto
Observacao 7.17. Na denicao 7.16, poderamos ter dito que a topologia
produto e gerada pelos conjuntos da forma U Y e X V , onde U
X
e
V
Y
. No entanto, os conjuntos da forma U V , alem de geradores s ao
tambem uma base da topologia. Isso esta de acordo com a analogia com a
metrica do m aximo, onde as bolas que sao uma base para a topologia
s ao os quadrados. No caso da topologia produto, n ao temos quadrados,
temos retangulos.
Proposicao 7.18. Sejam (X,
X
) e (Y,
Y
) dois espacos topologicos e
XY
uma topologia qualquer no conjunto X Y . As seguintes armacoes sao
equivalentes.
1. A topologia
XY
e a topologia produto. Ou seja,

XY
=
X

Y
.
2. Os conjuntos da forma A B, onde A
X
e B
Y
formam uma
base de
XY
.
3. Os conjuntos da forma AY e XB, onde A
X
e B
Y
formam
uma sub-base de
XY
.
4. A topologia
XY
e a menor topologia em X Y tal que as projecoes
canonicas sao contnuas. Ou seja, e a topologia inicial induzida pelas
projecoes.
5. Toda aplicacao f : (Z,
Z
) (X Y ,
XY
) com domnio em um
espaco topologico Z qualquer e contnua se, e somente se,
X
f
e
Y
f forem contnuas.
Demonstracao. (1) (2) (3)
Imediato da denic ao de topologia produto e da observac ao 5.14. Basta
notar que (X W) (V Y ) = V W.
(3) (4)
As proje coes sao contnuas se, e somente se, para todo U
X
e V
Y
,
U Y =
1
X
(U)
XY
e X V =
1
X
(V )
XY
. Assim, a menor
topologia em X Y que torna as projec oes contnuas e a topologia gerada
pelos conjuntos da forma U Y e X V , para U
X
e V
Y
.
(3) (5)
76
7.3. Topologia Produto

E um caso particular da Proposi cao 7.14.


Observacao 7.19. Se para f : Z X Y escrevermos
f(z) = (f
x
(z), f
y
(z)),
ent ao f
x
=
X
f e f
y
=
Y
f. O item (5) da proposic ao diz que na
topologia produto, f e contnua se, e somente se, for contnua em cada
coordenada.
Observacao 7.20. Seja f : X Y Z. O item (5) da Proposic ao 7.18
pode sugerir que a continuidade de f no ponto (a, b) X Y seja
equivalente ` a continuidade de f(a, ) e f(, b). No entanto, a continuidade
dessas duas secoes de f e uma condic ao mais fraca que a continuidade de
f.
Se f(a, ) e contnua em b, isso signica que se nos aproximarmos de
(a, b) na vertical, o valor de f se aproxima de f(a, b). A continuidade
de f(, b) em a corresponde ` a continuidade de f na horizontal. No
entanto, isso nao garante nada sobre o comportamento de f quando nos
aproximamos de (a, b) pela diagonal. Um exemplo concreto e a aplicac ao
f : R
2
R, dada por
f(x, y) =
_
0 , (x, y) = (0, 0)
xy
x
2
+y
2
, (x, y) ,= (0, 0)
.
Neste caso, f(0, y) = f(x, 0) = 0. No entanto, f
_
1
n
,
1
n
_
=
1
2
.
Observacao 7.21. Para a topologia produto, tambem vale que
(x
n
, y
n
) (x, y) x
n
x, y
n
y. (7.1)
No entanto, como as sequencias convergentes nao determinam a topologia,
n ao se pode armar que a condi cao acima determina a topologia produto.
Da mesma forma, se para f : Z X Y escrevermos
f(z) = (f
x
(z), f
y
(z)),
ent ao o item (5) da proposic ao e analogo a:
a aplicac ao f e sequencialmente contnua (veja a deni cao ??)
se, e somente se, para toda sequencia z
n
z em Z,
f
x
(z
n
) f
x
(z) e f
y
(z
n
) f
y
(z)
77
7.3. Topologia Produto
Se ao inves de sequencias, utilizassemos o conceito de redes
desenvolvido no Captulo ?? , a relacao da equa cao 7.1 caracterizaria
totalmente a topologia. Com redes no lugar de sequencias, f ser a contnua
se, e somente se, para toda rede z

z, tivermos
f
x
(z

) f
x
(z) e f
y
(z

) f
y
(z).
Produto Finito
As considerac oes que foram feitas para o produto de dois espacos topol ogicos
podem ser facilmente estendidas para denir e caracterizar o produto de
uma quantidade nita de espa cos topol ogicos. Adicionalmente, dados por
exemplo, tres espacos topol ogicos (X,
X
), (Y,
Y
) e (Z,
Z
), esperamos que

X
(
Y

Z
) = (
X

Y
)
Z
.
Denicao 7.22. Dada uma famlia de espacos topologicos
(X
1
,
X
1
), . . . , (X
n
,
X
n
), a topologia produto e a menor topologia de
X
1
X
n
onde as projecoes em cada coordenada,

j
: X
1
X
n
X
j
(x
1
, . . . , x
n
) x
j
,
sao contnuas. O espaco (topologico) produto (X
1
,
X
1
) (X
1
,
X
1
),
e o conjunto X
1
X
n
, dotado da topologia produto.
O leitor ca encarregado de enunciar e demonstrar uma proposic ao
an aloga a 7.18.
Produto Innito
Se temos um espaco topologico (X

) para cada , pela experiencia


com o produto de uma famlia nita de espa cos topol ogicos podemos logo
imaginar duas topologias que poderamos chamar de topologia produto.
Uma delas, seria a topologia em

gerada pela famlia dos conjuntos


da forma

, onde A

. Se estivessemos falando de espacos


metricos, seria como denir a metrica do maximo. Assim, esta topologia
seria bastante geometrica e intuitiva. No entanto, n ao e esta a topologia que
chamamos de topologia produto da famlia

( ). A topologia produto
e um pouco mais fraca, possui propriedades importantes (por exemplo, o
Teorema ??) e e, em geral, mais facil de se trabalhar.
78
7.3. Topologia Produto
Denicao 7.23. Dada uma colecao qualquer de espacos topologicos
(X

), a topologia produto e a menor topologia de

onde as
projecoes em cada coordenada,

(x

,
sao contnuas. O espaco (topologico) produto

(X

), e o conjunto

, dotado da topologia produto.


Desta forma, a topologia produto e a topologia mais fraca tal que as
projec oes canonicas

s ao contnuas. Novamente, o leitor ca encarregado


de enunciar e demonstrar uma proposic ao an aloga a 7.18.
Proposicao 7.24. Sejam (X

) espacos topologicos, e

as projecoes
canonicas

.
Entao, cada

e uma aplicacao aberta.


Demonstracao. De fato, vamos mostrar que

e uma aplicac ao aberta


quando o produto

e dotado da topologia cuja base s ao os conjuntos


da forma
A =

,
onde A

. Note que esta topologia e mais forte que a topologia produto,


e portanto, se

for uma aplicac ao aberta nesta topologia, sera aberta na


topologia produto. A imagem por

de A e A

, que e aberto. Como


a imagem de uni oes e a uniao das imagens, e os abertos sao unioes de
elementos da base, segue que

e uma aplicac ao aberta.


Proposicao 7.25. Sejam (X

) espacos topologicos, X =

o
espaco produto e

as projecoes canonicas

: X X

.
Entao, escolhendo x = (x

) X, para cada , o conjunto da forma


X(, x) =

(x

)
e homeomorfo a X

.
79
7.3. Topologia Produto
Demonstracao. A topologia de X(, x) e gerada pela famlia
X(, x)
1

(A),
onde , e A e um aberto de X

. Mas exceto quando = , esses


conjuntos ou s ao vazios, ou iguais a X(, x). Assim, a topologia de X(, x)
e gerada pela famlia
X(, x)
1

(A),
onde A e um aberto de X

. Essa famlia e uma topologia. Portanto, esses


s ao exatamente os abertos de X(, x). Isso implica que a bijec ao contnua

[
X(,x)
e tambem uma aplica cao aberta. De fato,

(X(, x)
1

(A)) = A.
Ou seja,

[
X(,x)
e um homeomorsmo.
Exerccios
7.3.1. Seja f : X Y uma aplica cao qualquer entre os espacos topologicos
X e Y . O graco de f e o conjunto
Gr (f) = (x, f(x)) X Y [ x X.
Mostre que quando f e contnua e Y e um espaco metrico, o seu graco e
um subconjunto fechado de X Y . (Veja tambem a denic ao de espaco de
Hausdor: ??)
7.3.2. Encontre uma fun cao contnua f : X Y cujo gr aco nao seja um
subconjunto fechado de X Y .
7.3.3. Mostre que o conjunto
H =
_
(x, y) R
2

x ,= 0, y =
1
x
_
e fechado em R
2
.
7.3.4. Mostre que, apesar de
H =
_
(x, y) R
2

x ,= 0, y =
1
x
_
ser um conjunto fechado pelo exerccio 7.3.3, a projec ao de H na primeira
(e tambem na segunda) coordenada n ao e um conjunto fechado.
80
7.4. Topologia Quociente
7.4 Topologia Quociente
Quando temos um conjunto qualquer X, e comum querermos identicar
uma classe de pontos de X como se fossem um so. Por exemplo, o crculo
pode ser visto como o intervalo [0, 1] com os pontos 0 e 1 identicados. A
ideia e tomar uma particao

X de X. Ou seja, uma famlia de subconjuntos
A X disjuntos, tais que
X =
_
A

X
A.
Existe uma projec ao natural
: X

X
x [x]
,
onde [x] e o unico elemento A

X tal que x A. Assim, podemos colocar
em

X a topologia nal induzida por .
Relacao de Equivalencia
Estamos preocupados em particionar um conjunto X e pensar no
conjunto

X formado pelos elementos da partic ao escolhida. Uma maneira
muito comum de se escolher uma partic ao de X e atraves de uma relacao
de equivalencia. Nao vamos entrar em detalhes quanto `as propriedades
das relac oes de equivalencia, mas de fato, denir em X uma relacao de
equivalencia equivale a particion a-lo.
Denicao 7.26. Uma relac ao em um conjunto X e simplesmente um
subconjunto de X
2
. Usualmente escrevemos
a b
ao inves de dizer que (a, b) pertence `a relacao .
Denicao 7.27. Uma relacao denida em um conjunto X e uma relac ao
de equivalencia se satiszer:
a a.
a b b a.
a b e b c a c.
81
7.4. Topologia Quociente
Denir uma relac ao de equivalencia em X e equivalente a particion a-lo,
pois dada uma relac ao de equivalencia podemos particionar X em classes
de equivalencia, ou seja, nos conjuntos
[a] = x X [ x a.
Do mesmo modo, dada uma partic ao A

de X, podemos denir a relac ao


de equivalencia
a b A

tal que a, b A

.
Notacao. Dada uma relacao de equivalencia em X, denotamos por X/
o conjunto das classes de equivalencia de . A projecao natural de X em
X/ e a aplicacao dada por
: X X/
x [x]
.
Ao identicarmos, por exemplo, os pontos 0 e 1 do intervalo [0, 1]
para formar o crculo, chamando esse ponto identicado de p, a topologia
que esperamos deve ser tal que, uma sequencia converge para o ponto p
sempre que convergir para 0 ou para 1. O que queremos, e que cada
vizinhanca de p seja uniao de uma vizinhanca de 0 e uma vizinhanca de
1. Ou seja, queremos que a projec ao can onica, : [0, 1] (0, 1) p seja
contnua. Mas tambem, nao esperamos que uma sequencia que nem mesmo
se aproxima de 0 ou de 1 seja considerada uma sequencia que se aproxima
de p.
Denicao 7.28 (Topologia Quociente). Quando X e um espaco topologico
e uma relacao de equivalencia denida sobre X, a topologia quociente
em X/ e a topologia nal induzida pela projecao natural.
Seja X um conjunto e uma relac ao de equivalencia em X. Suponha
que a aplica cao
f : X Y
seja tal que a b f(a) = f(b). Neste caso, podemos denir

f : X/ Y
[x] f(x)
.
Note que o seguinte diagrama
X

f
!!
X/

f
//
Y
82
7.4. Topologia Quociente
e comutativo. Assim, pela Proposicao 7.15, sabemos que a topologia
quociente fara com que uma eventual continuidade da aplicacao f seja
equivalente ` a continuidade de

f.
Construc oes com quocientes s ao muito comuns, por exemplo, em
algebra, onde quocientamos grupos por subgrupos, aneis por ideais, espacos
vetoriais por subespacos vetoriais e assim por diante. Em muitos casos,
essas estruturas algebricas sao tambem dotadas de topologia. Mais a diante,
no Captulo ??, por exemplo, veremos como o estudo da topologia pode
facilitar a compreensao desse tipo de estrutura.
Exemplos
Exemplo 7.29 (O Crculo Unit ario S
1
). O crculo unit ario S
1
pode ser
visto, dentre outras maneiras, como o subconjunto dos n umeros complexos
de valor absoluto 1, ou como o conjunto R/, onde
a b a b Z.
Costumamos denotar este quociente por R/Z.
Neste caso, podemos pensar, por exemplo, nas seguintes topologias em
S
1
:
1. A topologia induzida em S
1
quando visto como um subconjunto de C.
2. A topologia nal induzida pela aplicac ao
f : R S
1
x exp(2ix)
.
3. A topologia quociente dada pela identicac ao usual entre S
1
e R/Z.
As topologias dos itens (2) e (3) s ao de fato a mesma topologia. Isso
porque a relac ao e dada exatamente por
a b f(a) = f(b),
fazendo com que o diagrama
R

f
$$
R/Z

f
//
S
1
C
83
7.4. Topologia Quociente
seja comutativo. Onde

f e justamente a identicac ao usual entre R/Z
e S
1
. As aplicac oes f e s ao contnuas respectivamente na topologia
nal induzida por f e na topologia nal induzida por (a topologia
quociente) Pela caracterizacao de topologia nal dada pela Proposic ao 7.15,
isso implica que tanto

f quanto

f
1
s ao contnuas. Ou seja,

f e um
homeomorsmo.
Quanto ` a equivalencia entre os itens (1) e (3), considere S
1
com a
topologia induzida. Sabemos que, como f e contnua, entao

f tambem
e. Para concluir que todas as tres topologias s ao iguais, precisamos mostrar
que

f
1
e contnua quando S
1
e dotado da topologia induzida. Isso ser a
feito mais adiante. Sera consequencia direta da Proposicao ??.
Exemplo 7.30 (O Toro T
n
). A forma da Figura 7.1 e o chamado toro
bidimensional : T
2
. Uma generalizac ao e o toro n-dimensional : T
n
. O
crculo e o toro unidimensional.
Figura 7.1: Um toro bidimensional, alem de poder ser visto como um
subespaco do R
3
, pode tambem ser identicado com o produto cartesiano
S
1
2
. O toro e apenas a casca da gura.
O toro n-dimensional pode ser denido como o espaco produto S
1

S
1
de n c opias do crculo unitario (gura 7.1), mas tambem pode ser visto
como o espa co quociente R
n
/, onde a relac ao e dada por
a b a b Z
n
.
Costumamos denotar este quociente por R
n
/Z
n
.
Podemos colocar no toro a topologia produto ou a topologia quociente.
Novamente, ambas as topologias ir ao coincidir. Para ver isso, basta
84
7.5. Topologias das Sequencias Convergentes
considerar o diagrama comutativo
R
n

f
''
R
n
/Z
n

f
//
S
1
S
1
,
onde

f e dado por

f : R
n
/Z
n
S
1
S
1
([x
1
], . . . , [x
n
]) (exp(2ix
1
), . . . , exp(2ix
n
))
.
Note que

f e a identicac ao usual entre R
n
/Z
n
e S
1
n
.
7.5 Topologias das Sequencias
Convergentes
Esta sec ao pode (e deve!) ser omitida.

E apenas uma divagacao sobre
convergencia de sequencias. Ao fazer analogia com os espacos metricos, o
estudante frequentemente se pergunta porque e que nem sempre se pode
usar sequencias para determinar as propriedades topol ogicas de um espa co.
Se temos um conjunto X e uma topologia
X
sobre X, sabemos
exatamente quais s ao e quais n ao sao as sequencias convergentes. No
entanto, conhecer as sequencias convergentes nao garante que conhecamos
a topologia. De fato, duas topologias distintas podem ter exatamente as
mesmas sequencias convergentes, convergindo para os mesmos limites.
Exemplo 7.31 (Topologia Co-Enumeravel). Seja X um conjunto n ao
enumer avel, e

1
= T(X).
As sequencias convergentes em
1
s ao aquelas que a partir de um certo
ndice se tornam constantes. Ou seja, as sequencias constantes a menos de
um n umero nito de termos.
Considere agora
2
dada por

2
= A X [ A
c
e enumer avel.
Fica como exerccio mostrar que
2
e de fato uma topologia. Evidentemente
que as sequencias constantes a menos de um n umero nito de termos
85
7.5. Topologias das Sequencias Convergentes
convergem nesta e em qualquer outra topologia. Considere ent ao a
sequencia x
1
, x
2
, . Suponha que
x
n

2
x.
O conjunto
V = x
n
[ x
n
,= x
c
e vizinhanca aberta de x em
2
. A convergencia de x
n
implica que para um
certo N,
n > N x
n
V.
Mas x
n
s o est a em V se x
n
= x. Ou seja, x
n
e constante a menos,
possivelmente, de x
1
, , x
N
.
Pergunta: porque sabemos que
1
,=
2
?
Dado um espaco topol ogico (X,
X
), podemos indagar se existe uma
topologia
m
que e a menor onde as sequencias convergentes sao as mesmas
que de
X
. Tambem podemos nos perguntar se n ao existe a maior topologia

M
com esta mesma propriedade. Se existir,
m
ser a a interse cao da famlia
de todas as topologias

( ) tais que para todo x X,


x
n

x x
n

X
x.
Vamos denir
m
como sendo

m
=

.
Evidentemente que como
m

X
, entao toda vizinhanca de x em
m
tambem e uma vizinhanca em
X
. Portanto,
x
n

X
x x
n

m
x.
No entanto, a implica cao contr aria pode n ao ser verdadeira. Ou seja, e
possvel que, para a topologia
m
, nao tenhamos
x
n

m
x x
n

X
x.
Para um exemplo, veja:
http://math.stackexchange.com/questions/395980/topology-for-convergent-sequences
Por outro lado, vamos denir a topologia

M
=
_
V X

x
n

X
x V N, n N, x
n
V
_
.
86
7.5. Topologias das Sequencias Convergentes

E evidente que
M
e uma topologia e e mais forte que
X
. O leitor e
convidado a demonstrar essa armac ao.
Como
X

M
, sabemos que
x
n

M
x x
n

X
x.
Por outro lado, pela denic ao de
M
, sabemos que
x
n

X
x x
n

M
x.
Ou seja, sempre existe a topologia mais forte determinada pela famlia de
sequencias convergentes de uma toplogia
X
dada.
Denotando por T a famlia de topologias
T =

[ ,
temos que
M
=
_
T e tal que
M
T, mas pode ocorrer que
m
=
_
T
n ao pertenca a T.
87
CAP

ITULO 8
Conexidade
Ao nal da sec ao 7.1, discutimos a construc ao de um espaco topologico
formado pela uni ao disjunta de dois outros espacos. Os espacos conexos
s ao espacos que nao podem ser obtidos desta maneira. A conexidade e uma
propriedade preservada pelas aplicac oes contnuas (Teorema 8.10), e a forma
mais simples deste fenomeno e o conhecido Teorema do Valor Intermedi ario
(Corol ario 8.11).
8.1 Denicao e Exemplos
Denicao 8.1 (Conexidade). Um espaco topologico X e conexo quando
nao puder ser escrito como uniao disjunta nao trivial de abertos. Ou seja,
se
X =
_

,
onde todos os A

sao abertos, nao-vazios e disjuntos, entao # 1.


Um subconjunto de um espaco topologico e conexo quando for conexo
na topologia induzida. Um subconjunto que nao e conexo e desconexo.
Exemplo 8.2. Um intervalo I R e um conjunto que satisfaz
a, b I, a < x < b x I.
Se Y R n ao e um intervalo, entao n ao e conexo. De fato, tome a, b Y
e x , Y com a < x < b. Entao Y = (Y (, x)) (Y (x, )), e
portanto, Y e desconexo.
88
8.1. Denic ao e Exemplos
Em um espaco conexo X, um argumento padr ao consiste em mostrar
que os pontos x X que satisfazem determinada propriedade P(x) formam
um aberto, e os pontos que n ao satisfazem P(x) tambem formam um aberto.
Como o espaco n ao e uni ao disjunta n ao-trivial de abertos, ou teremos que
todos os pontos satisfazem P(x), ou que nenhum ponto satisfaz P(x).
Exemplo 8.3. Seja A R
n
um aberto conexo. Entao, dois pontos
quaisquer de A podem ser ligados por um caminho contnuo em A. Ou
seja, dados a, b A, existe f : [0, 1] A contnua, com f(0) = a e f(1) = b.
Vamos apenas esbocar a demonstracao. Os pormenores da demonstracao
cam como exerccio.
Seja C o conjunto dos pontos que podem ser ligados a a. Ent ao, C e
aberto. De fato, se c C, tomando > 0 tal que B

(c) A, temos que


todos os pontos b B

(c) podem ser ligados a c por um caminho retilneo.


Assim, concatenando o caminho de a ate c com o caminho de c ate b,
temos um caminho de a ate b. Portanto, B

(c) C. Ou seja, C e aberto.


Por outro lado, se c , C, tomando novamente > 0 tal que B

(c) A,
temos que nenhum ponto de B

(c) pode ser ligado a a (por que?). Ou seja,


A C
c
e aberto. Como a C, C e nao-vazio. Assim, podemos concluir
pela conexidade de A que C = A.
Exemplo 8.4. Mais adiante (Proposi cao 8.9), mostraremos que os
intervalos s ao conexos na topologia usual de R.
Para t [0, 1], considere uma famlia de curvas

t
: S
1
C

.
Seja N : [0, 1] Z o n umero total de voltas que a curva
t
faz em torno
da origem. Imagine que de alguma forma saibamos que N(t) e contnua.
Ent ao, o n umero total de voltas e o mesmo para todas as curvas
t
. De
fato, o intervalo [0, 1] pode ser escrito como
[0, 1] =
_
nZ
N
1
(n).
Como Z e discreto, todo subconjunto de Z e aberto. Assim, pela
continuidade de N(t), os conjuntos N
1
(n) s ao todos abertos (e disjuntos).
Pela conexidade do intervalo [0, 1], existe n
0
Z tal que
[0, 1] = N
1
(n
0
).
89
8.1. Denic ao e Exemplos
Exemplo 8.5. Nenhum subconjunto de Q com mais de um elemento e
conexo (na topologia induzida da topologia usual de R). De fato, seja
S Q, com a, b S distintos. Escolha c R Q entre a e b. Ent ao,
S = (S (, c)) (S (c, )) .
Note que esse exemplo e um caso particular do Exemplo 8.2. O que de
fato zemos, foi mostrar que S n ao e um intervalo, escolhendo c , S entre
a e b. Por ter essa propriedade, de que todos os conjuntos com mais de um
elemento s ao desconexos, dizemos que Q e totalmente desconexo.
Como de costume, vamos ver maneiras diferentes para dizer se um
conjunto e ou n ao conexo. Note que em um espaco topol ogico X, os
conjuntos e X s ao abertos e fechados ao mesmo tempo. Diremos que
um conjunto F X e aberto e fechado n ao-trivial quando for diferente de
e X.
Proposicao 8.6. Seja (X,
X
) um espaco topologico. Entao, sao
equivalentes:
1. X e conexo.
2. Nao existem U, V
X
nao-vazios e disjuntos tais que X = U V .
3. Nao existe A X aberto e fechado nao trivial. Ou seja, os unicos
subconjuntos de X que sao abertos e fechados ao mesmo tempo sao e
o proprio X.
Se Y X, entao sao equivalentes:
a. Y e conexo.
b. Se U, V
X
sao tais que Y U V = e Y U V , entao ou Y U,
ou Y V .
c. Nao existem um aberto A e um fechado F tais que
A Y = F Y Y.
Demonstracao. (1) (2).

E evidente que se X for conexo, nao podem existir U e V como os do


item (2). Por outro lado, se X n ao for conexo, existe uma famlia de abertos
A

( ), com # > 1, nao-vazios disjuntos, tais que


X =
_

.
90
8.1. Denic ao e Exemplos
Agora e s o separar em duas partes nao triviais
1
e
2
, e fazer
U =
_

1
A

e V =
_

2
A

.
(2) (3).
Basta fazer A = U para obter um conjunto aberto e fechado a partir do
item (2). Ou ent ao, fazer U = A e V = A
c
para obter os conjuntos do item
(2) a partir de um aberto e fechado A.
(a) (b) (c).

E s o usar o fato de que um aberto (um fechado) de Y na topologia


induzida e da forma A Y , onde A e um aberto (um fechado) de X.
Corolario 8.7. Um espaco topologico X e desconexo se, e somente se, todo
x X for tal que exista um conjunto F X aberto e fechado, com x F.
Demonstracao.

E evidente que se existe um tal F, ent ao X n ao e conexo.
Por outro lado, se X e desconexo, ent ao existe um aberto e fechado n ao
trivial A. Se x A, ent ao basta tomar F = A. Se x , A, ent ao basta
tomar F = A
c
.
Exemplo 8.8. Seja S Q, com a, b S distintos. Vamos mostrar
novamente (veja o Exemplo 8.5) que S n ao e conexo. Tome c R Q
entre a e b. Ent ao,
A = (c, ) e F = [c, )
satisfazem
A S = F S S.
Contrariando o item (c) da Proposicao 8.6.
Como ja e esperado, vamos mostrar que os subconjuntos conexos de R
s ao exatamente os intervalos.
Proposicao 8.9. Um subconjunto de R e conexo se, se somente se, for um
intervalo.
Demonstracao. No Exemplo 8.2, j a mostramos que os conjuntos conexos
s ao intervalos. Vamos mostrar ent ao que todos os intervalos s ao conexos.
Suponha ent ao que D R e um intervalo desconexo. Sejam U e V
abertos como os do item (b) da Proposi cao 8.6. Escolha a U D, e
91
8.2. Conexidade e Continuidade
b V D. Podemos supor que a < b. Seja I
a
o maior intervalo aberto tal
que
a I
a
U.
Para ver que tal I
a
existe, basta tomar a uni ao de todos os intervalos abertos
que contem a e est ao contidos em U. Ent ao, I
a
= (s, t), com t b. Como
D e um intervalo, t D. Alem disso, pela maximalidade de I
a
, temos que
t , U. Assim,
[a, t) U D e t V D.
Mas como V e vizinhanca de t, e t est a no fecho de [a, t), temos que V
[a, t) ,= . Em particular, V U D ,= . Contrariando a escolha de U e
V .
8.2 Conexidade e Continuidade
A propriedade mais importante dos conjuntos conexos e que sua imagem
por aplicac oes contnuas e tambem conexa. J a utilizamos este fato (de
forma oculta) no Exemplo 8.4.
Teorema 8.10. Seja f : X Y uma aplicacao contnua. Se A X e
conexo, entao f(A) e um subconjunto conexo de Y .
Demonstracao. Restringindo o domnio e o contra-domnio de f, podemos
assumir que A = X, e que f(A) = Y . Se Y n ao e conexo, ent ao existe F
Y n ao-trivial que e aberto e fechado. Pela continuidade de f, f
1
(F) e um
subconjunto de X n ao-vazio que e aberto e fechado. Como f e sobrejetiva,
temos que
f
1
(F) X.
Portanto, X n ao e conexo.
Uma aplica cao contnua f : (X,
X
) (Y,
Y
) e uma aplicac ao tal que
f
1
transporta
Y
pra dentro de
X
. Alternativamente ` a demonstrac ao
anterior, poderamos ter optado por escolher abertos como os do item (a),
(b) ou (c) da Proposi cao 8.6, e mostrar que esses abertos sao levados em
abertos de X que satisfazem as mesmas condi coes. Ao reduzir o problema
para o caso em que f e uma bijec ao, o passo seguinte constituiu em mostrar
que a imagem inversa de um conjunto desconexo por uma aplicac ao contnua
tambem e desconexa.
Corolario 8.11 (Teorema do Valor Intermedi ario). Seja I R um
intervalo qualquer, e f : I R uma aplicacao contnua. Entao, f(I) e
um intervalo.
92
8.3. Propriedades
Demonstracao. A Proposic ao 8.9 mostra que um subconjunto de Re conexo
se, e somente se, for um intervalo. Agora e so aplicar o Teorema 8.10.
8.3 Propriedades
Por vezes, e importante construir um conjunto e ao mesmo tempo garantir
que o conjunto construdo sera conexo. A maneira mais simples de se fazer
isso, e utilizando a proposic ao que segue.
Proposicao 8.12. Seja C

uma famlia de subconjuntos conexos de um


espaco topologico X, tal que existe
c

.
Entao a uniao

e um conjunto conexo.
Demonstracao. A forma tradicional de se demonstrar e tomando um par
de abertos U e V que particionam

, e mostrar que esses abertos


particionam ao menos um dos C

. Demonstrar dessa forma ca como


exerccio. Vamos fazer por um outro angulo. ;-)
Podemos assumir sem perda de generalidade que a uniao dos C

e todo
o espaco X (porque?). Suponha, entao, que F X e um conjunto que e
aberto e fechado com c F. Na topologia induzida em C

, os conjuntos
C

F s ao abertos e fechados n ao-vazios, e portanto, sao iguais a C

. Ou
seja, C

F. O que mostra que F = X.


Proposicao 8.13. Seja X um espaco topologico e C X um subconjunto
conexo. Entao, qualquer conjunto D X satisfazendo
C D C
e conexo.
Demonstracao. Novamente, ca como exerccio para o leitor utilizar um
argumento que envolva um particionamento por abertos como o do item
(b) da Proposic ao 8.6.
Podemos assumir que D = X (por que?). Seja F um conjunto aberto e
fechado nao vazio. Por ser aberto, F intersecta C (veja a Sec ao 6.1). Mas,
como C e conexo, temos que F C = C. Ou seja,
C F.
93
8.3. Propriedades
Mas como F e fechado, tomando o fecho, obtemos
X = C F.
Portanto, os unicos conjuntos que sao abertos e fechados ao mesmo tempo
s ao e X.
Por vezes, nos deparamos com propriedades em classes de conjuntos,
que s ao fechadas por uniao. Ou seja, se a famlia de conjuntos C

possui a
propriedade, entao o conjunto formado pela uni ao dos C

tambem possui
a mesma propriedade. Neste caso, podemos falar do maior conjunto que
tem a tal propriedade. No caso de conexidade em espacos topol ogicos,
a Proposic ao 8.12 nos permite fazer isso. Seja T
x
a famlia de todos
os subconjuntos do espaco topol ogico que sejam conexos e contenham x.
Ent ao, pela Proposic ao 8.12, o conjunto
C
x
=
_
CF
C
e conexo e contem x. Evidentemente que este e o maior conexo que contem
x.
Denicao 8.14 (Componente Conexa). Seja X um espaco topologico, e
x X um ponto qualquer de X. Entao, a componente conexa de x e o
maior conexo de X que contem o ponto x.
Proposicao 8.15. As componentes conexas particionam um espaco
topologico X. Em especial, a relacao x e y est ao na mesma componente
conexa e uma relacao de equivalencia.
Demonstracao. Para um elemento qualquer x X, vamos denotar por C
x
a componente conexa de x.

E evidente que X =

xX
C
x
. Precisamos
mostrar apenas que
y C
x
C
x
= C
y
.
Mas isso e evidente, j a que
y C
x
C
x
C
y
e conexo.
Proposicao 8.16. Em um espaco topologico X, a componente conexa de
um ponto x X qualquer e fechada.
Demonstracao.

E imediato da Proposic ao 8.13 e da maximalidade da
componente conexa.
94
8.3. Propriedades
As componentes conexas de um aberto A R
n
s ao abertas, mas isso
nem sempre acontece em outros espacos topol ogicos. Os Exemplos 8.5 e
8.8 mostram que as componentes conexas de Q s ao conjuntos unitarios, que
n ao s ao abertos na toplogia induzida de R em Q.
Exemplo 8.17. Seja A R um aberto, e C A uma componente conexa
de A. Vamos vericar que C e aberto. Para tanto, note que dado a C,
existe um intervalo (conexo) aberto V , com a V A. Pela maximalidade
de C, temos que V C. Ou seja, C e vizinhanca de todos os seus pontos.
Se, em uma famlia de espa cos topol ogicos um deles nao e conexo, e facil
ver que o produto desses espacos tambem n ao e conexo. E se todos forem
conexos, sera que ainda assim o produto pode ser desconexo?
Proposicao 8.18. O produto X de uma famlia X

( ) de espacos
topologicos nao vazios e conexo se, e somente se, todos os espacos X

forem
conexos.
Demonstracao. Se o produto e conexo, ent ao X

(X) e a imagem de
um conexo por uma aplicac ao contnua. Portanto, pelo Teorema 8.10, cada
X

e conexo.
Suponha que todos os X

s ao conexos. Tome x = (x

) X. Pela
Proposic ao 7.25, para cada , os conjuntos
X(, x) =

(x

)
s ao homeomorfos a X

, e portanto, s ao conexos. Note que todos eles contem


o elemento x. Pela Proposicao 8.12, a uni ao
X(x) =
_

X(, x)
e conexa. Note que X(x) e o conjunto de todos os elementos de X que
diferem de x em no m aximo uma entrada.
Seja u X um elemento qualquer. Denote por C
u
a componente conexa
de u. Vamos mostrar que C
u
e denso em X. O argumento anterior, mostra
que se x C
u
, ent ao X(x) C
u
. Por induc ao, todos os elementos que
diferem de u em apenas um n umero nito de entradas pertencem a u.
Tome um aberto A X da forma
A =
n

j=1

j
(A
j
).
95
8.4. Conexidade por Caminhos
Esses abertos formam uma base da topologia produto.

E claro que existe
um a A tal que para todo ,
1
, . . . ,
n
,

(a) =

(u). Ou seja,
a C
u
. E portanto, C
u
e denso em X. Como C
u
e fechado, C
u
= X.
8.4 Conexidade por Caminhos
Os espa cos como os do Exemplo 8.3, onde todos os pontos podem ser
ligados por um caminho contnuo, s ao os espa cos conexos por caminhos.
Vamos denir formalmente e vericar algumas propriedades interessantes
dos espacos conexos por caminhos. Em especial, vamos ver que a conexidade
por caminhos e uma propriedade mais forte que a conexidade. Ou seja,
todos os espacos conexos por caminhos s ao conexos.
Denicao 8.19 (Caminho). Seja X um espaco topologico. Um caminho
em X e uma aplicacao contnua
f : [0, 1] X.
Dados a, b X, um caminho ligando a a b e um caminho em X tal que
f(0) = a e f(1) = b.
Observacao 8.20. Uma aplicacao contnua f : I X, onde I e um
intervalo fechado e limitado de R pode ser facilmente transformada em
um caminho (com domnio [0, 1]). Por isso, de agora em diante, vamos usar
um certo abuso de linguagem, e dizer que f e um caminho em X.
Proposicao 8.21. Sejam f e g caminhos em um espaco topologico X
ligando os pontos a, b X e b, c X respectivamente. Entao, a aplicacao
(f g)(t) =
_
f(2t) , 0 t
1
2
g(2t 1) ,
1
2
t 1
e um caminho em X ligando a e c.
Demonstracao. A parte mais difcil e mostrar que f g e contnua no ponto
1
2
. Seja V X uma vizinhanca de b = (f g)
_
1
2
_
Ent ao,
(f g)
1
(V ) =
1
2
f
1
(V )
1
2
_
1 + g
1
(V )
_

1
2
(, 1]
1
2
(1 + [0, ))
=
_

2
,
+ 1
2
_
.
Portanto, f g e contnua em
1
2
.
96
8.4. Conexidade por Caminhos
A Proposic ao 8.21 mostra que a relac ao de existir um caminho ligando
x a y e transitiva. Como e evidentemente simetrica e reexiva, e uma
relac ao de equivalencia. Cada classe de equivalencia dessa relac ao sera uma
componente conexa por caminhos.
Denicao 8.22 (Conexidade por Caminhos). Um espaco topologico X e
conexo por caminhos quando para quaisquer dois pontos x, y X, existir
um caminho ligando x a y. Dado x X, a componente conexa por
caminhos de x e o conjunto de todos os pontos y X tais que existe um
caminho ligando x a y.
Um subconjunto de X e conexo por caminhos quando o for na topologia
induzida.
Proposicao 8.23. Em um espaco topologico X, se um conjunto Y Xe
conexo por caminhos, entao e conexo.
Demonstracao. Tome a Y . Ent ao,
Y =
_
f: caminho em Y
f(0)=a
f([0, 1]).
Os conjuntos f([0, 1]) sao conexos por serem imagem do conexo [0, 1] pela
aplicac ao contnua f. Assim, esta e uma uni ao de conjuntos conexos que
possuem a como ponto em comum. Por 8.12, Y e conexo.
Sabemos que um conjunto conexo por caminhos e conexo. Vejamos um
exemplo de um espaco conexo que n ao e conexo por caminhos.
Exemplo 8.24 (Espaco Pente). Seja K =
_
1
n

n = 1, 2, . . .
_
. Considere
os subconjuntos de R
2
P
1
= 0 (0, 1] e P
2
= ((0, 1] 0) (K [0, 1]) .
O espaco pente e o conjunto P = P
1
P
2
com a topologia induzida de R
2
.
Veja a Figura 8.1.

E facil ver que P e conexo. De fato, como
P
2
P P
2
,
e como P
2
e conexo, pela Proposic ao 8.13, P e conexo. No entanto, P n ao
e conexo por caminhos. A demonstrac ao sera dada no Exemplo ??.
Uma variac ao mais simples do espaco pente, e o conjunto
P

= (0, 1) P
2
.
97
8.5. Conexidade Local
Figura 8.1: Um espaco topologico que e conexo, mas que nao e conexo por
caminhos.
Assim como P, P

tambem e conexo. Suponha que f : [0, 1] P

seja um
caminho emP

, partindo de p = (0, 1). Evidentemente que F = f


1
(p) e um
fechado de [0, 1]. Vamos mostrar que F tambem e aberto, para concluirmos
que f e um caminho constante. Ou seja, que p n ao pode ser ligado a nenhum
outro ponto de P
2
por um caminho em P

. Tome a F. Seja B
p
a bola de
raio
1
2
com centro em p. Tome I [0, 1] como sendo a componente conexa
de f
1
(B
p
) que contem a. Ent ao, f[
I
e um caminho em B
p
P

. Mas todos
os caminhos em B
p
P

que passam em p s ao constantes. Pelos os exerccios


8.4.1 e 8.4.2, I e aberto. E como a F e arbitr ario, F e aberto.
Exerccios
8.4.1. Mostre que as componentes conexas de um aberto A de [0, 1] s ao
intervalos abertos em [0, 1].
8.4.2. Mostre que a componente conexa de B
p
P

do Exemplo 8.24 que


contem p e p.
8.4.3. Mostre que a componente conexa por caminhos que contem a e o
maior conjunto conexo por caminhos que contem a.
8.5 Conexidade Local
As componentes conexas de um espaco topologico sao sempre fechadas, mas
nem sempre sao abertas. Por exemplo, Q, com a topologia usual (induzida
de R), e tal que suas componentes conexas s ao os subconjuntos unit arios.
98
8.5. Conexidade Local
No entanto, os conjuntos unit arios de Q n ao sao abertos, haja visto que
todo aberto de R contem innitos racionais. Uma propriedade que garante,
por exemplo, que as componentes conexas s ao abertas, e a conexidade local.
Denicao 8.25 (Conexidade Local). Um espaco topologico e localmente
conexo quando todo ponto possui uma base de vizinhancas conexas. Se
possuir uma base de vizinhancas conexas por caminhos, dizemos que o
espaco e localmente conexo por caminhos.

E evidente que um espa co localmente conexo por caminhos e localmente


conexo. No Exemplo 8.17, mostramos que as componentes conexas de um
aberto de R s ao sempre abertas. A essencia da demonstrac ao est a no fato de
R, e consequentemente os abertos de R serem espacos localmente conexos.
Da mesma forma, o Exemplo 8.3 mostra que as componentes conexas de
um aberto de R s ao conexas por caminhos. Novamente, a essencia da
demonstrac ao se encontra no fato de R ser localmente conexo por caminhos.
Proposicao 8.26. Seja A um aberto conexo de um espaco topologico
localmente conexo por caminhos X. Entao, A e conexo por caminhos.
Demonstracao. O espaco A, com a topologia induzida, tambem e
localmente conexo por caminhos (por que?). Portanto, podemos assumir
sem perda de generalidade que A = X.
Seja C uma componente conexa por caminhos de A. Como A e
localmente conexo por caminhos, C e aberto. Ou seja, A e a uni ao disjunta
de suas componentes conexas por caminhos, que sao conjuntos abertos.
Portanto, pela conexidade de A, so pode existir uma componente conexa
por caminhos.
O espaco pente do Exemplo 8.24 e um exemplo de um espaco conexo
que nao e localmente conexo. Note que se acrescentarmos o ponto (0, 0) ao
espaco pente do exemplo, teremos um espa co que e conexo por caminhos
mas que n ao e localmente conexo.
Exerccios
8.5.1. Mostre que todas as componentes conexas de um espaco localmente
conexo sao abertas.
8.5.2. Mostre que em um espa co topologico, as componentes conexas serem
abertas equivale a dizer que todo ponto possu uma vizinhanca conexa.
99
8.5. Conexidade Local
8.5.3. Mostre que em um espa co topol ogico localmente conexo por
caminhos, as componentes conexas sao exatamente iguais ` as componentes
conexas por caminhos.
8.5.4. A demonstrac ao da Proposic ao 8.26 poderia ter sido feita de um
modo um pouco mais pedestre. Poderiamos ter tomado a A, mostrado
que sua componente conexa por caminhos C e aberta, e depois ter tomado
b C
c
, e mostrado que existe uma vizinhanca V de b, tal que b V
C
c
. Para concluirmos que C
c
e um aberto. Faca esta demonstracao mais
detalhadamente e compare com a demonstrac ao da Proposic ao 8.26.
8.5.5. Considere o conjunto P
2
do Exemplo 8.24. Mostre que P
2
e conexo,
conexo por caminhos, mas n ao e localmente conexo por caminhos. E P
2
e
localmente conexo por caminhos?
100
Dicas e Respostas dos
Exerccios
Dicas
3.1.1 Tome bolas de raios cada vez menores.
3.1.2 Faca exatamente como no exerccio 3.1.1.
3.1.3 Use o fato de que as bolas s ao vizinhancas de todos os seus pontos.
3.1.5 Use o exerccio 3.1.1 para escolher n
k
e m
k
de modo que para qualquer
V 1 (x), x
m
k
n
k
esteja em V para k sucientemente grande.
8.4.1 Basta usar que [0, 1] e localmente conexo.
8.4.2 Escolha q B
p
P

distinto de p, e mostre que p n ao pertence ` a


componente conexa de q.
8.4.3 Faca como na Proposic ao 8.12, e observe o comentario feito antes da
denic ao de componente conexa (Denic ao 8.14).
8.5.1 Tome um ponto da componente conexa e mostre que a componente
e uma vizinhanca deste ponto.
8.5.2 Faca como no Exemplo 8.3.
8.5.3 Observe que as componentes conexas sao abertas.
8.5.5 Mostre que n ao e localmente conexo.
101
Respostas
1.1.1 y B

(x) d(x, y) < d(y, x) < x B

(y).
1.1.2 y B

(x) d(x, y) < d(x, y) < y B

(x).
1.1.3 N ao. Veja o Exemplo 1.9.
1.1.4 Sim. Pois o item (2) garante que d(z, y) = d(y, z).
1.1.5 Sim. Fazendo z = y, teremos
d(x, y) d(y, x) + d(y, y) = d(y, x).
Trocando os papeis de x e y obtemos a desigualdade inversa.
1.1.6

E f acil ver que se d e uma metrica, ira satisfazer as condic oes
enunciadas. Para ver que essas condi coes garantem que d e uma metrica,
faca como no exerccio 1.1.5 para concluir que d(x, y) = d(y, x), e como no
exerccio 1.1.4 para concluir que vale a desigualdade triangular.
1.1.7 Veja o exerccio 1.3.7.
1.1.8 Quem zer isso, por favor, mande um e-mail para
topologia-geral-discussion@lists.ourproject.org.
1.2.1

E evidente que para 0 < < , B

(x) B

(x). Assim, a uniao


tambem est a contida em B

(x). Por outro lado, se y B

(x), ent ao
d(x, y) < . Tomando

satisfazendo d(x, y) <

< , temos que


y B

(x). Portanto
B

(x)
_
0<<
B

(x).
1.2.2

E evidente que x est a na interse cao. Precisamos apenas mostrar que
y ,= x n ao est a. Basta entao tomar k

tal que
1
n
k

< d(x, y) para que


y , B 1
n
k

(x).
1.2.3 Use a Proposic ao 1.5 para obter n umeros reais
1
, . . . ,
n
maiores que
zero, tais que B

j
(x) B

j
(x
j
). Basta fazer = min(
1
, . . . ,
n
).
1.2.4 Porque pode ser que inf(
j
) = 0.
102
1.2.5 Para mostrar que um ponto y ,= x n ao est a na intersecao, foi usdado
que d(x, y) = 0 x = y. Para mostrar que x est a na intersecao, foi usado
que d(x, x) = 0. Ou seja, x = y d(x, y) = 0.
1.2.6 O item (1) serviu para que > 0. O item (2) nao serviu em nada na
demonstrac ao, mas se tivessemos enunciado que existem duas bolas que
separam os pontos x e y, teria servido para garantir que x B

(x), e y
B

(y). Sem o item (3), nao poderamos garantir que a B

(y) d(a, y) <


. Finalmente, a desigualdade triangular serviu para que a intersecao das
bolas fosse vazia. Ou seja, se
a B

(x) B

(y),
ent ao
d(x, y) d(x, a) + d(a, y) < + d(x, y).
1.3.1 1. d ((a
1
, b
1
), (a
2
, b
2
)) = 0 d
A
(a
1
, a
2
) = 0 e d
B
(b
1
, b
2
) = 0
(a
1
, b
1
) = (a
2
, b
2
).
2. Evidente.
3. Note que
d
A
(a
1
, a
3
) d
A
(a
1
, a
2
) + d
A
(a
2
, a
3
)
max d
A
(a
1
, a
2
), d
B
(b
1
, b
2
) + max d
A
(a
2
, a
3
), d
B
(b
2
, b
3
).
E do mesmo modo,
d
B
(b
1
, b
3
)
max d
A
(a
1
, a
2
), d
B
(b
1
, b
2
) + max d
A
(a
2
, a
3
), d
B
(b
2
, b
3
).
Assim,
max d
A
(a
1
, a
3
), d
B
(b
1
, b
3
)
max d
A
(a
1
, a
2
), d
B
(b
1
, b
2
) + max d
A
(a
2
, a
3
), d
B
(b
2
, b
3
).
1.3.2 Primeiramente, precisamos mostrar que para todos os (x

), (y

) X,
sup

d
X

(x

, y

) < .
Mas isso vem do fato de que a imagem de d
X

est a contida em [0, 1].


1. d ((x

), (y

)) = 0 , d
X

(x

, y

) = 0 (x

) = (y

).
103
2. Evidente.
3. Note que para cada ,
d
X

(x

, z

) d
X

(x

, y

) + d
X

(y

, z

)
sup

d
X

(x

, y

) + sup

d
X

(y

, z

).
Assim, tomando o supremo em ,
sup

d
X

(x

, z

) sup

d
X

(x

, y

) + sup

d
X

(y

, z

).
1.3.3 Mesmo com a possiblidade de d (x, y) = , as propriedades
demonstradas no exerccio 1.3.2 s ao v alidas. Para ver que d[

X

X
n ao assume
o valor , basta observar que se x, y

X, entao
d (x, y) d (x, a) + d (y, a) < .
1.3.4 Basta fazer exatamente como nos exerccios 1.3.2 e 1.3.3.
1.3.5 Basta utilizar o exerccio 1.3.4, e reparar que

X = X, pois para todo
x X,
d (x, a) =

n=1
1
2
n
d
X
n
(x
n
, y
n
)

n=1
1
2
n
.
1.3.6 d ((x
1
, x
2
), (y
1
, y
2
)) = [x
1
y
1
[.
1.3.7 Para o item (1), se x = y, ent ao d (x, y) = [x y[ = 0. Por outro
lado, se d (x, y) = 0, ent ao [x y[ = 0. Ou seja, x = y.
Para o item (3), note que [x y[ d (x, y). Portanto, se x e diferente
de 0, entao
d (x, z) = [x z[ [x y[ +[y z[ d (x, y) + d (y, z).
Se x = y, a desigualdade triangular e evidente, pois neste caso, d (x, y) = 0.
Se x = 0 e y ,= x, entao
d (x, z) 1 1 + d (y, z) = d (x, y) + d (y, z).
Para ver que d n ao e uma metrica, basta notar que d
_
0,
1
2
_
= 1,
enquanto que d
_
1
2
, 0
_
=
1
2
.
2.1.1 Em R, com a metrica euclidiana, temos, por exemplo, x
n
= (1)
n
.
Um outro exemplo em R, e a sequencia x
n
= n.
104
2.1.2 Suponha que x
n
x, e x ,= y. Escolha > 0 tal que <
d(x,y)
2
,
ent ao existe N N, tal que n N d(x
n
, x) < . Em particular, para
todo n N, temos que d(x
n
, y) d(x, y) d(x
n
, x) >
d(x,y)
2
> . Ou seja,
x
n
n ao converge para y.
2.1.3 Signica que existe N N tal que para n > N, x
n
= x.
2.1.4 Vamos xar j N. Se x
n
x, ent ao para todo > 0 existe
N N tal que para todo n > N teremos que

k=1
1
2
k
[x
n
k
x
k
[ <

2
j
. Em
particular, para todo n > N, [x
n
j
x
j
[ < . Ou seja, para todo j, x
n
j
x
j
.
Por outro lado, se para todo j, x
n
j
x
j
, entao, dado > 0, existe N
j
tal
que para todo n > N
j
, [x
n
j
x
j
[ <

2
. Agora, seja M tal que

j=M+1
1
2
j
<

2
.
Ent ao, e so escolher N = max
M
j=1
N
j
. De fato, para n > N, teremos que
d (x
n
, x) =

j=1
1
2
j
[x
n
j
x
j
[

j=1
1
2
j

2
+

2


2
+

2
= .
2.1.5 Por exemplo,
1. x
n
j
=
_
0 , j n
1 , j < n
.
2. x
n
j
=
_
1 , j = n
0 , j ,= n
.
2.1.6 Basta observar que
d (x
n
, x) < j N, [x
j
x
n
j
[ < .
2.1.7 Os exemplos listados na respostado exerccio 2.1.5.
2.2.1 Seja x
n
, x X, com x
n
x. Ent ao, f(x
n
) = f(x) f(x).
2.2.2 A continuidade de f e imediata dos exerccios 2.1.4 e 2.1.6. J a o
exerccio 2.1.7, mostra que a inversa n ao e contnua.
2.2.3 Seja a = (a
j
) X um ponto qualquer do domnio de f
1
. E seja
e
n
= (
nj
) X, onde
nj
e 0 quando n ,= j, e 1 quando n = j. Entao,
a + e
n
a em (X, 2), mas a + e
n
, a em (X, 1).
105
2.2.4 Suponha que x
n
, x Q com x
n
x. Se x <

2, ent ao existe
q Q tal que x < q <

2. Portanto, existe N N tal que para n > N,


x
n
< q. Em particular, para n > N, temos que f(x
n
) = 0. Portanto
f(x
n
) 0 = f(x).
Por outro lado, se x

2, ent ao x >

2. E da mesma forma que


no caso x <

2, teremos que existe q Q satisfazendo x > q >

2, e
N N tal que para n > N temos x
n
> q. O que implica que para n > N,
f(x
n
) = 1 = f(x). Em particular, f(x
n
) f(x).
2.2.5 A aplicac ao f[
Q
e uma aplicac ao constante. Pelo exerccio 2.2.1, f[
Q
e contnua. No entanto, escolhendo a RQ, temos que para todo racional
q, q +
a
n
e irracional e converge para q. Como, f(q +
a
n
) = 1 , 0 = f(q),
temos que f n ao e contnua em q.
2.3.1 A arma cao e exatamente a mesma que a equivalencia entre os itens
(1) e (3) da Proposicao 2.10.
2.3.2 Suponha que f e contnua em todo ponto. Ent ao, dado um aberto
U Y , vamso mostrar que f
1
(U) e um aberto de X. De fato, se x
f
1
(U), entao f(x) U. Como U e aberto, U e vizinhanca de f(x).
Pelo exerccio 2.3.1, f
1
(U) e vizinhanca de x. Como x era um elemento
arbitr ario de f
1
(U), temos que f
1
(U) e aberto.
Por outro lado, suponha que f
1
(U) e aberto para todo aberto U
Y . Note que para x X, a Proposi cao 1.4 garante que B

(f(x)) e um
aberto de Y . portanto f
1
(B

(f(x))) e um aberto de X. Em particular,


f
1
(B

(f(x))) e uma vizinhanca de x, e portanto, existe uma bola B

(x)
f
1
(B

(f(x))). Ou seja, f e contnua em x pelo item (2) da Proposicao


2.10. Como x X e qualquer, temos que f e contnua.
2.3.3 Sabemos que x
n
x se, e somente se, para toda bola B

(x) centrada
em x, N
B

(x)
for nito. Portanto, se para toda a vizinhanca V tivermos N
V
nito, em particular teremos N
B

(x)
nito.
Por outro lado, se N
B

(x)
e sempre nito, entao dada uma viznhan ca
V qualquer de x, temos que existe > 0 tal que B

(x) V . Neste caso,


N
V
N
B

(x)
< .
2.3.4 Pelo exerccio 2.3.3, se x
n
x, como A e vizinhanca de x, N
A
e
nito.
Por outro lado, se N
A
e sempre nito para um conjunto aberto A que
contenha x, ent ao, como pela Proposic ao 1.4 sabemos que B

(x) e um
conjunto aberto, temos que N
B

(x)
e nito para todo > 0. Ou seja,
x
n
x.
106
3.1.1 Basta escolher B =
_
B1
n
(x)

n N
_
. Se V 1 (x), ent ao existe
> 0 tal que B

(x) V . Se tomarmos n N tal que


1
n
, entao
B1
n
(x) B

(x) V . A relacao de inclusao entre as bolas segue do fato de


que B1
n
(x) B1
m
(x) se, e somente se, n m.
3.1.2 Denote por
J = V X [ n N, B

n
(x) V
o conjunto que queremos mostrar ser igual a 1 (x).

E evidente que J
1 (x), pois todo elemento de J contem uma bola centrada em x. Se V
1 (x), ent ao existe > 0 tal que B

(x) V . Mas como


n
0, ent ao
existe n N tal que
n
. Para este n, temos que B

n
(x) B

(x) V .
3.1.3 Denote por
J = V X [ B B, B V
o conjunto que queremos mostrar ser igual a 1 (x). Como todos os elementos
de B s ao vizinhancas de todos os seus pontos, e todos eles contem o ponto x,
temos que B 1 (x). Sabemos que se B 1 (x), e B V , entao V 1 (x).
Assim, J 1 (x). Por outro lado, como B contem o conjunto de todas as
bolas centradas em x, a deni cao de 1 (x) implica que 1 (x) J.
3.1.4 Como x
n
x, j a sabemos pela Proposicao 3.3, que o conjunto N
V
e
nito. Precisamos mostrar que se N
V
n ao for uma vizinhan ca de x, entao
existe uma sequencia x
n
x tal que N
V
n ao e nito. Com V n ao e uma
vizinhanca de x, ent ao para cada n N, a bola B1
n
(x) n ao esta contida em
V . Basta entao tomar x
n
B1
n
(x) V .
3.1.5 Seja B = B
1
, B
2
, . . . 1 (x), a famlia do exerccio 3.1.1, ordenada
de modo que B
1
B
2
. Fa ca n
1
= m
1
= 1. E para k > 1, escolha
indutivamente n
k
> n
k1
tal que x
n
k
B
k
. Como B
k
e vizinhanca de x
n
k
,
podemos escolher m
k
> m
k1
tal que x
m
k
n
k
B
k
.
Para ver que x
m
k
n
k
x, escolha uma vizinhan ca qualquer V 1 (x).
Para este V , existe pelo exerccio 3.1.1 , K N tal que B
K
V . Pela
construc ao de x
m
k
n
k
, temos que para k K, x
m
k
n
k
B
k
B
K
V .
7.3.1 Suponha que (x, y) Gr (f). Ent ao, como Y e um espaco metrico,
existem vizinhancas disjuntas U e V de y e f(x) respectivamente. Pela
continuidade de f, A = f
1
(V ) e vizinhanca de x. E pela denic ao de
topologia produto, A U e uma vizinhanca de (x, y). Como este e um
107
ponto que est a no fecho do gr aco de f, a vizinhanca A U intersepta o
gr aco. Ou seja, existe a X tal que a A = f
1
(V ) e f(a) U. Mas
isto implica que f(a) V e f(a) U. O que n ao e possvel, j a que U e V
s ao vizinhan cas disjuntas.
7.3.2 Seja Y = 0, 1 com a topologia , Y , e f constante igual a 0.
Ent ao o gr aco de f e o conjunto
Gr (f) = X 0.
Mas este conjunto n ao e fechado na topologia produto. (por que?)
7.3.3 O exerccio 7.3.1 mostra que H e um subconjunto fechado de (R
0) R. Para concluir que e um subconjunto fechado de R
2
, precisamos
apenas mostrar que nenhum ponto da forma (0, y) est a no fecho de H (por
que isso e suciente?).
Ent ao tome um ponto qualquer da forma (0, y). Para qualquer w > [y[,
_

1
w
,
1
w
_
(w, w)
e uma vizinhanca de (0, y) que n ao intersepta H (por que?).
7.3.4 Pela denicao de H, a projec ao na primeira coordenada e o conjunto
x X [ x ,= 0,
que evidentemente nao e fechado. Consequentemente, neste caso, a proje cao
n ao e uma aplica cao fechada.
8.4.1 Os conexos de R s ao intervalos. Portanto, os conexos de [0, 1] s ao
intervalos. Se C e uma componente conexa do aberto, ent ao, para cada
a C, existe um intervalo J, aberto em [0, 1], com a J A. Por terem
o ponto a em comum, J C A e conexo. Pela maximalidade de C,
J C = C. Ou seja, J C. E portanto, C e vizinhanca de a. Como a C
e um ponto qualquer de C, temos que C e aberto.
8.4.2 Escolha q B
p
P

distinto de p.

E f acil ver que p n ao pertence ` a
componente conexa de q, pois p e q podem ser separados por [0, r) R e
(r, 1] R, onde r e um irracional entre 0 e a primeira coordenada de q.
108
8.4.3 Vamos chamar de X o espaco topologico em questao. Primeiramente,
precisamos mostrar que a denic ao maior conexo por caminhos que contem
a faz sentido. Para tanto, basta observar que a uniao de conjuntos conexos
por caminhos que contem um ponto em comum a e conexa por caminhos.
Sendo assim,
D =
_
E: conexo por caminhos
aE
E.
Se C e a componente conexa por caminhos que contem a, entao,
evidentemente, D C, pois todos os pontos de D podem ser ligados a
a por um caminho. Por outro lado, C e conexo por caminhos. De fato, se
c, d C, entao existe um caminho em X que une c a a, e um que une a a
d. Observe que este caminho esta em C, pois cada ponto do caminho pode
ser ligado a a. Agora, basta concatenar esses dois caminhos, utilizando a
Proposic ao 8.21, para obter um caminho em C ligando c a d. Ou seja,
C D.
8.5.1 Seja C uma componente conexa. Tome a C. Por ser um
espaco localmente conexo, existe uma vizinhanca V de a conexa. Pela
maximalidade da componente conexa C, temos que V C. Ou seja, C e
vizinhanca de a.
8.5.2 Evidentemente que se as componentes conexas s ao abertas, ent ao
todo ponto possui uma vizinhanca conexa. Suponha que todo ponto possui
uma vizinhan ca conexa. Seja a um ponto qualquer, e C sua componente
conexa. Se V e uma vizinhanca conexa de a, entao, pela maximalidade de
C, temos que V C. Ou seja, C e uma vizinhanca de a.
8.5.3 Por ser localmente conexo por caminhos, o espaco e, em particular,
localmente conexo. Assim, as componentes conexas s ao abertas. Seja
C a componente conexa por caminhos que contem um ponto a, e D a
componente conexa de a. Como C e conexo, temos que C D. Mas
D e conexo e localmente conexo por caminhos (por que?). Portanto, a
Proposic ao 8.26 nos garante que D e conexo por caminhos. E portanto,
D C.
8.5.4 A demonstracao de que C e aberta e feita como na proposic ao.
Tomando b C
c
, escolhemos uma vizinhan ca conexa por caminhos V de b.
Agora, nenhum elemento de V pode ser ligado a a, pois isso contrariaria o
fato de a n ao poder ser ligado a b. Assim, vemos que b V C
c
. Ou seja,
C
c
e um aberto, e pela conexidade de A, e vazio.
109
Comparac ao: Na demonstrac ao da proposic ao, utilizamos o fato de as
componentes conexas por caminhos serem conjuntos disjuntos, enquanto
que na demonstrac ao alternativa, mostramos que V e C s ao disjuntos.
Os argumentos para mostrar essas duas coisas e exatamente o mesmo.
Essencialmente, e tudo a mesma coisa. . . :-)
8.5.5 Vamos mostrar apenas que P
2
n ao e localmente conexo por caminhos.
No enunciado n ao diz, mas basta mostrar que P
2
tambem n ao e localmente
conexo! Basta notar que as vizinhancas de (0, 1) intersectam um n umero
innito de dentes do pente, mas que no entanto, se essas vizinhancas nao
intersectarem (0, 1] 0, nao ser ao conexas, e portanto, nao serao conexas
por caminhos.
Sim, P
2
e localmente conexo por caminhos. De fato, e localmente
conexo, pois cada dente do pente pode ser isolado um do outro com
um aberto.
110

Potrebbero piacerti anche