Topologia

TOPOLOGIA GERAL
Mauricio A. Vilches
Departamento de Anlise - IME

UERJ
2
Copyright by Mauricio A. Vilches

Todos os direitos reservados
Proibida a reproduo parcial ou total
3
PREFCIO
a topologia aprece no sequlo

Provavelmente a topologia a mais novas das linhas da Matemtica clssica pois
com o nome de Anlise Situs, isto anlise
sa posio. Muitos autores concordam que o primeiro em tentar estudar propri-
edades topologicas foi Leibniz em

, posteriormente Euler em
publica a
soluo do problema das pontes da cidade de Knigsberg, institulado "Solutio
problematis ad geometriam situs pertinentis". As bases da topologia moderna
foram cimentada no Congresso Internacional de Matemticos de
em Roma,
onde Riesz propoe um caracter axiomatico da topologia, baseado na teoria de
conjunto, sem o conceito de distncia subjacente. Em
, Hausdorff define os
conjuntos abertos atravs de de axiomas, sem consideraoes mtricas. Existem
outras vertientes onde a topologia echou novos impulsos para seu desenvolvi-
mento, por exemplo, no Anlise Funcional e as Equaes Diferenciais Ordinarias,
atraves de Banach e Poincar, respectivamente.
A topologia utiliza os mesmos objetos que a Geometria, com a seguinte diferen-
a: no interessa a distncia, os ngulos nem a configurao dos pontos. Na
topologia objetos que podam transformase em outros, atraves de funes cont-
nuas reversivis, so equivalentes e indestinguiveis na topologia. Por exemplo,
crculos e elipses, esferas e paralelelppedos.
A topologia pr-requisitos bsico em quasi todas as reas da Matemtica mo-
derna, da Geometria Diferencial lgebra e fonte atual de efervecente pesquisa.
Mauricio A. Vilches
Rio de Janeiro
4
Contedo
1 Espaos Topolgicos 7
1.1 Conjuntos Abertos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Conjuntos Fechados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.1 Subbases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.2 Topologia Relativa . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4 Pontos e Conjuntos Notveis . . . . . . . . . . . . . . . . . . . . . . 23
1.5 Espaos Mtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.5.1 Conjuntos Abertos e Fechados em Espaos Mtricos . . . . . 31
1.5.2 Espaos Vetoriais Normados . . . . . . . . . . . . . . . . . . 33
1.5.3 Espaos Vetoriais com Produto Interno . . . . . . . . . . . . 34
2 Funes em Espaos Topolgicos 37

2.1 Funes Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.2 Topologia Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.2.1 Topologia Produto . . . . . . . . . . . . . . . . . . . . . . . . 42
2.3 Funes Abertas e Fechadas . . . . . . . . . . . . . . . . . . . . . . . 45
3 Homeomeorfismos 49
3.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2 Exemplos de Homeomorfismos . . . . . . . . . . . . . . . . . . . . . 54
3.2.1 Grupos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . 58
3.3 Homeomorfismos Locais . . . . . . . . . . . . . . . . . . . . . . . . . 61
4 Topologia Quociente 65
4.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.2 Espaos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.2.1 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.3 Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.4 Aes de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.4.1 -espaos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5
6 CONTEDO
4.4.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
5 Compacidade 87
5.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.2 Compacidade em Espaos Mtricos . . . . . . . . . . . . . . . . . . . 91
6 Axioma de Separao 95
6.1 Espaos de Frchet . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.2 Espaos de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
6.3 Topologia Quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
6.3.1 Homeomorfismos . . . . . . . . . . . . . . . . . . . . . . . . . 102
7 Conexidade 107
7.1 Aplicaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
7.2 Conexidade por caminhos . . . . . . . . . . . . . . . . . . . . . . . . 114
Bibliografia 118
Captulo 1
Espaos Topolgicos
A seguir apressentaremos a definio de topologia que essencialmente a gene-

ralizao de algumas das propredades intrnsicas dos intervalos abertos em .
1.1 Conjuntos Abertos

Seja um conjunto no vazio. Denotemos por a famlia de todos os sub-
conjuntos de e por o complementar de em .
Definio 1. Uma topologia sobre uma famlia
tal que:
1.
.
2. Dada uma famlia arbitrria

, ento:
!
& ( '
#"%$
3. Dados )+* )&, -' '-' )/. , ento:
0. 1
132 * ) ( '
Observaes 1.
1. Os elementos de so ditos conjuntos abertos de .
2. O par 4 5 76 chamado espao topolgico.
Exemplo 1. Todo conjunto no vazio possui as seguintes topologias:
7
8 CAPTULO 1. ESPAOS TOPOLGICOS
1 . , chamada topologia indiscreta.

1.
2. 1 , chamada topologia discreta.

3. Se tem mais de 2 elementos 1 . 1 .

Exemplo 2. Seja
. Verifiquemos se as seguintes famlias de subconjuntos
de so uma topologia em .
* 5
1. .
2. ,
5 - .
3. 5 -
.
Claramente, * e so topologias para . 7, no uma topologia em , pois:

- 7,-'
Exemplo 3. Seja

- . A topologia 1 dita de Sierpinski.
Exemplo 4. Seja e definamos a seguinte topologia:

onde
se, e somente se para todo existe um intervalo aberto tal que:

'
1. Claramente
.
2. Seja &

, ento:
!
& ('
#"%$
De fato, seja
! & , ento existe tal que & ; logo, existe
% #"%$
e:

/ ! & '
#"%$
1.1. CONJUNTOS ABERTOS 9
) * )&, ; ento, dado )+* )&, temos que )+*

3. Sejam
&) , , logo existem * * e , , tais que * * ) * e

, , )&, . Se denotamos por * , e
* , e
,
temos:
)+* )&, '

0. 1
Por induo: Se ) * )/, -' '-' )/. , ento 132 ) .
*
4. Esta topologia chamada euclidiana ou usual e ser denotada por .
Exemplo 5. Seja , e definamos a seguinte topologia:
,
onde
se, e somente se para todo existe um retngulo aberto
tal que:
'
De forma anloga ao exemplo anterior, uma topologia e tambm chamada
euclidiana ou usual e ser denotada por
. . No difcil ver que esta topologia
pode ser estendida a .
,
Exemplo 6. Verifique que junto famlia:
,
onde:
,

um espao topolgico.
1.
, , por definio.
tal que "
2. Seja
! :
(a) Se
! limitado inferiormente, seja # $ &% ! , ento:
! *)
'
%(" '
!
De fato, seja , ento, existe ! tal que ,
%(" '
$ # ; logo,
isto " ) e
! *)
'
%(" '
Seja
" ) , ento, " # ; logo, existe "! tal que " ,
caso contrrio
seria uma cota inferior de
! maior que # ; ento:
) ! #'
%" '
(b) Se
! no limitado inferiormente, ento:
!
, '
"'
,
, ento, existe
!

; caso
.
De fato, seja tal que
contrrio,
! seria limitado inferiormente por
, logo
3. Sejam
e considere * * , ; ento, e:
'
Exerccios 1.
1. Quantas topologias podem ser definidas no conjunto

?
2. Verifique que junto famlia:
.+ / .

onde:
. -' '-'

uma topologia em .
Exemplo 7. Seja um conjunto no vazio e:

finito ou '
uma topologia para ?
1.1. CONJUNTOS ABERTOS 11
1. Claramente,

e pertencem a .
2. Seja &

, ento:
!
& ('
# "%$
De fato:
! 0
/
# " $ # " $
como finito, a interseo finita ou todo .
, ento:
3. Sejam ) * )&, '-'-' )/.
0. 1 !. 1
1 2 * ) 132 * )
a unio finita ou todo , pois cada conjunto finito ou todo .
4. Esta topologia chamada de cofinita e denotada .

5. Se finito, ento 1 .
Observaes 2.

1. Seja com a topologia . O conjunto no aberto nesta

topologia, pois seu complementar e no finito nem igual a .
Mas,

aberto. Nesta topologia os abertos so da forma:
! . 1 1 '
132 *
2. Seja
com a topologia
. . Se finito, ento no aberto.
Analogamente em .
Exemplo 8. Seja 4 6 . Se para todo

, , verifique que 1 .
1.2 Conjuntos Fechados

Os conjuntos fechados so os duais dos conjuntos abertos, num espao topolgi-
co. Veremos que a topologia num espao topolgico, tambm pode ser caracteri-
zada atraves dos conjuntos fechados.
Definio 2. Seja . dito fechado em se .
Exemplo 9.
1.

e so fechados em .
2. Seja4 1 6 ; ento os fechados de so , e - .

3. Considere
com a do exerccio [2], determine os conjuntos
fechados de .
(a) Primeiramente

e so fechados em
. Os conjuntos e - no
so fechados; de fato:
-
-'
(b) Por outro lado ,
e so fechados em

-'
Teorema 1. Seja 4 6 espao topolgico e a famlia de conjuntos fechados; ento:
1.
.
* , -' '-' .

2. Sejam conjuntos fechados em ; ento:
!. 1
132 *
fechado em .
1.2. CONJUNTOS FECHADOS 13
3. Sejam , arbitrrios tal que , ento:

0
7'

#" $

A prova imediata. De fato:

!. 1 0. 1
4 132 6 132 '
* *
Exemplo 10. Seja 4 6 ; ento todo conjunto finito fechado.
, ento fechado em pois ;
De fato, dado

logo se * , '-'-' . temos que:
!. 1
1 2 '
*
Exerccios 2. Seja com a topologia cofinita. Os fechados de so ,
e os subcon-
juntos finitos de .
Observaes 3.
1. O exemplo anterior vale em

..
2. A propriedade de ser aberto ou fechado independe uma da outra. Um
conjunto pode ser simultaneamante fechado e aberto, aberto e no fechado,
fechado e no aberto ou nehum dos dois.
3. A unio infinita de conjuntos fechados pode no ser um conjunto fechado.

Por exemplo, para todo subconjunto , temos: )
!
) - '
"
4. Uma topologia num espao topolgico tambm pode ser caracterizada, pe-
los seus conjuntos fechados.
Exemplo 11.
1. Se tem a topologia discreta, todo subconjunto de aberto e fechado.

2. Seja
so abertos. Como cada um deles complementar do outro, tam-e
com a topologia euclidiana; ento os conjuntos
bm so fechados.
3. O conjunto no aberto nem fechado com a topologia usual e com a

topologia cofinita de .
Definio 3. Sejam e * 7, topologias sobre . Se (* 7, , ento dizemos que a

topologia 7,
mais fina que *.
Exemplo 12.
Em
,
a

menos fina que a . De fato, seja ; ento finito; logo
&

fechado em e aberto em .
Observaes 4.
1. As topologias sobre um conjunto no podem ser comparadas, necessaria-

mente. Veja o exemplo:
2. Seja - com as topologias: (* e 7, - .

ento * e , no podem ser comparadas.
3. Para toda topologia sobre temos:
1 . / 1 '
4. No exemplo 1, temos:
1 . * ( 1 '
Exerccios 3.
1. Ache exemplo de um espao topolgico em que os conjuntos abertos so tambm

conjuntos fechados. No considere a topologia discreta ou a indiscreta.
2. Sejam * e 7, duas topologias sobre o conjunto no vazio . Considere:

(a) * , a famlia formada por abertos comuns a ambas as topologias.
(b) * , a famlia formada pela reunio dos abertos a ambas as topologias.

As famlias definidas so topologias sobre ? No caso negativo, ache um contra-exemplo.

1.3. BASES 15
1.3 Bases
Muitas vezes para introduzir uma topologia num conjunto no necessrio des-
crever todos os conjuntos abertos da topologia mas apenas alguns conjuntos es-
peciais da topologia, os ditos abertos bsicos da topologia.
Seja4 5 6 um espao topolgico e uma famlia de subconjuntos de tal que
.
Definio 4. uma base para se para todo , temos que:
!
) '
"
Observaes 5.
1. Como , ento toda unio de elementos de tambm pertence a .

2. Os elementos de so ditos abertos bsicos da topologia.
3. Se uma base de dizemos que gera a topologia ou que a

topologia gerada por .
) )

4. Para todo existe tal que . De fato, seja ; como
e uma base de , ento:
!
)&
# "%$
onde )& . Logo, existe tal que:

)& '
Teorema 2. Seja . A famlia uma base de se, e somente se

!
1. ) .
"
2. Para todo )+* )/, , se
)+* &) , , ento, existe ) tal que:

) )+* )&,-'
Prova : Se uma base de alguma topologia , ento aberto; logo se escreve

)+* )&, )+* )&,
como unio de abertos bsicos.
)+* )&, ) ) * ) * &)), /,
)
Se , ento , so abertos e aberto; logo se ,
existe um aberto tal que .
Reciprocamente, se satisfaz 1 e 2 e se exitir uma topologia que tem como
base, todo aberto nesta topologia pode ser escrito como unio arbitrria de ele-
mentos de . Definamos:
unio arbitrria de elementos de '

Devemos provar que uma topologia sobre . Claramente ; por outro
!
& )&
lado , pelo tem 1.
Sejam , arbitrrios; cada

, onde
; ento: )&
! ! !
)& )& '

Agora consideremos +* e /,

, ento +* ! &) e /, ! ) , ento:

! ! !
* &, )/ ) 4 )& ) 6 '

+* 5/, , existe pelo menos um par de ndices tal que ) *) ;
Se
por 2 existe )
tal que:

) )& ) * & ,
logo, +
* &, aberto. O caso geral segue por induo.
Definio 5. Os conjuntos )
tal que ) so chamados vizinhanas do ponto
.
Exemplo 13.
1. Uma topologia base de si prpria.
2. Para 1. , a base .
1
3. Para , a base .
4. Logo, bases diferentes podem gerar a mesma topologia.

1.3. BASES 17
Exemplo 14. Seja e

& tal que
, ento:

gera a topologia usual ou euclidiana de .
De fato:
!
1. % .
2. Para todo
, .
3. Para todo
tal que
* * , , , temos:

% * * , ,
onde # * , e # *
, .
Exerccios 1.
1. Seja e
& tal que
. Verifique que:

gera a topologia chamada do limite inferior em .
2. Sejam 4 5 * 6 e 4 , 6 espaos topolgicos. Verifique que:
* ,
uma base para uma topologia de
. Esta topologia chamada pro-
duto.
3. Em particular, sejam e

,

.
Verifique que uma base para a topologia usual em .
4. Seja
. Verifique que no existe nenhuma topologia em
que tenha como base:
'
5. Seja
com a seguinte topologia:

'
Verifique que:

uma base para .
6. Verifique que
uma base para a topologia discreta
em .
1.3.1 Subbases
Seja 4 5 6 um espao topolgico e uma famlia de subconjuntos de tal que
.
Definio 6. uma subbase de se a coleo de intersees finitas de elementos de
uma base de .

Proposio 1. Sejam um cojunto no vazio e uma famlia de elementos de tais
que para todo existe tal que . Seja

a coleo de intersees
finitas de elementos de . Ento, a famlia formada por , e as unies arbitrrias de
elementos de uma topologia para e a menor topologia que contm .
Prova :
Claramente

e toda unio de elementos de pertence a . Mostraremos

) )
que qualquer interseo finita de elementos de est em , ou melhor, provare-
mos que se , ento :
1. Se ou ) vazio, est provada a proposio.
2. Suponha que e ) so no vazios. Ento:

! !
/ ) )

onde & )
. Logo:
! ! !
) & ) 4 & ) 6 '

Por outro lado & e ) so intersees finitas de elementos de , logo

) uma interseo finita de elementos de e, ) .
3. Claramente .
4. Se outra topologia em que tambm contm , ento ; logo,

deve conter as unies arbitrrias de elementos , isto . Ento a
menor topologia sobre que contm . Isto , uma subbase de .
Observao 1.

Em geral no uma base de , pois os elementos de no podem ser escritos,
necessariamente, como unies de elementos de .
Exemplo 15.
1.3. BASES 19
1. Toda topologia subbase de si mesma.
2.

&
uma subbase para a topologia usual de
.
3.

uma subbase para a topologia discreta
de .
4. Sejam 4
5 * 6 e 4 ,6 espaos topolgicos; ento:
* 7,
uma subbase para a topologia produto em
.
Topologia de Zariski
A topologia de Zariski fundamental para o estudo de diferentes reas da lge-
bra, como por exemplo, lgebra Comutativa e Geometria Algbrica.
ou
* , - ' '-' .
Seja . Consideremos a famlia dos polinmios de -variveis em .
Isto : 1 1 . Seja:
1 . 1 '
Exemplo 16.
Se
, , , ento
*.
Observaes 6.
e . Por outro lado:
1.

2. Sejam 1 e
. Denotemos 1
/
- '-' ' . tal que
e . Afirmamos que 1
1
1
. * De, fato,
se 1
para
todo
e , ento:
+ 1
4 1
6 1

para todo
e ; logo 1 para todo ou
# para
todo

.
Denotemos por 1 4 1 . 6 e 1 . A famlia forma uma

base para uma topologia em .
Definio 7. A topologia que gera em
. chamada de Zariski.
Observaes 7.
1. Os
1 so os fechados na topologia de Zariski.
2. Em , a topologia de Zariski a topologia cofinita. De fato, todo subcon-
junto finito em conjunto soluo para algum polinmio de uma varivel
real.
Por exemplo, se * -, ' '-' . , ento:
, ' '-' .
*
um polinmio que tem conjunto soluo . Por outro lado o conjunto de

solues de um polinmio de uma varivel de grau possui no mximo
elementos.
3. Se a topologia de Zariski no a cofinita.

Por exemplo, a reta soluo do polinmio que no
um conjunto finito.
Topologia de Zariski em Anis

Seja um anel e denotemos por o conjunto de todos os ideais primos de
. Consideremos a seguinte famlia de subconjuntos:

onde
um ideal de .
1.
e . Por outro lado:

0
4 6
#" $ #" $

2. Definimos sobre
a topologia de Zariski, como a topologia que tem
como conjuntos fechados os .

3. Se denotamos por

os abertos da topologia de Zariski,
possvel provar que se
um ideal principal, a base para a topologia de
Zariski :
um ideal principal '
1.3. BASES 21
1.3.2 Topologia Relativa

Uma questo natural que surge das ltimas definies : fixada uma topologia
num conjunto, um subconjunto no vazio herda de alguma forma esta estrutura?
Seja 4 6 um espao topolgico e
, ento:
5

uma topologia sobre chamada topologia relativa a .
Definio 8. O par 4 6
dito subespao topolgico de 4 5 6 . Os elementos de

so ditos abertos relativos.
Exemplo 17.
1. Em geral, os abertos relativos no so abertos no espao total. Por exemplo,

seja com a topologia usual e com a topologia relativa, ento

aberto em pois e no aberto em
.

2. Seja com a topologia usual. e so subespacos topolgicos tais

que a topologia relativa a topologia discreta. De fato, se ento:

4 6 '
3. Seja

com a topologia gerada por:

e

'

A topologia gerada por estes conjuntos dita topologia estendida. Seja

com a topologia relativa; ento a topologia euclidiana.
Proposio 2. Seja 4 6 subespao topolgico de 4 6 .
1. Seja )

5 uma base de ; ento
5 )
uma base
para .
2. fechado se, e somente se , onde fechado.
3. Se fechado (aberto) em e fechado (aberto) em , ento fechado (aberto)

em .
Prova :
1. Imediata.
2. Se fechado, ento , onde aberto em ; logo

, onde aberto em ; por outro lado:
4
6 '
Reciprocamente, se , onde fechado, ento:

logo, fechado em .
3. Como e ambos so fechados em , ento fechado em
Exemplo 18.
1. Seja com a topologia usual. O conjunto
* , , , ,
com a topologia relativa dito crculo unitrio. Os abertos relativos em *
so os arcos abertos de crculos.
Figura 1.1: Abertos relativos de *

2. Em geral, seja
. * com a topologia usual. O conjunto:
. * ' '-' . . * . * . 1,

31 2 *
com a topologia induzida, chamado esfera unitria.
1.4. PONTOS E CONJUNTOS NOTVEIS 23
1.4 Pontos e Conjuntos Notveis

Nesta seo estudaremos alternativas para determinar se um conjunto aberto,
e/ou fechado.
Definies 1. Seja 4 5 76 um espao topolgico e

1.
um ponto interior a se existe vizinhana de tal que:

'
O conjunto de todos os pontos interiores a denotado por: .
.
'
2. um ponto exterior a se interior a
O conjunto de todos os pontos exteriores a denotado por:
3.
um ponto aderente a se para toda vizinhana de temos:
'
O conjunto de todos os pontos aderentes a denotado por: . O conjunto
dito fecho de A.
4.
um ponto de acumulao de se para toda vizinhana de temos:
4 6 '
O conjunto de todos os pontos de acumulao a denotado por: .
5.
um ponto da fronteira de se aderente a ea .
O conjunto de todos os pontos da fronteira de denotado por: .
6.
um ponto isolado de se vizinhana de
7. Um conjunto onde todos os pontos so isolados dito discreto.
8. dito denso em se:
'
Observaes 8. Seja 4 5 6 e :
1. Se , ento
& , onde as unies so disjuntas.
2.
e .
3. e, por definio, um conjunto aberto.

4. se, e somente se existe uma vizinhana de tal que , isto
:

4 6 '
Logo, 4 6 4 6 e como , onde as unies so
disjuntas, temos:

sendo a unio disjunta.
5. O conjunto fechado. De fato, 4 6 4 & 6 que aberto.

6. Para todo

, temos . De fato, se , ento existe vizinhana
de tal que , isto ; logo .
7. Para todo )
, temos: se ) , ento ) . De fato, se ) ,

ento existe vizinhana de tal que 5)
, isto ) ; como

) 7 & , ento .
8. um conjunto fechado, pois 4 6 & que aberto.

9. 4 & 6
.
Exemplo 19. Sejam com a topologia usual e
; ento:

1. .

2.
# .

3.
.

4. .
5. .

Exemplo 20. Sejam

e e com a topologia usual.

1. e so discretos.
2.

e .
3. , pois nenhum intervalo aberto pode ser formado apenas por racio-
nais.
4. , pois todo intervalo aberto contem racionais e irracionais.
5. , isto , denso em .

De fato, suponha que , ento existe . Como aberto,

existe tal que:

'

, logo

Mas, todo intervalo contm nmeros racionais, logo existe
o que uma contradio.
tal que
6. .
Proposio 3. Sejam 4 5 6 e :
1. fechado se, e somente se .
2. .
Prova :
& , logo existe

isto ; logo
1. Suponha fechado; ento aberto. Se , ento
vizinhana de tal que ; ento

.

se , ento existe uma vizinhana de tal que 5

isto aberto fechado.
2. Como fechado, pelo
3. anterior .
Teorema 3. Seja 4
76 e ; ento o menor conjunto fechado que contem ,
isto :
0

'

e fechado
Prova :
4 6 que aberto; logo, existe pelo

( ) Se , ento
; como aberto, existe vizinhana de tal que

; logo .
menos um tal que
, ento
( ) fechado e ; ento .

Exemplo 21.
1. Seja 4 1 6 ; ento - e .

2. Seja 4
5 76 onde a topologia discreta. Como todos os subconjuntos de
so fechados, o nico conjunto denso em .
3. Seja
# com a seguinte topologia:

# '
(a) Pelo teorema temos que:
- #

# ' e
- # .

(b) Logo, o menor fechado que contm
(c) Note que
denso em .

Teorema 4. Sejam 4
5 76 e ; ento o maior conjunto aberto contido em ,
isto :
!
'

e aberto
Prova :

( ) aberto e ; ento .

( ) Seja , ento existe pelo menos um tal que , isto

.
Proposio 4. Sejam 4 5 76 e .
1. . Em particular, fechado se, e somente se .
2. 4 6 . Em particular, aberto se, e somente se .
Prova :

1. Por definio
; por outro lado , ento . Reciproca-
mente, seja
. Se
est provado. Se , ento toda vizinhana
de tal que 4 6

, isto , .
2. Se , ento e os conjuntos abertos so exatamente os
complementares dos conjuntos fechados tais que & . Pelo exerccio
anterior:
!

e aberto
!

e fechado
0

e fechado

4 6 '
Exemplo 22.
1. Seja 4 5 1 6 ; ento:

(a)
- , .
- e
(b) .
-
(c) + .
2. Seja 4
5 1 . 6 ; ento:
(a) Para todo tal que , temos que .

(b) Para todo no vazio, .
(c) Para todo tal que tem mais de um elemento,
. e
(d) Para todo ;& .

3. Seja 4
5 1 6 ; ento:
(a) Para todo temos que .

(b) Para todo temos que .
(c) Para todo temos que
.
(d) Para todo temos que /

4. Seja 4 6 ; ento:

(a) Para todo
temos que
.

(b) Para todo tal que infinito, .
(c) Para todo tal que infinito, e se finito,
.
(d) Para todo aberto tal que infinito,
; caso contrrio
/ .
Exemplo 23.
Considere 4 6 e . Ento e & .

Exerccios 2. Seja 4
5 6 e .
1. , se e somente se fechado.
2.
, se e somente se aberto e fechado.
3. , se e somente se aberto.
Exemplo 24.
1. Seja 4 1 . 6 ; para todo tal que , temos que & .
2. Seja 4
1 6 ; para todo temos que .
Proposio 5. So equivalentes as seguintes condies:
1. denso em .
2. Se fechado e , ento .
3. Todo aberto bsico no vazio de contm elementos de .
4. /
.
Prova :
Se , ento , logo .
Seja aberto bsico no vazio tal que ; ento , o
que uma contradio pois fechado.
Suponha que ; como aberto, ento existe aberto
bsico no vazio tal que
; como , e ; logo
no contm pontos de .
4 6 4 6 . Logo, .
Exerccios 4. Seja
e defina a seguinte topologia em :
'

Verifique que uma topologia e que denso em .
Observao 2.

Seja subespao de e denotemos por o conjunto como subconjunto de
; ento:
1. .
2. .
3. .
Exemplo 25. Seja com a topologia usual e com a topologia
relativa.
Ento:
1. ; por outro lado, ; logo aberto e

fechado em . Logo,
'
2. ; logo fechado em . Logo, .
1.5 Espaos Mtricos

Uma importante classe de exemplos de espaos topolgicos a dos espaos m-
tricos.
Seja
! .
Definio 9. Uma mtrica ou distncia sobre
! uma funo:
! !
tal que, para todo
"! , tem-se:
e se, e somente se .
1.
.
2.
$ .
3.
Observao 3. O par
! chamado espao mtrico.
Exemplo 26.
1.
! um espao mtrico com a mtrica:

se
se '
dita mtrica discreta.
2. uma espao mtrico com

, onde

o valor absoluto
em .
Exemplo 27.
! . uma espao mtrico com:
.
* 132 1 1 ,

*
.
,
1 1

132 *

1 1

* 1 .
onde * , -' '-' . e * , '-'-' . . .
1.5. ESPAOS MTRICOS 31
Exemplo 28. Seja ) !

o conjunto de todas as funes limitadas
! .
Como a soma e a diferena de funes limitadas limitada, ento:

" '
uma mtrica em ) ! . (Verifique!)

Exerccios 5.
1. Verifique que no exemplo [27], temos:
* ,
'
2. Seja

4 6 o conjunto das funes contnuas

. Defina:
*%

,
,

Verifique que * e , so mtricas em 4
6 .
1.5.1 Conjuntos Abertos e Fechados em Espaos Mtricos

Seja ! um espao mtrico e
tal que .
Definio 10. Uma bola aberta em
! de centro e raio denotada e definida por:
)
!
'
Exemplo 29. Seja
! , com

; ento:
)

isto , as bolas abertas so os intervalos abertos.
Exerccios 6.
1. Determine a topologia definida pela mtrica discreta.
2. Determine, geometricamente, as bolas abertas em

. com as mtricas definidas
anteriormente.
Proposio 6. As bolas abertas num espao mtrico formam uma base para uma topolo-
gia no espao mtrico.
Prova : De fato.
! !
1. Claramente:
) .
"('
) ; ento ; logo & . Consideremos
) ; ento
2. Seja
) )
'
De fato, seja
) ; como ; temos:

'
Observao 4. A topologia gerada por esta base chamada topologia mtrica gerada

pela distncia , e ser denotada por .
Exerccios 7. Seja ! um espao mtrico:
1. Seja e:
) !

'
Verifique que )

um conjunto fechado.
2. Seja ! finito. Verifique que fechado.
3. Sejam 4
! * 6 e 4 , 6 espaos mtricos. Definamos em !
:
* * , , *% * , , * ,
"
onde * * , ,
! . Verifique que:
!
) , uma bola aberta em
(a) uma mtrica em . Esta mtrica dita mtrica produto.
*
(b) Se ) uma bola aberta em
! e , ento:
) * ) ,
uma base para uma topologia em
! .
O espao topolgico 4 5 6 dito metrizvel se uma topologia mtrica.

Exemplo 30. Seja 4
! 6 , onde a mtrica discreta; ento ) ; logo
a topologia discreta.
Observao 5. Nem todo espao topolgico metrizvel.
Exemplo 31. Se possui mais de 2 pontos, 4 5 1 . 6 no metrizvel.
1.5.2 Espaos Vetoriais Normados

Seja
um -espao vetorial.
Definio 11. Uma norma sobre
uma funo:

tal que, para todo
e
, tem-se:
1. Se , ento .
2.

.

3.

.
Observao 6.
O par
chamado espao vetorial normado.
Exemplo 32.
1.
. uma espao vetorial normado com:
.
* 132 1,

*
.
, 132
1

*
1
1

* .
* , ' '-' . . .
onde
2. )
! um espao vetorial, sendo:

"('
uma norma em )
! .
Observaes 9.
1. Seja
um espao vetorial normado. Definindo:

temos que
um espao mtrico.
2.

chamada mtrica proveniente da norma .
Exerccios 8.
1. Sejam 4 . 6 . " uma seqncia em e:
2
.
,

(a)

.
. *
(b)

.7
.

Definamos em e em , respectivamente:

*

.

.2*

. "
.
'

Verifique que 4
6 e4 6 so espaos vetoriais normados.

2. Sejam 4
* 6 e 4 , 6 espaos vetoriais normados. Definamos em :

* ,

onde
. Verifique que uma norma em . Esta norma dita

norma produto.
1.5.3 Espaos Vetoriais com Produto Interno

Seja
um -espao vetorial.
Definio 12. Um produto interno sobre

uma funo:

tal que, para todo
e , tem-se:
1. Se , ento .

2.
/

.
3.
/ .
4.
/ .
Observaes 10.
1. Seja um espao vetorial com produto interno. Definindo:

temos que um espao vetorial normado.
2.

chamada norma proveniente do produto interno .
3. Nem toda norma num espao vetorial provm de um produto interno.
Exerccios 9.
1. Sejam 4 #. 6 . " uma seqncia em e considere e como o exerccio [8]:

2. Verifique que 4

6 e4 6 so espaos vetoriais com produto interno.

3. Sejam * e , espaos vetoriais com produtos internos
* e , , respecti-
vamente. Definamos em *
,:
* * , , / * , * * , (,

* , . Verifique que um produto interno em

onde * * , ,
* ,.

Captulo 2
Funes em Espaos Topolgicos
2.1 Funes Contnuas

A continuidade de uma funo um dos conceitos centrais em quasi todas as
reas da Matemtica. E o primeiro paso para tentar distinguir objetos diferentes
em topologia.
Sejam 4 5 * 6 e 4 , 6 espaos topolgicos.
Definio 13. A funo

contnua se para todo
, temos que:
* 4 6 * '
Observaes 11.
1.
contnua se a imagem inversa dos abertos de so abertos em .
4 7, 6
2. Uma funo contnua no leva, necessariamente, abertos em abertos. Por
exemplo se tal que ,
no a topologia discreta, ou se tem mais
de dois elementos e 7,
no a topologia indiscreta.
Exemplo 33.
1. Toda funo constante contnua.
2. Seja tal que * e , so topologias em . A funo identidade:
4 5 * 6 4 5 7, 6
contnua se, e somente se 7,/ * .
37
38 CAPTULO 2. FUNES EM ESPAOS TOPOLGICOS
3. Sejam 4 5 6 e 4 1 . 6 . Toda funo

contnua.
4. Sejam 4 5 1 6 e 4 6 . Toda funo

contnua.
5. Sejam
4 , 6 espaos vetoriais normados de dimenso finita.
4 * 6 elinear,

Se ento contnua.
Observao 7. Seja . A topologia relativa pode ser caracterizada como a

menor topologia sobre tal que a funo incluso:

contnua.
De fato, se

, a continuidade de implica que *4 6
deve ser aberto

em ; logo qualquer topologia onde for contnua deve conter .
Proposio 7. Sejam 4 5 * 6 , 4 7, 6 e 4 6 espaos topolgicos.
1. Se
e so contnuas, ento:

contnua.
2. Se
contnua e subespao topolgico, ento:

contnua.
3. Se
contnua e
4 +6 subespao topolgico, ento:
4 6
contnua.
Prova :
2.1. FUNES CONTNUAS 39
1. Segue do seguinte fato: 4 6 * * *

2. Note que

, onde a incluso; pelo tem anterior

contnua.
3.
* 4 4 66 * 4 6 * 4 4 66 * 4 6 .
Teorema 5. Sejam e 4 * 6 4 , 6 espaos topolgicos e

. As seguintes
condies so equivalentes:
1.
contnua.
2. Para todo fechado,

*4 6 fechado em .

3. A imagem inversa por de qualquer elemento da base (subbase) de aberto em
(no necessariamente um aberto bsico ou subbsico de ).
4. Para todo

e para toda vizinhana de
em , existe vizinhana de
em tal que:
4 &6 '
5.
4 6 4 6 , para todo .
6.
* 4 ) 6 * 4 ) 6 , para todo ) .
Prova :
De fato,
* 4 +6 * 4 6 , para todo .
Seja uma base da topologia de e )
; como contnua, * 4 ) 6
, pode ser
aberto em . A prova da recproca segue de que todo aberto
escrito como:
! /)
#"%$
e que:
* 4 ! )/ 6 ! * 4 )& 6 '
#"%$ #"%$
* Como contnua e aberto (vizinhana de
), consideramos
4 6 que vizinhana de e:
4 6 '
Seja

e

; provaremos que
4 6
. Denotemos por

4 6

a vizinhana de tal que , onde vizinhana de . Se ,

ento ; logo:
4 6 4 6 4 &6 4 6
ento
4 &6 .
Seja * 4 ) 6 ; ento 4 6 4 6 4 * 4 ) 6 6 ) 4 6
Corolrio 1. Seja 4
6 tal que ) , onde e ) so conjuntos fechados
e ) so funes contnuas tais que
para todo ) , ento a funo definida por:
(abertos) em . Se

se
se
)
contnua.
Prova :
Seja fechado, ento:
* 4 6 * 4* 4 ) 6 *
4 4 6 & 6 4 4 +6 ) 6
*4 6 *4 6'
Como
* 4 6 e * 4 6 so abertos, ento contnua.
Observaes 12.
1. Pelo teorema, basta utilizar os abertos bsicos da topologia para estudar a

continuidade de uma funo.
2.
dita contnua no ponto
se o item [4] do teorema anterior vale
para .
3. Sejam 4 ! * 6 e 4 ! , 6 espaos mtricos; ento:

!
! , se para todo , existe *%
, . Isto :
contnua em tal que ;

implica em
4) * 6 ) , '

2.1. FUNES CONTNUAS 41
Exemplo 34. Seja com topologia usual. Verifique que

, contnua.
Pela propiedade anterior, basta provar que
* 4 6 aberto.
Temos trs casos:
1. Se
, ento:
* 4 % 6
'
2. Se
, ento:
* 4 &6 '
3. Se
, ento:
* 4 6 '
4. Nos trs casos, os conjuntos
* 4 6 so abertos; logo
contnua.
Proposio 8. Seja 4
6 . Ento
&
contnua se, e somente se para todo
ambos os conjuntos:
- e -
so abertos.
Prova : Seja 4 6
. Consideramos
e
% elementos da subbase da

topologia euclidiana; logo:
* 4 6
* 4 6 - '
Exemplo 35.
A condio que ambos os conjuntos sejam abertos no pode ser ignorada. Por

exemplo, a funo caracterstica de , no contnua. De fato,
; ento
no aberto e todos

considere
so abertos, Logo, na proposio ambos os conjuntos devem ser abertos.

Exerccios 10. Sejam e com as seguintes topologias:
1. *
e , , respectivamente. Ache to-
das as funes contnuas entre e .
2. *

5 e 7, - , respectivamente. Ache todas
as funes contnuas entre e .
2.2 Topologia Inicial

4 ,6
4 5 1 6
Sejam , um conjunto no vazio e uma funo. possvel
,

achar uma topologia para
ento contnua.
tal que seja contnua? Por exemplo se
Seja um conjunto no vazio e:
* 4 6 7, '
uma subbase para uma topologia /
sobre que torna contnua.

Definio 14. &
dita topologia inicial para .
2.2.1 Topologia Produto

Sejam 4 5 * 6 , 4 7, 6 e
. Denotemos por:
*
-,
as respectivas projees cannicas, onde *%
e -, .
* *4 6
*

, 4 6
* '

*
* 4 6 , 4 6

Note que:
* * 4 6 , * 4 6 * 7, e
* ,
so a subbase e a base que geram uma topologia sobre
, que torna as proje-
es contnuas. Esta topologia dita topologia produto.

todo

existe

Esta a menor topologia com esta propriedade. Isto ,
, aberto em e aberto em tal que

aberto se para
.
2.2. TOPOLOGIA INICIAL 43
XxV V UxV
UxY
Figura 2.1: Elementos de e .
Observao 8.
Todos os argumentos nesta seo so vlidos para uma quantidade finita de es-
pas topolgicos.
Exemplo 36.
. '-'-'
1. tem a topologia produto induzida pela topologia de .
Se consideramos em a topologia usual, ento a topologia em tambm
.
a topologia euclidiana ou usual.
2. . . * . *
um conjunto fechado. De fato, seja com topologia usual e
.
consideremos a funo definida por:
* , -' '-' . . * ,* ,, '-'-' ., ., * #'
contnua e . * 4 6 ; logo, fechado.
3. O cilindro
* tem a topologia produto induzida pela topologia de .
*
4. Seja com a topologia induzida de , ento
, , * * com a topologia
produto, dito toro.
T
S1
1
S
Figura 2.2: O toro

,
4 5 * 6 , 4 7, 6 , 4 / 6 , 4 / 6 espaos topolgicos, *

, e definamos:
Proposio 9. Sejam
e

, . Ento, contnua se, e somente se * e , so contnuas.
por *%
Prova : Sejam #*

e , as respectivas projees.

Como 1 1
, se contnua, ento 1 1 so contnuas ( ).

Reciprocamente, se as 1 so contnuas, seja
um aberto bsico de ;
ento:
* 4 6 * * 4 &6 , * 4 6
logo,
contnua.
5 / 4 6 4 6 , 4 6
Proposio 10. Sejam
espaos topolgicos,
* 4 * 6 , 4 e , , 6 , 4 6 ,e definamos:
* ,
, *% , . Se * e , so contnuas, ento * , contnua.
por *
Prova : Sejam #*

e -,
as respectivas projees.
Como:
*
*
, -,
so contnuas, ento
* , contnua.
Proposio 11. Sejam

4 5 * 6
um espao topolgico e 4 6
um
-espao
podemos
vetorial
normado. Como possui uma estrutura algbrica, dadas
definir a nova funo:

4 6 '

Se e so contnuas, ento
contnua.
Prova : Sejam
tal que e tal
* , ; a funo contnua. Ento , contnua.
que * ,

2.3. FUNES ABERTAS E FECHADAS 45
Proposio 12. Sejam

e e definamos a nova funo:

4 '

Se e so contnuas, ento
contnua.
Prova : Sejam
tal que e #
que #
; a funo # contnua. Ento $

# , contnua.
tal
Observao 9.
A prova de que e # so contnuas segue do fato de serem ambas contraes.

Veja [EL2].
2.3 Funes Abertas e Fechadas

Sejam 4 5 * 6 e 4 , 6 espaos topolgicos.
Definio 15. A funo:

aberta (fechada) se para todo aberto (fechado) em , temos que
4 &6 aberto
(fechado) em .
Exemplo 37.
1. A funo identidade:
4 5 * 6 4 5 7, 6
aberta (fechada) se, e somente se (* 7, , mas no contnua quando
* 7,

.
2. As projees so abertas.
considere as projees ,(
,
) e o conjunto:
3. As projees no so fechadas. Por exemplo, seja com a topologia usual e
1
, '
Figura 2.3: e a projeo

fechado em
, e 1 , que aberto.

- com a topologia discreta, ento
4. Se
e contnua, fechada e no aberta.
definida por
Observao 10.
Seja

bijetiva. Ento aberta se, e somente se
fechada. De fato.
Seja aberto; logo
fechado e

logo,
fechada.
Proposio 13. Seja

. So equivalentes as condies:
1.
aberta.
2.
4 6 , para todo .
3.
leva abertos bsicos de em abertos bsicos de
4. Para todo
e toda vizinhana de , existe tal que:
'
Prova :

; por outro lado
; ento aberto e 4 6 o

maior aberto contido em ; logo 4 6 .
2.3. FUNES ABERTAS E FECHADAS 47
Seja aberto bsico de ; ; ento:
4 6
logo,
aberto bsico.
Para cada , seja

. Considere . vizinhana de ; existe aberto bsico tal que
Seja existe vizinhana tal que

; logo:
aberto; para todo
!
"
ento,
aberta.
Proposio 14.
.
fechada se, e somente se
, logo:
Prova : Se fechada, ento fechado e
'
Reciprocamente, seja fechado, logo:

ento,
e fechado.
Exerccios 11.
1. Seja +
com a topologia induzida pela topologia usual de .
A funo:
4 6
.
contnua?
/ e
4 :* 6 , 4 , 6 e 4 6 espaos topolgicos. Considere
2. Sejam

(a) Se e so abertas (fechadas), eno
aberta (fechada).
(b) Se
aberta (fechada) e contnua e sobrejetiva, ento aberta (fecha-
da)?
(c) Se
aberta (fechada) e contnua e injetiva, ento
aberta (fechada)?
3. Verifique que so equivalentes:
(a)
fechada.
(b) Se
* , ento * 7, .
(c) Se fechado, ento
* fechado em .
4 6 4 6 fechada?
4. Toda funo

5. Toda funo 4 6 4 6 aberta e fechada?
Captulo 3
Homeomeorfismos
3.1 Introduo
Um dos problemas centrais em topologia poder decidir se dois espaos so
. )
diferentes ou no. Por exemplo, no trivial dizer que um cilindro diferente de
uma esfera, se uma esfera diferente de um toro ou se diferente de , se

# . Neste captulo comearemos com os primeiros conceitos que nos permitiro
responder a algumas destas questes.
Sejam e espaos topolgicos.
Definio 16.
um homeomorfismo se
bijetiva, contnua e
*
contnua.
Se e so homeomorfos utilizamos a seguinte notao:
'
Observaes 13.
1. A composta de homeomorfismos um homeomorfismo.
2. Ser homeomorfo uma relao de equivalncia na famlia dos espaos to-

polgicos.
3. Veremos nos prximos pargrafos que os espaos topolgicos homeomor-

fos tem as mesmas propriedades topolgicas. Isto , se consideramos as
classes de equivalncia, teremos que espaos homeomorfos so essencial-
mente iguais em topologia.
4. Uma funo bijetiva e contnua no necessariamente um homeomorfismo.

Veja o seguinte exemplo.
49
50 CAPTULO 3. HOMEOMEORFISMOS
Exemplo 38.
1. Sejam e * ,
com as respectivas topologias induzidas pelas
topologias usuais.
2. Definamos
* por

.
3.
contnua e bijetiva.
4. Por outro lado, * descontnua

*

em . De fato:

. , logo
Seja , seja . e .

; para cada
. , pois o arco . maior que a corda.
tn p
zn
Figura 3.1:
Ento
* . . e
* . *
# , para todo
.
Logo,
uma bijeo contnua que no um homeomorfismo.

Exemplo 39. Consideremos . . * e o conjunto

* ' '-' . * . * ,* ,* '-'-' ., * ., *
onde 1 ambos com topologia induzida pela topologia usual de
. * . Ento:
. '
1. Seja
. definida por:
* -' '-' . * 4 * '-'-' . * 6 '
*
.*
bem definida e contnua.
3.1. INTRODUO 51
2. Definamos
. por:

* '-' ' . * 4 * * '-' ' . * . * 6 '

bem definida, contnua e e . Logo, . homeo-
morfo a .
3. Ento, . e so topologicamente "iguais".
Figura 3.2: Dois espaos homeomorfos a ,

, , com topologia induzida pela topologia
usual de
,
Exemplo 40. Consideremos
e os conjuntos
, , , *

com topologia induzida pela topologia usual de . Ento:
, * ('
1. Seja
, * definida por:
, ,

'


2. Definamos * , por:
4 6 '
bem definida, contnua e inversa de . Logo:

, * '
3. Por outro lado, definamos * por:

4 , , 6 '
4. Definamos
* por:

, , '

bem definida, contnua e inversa de . Logo:
* '
Figura 3.3: e *
Teorema 6. Seja
bijetiva. So equivalentes as condies:
1.
homeomorfismo.
2.
contnua e aberta.
3.
contnua e fechada.
, para todo .
4.
* contnua se, e somente se para todo aberto

Prova :
:
4 * 6 *
aberto em .
Segue do pargrafo anterior.
Como
contnua,
; como fechada,
.
3.1. INTRODUO 53
Corolrio 2. Seja
. O grfico de definido por:
'

Considere
e somente se
com a topologia
.
induzida pela topologia produto. Ento contnua se,
que contnua,

Prova : De fato, definamos por
ento
bijetiva e contnua. Por outro lado, se aberto:

4 6

que um aberto relativo. Reciprocamente, , .
Corolrio 3. Seja
homeomorfismo e , ento:
1.
.
2.
.
Exerccios 12.
1. Sejam

e . Verifique que para todo
e para todo
, temos:
e '
Em particular,
. . . * .

2. Verifique que 4 6 no homeomorfo a 4
6.
!
!

3. Sejam 4 * 6 e 4 ! , 6 espaos mtricos. Dizemos que as mtricas * e , so
4 ! 6 um homeomorfismo. Verifique que se
equivalentes se 4 6
! . , ento * , , e definidas anteriormente so equivalentes.

3.2 Exemplos de Homeomorfismos

A) Seja com a topologia usual. Ento, todo intervalo aberto , com a topo-
logia induzida pela topologia usual de , homeomorfo a . De fato:

1. Seja definida por:

bijetiva e contnua e:

* &
'
contnua. Logo:

2. definida por:

*
.

contnua. Logo:
3. Ento, dos tens anteriores :
'
*
B) Sejam e o quadrado

,
, em com a topologia
* '
induzida pela topologia usual de ; ento:
u v
a b
z w
d c
Figura 3.4:
3.2. EXEMPLOS DE HOMEOMORFISMOS 55
Definamos

*
mandando o segmento em

, o segmento

em

,o
segmento em e o segmento em , isto:
4 6 e * 4
# #
onde #

e

,
, ; claramente e * so contnuas; logo

um homeomorfismo.
,. e .
, . .
C) Sejam ambos com a topologia usual. Ento:
para todo

.
, onde . Por outro lado, . '-'-'
Se ,
, . -' '-' ( -vezes). Definamos: ( -vezes)
e
' '-' '-' '
* , '-'-' . * * , , '-' ' . . '
, claramente, um homeomorfismo.
. . * . * com . * . Con-
. . Denotemos por:
D) Seja a topologia induzida pela topologia usual de
sideremos

.. .. ..

Os conjuntos
. e . so ditos hemisfrios de . . Note que . . . e
. . . O conjunto chamado equador de . ; claro que:

. * '
Isto , podemos considerar
. * como o equador de . .
Figura 3.5: . * como equador de .

Consideremos a projeo:
. .
'

Se . , , logo ; ento . )+* . . Via a

projeo:
. ) . '
De fato, a funo:
) .

,
bem definida, contnua com inversa contnua .
Figura 3.6: . , ) e .
. . * com a topologia induzida pela topo-
. * ' '-' , ento:

E) Projeo Estereogrfica : Seja
logia usual de e

. . '
De fato. Seja . . * . definida da seguinte
forma, seja
. ;
considere a semi-reta ; ento , onde a interseo de com
o semi-plano definido por . * , homeomorfo a . :

. *
logo, . * e . * ; ento:

. * * , '-'-' . '
( z)
( x)
Figura 3.7: Definio de
,
* *

.

, '-' ' , ,
* , e * contnua.
F) Seja 4
6 um espao vetorial normado; ento:
1. As translaes
definidas por
,
so homeo-
morfismos.
2. As homotetias
definidas por

,
so
homeomorfismos.
3.
) , para todo e todo

De fato:
1. so bijetivas, contnuas e * , que contnua.

2. so bijetivas, contnuas e * , que contnua.
3. Definimos o homeomorfismo
por:

logo,
um homeomorfismo. Ento:

) )

para todo

. Agora definamos ) por:

e

*
que contnua e bijetiva;
; logo, um homeomorfismo.
3.2.1 Grupos de Matrizes

Da lgebra Linear sabemos que o conjunto formado pelas matrizes de ordem

# , tendo como entradas elementos de ou , um -espao vetorial.
Fixemos
; o caso complexo anlogo. Denotemos este espao vetorial por:
! . ) 4 6 '
Seja 1
"! . ) 4 6 . Definamos:
! )
. )

. 4 6
' '-' * . '-'-' ) * ' '-' ) . '
* * * , -

1. claramente um isomorfismo de espaos vetoriais.
2. Via o isomorfismo)
! ) . 4 6
topolgica de

.
, o espao
.
herda toda a estrutura linear e
3. Utilizaremos a mtrica usual de

. ) para introduzir uma topologia em
! ) . . 4 6
4. Dada 1
! . ) 4 6 , definamos:
. , *,

1
*
1 2
'

*
*
uma norma em
! . ) 4 6 que o torna um espao vetorial normado.
Logo, um espao topolgico.
5. Note que * & , onde a matriz transposta de .

6. imediato que contnua com inversa contnua. Logo:
! )
. 4 6 . ) '
7. Denotemos por
! . 4 6 ! . . 4 6 ; ento ! . 4 6 . .
8. Seja com a topologia usual. A funo:
! . 4 6
definida indutivamente:
(a) Se , * * * * .

(b) Se , seja 1
e:

. 1 * 1 *
1

132 *
onde
e 1
a matriz , que se obtem

omitindo a -sima linha e a -sima coluna de .
(c) A funo
multilinear, logo contnua.
9. A funo
multilinear, logo contnua.
Seja
!
o conjunto das matrizes invertveis de ordem .

aberto
em . 4 6 . De fato:
* '

tambm um grupo, chamado linear geral real.

1. Denotemos por , definido por:
&

onde matriz identidade. Logo,
. um
grupo, chamado ortogonal.
2. Denotemos por definido por:

'
um grupo, chamado ortogonal especial.

so fechados em ! . 4 6 . De fato:
3. e
* *
'
4. isomorfo a
. De fato:

'
um isomorfismo de grupos.
. De forma anloga ao caso real,

5. Seja , denotemos por

definimos:
* 4 6

"

* '

6. De forma anloga, os grupos , e so ditos, linear com-

plexo, unitrio e especial unitrio, respectivamente.
7. isomorfo a * . De fato:

*
'

um isomorfismo de grupos.
3.3. HOMEOMORFISMOS LOCAIS 61
3.3 Homeomorfismos Locais

Definio 17. Seja
existe
. dito homeomorfismo local se para todo
vizinhana de tal que aberto em e um

homeomorfismo.
Observao 11.

Sejam
aberto
,
abertos e
, temos que
um homeomorfismo; ento para todo

aberto em , logo aberto em .
Proposio 15. Se
um homeomorfismo local, ento aberta.
Prova : Seja aberto; para cada
existe vizinhana de tal que:

onde

. Seja . Pela observao anterior
aberto em
. Como:
!

"
4 ! !

6
" "

que aberto em . Logo, aberta.
Observao 12.
Homeomorfismo implica homeomorfismo local, a recproca falsa.
Exemplo 41. Seja com a topologia usual e * com a topologia induzida pela
topologia usual de . Ento:
*

, 1
um homeomorfismo local.

1. Denotemos por
* *5 * * , , * ,
e .

S1
S4
S3
S2
Figura 3.8:
* , , , e

, .
2. Sejam

3. Definamos: * *
por * .
4. A funo * um homeomorfismo. De fato, * possui a seguinte inversa
,.
contnua *
5. Consideremos:
* * '
, 1 , ento 4 * 6 . Logo, pelas

Como
propiedades bsicas de Trigonometria *
um homeomorfismo:
1
1 1.5
-1
Figura 3.9: Homeomorfismo *

* * 4 * 6 * * um homeomorfismo e * * 4 * 6
6. Logo,
um homeomorfismo.
7. Definamos: , ,
por , .
3.3. HOMEOMORFISMOS LOCAIS 63
8. A funo , um -homeomorfismo.

, De fato, , possui a seguinte inversa
contnua %, .
9. De forma anloga, ,
* 4 , 6 , , um homeomorfismo e
,
* 4 , 6 um homeomorfismo.

10. De forma anloga as anteriores, verifica-se que e .

11. Como intervalos destes tipos cobrem . Por exemplo:

!
'
. "
Ento,
um homeomorfismo local.
Observao 13.
1. Este exemplo mostra (por que?) que, em geral, um homeomorfismo local

no homeomorfismo.
2. Em particular,
uma funo aberta (no fechada).
Exemplo 42. De forma totalmente anloga:
, *
, 1

e:
, * *
, 1 , 1

so homeomorfismos locais.
Exerccios 13.
1. Sejam e com a topologia induzida pela topologia usual de , so homeomorfos?
2. Seja
, com a topologia usual, os seguintes subespaos so homeomorfos?
(a) e

(b)
,

,
e .
(c)
,
, e , , .
, e , , .
(d)
3. Seja 4
5 * 6 um espao topolgico e denotemos por:
homeomorfismo '
Verifique que:
(a)
um grupo com a composta de funes,
(b) Se e com a topologia induzida pela usual de , defina:

um isomorfismo de grupos? (Note que e no so homeomorfos)
4.
abeliano? Caso contrrio, quando abeliano?
Captulo 4
Topologia Quociente
4.1 Introduo
A topologia quociente a fonte dos mais importantes exemplos de espaos to-
pologicos e sero a parte central desta notas. Neste captulo introduziremos os
exemplos clssicos na Matemtica, como a faixa de Mbius ou Moebius, os espa-
os projetivos reais e complexos e a garrafa de Klein.
Sejam 4 5 76
, um conjunto no vazio e
sobrejetiva. Definamos em
a seguinte topologia:
* '
Definio 18. dita topologia quociente em
induzida por .

Exemplo 43.
1. Seja
constante. Determine .
Suponha que
para todo . Seja . Se , ento
* e se , ento * . Isto , qualquer

subconjunto de
aberto, logo a topologia discreta sobre .
2. Seja
e com a topologia usual; definamos por:

se

se

se '
- -
Ento,
por .
a topologia quociente em induzida
65
66 CAPTULO 4. TOPOLOGIA QUOCIENTE
Proposio 16. A topologia quociente

contnua. a mais fina sobre que torna

Prova : De fato, sendo outra topologia em e se para todo temos que
* aberto em , ento .

4 6 4 6

Definio 19. Sejam , e sobrejetiva. A funo sobrejetiva
que induz a topologia quociente chamada uma identificao se

.
Observao 14.

1. Se uma identificao,
aberto em se, e somente se
* aberto
em .
4 * 6
* 4 6
2. Se uma identificao, para todo temos que , mas

se , em geral .
3. Nem toda funo bijetiva e contnua uma identificao. Por exemplo:
4 5 * 6 4 5 7, 6
uma identificao se, e somente se (*
, .
4. A composta de identificaes uma identificao.
Exemplo 44.
1. Seja . . *
com a topologia induzida pela topologia usual de
. * .
Definamos o conjunto dos pares no ordenados:
. .

onde o antipodal de . De forma natural temos a seguinte funo
sobrejetiva:

. .
tal que . O par 4 . 6 dito espao projetivo real de

, . , . , . * com a topologia induzida pela topologia usual de

dimenso .
2. Seja
, . * . Definamos o conjunto dos pares no ordenados:
. , .

onde o antipodal de . De forma natural temos a seguinte funo
sobrejetiva:

, . .
tal que

. O par 4 . 6

dito espao projetivo complexo
de dimenso .
4.1. INTRODUO 67
3. Considere o cilindro

, ,

com a topologia
induzida por . Definamos o conjunto dos pares no ordenados:
!
& '
De forma natural, temos a seguinte funo sobrejetiva:

!
tal que

. O par 4! 6 dito faixa de Moebius.
Exerccios 14.
1. Verifique que
* * .

2. Verifique que
* , .

3. Considere

possvel definir,como antes, um espao projetivo?
Proposio 17.

1. Sejam e espaos topolgicos,

aberta (fechada); ento uma identificao.
uma funo sobrejetiva, contnua e
uma funo contnua. Se existe

uma identificao.
2. Sejam e espaos topolgicos,
tal que
, ento

Prova :

1. Seja uma topologia em
; como contnua, ento . Como

aberta, para todo
4 * 6 aberto em ; logo .
,

ento * sobrejetiva. Seja tal que
*
seja
2. Como
aberto; ento
* *
4 6 aberto em ; logo uma
identificao.
Exemplo 45.
1. A funo:
*

, 1

sobrejetiva, contnua e aberta; pela proposio [17] uma identificao.

2. Analogamente:
, * ,
, 1 , 1
uma identificao.

Teorema 7. Propriedade universal da topologia quociente

Sejam , espaos topolgicos e uma identificao. Ento, para toda
contnua se, e somente se contnua.

~~
//

~~
~
~~ ~~~
Prova : Se contnua e
contnua.
contnua, ento
aberto; ento 4 6 * aberto em . Como
4 6 * * 4 * 6 , pela definio da topologia quociente, *
Reciprocamente, seja
aberto em ; logo contnua.
4.2 Espaos Quocientes

Funes sobrejetivas podem ser obtidas de forma natural utilizando classes de
equivalncia de alguma relao de equivalncia.
Seja uma relao de equivalncia sobre e
o conjunto das classes de
equivalncia em . Definamos:

onde a classe de equivalncia que contm ;

dita projeo cannica e
naturalmente sobrejetiva.
Definio 20. Seja 4 6 um espao topolgico. O par 4 6 dito espao quo-
ciente de .
Observao 15.
4.2. ESPAOS QUOCIENTES 69
A projeo cannica:

naturalmente uma identifio. Note que
4 6 aberto
* 4 6
aberto em .
4.2.1 Exemplos
A seguir apresentaremos vrios exemplos de homeomorfismos, a maioria bas-
tante intuitivos. Nos prximos pargrafos, teremos ferramentas suficientes para
provar estes homeomorfismos. Por enquanto, ficaremos apenas com a parte geo-
mtrica.

Exemplo 46. Seja
com a topologia induzida pela topologia usual de .
Consideremos em a relao de equivalncia:
ou '
; ento ; ento e se , ento
:
Se e se ;
logo
1 1
[0]=[1]
0
0
Figura 4.1:
Logo,
4
6 uma identificao. Note que

bijetiva salvo para
e e:
4 6 * '
Observao 16.
Nos seguintes exemplos, as setas indicam o sentido dos pontos que esto na mes-
ma classe de equivalncia.
, , , . Consi-
,
Exemplo 47. Seja com a topologia induzida pela topologia usual de
deremos em a relao de equivalncia:
* * * * ou * e *

para todo
* * ,
1. Observe que se , ento
e .

2. Em particular, e .

, 4 , 6 uma identificao. Note que bijetiva salvo
3. Ento
para
e e
4 , 6 * '
Figura 4.2:
, , , . Consi-
,
Exemplo 48. Seja com a topologia induzida pela topologia usual de
* * * * ou

para todo
* * ,
1. Observe que se , ento

e .
2. Em particular, e .
, 4 , 6 uma identificao. Note que

3. Ento
para
e e bijetiva salvo
4 , 6 !
onde
! a faixa de Moebius.
(0,b)
(0,1-a)
(0,a)
(0,1-b)
Figura 4.3:
Nos prximos captulos, verificaremos que a faixa de Moebius homeo-

morfa a uma superfcie parametrizada em :
Figura 4.4: Faixa de Moebius
, , , . Consi-
Exemplo 49. Seja
, com a topologia induzida pela topologia usual de
* * * * ou e
para todo
* * ,
, ento e e se
.
1. Observe que se
, ento

2. Em particular, .

3. Ento
para
, , e e
4 , 6 * * '
Figura 4.5:
, , , . Consi-
Exemplo 50. Seja
, com a topologia induzida pela topologia usual de
deremos em a seguinte relao de equivalncia:
* * * * ou e

para todo
* * ,
, ento e e

1. Observe que se

.

2. Em particular, .

3. Ento
para
, , e .
4. 4
, 6 chamada garrafa de Klein. Note que a garrafa de Klein contm
uma faixa de Moebius.
Figura 4.6: Garrafa de Klein
Exemplo 51. Seja 4 6 e com a topologia

induzida pela topologia
usual de . O cone sobre denotado por , onde:

'
Observaes 14.
dita vrtice de .
1. A classe de equivalncia
2. Intuitivamente obtido de
onde identificamos a um
ponto.
naturalmente homeomorfo a
3. O subsepao .
I Xx I CX
Figura 4.7:

Observao 17.
Seja
contnua. Ento tal que

contnua. De fato, basta considerar o diagrama comutativo:

onde .

com a topologia induzida pela topologia usual de
Exemplo 52. Seja
, onde:
.
A suspenso denotada por
ou '
Observaes 15.
1. Intuitivamente obtido de
onde identificamos
e

a um ponto.

2. O subsepao naturalmente homeomorfo a .
XxJ SX
-1
Figura 4.8:
Observao 18.
Seja
contnua. Ento tal que
contnua.
4.3. TEOREMAS 75
4.3 Teoremas

Definio 21. Sejam
* ,
vamente. Dizemos que
, e relaes de equivalncia em e respecti-
* ,
preserva as relaoes se para todo tal que , * ,
ento .
, e relaes de equivalncias em e respectivamente.

Lema 1. Sejam
Se contnua e preserva as relaes, ento existe uma nica , contnua que torna o
seguinte diagrama comutativo:

4 6 4 6

Alem disso, se
uma identifio, ento uma identificao.
Prova : Definamos .

1. A funo
* *
bem definida. De fato, seja

* ; ento

* , ento
; logo , isto * .
2. Pela definio,

* , .

tal que

, como

*
3. Suponha que existe tal que o diagrama comuta. Existe pelo menos um

sobrejetiva, existe pelo menos
um tal que

4 *6 4 , 6
. Isto uma contradio, pois o
diagrama comuta.
4. Como

*, , e

so contnuas., pelo teorema [7], contnua.

Teorema 8. Sejam e espaos topolgicos e
uma relao de equivalncia definida em tal que:
contnua e sobrejetiva. Se
* *
ento, existe 4 6 contnua e bijetiva.
Prova : Consideremos:
#

1
4 6 #

1. Pelo lema [1], definimos . Logo, contnua e sobrejetiva.

2. Se
* , ento
& * , isto *

* ; logo * . Ento bijetiva.
Corolrio 4. Com as hipotses de teorema 8, so equivalentes:
1.
uma identifio.
2. um homeomorfismo.

* *
Prova : Pelo teorema [8], basta provar que aberta. Observe que para todo

temos que

.
* *4 6
aberto aberto em

aberto em

aberto em , pois tem a topologia quociente induzida por .

Corolrio 5. Nas hiptese do teorema [8], se
um homeomorfismo, ento:
4 6 4 6 '
Prova : Seja

4 6 4 6

1. Pelo teorema [8], definamos por

.
2. bijetiva e contnua.
3.
* contnua, pois
*
*7 , * e *

contnua.
Exemplo 53.
Seja
e
. Consideremos
com a topologia usual e com a
topologia induzida. Definamos:
* ,
* ,
existe

tal que * . ,
7
existe tal que * -, '
4.3. TEOREMAS 77
Seja
tal que
;

homeomorfismo. Por outro lado:
* , existe tal que * . ,

. ,
. , , logo

*

* , '
Pelo teorema:
4 6 4 6 * '
Exerccios 15.
4 ( 6 4 6
,
1. Seja
- -
com a topologia induzida pela usual de

4 6
e relao de equivalncia definida por e .
Considere com a topologia quociente, verifique que:
4 6 *
* com a topologia induzida pela usual de , .

2. Seja 4 76 , onde a topologia definida por:
se, e somente se .
Se relao de equivalncia definida por . Verifique que 4 6 com a

topologia quociente homeomorfo a

com a topologia induzida por .
3. Seja
. com a topologia de Zariski e relao de equivalncia definida por
* ,
'-' ' . * , ' '-' . 1 1
para todo
'-'-' . Verifique que 4 . 6
homeomorfo a
. * com a topologia de Zariski.
com a topologia quociente
4.4 Aes de Grupos

6 um grupo.
Seja um conjunto e 4
Definio 22. O grupo 4

6 atua pela esquerda sobre se existe uma
funo:

tal que:
1.
, para todo

e
+ a identidade de
.
2. *

4
# ,
6 4 * , 6

, para todo
e * , " . Em tal caso, dito
-conjunto.
Exemplo 54.
1. Sejam um espao topolgico e

um homeomorfismo '
um grupo no comutativo com a composta de funes. Definamos:

'
Ento, um
-conjunto.
2. Seja . e 4 , 6 . Definamos:
. .

,

.
onde o antipodal de . Ento, um , -conjunto.

3. Seja e 4 6 . Definamos:

'

Ento, um -conjunto.
4.4. AES DE GRUPOS 79
4. Seja , e 4 , 6 . Definamos:
, , ,
# # # '
Ento,
, um , -conjunto.
5. Sejam
, e 4 & 6 . Definamos:

. '

Ento, um -conjunto.
* *
, 1 tem
, 1uma

* , ento , 1 , 1 , 1 . Consideremos
6. Seja ; ento estrutura de grupo multiplicativo induzida
,
por . De fato, se

:
* , , * , , , '
Definimos:

* , 1
* ,

* , , 1 * , 1 , '

Ento
um * -conjunto.
7. Seja . * . e
o grupo ortogonal. Definamos:
. * . *

'
; logo est bem definida e . * um -conjunto.

Proposio 18. Seja um -conjunto. Para todo
definamos:
"

, ento bijetiva.
por
e que para todo , temos
Prova : Note que
e . Ento *

. Logo,

.
Definio 23. Seja um

-conjunto. Definimos:
1. O estabilizador de
por:

'
um subgrupo de
.
2. A rbita de
por:
" '
Exemplo 55. Consideremos como um -conjunto, com a ao:

*

* , 1 , 1 , 1
* ,
* , * , '
; ento o estabilizador do ponto * , :

Seja * ,
* , 1 & '

Exerccios 16. Verifique que:

1. Para todo
,
ou so disjuntas.
!
2. "
, (unio disjunta).
4.4.1 -espaos
Se um
-conjunto, podemos definir sobre a seguinte relao de equivaln-
cia:
existe " tal que

isto :
'
Denotemos por

o conjunto das classes de equivalncia desta relao. Se
um -conjunto, temos a projeo cannica, que sobrejetiva:
'
Logo, se

um -conjunto que espao topolgico, podemos dar a a
topologia quociente.

Definio 24. Seja um espao topolgico que um
se contnua, para todo
" .
-conjunto, dito -espao
Exemplo 56.
1. . , um , -espao.
2. um -espao.
3.
, , um , -espao.
Observaes 16.
1. Se um
-espao a funo
um homeomorfismo, para todo " .
2. Se um
-espao, ento existe um homomorfismo de grupos:
#
'
Proposio 19. Se um
-espao a projeo cannica:

aberta.
Prova : Seja
aberto, devemos provar que
*4 6

aberto em , o que
equivalente a provar que aberto em . De fato:
* 4 6

para algum

para algum
e "
! para algum

! "

"
que aberto, pois
um homeomorfismo.
Exerccios 17.
1. Prove que se
finito, ento

fechada.
2. Ache exemplos de
-espaos, onde
seja finito.
4.4.2 Exemplos
Agora estamos em condies de verificar alguns dos homeomorfismos vistos an-
terirmente.
A) Seja com a topologia usual e * com a topologia induzida pela usual de
; ento:
* '
1. Seja
* tal que definida por
, 1 . Veja o exemplo [41] .
2. Observemos que se consideramos como grupo aditivo e * como grupo
multiplicativo (multiplicao induzida por ). Ento:
, 1 , 1 , 1

isto ,
um homomorfismo de grupos com ncleo .

3. Para todo
,

.
4.

um -espao com a operao
.

. Logo, existe

tal que
5. Ento,
uma identificao, pelo corolrio [4] temos:

{{
{

//
== *

{
{{
{{
Logo um homeomorfismo, onde , logo:

* '
B) Seja

com a topologia usual e * com a topologia induzida
pela usual de , ento:
* 4 6
onde

ou .
* , 1
1. Seja

tal que definida por . Analogamante ao
exemplo anterior, uma identificao; pelo corolrio [4], temos:
// *
zz==
zz

z zz
z
2. Logo um homeomorfismo:
* 4 6 '

3. Ento:
* 4 6'
C) De forma anloga, temos que:
4 , 6 , , * * ,
, , com a topologia induzida pela topologia usual de , e para todo
* * , , consideremos a relao de equivalncia:
onde
* * * * ou e '

, o toro de revoluo em , parametrizado por:

onde e , .
O homeomorfismo:
4 , 6 ,
fica para os prximos captulos.
Sejam um
-espao e um -espao, onde 4 6 e4 6 so tais que:

5 homeomorfismo
homeomorfismo
sobrejetiva e contnua

sobrejetiva e contnua '
Lema 2. Sejam um
-espao e um -espao. Ento
um
-espao.
Prova : Com as notaes anteriores, definamos:

4 56 4 6 4 6

e

4 6 4 6

'
No difcil provar que
um 4 6 -espao e
um homeomorfismo.
Proposio 20. Com as notaes anteriores:
44 6 4 6 6 4 6 4 6#'
Prova :
1. Definamos , isto , * ,

:

//

l l
lll
ll l

ll
vv ll
l
2. naturalmente bem definida e bijetiva.

/ 4 6 4 6 aberto; devemos provar
* 4 6 4 4 6 4 * 6 6 * , isto , pela
3. contnua. Sejam
& $
que aberto em
topologia quociente, devemos provar que

4 4 66 aberto em
definio de
.

4.

/ , ento *
* * * * ; logo:

* 4 * 4 6 6 * *

que aberto, pela definio da topologia quociente.
Exemplo 57.
Sejam , e , . Definamos:
, , ,
# 7 # # '
Ento,
, um , -espao, e:
, , * * , '
Captulo 5
Compacidade
Do Clculo sabemos que funes contnuas definidas sobre conjuntos limitados

e fechados possuem um ponto de mximo e um de mnimo absoluto (Teorema
de Weierstrass) e da Anlise conhecemos o teorema de Heine-Borel sobre inter-
valos encaixados. As formulaes de compacidade em espaos topolgicos en-
volve muito mais do que o conceito de fechado e limitado, os quais no so equi-
valentes. A importncia principal da compacidade que ela nos permite obter
propriedades globais a partir de propriedades locais. Existem vrias formas de
introduzir o conceito de compacidade em espaos topolgicos. Ns escolhemos
a seguinte.
5.1 Introduo
Seja um espao topolgico e .
Definio 25.
1. Uma cobertura de uma famlia de subconjuntos 1 tal que:
1! " 1 '

2. Se
finito, a cobertura dita finita.
3. A cobertura dita aberta se os 1 so conjuntos abertos.
4. Se , ento uma cobertura se:

!
1 1'
"
87
88 CAPTULO 5. COMPACIDADE
Exemplo 58. Seja com a topologia usual.
1. Seja ; ento

uma cobertura no
aberta de .
; ento
uma cobertura aberta
2. Seja

de .

3.

& uma cobertura aberta de .
Definio 26. Sejam 1
e coberturas de
. Se para todo existe tal que 1 , ento, dizemos que uma
subcobertura de .
Exemplo 59.

& um subrcobertura de .
A seguir, somente consideraremos coberturas abertas.
Definio 27. Um subconjunto dito compacto, se toda cobertura de admite

uma cobertura finita.
Em particular, compacto, se todo cobertura de admite uma cobertura finita.
Observaes 17.
1. Os conjuntos finitos, em qualquer espao topolgico, so compactos.
2. A unio e a inteseo finita de compactos um compacto.
Exemplo 60.
1. Seja 4 1 . 6 . Todo compacto.

2. Seja 4
1 6 . compacto se, e somente se finito.
3. Se discreto infinito, ento no compacto. Em particular, e

no so compactos.
4. no compacto, pois
& no possui uma cobertura
finita.
5. Para todo

,
compacto. Veja [EL1].
Exerccios 18. Seja um subespao. compacto se, e somente se compacto

com a topologia induzida.
5.1. INTRODUO 89
Proposio 21. So equivalentes as condies:
1. compacto.
2. (Propriedade da interseo finita) Se

tal que os so
fechados e:
0

# "
ento existe uma subfamlia finita
'-'-' tal que:
0. '

132 *
Prova : A prova segue diretamente das leis de de Morgan. Por exemplo:
0 !
equivalente a '
# " #"
Proposio 22. Seja
contnua. Se compacto, ento
compacto em .
1 * 1 *
Prova :

Seja um recobrimento de ; ento uma
*

cobertura de ; como compacto, existe subcobertura finita ,

onde finito. Como , ento
uma subcobertura
finita de .
Corolrio 6.

1. Se compacto e contnua e sobrejetiva, ento

particular, se tem a topologia quociente induzida por , ento

compacto. Em
compacto.
2. Se
, ento compacto se, e somente se compacto.
Exemplo 61. O trao de uma curva contnua

compacto.
, definida por
tal que

Em particular, seja

. Ento * compacto em , . O toro , tambm compacto.

Observao 19.
Nem todo subconjunto de um espao compacto compacto. no
compacto.
Proposio 23. Se compacto e fechado, ento compacto.
Prova : Seja 1
uma cobertura de , onde cada aberto em 1
; ento

uma cobertura de ; como compacto, possui um
subcobertura finita, que pode ser:
1 ou 1

onde finito. Logo 1
um subcobertura finita de .
Proposio 24. e so compactos se, e somente se

compacto.
Prova : Se
compacto, como as projees so contnuas, ento e so

uma cobertura aberta de
compactos.
Reciprocamente, seja ; por
definio:

! 4

6
%"
onde
aberto em

e
aberto em , ento:

uma cobertura aberta de .
Por outro lado, para cada , temos que
; logo compacto;
, ento admite um subcobrimento

1 1 -' '-'
como tambm uma cobertura de
finito

, onde . Seja:

.0

132 1 '
*

# -' ' '
uma cobertura aberta de ; como compacto, admite uma subco-

bertura finita # ; ento:
-' '-' # 1 -' '-'

uma cobertura finita de

, isto , para cada e 1 , existe e tal
que:

'
Logo, existe subcobertura finita de , provando que
compacto.
5.2. COMPACIDADE EM ESPAOS MTRICOS 91
Corolrio 7. * , '-'-' . so compactos se, e somente se * , '-'-' . com-

pacto.
Exemplo 62.
1.
. no compacto.

2. Se , ento
. ' '-' compacto.
3. O toro
, * * compacto.
4. O toro no homeomorfo ao cilindro * .
5.2 Compacidade em Espaos Mtricos

Proposio 25. Sejam 4
! * 6 e 4 , 6 espaos mtricos tal que !
! contnua, ento uniformemente contnua. compacto. Se
*
Prova :
Como contnua, para todo existe

,
tal que se

, en-

)
) 1 + '-'-'
to . Seja ; uma cobertura aberta

de ; por compacidade, admite um cobertura finita

'-' '
.
Denotemos por

, ento dados tais
) 1

que
* % , temos ,
. Isto , se para algum ,
1

%* e:

1 $ 1 logo , 1

, $ , 1 , 1 '
Proposio 26. Seja 4 ! 6 um espao mtrico. Se ! compacto, ento
fechado e limitado.

Prova : Provemos que fechado. Se e , ento para todo , existe
tal que

; logo possui uma cobertura )
) '-'-' )
; como
compacto, existe uma cobertura finita
; ento
)

! o :que uma contradio, pois ; logo
. Por outro lado, para
todo

)+*%
)&,
)
'-'-'
!
132 )/.

*
logo, limitado.
Observaes 18.
1. Em geral, a recproca desta proposio falsa. De fato, seja com a mtrica

!
! infinito; ento fechado e limitado, pois

)&,
discreta tal que

! para todo ! e no compacto.
2. No caso
! . temos:
Proposio 27. (Heine-Borel) Um subconjunto fechado e limitado em

. se, e so-
mente se compacto.
. limitado, existe tal que

Prova : Seja
, para todo
fechado e limitado. Se

'-' ' .
.

; logo

Por outro lado, compacto, pois . Logo, fechado contido
num compacto; ento, compacto.
Exemplo 63.
1. . compacta.
2. O toro
, compacto.
3.
. compacto.
4. O toro e a esfera no so homeomorfos a

,.
5. O toro e a esfera no so homeomorfos ao cilindro * .
6. A faixa de Moebius compacta.
7. Os grupos e so compactos. De fato, sabemos que so fechados

e para toda , temos que * .
cont-
tais que:
Corolrio 8. (Weirstrass) Seja um espao topolgico compacto e
nua; ento existem *

*
para todo
.
Prova :

Como contnua,
!
compacto em , logo fechado e limitado; como

% !

limitado, existe e ; alm
!

disso fechado; ento
, ento existe
. De fato, suponha que
tal que
! !
, como
. Isto , para

5.2. COMPACIDADE EM ESPAOS MTRICOS 93
!
todo
existe

,
* tais que
! * e
, e:
o que uma contradio. Analogamente para . Logo,

*
para todo
.
Seja um conjunto limitado, definimos e denotamos o dimetro de por:

'
O nmero dito de Lebesgue da cobertura 1 " 1 de

, ento existe tal que: se para todo

com

1 '

O nmero de Lebesgue de uma cobertura pode no existir. De fato, considere a

de . No difcil ver que para todo

cobertura ,

se pode escolher

; tal que

e no pertence a

nenhum elemento da cobertura.
Lema 3. (de Lebesgue) Todo conjunto compacto num espao mtrico possui um nme-
ro de Lebesgue.
Para a prova, veja [EL2].

Captulo 6
Axioma de Separao
4 ! 6

Consideremos um espao mtrico com mais de dois elementos. Sempre
podemos escolher ! e , ento
) - ) -
tal que com
. Esta propriedade natural dos espaos mtricos, que nos per-
mite diferenciar os pontos dos espaos, no vlida, em geral, em espaos topo-
lgicos arbitrrios. Neste pargrafo estudaremos que tipo de espaos possuem
esta propriedade, que por exemplo, fundamental para provar a unicidade do
limite de uma sequncia em espaos mtricos. Veja [EL2].
6.1 Espaos de Frchet

Seja 4 6 um espao topolgico
um espao de Frchet ou *
,

Definio 28.
existe tal que e .
se para todo tal que
Exemplo 64.
1. 4 1 6 e os espaos topolgicos metrizavis so *.
2. 4 1 . 6 no *.
Proposio 28. * se, e somente se fechado em , para todo
.
* . Seja

Prova : Suponha que e ; ento existe vizinhana

de tal que ; logo:
!

"

isto , aberto.

abertos,
so fechados
Reciprocamente, se e
e
em
; logo * .
; ento e so
95
96 CAPTULO 6. AXIOMA DE SEPARAO
6.2 Espaos de Hausdorff

Seja 4 6 um espao topolgico
de Hausdorff ou , se para todo

Definio

,
29.

existem
um
espao
,
e
tais que

.
tal que
, implica * . A reciproca falsa. Veja o seguinte exemplo:

Exemplo 65.
1. 4 6 de Hausdorff
2. 4
5 1 6 e os espaos topolgicos metrizavis so de Hausdorff.
3. 4
5 1 . 6 no de Hausdorff.
4. 4
6 no de Hausdorff. De fato. Para todo , temos
. Defato,

sejam
7* e , , onde * e , so

4 * , 6 ; como * , finito, ento ; logo

finitos; ento
ser de Hausdorff. Note que 4

6 *. no pode

5. Utilizando propriedades dos anis de polinmios possvel verificar que
topologia de Zariski no de Hausdorff.
Teorema 9. So equivalentes as seguintes condies:
1. de Hausdorff.
2. Se
, para todo
existe uma vizinhana de tal que
.
3. Para todo
temos que:
0
vizinhana de '
4. A diagonal um conjunto fechado em
.
Prova :

que

Dados
; logo
, existem
.
e vizinhanas de e respectivamente, tais
Se
existe uma vizinhana de tal que
; ento:
0 vizinhana de '
6.2. ESPAOS DE HAUSDORFF 97
Provaremos que aberto. Seja ; ento ; como

vizinhana

de , existe tal que
e . Por outro lado, $
4 &6
, ento
4 &6 .
Dados , ento , isto que aberto; logo existe
de tal que 4 6 .
vizinhana
4 6 tal que
e
existe

'
Logo;
e , .
Corolrio 9.
1. Se de Hausdorff e um subespaco, ento de Hausdorff.
2. Se de Hausdorff e
contnua e injetiva, ento de Hausdorff.
3. Se e so de Hausdorff, ento
de Hausdorff.
Prova :
1. Denotemos por a diagonal de , ento
4 6 '
Logo fechado em e de Hausdorff.
2. Como
contnua e injetiva:
" * 4 6 '
Logo
fechada em
e de Hausdorff.
3. Se e so de Hausdorff, definamos:

* * * *'
um homeomorfismo e:
4 6 '
Logo,
fechado em
e
de Hausdorff.
Exerccios 19. Se de Hausdorff e

uma bijeo fechada, ento de
Hausdorff.
Teorema 10. Se de Hausdorff e compacto, ento fechado.

Prova : Se ou nada temos a provar. Sejam

e
;
existem e vizinhanas de e respectivamente, tais que
. Por outro lado, um recobrimento
para todo
aberto ; como
'-' ' de. Considere-
compacto, existe um subrecobrimento finito #
mos:
0.
132 '
*
para todo ; logo , isto , para cada

existe um aberto tal que , logo aberto e fechado.
vizinhana de tal que
Observao 20.
A condio de ser de Hausdorff e de compacidade so essenciais no teorema
anterior. Vejamos os seguintes exemplos:
Exemplo 66.

-
1. Considere com a seguinte topologia . Ento

compacto e

, logo no fechado. Note que
no de Hausdorff.
2. Seja
com a topologia dada no exerccio [1], tem 2. Seja ,
compacto e

pois para todo aberto temos $ &. 5/. . Isto ,
para todo , e no compacto. De fato:
!

.
."
onde
.+ . Logo, o fecho de um compacto pode no ser compacto.
(* 7, */ 7, . Se 4 5 * 6
4 5 , 6
Corolrio 10. Sejam e topologias em tal que de Haus-
dorff e compact, ento * , .
Prova : Seja
7, ; logo fechado em 7, ; ento compacto em
, . Por outro lado, como (* , , todo recobrimento aberto de em 5 * um
recobrimento aberto de em , ; ento compacto em * . Como 4 * 6 de
Hausdorff, segue que fechado em (* ; logo
* e ,/ * .
6.2. ESPAOS DE HAUSDORFF 99
Proposio 29. Sejam espao topolgico, espao de Hausdorff e

contnuas. Ento:

1. fechado em .
2. Se denso e
ento
em .
3. O grfico de
fechado em
.
4. Se
injetiva, ento de Hausdorff.
Prova :
Seja onde ; contnua e:
*

e fechado em
.

Segue, de imediato, pois . Como
fechado e denso, ento:

'
Seja onde ; contnua e:
*
e fechado em
.
A funo
* uma bijeo fechada do espao
que de
Hausdorff.
Observaes 19.

1. O tem da proposio [29], no vlido sem a hiptese de ser de Haus-
dorff. Por exemplo, considere
e tal que

4 1 . 6 4 1. 6
ambas so contnuas e
, que no fechado em
1
4 . 6 .

2. Note que as curvas contnuas e os planos so fechados em com a topolo-
gia usual.
Proposio 30. Se compacto, de Hausdorff e

contnua, ento

fechada.

implica

Prova : Seja fechado; logo compacto; ento
fechado em e fechada. compacto, o que
Corolrio 11. Sejam compacto, espao de Hausdorff e

contnua. So
equivalentes:
1.
um homeomorfismo.
2.
bijetiva.

Prova : Se um homeomorfismo, ento bijetiva. Reciprocamente. Se
bijetiva, ento aberta e fechada; logo um homeomorfismo.

Observao 21.
4 6 4 1 6
A condio de compaciade essencial no corolrio [11]. De fato, considere os
seguintes espaos topolgicos , e a funo identidade:
4 1 6 4 6
que contnua, bijetiva e no um homeomorfismo.
Corolrio 12. Sejam compacto, espao de Hausdorff e
contnua e
injetiva ento:
'
6.3 Topologia Quociente

Em geral, falso, que espaos quocientes de um espao de Hausdorff sejam de
Hausdorff.
Exemplo 67. Seja com a topologia usual e definamos a seguinte relao de equivaln-
cia:

ou '
Consideremos 4 6
com a topologia quociente e a correspondente projeo
*

4 4
cannica. Se , ento
, que no fechado em ; logo

no fechado em , o qual implica em que 6
no pode ser 6
de Hausdorff.
6.3. TOPOLOGIA QUOCIENTE 101
Teorema 11. Seja compacto, de Hausdorff e

uma identificao. Se

fechada, ento de Hausdorff (compacto).
Prova : Sejam * , * & * * ,

tal
que , ento
, ento
* * e * , so compactos

& * ,
& * , uma cobertura
disjuntos. Seja e existem e abertos disjuntos

* ,
tais que e
; logo existe . Por outro lado,
uma subcobertura finita

) , onde ) * , e )
de
finito. Sejam:

0 !
e
"
"

e , * , . Por outro
lado,
* * uma cobertura de * * , logo existe uma subcobertura
e so abertos tais que

finita
, onde * * e finito. Sejam:
! 0
e
" "

* * e * , ; como fechada,

e so abertos disjuntos tais que
ento e so fechados em . Denotemos por:
* 4 6 e , 4 6 '

* e , so abertos tais que *
* , pois * * e , * , pois * ,
. Se * , , ento * e * ; logo * e
* donde * e * , .
Corolrio 13. Seja compacto, de Hausdorff e fechado. Definamos em a
relao de equivalncia:
ou '
Ento 4 6 compacto e de Hausdorff.
Prova :
fechado e a projeo cannica. Se
, ento
, ento que fechado. De fato:

Seja . Se

* 4 6 '

Logo, fechada.
comum na literatura denotar-se
por
.
Corolrio 14. Se um
-espao compacto, de Hausdorff e
finito, ento
compacto e de Hausdorff.
Prova : Seja fechado, ento:

* 4 6& !

"

onde
*4 6

a projeo cannica.
fechado e

um homeomorfismo, para todo

fechado; logo fechada.
; ento

Proposio 31. Se compacto,
ento uma identificao.
de Hausdorff e contnua sobrejetiva,

Prova : Seja

fechado, ento

compacto em
, logo compacto
em , como de Hausdorff, fechado em e
pela proposio [17], uma identificao.
uma funo fechada e
Exemplo 68.
1. O toro
, compacto e de Hausdorff.
2.
. e .
so compactos e de Hausdorff.
3. A faixa de Moebius compacta e de Hausdorff.
4. A garrafa de Klein compacta e de Hausdorff.
6.3.1 Homeomorfismos
Nas seguintes aplicaes utilizaremos o seguinte corolrio cuja prova segue dire-
tamente do pargrafo anterior e do corolrio [4]:
A) Seja . * . * , ento:
) 4 . * 6 4 . * 6 '
1. De fato, definamos
. * ) por .
, , ou * , e * , ,
2. Por outro lado * *
contnua e sobrejetiva.
3. Denotemos por 4 . * 6 4 . * 6 , temos o seguinte diagrama

comutativo:
. *

//
r 88
)
rr
rr
rr
rrrr
4. A funo contnua e sobrejetiva, como compacto e

) de Haus-
dorff, ento um homeomorfismo definido por .
B) Seja
, o toro de revoluo. Ento:
, * * 4 , 6 , ,'
1. Pelo exemplo C em [4.4.2], provaremos que:
, 4 , 6
onde
, o toro de revoluo em

.
2.
,
parametrizado por:

onde
,. e

3. Seja e consideramos
, , com a topologia usual e a relao de
,
equivalncia definida em por:
e

,.
para todo
4. Consideremos 4
, 6 com a topologia quociente e definamos:

,
por
.

5.
bem e contnua
definida, e sobrejetiva;
como peridica, ento como
* * . Logo, temos o seguin-
te diagrama comutativo:
, // ,
y <<
yy
,
y
yy
yy
6. Como compacto e4 , 6 ,

* , * ,de . Hausdorff, ento um homeomor-
fismo. Note que
-dimensional
. * * '-'-' *
7. Em geral, com argumentos anlogos aos anteriores, se consideramos o toro
, ( vezes), temos que:
. . . '
C) Seja . *
, isto
. * menos a origem, definamos em a seguinte relao
de equivalncia:
existe

tal que '

Seja 4 6 , ento:
.'
1. Considere
. * . . * com a topologia induzida pela topologia usual de
.
2. Seja

. *

. definida por

, onde . . *

a incluso e
a projeo cannica.
3.
contnua e sobrejetiva. Logo, temos o seguinte diagrama comutativo:
. // .
y<<
yyy
yy
yyy
4. Como . compacta e
. de Hausdorff, ento um homeomorfismo
.
* *
* * ,
5. claro que um ponto e . De fato, basta considerar a funo
tal que , por argumentos anlogos aos anteriores,
temos o seguinte diagrama comutativo:
* z
//
z==
*
zz
*
z zz
z

Logo, temos que

* * .
D) Seja
. * , isto . * menos a origem, definamos em

a seguinte relao
de equivalncia:
* , existe
tal que * , '

Seja 4 6 , ento:
.'
, . * . * com a topologia induzida pela topologia usual de
. *
1. Considere
.
, . * definida por , onde
, . * a incluso
. * a projeo cannica.

2. Seja

e
3.
contnua e sobrejetiva. Logo, temos o seguinte diagrama comutativo:
, . *

vv
//
v::
.

vv
vvv
vv
4. Como , . * compacta e .

de Hausdorff, ento um homeomorfis-
mo .
Exemplo 69.
Verifique que
um ponto e * , .

F) Seja
! a faixa de Moebius, ento:
!

onde a superfcie parametrizada em , por:
, ,

onde , .
1. Lembremos que
! 4 6 , onde , ,

.
e ! definida por:

2. Seja
, ,

3. A funo injetiva, contnua,
! compacto e ! de Hausdorff;
logo
! ! '
Captulo 7
Conexidade
Seja um espao topolgico.

Definio 30. )
conexo se no existem e abertos disjuntos no vazios tais que

)
. Caso contrrio dito desconexo.
Observao 22.
conexo, se conexo como subespao de .
Exemplo 70.
1. e so sempre conexos.
2. Em 4
1 . 6 , todo subconjunto conexo.
3. Em 4
5 1 6 , os nicos conexos no vazios so os conjuntos de um elemen-
to.
4. Seja 4 6 ,
(a) desconexo. De fato, basta considerar:

e )
'

(b) Para todo

, ento desconexo. De fato, basta considerar:
e ) '
5. 4 6 conexo. De fato, nesta topologia no existem abertos no vazios
disjuntos.
Proposio 32. Seja com a topologia usual. Os nicos conjuntos conexos em com
mais de um ponto so os intervalos (abertos, fechados, etc).
107
108 CAPTULO 7. CONEXIDADE

%
Prova : Se conexo, ento um intervalo. Suponha que no um intervalo,

)
ento existem e tal que . Sejam e

; logo

e no conexo. )

Se um intervalo, ento conexo. Se for desconexo, ento existem e
) )
abertos disjuntos no vazios tais que

. Sejam
e

)
tais que

(caso contrrio, mudamos os papis de e ). Denotemos por:
'

Logo
; como um intervalo, . Por outro lado, .
Como
) , ento aberto e fechado em ; logo e existe
tal que
, contradio, pois um supremo.
Segue de imediato da proposio anterior:
Corolrio 15. Seja com a topologia usual. conexo se, e somente se

,
ou um intervalo.
Teorema 12. So equivalentes:
1. conexo.
2. Os nicos subconjuntos abertos e fechados em so e .

3. No existe funo
4 76 4 1 6 contnua e sobrejetiva.
Se aberto, fechado e no vazio ou , ento , ento

Prova :
desconexo.
Suponha que 4 5 6 4 1 6 contnua e sobrejetivaa, logo

* , como aberto e fechado em 4 1 6 , ento * aberto e
fechado em .
Se ) onde e ) so abertos disjuntos no vazios, ento e )
so fechados e a funo 4 76 4 1 6 definida por:

se
se )
Exemplo 71. Segue do teorema que , com a topologia usual conexo.
Corolrio 16.
109
1. Se conexo e
contnua, ento
conexo.
2. Seja
. Ento, conexo se, e somente se conexo.
0
5
3. A unio arbitrria de subconjuntos conexos de que tem pelo menos um ponto em

comum, conexa. Isto . Seja tal que , ento:
!

-" $
conexo.
4. Seja subconjunto conexo. Se tal que ) ) , ento )

conexo. Em particular, o fecho de um conexo conexo.
Prova :

1. Note que
existe
contnua e sobrejetivaa. Se
contnua e sobrejetiva; logo
for desconexo,

contnua e sobrejetiva, o que uma contradio, pois conexo.
2. imediata.
3. Sejam famlia de conexos, e:

! 0
& tal que
& '

# " #"
contnua. Como cada conexo
Suponha que existe
& , para todo ; ento

, para todo & e ; caso contrrio sobrejetiva.

no sobrejetiva. Por outro lado, como

Logo no sobrejetiva.

4. Seja
contnua; como conexo, ento no sobrejetiva.
Por outro lado, ) ) e pela continuidade de :

)
logo
no sobrejetiva.
Proposio 33. e so conexos se, e somente se

conexo.
conexos tais que ) ) so abertos
4 6
Prova : Sejam e , onde e
disjuntos. Ou
+ * , +* aberto ou existe tal que
4
e 6 ) .
Exemplo 72.
1. * , , 1
com a topologia usual conexo. De fato; seja
*
,
definida por

que contnua e . Em particular:
*
pois,
desconexo e * ainda conexo.
2. O toro
, * * conexo.
3.
. e & so conexos.
4. A faixa de Moebius, o plano projetivo real, o plano projetivo complexo e a
garrafa de Klein so conexos.
5. Sejam

e

'

O conjunto conexo, pois imagem de

por uma funo contnua,
,

.

tambm conexo; pelo corolrio [16], conexo. Note que em ,
-1
Figura 7.1: .
6. Seja a famlia * , , , , , logo * para

todo .
7.1. APLICACES 111
Figura 7.2: A famlia . *

*
Como cada conexo, pelo corolrio [16]:
! * , ( , ,

,
conexo.
7.1 Aplicaces
A primeira aplicao que estudaremos a generalizao do teorema do Valor
Intermedirio do Clculo.

Proposio 34. Sejam
* ,
conexo, com a topologia usual e
tal que contnua.
*
, * ,

Sejam
, existe
tais que
tal que

.

. Ento para todo

Prova : Se contnua, ento
um intervalo. Se
* e , , ento ; portanto,
conexo, logo
existe

tal que .
para todo
Corolrio 17.
1. Toda
contnua

admite, pelo menos menos um, ponto fixo. Isto ,
existe tal que .
2. Teorema de Borsuk - Ulam para : Seja

* contnua. Existem
pontos antipodais que possuem a mesma imagem.
Prova :
1. Seja 7 ; ento

. Pelo teorema do valor inter-

medirio, existe tal que .
2. Utilizando coordenadas polares, denotemos os elementos de pelo ngulo

*
, em radianos. Logo, os pontos e so antpodas; consideremos

; ento como
a
funo
pelo teorema do valor intermedirio, existe *
tal quee * . ,

Exerccios 20. Seja
se
* * eum conjunto

ordenado, com a relao de ordem . Denotemos
* . Definamos a topologia em que tem como subbase
por
, onde:

e '
Note que se
, ento o intervalo
. A topologia gerada por esta
subbase chamada topologia da ordem e
dito espao odenado. Verifique que o
teorema do valor intermedirio, pode ser estendido a espaos ordenados.
Proposio 35. Seja e . , enumervel. Ento

. conexo.
Prova : Sem perda de generalidade, podemos supor que a origem (caso

.
contrrio, por translao, movemos a origem). Seja . Provaremos que
.
[16],
.
a origem e cada , esto contidos num conjunto conexo de
ser conexo.
e pelo corolrio

Denotemos por a semi-reta que liga a origem e por uma reta qualquer

que intersecte em nico ponto diferente de e .

Para todo , seja . Pelo corolrio [16] cada conexo e
.
Lz
z
A
Figura 7.3:
7.1. APLICACES 113
.
Pelo menos um ; caso contrrio se , para todo
ponto de interseo, necessariamente, deve ser diferente para diferentes
,o
.

Logo, teramos uma correspondncia biunvoca entre e , o que impossvel,

pois enumervel.
Corolrio 18.
. , no so homeomorfos.
e
. ; ento 4 . 6 4 6 . Como .
seria conexo. Portanto no podem ser homeomorfos.
Prova : Suponha que
conexo,
Observao 23.
. )
Provar que se
# , surpreendentemente, muito complicado. Este
ciado : se
.
resultado segue do ) teorema chamado da invarincia da dimenso, cujo enun-
, ento
# . A prova deste teorema envolve delicados
conceitos topolgicos que ficam fora do contexto destas notas.
Exerccios 21. Verifique que:
1. *.
2.
* . se .
Definio 31. Seja

,. A componente conexa de a unio de todos os conjun-
tos conexos que contm a .
Observaes 20.
1. Denotamos por a componente conexa de .

2. Pelo corolrio [16], o maior conexo que contm .
3. Se conexo, ento
, para todo .

Proposio 36. fechado em .

Prova : Sabemos que , para todo
e que conexo. Como

o maior conexo que contm , ento .
Exemplo 73.
. . * , com a topologia usual, conexo.

De fato; consideremos o homeomorfismo

. . dado pela projeo este-
reogrfica. Como
. conexo, ento . conexo e:
. . '
7.2 Conexidade por caminhos

Sejam e4 5 6

um intervalo fechado, com a topologia induzida
pela topologia usual de .
Definio 32. Um caminho em uma funo , contnua.
Observaes 21.
1. Os pontos e so ditos ponto inicial e final do caminho, respectiva-

mente.
2. Um caminho no um conjunto em . Por exemplo, considerando com

a topologia usual, ento:

* e ,
* e , ,
definidos por so dois caminhos ligando e .
* ,
Definio 33. dito conexo por caminhos ou conexo por arcos, se para todo
, existe caminho ligando a . * ,
Exemplo 74.
1.
.
conexo por caminhos. Em geral, todo espao vetorial conexo por
caminhos.

2. O grupo no conexo por caminhos. De fato, se consideramos du-
as matrizes em , tais que uma tenha determinante positivo e a outra
determinante negativo, qualquer caminho contnuo ligando estas matrizes,
necessariamente dever passar pela matriz nula.
Proposio 37. Seja conexo por caminhos e


Ento conexo por caminhos.
tais que
e * * . Como* ;conexo
Prova : Sejam como sobrejetiva, existem *
por caminhos, existe

contnua ligando
a * ; logo definimos
, que um caminho que liga a * .
Corolrio 19. Se
, ento conexo por caminhos se, e somente se conexo por
caminhos.
Observaes 22.
7.2. CONEXIDADE POR CAMINHOS 115
1. Pelo corolrio, podemos sempre considerar

.
2. Sejam
caminhos tais que , isto , o ponto final de
coincide com o ponto inicial de . Nesta condies, podemos definir:

se

se
O caminho contnuo e
, # #
e
. Logo, um caminho em ligando a .
uma famlia arbitrria de espaos conexos por cami-
0
, ento:
Proposio 38. Seja
nhos tal que

-"%$
!

-"%$
conexo por caminhos.
* , * , 0

,
Prova : Sejam tais que e . Se , existem
,

e caminhos com *
e *
, ligando a e a , respectivamente.
Basta considerar o caminho , que liga a . * ,
Proposio 39. Se e so conexos por caminhos, ento
* * & . Denotemos por

Prova : Sejam e

caminhos ligando a * e a * , respectivamente. Logo:

um caminho em
, ligando a * * .
Teorema 13. Se conexo por caminhos, ento conexo.
Prova : Sejam
*
e um caminho ligando a . Ento, um conjunto*
* *
conexo que contm e ; logo e pertencem a mesma componente conexa, o
que implica que possui uma nica componente conexa; portanto conexo.
Observao 24.
A reciproca do teorema falsa. Veja o seguente exemplo:
Exemplo 75. Sabemos que se:

e

o conjunto conexo, mas no conexo por caminhos.
Provaremos que no existe caminho tal que e .

Suponha que tal caminho existe. Sem perda de generalidade, podemos supor

que . Seja ; pela continuidade de , existe tal que

se
.

Figura 7.4:
Note que ,
conexo. Denotemos por

*%

e

#*
4 * 6
a primeira projeo de ; ento e contnua e o conjunto
conexo com , pois ); tambm .

*
* *
Por outro lado, um intervalo e contm ; logo para todo
, existe
tal que

. Em particular, se #

, para

grande, temos que se
-
*7
# , ento *
*
-

e

;
logo o ponto # , para algum
, ou seja, o ponto #

-
est a uma distncia menor que 1/2 do ponto . Istoe uma contradio, pois
# esta a uma distncia de pelo menos 2 do ponto .
Proposio 40. Seja

. com a topologia usual, se . aberto, ento conexo
por caminhos.
Prova : Seja
e denotemos por:
pode ser ligados a por um caminho em A
, como aberto, existe

tal que

Afirmamos que aberto. De fato, seja
uma vizinhana de e
. Por outro
7.2. CONEXIDADE POR CAMINHOS 117

lado, conexo por caminhos, (pois homeomorfo a ); logo, todo ponto de
.

pode ser ligado a por um caminho em . Por tanto, todo ponto de pode ser

ligado a por um caminho em . Isto ,
e aberto.
Afirmamos que fechado. De fato, seja ) )
; logo o conjunto de todos

os pontos de que no podem ser ligados a por um caminho em . Por um
)
argumento anlogo ao anterior possvel verificar que aberto e por tanto

fechado. Logo, no vazio, aberto e fechado, como conexo, ento .
Exerccios 22. 1. Verifique que todo espao com a topologia indiscreta conexo por
caminhos.
2. Seja um espao topologico e a seguinte ralao de equivalncia:
se existe um caminho ligando a

em '
Verifique que conexo por caminhos
Bibliografia
[EL1] Lima E.: Anlise em

. , Projeto Euclides, Impa - Brasil, (1977)
[EL2] Lima E.: Espaos Mtricos, Projeto Euclides, Impa - Brasil, (1977)
[DD] Dugundji J: Topology, Boston, Allyn & Bacon (1966)
[CK] Kosniowski C: A First Course in Algebraic Topology, Cambridge Univ.

Press (1980)
119

Topologia

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Topologia

Diunggah oleh

Hak Cipta:

Format Tersedia

TOPOLOGIA GERAL

Departamento de Anlise - IME

Copyright by Mauricio A. Vilches

a topologia aprece no sequlo

2 Funes em Espaos Topolgicos 37

A seguir apressentaremos a definio de topologia que essencialmente a gene-

1.1 Conjuntos Abertos

2. Dada uma famlia arbitrria       

1. Os elementos de so ditos conjuntos abertos de .

2. O par 4 5 76 chamado espao topolgico.

Exemplo 1. Todo conjunto no vazio possui as seguintes topologias:

1 .    , chamada topologia indiscreta.

2. 1  , chamada topologia discreta.

Claramente, * e  so topologias para . 7, no uma topologia em , pois:

) *  )&,  ; ento, dado   )+* )&, temos que   )+* 

1. Quantas topologias podem ser definidas no conjunto  

2. Verifique que  junto famlia:

 .     -' '-' 

Exemplo 7. Seja um conjunto no vazio e:

4. Esta topologia chamada de cofinita e denotada  .

Exemplo 8. Seja 4  6 . Se para todo 

1.2 Conjuntos Fechados

Definio 2. Seja  . dito fechado em se  .

2. Seja4  1  6 ; ento os fechados de so  , e  - .

2. Sejam conjuntos fechados em ; ento:

3. Sejam   , arbitrrios tal que     , ento:

A prova imediata. De fato:

1. O exemplo anterior vale em

3. A unio infinita de conjuntos fechados pode no ser um conjunto fechado.

1. Se tem a topologia discreta, todo subconjunto de aberto e fechado.

3. O conjunto  no aberto nem fechado com a topologia usual e com a

Definio 3. Sejam e * 7, topologias sobre . Se (*  7, , ento dizemos que a

1. As topologias sobre um conjunto no podem ser comparadas, necessaria-

2. Seja   - com as topologias: (*      e 7,     -  .

1. Ache exemplo de um espao topolgico em que os conjuntos abertos so tambm

2. Sejam * e 7, duas topologias sobre o conjunto no vazio . Considere:

As famlias definidas so topologias sobre ? No caso negativo, ache um contra-exemplo.

1. Como  , ento toda unio de elementos de tambm pertence a .

3. Se uma base de dizemos que gera a topologia ou que a

Teorema 2. Seja  . A famlia uma base de se, e somente se

Prova : Se uma base de alguma topologia , ento aberto; logo se escreve

   unio arbitrria de elementos de '

Agora consideremos +* e /,

1. Uma topologia base de si prpria.

4. Logo, bases diferentes podem gerar a mesma topologia.

Exemplo 14. Seja  e

1. Se  ou ) vazio, est provada a proposio.

2. Suponha que  e ) so no vazios. Ento:

Por outro lado & e ) so intersees finitas de elementos de , logo 

4. Se outra topologia em que tambm contm , ento  ; logo,

1. Toda topologia subbase de si mesma.

Denotemos por    1 4  1 . 6  e   1    . A famlia forma uma

um polinmio que tem conjunto soluo . Por outro lado o conjunto de

Topologia de Zariski em Anis

1.3.2 Topologia Relativa

1. Em geral, os abertos relativos no so abertos no espao total. Por exemplo,

2.    fechado se, e somente se   , onde  fechado.

3. Se  fechado (aberto) em  e  fechado (aberto) em , ento  fechado (aberto)

2. Se    fechado, ento  , onde aberto em  ; logo

3. Como   e ambos so fechados em , ento  fechado em

1. Seja com a topologia usual. O conjunto

Figura 1.1: Abertos relativos de *

.   *  ' '-'   .   . *  . *  .  1, 

2. Dada uma famlia arbitrria

2. O par 4 5 76 chamado espao topolgico.

1 . , chamada topologia indiscreta.

2. 1 , chamada topologia discreta.

Claramente, * e so topologias para . 7, no uma topologia em , pois:

) * )&, ; ento, dado )+* )&, temos que )+*

1. Quantas topologias podem ser definidas no conjunto

2. Verifique que junto famlia:

. -' '-'

4. Esta topologia chamada de cofinita e denotada .

Exemplo 8. Seja 4 6 . Se para todo

Definio 2. Seja . dito fechado em se .

2. Seja4 1 6 ; ento os fechados de so , e - .

3. Sejam , arbitrrios tal que , ento:

3. O conjunto no aberto nem fechado com a topologia usual e com a

Definio 3. Sejam e * 7, topologias sobre . Se (* 7, , ento dizemos que a

2. Seja - com as topologias: (* e 7, - .

1. Como , ento toda unio de elementos de tambm pertence a .

Teorema 2. Seja . A famlia uma base de se, e somente se

unio arbitrria de elementos de '

Agora consideremos +* e /,

Exemplo 14. Seja e

1. Se ou ) vazio, est provada a proposio.

2. Suponha que e ) so no vazios. Ento:

Por outro lado & e ) so intersees finitas de elementos de , logo

4. Se outra topologia em que tambm contm , ento ; logo,

Denotemos por 1 4 1 . 6 e 1 . A famlia forma uma

2. fechado se, e somente se , onde fechado.

3. Se fechado (aberto) em e fechado (aberto) em , ento fechado (aberto)

2. Se fechado, ento , onde aberto em ; logo

3. Como e ambos so fechados em , ento fechado em

. * ' '-' . . * . * . 1,

Definies 1. Seja 4 5 76 um espao topolgico e

8. dito denso em se:

5. O conjunto fechado. De fato, 4 6 4 & 6 que aberto.

Exemplo 20. Sejam

4. , pois todo intervalo aberto contem racionais e irracionais.

1. fechado se, e somente se .

& , logo existe

1. Seja 4 1 6 ; ento - e .

( ) Seja , ento existe pelo menos um tal que , isto

1. . Em particular, fechado se, e somente se .

2. 4 6 . Em particular, aberto se, e somente se .

1. Seja 4 5 1 6 ; ento:

(a) Para todo tal que , temos que .

(d) Para todo ;& .

(a) Para todo temos que .

4. Seja 4 6 ; ento:

Considere 4 6 e . Ento e & .

'

1. ; por outro lado, ; logo aberto e

Exemplo 28. Seja ) !

uma mtrica em ) ! . (Verifique!)

O espao topolgico 4 5 6 dito metrizvel se uma topologia mtrica.

1. Sejam 4 . 6 . " uma seqncia em e:

1. Seja um espao vetorial com produto interno. Definindo:

1. Sejam 4 #. 6 . " uma seqncia em e considere e como o exerccio [8]:

* , . Verifique que um produto interno em

3. Sejam 4 5 6 e 4 1 . 6 . Toda funo

4. Sejam 4 5 1 6 e 4 6 . Toda funo

Observao 7. Seja . A topologia relativa pode ser caracterizada como a

1. Segue do seguinte fato: 4 6 * * *

Teorema 5. Sejam e 4 * 6 4 , 6 espaos topolgicos e

2. Para todo fechado,

3. Sejam 4 ! * 6 e 4 ! , 6 espaos mtricos; ento:

4 5 * 6 , 4 7, 6 , 4 / 6 , 4 / 6 espaos topolgicos, *

Prova : Sejam #*

Seja existe vizinhana tal que