Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
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
(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).
Demonstracao. Basta tomar < d(x, y). Neste caso,
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
, 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
. Mostre que
d : X X R
+
((x
), (y
)) sup
d
X
(x
, y
)
e uma metrica.
1.3.3. Seja (X
, d
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
, 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
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).
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
(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.
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,
(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
, ( ) 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 (
), ) = ((
, ).
Demonstracao. Vamos mostrar apenas o item (8), que e mais difcil. O
restante ca como exerccio. :-)
_
_
_
_
_
((
)
_
.
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
=
_
_
AB
B
_
.
Novamente,
( B
X
(B).
Para 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
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 =
_
, B
B. Assim,
A B =
_
(,)
A
,
sendo que, e facil vericar que as hipoteses do item (5) implicam que cada
A
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
.
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
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.
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.
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
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
(
: (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
.
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
)
id
//
f
%%
(X,
X
)
f
(Y,
Y
)
.
Neste caso, como
X
satisfaz as condi coes do enunciado e f e contnua
na topologia
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
g e contnua.
Demonstracao. Unicidade.
Seja
X
uma topologia que satisfaz as condi coes do enunciado, e
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
, 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
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
, onde A
( ). 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
onde as
projecoes em cada coordenada,
(x
,
sao contnuas. O espaco (topologico) produto
(X
), e o conjunto
) espacos topologicos, e
as projecoes
canonicas
.
Entao, cada
,
onde A
de A e A
) espacos topologicos, X =
o
espaco produto e
as projecoes canonicas
: X X
.
Entao, escolhendo 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
(A),
onde A e um aberto de X
[
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
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
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
(c) A,
temos que nenhum ponto de B
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).
.
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).
.
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 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
. Ou
seja, 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
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
seja um
caminho emP
. 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
(y).
1.1.2 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), ent ao
d(x, y) < . Tomando
(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
(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
(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
), (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, ent ao x >
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
(x)
f
1
(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)
< .
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
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
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